Sciweavers

264 search results - page 4 / 53
» Stochastic Analysis of Qualitative Dynamics
Sort
View
CMSB
2007
Springer
14 years 1 months ago
A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets
We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which unifies the qualitative, stochastic and continuous paradigms. Each per...
David Gilbert, Monika Heiner, Sebastian Lehrack
ENTCS
2007
85views more  ENTCS 2007»
13 years 7 months ago
Stochastic Modelling of Communication Protocols from Source Code
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...
Michael J. A. Smith
AUSAI
1997
Springer
13 years 12 months ago
Evaluating a Qualitative Reasoner
In order to support verification, validation and analysis of dynamic Operations Research (OR) models a method of testing models against data is required. In the case of the QCM qu...
Sam Waugh, Tim Menzies, Simon Goss
AB
2008
Springer
14 years 2 months ago
An Algorithm for Qualitative Simulation of Gene Regulatory Networks with Steep Sigmoidal Response Functions
A specific class of ODEs has been shown to be adequate to describe the essential features of the complex dynamics of Gene-Regulatory Networks (GRN). But, the effective exploitatio...
Liliana Ironi, Luigi Panzeri, Erik Plahte
CCE
2005
13 years 7 months ago
Constructive nonlinear dynamics in process systems engineering
To date, sensitivity, bifurcation and singularity analysis have been employed to identify and characterize the qualitative nonlinear behaviour of chemical process systems. The phe...
Wolfgang Marquardt, Martin Mönnigmann