期刊
BRIEFINGS IN BIOINFORMATICS
卷 12, 期 3, 页码 270-279出版社
OXFORD UNIV PRESS
DOI: 10.1093/bib/bbq079
关键词
phylogenetics; support values; program verification; maximum likelihood; bootstrap; software bug
资金
- Klaus Tschira Foundation
- German Science Foundation (Deutsche Forschungsgemeinschaft)
Verification in phylogenetics represents an extremely difficult subject. Phylogenetic analysis deals with the reconstruction of evolutionary histories of species, and as long as mankind is not able to travel in time, it will not be possible to verify deep evolutionary histories reconstructed with modern computational methods. Here, we focus on two more tangible issues that are related to verification in phylogenetics (i) the inference of support values on trees that provide some notion about the 'correctness' of the tree within narrow limits and, more importantly; (ii) issues pertaining to program verification, especially with respect to codes that rely heavily on floating-point arithmetics. Program verification represents a largely underestimated problem in computational science that can have fatal effects on scientific conclusions.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据