ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Modelling spatio-temporal systems exhibiting multi-scale behaviour is a powerful tool in many branches of science, yet it still presents significant challenges. Here we consider a general two-layer (agent-environment) modelling framework, where spatially distributed agents behave according to external inputs and internal computation; this behaviour may include influencing their immediate environment, creating a medium over which agent-agent interaction signals can be transmitted. We propose a novel simulation strategy based on a statistical abstraction of the agent layer, which is typically the most detailed component of the model and can incur significant computational cost in simulation. The abstraction makes use of Gaussian Processes, a powerful class of non-parametric regression techniques from Bayesian Machine Learning, to estimate the agent’s behaviour given the environmental input. We show on two biological case studies how this technique can be used to speed up simulations and provide further insights into model behaviour.

Sat 6 Apr

etaps-2019-Posters
10:30 - 16:00: Posters - Workshop Poster Exhibition (Saturday) at Coffee area (Posters)
Chair(s): Jan KofroňCharles University
etaps-2019-Posters10:30 - 10:52
Poster
Isabel Cristina Perez-VeronaIMT Institute for Advanced Studies Lucca, Italy, Mirco TribastoneIMT Institute for Advanced Studies Lucca, Italy, Max TschaikowskiIMT Institute for Advanced Studies Lucca, Italy, Andrea VandinDTU, Denmark, Luca CardelliMicrosoft Research and University of Oxford
etaps-2019-Posters10:52 - 11:14
Poster
Michalis MichaelidesUniversity of Edinburgh, Jane HillstonUniversity of Edinburgh, Guido SanguinettiUniversity of Edinburgh
etaps-2019-Posters11:14 - 11:36
Poster
Huu-Phuc VoUppsala University
etaps-2019-Posters11:36 - 11:58
Poster
etaps-2019-Posters11:58 - 12:20
Poster
Bernardo AlmeidaUniversidade de Lisboa, Andreia MordidoLasige / Faculty of Sciences, Universidade de Lisboa, Vasco T. VasconcelosUniversity of Lisbon, Portugal
etaps-2019-Posters12:20 - 12:42
Poster
Rahul Gupta, Shubham Sharma, Subhajit RoyIIT Kanpur, India, Kuldeep S. MeelNational University of Singapore
etaps-2019-Posters12:42 - 13:04
Poster
Maria ChristakisMPI-SWS, Matthias HeizmannUniversity of Freiburg, Muhammad Numair MansurMax Planck Institute for Software Systems (MPI-SWS), Christian SchillingIST Austria, Valentin WüstholzConsenSys Diligence
etaps-2019-Posters13:04 - 13:26
Poster
Matthias HeizmannUniversity of Freiburg, Yu-Fang ChenAcademia Sinica, Daniel DietschUniversity of Freiburg, Marius Greitschus, Jochen HoenickeUniversität Freiburg, Yong LiInstitute of Software, Chinese Academy of Sciences, Alexander NutzUniversity of Freiburg, Germany, Pavel Andrianov, Christian SchillingIST Austria, Tanja SchindlerUniversity of Freiburg, Andreas PodelskiUniversity of Freiburg, Germany
etaps-2019-Posters13:26 - 13:48
Poster
etaps-2019-Posters13:48 - 14:10
Poster
etaps-2019-Posters14:10 - 14:32
Poster
Étienne AndréLIPN, CNRS UMR 7030, Université Paris 13, Vincent BloemenUniversity of Twente, Laure PetrucciUniversité Paris 13, Jaco van de PolAarhus University
etaps-2019-Posters14:32 - 14:54
Poster
Pavel Andrianov, Heike WehrheimPaderborn University
etaps-2019-Posters14:54 - 15:16
Poster
Dirk BeyerLMU Munich, Marie-Christine JakobsTU Darmstadt, Germany
etaps-2019-Posters15:16 - 15:38
Poster
Lucas CordeiroUniversity of Oxford, Daniel KroeningUniversity of Oxford, Peter SchrammelUniversity of Oxford, UK
etaps-2019-Posters15:38 - 16:00
Poster

Sun 7 Apr

etaps-2019-Posters
10:30 - 16:00: Posters - Workshop Poster Exhibition (Sunday) at Coffee area (Posters)
etaps-2019-Posters10:30 - 10:52
Poster
etaps-2019-Posters10:52 - 11:14
Poster
etaps-2019-Posters11:14 - 11:36
Poster
Dirk BeyerLMU Munich, Marie-Christine JakobsTU Darmstadt, Germany
etaps-2019-Posters11:36 - 11:58
Poster
Bernardo AlmeidaUniversidade de Lisboa, Andreia MordidoLasige / Faculty of Sciences, Universidade de Lisboa, Vasco T. VasconcelosUniversity of Lisbon, Portugal
etaps-2019-Posters11:58 - 12:20
Poster
Lucas CordeiroUniversity of Oxford, Daniel KroeningUniversity of Oxford, Peter SchrammelUniversity of Oxford, UK
etaps-2019-Posters12:20 - 12:42
Poster
Isabel Cristina Perez-VeronaIMT Institute for Advanced Studies Lucca, Italy, Mirco TribastoneIMT Institute for Advanced Studies Lucca, Italy, Max TschaikowskiIMT Institute for Advanced Studies Lucca, Italy, Andrea VandinDTU, Denmark, Luca CardelliMicrosoft Research and University of Oxford
etaps-2019-Posters12:42 - 13:04
Poster
Étienne AndréLIPN, CNRS UMR 7030, Université Paris 13, Vincent BloemenUniversity of Twente, Laure PetrucciUniversité Paris 13, Jaco van de PolAarhus University
etaps-2019-Posters13:04 - 13:26
Poster
Pavel Andrianov, Heike WehrheimPaderborn University
etaps-2019-Posters13:26 - 13:48
Poster
Maria ChristakisMPI-SWS, Matthias HeizmannUniversity of Freiburg, Muhammad Numair MansurMax Planck Institute for Software Systems (MPI-SWS), Christian SchillingIST Austria, Valentin WüstholzConsenSys Diligence
etaps-2019-Posters13:48 - 14:10
Poster
Michalis MichaelidesUniversity of Edinburgh, Jane HillstonUniversity of Edinburgh, Guido SanguinettiUniversity of Edinburgh
etaps-2019-Posters14:10 - 14:32
Poster
etaps-2019-Posters14:32 - 14:54
Poster
Huu-Phuc VoUppsala University
etaps-2019-Posters14:54 - 15:16
Poster
Matthias HeizmannUniversity of Freiburg, Yu-Fang ChenAcademia Sinica, Daniel DietschUniversity of Freiburg, Marius Greitschus, Jochen HoenickeUniversität Freiburg, Yong LiInstitute of Software, Chinese Academy of Sciences, Alexander NutzUniversity of Freiburg, Germany, Pavel Andrianov, Christian SchillingIST Austria, Tanja SchindlerUniversity of Freiburg, Andreas PodelskiUniversity of Freiburg, Germany
etaps-2019-Posters15:16 - 15:38
Poster
etaps-2019-Posters15:38 - 16:00
Poster
Rahul Gupta, Shubham Sharma, Subhajit RoyIIT Kanpur, India, Kuldeep S. MeelNational University of Singapore