Scientific publications and presentations relating to planetary quarantine. Volume 5: The 1972 supplement

The sixth annual supplement to the bibliography on planetary quarantine contains 191 references, an author index and a permuted title index

Control and modeling of a CELSS (Controlled Ecological Life Support System)

Research topics that arise from the conceptualization of control for closed life support systems which are life support systems in which all or most of the mass is recycled are discussed. Modeling and control of uncertain and poorly defined systems, resource allocation in closed life support systems, and control structures or systems with delay and closure are emphasized

Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API

We consider the incremental computation of minimal unsatisfiable cores (MUCs) of QBFs. To this end, we equipped our incremental QBF solver DepQBF with a novel API to allow for incremental solving based on clause groups. A clause group is a set of clauses which is incrementally added to or removed from a previously solved QBF. Our implementation of the novel API is related to incremental SAT solving based on selector variables and assumptions. However, the API entirely hides selector variables and assumptions from the user, which facilitates the integration of DepQBF in other tools. We present implementation details and, for the first time, report on experiments related to the computation of MUCs of QBFs using DepQBF's novel clause group API.Comment: (fixed typo), camera-ready version, 6-page tool paper, to appear in proceedings of SAT 2015, LNCS, Springe

Genetic recombination is targeted towards gene promoter regions in dogs

The identification of the H3K4 trimethylase, PRDM9, as the gene responsible for recombination hotspot localization has provided considerable insight into the mechanisms by which recombination is initiated in mammals. However, uniquely amongst mammals, canids appear to lack a functional version of PRDM9 and may therefore provide a model for understanding recombination that occurs in the absence of PRDM9, and thus how PRDM9 functions to shape the recombination landscape. We have constructed a fine-scale genetic map from patterns of linkage disequilibrium assessed using high-throughput sequence data from 51 free-ranging dogs, Canis lupus familiaris. While broad-scale properties of recombination appear similar to other mammalian species, our fine-scale estimates indicate that canine highly elevated recombination rates are observed in the vicinity of CpG rich regions including gene promoter regions, but show little association with H3K4 trimethylation marks identified in spermatocytes. By comparison to genomic data from the Andean fox, Lycalopex culpaeus, we show that biased gene conversion is a plausible mechanism by which the high CpG content of the dog genome could have occurred.Comment: Updated version, with significant revision

Quality Assessment of Colonoscopy Reporting: Results from a Statewide Cancer Screening Program

This paper aimed to assess quality of colonoscopy reports and determine if physicians in practice were already documenting recommended quality indicators, prior to the publication of a standardized Colonoscopy Reporting and Data System (CO-RADS) in 2007. We examined 110 colonoscopy reports from 2005-2006 through Maryland Colorectal Cancer Screening Program. We evaluated 25 key data elements recommended by CO-RADS, including procedure indications, risk/comorbidity assessments, procedure technical descriptions, colonoscopy findings, specimen retrieval/pathology. Among 110 reports, 73% documented the bowel preparation quality and 82% documented specific cecal landmarks. For the 177 individual polyps identified, information on size and morphology was documented for 87% and 53%, respectively. Colonoscopy reporting varied considerately in the pre-CO-RADS period. The absence of key data elements may impact the ability to make recommendations for recall intervals. This paper provides baseline data to assess if CO-RADS has an impact on reporting and how best to improve the quality of reporting

Incremental QBF Solving

We consider the problem of incrementally solving a sequence of quantified Boolean formulae (QBF). Incremental solving aims at using information learned from one formula in the process of solving the next formulae in the sequence. Based on a general overview of the problem and related challenges, we present an approach to incremental QBF solving which is application-independent and hence applicable to QBF encodings of arbitrary problems. We implemented this approach in our incremental search-based QBF solver DepQBF and report on implementation details. Experimental results illustrate the potential benefits of incremental solving in QBF-based workflows.Comment: revision (camera-ready, to appear in the proceedings of CP 2014, LNCS, Springer

Science Requirements and Conceptual Design for a Polarized Medium Energy Electron-Ion Collider at Jefferson Lab

This report presents a brief summary of the science opportunities and program of a polarized medium energy electron-ion collider at Jefferson Lab and a comprehensive description of the conceptual design of such a collider based on the CEBAF electron accelerator facility.Comment: 160 pages, ~93 figures This work was supported by the U.S. Department of Energy, Office of Nuclear Physics, under Contract No. DE-AC05-06OR23177, DE-AC02-06CH11357, DE-AC05-060R23177, and DESC0005823. The U.S. Government retains a non-exclusive, paid-up, irrevocable, world-wide license to publish or reproduce this manuscript for U.S. Government purpose