Fr. 67.00

Formal Methods in Macro-Biology - First International Conference, FMMB 2014, Noumea, New Caledonia, September 22-14, 2014, Proceedings

Inglese · Tascabile

Spedizione di solito entro 1 a 2 settimane (il titolo viene stampato sull'ordine)

Descrizione

Ulteriori informazioni

This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Macro-Biology, FMMB 2014, held in Nouméa, New Caledonia, in September 2014.
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.

Sommario

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.

Riassunto

This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Macro-Biology, FMMB 2014, held in Nouméa, New Caledonia, in September 2014.
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.

Dettagli sul prodotto

Con la collaborazione di Françoi Fages (Editore), François Fages (Editore), Piazza (Editore), Piazza (Editore), Carla Piazza (Editore)
Editore Springer, Berlin
 
Lingue Inglese
Formato Tascabile
Pubblicazione 01.01.2014
 
EAN 9783319103976
ISBN 978-3-31-910397-6
Pagine 183
Dimensioni 158 mm x 236 mm x 12 mm
Peso 330 g
Illustrazioni XXVI, 183 p. 46 illus.
Serie Lecture Notes in Computer Science
Lecture Notes in Bioinformatics
Lecture Notes in Computer Science / Lecture Notes in Bioinformatics
Lecture Notes in Computer Science
Lecture Notes in Bioinformatics
Categoria Scienze naturali, medicina, informatica, tecnica > Biologia > Altro

Recensioni dei clienti

Per questo articolo non c'è ancora nessuna recensione. Scrivi la prima recensione e aiuta gli altri utenti a scegliere.

Scrivi una recensione

Top o flop? Scrivi la tua recensione.

Per i messaggi a CeDe.ch si prega di utilizzare il modulo di contatto.

I campi contrassegnati da * sono obbligatori.

Inviando questo modulo si accetta la nostra dichiarazione protezione dati.