Related papers: Programs for the work with ENSDF format files: Eva…
Despite the large number of sophisticated deep neural network (DNN) verification algorithms, DNN verifier developers, users, and researchers still face several challenges. First, verifier developers must contend with the rapidly changing…
We present Executable Abstract Programs and analyse their role for software development and documentation. The intuitive understanding of these programs fits the computational mindset of software system engineers and is supported by a…
Charged point defects in materials are widely studied using Density Functional Theory (DFT) packages with periodic boundary conditions. The formation energy and defect level computed from these simulations need to be corrected to remove the…
Nondestructive evaluation (NDE) techniques are widely used to detect flaws in critical components of systems like aircraft engines, nuclear power plants and oil pipelines in order to prevent catastrophic events. Many modern NDE systems…
We propose a novel idea to construct an effective interaction under energy-density-functional (EDF) theories which is adaptive to the enlargement of the model space. Guided by effective field theory principles, iterations of interactions as…
Eff is a programming language based on the algebraic approach to computational effects, in which effects are viewed as algebraic operations and effect handlers as homomorphisms from free algebras. Eff supports first-class effects and…
Deep Neural Network(DNN) techniques have been prevalent in software engineering. They are employed to faciliatate various software engineering tasks and embedded into many software applications. However, analyzing and understanding their…
We discuss a variational calculation for nuclear shell-model calculations and propose a new procedure for the energy-variance extrapolation (EVE) method using a sequence of the approximated wave functions obtained by the variational…
Common and unique features of nuclear physics measurements are examined. Such analysis with respect to existing hardware and software platforms and standards allows to algorithmize the DAQ, monitoring and processing tasks. A universal…
This is the report of the NSAC Subcommittee on Nuclear Theory in response to a charge by the funding agencies to review and evaluate current NSF and DOE supported efforts in nuclear theory and identify strategic plans to ensure a strong…
This manual describes version 1.6 of the programming language hepawk, designed for convenient scanning of data structures arising in the simulation of high energy physics events. The interpreter for this language has been implemented in…
While using formal methods offers advantages over unit testing, their steep learning curve can be daunting to developers and can be a major impediment to widespread adoption. To support integration into an industrial software engineering…
We describe evaluation methods that make use of experimental data, and nuclear model calculations, to develop an ENDF-formatted data library for the reaction p + Li7 for incident protons with energies up to 150 MeV. The important…
A computer program is presented which calculates the elastic and inelastic scattering in intermediate and high energy nuclear collisions. A coupled-channels method is used for Coulomb and nuclear excitations of E1, E2, E3, M1, and M2…
Nuclear energy density functionals (EDFs) have a long history of success in reproducing properties of nuclei across the table of the nuclides. They capture quantitatively the emergent features of bound nuclei, such as nuclear saturation and…
The demands of cutting-edge science are driving the need for larger and faster computing resources. With the rapidly growing scale of computing systems and the prospect of technologically disruptive architectures to meet these needs,…
Nowadays, it has become a basic need to reuse existing Application Programming Interface (API), Class Libraries, and frameworks for rapid software development. Software developers often reuse this by calling the respective APIs or…
In order to allow different software applications, in constant evolution, to interact and exchange data, flexible file formats are needed. A file format specification for different types of content has been elaborated to allow communication…
An electron density functional approach for the calculation of the nuclear multipole moments is presented. The electronic matrix elements entering the experimentally observed hyperfine electron-nucleus interaction constants in atoms are…
We developed a set of EXFOR utility codes (ForEXy) to process the information of the experimental nuclear reaction data stored in the EXFOR library. We designed a new JSON format (J4) for the EXFOR library, and developed a code converting…