15 Hits in 13.1 sec

Formalising and analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider

Yi Ling Hwong, Jeroen J.A. Keiren, Vincent J.J. Kusters, Sander Leemans, Tim A.C. Willemse
2013 Science of Computer Programming  
The control software of the CERN Compact Muon Solenoid experiment contains over 30,000 finite state machines.  ...  verification of subsystems of the control software.  ...  We thank Giel Oerlemans, Dennis Schunselaar and Frank Staals from the Eindhoven University of Technology for their contribution to a first draft of the ASF+SDF translation.  ... 
doi:10.1016/j.scico.2012.11.009 fatcat:4q6zkhcjungwzm4qj45ctyey2a

Analysing the Control Software of the Compact Muon Solenoid Experiment at the Large Hadron Collider [chapter]

Yi-Ling Hwong, Vincent J. J. Kusters, Tim A. C. Willemse
2012 Lecture Notes in Computer Science  
The control software of the CERN Compact Muon Solenoid experiment contains over 30,000 finite state machines.  ...  The Compact Muon Solenoid (CMS) experiment is one of the four big experiments of the LHC.  ...  We thank Giel Oerlemans, Dennis Schunselaar and Frank Staals from the Eindhoven University of Technology for their contribution to a first draft of the  ... 
doi:10.1007/978-3-642-29320-7_12 fatcat:sc7fbjklavc5jf5u6e4hcufrwa

CMS data processing workflows during an extended cosmic ray run

CMS Collaboration
2010 Journal of Instrumentation  
, and for analysis of the data.  ...  With all installed detector systems participating, CMS recorded 270 million cosmic ray events with the solenoid at a magnetic field strength of 3.8 T.  ...  Acknowledgments We thank the technical and administrative staff at CERN and other CMS Institutes, and acknowledge support from: FMSR (Austria); FNRS and FWO (Belgium); CNPq, CAPES, FAPERJ, -24 -  ... 
doi:10.1088/1748-0221/5/03/t03006 fatcat:ympkjhtf35bgvlyfmrbjp7o67q

Phenomenology of the minimal B-L Model: the Higgs sector at the Large Hadron Collider and future Linear Colliders [article]

Giovanni Marco Pruna
2011 arXiv   pre-print
Finally, a complete survey of the distinctive Higgs boson signatures of the model at both the Large Hadron Collider and the future linear colliders is presented.  ...  This Thesis is devoted to the study of the phenomenology of the Higgs sector of the minimal $B-L$ extension of the Standard Model at present and future colliders.  ...  For this, two experimental frameworks have been taken into account: • the Large Hadron Collider (LHC). It is a hadron-hadron collider.  ... 
arXiv:1106.4691v1 fatcat:xnpfajk2h5felgbt6iigfqxdjq

DMP Planning for Big Science Projects [article]

Juan Bicarregui and Norman Gray and Rob Henderson and Roger Jones and Simon Lambert and Brian Matthews
2012 arXiv   pre-print
This report exists to provide high-level guidance for the strategic and engineering development of Data Management and Preservation plans for 'Big Science' data.  ...  For the purposes of this report, we presume that the reader is broadly persuaded (by external fiat if nothing else) of the need to preserve research data appropriately, and that they have both sophisticated  ...  Acknowledgements p38 About the authors p38 Document history p39 Glossary p40 References p44 Acknowledgements We are most grateful to the various people who provided comments on earlier drafts of this  ... 
arXiv:1208.3754v1 fatcat:44yblc77ljabfmyn7stjkqlf4y

Measurement of top quark properties from pair production and decay with the CMS detector

Christoph Rosemann
Semileptonic top quark pair decays are analysed using full simulation of the CMS detector at the proton-proton collider LHC.  ...  A complete analysis of event selection and reconstruction is performed with the goal of the determination of differential cross sections.  ...  The Compact Muon Solenoid (CMS) is one of the four experiments at the LHC, built to detect final state particles that are produced in the collisions.  ... 
doi:10.3204/desy-thesis-2009-006 fatcat:hciyus7gcnhprnqajlfukr4di4

The upgraded ATLAS detector for the search of new physics with diboson final states

Δέσποινα Δ. Σαμψωνίδου
In this dissertation, a study of WZ inclusive production as well as WZ production via the Vector Boson Scattering (VBS) process from proton-proton collisions at the Large Hadron Collider (LHC) at CERN  ...  The data analyzed in this study were recorded by the ATLAS experiment and correspond to integrated luminosity of 36.1 fb−1 at a centre-of-mass energy of 13 TeV.  ...  Acknowledgements This PhD has been a long journey for me, an intense and exciting experience which shaped me and made me evolve. One thing I learnt is that I cannot do research alone.  ... 
doi:10.26262/ fatcat:b77zk72ewfhofjmgbmbpv47zg4

Search for supersymmetry in pp collisions with all-hadronic final states using the αT variable with the CMS detector at the LHC

Bryn Lugh Shorney Mathias, Jordan Nash, Alexander Tapper
A search for supersymmetry in the exclusive hadronic and missing energy channel is presented on 5 fb-1 of data collected using the CMS detector at the LHC.  ...  The efficiency of the hadronic level one triggers is measured though-out the data taking period and a scheme to reduce the effects of multiple collisions per bunch crossing on the cross section of the  ...  Acknowledgements So the journey is coming to an end, working at CERN, analysing some of the first data produced at the LHC and recorded with the CMS detector and leaving a mark no matter how small on the  ... 
doi:10.25560/17844 fatcat:jyj3aqwk7re4fmo2pviqeev6xm

