Computational Methods in Systems Biology

11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings

Editors:

ISBN: 978-3-642-40707-9 (Print) 978-3-642-40708-6 (Online)

Table of contents (17 chapters)

  1. Front Matter

    Pages -

  2. Regular Papers

    1. No Access

      Book Chapter

      Pages 1-4

      On the Use of the Moment Equations for Parameter Inference, Control and Experimental Design in Stochastic Biochemical Reaction Networks

    2. No Access

      Book Chapter

      Pages 5-18

      Numerical Approximation of Rare Event Probabilities in Biochemically Reacting Systems

    3. No Access

      Book Chapter

      Pages 19-32

      An Approximate Execution of Rule-Based Multi-level Models

    4. No Access

      Book Chapter

      Pages 33-49

      Computing Cumulative Rewards Using Fast Adaptive Uniformisation

    5. No Access

      Book Chapter

      Pages 50-63

      Linking Discrete and Stochastic Models: The Chemical Master Equation as a Bridge between Process Hitting and Proper Generalized Decomposition

    6. No Access

      Book Chapter

      Pages 64-77

      Coarse-Grained Brownian Dynamics Simulation of Rule-Based Models

    7. No Access

      Book Chapter

      Pages 78-91

      Modelling and Analysis of Phase Variation in Bacterial Colony Growth

    8. No Access

      Book Chapter

      Pages 92-105

      Using Probabilistic Strategies to Formalize and Compare α-Synuclein Aggregation and Propagation under Different Scenarios

    9. No Access

      Book Chapter

      Pages 106-119

      Dynamic Image-Based Modelling of Kidney Branching Morphogenesis

    10. No Access

      Book Chapter

      Pages 120-134

      Statistical Model Checking Based Calibration and Analysis of Bio-pathway Models

    11. No Access

      Book Chapter

      Pages 135-149

      Constraint Programming in Community-Based Gene Regulatory Network Inference

    12. No Access

      Book Chapter

      Pages 150-163

      ABC–Fun: A Probabilistic Programming Language for Biology

    13. No Access

      Book Chapter

      Pages 164-177

      A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits

    14. No Access

      Book Chapter

      Pages 178-191

      A Lattice-Theoretic Framework for Metabolic Pathway Analysis

    15. No Access

      Book Chapter

      Pages 192-205

      On the Hybrid Composition and Simulation of Heterogeneous Biochemical Models

    16. No Access

      Book Chapter

      Pages 206-219

      On the Verification and Correction of Large-Scale Kinetic Models in Systems Biology

    17. No Access

      Book Chapter

      Pages 220-233

      Context-Sensitive Flow Analyses: A Hierarchy of Model Reductions

  3. Back Matter

    Pages -