نتایج جستجو برای: mu verification
تعداد نتایج: 95679 فیلتر نتایج به سال:
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...
A classical method for model-checking timed properties—such as those expressed using timed extensions of temporal logic—is to rely on the use of observers. In this context, a major problem is to prove the correctness of observers. Essentially, this boils down to proving that: (1) every trace that contradicts a property can be detected by the observer; but also that (2) the observer is innocuous...
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...
We proposed to perform a basic dosimetry commissioning on a new imager sys-tem, the Varian aS1200 electronic portal imaging device (EPID) and TrueBeam 2.0 linear accelerator for flattened (FF) and flattening filter-free (FFF) beams, then to develop an image-based quality assurance (QA) model for verification of the system delivery accuracy for intensity-modulated radiation therapy (IMRT) treat-...
Radiochromic films are important tools for assessing complex dose distributions. Gafchromic EBT-XD films have been designed for optimal performance in the 40-4,000 cGy dose range. We investigated the dosimetric characteristics of these films, including their dose-response, postexposure density growth, and dependence on scanner orientation, beam energy, and dose rate with applications to high-do...
Temporal logics are a well investigated formalism for the specification and verification of 6 reactive systems. Using formal verification techniques, one can ensure the correctness of a system 7 with respect to a desired behavior, i.e., the specification, by verifying whether a model of the former 8 satisfies a temporal logic formula expressing the latter. In this setting, a very crucial aspect...
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...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید