Sciweavers

45 search results - page 5 / 9
» Consistency Techniques in Ordinary Differential Equations
Sort
View
CORR
2010
Springer
116views Education» more  CORR 2010»
13 years 7 months ago
Contact processes and moment closure on adaptive networks
Contact processes describe the transmission of distinct properties of nodes via the links of a network. They provide a simple framework for many phenomena, such as epidemic spreadi...
Anne-Ly Do, Thilo Gross
CAV
2010
Springer
227views Hardware» more  CAV 2010»
13 years 5 months ago
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
Alexandre Donzé
BMCBI
2008
242views more  BMCBI 2008»
13 years 7 months ago
New time-scale criteria for model simplification of bio-reaction systems
Background: Quasi-steady state approximation (QSSA) based on time-scale analysis is known to be an effective method for simplifying metabolic reaction system, but the conventional...
Junwon Choi, Kyung-won Yang, Tai-yong Lee, Sang Yu...
BMCBI
2006
205views more  BMCBI 2006»
13 years 7 months ago
Application of Petri net based analysis techniques to signal transduction pathways
Background: Signal transduction pathways are usually modelled using classical quantitative methods, which are based on ordinary differential equations (ODEs). However, some diffic...
Andrea Sackmann, Monika Heiner, Ina Koch
SIAMNUM
2010
126views more  SIAMNUM 2010»
13 years 2 months ago
Smoothing under Diffeomorphic Constraints with Homeomorphic Splines
In this paper we introduce a new class of diffeomorphic smoothers based on general spline smoothing techniques and on the use of some tools that have been recently developed in th...
Jérémie Bigot, Sébastien Gada...