Related papers: Report of the US ITER Research Program Research Ne…
The 2014 P5 report indicated the accelerator-based neutrino and rare decay physics research as a centrepiece of the US domestic HEP program. Operation, upgrade and development of the accelerators for the near-term and longer-term particle…
The US neutrino community gathered at the Workshop on the Intermediate Neutrino Program (WINP) at Brookhaven National Laboratory February 4-6, 2015 to explore opportunities in neutrino physics over the next five to ten years. Scientists…
Now that ITER is under construction, interest is increasing in the specification and design of the successor machine, a Demonstration Power Plant (DEMO), which in Europe is coordinated by the EFDA Power Plant Physics and Technology…
The main objective of the RET workshop was to explore the interaction of Requirements Engineering (RE) and Testing, i.e. RET, in research and industry, and the challenges that result from this interaction. While much work has been done in…
The aim of the INFINITY workshop is to provide a forum for researchers interested in the development of formal methods and algorithmic techniques for the analysis of systems with infinitely many states, and their application in automated…
This whitepaper summarizes the status, plans, and challenges in the area of integrated circuit design in the United States for future High Energy Physics (HEP) experiments. It has been submitted to CPAD (Coordinating Panel for Advanced…
This volume contains the proceedings of F-IDE 2021, the sixth international workshop on Formal Integrated Development Environment, which was held online on May 24-25, 2021, as part of NFM'21, the 13th NASA Formal Methods Symposium. High…
A directed R&D program is presently underway in the U.S. to evaluate the designs and technologies required to provide muon-based high energy physics (HEP) accelerator capabilities. Such capabilities have the potential to provide unique…
With the advancement of information retrieval (IR) technologies, robustness is increasingly attracting attention. When deploying technology into practice, we consider not only its average performance under normal conditions but, more…
In this document we summarize the output of the US community planning exercises for particle physics that were performed between 2020 and 2023 and comment upon progress made since then towards our common scientific goals. This document…
On August 2, 2021 a group of concerned scientists and US funding agency and federal government officials met for an informal discussion to explore the value and need for a well-coordinated US Open Research Commons (ORC); an interoperable…
This report contains two parts: (1) A list of "points" highlighting the strategic-political and military-technical reasons and implications of the very probable siting of ITER (the International Thermonuclear Experimental Reactor) in Japan,…
The goal of TFPIE is to gather researchers, professors, teachers, and all professionals interested in functional programming in education. This includes the teaching of functional programming, but also the application of functional…
This volume contains the proceedings of MARS 2022, the fifth workshop on Models for Formal Analysis of Real Systems, held as part of ETAPS 2022, the European Joint Conferences on Theory and Practice of Software. The MARS workshops bring…
The world Heavy Ion Fusion (HIF) Program for inertial fusion energy is looking toward the development and commissioning of several new experiments. Recent and planned upgrades of the facilities at GSI, in Russia, and in Japan greatly…
In the development of magnetically confined fusion as an economically sustainable power source, ITER is currently under construction. Beyond ITER is the DEMO programme in which the physics and engineering aspects of a future fusion power…
Program synthesis is an active research field in academia, national labs, and industry. Yet, work directly applicable to scientific computing, while having some impressive successes, has been limited. This report reviews the relevant areas…
The US Department of Energys Office of Nuclear Energy is planning for an integrated waste management approach to transport, store, and eventually dispose of spent nuclear fuel and other high-level radioactive waste as part of the Integrated…
The United States has a rich history in high energy particle accelerators and colliders -- both lepton and hadron machines, which have enabled several major discoveries in elementary particle physics. To ensure continued progress in the…
This paper forms part of a long-term project to put field electron emission (FE) onto a better scientific basis, by seeking reliable quantitative agreement between theory and experiment, especially as regards emission-current values. The…