Are Profile Hidden Markov Models Identifiable?

Total Page:16

File Type:pdf, Size:1020Kb

Are Profile Hidden Markov Models Identifiable? Are Profile Hidden Markov Models Identifiable? Srilakshmi Pattabiraman Tandy Warnow Department of Electrical and Computer Engineering Department of Computer Science University of Illinois at Urbana-Champaign University of Illinois at Urbana-Champaign Urbana, Illinois Urbana, Illinois [email protected] [email protected] ABSTRACT 1 INTRODUCTION Profile Hidden Markov Models (HMMs) are graphical models that Profile Hidden Markov Models (HMMs) are arguably themost can be used to produce finite length sequences from a distribution. common statistical models in bioinformatics. Originally introduced In fact, although they were only introduced for bioinformatics 25 by Haussler and colleagues in [10, 12], and then expanded later years ago (by Haussler et al., Hawaii International Conference on in many subsequent texts [4–6, 9, 11, 21, 25], profile HMMs are Systems Science 1993), they are arguably the most commonly used now used in many analytical steps in biological sequence analysis statistical model in bioinformatics, with multiple applications, in- [15, 17–19, 22]. cluding protein structure and function prediction, classifications Profile Hidden Markov models are graphical models with match of novel proteins into existing protein families and superfamilies, states, insertion states, and deletion states; and the match and in- metagenomics, and multiple sequence alignment. The standard use sertion states emit letters from an underlying alphabet Σ (i.e., Σ of profile HMMs in bioinformatics has two steps: first a profile may be the 20 amino acids, the four nucleotides, or some other HMM is built for a collection of molecular sequences (which may set of symbols). In the standard form presented in [4] (widely in not be in a multiple sequence alignment), and then the profile HMM use in bioinformatics applications), each profile Hidden Markov is used in some subsequent analysis of new molecular sequences. model has a single start state and a single end state, and every path The construction of the profile thus is itself a statistical estimation through the model produces a string from Σ∗. The topology of this problem, since any given set of sequences might potentially fit standard model as seen in Figure 1 shows directed edges between more than one model well. Hence a basic question about profile certain pairs of states, and each such directed edge has a non-zero HMMs is whether they are statistically identifiable, which means transition probability. that no two profile HMMs can produce the same distribution on In this paper, we address the question of statistical identifiability finite length sequences. Indeed, statistical identifiability is afun- of profile Hidden Markov models, which in essence asks whether damental aspect of any statistical model, and yet it is not known the model is reconstructible given the probability distribution it whether profile HMMs are statistically identifiable. In this paper, we defines [23]. Thus, if there are two sets of parameters of the model report on preliminary results towards characterizing the statistical that generate the same joint distribution, then the model is not identifiability of profile HMMs in one of the standard forms used identifiable. Note that if a model is not identifiable, then itisim- in bioinformatics. possible for any algorithm designed to estimate the model from a finite dataset to be statistically consistent: that is, it is not possible CCS CONCEPTS for the method to converge in probability to the true model with • Applied computing → Molecular sequence analysis; increasing amounts of data. Statistical identifiability is a basic property of statistical mod- KEYWORDS els, and is the subject of rigorous study [1–3, 7, 13, 16, 20]. Indeed, the importance of identifiability is evident in the following quotes: Profile Hidden Markov Models, statistical identifiability, molecular “Unidentifiable models are pathological, usually due to conceptual sequence analysis error in model formulation” [24] and “Many statisticians frown ACM Reference Format: on the use of under-identified models: if a parameter is not iden- Srilakshmi Pattabiraman and Tandy Warnow. 2018. Are Profile Hidden tifiable, two or more values are indistinguishable, no matter how Markov Models Identifiable?. In ACM-BCB ’18: 9th ACM International Con- much data you have” [8]. However, to the best of our knowledge, ference on Bioinformatics, Computational Biology, and Health Informatics, nothing has yet been established about the statistical identifiability August 29–September 1, 2018, Washington, DC, USA. ACM, New York, NY, of profile Hidden Markov Models (HMMs), although the question USA, 9 pages. https://doi.org/10.1145/3233547.3233563 of identifiability of parameters in HMMs more generally has also been specifically addressed [14]. Permission to make digital or hard copies of all or part of this work for personal or In this paper, we partially characterize the conditions under classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation which profile HMMs are statistically identifiable. Our study in- on the first page. Copyrights for components of this work owned by others than ACM cludes a characterization of identifiable profile HMMs when no must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, deletion states are permitted but also shows two profile HMMs to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]. in the standard format that define the same probability distribu- ACM-BCB’18, August 29–September 1, 2018, Washington, DC, USA tion. Hence, we show that profile HMMs are not identifiable. We © 2018 Association for Computing Machinery. conclude our study with a discussion of the implications of this ACM ISBN 978-1-4503-5794-4/18/08. https://doi.org/10.1145/3233547.3233563 research and future directions. 2 RESULTS this is the only path with j + 1 edges that begins at the start state 2.1 Preliminary material and notation and ends at Ij . The question we address in this paper is whether profile HMMs Theorem 2.1. Consider a standard profile HMM topology with (in this standard format, as described in Figure 1) are statistically n match states and no deletion states. Then, the model is identifi- identifiable. We present profile HMMs for modeling collections of able if and only if no match state has the same emission probability DNA sequences (i.e., strings over fA;C;T ;Gg), which is one of their distribution as the insertion states. uses; however, the results we present here are independent of the choice of alphabet. As shown in Figure 1, the standard topology Proof. (: We begin by proving that if no match state has the profile HMM with n match states has a single begin state “begin” same distribution as the insertions states, then the model is iden- and a single end state “end”; every path through the profile HMM tifiable. Note that when there are no deletion states, the lengthof thus begins and ends at these states. The standard profile HMM also the shortest sequence with non-zero probability of being generated has n match states, n+1 insertion states, and n deletion states. Every is the number of match states. Hence, given the distribution of sequences defined by a profile HMM that has no deletion states, match state Mj (with j 2 »n¼) emits a letter A;T;G; or C according to we immediately know the number of match states, and hence also some fixed but unknown probability distribution Pj . All insertion 0 the topology. We will show that we can use the topology of the states I 0 (with j 2 f0g [ »n¼) emit a letter with the same known j profile HMM to compute all the numerical parameters, and hence distribution Pins . Note therefore that the emission probabilities define the entire model, once we are given the distribution of strings can be different for different match states, but all insertion states defined by the model. have the same emission probabilities. Finally, the deletion states So let the length of the shortest sequence (with non-zero proba- are “silent” (i.e., they do not emit any letters), and are denoted bility) be n. We provide the proof of identifiability for the case where by Dj . The probability of transition from one state to another is all nucleotides have equal probability of being generated at the in- represented by the positive values on the edges (also referred to as sertion states (i.e., P »A¼ = P »C¼ = P »T ¼ = P »C¼ = 1 ). edge weights); hence, the sum of the weights on the edges leaving ins ins ins ins 4 For the more general case where the emission probabilities at the any given node is 1:0. Note that under this standard profile HMM, insertion states are different, the proof is a simple modification of once you know the number of match states you also know the the one provided below. entire topology. We now show how to compute the emission probabilities zi , We introduce some notation to simplify the rest of the exposition. A zi , zi , and zi . Note that the probability that a string of length n We let xi denote the transition probability from Mi−1 to Mi (with T G C th M0 denoting the start state and Mn+1 denoting the end state) and generated by this model has an A in the i position is given by i yi denote the transition probability from Ii−1 to Mi . We let zY n i Ö denote the emission probability of letter Y from match state Mi , i.e., p?»i−1¼A?»n−i¼ = zA xj (1) » j ¼ i » ¼ P Y match state = i = zY . We use Pins j to denote the emission j=1 j 2 fA;C;T;Gg probability of letter at the insertion states, and and hence constrain all insertion states to have the same emission probability i p?»i−1¼A?»n−i¼ distribution.
Recommended publications
  • Algorithms for Computational Biology 8Th International Conference, Alcob 2021 Missoula, MT, USA, June 7–11, 2021 Proceedings
    Lecture Notes in Bioinformatics 12715 Subseries of Lecture Notes in Computer Science Series Editors Sorin Istrail Brown University, Providence, RI, USA Pavel Pevzner University of California, San Diego, CA, USA Michael Waterman University of Southern California, Los Angeles, CA, USA Editorial Board Members Søren Brunak Technical University of Denmark, Kongens Lyngby, Denmark Mikhail S. Gelfand IITP, Research and Training Center on Bioinformatics, Moscow, Russia Thomas Lengauer Max Planck Institute for Informatics, Saarbrücken, Germany Satoru Miyano University of Tokyo, Tokyo, Japan Eugene Myers Max Planck Institute of Molecular Cell Biology and Genetics, Dresden, Germany Marie-France Sagot Université Lyon 1, Villeurbanne, France David Sankoff University of Ottawa, Ottawa, Canada Ron Shamir Tel Aviv University, Ramat Aviv, Tel Aviv, Israel Terry Speed Walter and Eliza Hall Institute of Medical Research, Melbourne, VIC, Australia Martin Vingron Max Planck Institute for Molecular Genetics, Berlin, Germany W. Eric Wong University of Texas at Dallas, Richardson, TX, USA More information about this subseries at http://www.springer.com/series/5381 Carlos Martín-Vide • Miguel A. Vega-Rodríguez • Travis Wheeler (Eds.) Algorithms for Computational Biology 8th International Conference, AlCoB 2021 Missoula, MT, USA, June 7–11, 2021 Proceedings 123 Editors Carlos Martín-Vide Miguel A. Vega-Rodríguez Rovira i Virgili University University of Extremadura Tarragona, Spain Cáceres, Spain Travis Wheeler University of Montana Missoula, MT, USA ISSN 0302-9743 ISSN 1611-3349 (electronic) Lecture Notes in Bioinformatics ISBN 978-3-030-74431-1 ISBN 978-3-030-74432-8 (eBook) https://doi.org/10.1007/978-3-030-74432-8 LNCS Sublibrary: SL8 – Bioinformatics © Springer Nature Switzerland AG 2021 This work is subject to copyright.
    [Show full text]
  • Computational Biology and Bioinformatics
    Vol. 30 ISMB 2014, pages i1–i2 BIOINFORMATICS EDITORIAL doi:10.1093/bioinformatics/btu304 Editorial This special issue of Bioinformatics serves as the proceedings of The conference used a two-tier review system, a continuation the 22nd annual meeting of Intelligent Systems for Molecular and refinement of a process begun with ISMB 2013 in an effort Biology (ISMB), which took place in Boston, MA, July 11–15, to better ensure thorough and fair reviewing. Under the revised 2014 (http://www.iscb.org/ismbeccb2014). The official confer- process, each of the 191 submissions was first reviewed by at least ence of the International Society for Computational Biology three expert referees, with a subset receiving between four and (http://www.iscb.org/), ISMB, was accompanied by 12 Special eight reviews, as needed. These formal reviews were frequently Interest Group meetings of one or two days each, two satellite supplemented by online discussion among reviewers and Area meetings, a High School Teachers Workshop and two half-day Chairs to resolve points of dispute and reach a consensus on tutorials. Since its inception, ISMB has grown to be the largest each paper. Among the 191 submissions, 29 were conditionally international conference in computational biology and bioinfor- accepted for publication directly from the first round review Downloaded from matics. It is expected to be the premiere forum in the field for based on an assessment of the reviewers that the paper was presenting new research results, disseminating methods and tech- clearly above par for the conference. A subset of 16 papers niques and facilitating discussions among leading researchers, were viewed as potentially in the top tier but raised significant practitioners and students in the field.
    [Show full text]
  • Research News
    Computing Research News COMPUTING RESEARCH ASSOCIATION, CELEBRATING 40 YEARS OF SERVICE TO THE COMPUTING RESEARCH COMMUNITY JUNE 2013 Vol. 25 / No. 6 Announcements 2 Coalition for National Science Funding 2 CRA Announces Outstanding Undergraduate Researcher Award Winners 3 Computing Research in Action 5 CERP Infographic 6 NSF Funding Opportunity 6 CRA Recognizes Participants 7 CRA Board Members 16 CRA Board Officers 16 CRA Staff 16 Professional Opportunities 17 COMPUTING RESEARCH NEWS, JUNE 2013 Vol. 25 / No. 6 Announcements 2012 Taulbee Report Updated May 15, 2013 Corrected Table F6 Click here to download updated version CRA Releases Latest Research Issue Report New Technology-based Models for Postsecondary Learning: Conceptual Frameworks and Research Agendas The report details the findings of a National Science Foundation-Sponsored Computing Research Association Workshop held at MIT on January 9-11, 2013. From the report: “Advances in technology and in knowledge about expertise, learning, and assessment have the potential to reshape the many forms of education and training past matriculation from high school. In the next decade, higher education, military and workplace training, and professional development must all transform to exploit the opportunities of a new era, leveraging emerging technology-based models that can make learning more efficient and possibly improve student support, all at lower cost for a broader range of learners.” The report is now available as a pdf at http://cra.org/resources/research-issues/. Slides from the presentation at NSF on April 19, 2013 are also available. Investments in STEM Research and Education: Fueling American Innovation On May 7, at the Rayburn House Office Building in Brett Bode from the National Center for Supercomputing Washington, DC, the Coalition for National Science Funding Applications at University of Illinois Urbana-Champaign were (CNSF) held its 19th annual exhibition and reception, on hand to talk about the “Blue Waters” project.
    [Show full text]
  • I S C B N E W S L E T T
    ISCB NEWSLETTER FOCUS ISSUE {contents} President’s Letter 2 Member Involvement Encouraged Register for ISMB 2002 3 Registration and Tutorial Update Host ISMB 2004 or 2005 3 David Baker 4 2002 Overton Prize Recipient Overton Endowment 4 ISMB 2002 Committees 4 ISMB 2002 Opportunities 5 Sponsor and Exhibitor Benefits Best Paper Award by SGI 5 ISMB 2002 SIGs 6 New Program for 2002 ISMB Goes Down Under 7 Planning Underway for 2003 Hot Jobs! Top Companies! 8 ISMB 2002 Job Fair ISCB Board Nominations 8 Bioinformatics Pioneers 9 ISMB 2002 Keynote Speakers Invited Editorial 10 Anna Tramontano: Bioinformatics in Europe Software Recommendations11 ISCB Software Statement volume 5. issue 2. summer 2002 Community Development 12 ISCB’s Regional Affiliates Program ISCB Staff Introduction 12 Fellowship Recipients 13 Awardees at RECOMB 2002 Events and Opportunities 14 Bioinformatics events world wide INTERNATIONAL SOCIETY FOR COMPUTATIONAL BIOLOGY A NOTE FROM ISCB PRESIDENT This newsletter is packed with information on development and dissemination of bioinfor- the ISMB2002 conference. With over 200 matics. Issues arise from recommendations paper submissions and over 500 poster submis- made by the Society’s committees, Board of sions, the conference promises to be a scientific Directors, and membership at large. Important feast. On behalf of the ISCB’s Directors, staff, issues are defined as motions and are discussed EXECUTIVE COMMITTEE and membership, I would like to thank the by the Board of Directors on a bi-monthly Philip E. Bourne, Ph.D., President organizing committee, local organizing com- teleconference. Motions that pass are enacted Michael Gribskov, Ph.D., mittee, and program committee for their hard by the Executive Committee which also serves Vice President work preparing for the conference.
    [Show full text]
  • Curriculum Vitae
    Curriculum Vitae Tandy Warnow Grainger Distinguished Chair in Engineering 1 Contact Information Department of Computer Science The University of Illinois at Urbana-Champaign Email: [email protected] Homepage: http://tandy.cs.illinois.edu 2 Research Interests Phylogenetic tree inference in biology and historical linguistics, multiple sequence alignment, metage- nomic analysis, big data, statistical inference, probabilistic analysis of algorithms, machine learning, combinatorial and graph-theoretic algorithms, and experimental performance studies of algorithms. 3 Professional Appointments • Co-chief scientist, C3.ai Digital Transformation Institute, 2020-present • Grainger Distinguished Chair in Engineering, 2020-present • Associate Head for Computer Science, 2019-present • Special advisor to the Head of the Department of Computer Science, 2016-present • Associate Head for the Department of Computer Science, 2017-2018. • Founder Professor of Computer Science, the University of Illinois at Urbana-Champaign, 2014- 2019 • Member, Carl R. Woese Institute for Genomic Biology. Affiliate of the National Center for Supercomputing Applications (NCSA), Coordinated Sciences Laboratory, and the Unit for Criticism and Interpretive Theory. Affiliate faculty member in the Departments of Mathe- matics, Electrical and Computer Engineering, Bioengineering, Statistics, Entomology, Plant Biology, and Evolution, Ecology, and Behavior, 2014-present. • National Science Foundation, Program Director for Big Data, July 2012-July 2013. • Member, Big Data Senior Steering Group of NITRD (The Networking and Information Tech- nology Research and Development Program), subcomittee of the National Technology Council (coordinating federal agencies), 2012-2013 • Departmental Scholar, Institute for Pure and Applied Mathematics, UCLA, Fall 2011 • Visiting Researcher, University of Maryland, Spring and Summer 2011. 1 • Visiting Researcher, Smithsonian Institute, Spring and Summer 2011. • Professeur Invit´e,Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Summer 2010.
    [Show full text]
  • Fast Non-Parametric Improvement of Estimated Gene Trees Sarah Christensen University of Illinois at Urbana-Champaign, USA [email protected] Erin K
    TRACTION: Fast Non-Parametric Improvement of Estimated Gene Trees Sarah Christensen University of Illinois at Urbana-Champaign, USA [email protected] Erin K. Molloy University of Illinois at Urbana-Champaign, USA [email protected] Pranjal Vachaspati University of Illinois at Urbana-Champaign, USA [email protected] Tandy Warnow1 University of Illinois at Urbana-Champaign, USA http://tandy.cs.illinois.edu [email protected] Abstract Gene tree correction aims to improve the accuracy of a gene tree by using computational techniques along with a reference tree (and in some cases available sequence data). It is an active area of research when dealing with gene tree heterogeneity due to duplication and loss (GDL). Here, we study the problem of gene tree correction where gene tree heterogeneity is instead due to incomplete lineage sorting (ILS, a common problem in eukaryotic phylogenetics) and horizontal gene transfer (HGT, a common problem in bacterial phylogenetics). We introduce TRACTION, a simple polynomial time method that provably finds an optimal solution to the RF-Optimal Tree Refinement and Completion Problem, which seeks a refinement and completion of an input tree t with respect to a given binary tree T so as to minimize the Robinson-Foulds (RF) distance. We present the results of an extensive simulation study evaluating TRACTION within gene tree correction pipelines on 68,000 estimated gene trees, using estimated species trees as reference trees. We explore accuracy under conditions with varying levels of gene tree heterogeneity due to ILS and HGT. We show that TRACTION matches or improves the accuracy of well-established methods from the GDL literature under conditions with HGT and ILS, and ties for best under the ILS-only conditions.
    [Show full text]
  • PSB 2009 Attendees (As of January 9, 2009) Mario Albrecht Max Planck
    PSB 2009 Attendees (as of January 9, 2009) Mario Albrecht Steven Brenner Max Planck Institute for Informatics University of California, Berkeley Hesham Ali Andrzej Brodzik University of Nebraska at Omaha The MITRE Corporation Gil Alterovitz Lukas Burger Harvard/MIT Institute of Bioinformatics, University of Basel Gregory Arnold Amgen Gregory Burrows OHSU Adam Asare UCSF/ITN William Bush Vanderbilt University Pierre Baldi University of California Andrea Califano Columbia University Lars Barquist UC Berkeley J. Gregory Caporaso Univeristy of Colorado Denver James Bassingthwaighte Univeristy of Washington Vincent Carey Harvard Medical School Tanya Berger-Wolf University of Illinois at Chicago Yuhui Cheng University of California, San Diego Ghislain Bidaut INSERM U891 Institut Paoli-Calmette Raymond Cheong Johns Hopkins University Marco Blanchette Stowers Institute for Medical Research Annie Chiang Stanford University Ben Blencowe Gilsoo Cho Anthony Bonner Yonsei University University of Toronto Sung Bum Cho Ingrid Borecki Seoul National University Bioinformatics Washington University Kevin Cohen John Bouck University of Colorado Denver Ceres, Inc. Dilek Colak Philip Bourne King Faisal Specialist Hospital and University of California, San Diego Research Centre PSB 2009 Attendees (as of January 9, 2009) James Costello Laura Elnitski Indiana University NHGRI Anneleen Daemen Drew Endy Dept. Electrical Engineering, KULeuven Stanford University Denise Daley Eric Fahrenthold University of British Columbia Yiping Fan Paul Davis St Jude Children's
    [Show full text]
  • Probabilistic Models for Species Tree Inference and Orthology Analysis
    Probabilistic Models for Species Tree Inference and Orthology Analysis IKRAM ULLAH Doctoral Thesis Stockholm, Sweden 2015 TRITA-CSC-A-2015:12 ISSN-1653-5723 KTH School of Computer Science and Communication ISRN-KTH/CSC/A–15/12-SE SE-100 44 Stockholm ISBN 978-91-7595-619-0 SWEDEN Akademisk avhandling som med tillstånd av Kungl Tekniska högskolan framläg- ges till offentlig granskning för avläggande av teknologie doktorsexamen i datalogi fredagen den 12 juni 2015, klockan 13.00 i conference room Air, Scilifelab, Solna. © Ikram Ullah, June 2015 Tryck: Universitetsservice US AB iii To my family iv Abstract A phylogenetic tree is used to model gene evolution and species evolution using molecular sequence data. For artifactual and biological reasons, a gene tree may differ from a species tree, a phenomenon known as gene tree-species tree incongruence. Assuming the presence of one or more evolutionary events, e.g, gene duplication, gene loss, and lateral gene transfer (LGT), the incon- gruence may be explained using a reconciliation of a gene tree inside a species tree. Such information has biological utilities, e.g., inference of orthologous relationship between genes. In this thesis, we present probabilistic models and methods for orthology analysis and species tree inference, while accounting for evolutionary factors such as gene duplication, gene loss, and sequence evolution. Furthermore, we use a probabilistic LGT-aware model for inferring gene trees having temporal information for duplication and LGT events. In the first project, we present a Bayesian method, called DLRSOrthology, for estimating orthology probabilities using the DLRS model: a probabilistic model integrating gene evolution, a relaxed molecular clock for substitution rates, and sequence evolution.
    [Show full text]
  • Front Matter
    Cambridge University Press 978-1-107-01146-5 - Bioinformatics for Biologists Edited by Pavel Pevzner and Ron Shamir Frontmatter More information BIOINFORMATICS FOR BIOLOGISTS The computational education of biologists is changing to prepare students for facing the complex data sets of today’s life science research. In this concise textbook, the authors’ fresh pedagogical approaches lead biology students from first principles towards computational thinking. A team of renowned bioinformaticians take innovative routes to introduce computational ideas in the context of real biological problems. Intuitive explanations promote deep understanding, using little mathematical formalism. Self-contained chapters show how computational procedures are developed and applied to central topics in bioinformatics and genomics, such as the genetic basis of disease, genome evolution, or the tree of life concept. Using bioinformatic resources requires a basic understanding of what bioinformatics is and what it can do. Rather than just presenting tools, the authors – each a leading scientist – engage the students’ problem-solving skills, preparing them to meet the computational challenges of their life science careers. PAVEL PEVZNER is Ronald R. Taylor Professor of Computer Science and Director of the Bioinformatics and Systems Biology Program at the University of California, San Diego. He was named a Howard Hughes Medical Institute Professor in 2006. RON SHAMIR is Raymond and Beverly Sackler Professor of Bioinformatics and head of the Edmond J. Safra Bioinformatics
    [Show full text]
  • STUDYING EVOLUTIONARY CHANGE Transdisciplinary Advances in Understanding and Measuring Evolution
    STUDYING EVOLUTIONARY CHANGE Transdisciplinary Advances in Understanding and Measuring Evolution Der Fakultät für Mathematik und Informatik der Universität Leipzig angenommene DISSERTATION zur Erlangung des akademischen Grades Doctor rerum naturalium (Dr. rer. nat.) im Fachgebiet Informatik vorgelegt von Master of Science in Bioinformatik Nancy Retzlaff geboren am 13.01.1990 in Schwedt(Oder) Die Annahme der Dissertation wurde empfohlen von: 1. Prof. Dr. Peter F. Stadler, Universität Leipzig 2. Prof. Dr. Cedric Notredame, Centre for Genomic Regulation (Barcelona, Spanien) Die Verleihung des akademischen Grades erfolgt mit Bestehen der Verteidigung am 05.03.2020 mit dem Gesamtprädikat magna cum laude i For the love received, multiplied and shared. ii iii Bibliographic Description Title: STUDYING EVOLUTIONARY CHANGE Subtitle: Transdisciplinary Advances in Understanding and Measuring Evolution Type: Dissertation Author: Nancy Retzlaff Year: 2019 Professional discipline: Computer Science Language: English Pages in the main part: 99 Chapter in the main part: 6 Number of Figures: 28 Number of Tables: 4 Number of Appendices: 2 Number of Citations: 224 Key Words: evolution, alignments, comparative linguistics This thesis is based on the following publications. Bhattacharya, Tanmoy et al. (2018). “Studying language evolution in the age of big data”. In: Journal of Language Evolution 3.2, pp. 94–129. doi: 10.1093/ jole/lzy004. Prohaska, Sonja J., Sarah J. Berkemer, Fabian Gärtner, Thomas Gatter, Nancy Retzlaff, The Students of the Graphs and Biological Networks Lab 2017, and Peter F. Höner zu Siederdissen Christian and Stadler (Aug. 2018). “Expansion of gene clusters, circular orders, and the shortest Hamiltonian path problem”. In: Journal of Mathematical Biology 77.2, pp. 313–341.
    [Show full text]
  • Copyright by Siavash Mir Arabbaygi 2015 the Dissertation Committee for Siavash Mir Arabbaygi Certifies That This Is the Approved Version of the Following Dissertation
    Copyright by Siavash Mir arabbaygi 2015 The Dissertation Committee for Siavash Mir arabbaygi certifies that this is the approved version of the following dissertation: Novel scalable approaches for multiple sequence alignment and phylogenomic reconstruction Committee: Keshav Pingali, Supervisor Tandy Warnow, Co-Supervisor David Hillis Bonnie Berger Joydeep Ghosh Ray Mooney Novel scalable approaches for multiple sequence alignment and phylogenomic reconstruction by Siavash Mir arabbaygi, B.S.; M. APPL S. DISSERTATION Presented to the Faculty of the Graduate School of The University of Texas at Austin in Partial Fulfillment of the Requirements for the Degree of DOCTOR OF PHILOSOPHY THE UNIVERSITY OF TEXAS AT AUSTIN August 2015 Dedicated to my mother, and the memory of my father. Acknowledgments I wish to thank the countless people who helped me throughout my PhD. I enjoyed working with many collaborators, most of whom I never met, and not all of whom I can name here. I had the good fortune of working with my labmates, especially Nam Nguyen, Shamsuzzoha Md. Bayzid, and Th´eo Zimmermann, and our interactions have always been smooth and fruitful. I benefited tremendously from my involvement in both the avian phylogenomics and the thousand transcripts projects, both of which included many top re- searchers from across the world. I want to especially thank Bastien Boussau, Edward Braun, Tom Gilbert, Erich Jarvis, Jim Leebens-Mack, Gane Wong, Norman Wickett, and Guojie Zhang. I also thank Kevin Liu, Mark Holder, and Jeet Sukumaran for allowing me to use their code throughout my work. I would also like to thank all members of my committee.
    [Show full text]
  • Computational Phylogenetics Tandy Warnow Frontmatter More Information
    Cambridge University Press 978-1-107-18471-8 — Computational Phylogenetics Tandy Warnow Frontmatter More Information COMPUTATIONAL PHYLOGENETICS An Introduction to Designing Methods for Phylogeny Estimation A comprehensive account of both basic and advanced material in phylogeny estimation, focusing on computational and statistical issues. No background in biology or computer science is assumed, and there is minimal use of mathemat- ical formulas, meaning that students from many disciplines, including biology, computer science, statistics, and applied mathematics, will find the text accessible. The mathematical and statistical foundations of phylogeny estimation are presented rigorously, following which more advanced material is covered. This includes substantial chapters on multi-locus phylogeny estimation, supertree methods, Markov models of sequence evolution, multiple sequence alignment techniques, and designing methods for large-scale phylogeny estimation. The author provides key analytical techniques to prove theoretical properties about methods, as well as addressing performance in practice for methods for estimating trees. Research problems requiring novel computational methods are also pre- sented, so that graduate students and researchers from varying disciplines will be able to enter the broad and exciting field of computational phylogenetics. tandy warnow is a Founder Professor of Engineering at the University of Illi- nois at Urbana-Champaign. Her awards include the National Science Foundation Young Investigator Award (1994), the David and Lucile Packard Foundation Award in Science and Engineering (1996), a Radcliffe Institute for Advanced Study Fel- lowship (2003), and a John Simon Guggenheim Memorial Foundation Fellowship (2011). She was elected a Fellow of the Association for Computing Machinery (ACM) in 2006, and of the International Society for Computational Biology (ISCB) in 2017.
    [Show full text]