2877 search results - page 203 / 576 » Biological Computing |
130
click to vote
RECOMB
2004
Springer
16 years 3 months ago
2004
Springer
We study a situation that arises in the somatic evolution of cancer. Consider a finite population of replicating cells and a sequence of mutations: type 0 can mutate to type 1, wh...
136
Voted
ASM
2008
ASM
15 years 5 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 ...
116
click to vote
ISMB
1998
15 years 4 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...
109
click to vote
RECOMB
2002
Springer
16 years 3 months ago
2002
Springer
We develop techniques to estimate the statistical significance of gap-free alignments between two genomic DNA sequences, using human-mouse alignments as an example. The sequences ...
124
click to vote
ASM
2010
ASM
15 years 6 months ago
2010
ASM
Symmetry reduction is a model checking technique that can help alleviate the problem of state space explosion, by preventing redundant state space exploration. In previous work, we...