AxiomProver solved a real open math conjecture using formal verification, signaling a shift from AI that assists research to AI that discovers new truths.
Abstract: In adversarial environments, unmanned aerial vehicle (UAV) swarms often face challenges such as node failures, battle damage, and strong electromagnetic interference, which may result in ...
Abstract: In order to achieve precise and robust tracking control of electronic throttle (ET) systems subject to external disturbances and uncertainties, a novel 2-order discrete-time fast terminal ...
Suggested Citation: "4 Quantum Computing's Implications for Cryptography." National Academies of Sciences, Engineering, and Medicine. 2019. Quantum Computing ...
We present a variation of RRT* that can explore and exploit the search space (SE) in parallel using many-core GPUs, efficiently producing an initial path that is collision-free, kinematically ...
There was an error while loading. Please reload this page.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results