Computational Biology

37

RECOMB
1998
Springer

90views Computational Biology» more RECOMB 1998»

On reconstructing species trees from gene trees in term of duplications and losses

14 years 3 months ago

This paper studies various properties of the least common ancestors mapping, the duplication and mutation costs, and the complexity of nding a species tree from gene trees.

Bin Ma, Ming Li, Louxin Zhang

claim paper

Read More »

33

click to vote

RECOMB
1998
Springer

120views Computational Biology» more RECOMB 1998»

A polyhedral approach to RNA sequence structure alignment

14 years 3 months ago

Download www.inf.fu-berlin.de

Ribonucleic acid (RNA) is a polymer composed of four bases denoted A, C, G, and U. It is a generally single-stranded molecule where the bases form hydrogen bonds within the same m...

Hans-Peter Lenhof, Knut Reinert, Martin Vingron

claim paper

Read More »

26

click to vote

RECOMB
1998
Springer

98views Computational Biology» more RECOMB 1998»

Optimal detection of sequence similarity by local alignment

14 years 3 months ago

Download matisse.ucsd.edu

Terence Hwa, Michael Lässig

claim paper

Read More »

27

click to vote

RECOMB
1998
Springer

93views Computational Biology» more RECOMB 1998»

Dynamic programming alignment accuracy

14 years 3 months ago

Download biowiki.org

Ian Holmes, Richard Durbin

claim paper

Read More »

27

click to vote

RECOMB
1998
Springer

86views Computational Biology» more RECOMB 1998»

Family-based homology detection via pairwise sequence comparison

14 years 3 months ago

Download noble.gs.washington.edu

William Noble Grundy

claim paper

Read More »

30

click to vote

RECOMB
1998
Springer

106views Computational Biology» more RECOMB 1998»

The hierarchical organization of molecular structure computations

14 years 3 months ago

Download bmir.stanford.edu

The task of computing molecular structure from combinations of experimental and theoretical constraints is expensive because of the large number of estimated parameters (the 3D co...

Cheng Che Chen, Jaswinder Pal Singh, Russ B. Altma...

claim paper

Read More »

28

click to vote

ASM
1998
ASM

84views Computational Biology» more ASM 1998»

Interacting Abstract State Machines

14 years 3 months ago

Download www.eecs.umich.edu

Marcelo de Almeida Maia, Vladimir Oliveira Di Iori...

claim paper

Read More »

42

click to vote

ASM
1998
ASM

117views Computational Biology» more ASM 1998»

Modeling Cache Coherence Protocol - A Case Study with FLASH

14 years 3 months ago

Download www.eecs.umich.edu

This paper is devoted to the speci cation of the Stanford FLASHcache coherence protocol within the ASM formalism. Correctness proofs related to data consistency are presented. Corn...

Arnaud Durand

claim paper

Read More »

27

click to vote

ASM
1998
ASM

94views Computational Biology» more ASM 1998»

A Realistic Environment for Crypto-Protocol Analyses by ASMs

14 years 3 months ago

Download www.eecs.umich.edu

Giampaolo Bella, Elvinia Riccobene

claim paper