Formal Methods in Macro-Biology
Springer International Publishing (Verlag)
978-3-319-10397-6 (ISBN)
The 7 revised full and 3 short papers presented together with 7 invited presentations were carefully reviewed and selected from 17 submissions. The scientific program consists of papers on a wide variety of topics, including ecological systems, medical applications, logical frameworks, and discrete continuous and hybrid models for the analysis of biological systems at macroscopic levels.
Model-Checking in Systems Biology - From Micro to Macro.- Developing Quantitative Methods in Community Ecology: Predicting Species Abundances from Qualitative Web Interaction Data.- Understanding How Biodiversity Is Distributed in Space and Time.- Computing Longevity: Insights from Controls.- Control of a Bioreactor with Quantized Measurements.- External Interactions on Hybrid Models of Biological Systems.- Attractor Equivalence: An Observational Semantics for Reaction Networks.- Petri Nets Are a Biologist's Best Friend.- 50 Shades of Rule Composition: From Chemical Reactions to Higher Levels of Abstraction.- A Logical Framework for Systems Biology.- Disentangling the Effects of Habitat and Protection on Coral Reef Fish Communities in Long-Established Marine Reserves.- The Challenges of Developing Spatially Explicit Network Models for the Management of Disease Vectors in EcologicalSystems.- Evaluating Management Scenarios for Fished Resources of the New Caledonian Lagoon Using a Spatially-Explicit Model.- Completing SBGN-AF Networks by Logic-Based Hypothesis Finding.
| Erscheint lt. Verlag | 19.8.2014 |
|---|---|
| Reihe/Serie | Lecture Notes in Bioinformatics | Lecture Notes in Computer Science |
| Zusatzinfo | XXVI, 183 p. 46 illus. |
| Verlagsort | Cham |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 326 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| Informatik ► Weitere Themen ► Bioinformatik | |
| Naturwissenschaften ► Biologie | |
| Technik | |
| Schlagworte | Applied Computing • Bioinformatics • Biological processes • Complex Systems • Computational Biology • Computational Ecology • formal methods • Health Informatics • life and medical sciences • logic and verification • macroevolution • systems biology |
| ISBN-10 | 3-319-10397-0 / 3319103970 |
| ISBN-13 | 978-3-319-10397-6 / 9783319103976 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
