Results 311 to 320 of about 509,888 (322)

Phylogenetic trees in ACL2 [PDF]

Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications - ACL2 '06, 2006
Biologists studying the evolutionary relationships between organisms use software packages to solve the computational problems they encounter. Several of these problems involve the production and analysis of phylogenetic trees. We present our system for phylogenetic tree manipulation, TASPI, which was designed to allow the specification and ...
Warren A. Hunt, Serita M. Nelesen
openaire   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Phylogenetic Networks with Every Embedded Phylogenetic Tree a Base Tree

Bulletin of Mathematical Biology, 2015
We show that the class of tree-child networks is precisely the class of tree-based networks with the property that every embedded phylogenetic tree is a base tree.
openaire   +3 more sources

Constructing a Phylogenetic Tree

2014
In this project I constructed a workflow that takes a DNA sequence as input and provides a phylogenetic tree, consisting of the input sequence and other sequences which were found during a database search. In this phylogenetic tree the sequences are arranged depending on similarities.
openaire   +3 more sources

Groves of Phylogenetic Trees

Annals of Combinatorics, 2009
A major challenge in biological sciences is the reconstruction of the Tree of Life. To this effect, large genomic databases like GenBank and SwissProt are being mined for clusters from which phylogenies can be inferred. Systematists and comparative biologists commonly combine such phylogenies into informative supertrees that reveal information which ...
Raul Piaggio-Talice, Michael J. Sanderson, Oliver Eulenstein, Cécile Ané   +3 more
openaire   +2 more sources

Comparison of phylogenetic trees

Mathematical Biosciences, 1981
Abstract A metric on general phylogenetic trees is presented. This extends the work of most previous authors, who constructed metrics for binary trees. The metric presented in this paper makes possible the comparison of the many nonbinary phylogenetic trees appearing in the literature.
L. R. Foulds, D. F. Robinson
openaire   +2 more sources

Phylogenetic trees

2010
Celine Scornavacca, Daniel H. Huson, Regula Rupp   +2 more
openaire   +2 more sources

Phylogenetic Tree

2011
openaire   +1 more source

Cladograms and Phylogenetic Trees

Systematic Biology, 1979
openaire   +2 more sources

The Phylogenetic Tree Topples

American Scientist, 2006
openaire   +1 more source

Rooting Phylogenetic Trees

2004
Sudhir Kumar, Alan Filipski
openaire   +2 more sources