735 search results - page 46 / 147 » A Mechanization of Phylogenetic Trees |
103
Voted
CN
2002
15 years 16 days ago
2002
As the use of IP multicast sessions becomes widespread, the potential benefits derived from currently unavailable topological information on multicast distribution trees may becom...
96
Voted
RECOMB
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. One of the simplest evolutionary models has molecular sequences evolving from a common ancestor down a bifurcating phylogenetic tree, experiencing point-mutations along t...
84
Voted
POPL
2012
ACM
13 years 8 months ago
2012
ACM
We develop logical mechanisms and decision procedures to facilitate the verification of full functional properties of inductive tree data-structures using recursion that are soun...
108
click to vote
BICOB
2009
Springer
15 years 7 months ago
2009
Springer
Several applications require the joint display of two phylogenetic trees whose leaves are matched by inter-tree edges. This issue arises, for example, when comparing gene trees and...
93
Voted
CSB
2003
IEEE
15 years 6 months ago
2003
IEEE
We describe a method for finding ungapped conserved words in rRNA sequences that is effective, utilizes evolutionary information and does not depend on multiple sequence alignment...