735 search results - page 1 / 147 » A Mechanization of Phylogenetic Trees |
CADE
2007
Springer
14 years 5 months ago
2007
Springer
ACL2
2006
ACM
13 years 10 months ago
2006
ACM
Biologists studying the evolutionary relationships between organisms use software packages to solve the computational problems they encounter. Several of these problems involve th...
WABI
2005
Springer
13 years 10 months ago
2005
Springer
Phylogenetic tree searching algorithms often produce thousands of trees which biologists save in Newick format in order to perform further analysis. Unfortunately, Newick is neithe...
CEC
2003
IEEE
13 years 8 months ago
2003
IEEE
AbstractGaphyl is an application of evolutionary algorithms (EA's) to phylogenetics, an approach used by biologists to investigate evolutionary relationships among organisms. ...
LPNMR
2009
Springer
13 years 9 months ago
2009
Springer
This note summarizes the use of Answer Set Programming to solve various computational problems to infer phylogenetic trees and phylogenetic networks, and discusses its applicabilit...