Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11773)
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 2019.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (32 papers)
-
Front Matter
-
Regular Papers
-
Front Matter
-
About this book
The 14 full papers, 7 tool papers and 11 posters were carefully reviewed and selected from 53 submissions. Topics of interest 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; computational approaches for synthetic biology; and case studies in systems and synthetic biology.
Keywords
- artificial intelligence
- bioinformatics
- boolean algebra
- boolean networks
- computational systems biology
- differential equations
- formal logic
- graph theory
- model checking
- numerical methods
- parameter estimation
- probability
- semantics
- software engineering
- theorem proving
- algorithm analysis and problem complexity
Editors and Affiliations
-
University of Trieste, Trieste, Italy
Luca Bortolussi
-
University of Edinburgh, Edinburgh, UK
Guido Sanguinetti
Bibliographic Information
Book Title: Computational Methods in Systems Biology
Book Subtitle: 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings
Editors: Luca Bortolussi, Guido Sanguinetti
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-31304-3
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2019
Softcover ISBN: 978-3-030-31303-6Published: 17 September 2019
eBook ISBN: 978-3-030-31304-3Published: 16 September 2019
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XI, 388
Number of Illustrations: 400 b/w illustrations, 87 illustrations in colour
Topics: Computational Biology/Bioinformatics, Artificial Intelligence, Algorithm Analysis and Problem Complexity, Mathematical Logic and Formal Languages, Mathematics of Computing, Software Engineering/Programming and Operating Systems