Universität Bielefeld Electronic Collections animiertes Foto Universität Bielefeld

Access to the Document



Analyzing Phylogenetic Trees with Timed and Probabilistic Model Checking: The Lactose Persistence Case Study

Requeno, José Ignacio ; Colom, José Manuel

Journal of Integrative Bioinformatics - JIB (ISSN 1613-4516)


Download file

Abstract:
Model checking is a generic verification technique that allows the phylogeneticist to focus on models and specifications instead of on implementation issues. Phylogenetic trees are considered as transition systems over which we interrogate phylogenetic questions written as formulas of temporal logic. Nonetheless, standard logics become insufficient for certain practices of phylogenetic analysis since they do not allow the inclusion of explicit time and probabilities. The aim of this paper is to extend the application of model checking techniques beyond qualitative phylogenetic properties and adapt the existing logical extensions and tools to the field of phylogeny. The introduction of time and probabilities in phylogenetic specifications is motivated by the study of a real example: the analysis of the ratio of lactose intolerance in some populations and the date of appearance of this phenotype.


Institution: Faculty of Technology, Research Groups in Informatics
DDC classification: Data processing, computer science, computer systems

Suggested Citation:
Requeno, José Ignacio ; Colom, José Manuel  (2014)  Analyzing Phylogenetic Trees with Timed and Probabilistic Model Checking: The Lactose Persistence Case Study. Journal of Integrative Bioinformatics - JIB (ISSN 1613-4516)

Online-Journal: http://journal.imbio.de/article.php?aid=248
URL: http://biecoll.ub.uni-bielefeld.de/volltexte/2014/5339



 Questions or comments: publikationsdienste.ub@uni-bielefeld.de
 Latest update: 15 Feb 2011
 Legal Notice
OPUS-Logo     OAI compliant      BU Logo
OAI-Logo