Biology and parasitism rates of Pteromalus nr. myopitae (Hymenoptera: Pteromalidae), a newly discovered parasitoid of olive fruit fly Bactrocera oleae (Diptera: Tephritidae) in coastal California

An undescribed wasp, Pteromalus nr. myopitae (Hymenoptera: Pteromalidae) opportunistically parasitizes the olive fruit fly Bactrocera oleae (Rossi) (Diptera: Tephritidae), an introduced pest of olives in California. The native or typical host of P. nr. myopitae is unknown. We demonstrate that P. nr. myopitae is a solitary, ectoparasitic, idiobiont parasitoid of the third instar host inside fruit, and pupation occurs in the host tunnel. Reproduction of P. nr. myopitae on B. oleae in olives in the laboratory and in field cages generally failed. Host-feeding was not observed, and adults fed honey and water lived longer than those provided with water alone. Parasitism in non-commercial olives in the moderate coastal climate of San Luis Obispo occurred primarily from August to October, and was absent from a nearby location with more extreme climate and a low population of B. oleae. Greater parasitoid numbers were associated with greater host densities, and proportion of hosts parasitized was generally higher at lower host densities during 2 years of the study. The geographic range of the parasitoid extends along the coast from San Francisco Bay to Ensenada, Baja California, Mexico, and also inland in the Sacramento Valley, with one record in the San Joaquin Valley. The potential of the parasitoid as a biological control agent of B. oleae is probably low, however, the extent of its interference with other parasitoids being considered for release in California is unknown and warrants further study

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

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

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

Nucleon-induced reactions at intermediate energies: New data at 96 MeV and theoretical status

Double-differential cross sections for light charged particle production (up to A=4) were measured in 96 MeV neutron-induced reactions, at TSL laboratory cyclotron in Uppsala (Sweden). Measurements for three targets, Fe, Pb, and U, were performed using two independent devices, SCANDAL and MEDLEY. The data were recorded with low energy thresholds and for a wide angular range (20-160 degrees). The normalization procedure used to extract the cross sections is based on the np elastic scattering reaction that we measured and for which we present experimental results. A good control of the systematic uncertainties affecting the results is achieved. Calculations using the exciton model are reported. Two different theoretical approches proposed to improve its predictive power regarding the complex particle emission are tested. The capabilities of each approach is illustrated by comparison with the 96 MeV data that we measured, and with other experimental results available in the literature.Comment: 21 pages, 28 figure