Exploració per autor "Fonseca Casas, Pau"Més informacióMés informació

Ara es mostren els items 43-62 de 90

    • 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 ...

    • Optimization of energy renovation of residential sector in Catalonia based on comfort, energy and costs 

      Ortiz, Joana; Fonseca Casas, Antoni; Salom, Jaume; Russo, Verdina; Garrido Soriano, Núria; Fonseca Casas, Pau (2015)
      Text en actes de congrés
      Accés obert
      The paper describes OptiHab study, done in the framework of the MARIE project. The objective of OptiHab is to provide technical and economic information to optimize the energy renovation of residential sector in Catalonia, ...

    • Passenger flow simulation in a hub airport: an application to the Barcelona International Airport 

      Fonseca Casas, Pau; Casanovas Garcia, Josep; Ferran, Xavier (2014-05)
      Article
      Accés obert
      This paper describes a conceptual model intended to be applied in a general approach to the micro-simulation of hub airports terminals. The proposed methodology is illustrated with the development of a simulation model ...

    • Representing Fibonacci function through cellular automata using specification and description language 

      Fonseca Casas, Pau; Colls, Màxim; Casanovas Garcia, Josep (2010)
      Comunicació de congrés
      Accés obert
      In this poster we show how to use Specification and Description Language (SDL) to represent cellular automata models. To achieve that we use a generalization of the common cellular automata, named m:n-$CA^k$. Also we add ...

    • SARS-CoV-2 spread forecast dynamic model validation through digital twin approach, Catalonia case study 

      Fonseca Casas, Pau; Garcia Subirana, Joan; García Carrasco, Víctor; Pi Palomés, Xavier (Multidisciplinary Digital Publishing Institute (MDPI), 2021-07-14)
      Article
      Accés obert
      The spread of the SARS-CoV-2 modeling is a challenging problem because of its complex nature and lack of information regarding certain aspects. In this paper, we explore a Digital Twin approach to model the pandemic situation ...

    • SDL - The IoT Language 

      Sherratt, Edel; Ober, Ileana; Gaudin, Emmanuel; Fonseca Casas, Pau; Kristoffersen, Finn (2015-10-12)
      Capítol de llibre
      Accés restringit per política de l'editorial
      Interconnected smart devices constitute a large and rapidly growing element of the contemporary Internet. A smart thing can be as simple as a web-enabled device that collects and transmits sensor data to a repository for ...

    • SDL – The IoT Language 

      Sherratt, Edel; Ober, Ileana; Gaudin, Emmanuel; Fonseca Casas, Pau; Kristoffersen, Finn (2015)
      Text en actes de congrés
      Accés restringit per política de l'editorial
      Interconnected smart devices constitute a large and rapidly growing element of the contemporary Internet. A smart thing can be as simple as a web-enabled device that collects and transmits sensor data to a repository for ...

    • SEIRD COVID-19 formal characterization and model comparison validation 

      Fonseca Casas, Pau; García Carrasco, Víctor; Garcia Subirana, Joan (Multidisciplinary Digital Publishing Institute, 2020-07-27)
      Article
      Accés obert
      Based on a SEIRD model (Susceptible, Exposed, Infective, Recovered and Deceased) for COVID-19 infection with a new parametrization using a high infection rate, and a low fatality, we define the model in System Dynamics, ...

    • SIM-Randsharp: A hybrid algorithm for solving the ARC routing problem with stochastic demands 

      González, Sergio; Riera, Daniel; Juan, Angel A.; Elizondo, Mónica G.; Fonseca Casas, Pau (2012)
      Text en actes de congrés
      Accés obert
      This paper proposes a new hybrid algorithm for solving the Arc Routing Problem with Stochastic Demands (ARPSD). Our approach combines Monte Carlo simulation (MCS) with the RandSHARP algorithm, which is designed for solving ...

    • Simplifying the verification of simulation models through Petri net to FlexSim mapping 

      Fonseca Casas, Pau; Guasch Petit, Antonio; Figueras Jové, Jaume (Multidisciplinary Digital Publishing Institute, 2020-02-19)
      Article
      Accés obert
      Simplifying the encoding of a simulation conceptual model representation reduces the number of errors that will be detected in the verification phase. In this paper, we present a mapping between Petri nets, a well-known ...

    • Simulació discreta per mitjà de la interacció de processos : una visió a través del GPSS 

      Fonseca Casas, Pau (Edicions UPC, 2009)
      Llibre
      Accés restringit a la comunitat UPC
      El propòsit principal d'aquest text és proporcionar al lector els coneixements necessaris per poder construir models de simulació seguint el paradigma d'interacció de processos. Per assolir aquest objectiu, es descriu amb ...