CMSB 2007 | Sciweavers

39

click to vote

CMSB
2007
Springer

84views Applied Computing» more CMSB 2007»

A Formal and Integrated Framework to Simulate Evolution of Biological Pathways

14 years 7 months ago

Download eprints.biblio.unitn.it

Lorenzo Dematté, Corrado Priami, Alessandro...

claim paper

Read More »

41

click to vote

CMSB
2007
Springer

77views Applied Computing» more CMSB 2007»

Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus

14 years 7 months ago

Download lucacardelli.name

This paper presents a simulation algorithm for the stochastic -calculus, designed for the efficient simulation of biological systems with large numbers of molecules. The cost of a ...

Andrew Phillips, Luca Cardelli

claim paper

Read More »

33

click to vote

CMSB
2007
Springer

97views Applied Computing» more CMSB 2007»

Chemical Master Equation and Langevin Regimes for a Gene Transcription Model

14 years 9 months ago

Download www.nesc.ac.uk

Raya Khanin, Desmond J. Higham

claim paper

Read More »

49

click to vote

CMSB
2007
Springer

78views Applied Computing» more CMSB 2007»

Expressive Models for Synaptic Plasticity

14 years 9 months ago

Download www.di.unipi.it

We explore some presynaptic mechanisms of the calyx of Held synapse through a stochastic model. The model, drawn from a kinetic approach developed in literature, exploits process c...

Andrea Bracciali, Marcello Brunelli, Enrico Catald...

claim paper

Read More »

56

click to vote

CMSB
2007
Springer

132views Applied Computing» more CMSB 2007»

A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets

14 years 9 months ago

Download www.dcs.gla.ac.uk

We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which uniﬁes the qualitative, stochastic and continuous paradigms. Each per...

David Gilbert, Monika Heiner, Sebastian Lehrack

claim paper

Read More »

67

click to vote

CMSB
2007
Springer

183views Applied Computing» more CMSB 2007»

Context Sensitivity in Logical Modeling with Time Delays

14 years 9 months ago

Download www.matheon.de

For modeling and analyzing regulatory networks based on qualitative information and possibly additional temporal constraints, approaches using hybrid automata can be very helpful. ...

Heike Siebert, Alexander Bockmayr

claim paper

Read More »

45

click to vote

CMSB
2007
Springer

104views Applied Computing» more CMSB 2007»

On the Analysis of Numerical Data Time Series in Temporal Logic

14 years 9 months ago

Download www.nesc.ac.uk

François Fages, Aurélien Rizk

claim paper