1901 search results - page 124 / 381 » Predicting Program Properties from |
157
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: Recent approaches for predicting the three-dimensional (3D) structure of proteins such as de novo or fold recognition methods mostly rely on simplified energy potentia...
184
click to vote
TCSB
2010
15 years 1 months ago
2010
Biomodel engineering is the science of designing, constructing and analyzing computational models of biological systems. It forms a systematic and powerful extension of earlier mat...
252
click to vote
POPL
2004
ACM
16 years 3 months ago
2004
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected interactions between concurrent threads. Much previous work has focused on det...
137
click to vote
POPL
2010
ACM
16 years 8 days ago
2010
ACM
The definition of type equivalence is one of the most important design issues for any typed language. In dependentlytyped languages, because terms appear in types, this definition...
126
Voted
BMCBI
2006
15 years 2 months ago
2006
Background: Successful realization of a "systems biology" approach to analyzing cells is a grand challenge for our understanding of life. However, current modeling appro...