The level-1 muon trigger of ATLAS, in the barrel region, makes use of a dedicated detector RPC, Resistive Plate Chamber. The processing procedure is accomplished through a Low Pt and a High Pt trigger. To reduce the rate of accidental triggers, due to the background noise in the cavern, for both Low Pt and High Pt , the algorithm is performed in the η and φ projections. The Low Pt trigger uses ...

Checking safety properties is mandatory in the validation process of critical software. When formal verification tools fail to prove some properties, testing is necessary. Generation of counterexamples violating some properties is therefore an important issue, especially for tricky programs the test cases of which are very difficult to compute. We propose in this paper different constraint ∗Ce ...

The ATLAS experiment at the CERN Large Hadron Collider (LHC) started data-taking in Autumn 2008 with the inauguration of the LHC. The Inner Detector is a tracking system for charged particles based on three technologies: silicon pixels, silicon microstrips and drift tubes. The detector was commissioned and calibrated in the ATLAS cavern. Cosmic muons data are used for timing the different compo...

Ancient historical references consistently describe an intoxicating gas, produced by a cavern in the ground, as the source of the power at the oracle of Delphi. These ancient writings are supported by a series of associated geological findings. Chemical analysis of the spring waters and travertine deposits at the site show these gases to be the light hydrocarbon gases methane, ethane, and ethyl...

The luminosity upgrade of the Large Hadron Collider at CERN (sLHC) foresees a luminosity increase by a factor 5 compared to the LHC. To cope with the corresponding increase in background rates, the Muon System of the ATLAS experiment at CERN will likely need major changes in the very forward/backward region (the high rapidity region). The Muon ATLAS MicroMegas Activity (MAMMA) is focused on the...

A model-based optimal operation strategy for an energy storage system exhibiting significant stand-by energy losses is presented. Specifically, a thermodynamic model of an advanced adiabatic compressed air energy storage (AA-CAES) plant, consisting of compression/expansion trains, a thermal energy storage (TES) system, and an underground cavern for compressed air storage, is used in this work. ...

Abstract The occurrence of disasters in deep mining engineering has been confirmed to be closely related the external dynamic disturbances and geological discontinuities. Thus, a combined finite-element method was employed simulate failure process an underground cavern, which provided insights into mechanism hard rock affected by factors such as stress-wave amplitudes, disturbance direction, di...

The author wishes to make a change the mail address of Dr [...]

While interest in underground gas storage (UGS) of hydrogen (H 2 ) salt caverns is increasing a growing H economy, knowledge the microbial communities inhabiting those hypersaline environments still scarce. High concentrations and limited availability carbon (C) sources cavern reduce growth rates metabolic activities. Growth conditions potentially change once stored caverns. universal electron ...