Sciweavers

3055 search results - page 455 / 611
» Randomized Search Trees
Sort
View
BMCBI
2008
140views more  BMCBI 2008»
15 years 4 months ago
FUNYBASE: a FUNgal phYlogenomic dataBASE
Background: The increasing availability of fungal genome sequences provides large numbers of proteins for evolutionary and phylogenetic analyses. However the heterogeneity of data...
Sylvain Marthey, Gabriela Aguileta, Françoi...
BMCBI
2007
165views more  BMCBI 2007»
15 years 4 months ago
Direct maximum parsimony phylogeny reconstruction from genotype data
Background: Maximum parsimony phylogenetic tree reconstruction from genetic variation data is a fundamental problem in computational genetics with many practical applications in p...
Srinath Sridhar, Fumei Lam, Guy E. Blelloch, R. Ra...
BMCBI
2004
125views more  BMCBI 2004»
15 years 4 months ago
A functional hierarchical organization of the protein sequence space
Background: It is a major challenge of computational biology to provide a comprehensive functional classification of all known proteins. Most existing methods seek recurrent patte...
Noam Kaplan, Moriah Friedlich, Menachem Fromer, Mi...
BMCBI
2002
126views more  BMCBI 2002»
15 years 4 months ago
RIO: Analyzing proteomes by automated phylogenomics using resampled inference of orthologs
Background: When analyzing protein sequences using sequence similarity searches, orthologous sequences (that diverged by speciation) are more reliable predictors of a new protein&...
Christian M. Zmasek, Sean R. Eddy
MICS
2010
81views more  MICS 2010»
15 years 2 months ago
Tactics for Hierarchical Proof
Abstract. There is something of a discontinuity at the heart of popular tactical theorem provers. Low-level, fully-checked mechanical proofs are large trees consisting of primitive...
David Aspinall, Ewen Denney, Christoph Lüth