Isbn: 9783838362694 - intuitive formal modelling of biological systems: from an intuitive narrative description of biological systems to their formal computational analysis (5 risultati)

Taschenbuch. Condizione: Neu. Intuitive formal modelling of biological systems | From an intuitive narrative description of biological systems to their formal computational analysis | Maria Luisa Guerriero | Taschenbuch | 152 S. | Englisch | 2011 | LAP LAMBERT Academic Publishing | EAN 9783838362694 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Like distributed systems of computers, biological systems are made of many interacting concurrent entities. Because of this similarity, the application of techniques coming from concurrency theory to the modelling of biological systems has become increasingly popular in recent years. One of the major challenges in this context is the definition of suitable modelling languages that are formal and executable but also easy to understand by non-computer scientists, together with the development of user friendly tools for modelling, analysis and simulation of biological systems. In this book we present a high level textual modelling language (called Narrative Language), its automatic translation into a formal language belonging to the family of process algebras (called Beta-binders), and the definition of rules to infer causal and spatial dependencies between model reactions. The approach is illustrated on a model of the widely studied Gp130/JAK/STAT signalling pathway. This work is a step towards the definition of a framework which allows scientists to easily describe biological systems and automatically perform simulation and formal analysis of models. 152 pp. Englisch.…

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Autor/Autorin: Guerriero Maria LuisaMaria Luisa Guerriero received her PhD in Information and Communication Technologies from the University of Trento in Italy. Since 2008 she has been a Research Associate at the University of Edinburgh in UK. Her .…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Like distributed systems of computers, biological systems are made of many interacting concurrent entities. Because of this similarity, the application of techniques coming from concurrency theory to the modelling of biological systems has become increasingly popular in recent years. One of the major challenges in this context is the definition of suitable modelling languages that are formal and executable but also easy to understand by non-computer scientists, together with the development of user friendly tools for modelling, analysis and simulation of biological systems. In this book we present a high level textual modelling language (called Narrative Language), its automatic translation into a formal language belonging to the family of process algebras (called Beta-binders), and the definition of rules to infer causal and spatial dependencies between model reactions. The approach is illustrated on a model of the widely studied Gp130/JAK/STAT signalling pathway. This work is a step towards the definition of a framework which allows scientists to easily describe biological systems and automatically perform simulation and formal analysis of models.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 152 pp. Englisch.…

Taschenbuch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Like distributed systems of computers, biological systems are made of many interacting concurrent entities. Because of this similarity, the application of techniques coming from concurrency theory to the modelling of biological systems has become increasingly popular in recent years. One of the major challenges in this context is the definition of suitable modelling languages that are formal and executable but also easy to understand by non-computer scientists, together with the development of user friendly tools for modelling, analysis and simulation of biological systems. In this book we present a high level textual modelling language (called Narrative Language), its automatic translation into a formal language belonging to the family of process algebras (called Beta-binders), and the definition of rules to infer causal and spatial dependencies between model reactions. The approach is illustrated on a model of the widely studied Gp130/JAK/STAT signalling pathway. This work is a step towards the definition of a framework which allows scientists to easily describe biological systems and automatically perform simulation and formal analysis of models.…