The Impact of Formal Verification in Security Software
Soft Machines with Integrated Soft Sensors, Batteries, and Actuators
Provably safe autonomous guidance and control for in-orbit assembly
Leveraging Structural and Visual information to improve Web Retrieval
ASIC Designs For CMOS Bi-phasic Vagus Nerve Stimulator
An Empirical Evaluation of Explainable AI for Vulnerability Detection and Localization
Definitions of Energy Justice in Energy Infrastructure Projects and Impacts on Selection: The Case of the U.S. Hydrogen Hubs Program
