Home page | IRIS Fondazione Bruno Kessler

Prodotti recenti

Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays

We develop a framework for model checking infinite-state systems by automatically augmenting them with auxiliary variables, enabling quantifier-free induction proofs for systems that would otherwise require quantified invariants. We combine this mechanism with a counterexample-guided abstraction refinement sche...

Carbon nanotubes embedded in a polyimide foil for proton acceleration with a sub-ns laser

A series of thin films made of aligned carbon nanotubes (CNTs) embedded in a polyimide substrate was designed, fabricated and used for the first time to accelerate protons and C ions by interaction with a sub-nanosecond, high power laser beam (600 J energy and 300 ps pulse...

Single-Photon Detection Module Based on Large-Area Silicon Photomultipliers for Time-Domain Diffuse Optics

Silicon photomultipliers (SiPM) are pixelated single-photon detectors combining high sensitivity, good time resolution and high dynamic range. They are emerging in many fields, such as time-domain diffuse optics (TD-DO). This is a promising technique in neurology, oncology, and quality&#x...

Exploring the non-perturbative Sudakov factor via Z0-boson production in pp collisions

Z0-boson production at low transverse momentum offers a unique opportunity to explore the non-perturbative Sudakov factor. In this paper, we employ three parameterizations of the non-perturbative Sudakov factor to calculate the ⁎-distribution and compare our results with the ultra-precise experimental...

Despite vaccination, China needs non-pharmaceutical interventions to prevent widespread outbreaks of COVID-19 in 2021

COVID-19 vaccination is being conducted in over 200 countries and regions to control SARS-CoV-2 transmission and return to a pre-pandemic lifestyle. However, understanding when non-pharmaceutical interventions (NPIs) can be lifted as immunity builds up remains a key question for policy makers.&#x...

CINECA IRIS Institutional Research Information System

Prodotti recenti

Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays

Carbon nanotubes embedded in a polyimide foil for proton acceleration with a sub-ns laser

Single-Photon Detection Module Based on Large-Area Silicon Photomultipliers for Time-Domain Diffuse Optics

Exploring the non-perturbative Sudakov factor via Z0-boson production in pp collisions

Despite vaccination, China needs non-pharmaceutical interventions to prevent widespread outbreaks of COVID-19 in 2021

Scopri