Sciweavers

6329 search results - page 14 / 1266
» Detection of Stochastic Processes
Sort
View
PACT
2007
Springer
14 years 2 months ago
A Stochastic Semantics for BioAmbients
We consider BioAmbients, a calculus for specifying biological entities and for simulating and analysing their behaviour. We extend BioAmbients to take quantitative information into...
Linda Brodo, Pierpaolo Degano, Corrado Priami
SIAMJO
2008
105views more  SIAMJO 2008»
13 years 8 months ago
On Stability of Multistage Stochastic Programs
We study the quantitative stability of linear multistage stochastic programs under perturbations of the underlying stochastic processes. It is shown that the optimal values behave...
Christian Küchler
QEST
2007
IEEE
14 years 2 months ago
The PEPA Plug-in Project
We present a GUI-based tool supporting the stochastic process algebra PEPA with modules for performance evaluation through Markovian steady-state analysis, fluid flow analysis, ...
Mirco Tribastone
CMSB
2007
Springer
14 years 16 days ago
Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus
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