View: session overviewtalk overviewside by side with other conferences
08:45 | Synthetic Systems Biology SPEAKER: Calin Guet |
09:45 | FM-Sim : A Hybrid Protocol Simulator of Fluorescence Microscopy Neuroscience Assays with Integrated Bayesian Inference SPEAKER: Donal Stewart ABSTRACT. We present FM-Sim, a domain-specific simulator for defining and simulating fluorescence microscopy assays. Experimental protocols as performed in vitro may be defined in the simulator. The defined protocols then interact with a computational model of presynaptic behaviour in rodent central nervous system neurons, allowing simulation of fluorescent responses to varying stimuli. Rate parameters of the model may be obtained using Bayesian inference functions integrated into the simulator, given experimental fluorescence observations of the protocol performed in vitro as training data. These trained protocols allow for predictive in silico modelling of potential experimental outcomes prior to time-consuming and expensive in vitro studies. |
10:45 | Tutorial: Simulation-based Parameter Synthesis in Systems Biology SPEAKER: Alexandre Donze |
11:30 | Collaboration success stories: Modeling Iron Homeostasis in Mammalian Cells (with J.M. Moulis) SPEAKER: Eric Fanchon |
12:00 | Collaboration success stories: Control of Gene Expression in E.coli (with Hans Geiselman) SPEAKER: Hidde de Jong |
12:30 | Collaboration success stories: Membrane-bound Receptor Imaging, Data Analysis and Model Building (with J.S. Edwards) SPEAKER: Adam Halasz |
14:30 | Tutorial: The Cellular Potts Model SPEAKER: Marco Antoniotti |
15:30 | Parameter Synthesis using Parallelotopic Enclosure and Applications to Epidemic Models SPEAKER: unknown ABSTRACT. We consider the problem of refining a parameter set to ensure that the behaviors of a dynamical system satisfy a given property. The dynamics are defined through parametric polynomial difference equations and their Bernstein representations are exploited to enclose reachable sets into parallelotopes. This allows us to achieve more accurate reachable set approximations with respect to previous works based on axis-aligned boxes. Moreover, we introduce a symbolical precomputation that leads to a significant improvement on time performances. Finally, we apply our framework to some epidemic models verifying the strength of the proposed method. |