News

Unprecedented dataset of molecular simulations to train AI models released
A collaborative effort between Meta, Lawrence Berkeley National Laboratory and Los Alamos National Laboratory leverages Los ...
Standard Nuclear emerges from the ashes of a failed startup
Standard Nuclear was the winning bidder for Ultra Safe Nuclear Corporation's fuel-related assets at a bankruptcy auction.
Modeling electric response of materials, a million atoms at a time
Researchers in the Harvard John A. Paulson School of Engineering and Applied Sciences (SEAS) have developed a machine learning framework that can predict with quantum-level accuracy how materials ...
IEEE6d
Model-Checking Detailed Fault-Tolerant Nuclear Power Plant Safety Functions
Abstract: Model checking has been successfully used for detailed formal ... Based on a case study built around a semi-fictitious nuclear power plant protection system that achieves reliability by ...