Now showing items 568-570 of 36544

    • Digital Twin Modeling for NV Magnetometry 

      Rich, John P. (Massachusetts Institute of Technology, 2025-05)
      This thesis presents the development and application of a digital twin modeling framework for nitrogen-vacancy (NV) center-based magnetometry, advancing the field of quantum sensing. A surrogate model serves as a computational ...
    • Fuzzing for User-Schedulable Languages 

      Moon, Kenneth (Massachusetts Institute of Technology, 2025-05)
      Performance engineers restructure programs to use hardware as efficiently as possible. Even simple mathematical functions can become sprawling and complex programs when fully optimized, as the resulting code must often be ...
    • Efficient Verifiable Computation Made Easy 

      Ma, Chengyuan (Massachusetts Institute of Technology, 2025-05)
      Recent advancements in cloud computing, data privacy, and cryptography have sparked a growing interest in Verifiable Computation (VC) in both industry and academia. In particular, zero-knowledge proof (ZKP) algorithms are ...