Skip to main content
SpringerLink
Log in

Computational Methods in Systems Biology

13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Olivier Roux

    1. École Centrale de Nantes, Nantes, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jérémie Bourdon

    1. Université de Nantes, Nantes, France

    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 9308)

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

Included in the following conference series:

Conference proceedings info: CMSB 2015.

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

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

About this book

This book constitutes the refereed proceedings of the 13th International Conference on Computational Methods in Systems Biology, CMSB 2015, held in Nantes, France, in September 2015. The 20 full papers and 2 short papers presented were carefully reviewed and selected from 43 full and 4 short paper submissions. The papers cover a wide range of topics in the analysis of biological systems, networks and data such as model checking, stochastic analysis, hybrid systems, circadian clock, time series data, logic programming, and constraints solving ranging from intercellular to multiscale.

Similar content being viewed by others

Keywords

Table of contents (24 papers)

  1. Front Matter

    Pages I-XIX
    Download chapter PDF

  2. Invited Talks

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices

      • Benoît Barbot, Marta Kwiatkowska, Alexandru Mereacre, Nicola Paoletti
      Pages 3-7

    3. A Genetically Modified Hoare Logic that Identifies the Parameters of a Gene Network

      • Gilles Bernot, Jean-Paul Comet, Olivier Roux
      Pages 8-12

  3. Regular Papers

    1. Front Matter

      Pages 13-13
      Download chapter PDF

    2. SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems

      • Qinsi Wang, Paolo Zuliani, Soonho Kong, Sicun Gao, Edmund M. Clarke
      Pages 15-27

    3. Experimental Design for Inference over the A. thaliana Circadian Clock Network

      • Daniel Trejo-Banos, Andrew J. Millar, Guido Sanguinetti
      Pages 28-39

    4. Efficient Stochastic Simulation of Systems with Multiple Time Scales via Statistical Abstraction

      • Luca Bortolussi, Dimitrios Milios, Guido Sanguinetti
      Pages 40-51

    5. Approximate Bayesian Computation for Stochastic Single-Cell Time-Lapse Data Using Multivariate Test Statistics

      • Carolin Loos, Carsten Marr, Fabian J. Theis, Jan Hasenauer
      Pages 52-63

    6. Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation

      • Luca Cardelli, Marta Kwiatkowska, Luca Laurenti
      Pages 64-76

    7. Adaptive Moment Closure for Parameter Inference of Biochemical Reaction Networks

      • Sergiy Bogomolov, Thomas A. Henzinger, Andreas Podelski, Jakob Ruess, Christian Schilling
      Pages 77-89

    8. Inferring Executable Models from Formalized Experimental Evidence

      • Vivek Nigam, Robin Donaldson, Merrill Knapp, Tim McCarthy, Carolyn Talcott
      Pages 90-103

    9. Symbolic Dynamics of Biochemical Pathways as Finite States Machines

      • Ovidiu Radulescu, Satya Swarup Samal, Aurélien Naldi, Dima Grigoriev, Andreas Weber
      Pages 104-120

    10. Feature Learning Using Stacked Autoencoders to Predict the Activity of Antimicrobial Peptides

      • Francy Camacho, Rodrigo Torres, Raúl Ramos-Pollán
      Pages 121-132

    11. Structural Simplification of Chemical Reaction Networks Preserving Deterministic Semantics

      • Guillaume Madelaine, Cédric Lhoussaine, Joachim Niehren
      Pages 133-144

    12. Automating the Development of Metabolic Network Models

      • Robert Rozanski, Stefano Bragaglia, Oliver Ray, Ross King
      Pages 145-156

    13. Qualitative Reasoning for Reaction Networks with Partial Kinetic Information

      • Joachim Niehren, Mathias John, Cristian Versari, François Coutte, Philippe Jacques
      Pages 157-169

    14. Boolean Network Identification from Multiplex Time Series Data

      • Max Ostrowski, Loïc Paulevé, Torsten Schaub, Anne Siegel, Carito Guziolowski
      Pages 170-181

    15. BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models

      • Curtis Madsen, Fedor Shmarov, Paolo Zuliani
      Pages 182-194

    16. Derivation of Qualitative Dynamical Models from Biochemical Networks

      • Wassim Abou-Jaoudé, Jérôme Feret, Denis Thieffry
      Pages 195-207
Back to top

Other volumes

  1. Computational Methods in Systems Biology

Editors and Affiliations

  • École Centrale de Nantes, Nantes, France

    Olivier Roux

  • Université de Nantes, Nantes, France

    Jérémie Bourdon

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation