Refine
Year of publication
Document Type
- Preprint (705)
- Article (431)
- Working Paper (10)
- Part of Periodical (2)
- Conference Proceeding (1)
Has Fulltext
- yes (1149)
Is part of the Bibliography
- no (1149)
Keywords
- Heavy Ion Experiments (21)
- Hadron-Hadron Scattering (14)
- Hadron-Hadron scattering (experiments) (11)
- LHC (10)
- Lambda-Kalkül (8)
- Heavy-ion collision (6)
- Operationale Semantik (6)
- Jets (5)
- Programmiersprache (5)
- ALICE experiment (4)
Institute
- Physik (1116)
- Frankfurt Institute for Advanced Studies (FIAS) (1037)
- Informatik (1013)
- Medizin (9)
- Geowissenschaften (7)
- Informatik und Mathematik (3)
- Georg-Speyer-Haus (2)
- Hochschulrechenzentrum (2)
- Biochemie und Chemie (1)
- Biowissenschaften (1)
Measurement of the inclusive differential jet cross section in pp collisions at √s = 2.76 TeV
(2013)
The ALICE collaboration at the CERN Large Hadron Collider reports the first measurement of the inclusive differential jet cross section at mid-rapidity in pp collisions at s√=2.76 TeV, with integrated luminosity of 13.6 nb−1. Jets are measured over the transverse momentum range 20 to 125 GeV/c and are corrected to the particle level. Calculations based on Next-to-Leading Order perturbative QCD are in good agreement with the measurements. The ratio of inclusive jet cross sections for jet radii R=0.2 and R=0.4 is reported, and is also well reproduced by a Next-to-Leading Order perturbative QCD calculation when hadronization effects are included.
The production of K∗(892)0 and ϕ(1020) in pp collisions at s√=7 TeV was measured by the ALICE experiment at the LHC. The yields and the transverse momentum spectra d2N/dydpT at midrapidity |y|<0.5 in the range 0<pT<6 GeV/c for K∗(892)0 and 0.4<pT<6 GeV/c for ϕ(1020) are reported and compared to model predictions. Using the yield of pions, kaons, and Omega baryons measured previously by ALICE at s√=7 TeV, the ratios K∗/K−, ϕ/K∗, ϕ/K−, ϕ/π−, and (Ω + Ω¯¯¯¯)/ϕ are presented. The values of the K∗/K−, ϕ/K∗ and ϕ/K− ratios are similar to those found at lower centre-of-mass energies. In contrast, the ϕ/π− ratio, which has been observed to increase with energy, seems to saturate above 200 GeV. The (Ω + Ω¯¯¯¯)/ϕ ratio in the pT range 1-5 GeV/c is found to be in good agreement with the prediction of the HIJING/BB v2.0 model with a strong colour field.
he first measurements of the invariant differential cross sections of inclusive π0 and η meson production at mid-rapidity in proton–proton collisions at s=0.9 TeV and s=7 TeV are reported. The π0 measurement covers the ranges 0.4<pT<7 GeV/c and 0.3<pT<25 GeV/c for these two energies, respectively. The production of η mesons was measured at s=√7 TeV in the range 0.4<pT<15 GeV/c. Next-to-Leading Order perturbative QCD calculations, which are consistent with the π0 spectrum at s=0.9 TeV, overestimate those of π0 and η mesons at s=√7 TeV, but agree with the measured η/π0 ratio at s=√7 TeV.
We present the first wide-range measurement of the charged-particle pseudorapidity density distribution, for different centralities (the 0-5%, 5-10%, 10-20%, and 20-30% most central events) in Pb-Pb collisions at sNN−−−√=2.76 TeV at the LHC. The measurement is performed using the full coverage of the ALICE detectors, −5.0<η<5.5, and employing a special analysis technique based on collisions arising from LHC "satellite" bunches. We present the pseudorapidity density as a function of the number of participating nucleons as well as an extrapolation to the total number of produced charged particles (Nch=17165±772 for the 0-5% most central collisions). From the measured dNch/dη distribution we derive the rapidity density distribution, dNch/dy, under simple assumptions. The rapidity density distribution is found to be significantly wider than the predictions of the Landau model. We assess the validity of longitudinal scaling by comparing to lower energy results from RHIC. Finally the mechanisms of the underlying particle production are discussed based on a comparison with various theoretical models.
We report the first measurement of the net-charge fluctuations in Pb-Pb collisions at sNN−−−√ = 2.76 TeV, measured with the ALICE detector at the CERN Large Hadron Collider. The dynamical fluctuations per unit entropy are observed to decrease when going from peripheral to central collisions. An additional reduction in the amount of fluctuations is seen in comparison to the results from lower energies. We examine the dependence of fluctuations on the pseudorapidity interval, which may account for the dilution of fluctuations during the evolution of the system. We find that the fluctuations at LHC are smaller compared to the measurements at the Relativistic heavy Ion Collider (RHIC), and as such, closer to what has been theoretically predicted for the formation of Quark-Gluon Plasma (QGP).
Measurements of charge-dependent azimuthal correlations with the ALICE detector at the LHC are reported for Pb-Pb collisions at √𝑠𝑁𝑁=2.76 TeV. Two- and three-particle charge-dependent azimuthal correlations in the pseudorapidity range |𝜂|<0.8 are presented as a function of the collision centrality, particle separation in pseudorapidity, and transverse momentum. A clear signal compatible with a charge-dependent separation relative to the reaction plane is observed, which shows little or no collision energy dependence when compared to measurements at RHIC energies. This provides a new insight for understanding the nature of the charge-dependent azimuthal correlations observed at RHIC and LHC energies.
The ALICE experiment at the LHC has studied J/psi production at mid-rapidity in pp collisions at sqrt{s}=7 TeV through its electron pair decay on a data sample corresponding to an integrated luminosity L_int = 5.6nb-1. The fraction of J/psi from the decay of long-lived beauty hadrons was determined for J/psi candidates with transverse momentum p_t>1.3 GeV/c and rapidity |y|<0.9. The cross section for prompt J/psi mesons, i.e. directly produced J/psi and prompt decays of heavier charmonium states such as the Psi(2S) and Csi_c resonances, is sigma_prompt-J/psi(pt > 1.3 GeV/c, |y| < 0.9) = 8.3 +- 0.8(stat.) +- 1.1(syst.) + 1.5 - 1.4(syst. pol.) micro barn. The cross section for the production of b-hadrons decaying to J/psi with p_t>1.3 GeV/c and |y|<0.9 is sigma_{J/psi<-h_B} = 1.46 +- 0.38(stat.) + 0.26 -0.32(syst.) micro barn. The results are compared to QCD model predictions. The shape of the p_t and y distributions of b-quarks predicted by perturbative QCD model calculations are used to extrapolate the measured cross section to derive the b-bbar pair total cross section and dsigma/dy at mid-rapidity.
This publication describes the methods used to measure the centrality of inelastic Pb-Pb collisions at a center-of-mass energy of 2.76 TeV per colliding nucleon pair with ALICE. The centrality is a key parameter in the study of the properties of QCD matter at extreme temperature and energy density, because it is directly related to the initial overlap region of the colliding nuclei. Geometrical properties of the collision, such as the number of participating nucleons and number of binary nucleon-nucleon collisions, are deduced from a Glauber model with a sharp impact parameter selection, and shown to be consistent with those extracted from the data. The centrality determination provides a tool to compare ALICE measurements with those of other experiments and with theoretical calculations.
Gemas Artikel 11 der FFH-Richtlinie ist ein Monitoring des Erhaltungszustandes der Arten von gemeinschaftlicher Bedeutung durchzufuhren. Weiterhin ist nach Artikel 12 eine fortlaufende Überwachung des unbeabsichtigten Fangs oder Tötens der Anhang IV-Tierarten vorgeschrieben, worauf gegebenenfalls weiterführende Erhaltungsmaßnahmen und Forschung aufbauen sollen. Im § 40 BNatSchG wird dieses Monitoring in die Verantwortung der Bundesländer übergeben.
Invasive coronary angiography (ICA) was the only method to image coronary arteries for a long time and is still the gold-standard. Technology of noninvasive imaging by coronary computed-tomography angiography (CCTA) has experienced remarkable progress during the last two decades. It is possible to visualize atherosclerotic lesions in the vessel wall in contrast to "lumenography" performed by ICA. Coronary artery disease can be ruled out by CCTA with excellent accuracy. The degree of stenoses is, however, often overestimated which impairs specificity. Atherosclerotic lesions can be characterized as calcified, non-calcified and partially calcified. Calcified plaques are usually quantified using the Agatston-Score. Higher scores are correlated with worse cardiovascular outcome and increased risk of cardiac events. For non-calcified or partially calcified plaques different angiographic findings like positive remodelling, a large necrotic core or spotty calcification more frequently lead to myocardial infarctions. CCTA is an important tool with increasing clinical value for ruling out coronary artery disease or relevant stenoses as well as for advanced risk stratification.
In situ single particle analysis of ice particle residuals (IPRs) and out-of-cloud aerosol particles was conducted by means of laser ablation mass spectrometry during the intensive INUIT-JFJ/CLACE campaign at the high alpine research station Jungfraujoch (3580 m a.s.l.) in January–February 2013. During the 4-week campaign more than 70 000 out-of-cloud aerosol particles and 595 IPRs were analyzed covering a particle size diameter range from 100 nm to 3 µm. The IPRs were sampled during 273 h while the station was covered by mixed-phase clouds at ambient temperatures between −27 and −6 °C. The identification of particle types is based on laboratory studies of different types of biological, mineral and anthropogenic aerosol particles. The outcome of these laboratory studies was characteristic marker peaks for each investigated particle type. These marker peaks were applied to the field data. In the sampled IPRs we identified a larger number fraction of primary aerosol particles, like soil dust (13 ± 5 %) and minerals (11 ± 5 %), in comparison to out-of-cloud aerosol particles (2.4 ± 0.4 and 0.4 ± 0.1 %, respectively). Additionally, anthropogenic aerosol particles, such as particles from industrial emissions and lead-containing particles, were found to be more abundant in the IPRs than in the out-of-cloud aerosol. In the out-of-cloud aerosol we identified a large fraction of aged particles (31 ± 5 %), including organic material and secondary inorganics, whereas this particle type was much less abundant (2.7 ± 1.3 %) in the IPRs. In a selected subset of the data where a direct comparison between out-of-cloud aerosol particles and IPRs in air masses with similar origin was possible, a pronounced enhancement of biological particles was found in the IPRs.
In-situ single particle analysis of ice particle residuals (IPR) and out-of-cloud aerosol particles was conducted by means of laser ablation mass spectrometry during the intensive INUIT-JFJ/CLACE campaign at the high alpine research station Jungfraujoch (3580 m a.s.l.) in January/February 2013. During the four week campaign more than 70000 out-of-cloud aerosol particles and 595 IPR were analyzed covering a particle size diameter range from 100 nm to 3 μm. The IPR were sampled during 273 hours while the station was covered by mixed-phase clouds at ambient temperatures between -27 °C and -6 °C. The identification of particle types is based on laboratory studies of different types of biological, mineral and anthropogenic aerosol particles. As outcome instrument specific marker peaks for the different investigated particle types were obtained and applied to the field data. The results show that the sampled IPR contain a larger relative amount of natural, primary aerosol, like soil dust (13 %) and minerals (11 %), in comparison to out-of-cloud aerosol particles (2 % and <1 %, respectively). Additionally, anthropogenic aerosol particles, like particles from industrial emissions and lead-containing particles, were found to be more abundant in the IPR than in the out-of-cloud aerosol. The out of-cloud aerosol contained a large fraction of aged particles (30 %, including organic material and secondary inorganics), whereas this particle type was much less abundant (3 %) in the IPR. In a selected subset of the data where a direct comparison between out-of-cloud aerosol particles and IPR in air masses with similar origin was possible, a pronounced enhancement of biological particles was found in the IPR.
Motivated by the question of correctness of a specific implementation of concurrent buffers in the lambda calculus with futures underlying Alice ML, we prove that concurrent buffers and handled futures can correctly encode each other. Correctness means that our encodings preserve and reflect the observations of may- and must-convergence. This also shows correctness wrt. program semantics, since the encodings are adequate translations wrt. contextual semantics. While these translations encode blocking into queuing and waiting, we also provide an adequate encoding of buffers in a calculus without handles, which is more low-level and uses busy-waiting instead of blocking. Furthermore we demonstrate that our correctness concept applies to the whole compilation process from high-level to low-level concurrent languages, by translating the calculus with buffers, handled futures and data constructors into a small core language without those constructs.
Motivated by our experience in analyzing properties of translations between programming languages with observational semantics, this paper clarifies the notions, the relevant questions, and the methods, constructs a general framework, and provides several tools for proving various correctness properties of translations like adequacy and full abstractness. The presented framework can directly be applied to the observational equivalences derived from the operational semantics of programming calculi, and also to other situations, and thus has a wide range of applications.
Various concurrency primitives have been added to sequential programming languages, in order to turn them concurrent. Prominent examples are concurrent buffers for Haskell, channels in Concurrent ML, joins in JoCaml, and handled futures in Alice ML. Even though one might conjecture that all these primitives provide the same expressiveness, proving this equivalence is an open challenge in the area of program semantics. In this paper, we establish a first instance of this conjecture. We show that concurrent buffers can be encoded in the lambda calculus with futures underlying Alice ML. Our correctness proof results from a systematic method, based on observational semantics with respect to may and must convergence.
We investigate methods and tools for analyzing translations between programming languages with respect to observational semantics. The behavior of programs is observed in terms of may- and mustconvergence in arbitrary contexts, and adequacy of translations, i.e., the reflection of program equivalence, is taken to be the fundamental correctness condition. For compositional translations we propose a notion of convergence equivalence as a means for proving adequacy. This technique avoids explicit reasoning about contexts, and is able to deal with the subtle role of typing in implementations of language extensions.
We investigate methods and tools for analyzing translations between programming languages with respect to observational semantics. The behavior of programs is observed in terms of may- and mustconvergence in arbitrary contexts, and adequacy of translations, i.e., the reflection of program equivalence, is taken to be the fundamental correctness condition. For compositional translations we propose a notion of convergence equivalence as a means for proving adequacy. This technique avoids explicit reasoning about contexts, and is able to deal with the subtle role of typing in implementations of language extensions.
We investigate methods and tools for analysing translations between programming languages with respect to observational semantics. The behaviour of programs is observed in terms of may- and mustconvergence in arbitrary contexts, and adequacy of translations, i.e., the reflection of program equivalence, is taken to be the fundamental correctness condition. For compositional translations we propose a notion of convergence equivalence as a means for proving adequacy. This technique avoids explicit reasoning about contexts, and is able to deal with the subtle role of typing in implementations of language extensions.
We investigate methods and tools for analysing translations between programming languages with respect to observational semantics. The behaviour of programs is observed in terms of may- and mustconvergence in arbitrary contexts, and adequacy of translations, i.e., the reflection of program equivalence, is taken to be the fundamental correctness condition. For compositional translations we propose a notion of convergence equivalence as a means for proving adequacy. This technique avoids explicit reasoning about contexts, and is able to deal with the subtle role of typing in implementations of language extensions.
Motivated by the question of correctness of a specific implementation of concurrent buffers in the lambda calculus with futures underlying Alice ML, we prove that concurrent buffers and handled futures can correctly encode each other. Correctness means that our encodings preserve and reflect the observations of may- and must-convergence, and as a consequence also yields soundness of the encodings with respect to a contextually defined notion of program equivalence. While these translations encode blocking into queuing and waiting, we also describe an adequate encoding of buffers in a calculus without handles, which is more low-level and uses busy-waiting instead of blocking. Furthermore we demonstrate that our correctness concept applies to the whole compilation process from high-level to low-level concurrent languages, by translating the calculus with buffers, handled futures and data constructors into a small core language without those constructs.