Approximate reasoning for real-time probabilistic processes

We develop a pseudo-metric analogue of bisimulation for generalized semi-Markov processes. The kernel of this pseudo-metric corresponds to bisimulation; thus we have extended bisimulation for continuous-time probabilistic processes to a much broader class of distributions than exponential distributions. This pseudo-metric gives a useful handle on approximate reasoning in the presence of numerical information -- such as probabilities and time -- in the model. We give a fixed point characterization of the pseudo-metric. This makes available coinductive reasoning principles for reasoning about distances. We demonstrate that our approach is insensitive to potentially ad hoc articulations of distance by showing that it is intrinsic to an underlying uniformity. We provide a logical characterization of this uniformity using a real-valued modal logic. We show that several quantitative properties of interest are continuous with respect to the pseudo-metric. Thus, if two processes are metrically close, then observable quantitative properties of interest are indeed close.Comment: Preliminary version appeared in QEST 0

Measurement of the t(t)over-bar production cross section in the all-jet final state in pp collisions at √s=7 TeV

This article is the pre-print version of the final published paper that is available from the link below.A measurement is presented of the tt production cross section (σtt) in protonproton collisions at a centre-of-mass energy of 7TeV, in the all-jet final state that contains at least six jets, two of which are tagged as originating from b quarks. The data correspond to an integrated luminosity of 3.54 fb-1, collected with the CMS detector at the LHC. The cross section is determined through an unbinned maximum likelihood fit of background and tt signal to the reconstructed mass spectrum of tt candidates in the data, in which events are subjected to a kinematic fit assuming a tt → W+bW-b → 6 jets hypothesis. The measurement yields σtt = 139±10 (stat.) ±26 (syst.) ±3 (lum.) pb, a result consistent with those obtained in other tt decay channels, as well as with predictions of the standard model

Measurement of the inclusive W and Z production cross sections in pp collisions at s =\sqrt{s}\ = 7 TeV with the CMS experiment

This is the Pre-Print version of the Article - Copyright @ 2011 Springer VerlagMeasurements of inclusive W and Z boson production cross sections in pp collisions at sqrt(s)=7 TeV are presented, based on 2.9 inverse picobarns of data recorded by the CMS detector at the LHC. The measurements, performed in the electron and muon decay channels, are combined to give sigma(pp to WX) times B(W to muon or electron + neutrino) = 9.95 \pm 0.07(stat.) \pm 0.28(syst.) \pm 1.09(lumi.) nb and sigma(pp to ZX) times B(Z to oppositely charged muon or electron pairs) = 0.931 \pm 0.026(stat.) \pm 0.023(syst.) \pm 0.102(lumi.) nb. Theoretical predictions, calculated at the next-to-next-to-leading order in QCD using recent parton distribution functions, are in agreement with the measured cross sections. Ratios of cross sections, which incur an experimental systematic uncertainty of less than 4%, are also reported