Call Us 080-41656200 (Mon-Sat: 10AM-8PM)

Abstract Probabilistic Semantics for the Analysis of Bio Sys Models


Marketed By :  LAP LAMBERT Academic Publishing   Sold By :  Kamal Books International  
Delivery in :  10-12 Business Days


Check Your Delivery Options

Rs. 5,066

Availability: In stock

  • Product Description

This book concerns the development of probabilistic semantics tailored to model the dynamic behavior of biological systems in order to formally analyze them. More specifically, it attempts to overcome problems, related to uncertainty and to the state space explosion, inherent to models describing biological systems. Recently, many formalisms originated from Computer Science have been successfully applied to describe biological systems. Many of these formalisms include probabilistic aspects, and techniques like stochastic simulation and probabilistic model checking have been proposed to study biological systems properties. However, the practical application of formal analysis tools in this context is still limited. The size of state space associated with models is often prohibitively large. Moreover, the knowledge of biological processes is often incomplete, resulting in models with uncertain parameters. To overcome these problems, in this Thesis, we propose to apply abstraction techniques to probabilistic semantics of biological systems models.

Product Specifications
SKU :COC18167
AuthorMohamed Eltabakh
Number of Pages180
Publishing Year10/31/2012
Edition1 st
Book TypeComputer networking & communications
Country of ManufactureIndia
Product BrandLAP LAMBERT Academic Publishing
Product Packaging InfoBox
In The Box1 Piece
Product First Available On ClickOnCare.com2015-07-27 00:00:00
0 Review(s)