Skip to main content
SpringerLink
Log in
Book cover

Hybrid Systems Biology

Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Alessandro Abate

    1. University of Oxford, Oxford, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. David Šafránek

    1. Faculty of Informatics, Masaryk University, Brno, Czech Republic

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

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

Included in the following conference series:

Conference proceedings info: HSB 2015.

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 (13 papers)

  1. Front Matter

    Pages I-XIV
    Download chapter PDF

  2. Statistical Analysis

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Reconstructing Statistics of Promoter Switching from Reporter Protein Population Snapshot Data

      • Eugenio Cinquemani
      Pages 3-19

    3. Comparative Statistical Analysis of Qualitative Parametrization Sets

      • Adam Streck, Kirsten Thobe, Heike Siebert
      Pages 20-34

  3. Analysis and Verification of Continuous and Hybrid Models

    1. Front Matter

      Pages 35-35
      Download chapter PDF

    2. Parallelized Parameter Estimation of Biological Pathway Models

      • R. Ramanathan, Yan Zhang, Jun Zhou, Benjamin M. Gyori, Weng-Fai Wong, P. S. Thiagarajan
      Pages 37-57

    3. High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems

      • Luboš Brim, Martin Demko, Samuel Pastva, David Šafránek
      Pages 58-74

    4. Integrating Time-Series Data in Large-Scale Discrete Cell-Based Models

      • Louis Fippo Fitime, Christian Schuster, Peter Angel, Olivier Roux, Carito Guziolowski
      Pages 75-95

    5. Approximate Probabilistic Verification of Hybrid Systems

      • Benjamin M. Gyori, Bing Liu, Soumya Paul, R. Ramanathan, P. S. Thiagarajan
      Pages 96-116

  4. Quantitative Analysis of Biological Models

    1. Front Matter

      Pages 117-117
      Download chapter PDF

    2. Synthesising Robust and Optimal Parameters for Cardiac Pacemakers Using Symbolic and Evolutionary Computation Techniques

      • Marta Kwiatkowska, Alexandru Mereacre, Nicola Paoletti, Andrea Patanè
      Pages 119-140

    3. Model-Based Whole-Genome Analysis of DNA Methylation Fidelity

      • Christoph Bock, Luca Bortolussi, Thilo Krüger, Linar Mikeev, Verena Wolf
      Pages 141-155

    4. Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic

      • Ezio Bartocci, Luca Bortolussi, Dimitrios Milios, Laura Nenzi, Guido Sanguinetti
      Pages 156-172

    5. Efficient Reduction of Kappa Models by Static Inspection of the Rule-Set

      • Andreea Beica, Calin C. Guet, Tatjana Petrov
      Pages 173-191

  5. Application of Advanced Models on Case Studies

    1. Front Matter

      Pages 193-193
      Download chapter PDF

    2. Model Checking Tap Withdrawal in C. Elegans

      • Md. Ariful Islam, Richard De Francisco, Chuchu Fan, Radu Grosu, Sayan Mitra, Scott A. Smolka
      Pages 195-210

    3. Solving General Auxin Transport Models with a Numerical Continuation Toolbox in Python: PyNCT

      • Delphine Draelants, Przemysław Kłosiewicz, Jan Broeckhove, Wim Vanroose
      Pages 211-225

    4. Analysis of Cellular Proliferation and Survival Signaling by Using Two Ligand/Receptor Systems Modeled by Pathway Logic

      • Gustavo Santos-García, Carolyn Talcott, Javier De Las Rivas
      Pages 226-245

  6. Back Matter

    Pages 247-249
    Download chapter PDF
Back to top

Other volumes

  1. Hybrid Systems Biology

Keywords

About this book

This book constitutes the thoroughly referred post-workshop proceedings of the 4th International Workshop on Hybrid Systems biology, HSB 2015, held as part of the Madrid Meet 2015 event, in Madrid, Spain in September 2015. The volume presents 13 full papers together with 2 abstracts of invited sessions from 18 submissions. The scope of the HSB workshop is the general area of dynamical models in Biology with an emphasis on hybrid approaches — by no means restricted to a narrow class of mathematical models — and taking advantage of techniques developed separately in different areas.  

Editors and Affiliations

  • University of Oxford, Oxford, United Kingdom

    Alessandro Abate

  • Faculty of Informatics, Masaryk University, Brno, Czech Republic

    David Šafránek

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation