Publications (5)
FPGA-Based RoCEv2-RDMA Readout Electronics for the CTAO-LST Advanced Camera
F. Marini, M. Bellato, A. Bergnoli +10
CTAO's (Cherenkov Telescope Array Observatory) largest telescopes type, the LST (Large-Sized Telescope), are being installed at the northern site of the Cherenkov Telescope Array (…
Satisfiability Checking meets Symbolic Computation (Project Paper)
E. Abraham, J. Abbott, B. Becker +12
Symbolic Computation and Satisfiability Checking are two research areas, both having their individual scientific focus but sharing also common interests in the development, impleme…
The Analytical Method algorithm for trigger primitives generation at the LHC Drift Tubes detector
G. Abbiendi, J. Alcaraz Maestre, A. Ãlvarez Fernández +143
The Compact Muon Solenoid (CMS) experiment prepares its Phase-2 upgrade for the high-luminosity era of the LHC operation (HL-LHC). Due to the increase of occupancy, trigger latency…
Study of the effects of radiation on the CMS Drift Tubes Muon Detector for the HL-LHC
G. Abbiendi, J. Alcaraz Maestre, A. Ãlvarez Fernández +140
The CMS drift tubes (DT) muon detector, built for withstanding the LHC expected integrated and instantaneous luminosities, will be used also in the High Luminosity LHC (HL-LHC) at…
Satisfiability Checking and Symbolic Computation
E. Abraham, J. Abbott, B. Becker +12
Symbolic Computation and Satisfiability Checking are viewed as individual research areas, but they share common interests in the development, implementation and application of deci…