Skip to main content
  • Conference proceedings
  • © 2023

Computational Methods in Systems Biology

21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13–15, 2023, Proceedings

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

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

Conference series link(s): CMSB: International Conference on Computational Methods in Systems Biology

Conference proceedings info: CMSB 2023.

Buy it now

Buying options

eBook USD 49.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 64.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

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

Table of contents (17 papers)

  1. Front Matter

    Pages i-xviii
  2. A Formal Approach for Tuning Stochastic Oscillators

    • Paolo Ballarini, Mahmoud Bentriou, Paul-Henry Cournède
    Pages 1-17
  3. Phenotype Control of Partially Specified Boolean Networks

    • Nikola Beneš, Luboš Brim, Samuel Pastva, David Šafránek, Eva Šmijáková
    Pages 18-35
  4. A More Expressive Spline Representation for SBML Models Improves Code Generation Performance in AMICI

    • Lorenzo Contento, Paul Stapor, Daniel Weindl, Jan Hasenauer
    Pages 36-43
  5. Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants

    • Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
    Pages 44-61
  6. Cell-Level Pathway Scoring Comparison with a Biologically Constrained Variational Autoencoder

    • Pelin Gundogdu, Miriam Payá-Milans, Inmaculada Alamo-Alvarez, Isabel A. Nepomuceno-Chamorro, Joaquin Dopazo, Carlos Loucera
    Pages 62-77
  7. On Estimating Derivatives of Input Signals in Biochemistry

    • Mathieu Hemery, François Fages
    Pages 78-96
  8. Approximate Constrained Lumping of Polynomial Differential Equations

    • Alexander Leguizamon-Robayo, Antonio Jiménez-Pastor, Micro Tribastone, Max Tschaikowski, Andrea Vandin
    Pages 106-123
  9. Core SBML and Its Formal Semantics

    • Joachim Niehren, Cédric Lhoussaine, Athénaïs Vaginay
    Pages 124-143
  10. Average Sensitivity of Nested Canalizing Multivalued Functions

    • Élisabeth Remy, Paul Ruet
    Pages 144-156
  11. Tackling Universal Properties of Minimal Trap Spaces of Boolean Networks

    • Sara Riva, Jean-Marie Lagniez, Gustavo Magaña López, Loïc Paulevé
    Pages 157-174
  12. SAF: SAT-Based Attractor Finder in Asynchronous Automata Networks

    • Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura
    Pages 175-183
  13. Condition for Periodic Attractor in 4-Dimensional Repressilators

    • Honglu Sun, Maxime Folschette, Morgan Magnin
    Pages 184-201
  14. Fridge Compiler: Optimal Circuits from Molecular Inventories

    • Lancelot Wathieu, Gus Smith, Luis Ceze, Chris Thachuk
    Pages 236-252
  15. Back Matter

    Pages 269-270

Other Volumes

  1. Computational Methods in Systems Biology

About this book

This book constitutes the refereed proceedings of the 21st International Conference on Computational Methods in Systems Biology, CMSB 2023, held in Luxembourg City, Luxembourg, during September 13–15, 2023.

The 14 full papers and 3 tool papers presented in this book were carefully reviewed and selected from 28 submissions. CMSB focuses on modeling, simulation, analysis, design and control of biological systems and covers the broad field of computational methods and tools in systems and synthetic biology and their applications.  

Keywords

  • systems biology
  • formal methods
  • reaction networks
  • Boolean networks
  • mathematical models
  • hybrid models
  • numerical simulation
  • stochastic models
  • logic reasoning
  • machine learning
  • network analysis and inference

Editors and Affiliations

  • University of Luxembourg, Esch-sur-Alzette, Luxembourg

    Jun Pang

  • Inria Lille, Villeneuve d’Ascq, France

    Joachim Niehren

Bibliographic Information

  • Book Title: Computational Methods in Systems Biology

  • Book Subtitle: 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13–15, 2023, Proceedings

  • Editors: Jun Pang, Joachim Niehren

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-031-42697-1

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2023

  • Softcover ISBN: 978-3-031-42696-4Published: 09 September 2023

  • eBook ISBN: 978-3-031-42697-1Published: 08 September 2023

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XVIII, 270

  • Number of Illustrations: 19 b/w illustrations, 63 illustrations in colour

  • Topics: Bioinformatics, Computer System Implementation, Artificial Intelligence, Biological Techniques

Buy it now

Buying options

eBook USD 49.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 64.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