1090 search results - page 107 / 218 » The Equivalence between Biology and Computation |
134
Voted
CONCUR
2011
Springer
14 years 18 days ago
2011
Springer
Abstract. In 2004, Berdine, Calcagno and O’Hearn introduced a fragment of separation logic that allows for reasoning about programs with pointers and linked lists. They showed th...
104
click to vote
UC
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Dynamical structure in the brain promotes biological function. Natural scientists look for correlations between measured electrical signals and behavior or mental states....
102
Voted
RECOMB
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. There is a resurgence of interest in RNA secondary structure prediction problem (a.k.a. the RNA folding problem) due to the discovery of many new families of non-coding R...
124
click to vote
BMCBI
2008
15 years 28 days ago
2008
To address the challenges of information integration and retrieval, the computational genomics community increasingly has come to rely on the methodology of creating annotations o...
97
Voted
AIIA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The huge volume of gene expression data produced by microarrays and other high-throughput techniques has encouraged the development of new computational techniques to eva...