Rachel Gauci

Learn More
We investigated in the field the carbon (C) transfer between sugar maple (Acer saccharum) saplings and the spring ephemeral Erythronium americanum via the mycelium of arbuscular mycorrhizal (AM) fungi. Sugar maple saplings and E. americanum plants were planted together in pots placed in the ground of a maple forest in 1999. Ectomycorrhizal yellow birches(More)
PREMISE OF THE STUDY We isolated and characterized microsatellite markers for the California poppy, Eschscholzia californica, which is an invasive species in central Chile. METHODS AND RESULTS A total of eight polymorphic and six monomorphic loci were developed for the species. Between one and 12 alleles were observed per locus. Polymorphic loci showed(More)
This report presents the Dafny language and verifier, with a focus on describing the main features of the language, including preand postconditions, assertions, loop invariants, termination metrics, quantifiers, predicates and frames. Examples of Dafny code are provided to illustrate the use of each feature, and an overview of how Dafny translates(More)
Software clones have been an active area of research for the past two decades. However, although numerous clone detection tools are now available, only a small fraction of the literature has focused on tool evaluation, and this is in fact still an open problem. This is mostly due to the fact that standard information retrieval metrics such as recall and(More)
  • 1