Recently, stochastic process algebras have been used for modeling biological systems, as they provide a simple, compositional language to define biological models. Classical process algebras, however, require to express everything in terms of communications, a limiting restriction when structured information needs to be processed. In this book, we tackle this problem using a more general language and programming it to deal with the domain of interest. Specifically, we introduce a stochastic extension (sCCP) of Concurrent Constraint Programming. It is precisely the use of constraints that gives flexibility and extendibility to the language, together with the presence of context-dependent stochastic rates. To prove this, we show how sCCP can be used to model a wide range of biological systems, from biochemical networks to the process of folding of a protein, providing evidence that the use of constraints simplifies the process of modeling and allows to incorporate external knowledge. Many analysis tools are developed: stochastic simulation, model checking, ODE-based approximations. The book can be of interest to researchers working in the field of computational systems biology.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Recently, stochastic process algebras have been used for modeling biological systems, as they provide a simple, compositional language to define biological models. Classical process algebras, however, require to express everything in terms of communications, a limiting restriction when structured information needs to be processed. In this book, we tackle this problem using a more general language and programming it to deal with the domain of interest. Specifically, we introduce a stochastic extension (sCCP) of Concurrent Constraint Programming. It is precisely the use of constraints that gives flexibility and extendibility to the language, together with the presence of context-dependent stochastic rates. To prove this, we show how sCCP can be used to model a wide range of biological systems, from biochemical networks to the process of folding of a protein, providing evidence that the use of constraints simplifies the process of modeling and allows to incorporate external knowledge. Many analysis tools are developed: stochastic simulation, model checking, ODE-based approximations. The book can be of interest to researchers working in the field of computational systems biology.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Anbieter: moluna, Greven, Deutschland
Kartoniert / Broschiert. Zustand: New. Recently, stochastic process algebras have been usedfor modeling biological systems, as they provide asimple, compositional language to define biologicalmodels. Classical process algebras, however, requireto express everything in terms of communications, al. Artikel-Nr. 4956345
Anzahl: Mehr als 20 verfügbar
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Neuware - Recently, stochastic process algebras have been usedfor modeling biological systems, as they provide asimple, compositional language to define biologicalmodels. Classical process algebras, however, requireto express everything in terms of communications, alimiting restriction when structured informationneeds to be processed.In this book, we tackle this problem using a moregeneral language and programming it to deal with thedomain of interest. Specifically, we introduce astochastic extension (sCCP) of Concurrent ConstraintProgramming. It is precisely the use of constraintsthat gives flexibility and extendibility to thelanguage, together with the presence ofcontext-dependent stochastic rates. To prove this, weshow how sCCP can be used to model a wide range ofbiological systems, from biochemical networks to theprocess of folding of a protein, providing evidencethat the use of constraints simplifiesthe process of modeling and allows to incorporateexternal knowledge. Many analysis tools aredeveloped: stochastic simulation, model checking,ODE-based approximations. The book can be ofinterest to researchers working in the field ofcomputational systems biology. Artikel-Nr. 9783639088755
Anzahl: 2 verfügbar