1222 search results - page 50 / 245 » A Bayesian Approach to Model Checking Biological Systems |
150
click to vote
BIB
2007
15 years 3 months ago
2007
The collection of multiple genome-scale datasets is now routine, and the frontier of research in systems biology has shifted accordingly. Rather than clustering a single dataset t...
168
Voted
CIBSE
2008
ACM
15 years 5 months ago
2008
ACM
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...
132
click to vote
ASP
2001
Springer
15 years 8 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. This is an extension of earlier w...
134
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
This article presents an approach, which combines theorem proving-based refinement with model checking for state based real-time systems. Our verification flow starts from UML sta...
129
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: Biologists often conduct multiple but different cDNA microarray studies that all target the same biological system or pathway. Within each study, replicate slides with...