1222 search results - page 26 / 245 » A Bayesian Approach to Model Checking Biological Systems |
113
click to vote
BMCBI
2010
14 years 12 months ago
2010
Background: DNA microarrays provide an efficient method for measuring activity of genes in parallel and even covering all the known transcripts of an organism on a single array. T...
113
click to vote
ANSS
2007
IEEE
15 years 6 months ago
2007
IEEE
For embedded systems as well as for biological cell systems, design is a feature that defines their identity. The assembly of different components in designs of both systems can ...
132
click to vote
IJSEKE
2011
14 years 3 months ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
121
click to vote
QOSA
2007
Springer
15 years 5 months ago
2007
Springer
: Modern society relies heavily on complex software systems for everyday activities. Dependability of these systems thus has become a critical feature that determines which product...
136
click to vote
CDC
2010
IEEE
14 years 3 months ago
2010
IEEE
— This paper deals with the state estimation of nonlinear systems. The systems under study are characterized by two-time scale models. The state estimation is performed by design...