Related papers: Fast Detector Simulation Using Lelaps, Detector De…
Traditionally, a simulation of a dense stellar system required choosing an initial model, running an integrator, and analyzing the output. Almost all of the effort went into writing a clever integrator that could handle binaries, triples…
Safety of the Intended Functionality (SOTIF) addresses sensor performance limitations and deep learning-based object detection insufficiencies to ensure the intended functionality of Automated Driving Systems (ADS). This paper presents a…
In this paper, we propose SimLM (Similarity matching with Language Model pre-training), a simple yet effective pre-training method for dense passage retrieval. It employs a simple bottleneck architecture that learns to compress the passage…
The CDF detector simulation framework is integrated into an AC++ application used to process events in the CDF experiment. The simulation framework is based on the GEANT3 package. It holds the detector element geometry descriptions, allows…
We propose a novel scheme for performing a beam-dump-like experiment with the general-purpose detectors (ATLAS and CMS) at the LHC. Collisions of high-energy protons result in jets containing a number of energetic hadrons and…
Real time data acquisition systems in nuclear science often rely on high-speed logic designs to reach the fast data rate requirements. They are mostly coded in a hardware description language (HDL). However, in recent years, high level…
The Linear Accelerator 4 (LINAC 4) is designed to accelerate negative hydrogen ions to high energies for injection into the Large Hadron Collider (LHC), where it has been supplying proton beams since 2020. LINAC 4 accelerates negative…
Glass RPC detectors are an attractive candidate for the active part of a highly granular digital hadron calorimeter (DHCAL) at the ILC. A numerical study, based on the GEANT3 simulation package, of the performance of such a calorimeter is…
To meet the timing resolution requirement of up-coming High Luminosity LHC (HL-LHC), a new detector based on the Low-Gain Avalanche Detector(LGAD), High-Granularity Timing Detector (HGTD), is under intensive research in ATLAS. Two types of…
The characteristics of the Solid-state Neutron Detector, under development for neutron-scattering measurements at the European Spallation Source, have been simulated with a Geant4-based computer code. The code models the interations of…
This paper focuses on YOLO-LITE, a real-time object detection model developed to run on portable devices such as a laptop or cellphone lacking a Graphics Processing Unit (GPU). The model was first trained on the PASCAL VOC dataset then on…
The method of sequential simulation of liquid metal droplet deformation by a laser pulse is considered. The first stage is the laser impact on a droplet. It was simulated using RALEF-2D code, based on the radiative gas dynamic model. The…
In this paper, we propose an efficient and fast object detector which can process hundreds of frames per second. To achieve this goal we investigate three main aspects of the object detection framework: network architecture, loss function…
With the rapid development of large vision language models (LVLMs), these models have shown excellent results in various multimodal tasks. Since LVLMs are prone to hallucinations and there are currently few datasets and evaluation methods…
We present the GLoBES (``General Long Baseline Experiment Simulator'') software package, which allows the simulation of long-baseline and reactor neutrino oscillation experiments. One part of the software is the abstract experiment…
High-Level Synthesis (HLS) is emerging as a mainstream design methodology, allowing software designers to enjoy the benefits of a hardware implementation. Significant work has led to effective compilers that produce high-quality hardware…
The use of fast pixelated detectors and direct electron detection technology is revolutionising many aspects of scanning transmission electron microscopy (STEM). The widespread adoption of these new technologies is impeded by the technical…
While robotic manipulation of rigid objects is quite straightforward, coping with deformable objects is an open issue. More specifically, tasks like tying a knot, wiring a connector or even surgical suturing deal with the domain of…
Pipelining between data loading and computation is a critical tensor program optimization for GPUs. In order to unleash the high performance of latest GPUs, we must perform a synergetic optimization of multi-stage pipelining across the…
In this paper, we provide a comprehensive, hands-on tutorial on how to apply deductive verification to programs written in OCaml. In particular, we show how one can use the GOSPEL specification language and the Cameleer tool to conduct…