Exploració per títol
Ara es mostren els items 111232-111251 de 244456
-
Formación y transformación de tejidos urbanos híbridos: estudio de casos en las regiones metropolitanas de Bogotá y Buenos Aires
(Departament d'Urbanisme i Ordenació del Territori. Universitat Politècnica de Catalunya / Instituto del Conourbano. Universidad Nacional General Sarmiento / Instituto de Arte Americano. Universidad de Buenos Aires, 2013-06)
Text en actes de congrés
Accés obertEl trabajo presenta un estudio de los tipos más repetidos o recurrentes de tejido urbano en las regiones metropolitanas de Buenos Aires y Bogotá: manzanas tradicionales de uso mixto que permiten desarrollos o cambios ... -
Formação do passivo industrial no solo de São Paulo
(Faculdade de Arquitetura da Universidade de Lisboa / Universidade Presbiteriana Mackenzie de São Paulo / Pontifícia Universidade Católica de Campinas / Grup de Recerca en Urbanisme de la Universitat Politècnica de Catalunya / Academia de Escolas de Arquitectura e Urbanismo de Língua Portugues, 2020-06)
Text en actes de congrés
Accés obertEste artigo objetiva verificar a relação entre a ocupação industrial na cidade de São Paulo e a localização das áreas contaminadas no território. Assim, procura-se compreender a distribuição atual das áreas contaminadas ... -
FORMAÇÃO E CONSOLIDAÇÃO DAS CENTRALIDADES: Uma análise comparativa entre as cidades de Chapecó e Blumenau /SC
(Universitat Politècnica de Catalunya, Grup de Recerca en Urbanisme / Universitat Politècnica de Catalunya. Iniciativa Digital Politècnica, 2022-12-15)
Text en actes de congrés
Accés obertThe state of Santa Catarina, in southern Brazil, presents a peculiar urban structure when compared to the national context. Presenting several geographical, cultural and social conditions, it brings together cities that ... -
Formador de formadors del professorat científic i tècnic
(Universitat Politècnica de Catalunya, 2013)
Projecte/Treball Final de Carrera
Accés obertAnunciar la necessitat d'una nova figura, el formador de formadors del professorat de l'àmbit científic i tecnològic dins de la formació contínua del professorat científic i tecnològic. Definir la figura del formador de ... -
Formadora paquetes de tubos para flejado
(Universitat Politècnica de Catalunya, 2013-06-28)
Treball Final de Grau
Accés restringit per decisió de l'autor -
Formal analysis of model transformations based on triple graph grammars
(2014-08-01)
Article
Accés obertTriple graph grammars (TGGs) are a well-established concept for the specification and execution of bidirectional model transformations within model driven software engineering. Their main advantage is an automatic generation ... -
Formal analysis versus trial-and-error in strategic innovation: A business model approach.
(Universitat Politècnica de Catalunya, 2010-02-26)
Tesi
Accés obertEl problema de recerca de la tesi és com es fan les bones estratègies de negoci i específicament com es construeixen els bons models de negoci. Les qüestions de recerca són com i per què emprenedors i empreses ja existents ... -
Formal and operational validation of a bus stop public transport network micro simulation
(2014)
Text en actes de congrés
Accés obertWe present a detailed simulation model with the purpose of analyzing the congestion and interaction between bus lines and passengers at stops. Our main goal is to perform a complete validation of a simulation model formalized ... -
Formal assessment of an innovative web-based tool designed to improve student performance in statistics
(2006-07)
Text en actes de congrés
Accés obertWe have developed a web-based tool, called e-status, that is able to generate individually different statistical or mathematical problems and to correct the students´ answers. The tool is well appreciated by the students ... -
Formal controller synthesis for wastewater systems with signal temporal logic constraints: the Barcelona case study
(2018)
Article
Accés obertWe present an approach for formal controller synthesis of the Barcelona wastewater system. The goal of the controller is to minimize overflow in the system and to reduce environmental contamination (pollution). Due to the ... -
Formal mission specification and execution mechanisms for unmanned aircraft systems
(Universitat Politècnica de Catalunya, 2010-06-15)
Tesi
Accés obertUnmanned Aircraft Systems (UAS) are rapidly gaining attention due to the increasing potential of their applications in the civil domain. UAS can provide great value performing environmental applications, during emergency ... -
Formal modeling and simulation for SARS-CoV-2 containment scenarios in Catalonia
(2022-05-01)
Article
Accés obertWe define interrelated models to simulate the spread of SARS-CoV-2 in Catalonia, which can be used to effectively build simulation applications and analyze the effects of nonpharmaceutical interventions. Due to the constant ... -
Formal reasoning on natural language descriptions of processes
(Springer, 2019)
Text en actes de congrés
Accés obertThe existence of unstructured information that describes processes represents a challenge in organizations, mainly because this data cannot be directly referred into process-aware ecosystems due to ambiguities. Still, this ... -
Formal simulation model to optimize building sustainability
(2014-03)
Article
Accés obertIn this work, we present a simulation model that makes it possible to find optimal values for various building parameters and the associated impacts that reduce the energy demand or consumption of the building. In the ... -
Formal Validation of Fuzzy Control Techniques. Perspectives
(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1999)
Article
Accés obertIn this paper, a survey of the state of the art and perspectives of two main lines of research in fuzzy control systems is presented: on one hand, the \emph{interpolative-functional line} representing fuzzy systems as ... -
Formal verification of coupling properties for an automotive software integration across XilL
(CIMNE, 2017)
Text en actes de congrés
Accés obertVirtualization and desktop testing of an integrated system without inclusion of a physical hardware is a well-established concept due to today’s abundant computing power availability. However, only few aspects of reality ... -
Formal verification of safety properties in timed circuits
(Institute of Electrical and Electronics Engineers (IEEE), 2000)
Text en actes de congrés
Accés obertThe incorporation of timing makes circuit verification computationally expensive. This paper proposes a new approach for the verification of timed circuits. Rather than calculating the exact timed stare space, a conservative ... -
Formaldehyde scavengers for cleaner production: A case study focused on the leather industry
(2018-03-12)
Article
Accés obertDue to its carcinogenic character, the presence of formaldehyde in leather continues to be a subject of great concern. By using formaldehyde scavengers, it is possible to reduce the formaldehyde content in leather. In this ... -
Formalising ERP selection criteria
(Institute of Electrical and Electronics Engineers (IEEE), 2000)
Text en actes de congrés
Accés obertWe present a proposal for selecting enterprise resource planning (ERP) products from a formal description of their relevant characteristics. The work is based on a previous and successfull collaboration with a midsize ... -
Formalising existential rule treatment in the automatic synthesis of update transactions in deductive databases
(1994-07)
Report de recerca
Accés obertWe propose a new method for generating for (view) updates in deductive databases. The method augments the deductive database schema with a set of transition and internal events rules, which explicitly define the database ...