Sciweavers

1033 search results - page 103 / 207
» hybrid 2007
Sort
View
HYBRID
2007
Springer
14 years 1 months ago
Model Checking Genetic Regulatory Networks with Parameter Uncertainty
The lack of precise numerical information for the values of biological parameters severely limits the development and analysis of models of genetic regulatory networks. To deal wit...
Grégory Batt, Calin Belta, Ron Weiss
HYBRID
2007
Springer
14 years 1 months ago
Symbolic Analysis for GSMP Models with One Stateful Clock
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
Mikhail Bernadsky, Rajeev Alur
HYBRID
2007
Springer
14 years 1 months ago
Switch Detection in Genetic Regulatory Networks
Abstract. This paper considers piecewise affine models of genetic regulatory networks and focuses on the problem of detecting switches among different modes of operation in gene e...
Riccardo Porreca, Giancarlo Ferrari-Trecate, Danie...
BMCBI
2004
116views more  BMCBI 2004»
13 years 7 months ago
Array-A-Lizer: A serial DNA microarray quality analyzer
Background: The proliferate nature of DNA microarray results have made it necessary to implement a uniform and quick quality control of experimental results to ensure the consiste...
Andreas Petri, Jan Fleckner, Mads Wichmann Matthie...
ICC
2007
IEEE
14 years 2 months ago
Implementation and Simulation of DBHPD and CBQ scheduling - A Comparative Study
— In this paper we analyze the operation of two scheduling algorithms, Class Based Queuing (CBQ) and Delay Bounded Hybrid Proportional Delay (DBHPD). We compare results obtained ...
Johanna Nieminen, Marko Luoma, Olli-Pekka Lamminen...