相关论文: Simulation of a RICH Detector for the CKM Experime…

Combinatorial Testing (CT) tools are essential to test properly a wide range of systems (train systems, Graphical User Interfaces (GUIs), autonomous driving systems, etc). While there is an active research community working on developing CT…

We apply the Charge Simulation Method (CSM) in order to compute the logarithmic capacity of compact sets consisting of (infinitely) many "small" components. This application allows to use just a single charge point for each component. The…

In this work we present a prototype for simulating computer network attacks. Our objective is to simulate large networks (thousands of hosts, with applications and vulnerabilities) while remaining realistic from the attacker's point of…

Nowadays RPCs are in a booming phase: they are successfully used in many experiments, including LHC; there are ambitious plans to use them in several upgrade detectors and in some new experiments as well as in various applications. The aim…

This study, conducted among more than 250 physics and chemistry teachers in Morocco, analyzes the impact of experimentation on student learning and attention in middle and high school. The results show that the majority of teachers favor…

The use of a TPC in future collider experiments needs significant research and development. Within the EUDET program an infrastructure has been designed and built to allow the efficient testing of TPC prototypes under realistic conditions.…

In this paper we present an exhaustive description of the basic types of CNTFETs. In particular we review two models, already proposed by us, which allow an easy implementation in circuit simulators, both in analog and in digital…

With the proliferation of various online and mobile payment systems, credit card fraud has emerged as a significant threat to financial security. This study focuses on innovative applications of the latest Transformer models for more robust…

A goodness-of-fit test for the fitting of a parametric model to data obtained from a detector with finite resolution and limited acceptance is proposed. The parameters of the model are found by minimization of a statistic that is used for…

The CMS pixel detector is the innermost component of the CMS tracker occupying the region around the centre of CMS, where the LHC beams are crossed, between 4.3 cm and 30 cm in radius and 46.5 cm along the beam axis. It operates in a…

A vector-valued model-based cumulative sum (CUSUM) procedure is proposed for identifying faulty/falsified sensor measurements. First, given the system dynamics, we derive tools for tuning the CUSUM procedure in the fault/attack free case to…

Motivation: In a predictive modeling setting, if sufficient details of the system behavior are known, one can build and use a simulation for making predictions. When sufficient system details are not known, one typically turns to machine…

The Compact Linear Collider, CLIC, is a multi-TeV electron-positron collider proposed for construction at CERN. A detector model, CLICdet, that is suited for the experimental conditions at CLIC and is based on realistic performance, has…

Semiconductor pixel detectors offer features for the detection of radiation which are interesting for particle physics detectors as well as for imaging e.g. in biomedical applications (radiography, autoradiography, protein crystallography)…

Markov Chain Monte Carlo (MCMC) algorithms are a workhorse of probabilistic modeling and inference, but are difficult to debug, and are prone to silent failure if implemented naively. We outline several strategies for testing the…

Model checkers use automated state exploration in order to prove various properties such as reachability, non-reachability, and bisimulation over state transition systems. While model checkers have proved valuable for locating errors in…

Results of the CMS Silicon Strip Tracker performance are presented as obtained in the setups where the tracker is being commissioned.

Selecting an optimal classification model requires a robust and comprehensive understanding of the performance of the model. This paper provides a tutorial on the PyCM library, demonstrating its utility in conducting deep-dive evaluations…

Simulation is one of the most powerful tools we have for evaluating the performance of Opportunistic Networks. In this survey, we focus on available tools and models, compare their performance and precision and experimentally show the…

The Pixel Detector is the innermost part of the CMS Tracker. It therefore has to prevail in the harshest environment in terms of particle fluence and radiation. There are several mechanisms that may decrease the efficiency of the detector.…