CERN Accelerating science

All CERN Accelerators documents

Announcement
This new collection aggregates CERN accelerator-related documents on CDS. It will continuously be enriched and improved in the near future.
Latest additions:
2014-10-20
17:18
Formal verication of complex properties on PLC programs / Darvas, D ; Fernandez Adiego, B ; Voros, A ; Bartha, T ; Blanco Vinuela, E ; Gonzalez Suarez, V M
Formal verification has become a recommended practice in the safety-critical application areas. However, due to the complexity of practical control and safety systems, the state space explosion often prevents the use of formal analysis. [...]
CERN-ACC-2014-0222.- Geneva : CERN, 2014 - 16 p. Fulltext: PDF;
In : 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems, Berlin, Germany, 3 - 6 Jun 2014, pp.34th IFIP International Conference

Detailed record - Similar records
2014-10-20
16:50
Bringing Automated Model Checking to PLC Program Development A CERN Case Study / Fernandez Adiego, B ; Darvas, D ; Tournier, J-C ; Blanco Vinuela, E ; Gonzalez Suarez, V M
Verification of critical software is a high priority but a challenging task for industrial control systems. [...]
CERN-ACC-2014-0221.
- 2014. - 6 p.
Full text

Detailed record - Similar records
2014-10-20
16:00
120 Years of Accelerators that Heal / Amaldi, Ugo (speaker) (Tech. U., Munich (main) ; TERA, Novara)
2013. (John Adams' Lecture ; 29)
John Adams' Lectures - Transparencies

Detailed record - Similar records
2014-10-20
15:45
Accelerator-Based Neutrino Physics: Past, Present and Future / Long, Kenneth (speaker) (Imperial Coll., London)
The study of the neutrino is the study of physics beyond the Standard Model. [...]
2014. (John Adams' Lecture ; 30)
John Adams' Lectures - Abstract

Detailed record - Similar records
2014-10-20
09:15
CLIC Workshop 2015 - CLIC Workshop 2015   26 - 30 Jan 2015  - Geneva, Switzerland  .-
2015 Conference home page

Detailed record - Similar records
2014-10-20
09:05
Analytical and numerical calculation of quench forces in the LHC quadrupole screen / Poncet, A ; Valbuena, R
Technical Note-MT-ESH-94-10 ; CERN-MT-ESH-TechNote 94-10 ; MT-ESH-AP-RV-cb.
- 1994. - 15 p.

Detailed record - Similar records
2014-10-17
07:44
Beam-beam effects in the high-pile-up tests of the LHC / Trad, G (CERN)
Investigating the beam-beam limit in the LHC is of great importance, since identifying its source is crucial for the luminosity optimization scenario. Several experiments were carried out to search for this limit and check whether it is dominated by the head-on (HO) or the long-range (LR) interactions. [...]
arXiv:1410.4403.- 2014 - 7 p. - Published in : CERN Yellow Report CERN-2014-004, pp.75-81 Fulltext: PDF; External link: Preprint

Detailed record - Similar records
2014-10-17
07:44
Stability diagram of colliding beams / Buffat, X (EPFL, Lausanne) ; Herr, W (CERN) ; Mounet, N (CERN) ; Pieloni, T (CERN)
The effect of the beam-beam interactions on the stability of impedance mode is discussed. The detuning is evaluated by the means of single particle tracking in arbitrarily complex collision configurations, including lattice non-linearities, and used to numerically evaluate the dispersion integral. [...]
arXiv:1410.4069.- 2014 - 5 p. - Published in : CERN Yellow Report CERN-2014-004, pp.57-61 Fulltext: PDF; External link: Preprint

Detailed record - Similar records
2014-10-16
14:55
Beyond the Large Hadron Collider: a first look at cryogenics for CERN future circular colliders / Lebrun, Ph (CERN) ; Tavian, L (CERN)
Following the first experimental discoveries at the Large Hadron Collider (LHC) and the recent update of the European strategy in particle physics, CERN has undertaken an international study of possible future circular colliders beyond the LHC. [...]
CERN-ACC-2014-0220.
- 2014. - 8 p.
Full text

Detailed record - Similar records
2014-10-15
14:17
Accélérateurs de Particules et Projets de l’Union Européenne / Vretenar, M (CERN)
CERN-ACC-SLIDES-2014-0091.- Geneva : CERN, 2014 Fulltext: PPTX;

Detailed record - Similar records