Efficient CSL Model Checking Using Stratification

For continuous-time Markov chains, the model-checking problem with respect to continuous-time stochastic logic (CSL) has been introduced and shown to be decidable by Aziz, Sanwal, Singhal and Brayton in 1996. Their proof can be turned into an approximation algorithm with worse than exponential complexity. In 2000, Baier, Haverkort, Hermanns and Katoen presented an efficient polynomial-time approximation algorithm for the sublogic in which only binary until is allowed. In this paper, we propose such an efficient polynomial-time approximation algorithm for full CSL. The key to our method is the notion of stratified CTMCs with respect to the CSL property to be checked. On a stratified CTMC, the probability to satisfy a CSL path formula can be approximated by a transient analysis in polynomial time (using uniformization). We present a measure-preserving, linear-time and -space transformation of any CTMC into an equivalent, stratified one. This makes the present work the centerpiece of a broadly applicable full CSL model checker. Recently, the decision algorithm by Aziz et al. was shown to work only for stratified CTMCs. As an additional contribution, our measure-preserving transformation can be used to ensure the decidability for general CTMCs.Comment: 18 pages, preprint for LMCS. An extended abstract appeared in ICALP 201

Dissociation of virtual photons in events with a leading proton at HERA

The ZEUS detector has been used to study dissociation of virtual photons in events with a leading proton, gamma^* p -> X p, in e^+p collisions at HERA. The data cover photon virtualities in two ranges, 0.03<Q^2<0.60 GeV^2 and 2<Q^2<100 GeV^2, with M_X>1.5 GeV, where M_X is the mass of the hadronic final state, X. Events were required to have a leading proton, detected in the ZEUS leading proton spectrometer, carrying at least 90% of the incoming proton energy. The cross section is presented as a function of t, the squared four-momentum transfer at the proton vertex, Phi, the azimuthal angle between the positron scattering plane and the proton scattering plane, and Q^2. The data are presented in terms of the diffractive structure function, F_2^D(3). A next-to-leading-order QCD fit to the higher-Q^2 data set and to previously published diffractive charm production data is presented

The dependence of dijet production on photon virtuality in ep collisions at HERA

The dependence of dijet production on the virtuality of the exchanged photon, Q^2, has been studied by measuring dijet cross sections in the range 0 < Q^2 < 2000 GeV^2 with the ZEUS detector at HERA using an integrated luminosity of 38.6 pb^-1. Dijet cross sections were measured for jets with transverse energy E_T^jet > 7.5 and 6.5 GeV and pseudorapidities in the photon-proton centre-of-mass frame in the range -3 < eta^jet <0. The variable xg^obs, a measure of the photon momentum entering the hard process, was used to enhance the sensitivity of the measurement to the photon structure. The Q^2 dependence of the ratio of low- to high-xg^obs events was measured. Next-to-leading-order QCD predictions were found to generally underestimate the low-xg^obs contribution relative to that at high xg^obs. Monte Carlo models based on leading-logarithmic parton-showers, using a partonic structure for the photon which falls smoothly with increasing Q^2, provide a qualitative description of the data.Comment: 35 pages, 6 eps figures, submitted to Eur.Phys.J.

D* Production in Deep Inelastic Scattering at HERA

This paper presents measurements of D^{*\pm} production in deep inelastic scattering from collisions between 27.5 GeV positrons and 820 GeV protons. The data have been taken with the ZEUS detector at HERA. The decay channel $D^{*+}\to (D^0 \to K^- \pi^+) \pi^+$ (+ c.c.) has been used in the study. The $e^+p$ cross section for inclusive D^{*\pm} production with $5<Q^2<100 GeV^2$ and $y<0.7$ is 5.3 \pms 1.0 \pms 0.8 nb in the kinematic region {$1.3<p_T(D^{*\pm})<9.0$ GeV and $| \eta(D^{*\pm}) |<1.5$}. Differential cross sections as functions of p_T(D^{*\pm}), $\eta(D^{*\pm}), W$ and $Q^2$ are compared with next-to-leading order QCD calculations based on the photon-gluon fusion production mechanism. After an extrapolation of the cross section to the full kinematic region in p_T(D^{*\pm}) and $\eta$(D^{*\pm}), the charm contribution $F_2^{c\bar{c}}(x,Q^2)$ to the proton structure function is determined for Bjorken $x$ between 2 $\cdot$ 10$^{-4}$ and 5 $\cdot$ 10$^{-3}$.Comment: 17 pages including 4 figure