Search for Magnetic Monopoles and Stable High-Electric-Charge Objects in 13 TeV Proton-Proton Collisions with the ATLAS and MoEDAL Detectors

Anthony Eric Lionti, Philippe Mermod, Tobias Golling
The Large Hadron Collider (LHC) is the world's largest and highest energy particle collider with a design energy at centre of mass of 14 TeV and a 27 kilometres circumference.  ...  It is responsible for the discovery of the Higgs boson in 2012, last missing particle predicted by the Standard model, detected by both the Compact Muon Solenoid (CMS) detector and the A Toroidal LHC ApparatuS  ...  The Large Hadron Collider, ATLAS and MoEDAL by the number of reconstructed vertices N vtx as measured in the tracking detectors.  ... 
doi:10.13097/archive-ouverte/unige:144337 fatcat:44wgnh2shvehnkxwj3f7jb4ety

Coordinated Caching for High Performance Calibration using Z -> µµ Events of the CMS Experiment

Max Fischer
Today, the Large Hadron Collider (LHC) and its experiments are popularly seen as synonymous with experimental particle physics research.  ...  The Worldwide LHC Computing Grid (WLCG), and thus experiments at the Large Hadron Collider (LHC), would be impossible without software and infrastructure developments by the HEP community.  ...  Appendix D Job Router Integration This is the HTDA job hook configuration for use with HTCondor's job_router. 1 ### HPDA Schedd Setup 2 ### --------------------3 ### To be used on nodes that allow  ... 
doi:10.5445/ir/1000067354 fatcat:c25d7o4cn5dwxdlgnfc2u7m26e

20th CERN School of Computing [article]

Carlo E Vandoni
The project was highly innovative and very much ahead of its time. It also pioneered the use of hypertext on a large scale in education through the work of George Landow and others.  ...  Much of the code in relational database management software is to provide reasonable and predictable performance, data integrity and for reliability, security and the ability to scale when more users access  ...  Widget sets include the Athena widget set (X Windows), Motif (OSF collaboration of HP, Digital, Microsoft, IBM, etc.), OpenLook (Sun and AT&T), and Tcl/Tk.  ... 
doi:10.5170/cern-1997-008 fatcat:6kssvocyvbcgzgnblwl7lmctoi

Online Analysis of Dynamic Streaming Data

Eileen Kühn
Insbesondere wird durch die Ergebnisse dieser Arbeit die Analyse sich über die Zeit verändernder Daten ermöglicht.  ...  Die Arbeit zum Thema "Online Analysis of Dynamic Streaming Data" beschäftigt sich mit der Distanzmessung dynamischer, semistrukturierter Daten in kontinuierlichen Datenströmen um Analysen auf diesen Datenstrukturen  ...  For example the Compact Muon Solenoid (CMS) experiment uses a two-level approach: a trigger implemented in custom-build hardware, the so-called Level 1 trigger and a software trigger running in a dedicated  ... 
doi:10.5445/ir/1000083227 fatcat:d6jnrduvvfb6tj5w5rc2f2yjky

A Science Gateway for Molecular Simulations

Sandra Gesing, Peter Kacsuk, Miklos Kozlovsky, Georg Birkenheuer, Dirk Blunk, Sebastian Breuers, Andre Brinkmann, Gregor Fels, Richard Grunzke, Sonja Herres-Pawlis, Jens Krüger, Lars Packschies (+6 others)
Muon Solenoid (CMS) is one of the four main experiments (VOs) at the LHC and relies heavily on grid computing.  ...  (WLCG) provides the grid infrastructure used by the experiments of the Large Hadron Collider at CERN, which started taking data this year.  ... 
doi:10.18154/rwth-2015-04977 fatcat:4xsrx6padrdpfflja23ztvudnm

19th CERN School of Computing [article]

Carlo E Vandoni
Unfortunately estimation of the model parameters from the degraded sequence is hampered due to presence of noise, dirt and motion.  ...  Abstract After a brief overview of image science and image processing, we concentrate on the topic of image enhancement, restoration, and reconstruction, and offer three insights: (i) Severely degraded  ...  Acknowledgments This research was carried out while both authors worked at the University of Southern California.  ... 
doi:10.5170/cern-1996-008 fatcat:un3kblsloja45p2vzquj4weaby

Advanced reduction techniques for model checking [article]

JJA Jeroen Keiren, TAC Tim Willemse, JF Jan Friso Groote
Formalising and Analysing the Control Software of the Compact Muon Solenoid Experiment at the Large Hadron Collider. Accepted for publication in Science of Computer Programming.  ...  of the detector controls software of the CMS detector of the large hadron collider at CERN [Hwo+13] .  ...  Define c = c[i 1 ], . . . c[i n ] for i n ∈ I, and f = e[i 1 ], . . . e[i n ] to be the vectors of control flow parameters for which the destination is undefined, and the values that are assigned to them  ... 
doi:10.6100/ir757862 fatcat:g33hz23cizcbba7k3kuyk375cu