Verification of Open Interactive Markov Chains

Interactive Markov chains (IMC) are compositional behavioral models extending both labeled transition systems and continuous-time Markov chains. IMC pair modeling convenience - owed to compositionality properties - with effective verification algorithms and tools - owed to Markov properties. Thus far however, IMC verification did not consider compositionality properties, but considered closed systems. This paper discusses the evaluation of IMC in an open and thus compositional interpretation. For this we embed the IMC into a game that is played with the environment. We devise algorithms that enable us to derive bounds on reachability probabilities that are assured to hold in any composition context

Specification of Requirements for Visually Impaired Persons in Services in Transportation Electronic Information System

This article highlights the basic concept of the expansion of the current transportation information system in the Czech Republic by employing the Near Field Communication technology for the visually impaired passengers. Nowadays are electronic information systems an integral part of transportation arrangements in every city. They are built with the aim to offer to its constituents various services and to facilitate their orientation in a complex transportation network. These systems, however, do not necessarily take into consideration the needs of the handicapped, for example the visually impaired, although precisely this group needs correct and aptly transmitted information more than any other segment of the population

Measurement of Ωc0\Omega^0_{\rm c} baryon production and branching-fraction ratio BR(Ωc0→Ω−e+νe)/BR(Ωc0→Ω−π+){\rm BR(\Omega^0_c \rightarrow \Omega^- e^+\nu_e)} / {\rm BR(\Omega^0_c \rightarrow \Omega^- \pi^+)} in pp collisions at s\sqrt{s} = 13 TeV

International audienceThe inclusive production of the charm-strange baryon $\Omega^{0}_{\rm c}$ is measured for the first time via its semileptonic decay into $\Omega^{-}\rm e^{+}\nu_{e}$ at midrapidity ($|y|<0.8$) in proton$-$proton (pp) collisions at the centre-of-mass energy $\sqrt{s}=13$ TeV with the ALICE detector at the LHC. The transverse momentum ($p_{\rm T}$) differential cross section multiplied by the branching ratio is presented in the interval $2<p_{\rm T}<12~{\rm GeV}/c$. The branching-fraction ratio ${\rm BR}(\Omega^0_{\rm c} \rightarrow \Omega^{-}{\rm e}^{+}\nu_{\rm e})/ {\rm BR}(\Omega^0_{\rm c} \rightarrow \Omega^{-}{\pi}^{+})$ is measured to be 1.12 $\pm$ 0.22 (stat.) $\pm$ 0.27 (syst.). Comparisons with other experimental measurements, as well as with theoretical calculations, are presented

Measurement of Ωc0\Omega^0_{\rm c} baryon production and branching-fraction ratio BR(Ωc0→Ω−e+νe)/BR(Ωc0→Ω−π+){\rm BR(\Omega^0_c \rightarrow \Omega^- e^+\nu_e)} / {\rm BR(\Omega^0_c \rightarrow \Omega^- \pi^+)} in pp collisions at s\sqrt{s} = 13 TeV

International audienceThe inclusive production of the charm-strange baryon $\Omega^{0}_{\rm c}$ is measured for the first time via its semileptonic decay into $\Omega^{-}\rm e^{+}\nu_{e}$ at midrapidity ($|y|<0.8$) in proton$-$proton (pp) collisions at the centre-of-mass energy $\sqrt{s}=13$ TeV with the ALICE detector at the LHC. The transverse momentum ($p_{\rm T}$) differential cross section multiplied by the branching ratio is presented in the interval $2<p_{\rm T}<12~{\rm GeV}/c$. The branching-fraction ratio ${\rm BR}(\Omega^0_{\rm c} \rightarrow \Omega^{-}{\rm e}^{+}\nu_{\rm e})/ {\rm BR}(\Omega^0_{\rm c} \rightarrow \Omega^{-}{\pi}^{+})$ is measured to be 1.12 $\pm$ 0.22 (stat.) $\pm$ 0.27 (syst.). Comparisons with other experimental measurements, as well as with theoretical calculations, are presented

Measurement of the radius dependence of charged-particle jet suppression in Pb–Pb collisions at <math altimg="si1.svg"><msqrt><mrow><msub><mrow><mi>s</mi></mrow><mrow><mi mathvariant="normal">NN</mi></mrow></msub></mrow></msqrt><mo linebreak="goodbreak" linebreakstyle="after">=</mo><mn>5.02</mn><mspace width="0.25em"/><mtext>TeV</mtext></math>

