Intelligence & Security

Extremely Lightweight Checkpoint Method for Resilience Against Soft Errors

Authenticating a User on a Mobile Device

Simultaneous Localization and Mapping by Merging Imaging and Wireless Communications

Evaluating Perception Systems for Autonomous Vehicles using Quality Temporal Logic

Real-Time Simulation of Interdependent Infrastructure Responses to Environmental, Cyber, and Kinetic Disruptions

Bounded-Error Estimator Using State Augmentation in the Presence of Missing Data

Large Phased Antenna Arrays for Low-Power High-Speed Communication

Automated Voter Precinct Designer

Thrust Vectoring for Precise Object Grasping by a Hybrid Unmanned Aerial Ground Vehicle (UAGV)

Prediction Algorithm for MHC-bound Peptides & SARS-CoV-2 Peptides for Vaccines