1090 search results - page 92 / 218 » The Equivalence between Biology and Computation |
122
Voted
CMSB
2011
Springer
14 years 17 days ago
2011
Springer
Abstract. This paper tackles theoretically the question of the structural stability of biological regulation networks subjected to the influence of their environment. The model of...
134
click to vote
RECOMB
2007
Springer
15 years 6 months ago
2007
Springer
Publicly-available data sets provide detailed and large-scale information on multiple types of molecular interaction networks in a number of model organisms. These multi-modal univ...
103
Voted
DATE
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper focuses on inductive invariants in unbounded model checking to improve efficiency and scalability. First of all, it introduces optimized techniques to speedup the comp...
103
click to vote
IWANN
2001
Springer
15 years 5 months ago
2001
Springer
In the beginning of nineties, Hava Siegelmann proposed a new computational model, the Artificial Recurrent Neural Network (ARNN), and proved that it could perform hypercomputation....
127
Voted
DAC
1996
ACM
15 years 4 months ago
1996
ACM
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...