Intuitive formal modelling of biological systems, Fachbücher von Maria Luisa Guerriero
59,00 €
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.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
