Computational Methods in Systems Biology

15th International Conference, CMSB 2017, Darmstadt, Germany, September 27–29, 2017, Proceedings

Jérôme Feret, Heinz Koeppl (Herausgeber)

Buch | Softcover

XIII, 332 Seiten

2017 | 1st ed. 2017
Springer International Publishing (Verlag)
978-3-319-67470-4 (ISBN)

Artikel merken

This book constitutes the refereed proceedings of the 15th International Conference on Computational Methods in Systems Biology, CMSB 2017, held in Darmstadt, Germany, in September 2017. The 15 full papers, 4 tool papers and 4 posters presented together with 1 invited talk were carefully reviewed and selected from 41 regular paper submissions. Topics of interest include formalisms for modeling biological processes; models and their biological applications; frameworks for model verication, 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; and computational approaches for synthetic biology.

Formalisms for modeling biological processes.- Models and their biological applications.- Frameworks for model verication, 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.

Erscheinungsdatum	06.09.2017
Reihe/Serie	Lecture Notes in Bioinformatics
Reihe/Serie	Lecture Notes in Computer Science
Zusatzinfo	XIII, 332 p. 108 illus.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Gewicht	527 g
Themenwelt	Informatik ► Weitere Themen ► Bioinformatik
Themenwelt	Naturwissenschaften ► Biologie
Schlagworte	Approximation • automated static analysis • Big Data • Computational Biology • Computational Biology/Bioinformatics • Computer Science • Dynamic Analysis • dynamic modeling • formal methods • Game Theory • genes • Information technology: general issues • Life sciences: general issues • live and medical sciences • logical frameworks • Model Checking • model verification and validation • numeric methods • Quantification • Semantics • simulation and modeling uncertainty • temporal logic
ISBN-10	3-319-67470-6 / 3319674706
ISBN-13	978-3-319-67470-4 / 9783319674704
Zustand	Neuware