688 search results - page 21 / 138 » Computational Methods for Verification of Stochastic Hybrid ... |
ICCMS
2009
13 years 5 months ago
2009
The simulation of chemical reacting systems is one of the most challenging topics in Systems Biology, due to their complexity and inherent randomness. The Gillespie's Stochas...
ICAT
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper proposes a wearable annotation overlay system which can correctly annotate dynamic users of wearable computers. To provide users with the newest annotation information, ...
ASSETS
2005
ACM
13 years 9 months ago
2005
ACM
The possibility of pre-compensating images in a computer display according to the visual aberrations previously assessed in an optical system (e.g., the computer user’s eye) has...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
Performance of DNA sequencing-by-synthesis systems is fundamentally limited by the stochastic nature of the underlying biochemical process. We develop a novel graphical representa...
SIAMSC
2008
13 years 7 months ago
2008
Abstract. Hybrid or multiphysics algorithms provide an efficient computational tool for combining micro- and macroscale descriptions of physical phenomena. Their use becomes impera...