66 citations · 206 across the 17 of their papers we have counts for
17 papers
Observation of collider muon neutrinos with the SND@LHC experiment
LHC Collaboration
We report the direct observation of muon neutrino interactions with the SND@LHC detector at the Large Hadron Collider. A data set of proton-proton collisions at …
Power deposition studies for standard and crystal-assisted heavy ion collimation inthe CERN Large Hadron Collider
J. B. Potoine, R. Bruce, R. Cai +12
The LHC heavy-ion program with Pb beams will benefit from a significant increase of the beam intensity when entering its High-Luminosity era in Run~3 (2023). The st…
Emulator-based Bayesian Inference on Non-Proportional Scintillation Models by Compton-Edge Probing
David Breitenmoser, Francesco Cerutti, Gernot Butterweck +2
Scintillator detector response modelling has become an essential tool in various research fields such as particle and nuclear physics, astronomy or geophysics. Yet, due to the syst…
Measurement of transverse beam emittance of split beams for the CERN Proton Synchrotron Multi-Turn Extraction
G. Russo, F. Cerutti, L. S. Esposito +4
Crossing a horizontal nonlinear resonance is the approach that can be used to split a beam in several beamlets with the goal to perform multi-turn extraction from a circular partic…
Research Note on Uncertain Probabilities and Abstract Argumentation
Pietro Baroni, Federico Cerutti, Massimiliano Giacomin +2
The sixth assessment of the international panel on climate change (IPCC) states that "cumulative net CO2 emissions over the last decade (2010-2019) are about the same size as the 1…
Uncertain Bayesian Networks: Learning from Incomplete Data
Conrad D. Hougen, Lance M. Kaplan, Federico Cerutti +1
When the historical data are limited, the conditional probabilities associated with the nodes of Bayesian networks are uncertain and can be empirically estimated. Second order esti…
Energy deposition studies in the LHCb insertion region from the validation to a step into the Hilumi challenge
Alessia Ciccotelli, Robert B. Appleby, Francesco Cerutti +5
The LHCb (Large Hadron Collider beauty) experiment at CERN aims at achieving a significantly higher luminosity than originally planned by means of two major upgrades: the Upgrade I…
FACET: A new long-lived particle detector in the very forward region of the CMS experiment
S. Cerci, D. Sunar Cerci, D. Lazic +28
We describe a proposal to add a set of very forward detectors to the CMS experiment for the high-luminosity era of the Large Hadron Collider to search for beyond the standard model…
Fudge: A light-weight solver for abstract argumentation based on SAT reductions
Matthias Thimm, Federico Cerutti, Mauro Vallati
We present Fudge, an abstract argumentation solver that tightly integrates satisfiability solving technology to solve a series of abstract argumentation problems. While most of the…
Automata for Infinite Argumentation Structures
Pietro Baroni, Federico Cerutti, Paul E. Dunne +1
The theory of abstract argumentation frameworks (afs) has, in the main, focused on finite structures, though there are many significant contexts where argumentation can be regarded…
Uncertainty Aware AI ML: Why and How
Lance Kaplan, Federico Cerutti, Murat Sensoy +2
This paper argues the need for research to realize uncertainty-aware artificial intelligence and machine learning (AI\&ML) systems for decision support by describing a number of mo…
Probabilistic Logic Programming with Beta-Distributed Random Variables
Federico Cerutti, Lance Kaplan, Angelika Kimmig +1
We enable aProbLog---a probabilistic logical programming approach---to reason in presence of uncertain probabilities represented as Beta-distributed random variables. We achieve th…
On Natural Language Generation of Formal Argumentation
Federico Cerutti, Alice Toniolo, Timothy J. Norman
In this paper we provide a first analysis of the research questions that arise when dealing with the problem of communicating pieces of formal argumentation through natural languag…
Solving Set Optimization Problems by Cardinality Optimization via Weak Constraints with an Application to Argumentation
Wolfgang Faber, Mauro Vallati, Federico Cerutti +1
Optimization - minimization or maximization - in the lattice of subsets is a frequent operation in Artificial Intelligence tasks. Examples are subset-minimal model-based diagnosis,…
Exploiting Parallelism for Hard Problems in Abstract Argumentation: Technical Report
Federico Cerutti, Ilias Tachmazidis, Mauro Vallati +3
Abstract argumentation framework (\AFname) is a unifying framework able to encompass a variety of nonmonotonic reasoning approaches, logic programming and computational argumentati…
Computing Preferred Extensions in Abstract Argumentation: a SAT-based Approach
Federico Cerutti, Paul E. Dunne, Massimiliano Giacomin +1
This paper presents a novel SAT-based approach for the computation of extensions in abstract argumentation, with focus on preferred semantics, and an empirical evaluation of its pe…
Context-dependent Trust Decisions with Subjective Logic
Federico Cerutti, Alice Toniolo, Nir Oren +1
A decision procedure implemented over a computational trust mechanism aims to allow for decisions to be made regarding whether some entity or information should be trusted. As reco…