Observation of Scaling Violations in Scaled Momentum Distributions at HERA

Charged particle production has been measured in deep inelastic scattering (DIS) events over a large range of $x$ and $Q^2$ using the ZEUS detector. The evolution of the scaled momentum, $x_p$, with $Q^2,$ in the range 10 to 1280 $GeV^2$, has been investigated in the current fragmentation region of the Breit frame. The results show clear evidence, in a single experiment, for scaling violations in scaled momenta as a function of $Q^2$.Comment: 21 pages including 4 figures, to be published in Physics Letters B. Two references adde

Beauty photoproduction measured using decays into muons in dijet events in ep collisions at s\sqrt{s}=318 GeV

The photoproduction of beauty quarks in events with two jets and a muon has been measured with the ZEUS detector at HERA using an integrated luminosity of 110 pb$^{- 1}$. The fraction of jets containing b quarks was extracted from the transverse momentum distribution of the muon relative to the closest jet. Differential cross sections for beauty production as a function of the transverse momentum and pseudorapidity of the muon, of the associated jet and of $x_{\gamma}^{jets}$, the fraction of the photon's momentum participating in the hard process, are compared with MC models and QCD predictions made at next-to-leading order. The latter give a good description of the data.Comment: 32 pages, 6 tables, 7 figures Table 6 and Figure 7 revised September 200

Measurement of Jet Shapes in Photoproduction at HERA

The shape of jets produced in quasi-real photon-proton collisions at centre-of-mass energies in the range $134-277$ GeV has been measured using the hadronic energy flow. The measurement was done with the ZEUS detector at HERA. Jets are identified using a cone algorithm in the $\eta - \phi$ plane with a cone radius of one unit. Measured jet shapes both in inclusive jet and dijet production with transverse energies $E^{jet}_T>14$ GeV are presented. The jet shape broadens as the jet pseudorapidity ($\eta^{jet}$) increases and narrows as $E^{jet}_T$ increases. In dijet photoproduction, the jet shapes have been measured separately for samples dominated by resolved and by direct processes. Leading-logarithm parton-shower Monte Carlo calculations of resolved and direct processes describe well the measured jet shapes except for the inclusive production of jets with high $\eta^{jet}$ and low $E^{jet}_T$. The observed broadening of the jet shape as $\eta^{jet}$ increases is consistent with the predicted increase in the fraction of final state gluon jets.Comment: 29 pages including 9 figure

Angular and Current-Target Correlations in Deep Inelastic Scattering at HERA

Correlations between charged particles in deep inelastic ep scattering have been studied in the Breit frame with the ZEUS detector at HERA using an integrated luminosity of 6.4 pb-1. Short-range correlations are analysed in terms of the angular separation between current-region particles within a cone centred around the virtual photon axis. Long-range correlations between the current and target regions have also been measured. The data support predictions for the scaling behaviour of the angular correlations at high Q2 and for anti-correlations between the current and target regions over a large range in Q2 and in the Bjorken scaling variable x. Analytic QCD calculations and Monte Carlo models correctly describe the trends of the data at high Q2, but show quantitative discrepancies. The data show differences between the correlations in deep inelastic scattering and e+e- annihilation.Comment: 26 pages including 10 figures (submitted to Eur. J. Phys. C

Plastisol Foaming Process. Decomposition of the Foaming Agent, Polymer Behavior in the Corresponding Temperature Range and Resulting Foam Properties

The decomposition of azodicarbonamide, used as foaming agent in PVC - plasticizer (1/1) plastisols was studied by DSC. Nineteen different plasticizers, all belonging to the ester family, two being polymeric (polyadipates), were compared. The temperature of maximum decomposition rate (in anisothermal regime at 5 K min-1 scanning rate), ranges between 434 and 452 K. The heat of decomposition ranges between 8.7 and 12.5 J g -1. Some trends of variation of these parameters appear significant and are discussed in terms of solvent (matrix) and viscosity effects on the decomposition reactions. The shear modulus at 1 Hz frequency was determined at the temperature of maximum rate of foaming agent decomposition, and differs significantly from a sample to another. The foam density was determined at ambient temperature and the volume fraction of bubbles was used as criterion to judge the efficiency of the foaming process. The results reveal the existence of an optimal shear modulus of the order of 2 kPa that corresponds roughly to plasticizer molar masses of the order of 450 ± 50 g mol-1. Heavier plasticizers, especially polymeric ones are too difficult to deform. Lighter plasticizers such as diethyl phthalate (DEP) deform too easily and presumably facilitate bubble collapse