Department of Mathematics
 Search | Help | Login | pdf version | printable version

Math @ Duke





.......................

.......................


Publications of John Harer    :chronological  combined listing:

%% Books   
@book{fds10018,
   Author = {Penner, R. C. and Harer, J. L.},
   Title = {Combinatorics of train tracks},
   Journal = {pp. xii+216, 1992, Princeton University Press, Princeton,
             NJ},
   MRNUMBER = {94b:57018},
   url = {http://www.ams.org/mathscinet-getitem?mr=94b:57018},
   Key = {fds10018}
}

@book{fds324398,
   Author = {Edelsbrunner, H and Harer, J},
   Title = {Computational Topology - an Introduction.},
   Publisher = {American Mathematical Society},
   Year = {2010},
   ISBN = {978-0-8218-4925-5},
   Abstract = {This book is an introduction to computational topology for
             students in Computer Science and Mathematics.},
   Key = {fds324398}
}


%% Papers Published   
@article{fds243595,
   Author = {Topp, and CN, and Iyer-Pascuzzi, AS and Anderson, JT and Lee, C-R and Zurek, PR and Symonova, O and Zheng, Y and Bucksch, A and Milyeko, Y and Galkovskyi, T and Moore, BT and Harer, J and Edelsbrunner, H and Mitchell-Olds, T and Weitz, JS and Benfey, PN},
   Title = {3-dimensional phenotyping of growing root systems and QTL
             mapping identifies core regions of the rice genome
             controlling root architecture},
   Journal = {PNAS},
   Volume = {110},
   Pages = {E1695-1704},
   Year = {2013},
   Key = {fds243595}
}

@article{fds221197,
   Author = {Christopher N Topp and Anjali S Iyer-Pascuzzi and Jill T Anderson and Cheng-Ruei Lee and Paul R Zurek and Olga Symonova and Ying Zheng and Alexander Bucksch and Yuriy Milyeko and Taras Galkovskyi and Brad
             Moore, John Harer and Herbert Edelsbrunner and Thomas Mitchell
             Olds and Joshua S Weitz and Philip N Benfey},
   Title = {3-dimensional phenotyping of growing root systems combined
             with QTL mapping identifies core regions of the rice genome
             controlling root architecture},
   Journal = {PNAS},
   Year = {2013},
   Abstract = {Identification of genes that control root system
             architecture in crop plants requires innovations that enable
             high-throughput and accurate measurements of root system
             architecture through time. We demonstrate the ability of a
             semiautomated 3D in vivo imaging and digital phenotyping
             pipeline to interrogate the quantitative genetic basis of
             root system growth in a rice biparental mapping population,
             Bala × Azucena. We phenotyped >1,400 3D root models and
             >57,000 2D images for a suite of 25 traits that quantified
             the distribution, shape, extent of exploration, and the
             intrinsic size of root networks at days 12, 14, and 16 of
             growth in a gellan gum medium. From these data we identified
             89 quantitative trait loci, some of which correspond to
             those found previously in soil-grown plants, and provide
             evidence for genetic tradeoffs in root growth allocations,
             such as between the extent and thoroughness of exploration.
             We also developed a multivariate method for generating and
             mapping central root architecture phenotypes and used it to
             identify five major quantitative trait loci (r2 = 24–37%),
             two of which were not identified by our univariate analysis.
             Our imaging and analytical platform provides a means to
             identify genes with high potential for improving root traits
             and agronomic qualities of crops.},
   Key = {fds221197}
}

@article{fds243566,
   Author = {Topp, CN and Iyer-Pascuzzi, AS and Anderson, JT and Lee, C-R and Zurek,
             PR and Symonova, O and Zheng, Y and Bucksch, A and Mileyko, Y and Galkovskyi, T and Moore, BT and Harer, J and Edelsbrunner, H and Mitchell-Olds, T and Weitz, JS and Benfey, PN},
   Title = {3D phenotyping and quantitative trait locus mapping identify
             core regions of the rice genome controlling root
             architecture.},
   Journal = {Proceedings of the National Academy of Sciences of the
             United States of America},
   Volume = {110},
   Number = {18},
   Pages = {E1695-E1704},
   Year = {2013},
   Month = {April},
   url = {http://www.ncbi.nlm.nih.gov/pubmed/23580618},
   Abstract = {Identification of genes that control root system
             architecture in crop plants requires innovations that enable
             high-throughput and accurate measurements of root system
             architecture through time. We demonstrate the ability of a
             semiautomated 3D in vivo imaging and digital phenotyping
             pipeline to interrogate the quantitative genetic basis of
             root system growth in a rice biparental mapping population,
             Bala × Azucena. We phenotyped >1,400 3D root models and
             >57,000 2D images for a suite of 25 traits that quantified
             the distribution, shape, extent of exploration, and the
             intrinsic size of root networks at days 12, 14, and 16 of
             growth in a gellan gum medium. From these data we identified
             89 quantitative trait loci, some of which correspond to
             those found previously in soil-grown plants, and provide
             evidence for genetic tradeoffs in root growth allocations,
             such as between the extent and thoroughness of exploration.
             We also developed a multivariate method for generating and
             mapping central root architecture phenotypes and used it to
             identify five major quantitative trait loci (r(2) = 24-37%),
             two of which were not identified by our univariate analysis.
             Our imaging and analytical platform provides a means to
             identify genes with high potential for improving root traits
             and agronomic qualities of crops.},
   Doi = {10.1073/pnas.1304354110},
   Key = {fds243566}
}

@article{fds243573,
   Author = {Goulden, IP and Harer, JL and Jackson, DM},
   Title = {A geometric parametrization for the virtual euler
             characteristics of the moduli spaces of real and complex
             algebraic curves},
   Journal = {Transactions of the American Mathematical
             Society},
   Volume = {353},
   Number = {11},
   Pages = {4405-4427},
   Year = {2001},
   Month = {January},
   ISSN = {0002-9947},
   MRNUMBER = {1851176},
   url = {http://dx.doi.org/10.1090/s0002-9947-01-02876-8},
   Abstract = {We determine an expression ξgs(γ) for the virtual Euler
             characteristics of the moduli spaces of s-pointed real (7 =
             1/2) and complex (7 = 1) algebraic curves. In particular,
             for the space of real curves of genus g with a fixed point
             free involution, we find that the Euler characteristic is
             (-2)s-1(1-2q-1)(g+s-2)!Bg/g! where gth is the gth Bernoulli
             number. This complements the result of Harer and Zagier that
             the Euler characteristic of the moduli space of complex
             algebraic curves is (-1)s(g+s-2)!Bg+1/(g+1)(g- 1)! The proof
             uses Strcbel differentials to triangulate the moduli spaces
             and some recent techniques for map enumeration to count
             cells. The approach involves a parameter γ that permits
             specialization of the formula to the real and complex cases.
             This suggests that ξgs(γ) itself may describe the Eulcr
             characteristics of some related moduli spaces, although we
             do not yet know what these spaces might be. ©2001 American
             Mathematical Society.},
   Doi = {10.1090/s0002-9947-01-02876-8},
   Key = {fds243573}
}

@article{fds243581,
   Author = {Attali, D and Edelsbrunner, H and Harer, J and Mileyko,
             Y},
   Title = {Alpha-beta witness complexes},
   Journal = {Lecture Notes in Computer Science (including subseries
             Lecture Notes in Artificial Intelligence and Lecture Notes
             in Bioinformatics)},
   Volume = {4619 LNCS},
   Pages = {386-397},
   Year = {2007},
   Month = {January},
   ISSN = {0302-9743},
   url = {http://dx.doi.org/10.1007/978-3-540-73951-7_34},
   Abstract = {Building on the work of Martinetz, Schulten and de Silva,
             Carlsson, we introduce a 2-parameter family of witness
             complexes and algorithms for constructing them. This family
             can be used to determine the gross topology of point cloud
             data in ℝd or other metric spaces. The 2-parameter family
             is sensitive to differences in sampling density and thus
             amenable to detecting patterns within the data set. It also
             lends itself to theoretical analysis. For example, we can
             prove that in the limit, when the witnesses cover the entire
             domain, witness complexes in the family that share the
             first, scale parameter have the same homotopy type. ©
             Springer-Verlag Berlin Heidelberg 2007.},
   Doi = {10.1007/978-3-540-73951-7_34},
   Key = {fds243581}
}

@article{fds349711,
   Author = {Smith, LM and Motta, FC and Chopra, G and Moch, JK and Nerem, RR and Cummins, B and Roche, KE and Kelliher, CM and Leman, AR and Harer, J and Gedeon, T and Waters, NC and Haase, SB},
   Title = {An intrinsic oscillator drives the blood stage cycle of the
             malaria parasite Plasmodium falciparum.},
   Journal = {Science (New York, N.Y.)},
   Volume = {368},
   Number = {6492},
   Pages = {754-759},
   Year = {2020},
   Month = {May},
   url = {http://dx.doi.org/10.1126/science.aba4357},
   Abstract = {The blood stage of the infection of the malaria parasite
             <i>Plasmodium falciparum</i> exhibits a 48-hour
             developmental cycle that culminates in the synchronous
             release of parasites from red blood cells, which triggers
             48-hour fever cycles in the host. This cycle could be driven
             extrinsically by host circadian processes or by a
             parasite-intrinsic oscillator. To distinguish between these
             hypotheses, we examine the <i>P. falciparum</i> cycle in an
             in vitro culture system and show that the parasite has
             molecular signatures associated with circadian and cell
             cycle oscillators. Each of the four strains examined has a
             different period, which indicates strain-intrinsic period
             control. Finally, we demonstrate that parasites have low
             cell-to-cell variance in cycle period, on par with a
             circadian oscillator. We conclude that an intrinsic
             oscillator maintains <i>Plasmodium</i>'s rhythmic life
             cycle.},
   Doi = {10.1126/science.aba4357},
   Key = {fds349711}
}

@article{fds369335,
   Author = {Motta, FC and McGoff, KA and Deckard, A and Wolfe, CR and Bonsignori, M and Moody, MA and Cavanaugh, K and Denny, TN and Harer, J and Haase,
             SB},
   Title = {Assessment of Simulated Surveillance Testing and Quarantine
             in a SARS-CoV-2-Vaccinated Population of Students on a
             University Campus.},
   Journal = {JAMA Health Forum},
   Volume = {2},
   Number = {10},
   Pages = {e213035},
   Year = {2021},
   Month = {October},
   url = {http://dx.doi.org/10.1001/jamahealthforum.2021.3035},
   Abstract = {IMPORTANCE: The importance of surveillance testing and
             quarantine on university campuses to limit SARS-CoV-2
             transmission needs to be reevaluated in the context of a
             complex and rapidly changing environment that includes
             vaccines, variants, and waning immunity. Also, recent US
             Centers for Disease Control and Prevention guidelines
             suggest that vaccinated students do not need to participate
             in surveillance testing. OBJECTIVE: To evaluate the use of
             surveillance testing and quarantine in a fully vaccinated
             student population for whom vaccine effectiveness may be
             affected by the type of vaccination, presence of variants,
             and loss of vaccine-induced or natural immunity over time.
             DESIGN SETTING AND PARTICIPANTS: In this simulation study,
             an agent-based Susceptible, Exposed, Infected, Recovered
             model was developed with some parameters estimated using
             data from the 2020 to 2021 academic year at Duke University
             (Durham, North Carolina) that described a simulated
             population of 5000 undergraduate students residing on campus
             in residential dormitories. This study assumed that 100% of
             residential undergraduates are vaccinated. Under varying
             levels of vaccine effectiveness (90%, 75%, and 50%), the
             reductions in the numbers of positive cases under various
             mitigation strategies that involved surveillance testing and
             quarantine were estimated. MAIN OUTCOMES AND MEASURES: The
             percentage of students infected with SARS-CoV-2 each day for
             the course of the semester (100 days) and the total number
             of isolated or quarantined students were estimated. RESULTS:
             A total of 5000 undergraduates were simulated in the study.
             In simulations with 90% vaccine effectiveness, weekly
             surveillance testing was associated with only marginally
             reduced viral transmission. At 50% to 75% effectiveness,
             surveillance testing was estimated to reduce the number of
             infections by as much as 93.6%. A 10-day quarantine protocol
             for exposures was associated with only modest reduction in
             infections until vaccine effectiveness dropped to 50%.
             Increased testing of reported contacts was estimated to be
             at least as effective as quarantine at limiting infections.
             CONCLUSIONS AND RELEVANCE: In this simulated modeling study
             of infection dynamics on a college campus where 100% of the
             student body is vaccinated, weekly surveillance testing was
             associated with a substantial reduction of campus infections
             with even a modest loss of vaccine effectiveness. Model
             simulations also suggested that an increased testing cadence
             can be as effective as a 10-day quarantine period at
             limiting infections. Together, these findings provide a
             potential foundation for universities to design appropriate
             mitigation protocols for the 2021 to 2022 academic
             year.},
   Doi = {10.1001/jamahealthforum.2021.3035},
   Key = {fds369335}
}

@article{fds323579,
   Author = {Bristow, SL and Leman, AR and Simmons Kovacs and LA and Deckard, A and Harer, J and Haase, SB},
   Title = {Checkpoints couple transcription network oscillator dynamics
             to cell-cycle progression.},
   Journal = {Genome biology},
   Volume = {15},
   Number = {9},
   Pages = {446},
   Year = {2014},
   Month = {September},
   url = {http://dx.doi.org/10.1186/s13059-014-0446-7},
   Abstract = {<h4>Background</h4>The coupling of cyclin dependent kinases
             (CDKs) to an intrinsically oscillating network of
             transcription factors has been proposed to control
             progression through the cell cycle in budding yeast,
             Saccharomyces cerevisiae. The transcription network
             regulates the temporal expression of many genes, including
             cyclins, and drives cell-cycle progression, in part, by
             generating successive waves of distinct CDK activities that
             trigger the ordered program of cell-cycle events. Network
             oscillations continue autonomously in mutant cells arrested
             by depletion of CDK activities, suggesting the oscillator
             can be uncoupled from cell-cycle progression. It is not
             clear what mechanisms, if any, ensure that the network
             oscillator is restrained when progression in normal cells is
             delayed or arrested. A recent proposal suggests CDK acts as
             a master regulator of cell-cycle processes that have the
             potential for autonomous oscillatory behavior.<h4>Results</h4>Here
             we find that mitotic CDK is not sufficient for fully
             inhibiting transcript oscillations in arrested cells. We do
             find that activation of the DNA replication and spindle
             assembly checkpoints can fully arrest the network oscillator
             via overlapping but distinct mechanisms. Further, we
             demonstrate that the DNA replication checkpoint effector
             protein, Rad53, acts to arrest a portion of transcript
             oscillations in addition to its role in halting cell-cycle
             progression.<h4>Conclusions</h4>Our findings indicate that
             checkpoint mechanisms, likely via phosphorylation of network
             transcription factors, maintain coupling of the network
             oscillator to progression during cell-cycle
             arrest.},
   Doi = {10.1186/s13059-014-0446-7},
   Key = {fds323579}
}

@article{fds243594,
   Author = {Deckard, A and Anafi, RC and Hogenesch, JB and Haase, SB and Harer,
             J},
   Title = {Design and Analysis of Large-Scale Biological Rhythm
             Studies: A Comparison of Algorithms for Detecting Periodic
             Signals in Biological Data},
   Journal = {PLOS Computational Biology},
   Volume = {29},
   Number = {24},
   Pages = {3174-3180},
   Year = {2012},
   url = {http://dx.doi.org/10.1093/bioinformatics/btt541},
   Abstract = {The results of a major year-long DARPA funded project to
             study the performance of a large collection of algorithms
             for finding periodic gene expression.},
   Doi = {10.1093/bioinformatics/btt541},
   Key = {fds243594}
}

@article{fds243564,
   Author = {Farr, RS and Harer, JL and Fink, TMA},
   Title = {Easily repairable networks: reconnecting nodes after
             damage.},
   Journal = {Physical review letters},
   Volume = {113},
   Number = {13},
   Pages = {138701},
   Year = {2014},
   Month = {September},
   ISSN = {0031-9007},
   url = {http://dx.doi.org/10.1103/physrevlett.113.138701},
   Abstract = {We introduce a simple class of distribution networks that
             withstand damage by being repairable instead of redundant.
             Instead of asking how hard it is to disconnect nodes through
             damage, we ask how easy it is to reconnect nodes after
             damage. We prove that optimal networks on regular lattices
             have an expected cost of reconnection proportional to the
             lattice length, and that such networks have exactly three
             levels of structural hierarchy. We extend our results to
             networks subject to repeated attacks, in which the repairs
             themselves must be repairable. We find that, in exchange for
             a modest increase in repair cost, such networks are able to
             withstand any number of attacks.},
   Doi = {10.1103/physrevlett.113.138701},
   Key = {fds243564}
}

@article{fds343257,
   Author = {Bern, M and Eppstein, D and Agarwal, PK and Amenta, N and Chew, P and Dey,
             T and Dobkin, DP and Edelsbrunner, H and Grimm, C and Guibas, LJ and Harer,
             J and Hass, J and Hicks, A and Johnson, CK and Lerman, G and Letscher, D and Plassmann, P and Sedgwick, E and Snoeyink, J and Weeks, J and Yap, C and Zorin, D},
   Title = {Emerging Challenges in Computational Topology},
   Volume = {cs.CG/9909001},
   Year = {1999},
   Month = {September},
   Abstract = {Here we present the results of the NSF-funded Workshop on
             Computational Topology, which met on June 11 and 12 in Miami
             Beach, Florida. This report identifies important problems
             involving both computation and topology.},
   Key = {fds343257}
}

@article{fds340290,
   Author = {Bini, G and Harer, J},
   Title = {Euler characteristics of moduli spaces of
             curves},
   Journal = {Journal of the European Mathematical Society},
   Volume = {13},
   Number = {2},
   Pages = {487-512},
   Publisher = {European Mathematical Society - EMS - Publishing House
             GmbH},
   Year = {2010},
   Month = {December},
   url = {http://dx.doi.org/10.4171/jems/259},
   Doi = {10.4171/jems/259},
   Key = {fds340290}
}

@article{fds243604,
   Author = {Fink, T and Ahnert, S and Bar On and R and Harer, J},
   Title = {Exact dynamics of Boolean networks with connectivity
             one},
   Journal = {PRL},
   Year = {2009},
   Abstract = {We study boolean dynamics on the simplest class of network
             topologies: those in which each node has a single input (K =
             1). Despite their simplicity, they exhibit highly intricate
             bahaviour. We give the exact solution for the size and
             number of attractors on a loop and multiple loops of the
             same size. By expressing the dynamics of a network as a
             composition of the dynamics of its modules, we give a
             detailed solution to the critical K = 1 Kauffman model, and
             show that the minimum number of attractors scales as
             2n−√2n log2 √2n , where n is the number of nodes in
             loops.},
   Key = {fds243604}
}

@article{fds243603,
   Author = {Cohen-Steiner, D and Edelsbrunner, H and Harer,
             J},
   Title = {Extending persistence using poincaré and lefschetz
             duality},
   Journal = {Foundations of Computational Mathematics},
   Volume = {9},
   Number = {1},
   Pages = {79-103},
   Publisher = {Springer Nature},
   Year = {2009},
   Month = {January},
   ISSN = {1615-3375},
   url = {http://dx.doi.org/10.1007/s10208-008-9027-z},
   Abstract = {Persistent homology has proven to be a useful tool in a
             variety of contexts, including the recognition and
             measurement of shape characteristics of surfaces in 3.
             Persistence pairs homology classes that are born and die in
             a filtration of a topological space, but does not pair its
             actual homology classes. For the sublevelset filtration of a
             surface in 3, persistence has been extended to a pairing of
             essential classes using Reeb graphs. In this paper, we give
             an algebraic formulation that extends persistence to
             essential homology for any filtered space, present an
             algorithm to calculate it, and describe how it aids our
             ability to recognize shape features for codimension 1
             submanifolds of Euclidean space. The extension derives from
             Poincaré duality but generalizes to nonmanifold spaces. We
             prove stability for general triangulated spaces and duality
             as well as symmetry for triangulated manifolds. © 2008
             SFoCM.},
   Doi = {10.1007/s10208-008-9027-z},
   Key = {fds243603}
}

@article{fds243586,
   Author = {Cohen-Steiner, D and Edelsbrunner, H and Harer,
             J},
   Title = {Extending persistence using poincaré and lefschetz duality
             (Foundations of Computational Mathematics DOI
             10.1007/s10208-008-9027-z)},
   Journal = {Foundations of Computational Mathematics},
   Volume = {9},
   Number = {1},
   Pages = {133-134},
   Publisher = {Springer Nature},
   Year = {2009},
   Month = {February},
   ISSN = {1615-3375},
   url = {http://dx.doi.org/10.1007/s10208-008-9038-9},
   Doi = {10.1007/s10208-008-9038-9},
   Key = {fds243586}
}

@article{fds243590,
   Author = {Agarwal, PK and Edelsbrunner, H and Harer, J and Wang,
             Y},
   Title = {Extreme elevation on a 2-manifold},
   Journal = {Discrete and Computational Geometry},
   Volume = {36},
   Number = {4},
   Pages = {553-572},
   Publisher = {Springer Nature},
   Year = {2006},
   Month = {January},
   ISSN = {0179-5376},
   url = {http://dx.doi.org/10.1007/s00454-006-1265-8},
   Abstract = {Given a smoothly embedded 2-manifold in ℝ3, we define the
             elevation of a point as the height difference to a
             canonically defined second point on the same manifold. Our
             definition is invariant under rigid motions and can be used
             to define features such as lines of discontinuous or
             continuous but non-smooth elevation. We give an algorithm
             for finding points of locally maximum elevation, which we
             suggest mark cavities and protrusions and are useful in
             matching shapes as for example in protein docking. ©
             Springer 2006.},
   Doi = {10.1007/s00454-006-1265-8},
   Key = {fds243590}
}

@article{fds243589,
   Author = {J. Harer and Agarwal, PK and Edelsbrunner, H and Harer, J and Wang,
             Y},
   Title = {Extreme elevation on a 2-manifold},
   Journal = {Proceedings of the Annual Symposium on Computational
             Geometry},
   Pages = {357-365},
   Year = {2004},
   Month = {January},
   url = {http://dx.doi.org/10.1145/997817.997871},
   Abstract = {Given a smoothly embedded 2-manifold in ℝ3, we define the
             elevation of a point as the height difference to a
             canonically defined second point on the same manifold. Our
             definition is invariant under rigid motions and can be used
             to define features such as lines of discontinuous or
             continuous but non-smooth elevation. We give an algorithm
             for finding points of locally maximum elevation, which we
             suggest mark cavities and protrusions and are useful in
             matching shapes as for example in protein
             docking.},
   Doi = {10.1145/997817.997871},
   Key = {fds243589}
}

@article{fds311264,
   Author = {Munch, E and Shapiro, M and Harer, J},
   Title = {Failure filtrations for fenced sensor networks},
   Journal = {International Journal of Robotics Research},
   Volume = {31},
   Number = {9},
   Pages = {1044-1056},
   Publisher = {SAGE Publications},
   Year = {2012},
   Month = {August},
   url = {http://arxiv.org/abs/1109.6535v1},
   Abstract = {In this paper we consider the question of sensor network
             coverage for a two-dimensional domain. We seek to compute
             the probability that a set of sensors fails to cover given
             only non-metric, local (who is talking to whom) information
             and a probability distribution of failure of each node. This
             builds on the work of de Silva and Ghrist who analyzed this
             problem in the deterministic situation. We first show that
             it is part of a slightly larger class of problems which is
             #P-hard, and thus fast algorithms likely do not exist unless
             P = NP. The question of whether the specific problem is, in
             fact, #P-hard remains open. We then give a deterministic
             algorithm which is feasible in the case of a small set of
             sensors, and give a dynamic algorithm for an arbitrary set
             of sensors failing over time which utilizes a new criterion
             for coverage to give an early warning of potential failure.
             These algorithms build on the theory of topological
             persistence. © The Author(s) 2012.},
   Doi = {10.1177/0278364912451671},
   Key = {fds311264}
}

@article{fds321992,
   Author = {Rouse, D and Watkins, A and Porter, D and Harer, J and Bendich, P and Strawn, N and Munch, E and Desena, J and Clarke, J and Gilbert, J and Chin,
             S and Newman, A},
   Title = {Feature-aided multiple hypothesis tracking using topological
             and statistical behavior classifiers},
   Journal = {Proceedings of SPIE - The International Society for Optical
             Engineering},
   Volume = {9474},
   Publisher = {SPIE},
   Year = {2015},
   Month = {January},
   ISBN = {9781628415902},
   ISSN = {10.1117/12.2179555},
   url = {http://dx.doi.org/10.1117/12.2179555},
   Abstract = {This paper introduces a method to integrate target behavior
             into the multiple hypothesis tracker (MHT) likelihood ratio.
             In particular, a periodic track appraisal based on behavior
             is introduced that uses elementary topological data analysis
             coupled with basic machine learning techniques. The track
             appraisal adjusts the traditional kinematic data association
             likelihood (i.e., track score) using an established
             formulation for classification-aided data association. The
             proposed method is tested and demonstrated on synthetic
             vehicular data representing an urban traffic scene generated
             by the Simulation of Urban Mobility package. The vehicles in
             the scene exhibit different driving behaviors. The proposed
             method distinguishes those behaviors and shows improved data
             association decisions relative to a conventional, kinematic
             MHT.},
   Doi = {10.1117/12.2179555},
   Key = {fds321992}
}

@article{fds243565,
   Author = {Turner, K and Mileyko, Y and Mukherjee, S and Harer,
             J},
   Title = {Fréchet Means for Distributions of Persistence
             Diagrams},
   Journal = {Discrete and Computational Geometry},
   Volume = {52},
   Number = {1},
   Pages = {44-70},
   Publisher = {Springer Nature},
   Year = {2014},
   Month = {January},
   ISSN = {0179-5376},
   url = {http://dx.doi.org/10.1007/s00454-014-9604-7},
   Abstract = {Given a distribution ρ on persistence diagrams and
             observations (Formula presented.) we introduce an algorithm
             in this paper that estimates a Fréchet mean from the set of
             diagrams X1,...,Xn. If the underlying measure ρ is a
             combination of Dirac masses (Formula presented.) then we
             prove the algorithm converges to a local minimum and a law
             of large numbers result for a Fréchet mean computed by the
             algorithm given observations drawn iid from ρ. We
             illustrate the convergence of an empirical mean computed by
             the algorithm to a population mean by simulations from
             Gaussian random fields. © 2014 Springer Science+Business
             Media New York.},
   Doi = {10.1007/s00454-014-9604-7},
   Key = {fds243565}
}

@article{fds303545,
   Author = {Turner, K and Mileyko, Y and Mukherjee, S and Harer,
             J},
   Title = {Fréchet Means for Distributions of Persistence
             Diagrams},
   Journal = {Discrete & Computational Geometry},
   Year = {2014},
   url = {http://arxiv.org/abs/1206.2790v2},
   Abstract = {Given a distribution $\rho$ on persistence diagrams and
             observations $X_1,...X_n \stackrel{iid}{\sim} \rho$ we
             introduce an algorithm in this paper that estimates a
             Fr\'echet mean from the set of diagrams $X_1,...X_n$. If the
             underlying measure $\rho$ is a combination of Dirac masses
             $\rho = \frac{1}{m} \sum_{i=1}^m \delta_{Z_i}$ then we prove
             the algorithm converges to a local minimum and a law of
             large numbers result for a Fr\'echet mean computed by the
             algorithm given observations drawn iid from $\rho$. We
             illustrate the convergence of an empirical mean computed by
             the algorithm to a population mean by simulations from
             Gaussian random fields.},
   Key = {fds303545}
}

@article{fds332374,
   Author = {Tralie, CJ and Smith, A and Borggren, N and Hineman, J and Bendich, P and Zulch, P and Harer, J},
   Title = {Geometric Cross-Modal Comparison of Heterogeneous Sensor
             Data},
   Journal = {Proceedings of the 39th IEEE Aerospace Conference},
   Volume = {2018-March},
   Pages = {1-10},
   Publisher = {IEEE},
   Year = {2018},
   Month = {March},
   ISBN = {9781538620144},
   url = {http://dx.doi.org/10.1109/AERO.2018.8396789},
   Abstract = {In this work, we address the problem of cross-modal
             comparison of aerial data streams. A variety of simulated
             automobile trajectories are sensed using two different
             modalities: full-motion video, and radio-frequency (RF)
             signals received by detectors at various locations. The
             information represented by the two modalities is compared
             using self-similarity matrices (SSMs) corresponding to
             time-ordered point clouds in feature spaces of each of these
             data sources; we note that these feature spaces can be of
             entirely different scale and dimensionality. Several metrics
             for comparing SSMs are explored, including a cutting-edge
             time-warping technique that can simultaneously handle local
             time warping and partial matches, while also controlling for
             the change in geometry between feature spaces of the two
             modalities. We note that this technique is quite general,
             and does not depend on the choice of modalities. In this
             particular setting, we demonstrate that the cross-modal
             distance between SSMs corresponding to the same trajectory
             type is smaller than the cross-modal distance between SSMs
             corresponding to distinct trajectory types, and we formalize
             this observation via precision-recall metrics in
             experiments. Finally, we comment on promising implications
             of these ideas for future integration into
             multiple-hypothesis tracking systems.},
   Doi = {10.1109/AERO.2018.8396789},
   Key = {fds332374}
}

@article{fds332375,
   Author = {Bendich, P and Gasparovic, E and Harer, J and Tralie,
             C},
   Title = {Geometric Models for Musical Audio Data},
   Journal = {Proceedings of the 32st International Symposium on
             Computational Geometry (SOCG)},
   Year = {2016},
   Month = {June},
   Key = {fds332375}
}

@article{fds321990,
   Author = {Bendich, P and Gasparovic, E and Harer, J and Tralie,
             C},
   Title = {Geometric models for musical audio data},
   Journal = {Leibniz International Proceedings in Informatics,
             LIPIcs},
   Volume = {51},
   Pages = {65.1-65.5},
   Year = {2016},
   Month = {June},
   ISBN = {9783959770095},
   url = {http://dx.doi.org/10.4230/LIPIcs.SoCG.2016.65},
   Abstract = {We study the geometry of sliding window embeddings of audio
             features that summarize perceptual information about audio,
             including its pitch and timbre. These embeddings can be
             viewed as point clouds in high dimensions, and we add
             structure to the point clouds using a cover tree with
             adaptive thresholds based on multi-scale local principal
             component analysis to automatically assign points to
             clusters. We connect neighboring clusters in a scaffolding
             graph, and we use knowledge of stratified space structure to
             refine our estimates of dimension in each cluster,
             demonstrating in our music applications that choruses and
             verses have higher dimensional structure, while transitions
             between them are lower dimensional. We showcase our
             technique with an interactive web-based application powered
             by Javascript and WebGL which plays music synchronized with
             a principal component analysis embedding of the point cloud
             down to 3D. We also render the clusters and the scaffolding
             on top of this projection to visualize the transitions
             between different sections of the music.},
   Doi = {10.4230/LIPIcs.SoCG.2016.65},
   Key = {fds321990}
}

@article{fds10026,
   Title = {Geometry and topology},
   Journal = {Proceedings of the special year held at the University of
             Maryland, College Park, Md., 1983/84, edited by Alexander,
             J. and Harer, J., pp. vi+292, 1985, Springer-Verlag,
             Berlin},
   MRNUMBER = {87a:57003},
   url = {http://www.ams.org/mathscinet-getitem?mr=87a:57003},
   Key = {fds10026}
}

@article{fds243596,
   Author = {Galkovskyi, T and Mileyko, Y and Bucksch, A and Moore, B and Symonova,
             O and Price, CA and Topp, CN and Iyer-Pascuzzi, AS and Zurek, PR and Fang,
             S and Harer, J and Benfey, PN and Weitz, JS},
   Title = {GiA Roots: software for the high throughput analysis of
             plant root system architecture.},
   Journal = {BMC plant biology},
   Volume = {12},
   Number = {116},
   Pages = {116},
   Year = {2012},
   Month = {July},
   url = {http://www.ncbi.nlm.nih.gov/pubmed/22834569},
   Abstract = {<h4>Background</h4>Characterizing root system architecture
             (RSA) is essential to understanding the development and
             function of vascular plants. Identifying RSA-associated
             genes also represents an underexplored opportunity for crop
             improvement. Software tools are needed to accelerate the
             pace at which quantitative traits of RSA are estimated from
             images of root networks.<h4>Results</h4>We have developed
             GiA Roots (General Image Analysis of Roots), a
             semi-automated software tool designed specifically for the
             high-throughput analysis of root system images. GiA Roots
             includes user-assisted algorithms to distinguish root from
             background and a fully automated pipeline that extracts
             dozens of root system phenotypes. Quantitative information
             on each phenotype, along with intermediate steps for full
             reproducibility, is returned to the end-user for downstream
             analysis. GiA Roots has a GUI front end and a command-line
             interface for interweaving the software into large-scale
             workflows. GiA Roots can also be extended to estimate novel
             phenotypes specified by the end-user.<h4>Conclusions</h4>We
             demonstrate the use of GiA Roots on a set of 2393 images of
             rice roots representing 12 genotypes from the species Oryza
             sativa. We validate trait measurements against prior
             analyses of this image set that demonstrated that RSA traits
             are likely heritable and associated with genotypic
             differences. Moreover, we demonstrate that GiA Roots is
             extensible and an end-user can add functionality so that GiA
             Roots can estimate novel RSA traits. In summary, we show
             that the software can function as an efficient tool as part
             of a workflow to move from large numbers of root images to
             downstream analysis.},
   Doi = {10.1186/1471-2229-12-116},
   Key = {fds243596}
}

@article{fds330518,
   Author = {Hughes, ME and Abruzzi, KC and Allada, R and Anafi, R and Arpat, AB and Asher, G and Baldi, P and de Bekker, C and Bell-Pedersen, D and Blau, J and Brown, S and Ceriani, MF and Chen, Z and Chiu, JC and Cox, J and Crowell,
             AM and DeBruyne, JP and Dijk, D-J and DiTacchio, L and Doyle, FJ and Duffield, GE and Dunlap, JC and Eckel-Mahan, K and Esser, KA and FitzGerald, GA and Forger, DB and Francey, LJ and Fu, Y-H and Gachon, F and Gatfield, D and de Goede, P and Golden, SS and Green, C and Harer, J and Harmer, S and Haspel, J and Hastings, MH and Herzel, H and Herzog, ED and Hoffmann, C and Hong, C and Hughey, JJ and Hurley, JM and de la Iglesia,
             HO and Johnson, C and Kay, SA and Koike, N and Kornacker, K and Kramer, A and Lamia, K and Leise, T and Lewis, SA and Li, J and Li, X and Liu, AC and Loros,
             JJ and Martino, TA and Menet, JS and Merrow, M and Millar, AJ and Mockler,
             T and Naef, F and Nagoshi, E and Nitabach, MN and Olmedo, M and Nusinow,
             DA and Ptáček, LJ and Rand, D and Reddy, AB and Robles, MS and Roenneberg, T and Rosbash, M and Ruben, MD and Rund, SSC and Sancar, A and Sassone-Corsi, P and Sehgal, A and Sherrill-Mix, S and Skene, DJ and Storch, K-F and Takahashi, JS and Ueda, HR and Wang, H and Weitz, C and Westermark, PO and Wijnen, H and Xu, Y and Wu, G and Yoo, S-H and Young, M and Zhang, EE and Zielinski, T and Hogenesch, JB},
   Title = {Guidelines for Genome-Scale Analysis of Biological
             Rhythms.},
   Journal = {Journal of biological rhythms},
   Volume = {32},
   Number = {5},
   Pages = {380-393},
   Year = {2017},
   Month = {October},
   url = {http://dx.doi.org/10.1177/0748730417728663},
   Abstract = {Genome biology approaches have made enormous contributions
             to our understanding of biological rhythms, particularly in
             identifying outputs of the clock, including RNAs, proteins,
             and metabolites, whose abundance oscillates throughout the
             day. These methods hold significant promise for future
             discovery, particularly when combined with computational
             modeling. However, genome-scale experiments are costly and
             laborious, yielding "big data" that are conceptually and
             statistically difficult to analyze. There is no obvious
             consensus regarding design or analysis. Here we discuss the
             relevant technical considerations to generate reproducible,
             statistically sound, and broadly useful genome-scale data.
             Rather than suggest a set of rigid rules, we aim to codify
             principles by which investigators, reviewers, and readers of
             the primary literature can evaluate the suitability of
             different experimental designs for measuring different
             aspects of biological rhythms. We introduce CircaInSilico, a
             web-based application for generating synthetic genome
             biology data to benchmark statistical methods for studying
             biological rhythms. Finally, we discuss several unmet
             analytical needs, including applications to clinical
             medicine, and suggest productive avenues to address
             them.},
   Doi = {10.1177/0748730417728663},
   Key = {fds330518}
}

@article{fds10022,
   Author = {Harer, John and Kas, Arnold and Kirby, Robion},
   Title = {Handlebody decompositions of complex surfaces},
   Journal = {Mem. Amer. Math. Soc., vol. 62, no. 350, pp. iv+102,
             1986},
   MRNUMBER = {88e:57030},
   url = {http://www.ams.org/mathscinet-getitem?mr=88e:57030},
   Key = {fds10022}
}

@article{fds324402,
   Author = {HARER, J and KAS, A and KIRBY, R},
   Title = {HANDLEBODY STRUCTURES FOR COMPLEX-SURFACES},
   Journal = {MEMOIRS OF THE AMERICAN MATHEMATICAL SOCIETY},
   Volume = {62},
   Number = {350},
   Pages = {1-102},
   Year = {1986},
   Key = {fds324402}
}

@article{fds243574,
   Author = {Edelsbrunner, H and Harer, J and Zomorodian, A},
   Title = {Hierarchical Morse complexes for piecewise linear
             2-manifolds},
   Journal = {Proceedings of the Annual Symposium on Computational
             Geometry},
   Pages = {70-79},
   Year = {2001},
   Month = {January},
   url = {http://dx.doi.org/10.1145/378583.378626},
   Abstract = {We present algorithms for constructing a hierarchy of
             increasingly coarse Morse complexes that decompose a
             piecewise linear 2-manifold. While Morse complexes are
             defined only in the smooth category, we extend the
             construction to the piecewise linear category by ensuring
             structural integrity and simulating differentiability. We
             then simplify Morse complexes by cancelling pairs of
             critical points in order of increasing persistence.},
   Doi = {10.1145/378583.378626},
   Key = {fds243574}
}

@article{fds243577,
   Author = {Edelsbrunner, H and Harer, J and Zomorodian, A},
   Title = {Hierarchical Morse-Smale complexes for piecewise linear
             2-manifolds},
   Journal = {Discrete and Computational Geometry},
   Volume = {30},
   Number = {1},
   Pages = {87-107},
   Publisher = {Springer Nature},
   Year = {2003},
   Month = {January},
   ISSN = {0179-5376},
   url = {http://dx.doi.org/10.1007/s00454-003-2926-5},
   Abstract = {We present algorithms for constructing a hierarchy of
             increasingly coarse Morse-Smale complexes that decompose a
             piecewise linear 2-manifold. While these complexes are
             defined only in the smooth category, we extend the
             construction to the piecewise linear category by ensuring
             structural integrity and simulating differentiability. We
             then simplify Morse-Smale complexes by canceling pairs of
             critical points in order of increasing persistence.},
   Doi = {10.1007/s00454-003-2926-5},
   Key = {fds243577}
}

@article{fds243567,
   Author = {Harer, J},
   Title = {How to construct all fibered knots and links},
   Journal = {Topology},
   Volume = {21},
   Number = {3},
   Pages = {263-280},
   Publisher = {Elsevier BV},
   Year = {1982},
   Month = {January},
   ISSN = {0040-9383},
   MRNUMBER = {83e:57007},
   url = {http://dx.doi.org/10.1016/0040-9383(82)90009-X},
   Doi = {10.1016/0040-9383(82)90009-X},
   Key = {fds243567}
}

@article{fds243588,
   Author = {J. Harer and Collins, AD and Agarwal, PK and Harer, JL},
   Title = {HPRM: A hierarchical PRM},
   Journal = {Proceedings - IEEE International Conference on Robotics and
             Automation},
   Volume = {3},
   Pages = {4433-4438},
   Year = {2003},
   Month = {December},
   Abstract = {We introduce a hierarchical variant of the probabilistic
             roadmap method for motion planning. By recursively refining
             an initially sparse sampling in neighborhoods of the
             C-obstacle boundary, our algorithm generates a smaller
             roadmap that is more likely to find narrow passages than
             uniform sampling. We analyze the failure probability and
             computation time, relating them to path length, path
             clearance, roadmap size, recursion depth, and a local
             property of the free space. The approach is general, and can
             be tailored to any variety of robots. In particular, we
             describe algorithmic details for a planar articulated
             arm.},
   Key = {fds243588}
}

@article{fds243602,
   Author = {Iyer-Pascuzzi, AS and Symonova, O and Mileyko, Y and Hao, Y and Belcher,
             H and Harer, J and Weitz, JS and Benfey, PN},
   Title = {Imaging and analysis platform for automatic phenotyping and
             trait ranking of plant root systems.},
   Journal = {Plant physiology},
   Volume = {152},
   Number = {3},
   Pages = {1148-1157},
   Year = {2010},
   Month = {March},
   url = {http://www.ncbi.nlm.nih.gov/pubmed/20107024},
   Abstract = {The ability to nondestructively image and automatically
             phenotype complex root systems, like those of rice (Oryza
             sativa), is fundamental to identifying genes underlying root
             system architecture (RSA). Although root systems are central
             to plant fitness, identifying genes responsible for RSA
             remains an underexplored opportunity for crop improvement.
             Here we describe a nondestructive imaging and analysis
             system for automated phenotyping and trait ranking of RSA.
             Using this system, we image rice roots from 12 genotypes. We
             automatically estimate RSA traits previously identified as
             important to plant function. In addition, we expand the
             suite of features examined for RSA to include traits that
             more comprehensively describe monocot RSA but that are
             difficult to measure with traditional methods. Using 16
             automatically acquired phenotypic traits for 2,297 images
             from 118 individuals, we observe (1) wide variation in
             phenotypes among the genotypes surveyed; and (2) greater
             intergenotype variance of RSA features than variance within
             a genotype. RSA trait values are integrated into a
             computational pipeline that utilizes supervised learning
             methods to determine which traits best separate two
             genotypes, and then ranks the traits according to their
             contribution to each pairwise comparison. This trait-ranking
             step identifies candidate traits for subsequent quantitative
             trait loci analysis and demonstrates that depth and average
             radius are key contributors to differences in rice RSA
             within our set of genotypes. Our results suggest a strong
             genetic component underlying rice RSA. This work enables the
             automatic phenotyping of RSA of individuals within mapping
             populations, providing an integrative framework for
             quantitative trait loci analysis of RSA.},
   Doi = {10.1104/pp.109.150748},
   Key = {fds243602}
}

@article{fds353834,
   Author = {Denny, TN and Andrews, L and Bonsignori, M and Cavanaugh, K and Datto,
             MB and Deckard, A and DeMarco, CT and DeNaeyer, N and Epling, CA and Gurley, T and Haase, SB and Hallberg, C and Harer, J and Kneifel, CL and Lee, MJ and Louzao, R and Moody, MA and Moore, Z and Polage, CR and Puglin,
             J and Spotts, PH and Vaughn, JA and Wolfe, CR},
   Title = {Implementation of a Pooled Surveillance Testing Program for
             Asymptomatic SARS-CoV-2 Infections on a College Campus -
             Duke University, Durham, North Carolina, August 2-October
             11, 2020.},
   Journal = {MMWR Morb Mortal Wkly Rep},
   Volume = {69},
   Number = {46},
   Pages = {1743-1747},
   Year = {2020},
   Month = {November},
   url = {http://dx.doi.org/10.15585/mmwr.mm6946e1},
   Abstract = {On university campuses and in similar congregate
             environments, surveillance testing of asymptomatic persons
             is a critical strategy (1,2) for preventing transmission of
             SARS-CoV-2, the virus that causes coronavirus disease 2019
             (COVID-19). All students at Duke University, a private
             research university in Durham, North Carolina, signed the
             Duke Compact (3), agreeing to observe mandatory masking,
             social distancing, and participation in entry and
             surveillance testing. The university implemented a
             five-to-one pooled testing program for SARS-CoV-2 using a
             quantitative, in-house, laboratory-developed, real-time
             reverse transcription-polymerase chain reaction (RT-PCR)
             test (4,5). Pooling of specimens to enable large-scale
             testing while minimizing use of reagents was pioneered
             during the human immunodeficiency virus pandemic (6). A
             similar methodology was adapted for Duke University's
             asymptomatic testing program. The baseline SARS-CoV-2
             testing plan was to distribute tests geospatially and
             temporally across on- and off-campus student populations. By
             September 20, 2020, asymptomatic testing was scaled up to
             testing targets, which include testing for residential
             undergraduates twice weekly, off-campus undergraduates one
             to two times per week, and graduate students approximately
             once weekly. In addition, in response to newly identified
             positive test results, testing was focused in locations or
             within cohorts where data suggested an increased risk for
             transmission. Scale-up over 4 weeks entailed redeploying
             staff members to prepare 15 campus testing sites for
             specimen collection, developing information management
             tools, and repurposing laboratory automation to establish an
             asymptomatic surveillance system. During August 2-October
             11, 68,913 specimens from 10,265 graduate and undergraduate
             students were tested. Eighty-four specimens were positive
             for SARS-CoV-2, and 51% were among persons with no symptoms.
             Testing as a result of contact tracing identified 27.4% of
             infections. A combination of risk-reduction strategies and
             frequent surveillance testing likely contributed to a
             prolonged period of low transmission on campus. These
             findings highlight the importance of combined testing and
             contact tracing strategies beyond symptomatic testing, in
             association with other preventive measures. Pooled testing
             balances resource availability with supply-chain
             disruptions, high throughput with high sensitivity, and
             rapid turnaround with an acceptable workload.},
   Doi = {10.15585/mmwr.mm6946e1},
   Key = {fds353834}
}

@article{fds243598,
   Author = {Bendich, P and Galkovskyi, T and Harer, J},
   Title = {Improving homology estimates with random
             walks},
   Journal = {Inverse Problems},
   Volume = {27},
   Number = {12},
   Pages = {124002-124002},
   Publisher = {IOP Publishing},
   Year = {2011},
   Month = {December},
   ISSN = {0266-5611},
   url = {http://dx.doi.org/10.1088/0266-5611/27/12/124002},
   Abstract = {This experimental paper makes the case for a new approach to
             the use of persistent homology in the study of shape and
             feature in datasets. By introducing ideas from diffusion
             geometry and random walks, we discover that homological
             features can be enhanced and more effectively extracted from
             spaces that are sampled densely and evenly, and with a small
             amount of noise. This study paves the way for a more
             theoretical analysis of how random walk metrics affect
             persistence diagrams, and provides evidence that combining
             topological data analysis with techniques inspired by
             diffusion geometry holds great promise for new analyses of a
             wide variety of datasets. © 2011 IOP Publishing
             Ltd.},
   Doi = {10.1088/0266-5611/27/12/124002},
   Key = {fds243598}
}

@article{fds243582,
   Author = {Bendice, P and Cohen-Steiner, D and Edelsbrunner, H and Harer, J and Morozov, D},
   Title = {Inferring local homology from sampled stratified
             spaces},
   Journal = {Proceedings - Annual IEEE Symposium on Foundations of
             Computer Science, FOCS},
   Pages = {536-546},
   Publisher = {IEEE},
   Year = {2007},
   Month = {December},
   ISSN = {0272-5428},
   url = {http://www.cs.duke.edu/~edels/Topology/},
   Abstract = {We study the reconstruction of a stratified space from a
             possibly noisy point sample. Specifically, we use the
             vineyard of the distance function restricted to a
             1-parameter family of neighborhoods of a point to assess the
             local homology of the stratified space at that point. We
             prove the correctness of this assessment under the
             assumption of a sufficiently dense sample. We also give an
             algorithm that constructs the vineyard and makes the local
             assessment in time at most cubic in the size of the Delaunay
             triangulation of the point sample. © 2007
             IEEE.},
   Doi = {10.1109/FOCS.2007.4389523},
   Key = {fds243582}
}

@article{fds324401,
   Author = {Bendich, P and Cohen-Steiner, D and Edelsbrunner, H and Harer, J and Morozov, D},
   Title = {Inferring Local Homology from Sampled Stratified
             Spaces},
   Journal = {48th Annual IEEE Symposium on Foundations of Computer
             Science (FOCS'07)},
   Pages = {536-546},
   Publisher = {IEEE},
   Year = {2007},
   Month = {October},
   ISBN = {9780769530109},
   url = {http://dx.doi.org/10.1109/focs.2007.45},
   Doi = {10.1109/focs.2007.45},
   Key = {fds324401}
}

@article{fds29135,
   Author = {J. Harer and H. Edelsbrunner.},
   Title = {Jacobi sets of multiple Morse functions.},
   Journal = {Foundations of Computational Mathematics, Minneapolis, eds.
             F. Cucker, R. DeVore, P. Olver and E. Sueli, Cambridge Univ.
             Press, England,},
   Pages = {37-57},
   Year = {2002},
   Abstract = {The Jacobi set of two Morse functions defined on a common
             d-manifold is the set of critical points of the restrictions
             of one function to the level sets of the other function.
             Equivalently, it is the set of points where the gradients of
             the functions are parallel. For a generic pair of Morse
             functions, the Jacobi set is a smoothly embedded 1-manifold.
             We give a polynomial-time algorithm that computes the
             piecewise linear analog of the Jacobi set for functions
             specified at the vertices of a triangulation, and we
             generalize all results to more than two but at most d Morse
             functions.},
   Key = {fds29135}
}

@article{fds243601,
   Author = {Cohen-Steiner, D and Edelsbrunner, H and Harer, J and Mileyko,
             Y},
   Title = {Lipschitz functions have Lp-stable
             persistence},
   Journal = {Foundations of Computational Mathematics},
   Volume = {10},
   Number = {2},
   Pages = {127-139},
   Publisher = {Springer Nature},
   Year = {2010},
   Month = {April},
   ISSN = {1615-3375},
   url = {http://www.cs.duke.edu/~edels/Topology/},
   Abstract = {We prove two stability results for Lipschitz functions on
             triangulable, compact metric spaces and consider
             applications of both to problems in systems biology. Given
             two functions, the first result is formulated in terms of
             the Wasserstein distance between their persistence diagrams
             and the second in terms of their total persistence. © 2010
             SFoCM.},
   Doi = {10.1007/s10208-010-9060-6},
   Key = {fds243601}
}

@article{fds243579,
   Author = {J. Harer and Edelsbrunner, H and Harer, J and Natarajan, V and Pascucci,
             V},
   Title = {Local and global comparison of continuous
             functions},
   Journal = {IEEE Visualization 2004 - Proceedings, VIS
             2004},
   Pages = {275-280},
   Publisher = {IEEE Comput. Soc},
   Year = {2004},
   Month = {December},
   url = {http://dx.doi.org/10.1109/visual.2004.68},
   Abstract = {We introduce local and global comparison measures for a
             collection of k ≤ d real-valued smooth functions on a
             common d-dimensional Riemannian manifold. For k = d = 2 we
             relate the measures to the set of critical points of one
             function restricted to the level sets of the other. The
             definition of the measures extends to piecewise linear
             functions for which they are easy to compute. The
             computation of the measures forms the centerpiece of a
             software tool which we use to study scientific datasets. ©
             2004 IEEE.},
   Doi = {10.1109/visual.2004.68},
   Key = {fds243579}
}

@article{fds243607,
   Author = {J. Harer and Cole-McLaughlin, K and Edelsbrunner, H and Harer, J and Natarajan, V and Pascucci, V},
   Title = {Loops in Reeb graphs of 2-manifolds},
   Journal = {Discrete and Computational Geometry},
   Volume = {32},
   Number = {2},
   Pages = {231-244},
   Publisher = {Springer Nature},
   Year = {2004},
   Month = {January},
   url = {http://dx.doi.org/10.1007/s00454-004-1122-6},
   Abstract = {Given a Morse function f over a 2-manifold with or without
             boundary, the Reeb graph is obtained by contracting the
             connected components of the level sets to points. We prove
             tight upper and lower bounds on the number of loops in the
             Reeb graph that depend on the genus, the number of boundary
             components, and whether or not the 2-manifold is orientable.
             We also give an algorithm that constructs the Reeb graph in
             time O(n log n), where n is the number of edges in the
             triangulation used to represent the 2-manifold and the Morse
             function.},
   Doi = {10.1007/s00454-004-1122-6},
   Key = {fds243607}
}

@article{fds318291,
   Author = {Cole-McLaughlin, K and Edelsbrunner, H and Harer, J and Natarajan, V and Pascucci, V},
   Title = {Loops in Reeb graphs of 2-manifolds},
   Journal = {Proceedings of the Annual Symposium on Computational
             Geometry},
   Pages = {344-350},
   Year = {2003},
   Month = {January},
   url = {http://dx.doi.org/10.1145/777842.777844},
   Abstract = {Given a Morse function f over a 2-manifold with or without
             boundary, the Reeb graph is obtained by contracting the
             connected components of the level sets to points. We prove
             tight upper and lower bounds on the number of loops in the
             Reeb graph that depend on the genus, the number of boundary
             components, and whether or not the 2-manifold is orientable.
             We also give an algorithm that constructs the Reeb graph in
             time O(n log n), where n is the number of edges in the
             triangulation used to represent the 2-manifold and the Morse
             function.},
   Doi = {10.1145/777842.777844},
   Key = {fds318291}
}

@article{fds243587,
   Author = {Agarwal, PK and Collins, AD and Harer, JL},
   Title = {Minimal trap design},
   Journal = {Proceedings - IEEE International Conference on Robotics and
             Automation},
   Volume = {3},
   Pages = {2243-2248},
   Publisher = {IEEE},
   Year = {2001},
   Month = {January},
   url = {http://dx.doi.org/10.1109/ROBOT.2001.932956},
   Abstract = {This paper addresses the issue of trap design for sensorless
             automated assembly. First, we present a simple algorithm
             that determines in O(nm α(nm) log(nm)) time whether an
             n-sided polygonal part will fall through an m-sided
             polygonal trap. We then introduce the notion of a minimal
             trap for a polygonal part, and develop an algorithm to
             design a family of minimal feeders built from these traps.
             The algorithm runs in O(kn3+ε) time, where k is the number
             of stable orientations of P. Moreover, it is complete in the
             sense that we can always find a feeder, provided that one
             exists that rejects and supports the appropriate poses of
             the part.},
   Doi = {10.1109/ROBOT.2001.932956},
   Key = {fds243587}
}

@article{fds243576,
   Author = {J. Harer and Edelsbrunner, H and Harer, J and Natarajan, V and Pascucci,
             V},
   Title = {Morse-Smale complexes for piecewise linear
             3-manifolds},
   Journal = {Proceedings of the Annual Symposium on Computational
             Geometry},
   Pages = {361-370},
   Year = {2003},
   Month = {January},
   url = {http://dx.doi.org/10.1145/777792.777846},
   Abstract = {We define the Morse-Smale complex of a Morse function over a
             3-manifold as the overlay of the descending and ascending
             manifolds of all critical points. In the generic case, its
             3-dimensional cells are shaped like crystals and are
             separated by quadrangular faces. In this paper, we give a
             combinatorial algorithm for constructing such complexes for
             piecewise linear data.},
   Doi = {10.1145/777792.777846},
   Key = {fds243576}
}

@article{fds344817,
   Author = {Tralie, CJ and Bendich, P and Harer, J},
   Title = {Multi-Scale Geometric Summaries for Similarity-Based Sensor
             Fusion},
   Journal = {IEEE Aerospace Conference Proceedings},
   Volume = {2019-March},
   Year = {2019},
   Month = {March},
   ISBN = {9781538668542},
   url = {http://dx.doi.org/10.1109/AERO.2019.8741399},
   Abstract = {In this work, we address fusion of heterogeneous sensor data
             using wavelet-based summaries of fused self-similarity
             information from each sensor. The technique we develop is
             quite general, does not require domain specific knowledge or
             physical models, and requires no training. Nonetheless, it
             can perform surprisingly well at the general task of
             differentiating classes of time-ordered behavior sequences
             which are sensed by more than one modality. As a
             demonstration of our capabilities in the audio to video
             context, we focus on the differentiation of speech
             sequences. Data from two or more modalities first are
             represented using self-similarity matrices(SSMs)
             corresponding to time-ordered point clouds in feature spaces
             of each of these data sources; we note that these feature
             spaces can be of entirely different scale and
             dimensionality. A fused similarity template is then derived
             from the modality-specific SSMs using a technique called
             similarity network fusion (SNF). We investigate pipelines
             using SNF as both an upstream (feature-level) and a
             downstream (ranking-level) fusion technique. Multiscale
             geometric features of this template are then extracted using
             a recently-developed technique called the scattering
             transform, and these features are then used to differentiate
             speech sequences. This method outperforms unsupervised
             techniques which operate directly on the raw data, and it
             also outperforms stovepiped methods which operate on SSMs
             separately derived from the distinct modalities. The
             benefits of this method become even more apparent as the
             simulated peak signal to noise ratio decreases.},
   Doi = {10.1109/AERO.2019.8741399},
   Key = {fds344817}
}

@article{fds321991,
   Author = {Bendich, P and Gasparovic, E and Harer, J and Izmailov, R and Ness,
             L},
   Title = {Multi-scale local shape analysis and feature selection in
             machine learning applications},
   Journal = {Proceedings of the International Joint Conference on Neural
             Networks},
   Volume = {2015-September},
   Publisher = {IEEE},
   Year = {2015},
   Month = {September},
   ISBN = {9781479919604},
   url = {http://dx.doi.org/10.1109/IJCNN.2015.7280428},
   Abstract = {We introduce a method called multi-scale local shape
             analysis for extracting features that describe the local
             structure of points within a dataset. The method uses both
             geometric and topological features at multiple levels of
             granularity to capture diverse types of local information
             for subsequent machine learning algorithms operating on the
             dataset. Using synthetic and real dataset examples, we
             demonstrate significant performance improvement of
             classification algorithms constructed for these datasets
             with correspondingly augmented features.},
   Doi = {10.1109/IJCNN.2015.7280428},
   Key = {fds321991}
}

@article{fds324404,
   Author = {Harer, J},
   Title = {On Almost-Everywhere Convergent Eigenfunction Expansions of
             the Laplace-Beltrami Operator},
   Journal = {Mathematical Proceedings of the Cambridge Philosophical
             Society},
   Volume = {92},
   Number = {1},
   Pages = {133-138},
   Publisher = {Cambridge University Press (CUP)},
   Year = {1982},
   Month = {January},
   url = {http://dx.doi.org/10.1017/S030500410005979X},
   Abstract = {<jats:p>Every smooth, closed, orientable manifold of
             dimension 3 contains a fibred knot, i.e. an imbedded circle
             <jats:italic>K</jats:italic> such that <jats:italic>M</jats:italic>
             – <jats:italic>K</jats:italic> is the total space of a
             fibre bundle over <jats:italic>S</jats:italic><jats:sup>1</jats:sup>
             whose fibre <jats:italic>F</jats:italic> is standard near
             <jats:italic>K</jats:italic>. This means the boundary of the
             closure of <jats:italic>F</jats:italic> is
             <jats:italic>K</jats:italic> so that <jats:italic>K</jats:italic>
             is null-homologous in <jats:italic>M</jats:italic>. A
             natural problem suggested by Rolfsen (see (2), problem
             3·13) is to determine which elements of
             π<jats:sub>1</jats:sub><jats:italic>M</jats:italic><jats:sup>3</jats:sup>
             may be represented by fibred knots. We deal with this by
             proving the</jats:p><jats:p>Theorem. <jats:italic>The
             collection of all elements of π<jats:sub>1</jats:sub>
             M<jats:sup>3</jats:sup> which can be represented by fibred
             knots is exactly the commutator subgroup
             [π<jats:sub>1</jats:sub> M<jats:sup>3</jats:sup>,
             π<jats:sub>1</jats:sub> M<jats:sup>3</jats:sup>]</jats:italic>.</jats:p>},
   Doi = {10.1017/S030500410005979X},
   Key = {fds324404}
}

@article{fds243568,
   Author = {Harer, J},
   Title = {On handlebody structures for hypersurfaces in
             ℂ3 and ℂP3},
   Journal = {Mathematische Annalen},
   Volume = {238},
   Number = {1},
   Pages = {51-58},
   Publisher = {Springer Nature},
   Year = {1978},
   Month = {February},
   ISSN = {0025-5831},
   MRNUMBER = {80d:57020},
   url = {http://dx.doi.org/10.1007/BF01351453},
   Doi = {10.1007/BF01351453},
   Key = {fds243568}
}

@article{fds324399,
   Author = {Edelsbrunner, H and Harer, J},
   Title = {Persistent homology - a survey},
   Journal = {SURVEYS ON DISCRETE AND COMPUTATIONAL GEOMETRY: TWENTY YEARS
             LATER},
   Volume = {453},
   Pages = {257-+},
   Publisher = {AMER MATHEMATICAL SOC},
   Editor = {Goodman, JE and Pach, J and Pollack, R},
   Year = {2008},
   Month = {January},
   ISBN = {978-0-8218-4239-3},
   url = {http://math.duke.edu/~harer/public_html/papers/survey.pdf},
   Abstract = {This paper surveys the current state of the art in
             computational topology. It is intended for computational
             geometers and combinatorialists.},
   Key = {fds324399}
}

@article{fds243592,
   Author = {Bendich, P and Harer, J and Harer, J},
   Title = {Persistent Homology Enhanced Dimension Reduction},
   Journal = {Foundations of Computational Mathematics},
   Year = {2012},
   Key = {fds243592}
}

@article{fds243584,
   Author = {Cohen-Steiner, D and Edelsbrunner, H and Harer, J and Morozov,
             D},
   Title = {Persistent homology for kernels, images, and
             cokernels},
   Journal = {Proceedings of the Annual ACM-SIAM Symposium on Discrete
             Algorithms},
   Pages = {1011-1020},
   Year = {2009},
   Month = {January},
   url = {http://www.cs.duke.edu/~edels/Topology/},
   Abstract = {Motivated by the measurement of local homology and of
             functions on noisy domains, we extend the notion of
             persistent homology to sequences of kernels, images, and
             cokernels of maps induced by inclusions in a filtration of
             pairs of spaces. Specifically, we note that persistence in
             this context is well defined, we prove that the persistence
             diagrams are stable, and we explain how to compute them.
             Copyright © by SIAM.},
   Doi = {10.1137/1.9781611973068.110},
   Key = {fds243584}
}

@article{fds243597,
   Author = {Bendich, P and Harer, J},
   Title = {Persistent Intersection Homology},
   Journal = {Foundations of Computational Mathematics},
   Volume = {11},
   Number = {3},
   Pages = {305-336},
   Publisher = {Springer Nature},
   Year = {2011},
   Month = {June},
   ISSN = {1615-3375},
   url = {http://dx.doi.org/10.1007/s10208-010-9081-1},
   Abstract = {The theory of intersection homology was developed to study
             the singularities of a topologically stratified space. This
             paper incorporates this theory into the already developed
             framework of persistent homology. We demonstrate that
             persistent intersection homology gives useful information
             about the relationship between an embedded stratified space
             and its singularities. We give an algorithm for the
             computation of the persistent intersection homology groups
             of a filtered simplicial complex equipped with a
             stratification by subcomplexes, and we prove its
             correctness. We also derive, from Poincaré Duality, some
             structural results about persistent intersection homology.
             © 2010 SFoCM.},
   Doi = {10.1007/s10208-010-9081-1},
   Key = {fds243597}
}

@article{fds369689,
   Author = {Smith, AD and Bendich, P and Harer, J},
   Title = {PERSISTENT OBSTRUCTION THEORY FOR A MODEL CATEGORY OF
             MEASURES WITH APPLICATIONS TO DATA MERGING},
   Journal = {Transactions of the American Mathematical Society Series
             B},
   Volume = {8},
   Number = {1},
   Pages = {1-38},
   Year = {2021},
   Month = {February},
   url = {http://dx.doi.org/10.1090/btran/56},
   Abstract = {Collections of measures on compact metric spaces form a
             model category (“data complexes”), whose morphisms are
             marginalization integrals. The fibrant objects in this
             category represent collections of measures in which there is
             a measure on a product space that marginalizes to any
             measures on pairs of its factors. The homotopy and homology
             for this category allow measurement of obstructions to
             finding measures on larger and larger product spaces. The
             obstruction theory is compatible with a fibrant filtration
             built from the Wasserstein distance on measures. Despite the
             abstract tools, this is motivated by a widespread problem in
             data science. Data complexes provide a mathematical
             foundation for semi-automated data-alignment tools that are
             common in commercial database software. Practically
             speaking, the theory shows that database JOIN operations are
             subject to genuine topological obstructions. Those
             obstructions can be detected by an obstruction cocycle and
             can be resolved by moving through a filtration. Thus, any
             collection of databases has a persistence level, which
             measures the difficulty of JOINing those databases. Because
             of its general formulation, this persistent obstruction
             theory also encompasses multi-modal data fusion problems,
             some forms of Bayesian inference, and probability
             couplings.},
   Doi = {10.1090/btran/56},
   Key = {fds369689}
}

@article{fds221199,
   Author = {Elizabeth Munch and Paul Bendich and Katharine Turner and Sayan
             Mukherjee, Jonathan Mattingly and John Harer},
   Title = {Probabilistic Fréchet Means and Statistics on
             Vineyards},
   Year = {2014},
   Abstract = {In order to use persistence diagrams as a true statistical
             tool, it would be very useful to have a good notion of mean
             and variance for a set of diagrams. Mileyko and his
             collaborators made the first study of the properties of the
             Fr\'{e}chet mean in (Dp,Wp), the space of persistence
             diagrams equipped with the p-th Wasserstein metric. In
             particular, they showed that the Fr\'{e}chet mean of a
             finite set of diagrams always exists, but is not necessarily
             unique. As an unfortunate consequence, one sees that the
             means of a continuously-varying set of diagrams do not
             themselves vary continuously, which presents obvious
             problems when trying to extend the Fr\'{e}chet mean
             definition to the realm of vineyards. We fix this problem by
             altering the original definition of Fr\'{e}chet mean so that
             it now becomes a probability measure on the set of
             persistence diagrams; in a nutshell, the mean of a set of
             diagrams will be a weighted sum of atomic measures, where
             each atom is itself the (Fr\'{e}chet mean) persistence
             diagram of a perturbation of the input diagrams. We show
             that this new definition defines a (H\"older) continuous
             map, for each k, from (Dp)k→P(Dp), and we present several
             examples to show how it may become a useful statistic on
             vineyards.},
   Key = {fds221199}
}

@article{fds303544,
   Author = {Munch, E and Turner, K and Bendich, P and Mukherjee, S and Mattingly, J and Harer, J},
   Title = {Probabilistic Fréchet means for time varying persistence
             diagrams},
   Journal = {Electronic Journal of Statistics},
   Volume = {9},
   Number = {1},
   Pages = {1173-1204},
   Publisher = {Institute of Mathematical Statistics},
   Year = {2015},
   Month = {January},
   url = {http://arxiv.org/abs/1307.6530v3},
   Abstract = {In order to use persistence diagrams as a true statistical
             tool, it would be very useful to have a good notion of mean
             and variance for a set of diagrams. In [23], Mileyko and his
             collaborators made the first study of the properties of the
             Fréchet mean in (D<inf>p</inf>, W<inf>p</inf>), the space
             of persistence diagrams equipped with the p-th Wasserstein
             metric. In particular, they showed that the Fréchet mean of
             a finite set of diagrams always exists, but is not
             necessarily unique. The means of a continuously-varying set
             of diagrams do not themselves (necessarily) vary
             continuously, which presents obvious problems when trying to
             extend the Fréchet mean definition to the realm of
             time-varying persistence diagrams, better known as
             vineyards. We fix this problem by altering the original
             definition of Fréchet mean so that it now becomes a
             probability measure on the set of persistence diagrams; in a
             nutshell, the mean of a set of diagrams will be a weighted
             sum of atomic measures, where each atom is itself a
             persistence diagram determined using a perturbation of the
             input diagrams. This definition gives for each N a map
             (D<inf>p</inf>)<sup>N</sup>→ℙ(D<inf>p</inf>). We show
             that this map is Hölder continuous on finite diagrams and
             thus can be used to build a useful statistic on
             vineyards.},
   Doi = {10.1214/15-EJS1030},
   Key = {fds303544}
}

@article{fds243599,
   Author = {Mileyko, Y and Mukherjee, S and Harer, J},
   Title = {Probability measures on the space of persistence
             diagrams},
   Journal = {Inverse Problems},
   Volume = {27},
   Number = {12},
   Pages = {124007-124007},
   Publisher = {IOP Publishing},
   Year = {2011},
   Month = {December},
   ISSN = {0266-5611},
   url = {http://dx.doi.org/10.1088/0266-5611/27/12/124007},
   Abstract = {This paper shows that the space of persistence diagrams has
             properties that allow for the definition of probability
             measures which support expectations, variances, percentiles
             and conditional probabilities. This provides a theoretical
             basis for a statistical treatment of persistence diagrams,
             for example computing sample averages and sample variances
             of persistence diagrams. We first prove that the space of
             persistence diagrams with the Wasserstein metric is complete
             and separable. We then prove a simple criterion for
             compactness in this space. These facts allow us to show the
             existence of the standard statistical objects needed to
             extend the theory of topological persistence to a much
             larger set of applications. © 2011 IOP Publishing
             Ltd.},
   Doi = {10.1088/0266-5611/27/12/124007},
   Key = {fds243599}
}

@article{fds199103,
   Author = {Anjali S. Iyer-Pascuzzi and Christopher N. Topp and Jill T.
             Anderson and Cheng-Ruei Lee and Olga Symonova and Yuriy Mileyko and Taras Galkovsky and Ying Zheng and Randy Clark and Leon Kochian and Herbert Edelsbrunner and Joshua S. Weitz and Thomas Mitchell-Olds and John Harer and Philip N. Benfey},
   Title = {Quantitative Genetic Analysis of Root System Architecture in
             Rice Plant and Animal Genomes},
   Journal = {XX Genome Conference},
   Year = {2011},
   Key = {fds199103}
}

@article{fds243593,
   Author = {Michael Jenista},
   Title = {Realizing Boolean Dynamics in Switching Networks},
   Journal = {Siam Journal of Applied Dynamical Systems},
   Pages = {12},
   Year = {2012},
   Abstract = {Switching networks are a common model for biological
             systems, especially for genetic transcription networks.
             Stuart Kaufman originally proposed the usefulness of the
             Boolean framework, but much of the dynamical features there
             are not realizable in a continuous analogue. We introduce
             the notion of braid-like dynamics as a bridge between
             Boolean and continuous dynamics and study its importance in
             the local dynamics of ring and ring-like networks. We
             discuss a near-theorem on the global dynamics of general
             feedback networks, and in the nal chapter study the main
             ideas of this thesis in models of a yeast cell transcription
             network.},
   Key = {fds243593}
}

@article{fds243583,
   Author = {Edelsbrunner, H and Harer, J and Patel, AK},
   Title = {Reeb spaces of piecewise linear mappings},
   Journal = {Proceedings of the Annual Symposium on Computational
             Geometry},
   Pages = {242-250},
   Publisher = {ACM Press},
   Year = {2008},
   Month = {December},
   url = {http://dx.doi.org/10.1145/1377676.1377720},
   Abstract = {Generalizing the concept of a Reeb graph, the Reeb space of
             a multivariate continuous mapping identifies points of the
             domain that belong to a common component of the preimage of
             a point in the range. We study the local and global
             structure of this space for generic, piecewise linear
             mappings on a combinatorial manifold. Copyright 2008
             ACM.},
   Doi = {10.1145/1377676.1377720},
   Key = {fds243583}
}

@article{fds10029,
   Author = {Harer, John},
   Title = {Representing elements of pi1(M3)
             by fibred knots},
   Journal = {Math. Proc. Cambridge Philos. Soc., vol. 92, no. 1, pp.
             133--138, 1982},
   MRNUMBER = {83j:57005},
   url = {http://www.ams.org/mathscinet-getitem?mr=83j:57005},
   Key = {fds10029}
}

@article{fds346385,
   Author = {Bendich, P and Gasparovic, E and Harer, J and Tralie,
             CJ},
   Title = {Scaffoldings and Spines: Organizing High-Dimensional Data
             Using Cover Trees, Local Principal Component Analysis, and
             Persistent Homology},
   Volume = {13},
   Pages = {93-114},
   Year = {2018},
   Month = {January},
   url = {http://dx.doi.org/10.1007/978-3-319-89593-2_6},
   Abstract = {We propose a flexible and multi-scale method for organizing,
             visualizing, and understanding point cloud datasets sampled
             from or near stratified spaces. The first part of the
             algorithm produces a cover tree for a dataset using an
             adaptive threshold that is based on multi-scale local
             principal component analysis. The resulting cover tree nodes
             reflect the local geometry of the space and are organized
             via a scaffolding graph. In the second part of the
             algorithm, the goals are to uncover the strata that make up
             the underlying stratified space using a local dimension
             estimation procedure and topological data analysis, as well
             as to ultimately visualize the results in a simplified spine
             graph. We demonstrate our technique on several synthetic
             examples and then use it to visualize song structure in
             musical audio data.},
   Doi = {10.1007/978-3-319-89593-2_6},
   Key = {fds346385}
}

@article{fds303543,
   Author = {Perea, JA and Harer, J},
   Title = {Sliding Windows and Persistence: An Application of
             Topological Methods to Signal Analysis},
   Journal = {Foundations of Computational Mathematics},
   Volume = {15},
   Number = {3},
   Pages = {799-838},
   Publisher = {Springer Nature},
   Year = {2015},
   Month = {June},
   url = {http://arxiv.org/abs/1307.6188v2},
   Abstract = {We develop in this paper a theoretical framework for the
             topological study of time series data. Broadly speaking, we
             describe geometrical and topological properties of sliding
             window embeddings, as seen through the lens of persistent
             homology. In particular, we show that maximum persistence at
             the point-cloud level can be used to quantify periodicity at
             the signal level, prove structural and convergence theorems
             for the resulting persistence diagrams, and derive estimates
             for their dependency on window size and embedding dimension.
             We apply this methodology to quantifying periodicity in
             synthetic data sets and compare the results with those
             obtained using state-of-the-art methods in gene expression
             analysis. We call this new method SW1PerS, which stands for
             Sliding Windows and 1-Dimensional Persistence
             Scoring.},
   Doi = {10.1007/s10208-014-9206-z},
   Key = {fds303543}
}

@article{fds321994,
   Author = {Casson, AJ and Harer, JL},
   Title = {Some homology lens spaces which bound rational homology
             balls},
   Journal = {Pacific Journal of Mathematics},
   Volume = {96},
   Number = {1},
   Pages = {23-36},
   Publisher = {Mathematical Sciences Publishers},
   Year = {1981},
   Month = {January},
   MRNUMBER = {83h:57013},
   url = {http://dx.doi.org/10.2140/pjm.1981.96.23},
   Abstract = {A homology lens space is a smooth closed 3-manif old M3with
             Hk(M3) = Hk(L(p, l)) for all k (p some nonnegative integer).
             When p= 1 M3is a homology 3-sphere. It is an open question
             which of these homology lens spaces bound rational homology
             balls and of special interest which homology 3-spheres bound
             contractible manifolds. In this note we answer this question
             for certain Seifert fibre spaces, each with three
             exceptional fibres. © 1981, University of California,
             Berkeley. All Rights Reserved.},
   Doi = {10.2140/pjm.1981.96.23},
   Key = {fds321994}
}

@article{fds243606,
   Author = {Cohen-Steiner, D and Edelsbrunner, H and Harer,
             J},
   Title = {Stability of persistence diagrams},
   Journal = {Discrete and Computational Geometry},
   Volume = {37},
   Number = {1},
   Pages = {103-120},
   Publisher = {Springer Nature},
   Year = {2007},
   Month = {January},
   ISSN = {0179-5376},
   url = {http://dx.doi.org/10.1007/s00454-006-1276-5},
   Abstract = {The persistence diagram of a real-valued function on a
             topological space is a multiset of points in the extended
             plane. We prove that under mild assumptions on the function,
             the persistence diagram is stable: small changes in the
             function imply only small changes in the diagram. We apply
             this result to estimating the homology of sets in a metric
             space and to comparing and classifying geometric shapes. ©
             2006 Springer.},
   Doi = {10.1007/s00454-006-1276-5},
   Key = {fds243606}
}

@article{fds243580,
   Author = {Cohen-Steiner, D and Edelsbrunner, H and Harer,
             J},
   Title = {Stability of persistence diagrams},
   Journal = {Proceedings of the Annual Symposium on Computational
             Geometry},
   Pages = {263-271},
   Publisher = {ACM Press},
   Year = {2005},
   Month = {December},
   url = {http://dx.doi.org/10.1145/1064092.1064133},
   Abstract = {The persistence diagram of a real-valued function on a
             topological space is a multiset of points in the extended
             plane. We prove that under mild assumptions on the function,
             the persistence diagram is stable: small changes in the
             function imply only small changes in the diagram. We apply
             this result to estimating the homology of sets in a metric
             space and to comparing and classifying geometric shapes.
             Copyright 2005 ACM.},
   Doi = {10.1145/1064092.1064133},
   Key = {fds243580}
}

@article{fds10024,
   Author = {Harer, John L.},
   Title = {Stability of the homology of the mapping class groups of
             orientable surfaces},
   Journal = {Ann. of Math. (2), vol. 121, no. 2, pp. 215--249,
             1985},
   MRNUMBER = {87f:57009},
   url = {http://www.ams.org/mathscinet-getitem?mr=87f:57009},
   Key = {fds10024}
}

@article{fds243572,
   Author = {Harer, JL},
   Title = {Stability of the homology of the moduli spaces of Riemann
             surfaces with spin structure},
   Journal = {Mathematische Annalen},
   Volume = {287},
   Number = {1},
   Pages = {323-334},
   Publisher = {Springer Nature},
   Year = {1990},
   Month = {March},
   ISSN = {0025-5831},
   MRNUMBER = {91e:57002},
   url = {http://dx.doi.org/10.1007/BF01446896},
   Doi = {10.1007/BF01446896},
   Key = {fds243572}
}

@article{fds243563,
   Author = {Perea, JA and Deckard, A and Haase, SB and Harer,
             J},
   Title = {SW1PerS: Sliding windows and 1-persistence scoring;
             discovering periodicity in gene expression time series
             data.},
   Journal = {BMC bioinformatics},
   Volume = {16},
   Pages = {257},
   Year = {2015},
   Month = {August},
   url = {http://dx.doi.org/10.1186/s12859-015-0645-6},
   Abstract = {<h4>Background</h4>Identifying periodically expressed genes
             across different processes (e.g. the cell and metabolic
             cycles, circadian rhythms, etc) is a central problem in
             computational biology. Biological time series may contain
             (multiple) unknown signal shapes of systemic relevance,
             imperfections like noise, damping, and trending, or limited
             sampling density. While there exist methods for detecting
             periodicity, their design biases (e.g. toward a specific
             signal shape) can limit their applicability in one or more
             of these situations.<h4>Methods</h4>We present in this paper
             a novel method, SW1PerS, for quantifying periodicity in time
             series in a shape-agnostic manner and with resistance to
             damping. The measurement is performed directly, without
             presupposing a particular pattern, by evaluating the
             circularity of a high-dimensional representation of the
             signal. SW1PerS is compared to other algorithms using
             synthetic data and performance is quantified under varying
             noise models, noise levels, sampling densities, and signal
             shapes. Results on biological data are also analyzed and
             compared.<h4>Results</h4>On the task of periodic/not-periodic
             classification, using synthetic data, SW1PerS outperforms
             all other algorithms in the low-noise regime. SW1PerS is
             shown to be the most shape-agnostic of the evaluated
             methods, and the only one to consistently classify damped
             signals as highly periodic. On biological data, and for
             several experiments, the lists of top 10% genes ranked with
             SW1PerS recover up to 67% of those generated with other
             popular algorithms. Moreover, the list of genes from data on
             the Yeast metabolic cycle which are highly-ranked only by
             SW1PerS, contains evidently non-cosine patterns (e.g. ECM33,
             CDC9, SAM1,2 and MSH6) with highly periodic expression
             profiles. In data from the Yeast cell cycle SW1PerS
             identifies genes not preferred by other algorithms, hence
             not previously reported as periodic, but found in other
             experiments such as the universal growth rate response of
             Slavov. These genes are BOP3, CDC10, YIL108W, YER034W, MLP1,
             PAC2 and RTT101.<h4>Conclusions</h4>In biological systems
             with low noise, i.e. where periodic signals with interesting
             shapes are more likely to occur, SW1PerS can be used as a
             powerful tool in exploratory analyses. Indeed, by having an
             initial set of periodic genes with a rich variety of signal
             types, pattern/shape information can be included in the
             study of systems and the generation of hypotheses regarding
             the structure of gene regulatory networks.},
   Doi = {10.1186/s12859-015-0645-6},
   Key = {fds243563}
}

@article{fds324400,
   Author = {Czumaj, A and Sohler, C},
   Title = {Testing Expansion in Bounded-Degree Graphs},
   Journal = {48th Annual IEEE Symposium on Foundations of Computer
             Science (FOCS'07)},
   Pages = {536-546},
   Publisher = {IEEE},
   Year = {2007},
   Month = {October},
   ISBN = {9780769530109},
   url = {http://dx.doi.org/10.1109/focs.2007.33},
   Doi = {10.1109/focs.2007.33},
   Key = {fds324400}
}

@article{fds10021,
   Author = {Harer, John L.},
   Title = {The cohomology of the moduli space of curves},
   Journal = {Theory of moduli (Montecatini Terme, 1985), pp. 138--221,
             1988, Springer, Berlin},
   MRNUMBER = {90a:32026},
   url = {http://www.ams.org/mathscinet-getitem?mr=90a:32026},
   Key = {fds10021}
}

@article{fds243600,
   Author = {Harer, J and Zagier, D},
   Title = {The Euler characteristic of the moduli space of
             curves},
   Journal = {Inventiones Mathematicae},
   Volume = {85},
   Number = {3},
   Pages = {457-485},
   Year = {1986},
   Month = {October},
   ISSN = {1435-9855},
   url = {http://dx.doi.org/10.1007/BF01390325},
   Abstract = {Let Mng be the moduli space of n-pointed Riemann surfaces of
             genus g. Denote by M̄ng the Deligne-Mumford
             compactification of Mng. In the present paper, we calculate
             the orbifold and the ordinary Euler characteristics of M̄ng
             for any g and n such that n &gt; 2 - 2g. © 2011 European
             Mathematical Society.},
   Doi = {10.1007/BF01390325},
   Key = {fds243600}
}

@article{fds10027,
   Author = {Harer, John},
   Title = {The homology of the mapping class group and its connection
             to surface bundles over surfaces},
   Journal = {Four-manifold theory (Durham, N.H., 1982), pp. 311--314,
             1984, Amer. Math. Soc., Providence, RI},
   MRNUMBER = {86c:57010},
   url = {http://www.ams.org/mathscinet-getitem?mr=86c:57010},
   Key = {fds10027}
}

@article{fds321989,
   Author = {McGoff, KA and Guo, X and Deckard, A and Kelliher, CM and Leman, AR and Francey, LJ and Hogenesch, JB and Haase, SB and Harer,
             JL},
   Title = {The Local Edge Machine: inference of dynamic models of gene
             regulation.},
   Journal = {Genome biology},
   Volume = {17},
   Number = {1},
   Pages = {214},
   Year = {2016},
   Month = {October},
   url = {http://dx.doi.org/10.1186/s13059-016-1076-z},
   Abstract = {We present a novel approach, the Local Edge Machine, for the
             inference of regulatory interactions directly from
             time-series gene expression data. We demonstrate its
             performance, robustness, and scalability on in silico
             datasets with varying behaviors, sizes, and degrees of
             complexity. Moreover, we demonstrate its ability to
             incorporate biological prior information and make
             informative predictions on a well-characterized in vivo
             system using data from budding yeast that have been
             synchronized in the cell cycle. Finally, we use an atlas of
             transcription data in a mammalian circadian system to
             illustrate how the method can be used for discovery in the
             context of large complex networks.},
   Doi = {10.1186/s13059-016-1076-z},
   Key = {fds321989}
}

@article{fds371293,
   Author = {Motta, FC and McGoff, K and Moseley, RC and Cho, C-Y and Kelliher, CM and Smith, LM and Ortiz, MS and Leman, AR and Campione, SA and Devos, N and Chaorattanakawee, S and Uthaimongkol, N and Kuntawunginn, W and Thongpiam, C and Thamnurak, C and Arsanok, M and Wojnarski, M and Vanchayangkul, P and Boonyalai, N and Smith, PL and Spring, MD and Jongsakul, K and Chuang, I and Harer, J and Haase,
             SB},
   Title = {The parasite intraerythrocytic cycle and human circadian
             cycle are coupled during malaria infection.},
   Journal = {Proceedings of the National Academy of Sciences of the
             United States of America},
   Volume = {120},
   Number = {24},
   Pages = {e2216522120},
   Year = {2023},
   Month = {June},
   url = {http://dx.doi.org/10.1073/pnas.2216522120},
   Abstract = {During infections with the malaria parasites <i>Plasmodium
             vivax</i>, patients exhibit rhythmic fevers every 48 h.
             These fever cycles correspond with the time the parasites
             take to traverse the intraerythrocytic cycle (IEC). In other
             <i>Plasmodium</i> species that infect either humans or mice,
             the IEC is likely guided by a parasite-intrinsic clock
             [Rijo-Ferreira<i>et al.</i>, <i>Science</i> <b>368</b>,
             746-753 (2020); Smith <i>et al</i>., <i>Science</i>
             <b>368</b>, 754-759 (2020)], suggesting that intrinsic clock
             mechanisms may be a fundamental feature of malaria
             parasites. Moreover, because <i>Plasmodium</i> cycle times
             are multiples of 24 h, the IECs may be coordinated with the
             host circadian clock(s). Such coordination could explain the
             synchronization of the parasite population in the host and
             enable alignment of IEC and circadian cycle phases. We
             utilized an ex vivo culture of whole blood from patients
             infected with <i>P. vivax</i> to examine the dynamics of the
             host circadian transcriptome and the parasite IEC
             transcriptome. Transcriptome dynamics revealed that the
             phases of the host circadian cycle and the parasite IEC are
             correlated across multiple patients, showing that the cycles
             are phase coupled. In mouse model systems, host-parasite
             cycle coupling appears to provide a selective advantage for
             the parasite. Thus, understanding how host and parasite
             cycles are coupled in humans could enable antimalarial
             therapies that disrupt this coupling.},
   Doi = {10.1073/pnas.2216522120},
   Key = {fds371293}
}

@article{fds243585,
   Author = {Edelsbrunner, H and Harer, J},
   Title = {The persistent Morse complex segmentation of a
             3-manifold},
   Journal = {Lecture Notes in Computer Science (including subseries
             Lecture Notes in Artificial Intelligence and Lecture Notes
             in Bioinformatics)},
   Volume = {5903 LNCS},
   Series = {Lecture Notes Comp. Sci.},
   Pages = {36-50},
   Booktitle = {3D Physiological Human Workshop, 2009},
   Publisher = {Springer Berlin Heidelberg},
   Editor = {N. Magnenat-Thalmann},
   Year = {2009},
   Month = {December},
   ISSN = {0302-9743},
   url = {http://dx.doi.org/10.1007/978-3-642-10470-1_4},
   Abstract = {We describe an algorithm for segmenting three-dimensional
             medical imaging data modeled as a continuous function on a
             3-manifold. It is related to watershed algorithms developed
             in image processing but is closer to its mathematical roots,
             which are Morse theory and homological algebra. It allows
             for the implicit treatment of an underlying mesh, thus
             combining the structural integrity of its mathematical
             foundations with the computational efficiency of image
             processing. © Springer-Verlag Berlin Heidelberg
             2009.},
   Doi = {10.1007/978-3-642-10470-1_4},
   Key = {fds243585}
}

@article{fds10017,
   Author = {Harer, John L.},
   Title = {The rational Picard group of the moduli space of Riemann
             surfaces with spin structure},
   Journal = {Mapping class groups and moduli spaces of Riemann surfaces
             (Gottingen, 1991/Seattle, WA, 1991), pp. 107--136, 1993,
             Amer. Math. Soc., Providence, RI},
   MRNUMBER = {94h:14008},
   url = {http://www.ams.org/mathscinet-getitem?mr=94h:14008},
   Key = {fds10017}
}

@article{fds243569,
   Author = {Harer, J},
   Title = {The second homology group of the mapping class group of an
             orientable surface},
   Journal = {Inventiones Mathematicae},
   Volume = {72},
   Number = {2},
   Pages = {221-239},
   Publisher = {Springer Nature},
   Year = {1983},
   Month = {June},
   ISSN = {0020-9910},
   MRNUMBER = {84g:57006},
   url = {http://dx.doi.org/10.1007/BF01389321},
   Doi = {10.1007/BF01389321},
   Key = {fds243569}
}

@article{fds321993,
   Author = {Harer, J},
   Title = {The third homology group of the moduli space of
             curves},
   Journal = {Duke Mathematical Journal},
   Volume = {63},
   Number = {1},
   Pages = {25-55},
   Publisher = {Duke University Press},
   Year = {1991},
   Month = {January},
   url = {http://dx.doi.org/10.1215/S0012-7094-91-06302-7},
   Doi = {10.1215/S0012-7094-91-06302-7},
   Key = {fds321993}
}

@article{fds10019,
   Author = {Harer, John},
   Title = {The third homology group of the moduli space of
             curves},
   Journal = {Duke Math. J., vol. 63, no. 1, pp. 25--55,
             1991},
   MRNUMBER = {92d:57012},
   url = {http://www.ams.org/mathscinet-getitem?mr=92d:57012},
   Key = {fds10019}
}

@article{fds243570,
   Author = {Harer, JL},
   Title = {The virtual cohomological dimension of the mapping class
             group of an orientable surface},
   Journal = {Inventiones Mathematicae},
   Volume = {84},
   Number = {1},
   Pages = {157-176},
   Publisher = {Springer Nature},
   Year = {1986},
   Month = {February},
   ISSN = {0020-9910},
   MRNUMBER = {87c:32030},
   url = {http://dx.doi.org/10.1007/BF01388737},
   Doi = {10.1007/BF01388737},
   Key = {fds243570}
}

@article{fds243605,
   Author = {Edelsbrunner, H and Harer, J and Mascarenhas, A and Pascucci, V and Snoeyink, J},
   Title = {Time-varying Reeb graphs for continuous space-time
             data},
   Journal = {Computational Geometry: Theory and Applications},
   Volume = {41},
   Number = {3},
   Pages = {149-166},
   Publisher = {Elsevier BV},
   Year = {2008},
   Month = {November},
   ISSN = {0925-7721},
   url = {http://dx.doi.org/10.1016/j.comgeo.2007.11.001},
   Abstract = {The Reeb graph is a useful tool in visualizing real-valued
             data obtained from computational simulations of physical
             processes. We characterize the evolution of the Reeb graph
             of a time-varying continuous function defined in
             three-dimensional space. We show how to maintain the Reeb
             graph over time and compress the entire sequence of Reeb
             graphs into a single, partially persistent data structure,
             and augment this data structure with Betti numbers to
             describe the topology of level sets and with path seeds to
             assist in the fast extraction of level sets for
             visualization. © 2008 Elsevier B.V.},
   Doi = {10.1016/j.comgeo.2007.11.001},
   Key = {fds243605}
}

@article{fds243578,
   Author = {J. Harer and Edelsbrunner, H and Harer, J and Mascarenhas, A and Pascucci,
             V},
   Title = {Time-varying Reeb graphs for continuous space-time
             data},
   Journal = {Proceedings of the Annual Symposium on Computational
             Geometry},
   Pages = {366-372},
   Year = {2004},
   Month = {January},
   url = {http://dx.doi.org/10.1145/997817.997872},
   Abstract = {We study the evolution of the Reeb graph of a time-varying
             continuous function defined in three-dimensional space.
             While maintaining the Reeb graph, we compress the evolving
             sequence into a single, partially persistent data structure.
             We envision this data structure as a useful tool in
             visualizing real-valued space-time data obtained from
             computational simulations of physical processes.},
   Doi = {10.1145/997817.997872},
   Key = {fds243578}
}

@article{fds324397,
   Author = {Bendich, P and Chin, SP and Clark, J and DeSena, J and Harer, J and Munch,
             E and Newman, A and Porter, D and Rouse, D and Strawn, N and Watkins,
             A},
   Title = {Topological and statistical behavior classifiers for
             tracking applications},
   Journal = {IEEE Transactions on Aerospace and Electronic
             Systems},
   Volume = {52},
   Number = {6},
   Pages = {2644-2661},
   Publisher = {Institute of Electrical and Electronics Engineers
             (IEEE)},
   Year = {2016},
   Month = {December},
   url = {http://dx.doi.org/10.1109/TAES.2016.160405},
   Abstract = {This paper introduces a method to integrate target behavior
             into the multiple hypothesis tracker (MHT) likelihood ratio.
             In particular, a periodic track appraisal based on behavior
             is introduced. The track appraisal uses elementary
             topological data analysis coupled with basic
             machine-learning techniques, and it adjusts the traditional
             kinematic data association likelihood (i.e., track score)
             using an established formulation for feature-aided data
             association. The proposed method is tested and demonstrated
             on synthetic vehicular data representing an urban traffic
             scene generated by the Simulation of Urban Mobility package.
             The vehicles in the scene exhibit different driving
             behaviors. The proposed method distinguishes those behaviors
             and shows improved data association decisions relative to a
             conventional, kinematic MHT.},
   Doi = {10.1109/TAES.2016.160405},
   Key = {fds324397}
}

@article{fds335536,
   Author = {Garagić, D and Peskoe, J and Liu, F and Claffey, MS and Bendich, P and Hineman, J and Borggren, N and Harer, J and Zulch, P and Rhodes,
             BJ},
   Title = {Upstream fusion of multiple sensing modalities using machine
             learning and topological analysis: An initial
             exploration},
   Journal = {IEEE Aerospace Conference Proceedings},
   Volume = {2018-March},
   Pages = {1-8},
   Publisher = {IEEE},
   Year = {2018},
   Month = {June},
   ISBN = {9781538620144},
   url = {http://dx.doi.org/10.1109/AERO.2018.8396737},
   Abstract = {This paper presents a processing pipeline for fusing 'raw'
             and / or feature-level multi-sensor data - upstream fusion -
             and initial results from this pipeline using imagery, radar,
             and radio frequency (RF) signals data to determine which
             tracked object, among several, hosts an emitter of interest.
             Correctly making this determination requires fusing data
             across these modalities. Our approach performs better than
             standard fusion approaches that make detection /
             characterization decisions for each modality individually
             and then try to fuse those decisions - downstream (or
             post-decision) fusion. Our approach (1) fully exploits the
             inter-modality dependencies and phenomenologies inherent in
             different sensing modes, (2) automatically discovers
             compressive hierarchical representations that integrate
             structural and statistical characteristics to enhance target
             / event discriminability, and (3) completely obviates the
             need to specify features, manifolds, or model scope a
             priori. This approach comprises a unique synthesis of Deep
             Learning (DL), topological analysis over probability measure
             (TAPM), and hierarchical Bayesian non-parametric (HBNP)
             recognition models. Deep Generative Networks (DGNs - a deep
             generative statistical form of DL) create probability
             measures that provide a basis for calculating homologies
             (topological summaries over the probability measures). The
             statistics of the resulting persistence diagrams are inputs
             to HBNP methods that learn to discriminate between target
             types and distinguish emitting targets from non-emitting
             targets, for example. HBNP learning obviates batch-mode
             off-line learning. This approach overcomes the inadequacy of
             pre-defined features as a means for creating efficient,
             discriminating, low-dimensional representations from
             high-dimensional multi-modality sensor data collected under
             difficult, dynamic sensing conditions. The invariant
             properties in the resulting compact representations afford
             multiple compressive sensing benefits, including concise
             information sharing and enhanced performance. Machine
             learning makes adaptivity a central feature of our approach.
             Adaptivity is critical because it enables flexible
             processing that automatically accommodates a broad range of
             challenges that non-adaptive, standard fusion approaches
             would typically require manual intervention to begin to
             address. These include (a) interest in unknown or
             unanticipated targets, (b) desire to be rapidly able to fuse
             between different combinations of sensor modalities, and (c)
             potential need to transfer information between platforms
             that host different sensors. This paper presents results
             that demonstrate our approach enables accurate, real-time
             target detection, tracking, and recognition of known and
             unknown moving or stationary targets or events and their
             activities evolving over space and time.},
   Doi = {10.1109/AERO.2018.8396737},
   Key = {fds335536}
}


%% Papers Accepted   
@article{fds225825,
   Author = {E. Munch and P. Bendich and K. Turner and S. Mukherjee and J. Mattingly and J. Harer},
   Title = {Probabilistic Frechet Means and Statistics on
             Vineyards},
   Journal = {Foundations of Computational Math},
   Year = {2014},
   Abstract = {In order to use persistence diagrams as a true statistical
             tool, it would be very useful to have a good notion of mean
             and variance for a set of diagrams. In [21], Mileyko and his
             collaborators made the first study of the properties of the
             Fr ́echet mean in (Dp,Wp), the space of persistence
             diagrams equipped with the p-th Wasserstein metric. In
             particular, they showed that the Fr ́echet mean of a finite
             set of diagrams always exists, but is not necessarily
             unique. As an unfortunate consequence, one sees that the
             means of a continuously-varying set of diagrams do not
             themselves vary continuously, which presents obvious
             problems when trying to extend the Fr ́echet mean
             definition to the realm of vineyards. We fix this problem by
             altering the original definition of Fr ́echet mean so that
             it now becomes a probability measure on the set of
             persistence diagrams; in a nutshell, the mean of a set of
             diagrams will be a weighted sum of atomic measures, where
             each atom is itself the (Fr ́echet mean) persistence
             diagram of a perturbation of the input diagrams. We show
             that this new definition defines a (H ̈older) continuous
             map, for each k, from (Dp)k → P(Dp), and we present
             several examples to show how it may become a useful
             statistic on vineyards.},
   Key = {fds225825}
}


%% Papers Submitted   
@article{fds225826,
   Author = {P. Bendich and Jacob Harer and John Harer},
   Title = {A Persistent Homology Based Geodesic Distance
             Estimator},
   Journal = {Journal of Machine Learning Research},
   Year = {2014},
   Key = {fds225826}
}

@article{fds221211,
   Author = {J. Perea and A. Deckard and S. Haase and J. Harer},
   Title = {Applications of SWiPerS to the discovery of periodic
             genes},
   Year = {2013},
   Key = {fds221211}
}

@article{fds221202,
   Author = {Sara Bristow and Laura A. Simmons Kovacs and Anastasia Deckard and John Harer and Steven B. Haase},
   Title = {Checkpoint Pathways Couple the CDK-Independent
             Transcriptional Oscillations to Cell Cycle
             Progression},
   Year = {2013},
   Abstract = {A study of how checkpoint pathways control the yeast cell
             cycle, derived from methods of finding periodic genes and
             cell cycle experiments from the Haase Lab.},
   Key = {fds221202}
}

@article{fds166039,
   Author = {P. Bendich and J. Harer},
   Title = {Elevation for singular spaces using persistent intersection
             homology},
   Year = {2009},
   Key = {fds166039}
}

@article{fds166033,
   Author = {Mehak Aziz and Siobhan M. Brady and David Orlando and Appu Kuruvilla and Scott Spillias and José R. Dinneny and Terri A. Long and John Harer and Uwe Ohler and Philip N. Benfey},
   Title = {Gene Expression Clustering Analysis: How to Choose the Best
             Parameters and Clustering Algorithm},
   Year = {2008},
   Abstract = {This paper is the result of a summer research project
             supported by the Howard Hughes summer program in systems
             biology.},
   Key = {fds166033}
}

@article{fds225821,
   Author = {J. Perea and A. Deckard and S. Haase and J. Harer},
   Title = {Sliding Windows and 1-Persistence Scoring; Discovering
             Periodicity in Gene Expression Time Series
             Data},
   Journal = {BMC Bioinformatics},
   Year = {2014},
   Abstract = {Motivation: Identifying periodically expressed genes across
             different processes such as the cell cy- cle, circadian
             rhythms, and metabolic cycles, is a central problem in
             computational biology. Biological time series data may
             contain (multiple) unknown sig- nal shapes, have
             imperfections such as noise, damp- ing, and trending, or
             have limited sampling density. While many methods exist for
             detecting periodicity, their design biases can limit their
             applicability in one or more of these situations. Methods:
             We present in this paper a novel method, SW1PerS, for
             quantifying periodicity in time se- ries data. The
             measurement is performed directly, without presupposing a
             particular shape or pattern, by evaluating the circularity
             of a high-dimensional representation of the signal. SW1PerS
             is compared to other algorithms using synthetic data and
             perfor- mance is quantified under varying noise levels, sam-
             pling densities, and signal shapes. Results on biolog- ical
             data are also analyzed and compared; this data includes
             different periodic processes from various or- ganisms: the
             cell and metabolic cycles in S. cere- visiae, and the
             circadian rhythms in M. musculus. ∗Department of
             Mathematics, Duke University, USA and Institute for
             Mathematics and its Applications, University of Minnesota,
             USA. †Program in Computational Biology and Bioinformatics,
             Duke University, USA. ‡Center for Systems Biology,
             Institute for Genome Sciences & Policy, Duke University,
             USA. §Departments of Mathematics, Computer Science and
             Elec- trical and Computer Engineering, Duke University, USA.
             Results: On the task of periodic/not-periodic clas-
             sification, using synthetic data, SW1PerS performs on par
             with successful methods in periodicity detec- tion.
             Moreover, it outperforms Lomb-Scargle and JTK CYCLE in the
             high-noise/low-sampling range. SW1PerS is shown to be the
             most shape-agnostic of the evaluated methods, and the only
             one to consis- tently classify damped signals as highly
             periodic. On biological data, and for several experiments,
             the lists of top 10% genes ranked with SW1PerS recover up to
             67% of those generated with other popular algo- rithms.
             Moreover, lists of genes which are highly- ranked only by
             SW1PerS contain non-cosine patterns (e.g. ECM33, CDC9,
             SAM1,2 and MSH6 in the Yeast metabolic cycle data of Tu et
             al. (2005)) which are highly periodic. In the Yeast cell
             cycle data SW1PerS identifies genes not preferred by other
             algorithms, not previously reported in Orlando et al.
             (2008); Spell- man et al. (1998), but found in other
             experiments such as the universal growth rate response of
             Slavov and Botstein (2011). These genes are BOP3, CDC10,
             YIL108W, YER034W, MLP1, PAC2 and RTT101.},
   Key = {fds225821}
}

@article{fds225822,
   Author = {K.A. McGoff and X. Guo and A. Deckard and A.R. Leman and C.M. Kelliher and S.B. Haase and J.L. Harer},
   Title = {The Local Edge Machine: Inference of dynamic models of gene
             regulation},
   Journal = {Nature Methods},
   Year = {2014},
   Abstract = {This paper develops the state of the art methodology for
             inferring gene regulatory networks from gene expression data
             for periodic processes. Application is made to finding
             networks for cell cycle and circadian clocks.},
   Key = {fds225822}
}

@article{fds225823,
   Author = {P. Bendich and S. Chin and J. Clarke and J. deSena, J. Harer and E.
             Munch, A. Newman and D. Porter and D. Rouse and N. Strawn and A.
             Watkins},
   Title = {Topological and Statistical Behavior Classifiers for
             Tracking Applications},
   Journal = {IEEE Trans. on Aerospace and Electronic Systems},
   Year = {2014},
   Abstract = {We introduce the first unified theory for target tracking
             using Multiple Hypothesis Tracking, Topological Data
             Analysis, and machine learning. Our string of innovations
             are 1) robust topological features are used to encode
             behavioral information, 2) statistical models are fitted to
             distributions over these topological features, and 3) the
             target type classification methods of Wigren and Bar Shalom
             et al. are employed to exploit the resulting likelihoods for
             topological features inside of the tracking procedure. To
             demonstrate the efficacy of our approach, we test our
             procedure on synthetic vehicular data generated by the
             Simulation of Urban Mobility package.},
   Key = {fds225823}
}


%% Preprints   
@article{fds8935,
   Author = {John Harer},
   Title = {Algorithms for Enumerating Triangulations and Other Maps in
             Surfaces},
   Journal = {1998},
   Key = {fds8935}
}

@article{fds8938,
   Author = {John Harer},
   Title = {An Alternative Approach to Trap Design for Vibratory Bowl
             Feeders},
   Journal = {1998},
   Key = {fds8938}
}

@article{fds8940,
   Author = {John Harer},
   Title = {The Euler Characteristic of the Deligne-Mumford
             Compactification of the Moduli Space of Curves},
   Journal = {1996},
   Key = {fds8940}
}


%% Other   
@misc{fds29132,
   Author = {J. Harer and H. Edelsbrunner},
   Title = {Persistent Morse Complex Segmentation of a
             3-Manifold},
   Journal = {Raindrop Geomagic Technical Report},
   Volume = {066},
   Year = {2004},
   Abstract = {We describe a new algorithm for segmenting 3-dimensional
             medical imaging data, which we abstract as continuous
             functions on 3-manifolds. The algorithm is related to
             watershed algorithms developed in image processing but is
             closer to its mathematical roots, which are Morse theory and
             homological algebra. It allows for the implicit treatment of
             its mathematical foundations with the computational
             efficiency of image processing.},
   Key = {fds29132}
}

 

dept@math.duke.edu
ph: 919.660.2800
fax: 919.660.2821

Mathematics Department
Duke University, Box 90320
Durham, NC 27708-0320