13:00
14:00
15:00
16:00
17:00
18:00
›13:45 (15min)
›14:00 (1h)
Marta KWIATKOWSKA
Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices
Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices
https://cmsb2015.sciencesconf.org/data/program/01_14h_marta_cmsb15.pdf›15:00 (30min)
SReach: A Probabilistic Bounded ẟ-Reachability Analyzer for Stochastic Hybrid Systems
Qinsi Wang, Paolo Zuliani, Soonho Kong, Sicun Gao and Edmund Clarke
Qinsi Wang, Paolo Zuliani, Soonho Kong, Sicun Gao and Edmund Clarke
›15:30 (30min)
Experimental design for inference over the A. thaliana circadian clock network
Daniel Trejo Banos, Guido Sanguinetti and Andrew J. Millar
Daniel Trejo Banos, Guido Sanguinetti and Andrew J. Millar
›16:00 (30min)
›16:30 (30min)
Efficient stochastic simulation of systems with multiple time scales via statistical abstraction
Luca Bortolussi, Dimitrios Milios and Guido Sanguinetti
Luca Bortolussi, Dimitrios Milios and Guido Sanguinetti
›17:00 (30min)
Approximate Bayesian Computation for Stochastic Single-Cell Time-Lapse Data Using Multivariate Test Statistics
Carolin Loos, Carsten Marr, Fabian Theis and Jan Hasenauer
Carolin Loos, Carsten Marr, Fabian Theis and Jan Hasenauer
›17:30 (30min)
Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation
Luca Laurenti, Luca Cardelli and Marta Kwiatkowska
Luca Laurenti, Luca Cardelli and Marta Kwiatkowska
›18:00 (30min)
Adaptive moment closure for parameter inference of biochemical reaction networks
Sergiy Bogomolov, Thomas A. Henzinger, Andreas Podelski, Jakob Ruess and Christian Schilling
Sergiy Bogomolov, Thomas A. Henzinger, Andreas Podelski, Jakob Ruess and Christian Schilling
