Related papers: Accelerating LHC phenomenology with analytic one-l…
The key to performance optimization of a program is to decide correctly when a certain transformation should be applied by a compiler. This is an ideal opportunity to apply machine-learning models to speed up the tuning process; while this…
The state-of-the-art in optimal control from timed temporal logic specifications, including Metric Temporal Logic (MTL) and Signal Temporal Logic (STL), is based on Mixed-Integer Convex Programming (MICP). The standard MICP approach is…
We present an extension of the simplified fast detector simulator of MadAnalysis 5 - the SFS framework - with methods making it suitable for the treatment of long-lived particles of any kind. This allows users to make use of intuitive…
The HL-LHC phase is designed to increase by an order of magnitude the amount of data to be collected by the LHC experiments. To achieve this goal in a reasonable time scale the instantaneous luminosity would also increase by an order of…
High-multiplicity events remain a bottleneck for LHC simulations due to their computational cost. We present a ML-surrogate approach to accelerate matrix element reweighting from leading-color (LC) to full-color (FC) accuracy, building on…
We discuss algebraic/numeric methods to compute one-loop corrections for multiparticle/jet production cross sections. By using efficient reduction algorithms a compact expression for the ggg\gamma\gamma -> 0 amplitude is obtained. Further a…
In this article, we establish a class of new accelerated modulus-based iteration methods for solving the linear complementarity problem. When the system matrix is an $H_+$-matrix, we present appropriate criteria for the convergence…
Parallel programming remains one of the most challenging aspects of High-Performance Computing (HPC), requiring deep knowledge of synchronization, communication, and memory models. While modern C++ standards and frameworks like OpenMP and…
The family of Multiscale Hybrid-Mixed (MHM) finite element methods has received considerable attention from the mathematics and engineering community in the last few years. The MHM methods allow solving highly heterogeneous problems on…
High-Level Synthesis allows hardware designers to create complex RTL designs using C/C++. The traditional HLS workflow involves iterations of C/C++ simulation for partial functional verification and HLS synthesis for coarse timing…
We present compact analytic expressions for all one-loop helicity amplitudes contributing to ttbar production at hadron colliders. Using recently developed generalised unitarity methods and a traditional Feynman based approach we produce a…
There is currently a high demand for theoretical predictions for processes at next-to-next-to-leading order (NNLO) and beyond, mainly due to the large amount of data which has already been collected at LHC. This requires practical methods…
The sophistication of fully exclusive MC event generation has grown at an extraordinary rate since the start of the LHC era, but has been mirrored by a similarly extraordinary rise in the CPU cost of state-of-the-art MC calculations. The…
Monte Carlo (MC) simulations of many systems, in particular those with conflicting constraints, can be considerably speeded up by using multicanonical or related methods. Some of these approaches sample with a-priori unknown weight factors.…
We review the recently developed bootstrap method for the computation of high-multiplicity QCD amplitudes at one loop. We illustrate the general algorithm step by step with a six-point example. The method combines (generalized) unitarity…
Computing the marginal likelihood or evidence is one of the core challenges in Bayesian analysis. While there are many established methods for estimating this quantity, they predominantly rely on using a large number of posterior samples…
Describing correlated electron systems near phase transitions has been a major challenge in computational condensed-matter physics. In this paper, we apply highly accurate fixed node quantum Monte Carlo techniques, which directly work with…
This work aims to bridge the existing knowledge gap in the optimisation of latency-critical code, specifically focusing on high-frequency trading (HFT) systems. The research culminates in three main contributions: the creation of a…
A grand canonical Monte Carlo (MC) algorithm is presented for studying the lattice gas model (LGM) of multiple protein sequence alignment, which coherently combines long-range interactions and variable-length insertions. MC simulations are…
We review some of the recent advances in the computation of one-loop scattering amplitudes which led to the construction of efficient and automated computational tools for NLO predictions. Particular attention is devoted to unitarity-based…