Enhancing Approximations for Regular Reachability Analysis

This paper introduces two mechanisms for computing over-approximations of sets of reachable states, with the aim of ensuring termination of state-space exploration. The first mechanism consists in over-approximating the automata representing reachable sets by merging some of their states with respect to simple syntactic criteria, or a combination of such criteria. The second approximation mechanism consists in manipulating an auxiliary automaton when applying a transducer representing the transition relation to an automaton encoding the initial states. In addition, for the second mechanism we propose a new approach to refine the approximations depending on a property of interest. The proposals are evaluated on examples of mutual exclusion protocols

Dynamics of Excited Electrons in Copper and Ferromagnetic Transition Metals: Theory and Experiment

Both theoretical and experimental results for the dynamics of photoexcited electrons at surfaces of Cu and the ferromagnetic transition metals Fe, Co, and Ni are presented. A model for the dynamics of excited electrons is developed, which is based on the Boltzmann equation and includes effects of photoexcitation, electron-electron scattering, secondary electrons (cascade and Auger electrons), and transport of excited carriers out of the detection region. From this we determine the time-resolved two-photon photoemission (TR-2PPE). Thus a direct comparison of calculated relaxation times with experimental results by means of TR-2PPE becomes possible. The comparison indicates that the magnitudes of the spin-averaged relaxation time \tau and of the ratio \tau_\uparrow/\tau_\downarrow of majority and minority relaxation times for the different ferromagnetic transition metals result not only from density-of-states effects, but also from different Coulomb matrix elements M. Taking M_Fe > M_Cu > M_Ni = M_Co we get reasonable agreement with experiments.Comment: 23 pages, 11 figures, added a figure and an appendix, updated reference

A statistical interpretation of the correlation between intermediate mass fragment multiplicity and transverse energy

Multifragment emission following Xe+Au collisions at 30, 40, 50 and 60 AMeV has been studied with multidetector systems covering nearly 4-pi in solid angle. The correlations of both the intermediate mass fragment and light charged particle multiplicities with the transverse energy are explored. A comparison is made with results from a similar system, Xe+Bi at 28 AMeV. The experimental trends are compared to statistical model predictions.Comment: 7 pages, submitted to Phys. Rev.

CDMS, Supersymmetry and Extra Dimensions

The CDMS experiment aims to directly detect massive, cold dark matter particles originating from the Milky Way halo. Charge and lattice excitations are detected after a particle scatters in a Ge or Si crystal kept at ~30 mK, allowing to separate nuclear recoils from the dominating electromagnetic background. The operation of 12 detectors in the Soudan mine for 75 live days in 2004 delivered no evidence for a signal, yielding stringent limits on dark matter candidates from supersymmetry and universal extra dimensions. Thirty Ge and Si detectors are presently installed in the Soudan cryostat, and operating at base temperature. The run scheduled to start in 2006 is expected to yield a one order of magnitude increase in dark matter sensitivity.Comment: To be published in the proceedings of the 7th UCLA symposium on sources and detection of dark matter and dark energy in the universe, Marina del Rey, Feb 22-24, 200

Flavour and Collider Interplay for SUSY at LHC7

The current 7 TeV run of the LHC experiment shall be able to probe gluino and squark masses up to values larger than 1 TeV. Assuming that hints for SUSY are found in the jets plus missing energy channel by the end of a 5 fb$^{-1}$ run, we explore the flavour constraints on three models with a CMSSM-like spectrum: the CMSSM itself, a Seesaw extension of the CMSSM, and Flavoured CMSSM. In particular, we focus on decays that might have been measured by the time the run is concluded, such as $B_s\to\mu\mu$ and $\mu\to e\gamma$. We also analyse constraints imposed by neutral meson bounds and electric dipole moments. The interplay between collider and flavour experiments is explored through the use of three benchmark scenarios, finding the flavour feedback useful in order to determine the model parameters and to test the consistency of the different models.Comment: 44 pages, 15 figures; v3: minor corrections, added references, updated figures. Version accepted for publicatio

