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

Polarized light ions and spectator nucleon tagging at EIC

An Electron-Ion Collider (EIC) with suitable forward detection capabilities would enable a unique experimental program of deep-inelastic scattering (DIS) from polarized light nuclei (deuterium 2H, helium 3He) with spectator nucleon tagging. Such measurements promise significant advances in several key areas of nuclear physics and QCD: (a) neutron spin structure, by using polarized deuterium and eliminating nuclear effects through on-shell extrapolation in the spectator proton momentum; (b) quark/gluon structure of the bound nucleon at x > 0.1 and the dynamical mechanisms acting on it, by measuring the spectator momentum dependence of nuclear structure functions; (c) coherent effects in QCD, by exploring shadowing in tagged DIS on deuterium at x << 0.1. The JLab MEIC design (CM energy sqrt{s} = 15-50 GeV/nucleon, luminosity ~ 10^{34} cm^{-2} s^{-1}) provides polarized deuterium beams and excellent coverage and resolution for forward spectator tagging. We summarize the physics topics, the detector and beam requirements for spectator tagging, and on-going R&D efforts.Comment: 6 pages, 2 figures. Prepared for proceedings of DIS 2014, XXII. International Workshop on Deep-Inelastic Scattering and Related Subjects, University of Warsaw, Poland, April 28 - May 2, 201

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

Neutron spin structure with polarized deuterons and spectator proton tagging at EIC

The neutron's deep-inelastic structure functions provide essential information for the flavor separation of the nucleon parton densities, the nucleon spin decomposition, and precision studies of QCD phenomena in the flavor-singlet and nonsinglet sectors. Traditional inclusive measurements on nuclear targets are limited by dilution from scattering on protons, Fermi motion and binding effects, final-state interactions, and nuclear shadowing at x << 0.1. An Electron-Ion Collider (EIC) would enable next-generation measurements of neutron structure with polarized deuteron beams and detection of forward-moving spectator protons over a wide range of recoil momenta (0 < p_R < several 100 MeV in the nucleus rest frame). The free neutron structure functions could be obtained by extrapolating the measured recoil momentum distributions to the on-shell point. The method eliminates nuclear modifications and can be applied to polarized scattering, as well as to semi-inclusive and exclusive final states. We review the prospects for neutron structure measurements with spectator tagging at EIC, the status of R&D efforts, and the accelerator and detector requirements.Comment: 11 pages, 3 figures. To appear in proceedings of Tensor Polarized Solid Target Workshop, Jefferson Lab, March 10-12, 201

On Optimization Modulo Theories, MaxSMT and Sorting Networks

Optimization Modulo Theories (OMT) is an extension of SMT which allows for finding models that optimize given objectives. (Partial weighted) MaxSMT --or equivalently OMT with Pseudo-Boolean objective functions, OMT+PB-- is a very-relevant strict subcase of OMT. We classify existing approaches for MaxSMT or OMT+PB in two groups: MaxSAT-based approaches exploit the efficiency of state-of-the-art MAXSAT solvers, but they are specific-purpose and not always applicable; OMT-based approaches are general-purpose, but they suffer from intrinsic inefficiencies on MaxSMT/OMT+PB problems. We identify a major source of such inefficiencies, and we address it by enhancing OMT by means of bidirectional sorting networks. We implemented this idea on top of the OptiMathSAT OMT solver. We run an extensive empirical evaluation on a variety of problems, comparing MaxSAT-based and OMT-based techniques, with and without sorting networks, implemented on top of OptiMathSAT and {\nu}Z. The results support the effectiveness of this idea, and provide interesting insights about the different approaches.Comment: 17 pages, submitted at Tacas 1

Bergman kernel and complex singularity exponent

We give a precise estimate of the Bergman kernel for the model domain defined by $\Omega_F=\{(z,w)\in \mathbb{C}^{n+1}:{\rm Im}w-|F(z)|^2>0\},$ where $F=(f_1,...,f_m)$ is a holomorphic map from $\mathbb{C}^n$ to $\mathbb{C}^m$, in terms of the complex singularity exponent of $F$.Comment: to appear in Science in China, a special issue dedicated to Professor Zhong Tongde's 80th birthda

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

Light-ion production in the interaction of 96 MeV neutrons with oxygen

Double-differential cross sections for light-ion (p, d, t, He-3 and alpha) production in oxygen, induced by 96 MeV neutrons are reported. Energy spectra are measured at eight laboratory angles from 20 degrees to 160 degrees in steps of 20 degrees. Procedures for data taking and data reduction are presented. Deduced energy-differential and production cross sections are reported. Experimental cross sections are compared to theoretical reaction model calculations and experimental data at lower neutron energies in the literature. The measured proton data agree reasonably well with the results of the model calculations, whereas the agreement for the other particles is less convincing. The measured production cross sections for protons, deuterons, tritons and alpha particles support the trends suggested by data at lower energies.Comment: 21 pages, 13 figures, submitted to Phys. Rev.

Exceptional del Pezzo hypersurfaces

We compute global log canonical thresholds of a large class of quasismooth well-formed del Pezzo weighted hypersurfaces in $\mathbb{P}(a_{1},a_{2},a_{3},a_{4})$. As a corollary we obtain the existence of orbifold K\"ahler--Einstein metrics on many of them, and classify exceptional and weakly exceptional quasismooth well-formed del Pezzo weighted hypersurfaces in $\mathbb{P}(a_{1},a_{2},a_{3},a_{4})$.Comment: 149 pages, one reference adde