Intuitive formal modelling of biological systems, Fachbücher von Maria Luisa Guerriero
Das Buch "Intuitive Formal Modelling of Biological Systems" bietet eine umfassende Einführung in die Anwendung von Techniken ... Mehr erfahren
Finde die besten Angebote
Bester Preis29 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
Das Buch "Intuitive Formal Modelling of Biological Systems" bietet eine umfassende Einführung in die Anwendung von Techniken der Nebenläufigkeitstheorie zur Modellierung biologischer Systeme. Es beleuchtet die Herausforderungen bei der Definition geeigneter Modellierungssprachen, die sowohl formal als auch ausführbar sind, und gleichzeitig für Nicht-Informatiker verständlich bleiben. Ein zentrales Element des Buches ist die Vorstellung einer hochgradig textuellen Modellierungssprache, die als Narrative Language bezeichnet wird, sowie deren automatische Übersetzung in eine formale Sprache, die zur Familie der Prozessalgebren gehört. Die vorgestellten Konzepte werden anhand eines Modells des Gp130/JAK/STAT-Signalwegs veranschaulicht. Dieses Werk stellt einen bedeutenden Schritt in Richtung eines Rahmens dar, der es Wissenschaftler*innen ermöglicht, biologische Systeme einfach zu beschreiben und Simulationen sowie formale Analysen von Modellen automatisch durchzuführen.
Informationen
Lieferzeit:2-4 Werktage
Marke:Lap Lambert Academic