ALICE [1, 2] is the dedicated heavy-ion experiment at the Large Hadron Collider (LHC). The main physics goal of the experiment is the study of strongly-interacting matter in the conditions of high energy density (> 10 GeV/fm) and high temperature (> ∼ 0.2 GeV), expected to be reached in central Pb–Pb collisions at √ sNN = 5.5 TeV. Under these conditions, according to lattice QCD calculations, q...

Eve is active, we need to determine the upper bound on the probability of the event that Alice and Bob do not both reject although secret-key agreement has not been successful. There are two cases in which this can occur: one is where Eve successfully guesses a = &(S) to impersonate Bob and makes Alice accept. The other case is where, after Eve saw&(S), she successfully guesses c = f,(S) to imp...

This paper reports on a quite large experience in implementing a procedurally introspective system (PIS), ALICE, in which a well known problem is faced: the integration between LISP and Horn clauses. This exercise is motivated by a recognized lack of experience in implementing PISs to deal with actual A.I. programming problems. ALICE is composed of two procedurally introspective languages based...

Assume Alice and Bob share some bipartite d-dimensional quantum state. A wellknown result in quantum mechanics says that by performing two-outcome measurements, Alice and Bob can produce correlations that cannot be obtained locally, i.e., with shared randomness alone. We show that by using only two bits of communication, Alice and Bob can classically simulate any such correlations. All previous...

We show that, despite the fact that Alice&Bob;–notation does not include explicit control flowconstructs, it is possible to make some of these aspects explicit and thus produce formal protocolmodels without having to resort to more expressive protocol description languages. We introducea notion of incremental symbolic runs to formally handle message forwarding and conditionalabor...

ALICE, the experiment dedicated to the study of heavy ion collisions at the LHC, uses an object-oriented framework for simulation, reconstruction and analysis (AliRoot) based on ROOT. Here, we describe the general ALICE simulation strategy and those components of the framework related to simulation. Two main requirements have driven the development of the simulation components. First, the possi...

eShadow is a storytelling tool that can be used from both adults and children in order to create, record, share and watch digital shadow theater plays. It is based on the traditional Greek Shadow Theatre, which has a long history of usage in entertainment and education, particularly pre-school and primary school education. We present our experience from the use of eShadow in the ALICE ALPPs con...

Since its release in 1999, the LHC experiments have been evaluating Geant4 in view of adopting it as a replacement for the obsolescent Geant3 transport MonteCarlo. The ALICE collaboration has decided to perform a detailed physics validation of elementary hadronic processes against experimental data already used in international benchmarks. In one test, proton interactions on different nuclear t...