Related papers: SySal: System of Salerno
Ensuring correctness is a pivotal aspect of software engineering. Among the various strategies available, software verification offers a definitive assurance of correctness. Nevertheless, writing verification proofs is resource-intensive…
ALICE is the CERN LHC experiment optimised for the study of the strongly interacting matter produced in heavy-ion collisions and devoted to the characterisation of the quark-gluon plasma. To achieve the physics program for LHC Run 3, a…
New detector approaches in Positron Emission Tomography imaging will play an important role in reducing costs, lowering administered radiation doses, and improving overall performance. PETALO employs liquid xenon as the active scintillating…
SHiP (Search for Hidden Particles) is a beam dump experiment proposed at the CERN SPS aiming at the observation of long lived particles very weakly coupled with ordinary matter mostly produced in the decay of charmed hadrons. The beam dump…
Nuclear emulsion, a tracking detector with sub-micron position resolution, has played a successful role in the field of particle physics and the analysis speed has been substantially improved by the development of automated scanning…
Diffuse Reflectance Spectroscopy (DRS) is a well-established optical technique for tissue composition assessment which has been clinically evaluated for tumour detection to ensure the complete removal of cancerous tissue. While point-wise…
High-quality saliency maps are essential in several machine learning application areas including explainable AI and weakly supervised object detection and segmentation. Many techniques have been developed to generate better saliency using…
The Detector Safety System (DSS), currently being developed at CERN under the auspices of the Joint Controls Project (JCOP), will be responsible for assuring the protection of equipment for the four LHC experiments. Thus, the DSS will…
Dynamic surface-enhanced Raman spectroscopy (SERS) is nowadays one of the most interesting applications of SERS, in particular for single molecule studies. In fact, it enables the study of real-time processes at the molecular level. This…
Perception systems play a crucial role in autonomous driving, incorporating multiple sensors and corresponding computer vision algorithms. 3D LiDAR sensors are widely used to capture sparse point clouds of the vehicle's surroundings.…
Synchrotron infrared hyperspectral microscopy is a label-free and non-invasive technique well suited for imaging of chemical events in situ. It can track the spatial and temporal distributions of molecules of interests in a specimen in its…
A fluorescence correlation spectroscopy (FCS) system based on two independent measurement volumes is presented. The optical setup and data acquisition hardware are detailed, as well as a complete protocol to control the location, size and…
Large-scale simulation studies can provide invaluable insights across computational engineering efforts, but they are often computationally demanding, requiring the use of distributed computing, which is itself not a simple task.…
SEAL is a static analyser for the verification of programs that manipulate unbounded linked data structures. It is based on separation logic to represent abstract memory states and, unlike other separation-logic-based approaches, it employs…
Simulation-guided design represents a fundamental contribution towards the development of modern semiconductor devices aiming to reach high-performance particle detection, identification and tracking, and constitutes a strategic element of…
We present a procedure that in many cases enables the Monte Carlo sampling of states of a large system from the sampling of states of a smaller system. We illustrate this procedure, which we call the sewing algorithm, for sampling states…
The OPERA neutrino detector in the underground Gran Sasso Laboratory (LNGS) was designed to perform the first detection of neutrino oscillations in appearance mode through the study of $\nu_\mu\to\nu_\tau$ oscillations. The apparatus…
Event cameras are bio-inspired sensors providing significant advantages over standard cameras such as low latency, high temporal resolution, and high dynamic range. We propose a novel structured-light system using an event camera to tackle…
Monte Carlo simulation code has been developed and tested for studying the passage of charged particle beams and radiation through the crystalline matter at energies from tens of MeV up to hundreds of GeV. The developed Monte Carlo code…
Software engineering practices for validating autonomous cyber-physical systems (e.g., Uncrewed Aerial Vehicles) remain fragmented across scenario design, simulation execution, and telemetry analysis, limiting traceability between…