629 research outputs found

    FORMULARY MODEL FOR ACCESS CONTROL AND PRIVACY IN COMPUTER SYSTEMS.

    Full text link

    Heterogeneous Genomic Divergence Landscape in Two Commercially Important European Scallop Species

    Get PDF
    Two commercially important scallop species of the genus Pecten are found in Europe: the north Atlantic Pecten maximus and the Mediterranean Pecten jacobaeus whose distributions abut at the Almeria–Orán front. Whilst previous studies have quantified genetic divergence between these species, the pattern of differentiation along the Pecten genome is unknown. Here, we mapped RADseq data from 235 P. maximus and 27 P. jacobaeus to a chromosome-level reference genome, finding a heterogeneous landscape of genomic differentiation. Highly divergent genomic regions were identified across 14 chromosomes, while the remaining five showed little differentiation. Demographic and comparative genomics analyses suggest that this pattern resulted from an initial extended period of isolation, which promoted divergence, followed by differential gene flow across the genome during secondary contact. Single nucleotide polymorphisms present within highly divergent genomic regions were located in areas of low recombination and contrasting patterns of LD decay were found between the two species, hinting at the presence of chromosomal inversions in P. jacobaeus. Functional annotations revealed that highly differentiated regions were enriched for immune-related processes and mRNA modification. While future work is necessary to characterize structural differences, this study provides new insights into the speciation genomics of P. maximus and P. jacobaeus

    Improving Strategies via SMT Solving

    Full text link
    We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widening operators for enforcing convergence within a finite number of iterations (ii) the use of merge operations (often, convex hulls) at the merge points of the control flow graph. It instead computes the least inductive invariant expressible in the domain at a restricted set of program points, and analyzes the rest of the code en bloc. We emphasize that we compute this inductive invariant precisely. For that we extend the strategy improvement algorithm of [Gawlitza and Seidl, 2007]. If we applied their method directly, we would have to solve an exponentially sized system of abstract semantic equations, resulting in memory exhaustion. Instead, we keep the system implicit and discover strategy improvements using SAT modulo real linear arithmetic (SMT). For evaluating strategies we use linear programming. Our algorithm has low polynomial space complexity and performs for contrived examples in the worst case exponentially many strategy improvement steps; this is unsurprising, since we show that the associated abstract reachability problem is Pi-p-2-complete

    Detailed insights into pan-European population structure and inbreeding in wild and hatchery Pacific oysters (Crassostrea gigas) revealed by genome-wide SNP data.

    Get PDF
    Cultivated bivalves are important not only because of their economic value, but also due to their impacts on natural ecosystems. The Pacific oyster (Crassostrea gigas) is the world's most heavily cultivated shellfish species and has been introduced to all continents except Antarctica for aquaculture. We therefore used a medium-density single nucleotide polymorphism (SNP) array to investigate the genetic structure of this species in Europe, where it was introduced during the 1960s and has since become a prolific invader of coastal ecosystems across the continent. We analyzed 21,499 polymorphic SNPs in 232 individuals from 23 localities spanning a latitudinal cline from Portugal to Norway and including the source populations of Japan and Canada. We confirmed the results of previous studies by finding clear support for a southern and a northern group, with the former being indistinguishable from the source populations indicating the absence of a pronounced founder effect. We furthermore conducted a large-scale comparison of oysters sampled from the wild and from hatcheries to reveal substantial genetic differences including significantly higher levels of inbreeding in some but not all of the sampled hatchery cohorts. These findings were confirmed by a smaller but representative SNP dataset generated using restriction site-associated DNA sequencing. We therefore conclude that genomic approaches can generate increasingly detailed insights into the genetics of wild and hatchery produced Pacific oysters

    Effectiveness of Buffalograss Filter Strips in Removing Dissolved Metolachlor and Metolachlor Metabolites from Surface Runoff

    Get PDF
    The Texas Water Resources Institute awarded Jason Krutz a $1,000 Mills Scholarship in 2002. Jason was one of 17 students to receive these grants. As part of his graduate studies, Jason is involved in research to examine whether buffalo grass filter strips are effective at removing atrazine and related metabolites from rainfall runoff. The research will include field studies in Temple, TX

    Search for Global Dipole Enhancements in the HiRes-I Monocular Data above 10^{18.5} eV

    Full text link
    Several proposed source models for Ultra-High Energy Cosmic Rays (UHECRs) consist of dipole distributions oriented towards major astrophysical landmarks such as the galactic center, M87, or Centaurus A. We use a comparison between real data and simulated data to show that the HiRes-I monocular data for energies above 10^{18.5} eV is, in fact, consistent with an isotropic source model. We then explore methods to quantify our sensitivity to dipole source models oriented towards the Galactic Center, M87, and Centaurus A.Comment: 17 pages, 31 figure

    Observation of the Ankle and Evidence for a High-Energy Break in the Cosmic Ray Spectrum

    Full text link
    We have measured the cosmic ray spectrum at energies above 101710^{17} eV using the two air fluorescence detectors of the High Resolution Fly's Eye experiment operating in monocular mode. We describe the detector, PMT and atmospheric calibrations, and the analysis techniques for the two detectors. We fit the spectrum to models describing galactic and extragalactic sources. Our measured spectrum gives an observation of a feature known as the ``ankle'' near 3×10183\times 10^{18} eV, and strong evidence for a suppression near 6×10196\times 10^{19} eV.Comment: 14 pages, 9 figures. To appear in Physics Letters B. Accepted versio
    corecore