相关论文: Qualification Procedures of the CMS Pixel Barrel M…
Multitude of antennas are typically used in microwave imaging systems. Here we outline a simple and effective calibration method for multiport imaging systems. By using only one additional component, an electronic calibration module (ECal),…
For the PIP-II program, transverse emittance in the Fermilab Booster must remain well controlled at higher bunch intensities. 4-plate beam position monitors (BPMs) have a small but measurable quadrupole moment, making it possible to infer…
The rapid proliferation of benchmarks for evaluating large language models (LLMs) has created an urgent need for systematic methods to assess benchmark quality itself. We propose Benchmark^2, a comprehensive framework comprising three…
As the start up date for LHC approaches, the detectors are readying for data taking. Here a review will be given on the construction phase with insights into the various difficulties encountered during the process. An overview will also be…
Single gap (gas gap 2 mm) bakelite Resistive Plate Chamber (RPC) modules of various sizes from 10 cm \times 10 cm to 1 m \times 1 m have been fabricated, characterized and optimized for efficiency and time resolution. Thin layers of…
As part of its HL-LHC upgrade program, the CMS Collaboration is developing a High Granularity Calorimeter (CE) to replace the existing endcap calorimeters. The CE is a sampling calorimeter with unprecedented transverse and longitudinal…
In this thesis a comprehensive verification framework is proposed to contend with some important issues in composability verification and a verification process is suggested to verify composability of different kinds of systems models, such…
Monolithic CMOS pixel detectors have emerged as competitive contenders in the field of high-energy particle physics detectors. By utilizing commercial processes they offer high-volume production of such detectors. A series of prototypes has…
We present the Cosmology and Astrophysics with MachinE Learning Simulations --CAMELS-- project. CAMELS is a suite of 4,233 cosmological simulations of $(25~h^{-1}{\rm Mpc})^3$ volume each: 2,184 state-of-the-art (magneto-)hydrodynamic…
In preparation of the operation of the CMS electromagnetic calorimeter (ECAL) barrel at the High Luminosity Large Hadron Collider (HL-LHC) the entire on-detector electronics will be replaced. The new readout electronics comprises 12240 very…
In this paper, a framework of beamspace channel estimation in millimeter wave (mmWave) massive MIMO system is proposed. The framework includes the design of hybrid precoding and combining matrix as well as the search method for the largest…
We present twenty-five C programs, as a benchmark for C program verification using formal methods. This benchmark can be used for system demonstration, for comparison of verification effort between systems, and as a friendly competition.…
A simple, analytically correct algorithm is developed for calculating pencil beam coordinates using the signals from an ideal cylindrical particle beam position monitor (BPM) with four pickup electrodes (PUEs) of infinitesimal widths. The…
Beam position monitors (BPMs) are indispensable components of modern particle accelerators, providing real-time diagnostics to ensure precise beam control, stability, and quality. As accelerators such as the International Linear Collider…
This document provides a brief overview of different metrics and terminology that is used to measure the performance of binary classification systems.
We present a Python module for simulating Silicon Photo-Multipliers, Avalanche Photo-Diodes, and Multi-Pixel Photon Counters. This module allows users to perform noise analyses: Dark Count Rate, crosstalk, and afterpulsing. Furthermore, the…
The accurate characterization of quantum systems is essential for the advancement of quantum technologies. In particular, certifying convex functions of quantum states plays a central role in many applications. We present a certification…
The CARMA 1.3 mm polarization system consists of dual-polarization receivers that are sensitive to right- (R) and left-circular (L) polarization, and a spectral-line correlator that measures all four cross polarizations (RR, LL, LR, RL) on…
A highly granular hadronic calorimeter (HCAL) based on scintillator tiles with individual readout by silicon photomultipliers (SiPMs) has been constructed by the CALICE collaboration and has been tested extensively in particle beams at…
We introduce Pencil Puzzle Bench, a framework for evaluating large language model reasoning through pencil puzzles, a family of constraint-satisfaction problems closely related to NP-complete problems, with deterministic, step-level…