Computational Methods in Systems Biology: 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings

Front Matter....Pages I-XIX
Front Matter....Pages 1-1
Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices....Pages 3-7
A Genetically Modified Hoare Logic that Identifies the Parameters of a Gene Network....Pages 8-12
Front Matter....Pages 13-13
SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems....Pages 15-27
Experimental Design for Inference over the A. thaliana Circadian Clock Network....Pages 28-39
Efficient Stochastic Simulation of Systems with Multiple Time Scales via Statistical Abstraction....Pages 40-51
Approximate Bayesian Computation for Stochastic Single-Cell Time-Lapse Data Using Multivariate Test Statistics....Pages 52-63
Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation....Pages 64-76
Adaptive Moment Closure for Parameter Inference of Biochemical Reaction Networks....Pages 77-89
Inferring Executable Models from Formalized Experimental Evidence....Pages 90-103
Symbolic Dynamics of Biochemical Pathways as Finite States Machines....Pages 104-120
Feature Learning Using Stacked Autoencoders to Predict the Activity of Antimicrobial Peptides....Pages 121-132
Structural Simplification of Chemical Reaction Networks Preserving Deterministic Semantics....Pages 133-144
Automating the Development of Metabolic Network Models....Pages 145-156
Qualitative Reasoning for Reaction Networks with Partial Kinetic Information....Pages 157-169
Boolean Network Identification from Multiplex Time Series Data....Pages 170-181
Derivation of Qualitative Dynamical Models from Biochemical Networks....Pages 182-194
Model-Based Investigation of the Effect of the Cell Cycle on the Circadian Clock Through Transcription Inhibition During Mitosis....Pages 195-207
Analysis of a Post-translational Oscillator Using Process Algebra and Spatio-Temporal Logic....Pages 208-221
Modeling of Resilience Properties in Oscillatory Biological Systems Using Parametric Time Petri Nets....Pages 222-238
Front Matter....Pages 239-250
Parameter Synthesis by Parallel Coloured CTL Model Checking....Pages 13-13
Analysing Cell Line Specific EGFR Signalling via Optimized Automata Based Model Checking....Pages 251-263
Front Matter....Pages 264-276
OPINION PAPER Evolutionary Constraint-Based Formulation Requires New Bi-level Solving Techniques....Pages 277-277
SBMLDock: Docker Driven Systems Biology Tool Development and Usage....Pages 279-281
Back Matter....Pages 282-285
....Pages 287-288