Formal Methods in Macro-Biology

First International Conference, FMMB 2014, Noumea, New Caledonia, September 22-14, 2014, Proceedings

Häftad, Engelska, 2014

Av François Fages, Carla Piazza, Francois Fages

679 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

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.

Produktinformation

Utgivningsdatum2014-08-19
Mått155 x 235 x 12 mm
Vikt324 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor183
FörlagSpringer International Publishing AG
ISBN9783319103976

Tillhör följande kategorier

Tillämpad datateknik inom Data och it
Systemvetenskap och AI inom Data och it
Biovetenskap inom Naturvetenskap och teknik

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.