1222 search results - page 114 / 245 » A Bayesian Approach to Model Checking Biological Systems |
178
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
134
Voted
DNA
2005
Springer
15 years 9 months ago
2005
Springer
The first step of the Adleman-Lipton extract model in DNA computing is the combinatorial generation of libraries. In this paper a new method is proposed for generating a initial p...
133
click to vote
CMA
2010
15 years 1 months ago
2010
The chemical master equation is considered an accurate description of general chemical systems, and especially so for modeling cell cycle and gene regulatory networks. This paper ...
182
click to vote
GLOBECOM
2010
IEEE
15 years 2 months ago
2010
IEEE
Cognitive networking deals with applying cognition to the entire network protocol stack for achieving stack-wide as well as network-wide performance goals, unlike cognitive radios ...
149
click to vote
EVOW
2007
Springer
15 years 10 months ago
2007
Springer
Biomedical research has been revolutionized by high-throughput techniques and the enormous amount of biological data they are able to generate. The interest shown over network mode...