Sciweavers

RECOMB
1998
Springer
13 years 11 months ago
On reconstructing species trees from gene trees in term of duplications and losses
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
RECOMB
1998
Springer
13 years 11 months ago
A polyhedral approach to RNA sequence structure alignment
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
RECOMB
1998
Springer
13 years 11 months ago
Dynamic programming alignment accuracy
Ian Holmes, Richard Durbin
RECOMB
1998
Springer
13 years 11 months ago
The hierarchical organization of molecular structure computations
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...
ASM
1998
ASM
13 years 11 months ago
Interacting Abstract State Machines
Marcelo de Almeida Maia, Vladimir Oliveira Di Iori...
ASM
1998
ASM
13 years 11 months ago
Modeling Cache Coherence Protocol - A Case Study with FLASH
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