Sciweavers

80 search results - page 8 / 16
» Cell Modeling Using Agent-Based Formalisms
Sort
View
CIBB
2009
13 years 9 months ago
On the Use of Temporal Formal Logic to Model Gene Regulatory Networks
Modelling activities in molecular biology face the difficulty of prediction to link molecular knowledge with cell phenotypes. Even when the interaction graph between molecules is k...
Gilles Bernot, Jean-Paul Comet
SPRINGSIM
2007
13 years 9 months ago
Studying the impact of web-services implementation of distributed simulation of DEVS and Cell-DEVS models
DEVS is a Modeling and Simulation formalism that has been used to study the dynamics of discrete event systems. Cell-DEVS is a DEVS-based formalism that defines the cell space as ...
Rami Madhoun, Gabriel A. Wainer
ICCS
2005
Springer
14 years 2 months ago
Simulating Market Dynamics with CD++
CD++ is an implementation of the Cell-DEVS formalism, which has been used to simulate various complex systems. In this study, we constructed a Cell-DEVS to simulate the dynamics of...
Qi Liu, Gabriel A. Wainer
ENTCS
2007
82views more  ENTCS 2007»
13 years 8 months ago
A Simple Calculus for Proteins and Cells
The use of process calculi to represent biological systems has led to the design of different formalisms such as brane calculi and κ-calculus. Both have proved to be useful to m...
Cosimo Laneve, Fabien Tarissan
WSC
2008
13 years 11 months ago
Vesicle-synapsin interactions modeled with Cell-DEVS
Interactions between synaptic vesicles and synapsin in a presynaptic nerve terminal were modeled using the CellDEVS formalism. Vesicles and synapsins move randomly within the pres...
Rhys Goldstein, Gabriel A. Wainer, James J. Cheeth...