International audienceThe ALICE Collaboration reports a differential measurement of inclusive jet suppression using pp and Pb–Pb collision data at a center-of-mass energy per nucleon–nucleon collision sNN=5.02 TeV. Charged-particle jets are reconstructed using the anti-kT algorithm with resolution parameters R=0.2, 0.3, 0.4, 0.5, and 0.6 in pp collisions and R=0.2, 0.4, 0.6 in central (0–10%), semi-central (30–50%), and peripheral (60–80%) Pb–Pb collisions. A novel approach based on machine learning is employed to mitigate the influence of jet background. This enables measurements of inclusive jet suppression in new regions of phase space, including down to the lowest jet pT≥40 GeV/c at R=0.6 in central Pb–Pb collisions. This is an important step for discriminating different models of jet quenching in the quark–gluon plasma. The transverse momentum spectra, nuclear modification factors, derived cross section, and nuclear modification factor ratios for different jet resolution parameters of charged-particle jets are presented and compared to model predictions. A mild dependence of the nuclear modification factor ratios on collision centrality and resolution parameter is observed. The results are compared to a variety of jet-quenching models with varying levels of agreement

Measurement of the Λ\Lambda hyperon lifetime

International audienceA new, more precise measurement of the $\Lambda$ hyperon lifetime is performed using a large data sample of Pb$-$Pb collisions at $\sqrt{s_{\rm NN}} = 5.02$ TeV with ALICE. The $\Lambda$ and $\overline{\Lambda}$ hyperons are reconstructed at midrapidity using their two-body weak decay channel $\Lambda \rightarrow \mathrm{p} + \pi^{-}$ and $\overline{\Lambda} \rightarrow \overline{\mathrm{p}} + \pi^{+}$. The measured value of the $\Lambda$ lifetime is $\tau_{\Lambda} = [261.07 \pm 0.37 \ ( \rm stat.) \pm 0.72 \ (\rm syst.) ]\ \rm ps$. The relative difference between the lifetime of $\Lambda$ and $\overline{\Lambda}$, which represents an important test of CPT invariance in the strangeness sector, is also measured. The obtained value $(\tau_{\Lambda}-\tau_{\overline{\Lambda}})/\tau_{\Lambda} = 0.0013 \pm 0.0028 \ (\mathrm{stat.}) \pm 0.0021 \ (\mathrm{syst.})$ is consistent with zero within the uncertainties. Both measurements of the $\Lambda$ hyperon lifetime and of the relative difference between $\tau_{\Lambda}$ and $\tau_{\overline{\Lambda}}$ are in agreement with the corresponding world averages of the Particle Data Group and about a factor of three more precise

Measurement of Ωc0\Omega^0_{\rm c} baryon production and branching-fraction ratio BR(Ωc0→Ω−e+νe)/BR(Ωc0→Ω−π+){\rm BR(\Omega^0_c \rightarrow \Omega^- e^+\nu_e)} / {\rm BR(\Omega^0_c \rightarrow \Omega^- \pi^+)} in pp collisions at s\sqrt{s} = 13 TeV

International audienceThe inclusive production of the charm-strange baryon $\Omega^{0}_{\rm c}$ is measured for the first time via its semileptonic decay into $\Omega^{-}\rm e^{+}\nu_{e}$ at midrapidity ($|y|<0.8$) in proton$-$proton (pp) collisions at the centre-of-mass energy $\sqrt{s}=13$ TeV with the ALICE detector at the LHC. The transverse momentum ($p_{\rm T}$) differential cross section multiplied by the branching ratio is presented in the interval $2<p_{\rm T}<12~{\rm GeV}/c$. The branching-fraction ratio ${\rm BR}(\Omega^0_{\rm c} \rightarrow \Omega^{-}{\rm e}^{+}\nu_{\rm e})/ {\rm BR}(\Omega^0_{\rm c} \rightarrow \Omega^{-}{\pi}^{+})$ is measured to be 1.12 $\pm$ 0.22 (stat.) $\pm$ 0.27 (syst.). Comparisons with other experimental measurements, as well as with theoretical calculations, are presented

Inclusive photon production at forward rapidities in pp and p–Pb collisions at sNN=5.02\sqrt{{{s}}_{\textrm{NN}}}={5.02} TeV

International audienceA study of multiplicity and pseudorapidity distributions of inclusive photons measured in pp and p–Pb collisions at a center-of-mass energy per nucleon–nucleon collision of $\sqrt{s_{\textrm{NN}}}~=~5.02$ TeV using the ALICE detector in the forward pseudorapidity region 2.3 $<~\eta _\textrm{lab} ~<$ 3.9 is presented. Measurements in p–Pb collisions are reported for two beam configurations in which the directions of the proton and lead ion beam were reversed. The pseudorapidity distributions in p–Pb collisions are obtained for seven centrality classes which are defined based on different event activity estimators, i.e., the charged-particle multiplicity measured at midrapidity as well as the energy deposited in a calorimeter at beam rapidity. The inclusive photon multiplicity distributions for both pp and p–Pb collisions are described by double negative binomial distributions. The pseudorapidity distributions of inclusive photons are compared to those of charged particles at midrapidity in pp collisions and for different centrality classes in p–Pb collisions. The results are compared to predictions from various Monte Carlo event generators. None of the generators considered in this paper reproduces the inclusive photon multiplicity distributions in the reported multiplicity range. The pseudorapidity distributions are, however, better described by the same generators