We study the implications of interpreting the recent muon g(mu) -- 2 deviation from the standard model prediction as evidence for virtual superpartners, with very general calculations that include effects of phases and are consistent with all relevant constraints. Assuming that the central value is confirmed with smaller errors, there are upper limits on masses: at 1.5 sigma, at least one super...

We report the results of a search for ν(e) appearance in a ν(μ) beam in the MINOS long-baseline neutrino experiment. With an improved analysis and an increased exposure of 8.2 × 10(20) protons on the NuMI target at Fermilab, we find that 2 sin(2) (θ(23))sin(2)(2θ(13))<0.12(0.20) at 90% confidence level for δ = 0 and the normal (inverted) neutrino mass hierarchy, with a best-fit of 2sin(2) (θ(23...

Temperature-sensitive mutants of bacteriophage Mu, which grow at 32 C but not at 42 C, have been isolated. These mutants fall into two groups. Group 1 mutants fail to lyse host cells at nonpermissive temperatures, whereas lysis occurs normally with the group 2 mutants. All of the group 1 mutants apparently belong to the cistrons mapping to the left of gene C, whereas the group 2 mutants have le...

The MiniBooNE Collaboration reports a search for nu_{micro} and nu[over]_{micro} disappearance in the Deltam;{2} region of 0.5-40 eV;{2}. These measurements are important for constraining models with extra types of neutrinos, extra dimensions, and CPT violation. Fits to the shape of the nu_{micro} and nu[over]_{micro} energy spectra reveal no evidence for disappearance at the 90% confidence lev...

Background and purpose: Determination of heavy metals in oils is necessary to establish quality standards on a country level. This study aimed to determine of heavy metal contents (Cr, Ni, As, Cd, Hg, Pb, Sb, Sn, Sr, Al) in 12 seed oil samples in Iran by inductively coupled plasma-optical emission spectrometry (ICP-OES). Materials and Methods: The concentrations of heavy metal were determined b...

Superdeduction is a method specially designed to ease the use of first-order theories in predicate logic. The theory is used to enrich the deduction system with new deduction rules in a systematic, correct and complete way. A proof-term language and a cut-elimination reduction already exist for superdeduction, both based on Christian Urban’s work on classical sequent calculus. However the compu...