The semileptonic B->pi decay in a Constituent Quark-Meson model

We evaluate the form factors describing the exclusive decay B-> pi l nu by using a Constituent Quark-Meson model based on an effective quark-meson Lagrangian (CQM). The model allows for an expansion in the pion momenta and we consider terms up to the first order in the pion field derivatives. We compute the leading terms in the soft pion limit and consider corrections to this limit.Comment: 6 pages, 3 figures, LaTeX (uses aps, epsf, revtex), formula 26 corrected, discussion enlarged, references updated and other minor change

Measurement of the ttbar Production Cross Section in ppbar Collisions at sqrt(s)=1.96 TeV using Lepton + Jets Events with Lifetime b-tagging

We present a measurement of the top quark pair ($t\bar{t}$) production cross section ($\sigma_{t\bar{t}}$) in $p\bar{p}$ collisions at $\sqrt{s}=1.96$ TeV using 230 pb$^{-1}$ of data collected by the D0 experiment at the Fermilab Tevatron Collider. We select events with one charged lepton (electron or muon), missing transverse energy, and jets in the final state. We employ lifetime-based b-jet identification techniques to further enhance the $t\bar{t}$ purity of the selected sample. For a top quark mass of 175 GeV, we measure $\sigma_{t\bar{t}}=8.6^{+1.6}_{-1.5}(stat.+syst.)\pm 0.6(lumi.)$ pb, in agreement with the standard model expectation.Comment: 7 pages, 2 figures, 3 tables Submitted to Phys.Rev.Let

Search for direct production of charginos and neutralinos in events with three leptons and missing transverse momentum in √s = 7 TeV pp collisions with the ATLAS detector

A search for the direct production of charginos and neutralinos in final states with three electrons or muons and missing transverse momentum is presented. The analysis is based on 4.7 fb−1 of proton–proton collision data delivered by the Large Hadron Collider and recorded with the ATLAS detector. Observations are consistent with Standard Model expectations in three signal regions that are either depleted or enriched in Z-boson decays. Upper limits at 95% confidence level are set in R-parity conserving phenomenological minimal supersymmetric models and in simplified models, significantly extending previous results

Search for the standard model Higgs boson in tau final states

We present a search for the standard model Higgs boson using hadronically decaying tau leptons, in 1 inverse femtobarn of data collected with the D0 detector at the Fermilab Tevatron ppbar collider. We select two final states: tau plus missing transverse energy and b jets, and tau+ tau- plus jets. These final states are sensitive to a combination of associated W/Z boson plus Higgs boson, vector boson fusion and gluon-gluon fusion production processes. The observed ratio of the combined limit on the Higgs production cross section at the 95% C.L. to the standard model expectation is 29 for a Higgs boson mass of 115 GeV.Comment: publication versio

Measurement of D*+/- meson production in jets from pp collisions at sqrt(s) = 7 TeV with the ATLAS detector

This paper reports a measurement of D*+/- meson production in jets from proton-proton collisions at a center-of-mass energy of sqrt(s) = 7 TeV at the CERN Large Hadron Collider. The measurement is based on a data sample recorded with the ATLAS detector with an integrated luminosity of 0.30 pb^-1 for jets with transverse momentum between 25 and 70 GeV in the pseudorapidity range |eta| < 2.5. D*+/- mesons found in jets are fully reconstructed in the decay chain: D*+ -> D0pi+, D0 -> K-pi+, and its charge conjugate. The production rate is found to be N(D*+/-)/N(jet) = 0.025 +/- 0.001(stat.) +/- 0.004(syst.) for D*+/- mesons that carry a fraction z of the jet momentum in the range 0.3 < z < 1. Monte Carlo predictions fail to describe the data at small values of z, and this is most marked at low jet transverse momentum.Comment: 10 pages plus author list (22 pages total), 5 figures, 1 table, matches published version in Physical Review