Ara es mostren els items 33-52 de 90

    • 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 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 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 ...
    • Formalizing geographical models using specification and description language, the wildfire example 

      Fonseca Casas, Pau; Casanovas Garcia, Josep; Figueras Jové, Jaume; Guasch Petit, Antonio (2013)
      Text en actes de congrés
      Accés obert
      In this paper we explore how we can use Specification and Description Language, to represent simulation models that make an intensive use of geographical information, like environmental simulation models. The purpose is ...
    • Formalizing geographical models using specification and description language: the wildfire example 

      Fonseca Casas, Pau; Casanovas Garcia, Josep; Figueras Jové, Jaume; Guasch Petit, Antonio (2013)
      Text en actes de congrés
      Accés restringit per política de l'editorial
      In this paper we explore how we can use Specification and Description Language, to represent simulation models that make an intensive use of geographical information, like environmental simulation models. The purpose is ...
    • In-person school reopening and the spread of SARS-CoV-2 during the second wave in Spain 

      Tormos, Raül; Fonseca Casas, Pau; García Alamino, Josep Maria (Frontiers Media SA, 2022-10-13)
      Article
      Accés obert
      We investigate the effects of school reopening on the evolution of COVID-19 infections during the second wave in Spain studying both regional and age-group variation within an interrupted time-series design. Spain's 17 ...
    • In-person school reopening and the spread of SARS-CoV-2 during the second wave in Spain 

      Fonseca Casas, Pau (Frontiers Media SA, 2023-10-30)
      Capítol de llibre
      Accés obert
    • Indústria 4.0 / Status Report Marc de referència sobre la Indústria 4.0 octubre 2016 

      Fonseca Casas, Pau (2016-10-31)
      Report de recerca
      Accés obert
      L¿objecte d¿aquest document és donar a conèixer els elements de la Indústria 4.0 als enginyers, al teixit industrial català i a la societat, podent ser utilitzat com a instrument que faciliti el debat i la construcció d'un ...
    • Integrating bus stop modeling and simulation in public transport network design: a survey 

      Codina Sancho, Esteve; Fonseca Casas, Pau; Colls, Màxim; Montero Mercadé, Lídia (2012)
      Text en actes de congrés
      Accés restringit per política de l'editorial
      In this paper a survey of public transportation network design and assignment models is presented with the purpose to analyze the level of detail that is considered regarding aspects such as congestion and interaction ...
    • JGPSS, an open source GPSS framework to teach simulation 

      Fonseca Casas, Pau; Casanovas Garcia, Josep (2009-12-13)
      Comunicació de congrés
      Accés obert
      GPSS has been used for years to teach simulation. Different tools following the GPSS syntax exist. Usually these tools can be used to construct simulation models helping in the teaching of simulation. However no available ...
    • Modeling a Chilean Hospital using specification and description language 

      Leiva Olmos, Jorge; Fonseca Casas, Pau; Ocaña Rebull, Jordi (IGI Global, 2013-07)
      Capítol de llibre
      Accés restringit per política de l'editorial
      In this chapter, the authors present a formal model of the Anesthesia Unit and Surgical Wards (UAPQ) of a Chilean hospital. The objective was to document and to understand its operation, to assist hospital management and ...
    • Modeling SARS-CoV-2 true infections in Catalonia through a digital twin 

      Fonseca Casas, Pau; Garcia Subirana, Joan; García Carrasco, Víctor (John Wiley & sons, 2023-05-12)
      Article
      Accés obert
      A dynamic view of the evolution of the infections of SARS-CoV-2 in Cataloniausing a Digital Twin approach that forecasts the true infection curve ispresented. The forecast model incorporates the vaccination process, ...
    • Modelling influenza and SARS-CoV-2 interaction: analysis for Catalonia region 

      Fonseca Casas, Pau; García Carrasco, Víctor; Garcia Subirana, Joan (2023-01)
      Article
      Accés obert
      The aim is to analyse that, during the current pandemic situation, the reduction in the number of cases of influenza suggests that the non-pharmaceutical interventions (NPIs) applied to contain the expansion of SARS-CoV-2 ...
    • Modelling surgical pavilions and a unit of anaesthesia on a Chilean hospital using Specification and Description Language 

      Leiva Olmos, J.; Fonseca Casas, Pau; Ocaña, J. (2011)
      Comunicació de congrés
      Accés obert
      This work addresses the problem of performing a formal modelling of the processes related to the surgical pavilions and an anaesthesia unit on a Chilean hospital. To perform this modelling we used Specification and ...
    • NECADA 

      Fonseca Casas, Pau; Fonseca Casas, Antoni (2014-10-17)
      Programari
      Accés restringit per acord de confidencialitat
    • NECADA. Optimization software for sustainable architecture 

      Fonseca Casas, Pau; Fonseca Casas, Antoni (2015)
      Text en actes de congrés
      Accés obert
      In this work, we present a hybrid infrastructure, named NECADA, which supports the execution of a detailed simulation model representing all building processes on a supercomputer, cloud, cluster of computers or desktop ...
    • NZEB. Optimización mediante co-simulación. Estudio de caso (e)Co, prototipo del concurso Solar Decathlon 2012 

      Fonseca Casas, Pau (2012)
      Comunicació de congrés
      Accés obert
      Actualmente, en los estudios de arquitectura, hay una necesidad de integrar diferentes disciplinas y técnicos especializados en el grupo de trabajo; donde se hace imprescindible el uso de simuladores y software CAD ...
    • Optimal Buildings' Energy Consumption Calculus through a Distributed Experiment Execution 

      Fonseca Casas, Pau; Fonseca, Antoni; Garrido Soriano, Núria; Ortiz, Joana Aina; Casanovas, Josep; Salom Tormo, Jaume (Hindawi Publishing Corporation, 2015)
      Article
      Accés obert
      The calculus of building energy consumption is a demanding task because multiple factors must be considered during experimentation. Additionally, the definition of the model and the experiments is complex because the problem ...
    • Optimal buildings’ energy consumption calculus through a distributed experiment execution 

      Fonseca Casas, Pau; Fonseca i Casas, Antoni; Garrido Soriano, Núria; Ortiz, Joana; Casanovas Garcia, Josep; Solom, Jaume (2015-11-05)
      Article
      Accés obert
      The calculus of building energy consumption is a demanding task because multiple factors must be considered during experimentation. Additionally, the definition of the model and the experiments is complex because the problem ...
    • Optimization of aircraft boarding processes considering passengers’ grouping characteristics 

      Carmona Budesca, Gerard; Juan, Angel A.; Fonseca Casas, Pau (2014)
      Text en actes de congrés
      Accés obert
      A ircraft boarding is one of the critical process es affecting the turnaround time whe n a plane is at an airport. In this work , the aircraft boarding problem is studied with the aim of designing a boarding ...