Sciweavers

1954 search results - page 5 / 391
» Modelling Coordination in Biological Systems
Sort
View
COORDINATION
2004
Springer
15 years 3 months ago
CoorSet: A Development Environment for Associatively Coordinated Components
A development environment for applications specified in an extended version of a previously developed coordination model based on associatively broadcast interactions is presented....
Kevin Kane, James C. Browne
CMSB
2009
Springer
15 years 4 months ago
A Bayesian Approach to Model Checking Biological Systems
Recently, there has been considerable interest in the use of Model Checking for Systems Biology. Unfortunately, the state space of stochastic biological models is often too large f...
Sumit Kumar Jha, Edmund M. Clarke, Christopher Jam...
BICOB
2011
Springer
13 years 9 months ago
A Systematic Approach to Evaluate Sustained Stochastic Oscillations
Although the populations of biological systems are inherently discrete and their dynamics are strongly stochastic, it is usual to consider their limiting behaviour for large envir...
Jorge Júlvez, Marta Z. Kwiatkowska, Gethin ...
CMSB
2004
Springer
15 years 3 months ago
Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems
Biological systems have recently been shown to share many of the properties of reactive systems. This observation has led to the idea of using methods devised for the construction ...
Jasmin Fisher, David Harel, E. Jane Albert Hubbard...
AB
2008
Springer
14 years 11 months ago
Differential Algebra and System Modeling in Cellular Biology
Abstract. Among all the modeling approaches dedicated to cellular biology, differential algebra is particularly related to the well-established one based on nonlinear differential ...
François Boulier, François Lemaire