Skip to main content
SpringerLink
Log in
Book cover

Computational Methods in Systems Biology

14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Ezio Bartocci

    1. TU Wien, Vienna, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Pietro Lio

    1. Computer Laboratory, University of Cambridge, Cambridge, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Nicola Paoletti

    1. Department of Computer Science, University of Oxford, Oxford, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9859)

Part of the book sub series: Lecture Notes in Bioinformatics (LNBI)

Included in the following conference series:

Conference proceedings info: CMSB 2016.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (21 papers)

  1. Front Matter

    Pages I-XIII
    Download chapter PDF

  2. Invited Paper

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. (Mathematical) Logic for Systems Biology (Invited Paper)

      • Joëlle Despeyroux
      Pages 3-12

  3. Regular Papers

    1. Front Matter

      Pages 13-13
      Download chapter PDF

    2. Generalized Method of Moments for Stochastic Reaction Networks in Equilibrium

      • Michael Backenköhler, Luca Bortolussi, Verena Wolf
      Pages 15-29

    3. Inference of Delayed Biological Regulatory Networks from Time Series Data

      • Emna Ben Abdallah, Tony Ribeiro, Morgan Magnin, Olivier Roux, Katsumi Inoue
      Pages 30-48

    4. Matching Models Across Abstraction Levels with Gaussian Processes

      • Giulio Caravagna, Luca Bortolussi, Guido Sanguinetti
      Pages 49-66

    5. Target Controllability of Linear Networks

      • Eugen Czeizler, Cristian Gratie, Wu Kai Chiu, Krishna Kanhaiya, Ion Petre
      Pages 67-81

    6. High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study

      • Martin Demko, Nikola BeneÅ¡, LuboÅ¡ Brim, Samuel Pastva, David Å afránek
      Pages 82-97

    7. Influence Systems vs Reaction Systems

      • François Fages, Thierry Martinez, David A. Rosenblueth, Sylvain Soliman
      Pages 98-115

    8. Local Traces: An Over-Approximation of the Behaviour of the Proteins in Rule-Based Models

      • Jérôme Feret, Kim Quyên Lý
      Pages 116-131

    9. Bifurcation Analysis of Cardiac Alternans Using \(\delta \)-Decidability

      • Md. Ariful Islam, Greg Byrne, Soonho Kong, Edmund M. Clarke, Rance Cleaveland, Flavio H. Fenton et al.
      Pages 132-146

    10. A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation

      • Luca Cardelli, Marta Kwiatkowska, Luca Laurenti
      Pages 147-167

    11. Autonomous and Adaptive Control of Populations of Bacteria Through Environment Regulation

      • Chieh Lo, Radu Marculescu
      Pages 168-185

    12. Parameter Estimation for Reaction Rate Equation Constrained Mixture Models

      • Carolin Loos, Anna Fiedler, Jan Hasenauer
      Pages 186-200

    13. Normalizing Chemical Reaction Networks by Confluent Structural Simplification

      • Guillaume Madelaine, Elisa Tonello, Cédric Lhoussaine, Joachim Niehren
      Pages 201-215

    14. Fast Simulation of Probabilistic Boolean Networks

      • Andrzej Mizera, Jun Pang, Qixia Yuan
      Pages 216-231

    15. Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory

      • Chunyan Mu, Peter Dittrich, David Parker, Jonathan E. Rowe
      Pages 232-251

    16. Goal-Oriented Reduction of Automata Networks

      • Loïc Paulevé
      Pages 252-272

    17. Hybrid Reductions of Computational Models of Ion Channels Coupled to Cellular Biochemistry

      • Jasha Sommer-Simpson, John Reinitz, Leonid Fridlyand, Louis Philipson, Ovidiu Radulescu
      Pages 273-288
Back to top

Other volumes

  1. Computational Methods in Systems Biology

Keywords

About this book

This book constitutes the refereed proceedings of the 14th International Conference on Computational Methods in Systems Biology, CMSB 2016, held in Cambridge, UK, in September 2016. The 20 full papers, 3 tool papers and 9 posters presented were carefully reviewed and selected from 37 regular paper submissions. The topics include formalisms for modeling biological processes; models and their biological applications; frameworks for model verification, validation, analysis, and simulation of biological systems; high-performance computational systems biology and parallel implementations; model inference from experimental data; model integration from biological databases; multi-scale modeling and analysis methods; and computational approaches for synthetic biology.

Editors and Affiliations

  • TU Wien, Vienna, Austria

    Ezio Bartocci

  • Computer Laboratory, University of Cambridge, Cambridge, United Kingdom

    Pietro Lio

  • Department of Computer Science, University of Oxford, Oxford, United Kingdom

    Nicola Paoletti

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation