Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9957)
Part of the book sub series: Lecture Notes in Bioinformatics (LNBI)
Included in the following conference series:
Conference proceedings info: HSB 2016.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (11 papers)
Other volumes
-
Hybrid Systems Biology
Keywords
- biochemical networks
- dynamical systems
- hybrid systems
- model checking
- simulation
- abstraction
- automata
- biological systems
- computational modeling
- control theory
- discrete abstraction
- gene regulation
- gröbner basis
- multi-objective optimization
- rule-based modeling
- system design
- system identification
- systems biology
- temporal logics
- verification
About this book
This book constitutes the refereed proceedings of the 5th International Workshop on Hybrid Systems Biology, HSB 2016, held in Grenoble, France, in October 2016.
The 11 full papers presented in this book were carefully reviewed and selected from 26 submissions. They were organized and presented in 4 thematic sessions also reflected in this book: model simulation; model analysis; discrete and network modelling; stochastic modelling for biological systems.
Editors and Affiliations
Bibliographic Information
Book Title: Hybrid Systems Biology
Book Subtitle: 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings
Editors: Eugenio Cinquemani, Alexandre Donzé
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-47151-8
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG 2016
Softcover ISBN: 978-3-319-47150-1Published: 27 September 2016
eBook ISBN: 978-3-319-47151-8Published: 05 October 2016
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 179
Number of Illustrations: 43 b/w illustrations
Topics: Logics and Meanings of Programs, Simulation and Modeling, Computational Biology/Bioinformatics, Data Mining and Knowledge Discovery, Artificial Intelligence, Software Engineering