Graduate Theses: Recent submissions
Now showing items 550-552 of 36544
-
BlueVeri: Formal Security Verification for Bluespec Processor Designs
(Massachusetts Institute of Technology, 2025-05)There are numerous hardware security defense mechanisms designed to mitigate sidechannel attacks. However, ensuring that a defense can comprehensively protect against an entire class of attacks, while avoiding the introduction ... -
Machine Learning Methods for Churn Prediction and Infrastructure Resilience
(Massachusetts Institute of Technology, 2025-05)This thesis investigates how advanced machine learning methods can effectively address two critical business challenges facing the telecommunications industry: short-term customer churn prediction and long-term infrastructure ... -
Segmentation Based Tracking for Aerial Robot Global Localization in Unstructured Environments with Oblique Monocular Camera Orientation
(Massachusetts Institute of Technology, 2025-05)In the field of robotics, there has been a growing interest in multi-robot systems and their potential to improve the efficiency, scale, and reliability of tasks beyond what an individual robot can achieve. Global localization ...
