Ruth Davidson

Learn More
Species tree estimation is challenged by gene tree heterogeneity resulting from biological processes such as duplication and loss, hybridization, incomplete lineage sorting (ILS), and horizontal gene transfer (HGT). Mathematical theory about reconstructing species trees in the presence of HGT alone or ILS alone suggests that quartet-based species tree(More)
Species tree estimation is challenging in the presence of incomplete lineage sorting (ILS), which can make gene trees different from the species tree. Because ILS is expected to occur and the standard concatenation approach can return incorrect trees with high support in the presence of ILS, "coalescent-based" summary methods (which first estimate gene(More)
BACKGROUND Evidence suggests that Internet-delivered cognitive behavioral therapy (CBT) may be as effective as face-to-face delivery for depression, but attrition and engagement rates remain a challenge. OBJECTIVE This service-based study aimed to evaluate an online, therapist-supported, CBT-based program for depression. The program was specifically(More)
Distance-based phylogenetic algorithms attempt to solve the NP-hard least-squares phylogeny problem by mapping an arbitrary dissimilarity map representing biological data to a tree metric. The set of all dissimilarity maps is a Euclidean space properly containing the space of all tree metrics as a polyhedral fan. Outputs of distance-based tree(More)
Phylogenetic inference-the derivation of a hypothesis for the common evolutionary history of a group of species-is an active area of research at the intersection of biology, computer science, mathematics, and statistics. One assumes the data contains a phylogenetic signal that will be recovered with varying accuracy due to the quality of the method used,(More)
—Quartet trees displayed by larger phylogenetic trees have long been used as inputs for species tree and supertree reconstruction. Computational constraints prevent the use of all displayed quartets in many practical problems due to the number of taxa. We introduce the notion of an Efficient Quartet System (EQS) to represent a phylogenetic tree with a(More)
Geometric lattices are characterized as those finite, atomic lattices such that every atom ordering induces a lexico-graphic shelling given by an edge labeling known as a minimal labeling. Equivalently, geometric lattices are shown to be exactly those finite lattices such that every ordering on the join-irreducibles induces a lexicographic shelling. This(More)
  • 1