Sciweavers

7 search results - page 1 / 2
» Stochastic Calculus of Wrapped Compartments
Sort
View
CORR
2010
Springer
69views Education» more  CORR 2010»
13 years 5 months ago
Stochastic Calculus of Wrapped Compartments
Mario Coppo, Ferruccio Damiani, Maurizio Drocco, E...
CORR
2010
Springer
53views Education» more  CORR 2010»
13 years 5 months ago
Hybrid Calculus of Wrapped Compartments
Mario Coppo, Ferruccio Damiani, Maurizio Drocco, E...
CORR
2010
Springer
105views Education» more  CORR 2010»
13 years 2 months ago
On Designing Multicore-aware Simulators for Biological Systems
The stochastic simulation of biological systems is an increasingly popular technique in bioinformatics. It often is an enlightening technique, which may however result in being com...
Marco Aldinucci, Mario Coppo, Ferruccio Damiani, M...
CMSB
2009
Springer
13 years 12 months ago
Dynamic Compartments in the Imperative pi-Calculus
Dynamic compartments with mutable configurations and variable volumes are of basic interest for the stochastic modeling of biochemistry in cells. We propose a new language to expr...
Mathias John, Cédric Lhoussaine, Joachim Ni...
FMSB
2008
138views Formal Methods» more  FMSB 2008»
13 years 6 months ago
Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis
Abstract. This paper reports on the multi-scale modelling of an intestinal crypt cellular structure coupled with Wnt signalling. Using formal modelling techniques based on the stoc...
Oksana Tymchyshyn, Marta Z. Kwiatkowska