The NBL Program Office (NBL PO) has coordinated with Oak Ridge National Laboratory (ORNL) to implement the High Precision Titration (HPT) method for uranium assay measurements. The measurement method ...
PReMM, an LLM-based program repair framework for Multi-Method Bugs. PReMM builds on three core components: the faulty method clustering component to partition the faulty methods into clusters based on ...
Abstract: The advent of the global navigation satellite system has greatly enhanced satellite positioning technology, with precise point positioning (PPP) emerging as a prominent technique. Despite ...
Abstract: Combining the use of the adaptive dynamic programming method and optimized backstepping strategy, this paper focuses on the secure consensus problem for constrained nonlinear multi-agent ...