Search
Now showing items 151-160 of 2403
Towards Deployable Robust Text Classifiers
(Massachusetts Institute of Technology, 2023-02)
Text classification has been studied for decades as a fundamental task in natural language processing. Deploying classifiers enables more efficient information processing, which is useful for various applications, including ...
Instance-Optimized Data Structures for Membership Queries
(Massachusetts Institute of Technology, 2023-02)
We are near the end of Moore’s law and hardware growth has hit a stagnation. Modern data processing systems need to continuously improve their performance to match the humongous growth of data. Data structures and algorithms ...
Towards Scalable Structured Data from Clinical Text
(Massachusetts Institute of Technology, 2023-02)
The adoption of electronic health records (EHRs) presents an incredible opportunity to improve medicine both at the point-of-care and through retrospective research. Unfortunately, many pertinent variables are trapped in ...
Neurosymbolic Learning for Robust and Reliable Intelligent Systems
(Massachusetts Institute of Technology, 2022-02)
This thesis shows that looking at intelligent systems through the lens of neurosymbolic models has several benefits over traditional deep learning approaches. Neurosymbolic models contain symbolic programmatic constructs ...
Molecular Graph Representation Learning and Generation for Drug Discovery
(Massachusetts Institute of Technology, 2022-02)
Machine learning methods have been widely pervasive in the domain of drug discovery, enabling more powerful and efficient models. Before deep models, modeling molecules was largely driven by expert knowledge; and to represent ...
Relational compilation: Functional-to-imperative code generation for performance-critical applications
(Massachusetts Institute of Technology, 2022-02)
Purely functional programs verified using interactive theorem provers typically need to be translated to run: either by extracting them to a similar language (like Coq to OCaml) or by proving them equivalent to deeply ...
Strong Light-Matter Interaction with Cavities for Quantum Information Processing
(Massachusetts Institute of Technology, 2022-02)
Strong light-matter interaction enabled many modern technologies such as precision metrology, light sources, optical communication and spectroscopy. Normally, the coupling between materials and photons in free-space is ...
Modern Interactive Proofs
(Massachusetts Institute of Technology, 2022-02)
In this thesis, we study several extensions of the concept of interactive proofs. First, we consider non-signaling multi-prover interactive proofs. Interacting with multiple non-interacting provers increases the ability ...
Development of a quadrupole mass spectrometer
(Massachusetts Institute of Technology, 1964)
Development and application of saturable absorbers to femtosecond solid-state laser mode-locking
(Massachusetts Institute of Technology, 2003)
Semiconductor saturable absorbers have had a major impact on the field of ultrashort pulse generation by increasing the stability and reliability of ultrashort pulse lasers, making them more useful in many applications. ...