1090 search results - page 57 / 218 » The Equivalence between Biology and Computation |
162
click to vote
ASM
2005
ASM
15 years 11 months ago
2005
ASM
In this paper we present a modeling technique for security protocols using Abstract State Machines [BS03,Gur95] (ASMs). We describe how we model the different agents in the scenar...
165
click to vote
RECOMB
2009
Springer
16 years 28 days ago
2009
Springer
Comparing genomes of different species is a crucial problem in comparative genomics. Different measures have been proposed to compare two genomes: number of common intervals, num...
169
click to vote
RECOMB
2007
Springer
16 years 6 months ago
2007
Springer
Multi-break rearrangements break a genome into multiple fragments and further glue them together in a new order. While 2break rearrangements represent standard reversals, fusions, ...
134
click to vote
RECOMB
2005
Springer
16 years 6 months ago
2005
Springer
We study properties of multidomain proteins from a graph theoretical perspective. In particular, we demonstrate connections between properties of the domain overlap graph and certa...
158
click to vote
RECOMB
2004
Springer
16 years 6 months ago
2004
Springer
The Gibbs sampling method has been widely used for sequence analysis after it was successfully applied to the problem of identifying regulatory motif sequences upstream of genes. ...