Computational Methods in Systems Biology
14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings
Seiten
2016
|
1st ed. 2016
Springer International Publishing (Verlag)
978-3-319-45176-3 (ISBN)
Springer International Publishing (Verlag)
978-3-319-45176-3 (ISBN)
This book constitutes the refereed proceedings of the 14th International Conference on Computational Methods in Systems Biology, CMSB 2016, held in Cambridge, UK, in September 2016. The 20 full papers, 3 tool papers and 9 posters presented were carefully reviewed and selected from 37 regular paper submissions. The topics 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; and computational approaches for synthetic biology.
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.
Erscheinungsdatum | 11.10.2016 |
---|---|
Reihe/Serie | Lecture Notes in Bioinformatics | Lecture Notes in Computer Science |
Zusatzinfo | XIII, 356 p. 108 illus. |
Verlagsort | Cham |
Sprache | englisch |
Maße | 155 x 235 mm |
Themenwelt | Informatik ► Weitere Themen ► Bioinformatik |
Naturwissenschaften ► Biologie | |
Schlagworte | Applications • Approximation • automated static analysis • Big Data • Computational Biology • Computational Biology/Bioinformatics • Computer Science • conference proceedings • Dynamic Analysis • dynamic modeling • formal methods • Game Theory • Informatics • Information technology: general issues • Life sciences: general issues • live and medical sciences • logical frameworks • Model Checking • modeling methodologies • model verification and validation • Optimization • Parallel Computing • probabilistic model checking • Research • Simulation and modeling • temporal logic • time series data • uncertainty quantification |
ISBN-10 | 3-319-45176-6 / 3319451766 |
ISBN-13 | 978-3-319-45176-3 / 9783319451763 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Internationale statistische Klassifikation der Krankheiten und …
Buch | Softcover (2023)
Deutscher Ärzteverlag
24,98 €
Operationen- und Prozedurenschlüssel; Internationale Klassifikation …
Buch | Softcover (2023)
Deutscher Ärzteverlag
24,98 €