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 

      Vecslir, Lorena; Kozak, Daniel; Rubio, Fernando; Molina, Jacobo (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 obert
      El 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 

      Pinto, Nathalia da Mata Mazzonetto; Bruna, Gilda Collet (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 obert
      Este 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 

      Carminatti, Karol Diego; Reis, Almir Francisco (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 obert
      The 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 

      Fornells Arrufí, Marc (Universitat Politècnica de Catalunya, 2013)
      Projecte/Treball Final de Carrera
      Accés obert
      Anunciar 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 

      Guijarro Castro, Aitor (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 

      Hermann, Frank; Ehrig, Hartmut; Golas, Ulrike; Orejas Valdés, Fernando (2014-08-01)
      Article
      Accés obert
      Triple 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. 

      Olivé Tomàs, Antoni (Universitat Politècnica de Catalunya, 2010-02-26)
      Tesi
      Accés obert
      El 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 

      Fonseca Casas, Pau; Codina Sancho, Esteve; Montero Mercadé, Lídia; Linares Herreros, María Paz; Montañola Sales, Cristina (2014)
      Text en actes de congrés
      Accés obert
      We 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 

      González Alastrué, José Antonio; Jover, Lluís; Cobo Valeri, Erik; Muñoz Gracia, María del Pilar (2006-07)
      Text en actes de congrés
      Accés obert
      We 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 

      Farahani, Samira S.; Zadeh Soudjani, Sadegh; Majumdar, Rupak; Ocampo-Martínez, Carlos (2018)
      Article
      Accés obert
      We 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 

      Santamaría Barnadas, Eduard (Universitat Politècnica de Catalunya, 2010-06-15)
      Tesi
      Accés obert
      Unmanned 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 

      Fonseca Casas, Pau; Garcia Subirana, Joan; García Carrasco, Víctor; Pi Palomés, Xavier; Wainer, G. (2022-05-01)
      Article
      Accés obert
      We 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 

      Sànchez-Ferreres, Josep; Burattin, Andrea; Carmona Vargas, Josep; Montali, Marco; Padró, Lluís (Springer, 2019)
      Text en actes de congrés
      Accés obert
      The 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 

      Fonseca Casas, Pau; Fonseca Casas, Antoni; Garrido Soriano, Núria; Casanovas Garcia, Josep (2014-03)
      Article
      Accés obert
      In 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 

      Sala Piqueras, Antonio; Albertos Pérez, Pedro (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1999)
      Article
      Accés obert
      In 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 

      Nagarajan, Nagarajan; Ermis, Evren; Thuy, Andreas; Schlingloff, Bernd-Holger (CIMNE, 2017)
      Text en actes de congrés
      Accés obert
      Virtualization 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 

      Peña Basurto, Marco Antonio; Cortadella, Jordi; Kondratyev, Alex; Pastor Llorens, Enric (Institute of Electrical and Electronics Engineers (IEEE), 2000)
      Text en actes de congrés
      Accés obert
      The 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 

      Marsal Monge, Agustín; Cuadros Domènech, Sara; Ollé Otero, Lluís; Bacardit Dalmases, Anna; Manich, Albert; Font Vallès, Joaquim (2018-03-12)
      Article
      Accés obert
      Due 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 

      Burgués Illa, Xavier; Franch Gutiérrez, Javier; Pastor Collado, Juan Antonio (Institute of Electrical and Electronics Engineers (IEEE), 2000)
      Text en actes de congrés
      Accés obert
      We 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 

      Pastor Collado, Juan Antonio (1994-07)
      Report de recerca
      Accés obert
      We 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 ...