This study aims to investigate the capability of U-Nets in improving image reconstruction accuracy for proton range verification within the framework of the NOVO (Next generation imaging for real-time dose verification ...

Timed Petri net (TPN) is a type of Petri net for modeling concurrent systems that incorporates time durations as first-class citizens. This paper provides a means for analyzing TPN by runtime verification, a lightweight ...

This work details a Compton-scattering-based methodology, referred to as Backscatter Gating (BSG), for characterizing the time, energy, and position resolutions of long form factor organic scintillators using a single, ...