40.2k citations
- University of TrentoIT265 papers
- European Centre for Theoretical Studies in Nuclear Physics and Related AreasIT190 papers
- Istituto Nazionale di Fisica Nucleare, Trento Institute for Fundamental Physics And ApplicationsIT136 papers
- Centre National de la Recherche ScientifiqueFR99 papers
- Istituto Nazionale di Fisica NucleareIT74 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR61 papers
- Istituto di Fotonica e NanotecnologieIT59 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di GenovaIT52 papers
- University of PisaIT50 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di MilanoIT46 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di Roma IIT46 papers
- Istituto Nazionale di Fisica Nucleare, Laboratori Nazionali di FrascatiIT45 papers
23 papers · 1 filter
Detection of weak stochastic force in a parametrically stabilized micro opto-mechanical system
A. Pontin, M. Bonaldi, A. Borrielli +5
Measuring a weak force is an important task for micro-mechanical systems, both when using devices as sensitive detectors and, particularly, in experiments of quantum mechanics. The…
Effects of divergent ghost loops on the Green's functions of QCD
A. C. Aguilar, D. Binosi, D. Ibañez +1
In the present work we discuss certain characteristic features encoded in some of the fundamental QCD Green's functions, whose origin can be traced back to the nonperturbative mass…
Selected results from the static characterization of edgeless n-on-p planar pixel sensors for ATLAS upgrades
Gabriele Giacomini, Alvise Bagolini, Marco Bomben +7
In view of the LHC upgrade for the High Luminosity Phase (HL-LHC), the ATLAS experiment is planning to replace the Inner Detector with an all-Silicon system. The n-on-p technology…
Performance of Irradiated Thin Edgeless N-on-P Planar Pixel Sensors for ATLAS Upgrades
M. Bomben, A. Bagolini, M. Boscardin +7
In view of the LHC upgrade phases towards the High Luminosity LHC (HL-LHC), the ATLAS experiment plans to upgrade the Inner Detector with an all-silicon system. Because of its radi…
Electrical Characterization of a Thin Edgeless N-on-p Planar Pixel Sensors For ATLAS Upgrades
M. Bomben, A. Bagolini, M. Boscardin +7
In view of the LHC upgrade phases towards the High Luminosity LHC (HL-LHC), the ATLAS experiment plans to upgrade the Inner Detector with an all-silicon system. Because of its radi…
IC3 Modulo Theories via Implicit Predicate Abstraction
Alessandro Cimatti, Alberto Griggio, Sergio Mover +1
We present a novel approach for generalizing the IC3 algorithm for invariant checking from finite-state to infinite-state transition systems, expressed over some background theorie…