216 research outputs found
Searching for invariants using genetic programming and mutation testing
Invariants are concise and useful descriptions of a program's behaviour. As most programs are not annotated with invariants, previous research has attempted to automatically generate them from source code. In this paper, we propose a new approach to invariant generation using search. We reuse the trace generation front-end of existing tool Daikon and integrate it with genetic programming and a mutation testing tool. We demonstrate that our system can find the same invariants through search that Daikon produces via template instantiation, and we also find useful invariants that Daikon does not. We then present a method of ranking invariants such that we can identify those that are most interesting, through a novel application of program mutation
Studies Of The Three-dimensional Frustrated Antiferromagnetic Zncr2o4
Results of studies of the susceptibility, magnetic specific heat, and electron paramagnetic resonance spectrum of the geometrically frustrated antiferromagnetic ZnCr2O4 are presented. The temperature dependence of the susceptibility and the specific heat are in good agreement with the predictions of the quantum tetrahedral mean field model for exchange-coupled spin-3/2 ions on a pyrochlore lattice. The origin of the anomalous behavior of the resonance intensity below 90 K is discussed. © 2001 American Institute of Physics.8911 II70507052Proceedings of the Conference Highly Frustrated Magnetism 2000 Can. J. Phys., , in pressRamirez, A.P., (1994) Annu. Rev. Mater. Sci., 24, p. 453Schiffer, P., Ramirez, A.P., (1996) Comments Condens. Matter Phys., 18, p. 21Kino, Y., Luthi, B., (1971) Solid State Commun., 9, p. 805Plumier, R., Lecomte, M., Sougi, M., (1977) J. Phys., 38, pp. L-149. , ParisLee, S.-H., Broholm, C., Kim, T.H., Ratcliff W. II, Cheong, S.-W., (2000) Phys. Rev. Lett., 84, p. 3718Martinho, H., cond-mat/0011171Garcia-Adeva, A.J., Huber, D.L., (2000) Phys. Rev. Lett., 85, p. 4598Baltzer, P.K., Wojtowicz, P.J., Robbins, M., Lopatin, E., (1966) Phys. Rev., 151, p. 367noteOhta, H., Okubo, S., Kikuchi, H., Ono, S., Proceedings of the Conference Highly Frustrated Magnetism 2000 Can. J. Phys., , in pressHuber, D.L., Alejandro, G., Caneiro, A., Causa, M.T., Prado, F., Tovar, M., Oseroff, S.B., (1999) Phys. Rev. B, 60, p. 1215
Measurement of the Charged Multiplicities in b, c and Light Quark Events from Z0 Decays
Average charged multiplicities have been measured separately in , and
light quark () events from decays measured in the SLD experiment.
Impact parameters of charged tracks were used to select enriched samples of
and light quark events, and reconstructed charmed mesons were used to select
quark events. We measured the charged multiplicities:
,
, from
which we derived the differences between the total average charged
multiplicities of or quark events and light quark events: and . We compared
these measurements with those at lower center-of-mass energies and with
perturbative QCD predictions. These combined results are in agreement with the
QCD expectations and disfavor the hypothesis of flavor-independent
fragmentation.Comment: 19 pages LaTex, 4 EPS figures, to appear in Physics Letters
Time-integrated luminosity recorded by the BABAR detector at the PEP-II e+e- collider
This article is the Preprint version of the final published artcile which can be accessed at the link below.We describe a measurement of the time-integrated luminosity of the data collected by the BABAR experiment at the PEP-II asymmetric-energy e+e- collider at the ϒ(4S), ϒ(3S), and ϒ(2S) resonances and in a continuum region below each resonance. We measure the time-integrated luminosity by counting e+e-→e+e- and (for the ϒ(4S) only) e+e-→μ+μ- candidate events, allowing additional photons in the final state. We use data-corrected simulation to determine the cross-sections and reconstruction efficiencies for these processes, as well as the major backgrounds. Due to the large cross-sections of e+e-→e+e- and e+e-→μ+μ-, the statistical uncertainties of the measurement are substantially smaller than the systematic uncertainties. The dominant systematic uncertainties are due to observed differences between data and simulation, as well as uncertainties on the cross-sections. For data collected on the ϒ(3S) and ϒ(2S) resonances, an additional uncertainty arises due to ϒ→e+e-X background. For data collected off the ϒ resonances, we estimate an additional uncertainty due to time dependent efficiency variations, which can affect the short off-resonance runs. The relative uncertainties on the luminosities of the on-resonance (off-resonance) samples are 0.43% (0.43%) for the ϒ(4S), 0.58% (0.72%) for the ϒ(3S), and 0.68% (0.88%) for the ϒ(2S).This work is supported by the US Department of Energy and National Science Foundation, the Natural Sciences and Engineering Research Council (Canada), the Commissariat à l’Energie Atomique and Institut National de Physique Nucléaire et de Physiquedes Particules (France), the Bundesministerium für Bildung und Forschung and Deutsche Forschungsgemeinschaft (Germany), the Istituto Nazionale di Fisica Nucleare (Italy), the Foundation for Fundamental Research on Matter (The Netherlands), the Research Council of Norway, the Ministry of Education and Science of the Russian Federation, Ministerio de Ciencia e Innovación (Spain), and the Science and Technology Facilities Council (United Kingdom). Individuals have received support from the Marie-Curie IEF program (European Union) and the A.P. Sloan Foundation (USA)
Measurement of the B0-anti-B0-Oscillation Frequency with Inclusive Dilepton Events
The - oscillation frequency has been measured with a sample of
23 million \B\bar B pairs collected with the BABAR detector at the PEP-II
asymmetric B Factory at SLAC. In this sample, we select events in which both B
mesons decay semileptonically and use the charge of the leptons to identify the
flavor of each B meson. A simultaneous fit to the decay time difference
distributions for opposite- and same-sign dilepton events gives ps.Comment: 7 pages, 1 figure, submitted to Physical Review Letter
Projected WIMP sensitivity of the LUX-ZEPLIN dark matter experiment
LUX-ZEPLIN (LZ) is a next-generation dark matter direct detection experiment that will operate 4850 feet underground at the Sanford Underground Research Facility (SURF) in Lead, South Dakota, USA. Using a two-phase xenon detector with an active mass of 7 tonnes, LZ will search primarily for low-energy interactions with weakly interacting massive particles (WIMPs), which are hypothesized to make up the dark matter in our galactic halo. In this paper, the projected WIMP sensitivity of LZ is presented based on the latest background estimates and simulations of the detector. For a 1000 live day run using a 5.6-tonne fiducial mass, LZ is projected to exclude at 90% confidence level spin-independent WIMP-nucleon cross sections above 1.4 × 10-48cm2 for a 40 GeV/c2 mass WIMP.
Additionally, a 5σ discovery potential is projected, reaching cross sections below the exclusion limits of recent experiments. For spin-dependent WIMP-neutron(-proton) scattering, a sensitivity of 2.3 × 10−43 cm2 (7.1 × 10−42 cm2) for a 40 GeV/c2
mass WIMP is expected. With underground installation well underway, LZ is on track for commissioning at SURF in 2020
Search for Darkonium in e+e- Collisions
Collider searches for dark sectors, new particles interacting only feebly with ordinary matter, have largely focused on identifying signatures of new mediators, leaving much of dark sector structures unexplored. In particular, the existence of dark matter bound states (darkonia) remains to be investigated. This possibility could arise in a simple model in which a dark photon (A0 ) is light enough to generate an attractive force between dark fermions. We report herein a search for a JPC ¼ 1−− darkonium state, the ϒD, produced in the reaction eþe− → γϒD, ϒD → A0 A0 A0 , where the dark photons subsequently decay into pairs of leptons or pions, using 514 fb−1 of data collected with the BABAR detector. No significant signal is observed, and we set bounds on the γ − A0 kinetic mixing as a function of the dark sector coupling constant for 0.001 < mA0 < 3.16 GeV and 0.05 < mϒD < 9.5 GeV.publishedVersio
Observation of the baryonic decay B \uaf 0 \u2192 \u39bc+ p \uaf K-K+
We report the observation of the baryonic decay B\uaf0\u2192\u39bc+p\uafK-K+ using a data sample of 471
7106 BB\uaf pairs produced in e+e- annihilations at s=10.58GeV. This data sample was recorded with the BABAR detector at the PEP-II storage ring at SLAC. We find B(B\uaf0\u2192\u39bc+p\uafK-K+)=(2.5\ub10.4(stat)\ub10.2(syst)\ub10.6B(\u39bc+))
710-5, where the uncertainties are statistical, systematic, and due to the uncertainty of the \u39bc+\u2192pK-\u3c0+ branching fraction, respectively. The result has a significance corresponding to 5.0 standard deviations, including all uncertainties. For the resonant decay B\uaf0\u2192\u39bc+p\uaf\u3c6, we determine the upper limit B(B\uaf0\u2192\u39bc+p\uaf\u3c6)<1.2
710-5 at 90% confidence level
A search for the decay
We search for the rare flavor-changing neutral-current decay in a data sample of 82 fb collected with the {\sl BABAR}
detector at the PEP-II B-factory. Signal events are selected by examining the
properties of the system recoiling against either a reconstructed hadronic or
semileptonic charged-B decay. Using these two independent samples we obtain a
combined limit of
at the 90% confidence level. In addition, by selecting for pions rather than
kaons, we obtain a limit of using only the hadronic B reconstruction method.Comment: 7 pages, 8 postscript figures, submitted to Phys. Rev. Let
High-reflectivity broadband distributed Bragg reflector lattice matched to ZnTe
We report on the realization of a high quality distributed Bragg reflector
with both high and low refractive index layers lattice matched to ZnTe. Our
structure is grown by molecular beam epitaxy and is based on binary compounds
only. The high refractive index layer is made of ZnTe, while the low index
material is made of a short period triple superlattice containing MgSe, MgTe,
and ZnTe. The high refractive index step of Delta_n=0.5 in the structure
results in a broad stopband and the reflectivity coefficient exceeding 99% for
only 15 Bragg pairs.Comment: 4 pages, 3 figure
- …