English
Related papers

Related papers: LHCO_reader: A new code for reading and analyzing …

200 papers

Query-based object detectors have made significant advancements since the publication of DETR. However, most existing methods still rely on multi-stage encoders and decoders, or a combination of both. Despite achieving high accuracy, the…

Computer Vision and Pattern Recognition · Computer Science 2023-09-29 Jialin Li , Weifu Fu , Yuhuan Lin , Qiang Nie , Yong Liu

The Large Hadron Electron Collider (LHeC) is a proposed upgrade to the LHC, to provide high energy, high luminosity electron-proton collisions to run concurrently with Phase 2 of the LHC. The baseline design of a detector for the LHeC is…

Accelerator Physics · Physics 2013-10-10 Peter Kostka , Alessandro Polini , David M. South

Model checking is a fundamental technique for verifying finite state concurrent systems. Traditionally, model designs were initially created to facilitate the application of model checking. This process, representative of Model Driven…

Software Engineering · Computer Science 2024-12-12 Yojiro Harie , Yuto Ogata , Gautam Bishnu Prasad , Katsumi Wasaki

We describe the multi-purpose Monte-Carlo event generator WHIZARD for the simulation of high-energy particle physics experiments. Besides the presentation of the general features of the program like SM physics, BSM physics, and QCD effects,…

High Energy Physics - Phenomenology · Physics 2014-10-17 J. Reuter , F. Bach , B. Chokoufe Nejad , W. Kilian , T. Ohl , M. Sekulla , C. Weiss

After the current shutdown, the LHC is about to resume operation for a new data-taking period, when it will operate with increased luminosity, event rate and center of mass energy. The new conditions will impose more demanding constraints…

Instrumentation and Detectors · Physics 2019-08-13 Sebastien Prince

The LHCb detector has undergone a major upgrade for LHC Run 3. This Upgrade I detector facilitates operation at higher luminosity and utilises full-detector information at the LHC collision rate, critically including the use of vertex…

HolPy is an interactive theorem proving system implemented in Python. It uses higher-order logic as the logical foundation. Its main features include a pervasive use of macros in producing, checking, and storing proofs, a JSON-based format…

Logic in Computer Science · Computer Science 2020-01-28 Bohua Zhan

Training next-generation code generation models requires high-quality datasets, yet existing datasets face difficulty imbalance, format inconsistency, and data quality problems. We address these challenges through systematic data processing…

Computation and Language · Computer Science 2026-03-10 Zongqian Li , Tengchao Lv , Shaohan Huang , Yixuan Su , Qinzheng Sun , Qiufeng Yin , Ying Xin , Scarlett Li , Lei Cui , Nigel Collier , Furu Wei

We introduce torchbearer, a model fitting library for pytorch aimed at researchers working on deep learning or differentiable programming. The torchbearer library provides a high level metric and callback API that can be used for a wide…

Machine Learning · Computer Science 2018-09-11 Ethan Harris , Matthew Painter , Jonathon Hare

For the International Large Detector (ILD) at the planned International Linear Collider (ILC) a Time Projection Chamber (TPC) is foreseen as the main tracking detector. To achieve the required point resolution, Micro-Pattern Gaseous…

Instrumentation and Detectors · Physics 2020-06-26 Ties Behnke , Ralf Diener , Ulrich Einhaus , Uwe Krämer , Paul Malek , Oliver Schäfer , Mengqing Wu

Mainly due to their outstanding performance the position sensitive silicon detectors are widely used in the tracking systems of High Energy Physics experiments such as the ALICE, ATLAS, CMS and LHCb at LHC, the world's largest particle…

Instrumentation and Detectors · Physics 2017-11-16 Timo Peltola

We present a system for interactive examination of learned security policies. It allows a user to traverse episodes of Markov decision processes in a controlled manner and to track the actions triggered by security policies. Similar to a…

Cryptography and Security · Computer Science 2024-04-23 Kim Hammar , Rolf Stadler

The article presents the torchosr package - a Python package compatible with PyTorch library - offering tools and methods dedicated to Open Set Recognition in Deep Neural Networks. The package offers two state-of-the-art methods in the…

Machine Learning · Computer Science 2024-02-12 Joanna Komorniczak , Pawel Ksieniewicz

This research introduces an innovative voice-assisted debugging plugin for Python that transforms silent runtime errors into actionable audible diagnostics. By implementing a global exception hook architecture with pyttsx3 text-to-speech…

The staged commissioning of the Large Hadron Collider presents an opportunity to map gross features of particle production over a significant energy range. I suggest a visual tool - event displays in (pseudo)rapidity-transverse-momentum…

High Energy Physics - Phenomenology · Physics 2010-01-14 Chris Quigg

New sets of CMS underlying-event parameters ("tunes") are presented for the PYTHIA8 event generator. These tunes use the NNPDF3.1 parton distribution functions (PDFs) at leading (LO), next-to-leading (NLO), or next-to-next-to-leading (NNLO)…

High Energy Physics - Experiment · Physics 2020-01-07 CMS Collaboration

We introduce a new high dimensional algorithm for efficiency corrected, maximally Monte Carlo event generator independent fiducial measurements at the LHC and beyond. The approach is driven probabilistically using a Deep Neural Network on…

Data Analysis, Statistics and Probability · Physics 2018-09-18 Mikael Mieskolainen

At high energy physics experiments, processing billions of records of structured numerical data from collider events to a few statistical summaries is a common task. The data processing is typically more complex than standard query…

Data Analysis, Statistics and Probability · Physics 2019-10-22 Joosep Pata , Maria Spiropulu

A new LISA simulator (LISACode) is presented. Its ambition is to achieve a new degree of sophistication allowing to map, as closely as possible, the impact of the different sub-systems on the measurements. LISACode is not a detailed…

General Relativity and Quantum Cosmology · Physics 2008-11-26 Antoine Petiteau , G. Auger , H. Halloin , O. Jeannin , E. Plagnol , Sophie Pireaux , Tania Regimbau , J. -Y. Vinet