DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking

In this paper we present a tool that performs CUDA accelerated LTL Model Checking. The tool exploits parallel algorithm MAP adjusted to the NVIDIA CUDA architecture in order to efficiently detect the presence of accepting cycles in a directed graph. Accepting cycle detection is the core algorithmic procedure in automata-based LTL Model Checking. We demonstrate that the tool outperforms non-accelerated version of the algorithm and we discuss where the limits of the tool are and what we intend to do in the future to avoid them

Scintillation Counters for the D0 Muon Upgrade

We present the results of an upgrade to the D0 muon system. Scintillating counters have been added to the existing central D0 muon system to provide rejection for cosmic ray muons and out-of-time background, and to provide additional fast timing information for muons in an upgraded Tevatron. Performance and results from the 1994-1996 Tevatron run are presented.Comment: 30 pages, 25 postscript figure

A Quasi-Model-Independent Search for New Physics at Large Transverse Momentum

We apply a quasi-model-independent strategy ("Sleuth") to search for new high p_T physics in approximately 100 pb^-1 of ppbar collisions at sqrt(s) = 1.8 TeV collected by the DZero experiment during 1992-1996 at the Fermilab Tevatron. Over thirty-two e mu X, W+jets-like, Z+jets-like, and 3(lepton/photon)X exclusive final states are systematically analyzed for hints of physics beyond the standard model. Simultaneous sensitivity to a variety of models predicting new phenomena at the electroweak scale is demonstrated by testing the method on a particular signature in each set of final states. No evidence of new high p_T physics is observed in the course of this search, and we find that 89% of an ensemble of hypothetical similar experimental runs would have produced a final state with a candidate signal more interesting than the most interesting observed in these data.Comment: 28 pages, 17 figures. Submitted to Physical Review

Measurement of the B0_s semileptonic branching ratio to an orbitally excited D_s** state, Br(B0_s -> Ds1(2536) mu nu)

In a data sample of approximately 1.3 fb-1 collected with the D0 detector between 2002 and 2006, the orbitally excited charm state D_s1(2536) has been observed with a measured mass of 2535.7 +/- 0.6 (stat) +/- 0.5 (syst) MeV via the decay mode B0_s -> D_s1(2536) mu nu X. A first measurement is made of the branching ratio product Br(b(bar) -> D_s1(2536) mu nu X).Br(D_s1(2536)->D* K0_S). Assuming that D_s1(2536) production in semileptonic decay is entirely from B0_s, an extraction of the semileptonic branching ratio Br(B0_s -> D_s1(2536) mu nu X) is made.Comment: 7 pages, 2 figures, LaTeX, version with minor changes as accepted by Phys. Rev. Let

Measurement of Semileptonic Branching Fractions of B Mesons to Narrow D** States

Using the data accumulated in 2002-2004 with the DO detector in proton-antiproton collisions at the Fermilab Tevatron collider with centre-of-mass energy 1.96 TeV, the branching fractions of the decays B -> \bar{D}_1^0(2420) \mu^+ \nu_\mu X and B -> \bar{D}_2^{*0}(2460) \mu^+ \nu_\mu X and their ratio have been measured: BR(\bar{b}->B) \cdot BR(B-> \bar{D}_1^0 \mu^+ \nu_\mu X) \cdot BR(\bar{D}_1^0 -> D*- pi+) = (0.087+-0.007(stat)+-0.014(syst))%; BR(\bar{b}->B)\cdot BR(B->D_2^{*0} \mu^+ \nu_\mu X) \cdot BR(\bar{D}_2^{*0} -> D*- \pi^+) = (0.035+-0.007(stat)+-0.008(syst))%; and (BR(B -> \bar{D}_2^{*0} \mu^+ \nu_\mu X)BR(D2*0->D*- pi+)) / (BR(B -> \bar{D}_1^{0} \mu^+ \nu_\mu X)\cdot BR(\bar{D}_1^{0}->D*- \pi^+)) = 0.39+-0.09(stat)+-0.12(syst), where the charge conjugated states are always implied.Comment: submitted to Phys. Rev. Let

Search for new fermions ("quirks") at the Fermilab Tevatron Collider

We report results of a search for particles with anomalously high ionization in events with a high transverse energy jet and large missing transverse energy in $2.4$ fb$^{-1}$ of integrated luminosity collected by the D0 experiment at the Fermilab Tevatron $p\bar{p}$ collider. Production of such particles (quirks) is expected in scenarios with extra QCD-like {\it SU(N)} sectors, and this study is the first dedicated search for such signatures. We find no evidence of a signal and set a lower mass limit of 107 ~GeV for the mass of a charged quirk with strong dynamics scale $\Lambda$ in the range from 10 keV to 1 MeV.Comment: submitted to Phys. Rev. Letter

Measurement of the t-channel single top quark production cross section

The D0 collaboration reports direct evidence for electroweak production of single top quarks through the t-channel exchange of a virtual W boson. This is the first analysis to isolate an individual single top quark production channel. We select events containing an isolated electron or muon, missing transverse energy, and two, three or four jets from 2.3 fb^-1 of ppbar collisions at the Fermilab Tevatron Collider. One or two of the jets are identified as containing a b hadron. We combine three multivariate techniques optimized for the t-channel process to measure the t- and s-channel cross sections simultaneously. We measure cross sections of 3.14 +0.94 -0.80 pb for the t-channel and 1.05 +-0.81 pb for the s-channel. The measured t-channel result is found to have a significance of 4.8 standard deviations and is consistent with the standard model prediction.Comment: 7 pages, 6 figure