2 citations · 3 across the 4 of their papers we have counts for
7 papers
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…
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…
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…