Graduate Theses: Recent submissions

Now showing items 574-576 of 36544

    • Deep Learning for Space Object Density Distribution Prediction 

      Sarangerel, Sumiyajav (Massachusetts Institute of Technology, 2025-05)
      The rapid growth of artificial objects in Low Earth Orbit (LEO) has heightened concerns over orbital congestion and collision cascades, known as Kessler Syndrome. Traditional high-fidelity models, while accurate, are ...

    • Towards Understanding Privacy Leakage in Decentralized and Collaborative Learning 

      Shi, Yichuan (Massachusetts Institute of Technology, 2025-05)
      The emergence of large-scale machine learning (ML) models has highlighted a fundamental conflict: While computational demands push for the consolidation of data and models in vast, centralized data centers, real-world data ...

    • Prototyping a Scalable Proof Engine 

      Rosario, Jon (Massachusetts Institute of Technology, 2025-05)
      Formal verification is an exciting development in software engineering, enabling implementations of programs to be rigorously checked against mathematical specifications. Assuming the specification is well-defined, formal ...