Aug, 2026
ORNL Report
Showing 34 results for Author: James T. Matta
Aug, 2026
ORNL Report
May, 2026
Journal
Associated particle imaging (API) offers unique advantages for 3-D imaging of neutron inelastic scatter, including single-view tomographic imaging and data acquisition when access is limited to only one side of the interrogated object. However, widespread adoption of neutron inelastic scatter imaging has been impeded by several inherent challenges, most prominently spatial…
May, 2026
ORNL Report
Mar, 2026
Conference Paper
A field-portable tagged neutron interrogation system is being developed for detection of explosives and chemical warfare agents by prompt γ-ray neutron activation analysis. The system combines an associated particle imaging deuterium-tritium neutron generator with a high-purity germanium γ-ray detector. Fine spatial resolution neutron and α detectors enable precise mapping…
Mar, 2026
ORNL Report
Jul, 2025
ORNL Report
Jul, 2025
ORNL Report
As part of the “Formal Methods for Provably Secure SW/FW and Formal Model-Based Testing and Fuzzing for Trusted Software and Firmware” task in the PROACTIVE Venture, Oak Ridge National Laboratory (ORNL) has surveyed many formal source code and executable verification tools. Early in the execution of this task, the scope was narrowed to examining tools that apply to C due t…