1,786 research outputs found
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 where
is a holomorphic map from to ,
in terms of the complex singularity exponent of .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
- …