1222 search results - page 88 / 245 » A Bayesian Approach to Model Checking Biological Systems |
174
Voted
BMCBI
2011
14 years 7 months ago
2011
Background: The analysis of gene expression from time series underpins many biological studies. Two basic forms of analysis recur for data of this type: removing inactive (quiet) ...
121
click to vote
FAC
2008
15 years 4 months ago
2008
We extend the approach of model checking parameterized networks of processes by means of network invariants to the setting of real-time systems. We introduce timed transition stru...
187
click to vote
TSE
2011
14 years 11 months ago
2011
— We propose a new probabilistic temporal logic iLTL which captures properties of systems whose state can be represented by probability mass functions (pmf’s). Using iLTL, we c...
125
Voted
FLAIRS
2007
15 years 6 months ago
2007
In this paper we present a novel approach for patternconstrained test case generation. The generation of test cases with known characteristics is usually a non-trivial task. In co...
154
click to vote
TCSB
2010
15 years 2 months ago
2010
Transcriptional attenuation at E.coli’s tryptophan operon is a prime example of RNA-mediated gene regulation. In this paper, we present a discrete stochastic model for this pheno...