1090 search results - page 59 / 218 » The Equivalence between Biology and Computation |
88
Voted
DNA
2009
Springer
15 years 7 months ago
2009
Springer
Knowledge of energy barriers between pairs of secondary structures for a given DNA or RNA molecule is useful, both in understanding RNA function in biological settings and in desig...
120
Voted
RECOMB
2000
Springer
15 years 4 months ago
2000
Springer
We present a lossless compression algorithm, GenCompress, for genetic sequences, based on searching for approximate repeats. Our algorithm achieves the best compression ratios for...
109
Voted
ASM
2008
ASM
15 years 2 months ago
2008
ASM
Abstract. In this paper we examine the difference between model checking high-level and low-level models. In particular, we compare the ProB model checker for the B-method and the ...
102
Voted
ASM
2008
ASM
15 years 2 months ago
2008
ASM
The ingredients of typical model based development via refinement are re-examined, and some well known frameworks are reviewed in that light, drawing out commonalities and differen...
90
Voted
ISMB
1998
15 years 2 months ago
1998
This workfocuses on the inference of evolutionary relationships in protein superfamilies, and the uses of these relationships to identify keypositions in the structure, to infer a...