Sciweavers

1090 search results - page 57 / 218
» The Equivalence between Biology and Computation
Sort
View
103
Voted
ASM
2005
ASM
15 years 6 months ago
Verifying Security Protocols: An ASM Approach
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...
Dominik Haneberg, Holger Grandy, Wolfgang Reif, Ge...
RECOMB
2009
Springer
15 years 7 months ago
Pseudo Boolean Programming for Partially Ordered Genomes
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...
Sébastien Angibaud, Guillaume Fertin, Annel...
111
Voted
RECOMB
2007
Springer
16 years 29 days ago
Multi-break Rearrangements: From Circular to Linear Genomes
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, ...
Max A. Alekseyev
69
Voted
RECOMB
2005
Springer
16 years 29 days ago
Graph Theoretical Insights into Evolution of Multidomain Proteins
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...
Teresa M. Przytycka, George Davis, Nan Song, Danni...
89
Voted
RECOMB
2004
Springer
16 years 29 days ago
Multiple organism gene finding by collapsed gibbs sampling
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. ...
Sourav Chatterji, Lior Pachter