Skip to main content
Book cover
  • Conference proceedings
  • © 2015

Hybrid Systems Biology

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

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)

Conference series link(s): HSB: International Workshop on Hybrid Systems Biology

Conference proceedings info: HSB 2015.

Sections

eBook USD 39.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-26916-0
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 54.99
Price excludes VAT (USA)
Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (13 papers)

  1. Front Matter

    Pages I-XIV
    PDF

  2. Statistical Analysis

    1. Front Matter

      Pages 1-1
      PDF

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

  6. Back Matter

    Pages 247-249
    PDF
Back to top

Other Volumes

  1. Hybrid Systems Biology

Back to top

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.  
Back to top

Keywords

  • computational biology
  • formal methods
  • machine learning
  • stochastic models
  • verification by model checking
  • big data
  • control systems
  • data mining
  • dependability and performance
  • differential equations
  • gene regulatory networks
  • genetics
  • heterogeneous (hybrid) systems
  • metabolomics
  • pathway logic
  • robustness analysis
  • statistical model checking
  • synthetic biology
  • systems biology
  • timed and hybrid models
Back to top

Editors and Affiliations

  • University of Oxford, Oxford, United Kingdom

    Alessandro Abate

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

    David Šafránek

Back to top

Bibliographic Information

Back to top
Access via your institution
eBook USD 39.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-26916-0
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 54.99
Price excludes VAT (USA)
Learn about institutional subscriptions