357 search results - page 13 / 72 » Computing Reachable States for Nonlinear Biological Models |
FORMATS
2006
Springer
13 years 11 months ago
2006
Springer
We propose a symbolic algorithm for the analysis of the robustness of timed automata, that is the correctness of the model in presence of small drifts on the clocks or imprecision ...
ARTS
1999
Springer
13 years 11 months ago
1999
Springer
In this paper we study the issue of progress for distributed timed systems modeled as the parallel composition of timed automata. We clarify the requirements of discrete progress (...
FLAIRS
2004
13 years 8 months ago
2004
Aperiodic dynamics are known to be essential in the formation of perceptual mechanisms and representations in biological organisms. Advances in neuroscience and computational neur...
HPCS
2005
IEEE
14 years 1 months ago
2005
IEEE
— With the principal goal of developing an alternative, relatively simple and tractable pricing framework for accurately reproducing a market implied volatility surface, this pap...
FOSSACS
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. The reachability analysis of recursive programs that communicate asynchronously over reliable Fifo channels calls for restrictions to ensure decidability. We extend here ...