Algebraic statistics for computational biology

Algebraic Statistics for Computational Biology

Volumn 9780521857000, Issue , 2005, Pages 1-420

  Pachter, Lior ^a   Sturmfels, Bernd ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84926122052     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1017/CBO9780511610684     Document Type: Book

References (280)

1. [Abril et al., 2005] JF Abril, R Castelo, and R Guigo. Comparison of splice sites in mammals and chicken. Genome Research, 15:111-119, 2005. Cited on p. 144
2. [Adkins et al., 2001] RM Adkins, EL Gelke, D Rowe, and RL Honeycutt. Molecular phylogeny and divergence time estimates for major rodent groups: evidence from multiple genes. Molecular Biology and Evolution, 18(5):777-791, 2001. Cited on p. 384
3. [Agresti, 1990] A Agresti. Categorical Data Analysis. Wiley Series in Probability and Mathematical Statistics: Applied Probability and Statistics. John Wiley & Sons Inc., New York, 1990. A Wiley-Interscience Publication. Cited on p. 14
4. [Aji and McEliece, 2000] SM Aji and RJ McEliece. The generalized distributive law. IEEE Transactions on Information Theory, 46(2):325-343, 2000. Cited on p. 41
5. [Alefeld and Herzberger, 1983] G Alefeld and J Herzberger. An introduction to interval computations. Academic press, New York, 1983. Cited on p. 363
6. [Alexandersson et al., 2003] M Alexandersson, S Cawley, and L Pachter. SLAM: crossspecies gene finding and alignment with a generalized pair hidden Markov model. Genome Research, 13(3):496-502, 2003. Cited on p. 145
7. [Allman and Rhodes, 2003] ES Allman and JA Rhodes. Phylogenetic invariants for the general Markov model of sequence mutation. Mathematical Biosciences, 186(2):113-144, 2003. Cited on p. 348
8. [Allman and Rhodes, 2004a] ES Allman and JA Rhodes. Phylogenetic ideals and varieties for the general Markov model. Preprint, 2004. Cited on p. 153, 306, 317, 319, 348, 351
9. [Allman and Rhodes, 2004b] ES Allman and JA Rhodes. Quartets and parameter recovery for the general Markov model of sequence mutation. AMRX Applied Mathematics Research Express, 2004(4):107-131, 2004. Cited on p. 102, 351
10. [Altschul et al., 1990] SF Altschul, W Gish, W Miller, EW Myers, and DJ Lipman. Basic local alignment search tool. Journal of Molecular Biology, 215:403-410, 1990. Cited on p. 80
11. [Andrews, 1963] G Andrews. A lower bound on the volume of strictly convex bodies with many boundary points. Transactions of the American Mathematical Society, 106:270-279, 1963. Cited on p. 174
12. [Apostol, 1976] TM Apostol. Introduction to Analytic Number Theory. Springer-Verlag, New York, 1976. Undergraduate Texts in Mathematics. Cited on p. 221
13. [Ardila, 2005] F Ardila. A tropical morphism related to the hyperplane arrangement of the complete bipartite graph. Discrete and Computational Geometry, 2005. To appear. Cited on p. 116
14. [Aris-Brosou, 2003] S Aris-Brosou. How Bayes tests of molecular phylogenies compare with frequentist approaches. Bioinformatics, 19:618-624, 2003. Cited on p. 374
15. [Ashburner et al., 2000] M Ashburner, CA Ball, JA Blake, D Botstein, H Butler, JM Cherry, K Dolinski, SS Dwight, JT Eppig, MA Harris, et al. Gene Ontology: tool for the unification of biology. The Gene Ontology Consortium. Nature Genetics, 25:25-29, 2000. Cited on p. 394
16. [Balding et al., 2003] DJ Balding, M Bishop, and C Cannings, editors. Handbook of Statistical Genetics (2 Volume Set). John Wiley & Sons, second edition, 2003. Cited on p. 126
17. [Bandelt and Dress, 1992] HJ Bandelt and AWM Dress. A canonical decomposition theory for metrics on a finite set. Advances in Mathematics, 92:47-105, 1992. Cited on p. 323, 326
18. [Bandelt et al., 1995] HJ Bandelt, P Forster, BC Sykes, and MB Richards. Mitochondrial portraits of human population using median networks. Genetics, 141:743-753, 1995. Cited on p. 323
19. [Basu et al., 2003] S Basu, R Pollack, and MF Roy. Algorithms in Real Algebraic Geometry, volume 10 of Algorithms and Computation in Mathematics. Springer-Verlag, Berlin, 2003. Cited on p. 95
20. [Bayer and Mumford, 1993] D Bayer and D Mumford. What can be computed in algebraic geometry? In Computational Algebraic Geometry and Commutative Algebra, Sympos. Math., XXXIV, pages 1-48. Cambridge University Press, Cortona, 1991, 1993. Cited on p. 239
21. [Beerenwinkel et al., 2004] N Beerenwinkel, J Rahnenfiihrer, M Daumer, D Hoffmann, R Kaiser, J Selbig, and T Lengauer. Learning multiple evolutionary pathways from cross-sectional data. In Proceedings of the 8th Annual International Conference on Research in Computational Biology (RECOMB '04), 27-31 March 2004, San Diego, CA, pages 36-44, 2004. To appear in Journal of Computational Biology. Cited on p. 278, 281, 287
22. [Beerenwinkel et al., 2005a] N Beerenwinkel, M Daumer, T Sing, J Rahnenfiihrer, T Lengauer, J Selbig, D Hoffmann, and R Kaiser. Estimating HIV evolutionary pathways and the genetic barrier to drug resistance. Journal of Infectious Diseases, 2005. To appear. Cited on p. 278, 289
23. [Beerenwinkel et al., 2005b] N Beerenwinkel, J Rahnenfiihrer, R Kaiser, D Hoffmann, J Selbig, and T Lengauer. Mtreemix: a software package for learning and using mixture models of mutagenetic trees. Bioinformatics, 2005. To appear. Cited on p. 278
24. [Bejerano et al., 2004] G Bejerano, M Pheasant, I Makunin, S Stephen, WJ Kent, JS Mattick, and D Haussler. Ultraconserved elements in the human genome. Science, 304:1321-1325, 2004. Cited on p. 394, 400
25. [Besag, 1974] J. Besag. Spatial interaction and the statistical analysis of lattice systems. Journal of the Royal Statistical Society, B,36:192-236, 1974. Cited on p. 266
26. [Besag, 1986] J Besag. On the statistical analysis of dirty pictures. Journal of the Royal Statistical Society, B 48 No. 3:259-302, 1986. Cited on p. 274
27. [Bickel and Doksum, 2000] PJ Bickel and KA Doksum. Mathematical statistics: Basic Ideas and Selected Topics, Vol I (2nd Edition). Prentice Hall, 2000. Cited on p. 6,8
28. [Billera et al., 2001] LJ Billera, SP Holmes, and K Vogtmann. Geometry of the space of phylogenetic trees. Advances in Applied Mathematics, 27(4):733-767, 2001. Cited on p. 68
29. [Blanchette et al., 2004] M Blanchette, WJ Kent, C Riemer, L Elnitski, AFA Smit, KM Roskin, R Baertsch, K Rosenbloom, H Clawson, ED Green, et al. Aligning multiple genomic sequences with the threaded blockset aligner. Genome Research, 14:708-715, 2004. Cited on p. 137
30. [Boffelli et al., 2003] D Boffelli, J McAuliffe, D Ovcharenko, KD Lewis, I Ovcharenko, L Pachter, and EM Rubin. Phylogenetic shadowing of primate sequences to find functional regions of the human genome. Science, 299(5611):1391-4, 2003. Cited on p. 130, 157
31. [Boffelli et al., 2004] D Boffelli, MA Nobrega, and EM Rubin. Comparative genomics at the vertebrate extremes. Nature Reviews Genetics, 5:456-465, 2004. Cited on p. 394, 400
32. [Bosma et al., 1997] W Bosma, J Cannon, and C Playoust. The MAGMA algebra system I: the user language. Journal of Symbolic Computation, 24(3-4):235-265, 1997. Cited on p. 77
33. [Bourque et al., 2004] G Bourque, PA Pevzner, and G Tesler. Reconstructing the genomic architecture of ancestral mammals: lessons from human, mouse, and rat genomes. Genome Research, 14(4):507-16, 2004. Cited on p. 131
34. [Boykov et al., 1999] Y Boykov, O Veksler, and R Zabih. Fast approximate energy minimization via graph cuts. Intl. Conf. on Computer Vision, 1999. Cited on p. 273, 275
35. [Bray and Pachter, 2004] N Bray and L Pachter. MAVID: constrained ancestral alignment of multiple sequences. Genome Research, 14(4):693-9, 2004. Cited on p. 82, 137, 378, 387
36. [Bray et al., 2003] N Bray, I Dubchak, and L Pachter. AVID: A global alignment program. Genome Research, 13(1):97-102, 2003. Cited on p. 137
37. [Brown et al., 1982] WM Brown, EM Prager, A Wang, and AC Wilson. Mitochondrial DNA sequences of primates, tempo and mode of evolution. Journal of Molecular Evolution, 18:225-239, 1982. Cited on p. 371
38. [Brown, 2002] TA Brown. Genomes 2. John Wiley & Son, Inc., 2002. Cited on p. 2, 130
39. [Brudno et al., 2003a] M Brudno, C Do, G Cooper, MF Kim, E Davydov, ED Green, A Sidow, and S Batzoglou. LAGAN and Multi-LAGAN: efficient tools for largescale multiple alignment of genomic DNA. Genome Research, 13:721-731, 2003. Cited on p. 137
40. [Brudno et al., 2003b] M Brudno, S Malde, A Poliakov, C Do, O Couronne, I Dubchak, and S Batzoglou. Glocal alignment: finding rearrangements during alignment. Special issue on the Proceedings of the IS MB 2003, Bioinformatics, 19:54i-64i, 2003. Cited on p. 378, 390
41. [Bryant and Moulton, 2004] D Bryant and V Moulton. NeighborNet: An agglomerative algorithm for the construction of planar phylogenetic networks. Molecular Biology And Evolution, 21:255-265, 2004. Cited on p. 323
42. [Buchberger, 1965] B Buchberger. An algorithm for finding a basis for the residue class ring of a zero-dimensional polynomial ideal (in German). PhD thesis, Univ. Innsbruck, Dept. of Math., Innsbruck, Austria, 1965. Cited on p. 93
43. [Bulmer, 1991] D Bulmer. Use of the method of generalized least squares in reconstructing phylogenies from sequence data. Molecular Biology and Evolution, 8(6):868-883, 1991. Cited on p. 325
44. [Burge and Karlin, 1997] C Burge and S Karlin. Prediction of complete gene structures in human genomic DNA. Journal of Molecular Biology, 268(1): 78-94, 1997. Cited on p. 145, 236
45. [Campbell et al., 1999] A Campbell, J Mrazek, and S Karlin. Genome signature comparisons among prokaryote, plasmid and mitochondrial DNA. Proceedings of the National Academy of Sciences USA, 96(16):9184-9189, 1999. Cited on p. 128, 129
46. [Catalisano et al., 2002] MV Catalisano, AV Geramita, and A Gimigliano. Ranks of tensors, secant varieties of Segre varieties and fat points. Linear Algebra Appi, 355:263-285, 2002. Cited on p. 288
47. [Catanese et al., 2005] F Catanese, S Ho§ten, A Khetan, and B Sturmfels. The maximum likelihood degree. American Journal of Mathematics, 2005. To appear. Cited on p. 10, 106
48. [Cavalli-Sforza and Edwards, 1967] L Cavalli-Sforza and A Edwards. Phylogenetic analysis models and estimation procedures. Evolution, 32:550-570, 1967. Cited on p. 325
49. [Cavender and Felsenstein, 1987] J Cavender and J Felsenstein. Invariants of phylogenies in a simple case with discrete states. Journal of Classification, 4:57-71, 1987. Cited on p. 348
50. [Chargaff, 1950] E Chargaff. Chemical specificity of nucleic acids and mechanism for the enzymatic degradation. Experientia, 6:201-209, 1950. Cited on p. 126
51. [Chazelle, 1993] B Chazelle. An optimal convex hull algorithm in any fixed dimension. Discrete Computational Geometry, 10:377-409, 1993. Cited on p. 177
52. [Cohen and Rothblum, 1993] JE Cohen and UG Rothblum. Nonnegative ranks, decompositions, and factorizations of nonnegative matrices. Linear. Algebra AppL, 190:149-168, 1993. Cited on p. 116
53. [Cohen, 2004] JE Cohen. Mathematics is biology's next microscope, only better; biology is mathematics' next physics, only better. PLoS Biol, 2(12):e439, 2004. Cited on p. 2
54. [Consortium, 2004] ENCODE Project Consortium. The ENCODE (ENCyclopedia Of DNA Elements) Project. Science, 306(5696):636-40, 2004. Cited on p. 141, 378
55. [Cowell et al., 1999] RG Cowell, AP Dawid, SL Lauritzen, and DJ Spiegelhalter. Probabilistic Networks and Expert Systems. Statistics for Engineering and Information Sciences. Springer-Verlag, New York, 1999. Cited on p. 41
56. [Cox et al., 1997] D Cox, J Little, and D O'Shea. Ideals, Varieties, and Algorithms. Undergraduate Texts in Mathematics. Springer-Verlag, New York, second edition, 1997. An introduction to computational algebraic geometry and commutative algebra. Cited on p. 2, 88, 89, 91, 95, 97, 282, 283, 285
57. [Craciun and Feinberg, 2005] G Craciun and M Feinberg. Multiple equilibria in complex chemical reaction networks: I. the injectivity property. SIAM Journal of Applied Mathematics, 2005. To appear. Cited on p. 94
58. [Cuyt et al., 2001] A Cuyt, B Verdonk, S Becuwe, and P Kuterna. A remarkable example of catastrophic cancellation unraveled. Computing, 66:309-320, 2001. Cited on p. 360
59. [Darling et al., 2004] ACE Darling, B Mau, FR Blattner, and NT Perna. Mauve: multiple alignment of conserved genomic sequence with rearrangements. Genome Research, 14:1394-1403, 2004. Cited on p. 137
60. [Darwin, 1859] C Darwin. On the Origin of Species by Means of Natural Selection, or the Preservation of Favoured Races in the Struggle for Life. John Murray, London, 1859. Cited on p. 67
61. [DeConcini et al., 1982] C DeConcini, D Eisenbud, and C Procesi. Hodge algebras, volume 91 of Asterisque. Societe Mathematique de France, Paris, 1982. With a French summary. Cited on p. 101
62. [Demmel, 1997] JW Demmel. Applied Numerical Linear Algebra. Society for Industrial and Applied Mathematics (SIAM). Philadelphia, PA, 1997. Cited on p. 351, 352, 353
63. [Dermitzakis et al., 2003] ET Dermitzakis, A Reymond, N Scamuffa, C Ucla, E Kirkness, C Rossier, and SE Antonarakis. Evolutionary discrimination of mammalian conserved non-genic sequences (CNGs). Science, 302:1033-1035, 2003. Cited on p. 130
64. [Desper et al., 1999] R Desper, F Jiang, O-P Kallioniemi, H Moch, CH Papadimitriou, and AA Schaffer. Inferring tree models for oncogenesis from comparative genome hybridization data. Journal of Computational Biology, 6(1):37-51, 1999. Cited on p. 278
65. [Develin and Sturmfels, 2004] M Develin and B Sturmfels. Tropical convexity. Documenta Mathematica, 9:1-27 (electronic), 2004. Cited on p. 116
66. [Develin et al., 2003] M Develin, F Santos, and B Sturmfels. On the tropical rank of a matrix. MSRI Proceedings, 2003. To appear. Cited on p. 114, 116
67. [Dewey et al., 2004] C Dewey, JQ Wu, S Cawley, M Alexandersson, R Gibbs, and L Pachter. Accurate identification of novel human genes through simultaneous gene prediction in human, mouse, and rat. Genome Research, 14(4):661-4, 2004. Cited on p. 129
68. [Dewey, 2005] C Dewey. MERCATOR: multiple whole-genome orthology map construction. Available at http://hcinumeLn.matri.berkeley.edu/~cdewey/mercator/, 2005. Cited on p. 378, 387
69. [Deza and Laurent, 1997] MM Deza and M Laurent. Geometry of Cuts and Metrics, volume 15 of Algorithms and Combinatorics. Springer-Verlag, Berlin, 1997. Cited on p. 68
70. [Douzery et al., 2003] EJP Douzery, F Delsuc, MJ Stanhope, and D Huchon. Local molecular clocks in three nuclear genes: divergence ages of rodents and other mammals, and incompatibility between fossil calibrations. Molecular Biology and Evolution, 57:201-213, 2003. Cited on p. 386
71. [Dress and Huson, 2004] A Dress and D Huson. Constructing splits graphs. IEEE/ACM Transactions in Computational Biology and Bioinforrnatics, 2004. Cited on p. 323
72. [Dress and Terhalle, 1998] A Dress and W Terhalle. The tree of life and other affine buildings. In Proceedings of the International Congress of Mathematicians, number Extra Vol. III in Vol. III (Berlin, 1998), pages 565-574 (electronic), 1998. Cited on p. 117
73. [Dress et al., 2002] A Dress, JH Koolen, and V Moulton. On line arrangements in the hyperbolic plane. European Journal of Combinatorics, 23(5):549-557, 2002. Cited on p. 101
74. [Durbin et al., 1998] R Durbin, S Eddy, A Korgh, and G Mitchison. Biological Sequence Analysis: Probabilistic Models of Proteins and Nucleic Acids. Cambridge University Press, 1998. Cited on p. 2, 3, 4, 24, 27, 30, 142, 253
75. [Eichler and Sankoff, 2003] EE Eichler and D Sankoff. Structural dynamics of eukaryotic chromosome evolution. Science, 301:793-797, 2003. Cited on p. 130
76. [Evans and Speed, 1993] S Evans and T Speed. Invariants of some probability models used in phylogenetic inference. The Annals of Statistics, 21:355-377, 1993. Cited on p. 152, 296, 306, 309
77. [Ewens and Grant, 2005] WJ Ewens and GR Grant. Statistical Methods in Bioinformatics: An Introduction. Statistics for Biology and Health. Springer-Verlag, New York, second edition, 2005. Cited on p. 2
78. [Faith, 1992] DP Faith. Conservation evaluation and phylogenetic diversity. Biological Conservation, 61:1-10, 1992. Cited on p. 336
79. [Farris, 1972] JS Farris. Estimating phylogenetic trees from distance matrices. American Naturalist, 106:645-668, 1972. Cited on p. 325
80. [Felsenstein, 1978] J. Felsenstein. Cases in which parsimony or compatibility methods will be positively misleading. Syst. Zool., 22:240-249, 1978. Cited on p. 385
81. [Felsenstein, 1981] J Felsenstein. Evolutionary trees from DNA sequences: a maximum likelihood approach. Journal of Molecular Evolution, 17:368-376, 1981. Cited on p. 57, 155, 325, 366
82. [Felsenstein, 1989] J Felsenstein. PHYLIP-Phylogeny Inference Package (Version 3.2). Cladistics, 5:164-166, 1989. Cited on p. 155
83. [Felsenstein, 2003] J Felsenstein. Inferring Phylogenies. Sinauer Associates, Inc., 2003. Cited on p. ix, 67, 147, 152, 326, 334
84. [Felsenstein, 2004] J Felsenstein. PHYLIP (Phylogeny Inference Package) version 3.6. Distributed by the author, Department of Genome Sciences, University of Washington, Seattle, 2004. Cited on p. 83, 155, 291, 374, 375
85. [Fernandez-Baca et al., 2002] D Fernandez-Baca, T Seppalainen, and G Slutzki. Bounds for parametric sequence comparison. Discrete Applied Mathematics, 118:181-198, 2002. Cited on p. 211, 212, 213
86. [Fernandez-Baca et al., 2004] D Fernandez-Baca, T Seppalainen, and G Slutzki. Parametric multiple sequence alignment and phylogeny construction. Journal of Discrete Algorithms, 2(2):271-287, 2004. Cited on p. 211
87. [Ferrari et al., 1995] P Ferrari, A Frigessi, and P de Sa. Fast approximate maximum a posteriori restoration of multi-color images. Journal of the Royal Statistical Society, B,57, 1995. Cited on p. 275
88. [Fitch and Smith, 1983] WM Fitch and TF Smith. Optimal sequence alignments. PNAS, 80(5):1382-1386, 1983. Cited on p. 202, 203, 204
89. [Fleischmann et al., 1995] RD Fleischmann, MD Adams, O White, RA Clayton, EF Kirkness, AR Kerlavage, CJ Bult, JF Tomb, BA Dougherty, and JM Merrick et al. Whole-genome random sequencing and assembly of Haemophilus influenza Rd. Science, 269(5223):496-512, 1995. Cited on p. 125
90. [Floyd, 1962] RW Floyd. Algorithm 97: shortest path. Communications of ACM, 5(6):345, 1962.
91. [Forney, 1973] GD Forney. The Viterbi algorithm. Procedings of the IEEE, 61(3):268-278, 1973. Cited on p. 46 Cited on p. 227
92. [Frieze et al., 1998] A Frieze, R Kannan, and S Vempala. Fast Monte Carlo algorithms for low rank approximation. In 39th Symposium on Foundations of Computing, pages 370-378, 1998. Cited on p. 353
93. [Fukuda, 2003] K Fukuda. cddlib 0.39d. Available at http://www.ifor.math.ethz. ch/-fukuda/cdd_home/cdd.html, 2003. Cited on p. 190
94. [Fukuda, 2004] K Fukuda. From the zonotope construction to the Minkowski addition of convex polytopes. Journal of Symbolic Computation, 38(4): 1261-1272, 2004. Cited on p. 186
95. [Galtier and Gouy, 1998] N Galtier and M Gouy. Inferring pattern and process: maximum likelihood implementation of a non-homogeneous model of DNA sequence evolution for phylogenetic analysis. Molecular Biology and Evolution, 154(4):871-879, 1998. Cited on p. 385, 386
96. [Garcia et al., 2004] L. D. Garcia, M. Stillman, and B. Sturmfels. Algebraic geometry of Bayesian networks. Journal of Symbolic Computation, 39/3-4:331-355, 2004. Special issue on the occasion of MEGA 2003. Cited on p. 40, 102, 284, 351
97. th Conference on Uncertainty in Artificial Intelligence, pages 177-184. AUAI Press, Arlington, VA, 2004. Cited on p. 288
98. [Gatermann and Wolfrum, 2005] K Gatermann and M Wolfrum. Bernstein's second theorem and Viro's method for sparse polynomial systems in chemistry. Advances in Applied Mathematics, 34(2):252-294, 2005. Cited on p. 94
99. [Gawrilow and Joswig, 2000] E Gawrilow and M Joswig. Polymake: a framework for analyzing convex polytopes. In G Kalai and GM Ziegler, editors, Polytopes-Combinatorics and Computation, pages 43-74. Birkhauser, 2000. Cited on p. 79, 186
100. [Gawrilow and Joswig, 2001] E Gawrilow and M Joswig. Polymake: an approach to modular software design in computational geometry. In Proceedings of the 17th Annual Symposium on Computational Geometry, pages 222-231. ACM, 2001. June 3-5, 2001, Medford, MA. Cited on p. 79, 186
101. [Geiger et al., 2001] D Geiger, D Heckerman, H King, and C Meek. Stratified exponential families: graphical models and model selection. The Annals of Statist., 29(2):505-529, 2001. Cited on p. 290
102. [Geiger et al., 2005] D Geiger, C Meek, and B Sturmfels. On the toric algebra of graphical models. The Annals of Statistics, 2005. To appear. Cited on p. 38, 267, 283
103. [Gentleman et al., 2004] RC Gentleman, VJ Carey, DM Bates, B Bolstad, M Dettling, S Dudoit, B Ellis, L Gautier, Y Ge, J Gentry, et al. Bioconductor: Open software development for computational biology and bioinformatics. Genome Biology, 5:R80, 2004. Cited on p. 80
104. [Gentles and Karlin, 2001] AJ Gentles and S Karlin. Genome-scale compositional comparisons in eukaryotes. Genome Research, 4:540-546, 2001. Cited on p. 128
105. [Gibbs et al., 2004] RA Gibbs, GM Weinstock, ML Metzker, DM Muzny, EJ Sodergren, S Scherer, G Scott, D Steffen, KC Worley, PE Burch, et al. Genome sequence of the brown norway rat yields insights into mammalian evolution. Nature, 428(6982):493-521, 2004. Cited on p. 131, 384
106. [Gorban and Zinovyev, 2004] AN Gorban and AY Zinovyev. The mystery of two straight lines in bacterial genome statistics. arXiv.org:q-bio.GN/0412015, 2004. Cited on p. 129
107. [Grayson and Stillman, 2002] DR Grayson and ME Stillman. Macaulay 2, a software system for research in algebraic geometry. Available at http: //www. math. uiuc. edu/Macaulay2/, 2002. Cited on p. 76, 239, 310, 311, 313
108. [Greig et al., 1989] DM Greig, BT Porteous, and AH Seheult. Exact maximum a posteriori estimation for binary images. Journal of the Royal Statistical Society, Series B, 51:271-279, 1989. Cited on p. 274
109. [Greuel and Pfister, 2002] GM Greuel and G Pfister. A Singular Introduction to Commutative Algebra. Springer-Verlag, Berlin and Heidelberg, 2002. Cited on p. 79
110. [Greuel et al., 2003] GM Greuel, G. Poster, and H. Schoenemann. Singular: A computer algebra system for polynomial computations. Available at http://www. singular.uni-kl.de/, 2003. Cited on p. 239
111. [Gritzmann and Sturmfels, 1993] P Gritzmann and B Sturmfels. Minkowski addition of polytopes: Computational complexity and applications to Grobner bases. SIAM Journal of Discrete Mathematics, 6:246-269, 1993. Cited on p. 217
112. [Grotschel et al., 1993] M Grotschel, L Lovasz, and A Schrijver. Geometric Algorithms and Combinatorial Optimization, volume 2 of Algorithms and Combinatorics. Springer-Verlag, 1993. Cited on p. 176, 184
113. [Griinbaum, 2003] B Griinbaum. Convex polytopes, volume 221 of Graduate Texts in Mathematics. Springer-Verlag, New York, second edition, 2003. Prepared and with a preface by Volker Kaibel, Victor Klee and Giinter M. Ziegler. Cited on p. 60
114. [Guigo et al., 2004] R Guigo, E Birbey, M Brent, E Dermitzakis, L Pachter, H Roest Crollius, V Solovyev, and MQ Zhang. Needed for completion of the human genome: hypothesis driven experiments and biologically realistic mathematical models. arXiv.org:q-bio.GN/04W008, 2004. Cited on p. 130
115. [Gusfield et al., 1994] D Gusfield, K Balasubramanian, and D Naor. Parametric optimization of sequence alignment. Algorithmica, 12:312-326, 1994. Cited on p. 55, 194, 209, 211
116. [Gusfield, 1997] D Gusfield. Algorithms on Strings, Trees, and Sequences. Cambridge University Press, 1997. Cited on p. 49, 55, 194, 206
117. [Hallgrimsdottir and Sturmfels, 2005] I Hallgrimsdottir and B Sturmfels. Resultants in genetic linkage analysis. Journal of Symbolic Computation, 2005. To appear. Cited on p. 126
118. [Hammer et al., 1995] R Hammer, M Hocks, U Kulisch, and D Ratz. C++ Toolbox for Verified Computing: Basic Numerical Problems. Springer-Verlag, Berlin, 1995. Cited on p. 364, 366
119. [Hannenhalli and Pevzner, 1999] S Hannenhalli and PA Pevzner. Transforming cabbage into turnip: polynomial algorithm for sorting signed permutations by reversals. Journal of the ACM, 46(1):1-27, 1999. Cited on p. 130
120. [Hansen and Sengupta, 1981] E Hansen and S Sengupta. Bounding solutions of systems of equations using interval analysis. BIT, 21:203-211, 1981. Cited on p. 364
121. [Hansen, 1980] E Hansen. Global optimization using interval analysis-the multidimensional case. Numerische Mathematik, 34:247-270, 1980. Cited on p. 360
122. [Hansen, 1992] E Hansen. Global Optimization using Interval Analysis. Marcel Dekker, New York, 1992. Cited on p. 365, 369
123. [Hartwell et al., 2003] L Hartwell, L Hood, ML Goldberg, LM Silver, RC Veres, and A Reynolds. Genetics: From Genes to Genomes. McGraw-Hill Science/Engineering/Math, second edition, 2003. Cited on p. 126
124. [Hasegawa et al., 1985] M Hasegawa, H Kishino, and T Yano. Dating of the humanape splitting by a molecular clock of mitochondrial DNA. Journal of Molecular Evolution, 22:160-174, 1985. Cited on p. 155
125. [Hendy and Penny, 1989] M Hendy and D Penny. A framework for the quantitative study of evolutionary trees. Systematic Zoology, 38(4), 1989. Cited on p. 332, 334, 385
126. [Hendy and Penny, 1993] MD Hendy and D Penny. Spectral analysis of phylogenetic data. Journal of Classification, 10:5-24, 1993. Cited on p. 152
127. [Hibi, 1987] T Hibi. Distributive lattices, affine semigroup rings and algebras with straightening laws. Advanced Studies in Pure Mathematics, 11:93-109, 1987. Cited on p. 283
128. [Hillier et al., 2004] LW Hillier, W Miller, E Birney, W Warren, RC Hardison, CP Ponting, P Bork, DW Burt, MAM Groenen, ME Delany, et al. Sequence and comparative analysis of the chicken genome provide unique perspectives on vertebrate evolution. Nature, 432(7018):695-716, 2004. Cited on p. 130, 384
129. [Holland et al., 2003] BR Holland. D Penny, and MD Hendy. Outgroup misplacement and phylogenetic inaccuracy under a molecular clock-a simulation study. Systematic Biology, 52(2):229-238, 2003. Cited on p. 385
130. [Holland et al., 2004] B Holland, KT Huber, V Moulton, and P Lockhart. Using consensus networks to visualize contradictory evidence for species phylogeny. Molecular Biology and Evolution, 21 (7): 1459-1461, 2004. Cited on p. 323
131. [Ho§ten et al., 2005] S Ho§ten, A Khetan, and B Sturmfels. Solving the likelihood equations. Foundations of Computational Mathematics, 2005. To appear. Cited on p. 108, 335, 343, 344
132. [Huber et al., 2002] KT Huber, M Langton, D Penny, V Moulton, and M Hendy. Spectronet: A package for computing spectra and median networks. Applied Bioinformatics, 1(3):2041-2059, 2002. Cited on p. 323
133. [Huelsenbeck et al., 2000] JP Huelsenbeck, B Larget, and DL Swofford. A compound poisson process for relaxing the molecular clock. Genetics, 154(4):1879-1892, 2000. Cited on p. 385
134. [Human Genome Sequencing Consortium, 2001] Human Genome Sequencing Consortium. Initial sequencing and analysis of the human genome. Nature, 409(6822):860-921, February 2001. Cited on p. 384
135. [Human Genome Sequencing Consortium, 2004] International Human Genome Sequencing Consortium. Finishing the euchromatic sequence of the human genome. Nature, 431(7011):931-945, 2004. Cited on p. 125, 126, 129, 135
136. [Huson and Bryant, 2005] D Huson and D Bryant. Estimating phylogenetic trees and networks using SplitsTree4. in preparation, 2005. Cited on p. 323
137. [Huson et al., 2004] D Huson, T Dezulian, T Kloepper, and M Steel. Phylogenetic super-networks from partial trees. IEEE Transactions on Computational Biology and Bioinformatics, 1(4): 151-158, 2004. Cited on p. 323
138. [IEEE Task P754, 1985] IEEE, New York. ANSI/IEEE 754-1985, Standard for Binary Floating-Point Arithmetic, 1985. A preliminary draft was published in the January 1980 issue of IEEE Computer, together with several companion articles. Available from the IEEE Service Center, Piscataway, NJ, USA. Cited on p. 359
139. [Imrich and Klavzar, 2000] W Imrich and S Klavzar. Product Graphs. Wiley-Interscience Series in Discrete Mathematics and Optimization. Wiley-Interscience, New York, 2000. Structure and recognition, With a foreword by Peter Winkler. Cited on p. 323
140. [John et al., 2003] K St. John, T Warnow, B Moret, and L Vawter. Performance study of phylogenetic methods: (unweighted) quartet methods and neighbor joining. Journal of Algorithms, 48:174-193, 2003. Cited on p. 303
141. [Jordan, 2005] MI Jordan. An Introduction to Probabilistic Graphical Models. In preparation, 2005. Cited on p. 41
142. [Jukes and Cantor, 1969] TH Jukes and C Cantor. Evolution of protein molecules. In HN Munro, editor, Mammalian Protein Metabolism, pages 21-32. New York Academic Press, 1969. Cited on p. 153, 366
143. [Karlin and Altschul, 1990] S Karlin and SF Altschul. Methods for assessing the statistical significance of molecular sequence features by using general scoring schemes. Proceedings of the National Academy of Sciences, USA, 87:2264-2268, 1990. Cited on p. 80
144. [Kellis et al., 2004] M Kellis, B Birren, and E Lander. Proof and evolutionary analysis of ancient genome duplication in the yeast saccharomyces cerevisae. Nature, 8:617-624, 2004. Cited on p. 130
145. [Kent et al., 2002] WJ Kent, CW Sugnet, TS Furey, KM Roskin, TH Pringle, AM Zhaler, and D Haussler. The human genome browser at UCSC. Genome Research, 12(6):996-1006, 2002. Cited on p. 378
146. [Kent, 2002] WJ Kent. Blat-the blast like alignment tool. Genome Biology, 12(4):656-664, 2002. Cited on p. 81, 276
147. [Khachiyan, 1980] LG Khachiyan. Polynomial algorithms in linear programming. USSR. Computational Mathematics and Mathematical Physics, 20:53-72, 1980. Cited on p. 176, 184
148. [Kimura, 1980] M Kimura. A simple method for estimating evolutionary rates of base substitution through comparative studies of nucleotide sequences. Journal of Molecular Evolution, 16:111-120, 1980. Cited on p. 154
149. [Kimura, 1981] M Kimura. Estimation of evolutionary sequences between homologous nucleotide sequences. Proceedings of the National Academy of Sciences, USA, 78:454-458, 1981. Cited on p. 154, 329
150. [Kolmogorov and Zabih, 2003] V Kolmogorov and R Zabih. Multi-camera scene re-. construction via graph cuts. European Conference on Computer Vision (ECCV), 2003. Cited on p. 274, 276
151. [Korf et al., 2001] I Korf, P Flicek, D Duan, and MR Brent. Integrating genomic homology into gene structure prediction. Bioinformatics, 17 Suppl l:S140-8, 2001. Cited on p. 129
152. [Korf et al., 2003] I Korf, M Yandell, and J Bedell. BLAST. O'Reilly & Associates, Sebastopol, CA, 2003. Cited on p. 81
153. [Korner, 1989] TW Korner. Fourier Analysis. Cambridge University Press, Cambridge, second edition, 1989. Cited on p. 328, 333
154. [Kschischang et al., 2001] F Kschischang, H Loeliger, and B Frey. Factor graphs and the sum-product algorithm. IEEE Transactions on Information Theory, 47(2), February 2001. Cited on p. 41
155. [Kuhn, 1955] HW Kuhn. The Hungarian method for the assignment problem. Naval Research Logistics Quarterly, 2:83-97, 1955. Cited on p. 49
156. [Kulisch et al., 2001] U Kulisch, R Lohner, and A Facius, editors. Perspectives on Enclosure Methods. Springer-Verlag, New York, 2001. Cited on p. 366
157. [Kulp et al., 1996] D Kulp, D Haussler, MG Reese, and FH Eeckman. A generalized hidden Markov model for the recognition of human genes in DNA. In Proceedings of the Fourth International Conference on Intelligent Systems for Molecular Biology, pages 134-142. AAAI Press, 1996. Cited on p. 145
158. [Kuo, 2005] E Kuo. Viterbi sequences and polytopes. Journal of Symbolic Computation, 2005. To appear. Cited on p. 229, 230, 235
159. [Lake, 1987] JA Lake. A rate-independent technique for analysis of nucleaic acid sequences: evolutionary parsimony. Molecular Biology and Evolution, 4:167-191, 1987. Cited on p. 348
160. [Lanave et al., 1984] CG Lanave, G Preparata, C Saccone, and G Serio. A new method for calculating evolutionary substitution rates. Journal of Molecular Evolution, 20:86-93, 1984. Cited on p. 155
161. [Lander and Waterman, 1988] ES Lander and MS Waterman. Genomic mapping by fingerprinting random clones: a mathematical analysis. Genomics, 2:231-239, 1988. Cited on p. 134
162. [Landsberg and Manivel, 2004] JM Landsberg and L Manivel. On the ideals of secant varieties of Segre varieties. Foundations of Computational Mathematics, 4(4):397-422, 2004. Cited on p. 351
163. [Laubenbacher and Stigler, 2004] R Laubenbacher and B Stigler. A computational algebra approach to the reverse engineering of gene regulatory networks. Journal of Theoretical Biology, 229:523-537, 2004. Cited on p. 94
164. [Lauritzen, 1996] SL Lauritzen. Graphical models, volume 17 of Oxford Statistical Science Series. The Clarendon Press Oxford University Press, New York, 1996. Oxford Science Publications. Cited on p. 36, 38, 40, 281, 283
165. [Lenstra, 1983] HW Lenstra. Integer programming with a fixed number of variables. Mathematics of Operations Research, 8(4):538-548, 1983. Cited on p. 48
166. [Levinson and Gutman, 1987] G Levinson and GA Gutman. Slipped-strand rnispairing: a major mechanism for DNA sequence evolution. Molecular Biology and Evolution, 4:203-221, 1987. Cited on p. 157
167. [Levy et al., 2005] D Levy, R Yoshida, and L Pachter. Neighbor joining with subtree weights. Preprint, 2005. Cited on p. 335, 344, 373
168. [Lin et al., 2002] YH Lin, PA McLenachan, AR Gore, MJ Phillips, R Ota, MD Hendy, and D Penny. Four new mitochondrial genomes and the increased stability of evolutionary trees of mammals from improved taxon sampling. Molecular Phylogenetics and Evolution, 19:2060-2070, 2002. Cited on p. 382
169. [Litvinov, 2005] G Litvinov. The Maslov dequantization, idempotent and tropical mathematics: a very brief introduction. arXiv.org:math/0501038, 2005. Cited on p. 49
170. [Loh and Walster, 2002] E Loh and GW Walster. Rump's example revisited. Reliable Computing, 8:245-248, 2002. Cited on p. 360
171. [Madsen et al., 2001] O Madsen, M Scally, CJ Douady, DJ Kao, RW Debry, R Adkins, HM Ambrine, MJ Stanhope, WW DeJong, and MS Springer. Parallel adaptive radiations in two major clades of placental mammals. Nature, 409:610-614, 2001. Cited on p. 382
172. [Marcotte et al., 1999] EM Marcotte, M Pellegrini, MJ Thompson, T Yeates, and D Eisenberg. A combined algorithm for genome-wide prediction of protein function. Nature, 402:83-86, 1999. Cited on p. 265
173. [McAuliffe et al., 2004] JD McAuliffe, L Pachter, and MI Jordan. Multiple-sequence functional annotation and the generalized hidden Markov phylogeny. Bioinformatics, 20(12):1850-60, 2004. Cited on p. 157, 402
174. [Megiddo, 1984] N Megiddo. Linear programming in linear time when the dimension is fixed. Journal of the Association for Computing Machinery, 31(1):114-127, 1984. Cited on p. 176, 177, 184
175. [Mihaescu, 2005] R Mihaescu. The toric ideal of the unhidden Markov model. In preparation, 2005. Cited on p. 238, 246, 247
176. [Mindell and Honeycutt, 1990] DP Mindell and RL Honeycutt. Ribosomal RNA in vertebrates: evolution and phylogenetic applications. Annual Review of Ecology and Systematics, 21:541-566, 1990. Cited on p. 386
177. [Mond et al., 2003] DMQ Mond, JQ Smith, and D Van Straten. Stochastic factorisations, sandwiched simplices and the topology of the space of explanations. Proceedings of the Royal Society of London, Series A, 459:2821-2845, 2003. Cited on p. 24
178. [Moore, 1967] RE Moore. Interval Analysis. Prentice-Hall, Englewood Cliffs, New Jersey, 1967. Cited on p. 360, 363
179. [Moore, 1979] RE Moore. Methods and Applications of Interval analysis. SIAM, Philadelphia, Pennsylvania, 1979. Cited on p. 362
180. [Mount, 1982] SM Mount. A catalogue of splice junction sequence. Nucleic Acids Research, 10(2):459-472, 1982. Cited on p. 144
181. [Murphy et al., 2001] WJ Murphy, E Eizirik, WE Johnson, YP Zhang, OA Ryder, and SJ O'Brien. Molecular phylogenetics and the origins of placental mammals. Nature, 409:614-618, 2001. Cited on p. 382
182. [Myers, 1999] E Myers. Whole-genome DNA sequencing. IEEE Computational Engineering and Science, 3(1):33-43, 1999. Cited on p. 127
183. [Nasrallah, 2002] JB Nasrallah. Recognition and rejection of self in plant reproduction. Science, 296:305-308, 2002. Cited on p. 374
184. [Needleman and Wunsch, 1970] SB Needleman and CD Wunsch. A general method applicable to the search for similarities in the amino acid sequence of two proteins. Journal of Molecular Biology, 48:443-445, 1970. Cited on p. 50
185. [Neumaier, 1990] A Neumaier. Interval Methods for Systems of Equations. Cambridge university press, 1990. Cited on p. 365
186. [Neyman, 1971] J Neyman. Molecular studies of evolution: A source of novel statistical problems. In S Gupta and Y Jackel, editors, Statistical Decision Theory and Related Topics, pages 1-27. Academic Press, New York, 1971. Cited on p. 298
187. [Ng et al., 1985] SY Ng, P Gunning, R Eddy, P Ponte, J Leavitt, T Shows, and L Kedes. Evolution of the functional human beta-actin gene and its multipseudogene family: conservation of noncoding regions and chromosomal dispersion of pseudogenes. Molecular and Cellular Biology, 5:2720-2732, 1985. Cited on p. 396
188. [Nobrega et al., 2003] MA Nobrega, I Ovcharenko, V Afzal, and EM Rubin. Scanning human gene deserts for long-range enhancers. Science, 302(5644):413-, 2003. Cited on p. 393
189. [Ota and Li, 2000] S Ota and WH Li. Njml: A hybrid algorithm for the neighborjoining and maximum likelihood methods. Molecular Biology and Evolution, 17(9):1401-1409, 2000. Cited on p. 356
190. [Pachter and Speyer, 2004] L Pachter and D Speyer. Reconstructing trees from subtree weights. Applied Mathematics Letters, 17(6):615-621, 2004. Cited on p. 335
191. [Pachter and Sturmfels, 2004a] L Pachter and B Sturmfels. Parametric inference for biological sequence analysis. Proc Natl Acad Sci USA, 101(46):16138-43, 2004. Cited on p. 165, 181, 194
192. [Pachter and Sturmfels, 2004b] L Pachter and B Sturmfels. Tropical geometry of statistical models. Proceedings of the National Academy of Sciences, USA, 101(46):16132-7, 2004. Cited on p. 115, 239
193. [Pachter and Sturmfels, 2005] L Pachter and B Sturmfels. The mathematics of phylogenomics. Submitted, 2005. Cited on p. 215, 345, 390, 400
194. [Pachter et al., 2002] L Pachter, M Alexandersson, and S Cawley. Applications of generalized pair hidden Markov models to alignment and gene finding problems. J Comput Biol, 9(2):389-99, 2002. Cited on p. 145
195. [Parra et al., 2000] G Parra, E Blanco, and R Guigo. GENEID in drosophila. Genome Research, 10(4):511-515, 2000. Cited on p. 236
196. [Pearl, 1988] J Pearl. Probabilistic Reasoning in Intelligent Systems. Morgan Kaufmann, San Francisco, 1988. Cited on p. 41
197. [Peters et al., 2000] T Peters, R Dildrop, K Ausmeier, and U Ruther. Organization of mouse iroquois homeobox genes in two clusters suggests a conserved regulation and function in vertebrate development. Genome Research, 10:1453-1462, 2000. Cited on p. 395
198. [Pevzner and Tesler, 2003] P Pevzner and G Tesler. Genome rearrangements in mammalian evolution: lessons from human and mouse genomes. Genome Research, 13(1):37-45, 2003. Cited on p. 265
199. [Phillips and Penny, 2003] MJ Phillips and D Penny. The root of the mammalian tree inferred from whole mitochondrial genomes. Molecular Phylogenetics and Evolution, 28:171-185, 2003. Cited on p. 382
200. [Pin, 1998] Jean-Eric Pin. Tropical semirings. In Idempotency (Bristol, 1994), volume 11 of Publ. Newton Inst., pages 50-69. Cambridge Univ. Press, Cambridge, 1998. Cited on p. 49
201. [Pistone et al., 2000] G Pistone, E Riccomagno, and HP Wynn. Algebraic Statistics: Computational Commutative Algebra in Statistics. Chapman & Hall/CRC, December 2000. Cited on p. 3
202. [Pollard, 2001] TD Pollard. Genomics, the cytoskeleton and motility. Nature, 409:842-843, 2001. Cited on p. 396
203. [Preparata and Shamos, 1985] F Preparata and MI Shamos. Computational Geometry: An Introduction. Texts and Monographs in Computer Science. Springer Verlag, New York, 1985. Cited on p. 176
204. [Radmacher et al., 2001] MD Radmacher, R Simon, R Desper, R Taetle, AA Schaffer, and MA Nelson. Graph models of oncogenesis with an application to melanoma. Journal of Theoretical Biology, 212:535-548, 2001. Cited on p. 278
205. [Rahnenfiihrer et al., 2005] J Rahnenfuhrer, N Beerenwinkel, WA Schulz, C Hartmann, A von Deimling, B Wullich, and T Lengauer. Estimating cancer survival and clinical outcome based on genetic tumor progression scores. Bioinformatics, 2005. To appear. Cited on p. 278
206. [Rail, 1981] LB Rail. Automatic Differentiation, Techniques and Applications, volume 120 of Springer Lecture Notes in Computer Science. Springer-Verlag, New York, 1981. Cited on p. 362
207. [Rambaut and Grassly, 1997] A Rambaut and NC Grassly. Seq-Gen: An application for the Monte Carlo simulation of DNA sequence evolution along phylogenetic trees. Comput. Appl. Biosci., 13:235-238, 1997. Cited on p. 343, 355
208. [Raphael and Pevzner, 2004] B Raphael and P Pevzner. Reconstructing tumor amplisomes. Bioinformatics, 20 Suppl 1, Special ISMB/ECCB 2004 issue:I265-I273, 2004. Cited on p. 131
209. [Ratz, 1992] D Ratz. Automatische Ergebnisverifikation bei globalen Optimierungsproblemen. Ph.D. dissertation, Universitat Karlsruhe, Karlsruhe, Germany, 1992. Cited on p. 364, 369
210. [Richter-Gebert et al., 2003] J Richter-Gebert, B Sturmfels, and T Theobald. First steps in tropical geometry. In GL Litvinov and VP Maslov, editors, Proceedings of the Conference on Idempotent Mathematics and Mathematical Physics, 2003. Cited on p. 112
211. [Ross and Gentleman, 1996] I Ross and R Gentleman. R: A language for data analysis and graphics. Journal of Computational and Graphical Statistics, 5(3):299-314, 1996. Cited on p. 79, 303
212. [Sainudiin et al., 2005] R Sainudiin, SW Wong, K Yogeeswaran, J Nasrallah, Z Yang, and R Nielsen. Detecting site-specific physicochemical selective pressures: applications to the class-I HLA of the human major histocompatibility complex and the SRK of the plant sporophytic self-incompatibility system. Journal of Molecular Evolution, in press, 2005. Cited on p. 374
213. [Sainudiin, 2004] R Sainudiin. Enclosing the maximum likelihood of the simplest DNA model evolving on fixed topologies: towards a rigorous framework for phylogenetic inference. Technical Report BU1653-M, Department of Biol. Stats, and Comp. Bio., Cornell University, 2004. Cited on p. 371
214. [Saitou and Nei, 1987] N Saitou and M Nei. The neighbor joining method: a new method for reconstructing phylogenetic trees. Molecular Biology and Evolution, 4(4):406-425, 1987. Cited on p. 72, 335, 374
215. [Salakhutdinov et al., 2003] R Salakhutdinov, S Roweis, and Z Ghahramani. Optimization with em and expectation-conjugate-gradient. In Proceedings of the Twentieth International Conference on Machine Learning (ICML-2003), 2003. Cited on p. 261
216. [Salakhutdinov et al., 2004] R Salakhutdinov, S Roweis, and Z Ghahramani. Relationship between gradient and EM steps in latent variable models, in preparation, 2004. Cited on p. 261
217. [Sandelin et al., 2004] A Sandelin, P Bailey, S Bruce, PG Engstrom, JM Klos, WW Wasserman, J Ericson, and B Lenhard. Arrays of ultraconserved non-coding regions span the loci of key developmental genes in vertebrate genomes. BMC Genomics, 5:99, 2004. Cited on p. 394, 395, 400
218. [Sankoff and Blanchette, 2000] D Sankoff and M Blanchette. Comparative genomics via phylogenetic invariants for Jukes-Cantor semigroups. In Stochastic models (Ottawa, ON, 1998), volume 26 of Proceedings of the International Conference on Stochstic Models, pages 399-418. American Mathematical Society, Providence. RI, 2000. Cited on p. 348
219. [Sankoff and Nadeau, 2003] D Sankoff and JH Nadeau. Chromosome rearrangements in evolution: from gene order to genome sequence and back. Proceedings of the National Academy of Sciences, USA, 100:11188-11189, 2003. Cited on p. 130
220. [Schenck, 2003] H Schenck. Computational Algebraic Geometry. London Mathematical Society Student Texts. Cambridge University Press, 2003. Cited on p. 89
221. [Schmitz and Zischler, 2003] J Schmitz and H Zischler. A novel family of trna-derived sines in the colugo and two new retrotransposable markers separating dermopterans from primates. Molecular Phylogenetics and Evolution, 28:341-349, 2003. Cited on p. 382
222. [Schrijver, 1986] A Schrijver. Theory of Linear and Integer Programming. Wiley-Interscience Series in Discrete Mathematics. John Wiley & Sons Ltd., Chichester, 1986. A Wiley-Interscience Publication. Cited on p. 48
223. [Schwartz et al., 2003] S Schwartz, WJ Kent, A Smit, Z Zhang, R Baertsch, RC Hardison, D Haussler, and W Miller. Human-mouse alignments with BLASTZ. Genome Research, 13:103-107, 2003. Cited on p. 55, 81, 137
224. [Seidel, 2004] R Seidel. Convex hull computations. In Jacob E. Goodman and Joseph O'Rourke, editors, Handbook of Discrete and Computational Geometry, Discrete Mathematics and its Applications (Boca Raton), chapter 22. Chapman & Hall/CRC, Boca Raton, FL, second edition, 2004. Cited on p. 185
225. [Semple and Steel, 2003] C Semple and M Steel. Phylogenetics, volume 24 of Oxford Lecture Series in Mathematics and its Applications. Oxford University Press, Oxford, 2003. Cited on p. ix, 67, 152, 306
226. [Shoup, 2004] V Shoup. NTL, A Library for doing Number Theory. Available at http://shoup.net/ntl/, 2004. Cited on p. 240
227. [Siepel and Haussler, 2004] A Siepel and D Haussler. Combining phylogenetic and hidden markov models in biosequence analysis. Journal of Computational Biology, 11:413-428, 2004. Cited on p. 157, 402
228. [Simon et al., 2000] R Simon, R Desper, CH Papadimitriou, A Peng, DS Alberts, R Taetle, JM Trent, and AA Schaffer. Chromosome abnormalities in ovarian adenocarcinoma: III. Using breakpoint data to infer and test mathematical models for oncogenesis. Genes, Chromosomes & Cancer, 28:106-120, 2000. Cited on p. 278
229. [Smith, 1998] JM Smith. Evolutionary Genetics. Oxford University Press, second edition, March 1998. Cited on p. ii
230. [Sneath and Sokal, 1973] PHA Sneath and RR Sokal. Numerical Taxonomy: the Principles and Practice of Numerical Classification. W.H. Freeman, San Francisco, 1973. Cited on p. 335
231. [Speyer and Sturmfels, 2004] D Speyer and B Sturmfels. The tropical Grassmannian. Adv. Geom., 4(3):389-411, 2004. Cited on p. 118, 122
232. [Speyer and Williams, 2004] D Speyer and L Williams. The tropical totally positive Grassmanian. Journal of Algebraic Combinatorics, in press, 2004. Cited on p. 115
233. [Speyer, 2004] D Speyer. Tropical linear spaces. Submitted, 2004. Cited on p. 121
234. [Stanley, 1999] RP Stanley. Enumerative combinatorics. Vol. 2, volume 62 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 1999. With a foreword by Gian-Carlo Rota and appendix 1 by Sergey Fomin. Cited on p. 51, 100, 279
235. [Steel et al., 1992] MA Steel, MD Hendy, LA Szekely, and PL Erdos. Spectral analysis and a closest tree method for genetic sequences. Applied Mathematics Letters, 5(6):63-67, 1992. Cited on p. 332, 334
236. [Strachan and Read, 2004] T Strachan and AP Read. Human Molecular Genetics. Garland Press, third edition, June 2004. Cited on p. 131
237. [Strassen, 1983] V Strassen. Rank and optimal computation of generic tensors. Linear Algebra Appl., 52/53:645-685, 1983. Cited on p. 351
238. [Strimmer and Moulton, 2000] K Strimmer and V Moulton. Likelihood analysis of phylogenetic networks using directed graphical models. Molecular Biology and Evolution, 17:875-881, 2000. Cited on p. 326
239. [Strimmer and von Haeseler, 1996] K Strimmer and A von Haeseler. Quartet puzzling: A quartet maximum likelihood method for reconstructing tree topologies. Molecular Biology and Evolution, 13:964-969, 1996. Cited on p. 356
240. [Strimmer et al., 2001] K Strimmer, C Wiuf, and V Moulton. Recombination analysis using directed graphical models. Molecular Biology and Evolution, 18:97-99, 2001. Cited on p. 326, 327
241. [Studier and Keppler, 1988] JA Studier and KJ Keppler. A note on the neighborjoining method of saitou and nei. Molecular Biology and Evolution, 5:729-731, 1988. Cited on p. 72
242. [Sturmfels and Sullivant, 2005] B Sturmfels and S Sullivant. Toric ideals of phylogenetic invariants. Journal of Computational Biology, 12:204-228, 2005. Cited on p. 152, 153, 296, 302, 303, 306, 348
243. [Sturmfels, 1990] B Sturmfels. Grobner bases and Stanley decompositions of determinantal rings. Mathematische Zeitschrift, 205(1):137-144, 1990. Cited on p. 92
244. [Sturmfels, 1993] B Sturmfels. Algorithms in Invariant Theory. Texts and Monographs in Symbolic Computation. Springer-Verlag, Vienna, 1993. Cited on p. 99
245. [Sturmfels, 2002] B Sturmfels. Solving Systems of Polynomial Equations, volume 97 of CBMS Regional Conference Series in Mathematics. Published for the Conference Board of the Mathematical Sciences, Washington, DC, 2002. Cited on p. 88, 112, 285
246. [Susko, 2003] E Susko. Confidence regions and hypothesis tests for topologies using generalized least squares. Molecular Biology and Evolution, 2003. Cited on p. 325, 326
247. [Swofford, 1998] DL Swofford. PAUP*. Phylogenetic Analysis using Parsimony (* and other Methods). Sunderland Mass., 1998. Cited on p. 375
248. [Swox, 2004] AB Swox. GMP, the GNU Multiple Precision Arithmetic Library. Available at http://swox.com/gmp/, 2004. Cited on p. 188, 240
249. [Szabo and Boucher, 2002] A Szabo and K Boucher. Estimating an oncogenetic tree when false negatives and positives are present. Mathematical Biosciences, 176:219-240, 2002. Cited on p. 289
250. [Szekely et al., 1993] LA Szekely, MA Steel, and PL Erdos. Fourier calculus on evolutionary trees. Advances in Applied Mathematics, 14(2):200-210, 1993. Cited on p. 296, 306, 309, 332, 334
251. [Tamura and Nei, 1993] K Tamura and M Nei. Estimation of the number of nucleotide substitutions in the control region of mitochondrial DNA in humans and chimpanzees. Molecular Biology and Evolution, 10:512-526, 1993. Cited on p. 155
252. [Tavare, 1986] S Tavare. Some probabilistic and statistical problems in the analysis of DNA sequences. Lectures on the Mathematics in the Life Sciences, 17:57-86, 1986. Cited on p. 155
253. [Tesler, 2002] G Tesler. Efficient algorithms for multichromosomal genome rearrangements. Journal of Computer and System Sciences, 65(3):587-609, 2002. Cited on p. 130, 131
254. [Thomas et al., 2003] JW Thomas, JW Touchman, RW Blakesley, GG Bouffard, SM Beckstrom-Sternberg, EH Margulies, M Blanchette, AC Siepel, PJ Thomas. JC McDowell, et al. Comparative analyses of multi-species sequences from targeted genomic regions. Nature, 424(6950):788-93, 2003. Cited on p. 276, 384, 385
255. [Tompa et al., 2005] M Tompa, N Li, TL Bailey, GM Church, B De Moor, E Eskin, AV Favorov, MC Frith, Y Fu, WJ Kent, et al. Assessing computational tools for the discovery of transcription factor binding sites. Nature Biotechnology, 23(1):137-144, 2005. Cited on p. 147
256. [Valiant, 1979] L Valiant. The complexity of computing the permanent. Theoretical Computer Science, 8:189-201, 1979. Cited on p. 49
257. [Varchenko, 1995] A Varchenko. Critical points of the product of powers of linear functions and families of bases of singular vectors. Compositio Mathematica, 97(3):385-401, 1995. Cited on p. 10
258. [Venter et al., 2001] JC Venter, MD Adams, EW Myers, PW Li, RJ Mural, GG Sutton, HO Smith, M Yandell, CA Evans, RA Holt, et al. The sequence of the human genome. Science, 291 (5507): 1304-51, 2001. Cited on p. 126
259. [Viterbi, 1967] AJ Viterbi. Error bounds for convolutional codes and an asymptotically optimum decoding algorithm. IEEE Transactions on Information Theory, 13:260-269, 1967. Cited on p. 57, 227
260. [Vogelstein et al., 1988] B Vogelstein, E Fearon, and S Hamilton. Genetic alterations during colorectal-tumor development. New England Journal of Medicine, 319:525-532, 1988. Cited on p. 278
261. [von Heydebreck et al., 2004] A von Heydebreck, B Gunawan, and L Fiizesi. Maximum likelihood estimation of oncogenetic tree models. Bio statistics, 5(4):545-556, 2004. Cited on p. 278
262. [Warshall, 1962] S Warshall. A theorem on boolean matrices. Journal of the ACM, 9(1):18, 1962. Cited on p. 46
263. [Waterman et al., 1992] MS Waterman, M Eggert, and ES Lander. Parametric sequence comparisons. Proceedings of the National Academy of Sciences, USA, 89:6090-6093, 1992. Cited on p. 55
264. [Waterman, 1995] MS Waterman. Introduction to Computational Biology: Maps, Sequences and Genomes. Chapman & Hall/CRC, June 1995. Cited on p. 49
265. [Waterston et al., 2002] RH Waterston, K Lindblad-Toh, E Birney, J Rogers, JF Abril, P Agarwal, R Agarwala, R Ainscough, M Alexandersson, P An, et al. Initial sequencing and comparative analysis of the mouse genome. Nature, 420(6915):520-62, 2002. Cited on p. 130, 384
266. [Watson and Crick, 1953] J Watson and F Crick. A structure for deoxyribose nucleic acid. Nature, 171:964-967, 1953. Cited on p. 126
267. [Wetzel, 1995] R Wetzel. Zur Visualisierung abstrakter Ahnlichkeitsbeziehungen. Master's thesis, Fakultat Mathematik, Universitat Bielefeld, 1995. Cited on p. 323, 324
268. [Winkler, 1984] P Winkler. Isometric embeddings in products of complete graphs. Discrete Applied Mathematics, 7:221-225, 1984. Cited on p. 323
269. [Wolf et al., 2000] MJ Wolf, S Easteal, M Kahn, BD McKay, and LS Jermiin. Trexml: A maximum likelihood program for extensive tree-space exploration. Bioinformatics, 16:383-394, 2000. Cited on p. 374
270. [Woolfe et al., 2005] A Woolfe, M Goodson, DK Goode, P Snell, GK McEwen, T Vavouri, SF Smith, P North, H Callaway, K Kelly, et al. Highly conserved • non-coding sequences are associated with vertebrate development. PLoS Biology, 3:7, 2005. Cited on p. 394, 400
271. [Wu and Li, 1985] CI Wu and WH Li. Evidence for higher rates of nucleotide substitution in rodents than in man. PNAS, 82(6):1741-1745, 1985. Cited on p. 384
272. [Yang and Roberts, 1995] Z Yang and D Roberts. On the use of nucleic acid sequences to infer early branchings in the tree of life. Molecular Biology and Evolution, 12:451-458, 1995. Cited on p. 385
273. [Yang, 1997] Z Yang. PAML: A program package for phylogenetic analysis by maximum likelihood. CABIOS, 15:555-556, 1997. Cited on p. 303, 375, 400
274. [Yap and Pachter, 2004] VB Yap and L Pachter. Identification of evolutionary hotspots in the rodent genomes. Genome Research, 14(4):574-9, 2004. Cited on p. 154, 305
275. [Yoder and Yang, 2000] AD Yoder and Z Yang. Estimation of primate speciation dates using local molecular clocks. Molecular Biology and Evolution, 17:1081-1090, 2000. Cited on p. 386
276. [Yu et al., 2002] J Yu, S Hu, J Wang, GKS Wong, S Li, B Liu, Y Deng, L Dai, Y Zhou, X Zhang, et al. A draft sequence of the rice genome (Oryza sativa L. ssp. indica). Science, 296(5565).:79-92, 2002. Cited on p. 134
277. [Yu et al., 2005] J Yu, J Wang, W Lin, S Li, H Li, J Zhou, P Ni, W Dong, S Hu, C Zeng, et al. The genomes of Oryza sativa: A history of duplications, 2005. Cited on p. 134
278. [Zang, 2001] KD Zang. Meningioma: a cytogenetic model of a complex benign human tumor, including data on 394 karyotyped cases. Cytogenet. Cell Genet., 93:207-220, 2001. Cited on p. 278
279. [Zharkikh, 1994] A Zharkikh. Estimation of evolutionary distances between nucleotide sequences. Journal of Molecular Evolution, 39:315-329, 1994. Cited on p. 155
280. [Ziegler, 1995] GM Ziegler. Lectures on polytopes, volume 152 of Graduate Texts in Mathematics. Springer-Verlag, New York, 1995. Cited on p. 60, 183, 217