Search
Now showing items 1-10 of 18
Solving for syntax
(Massachusetts Institute of Technology, 2021)
Among the key questions that have guided research into the nature of human language for the past sixty years, two have been particularly salient: (1) What constitutes knowledge of language? and (2) How is that knowledge ...
Programmable interfaces for biomedical and neuroscience applications
(Massachusetts Institute of Technology, 2021)
The rapidly changing fields of biomedical sciences and neuroscience increasingly adopt scientific and technological innovations to advance the diagnosis and treatment of disease. With the emergence of miniaturized and ...
Analytics for accelerating biomedical innovation
(Massachusetts Institute of Technology, 2021)
Despite the many breakthroughs in biomedical research and the increasing demand for new drugs to treat unmet medical needs, the productivity of research and development in the pharmaceutical industry has been steadily ...
Energy efficient SAR ADC with resolution enhancement for sensor signals
(Massachusetts Institute of Technology, 2021)
Many signals from sensors are low activity signals that spend most of its time around middle of the full scale with occasional large activity. A/D conversion of such signals using a conventional ADC with a constant resolution ...
Energy efficient sub-terahertz electrical interconnect
(Massachusetts Institute of Technology, 2021)
With the end of Moore's Law and Dennard scaling in silicon platforms, coupled with the increase in computational demand across applications, the semiconductor industry has seen a move towards high-density compute leveraging ...
Structural design and proof of hierarchical cache-coherence protocols
(Massachusetts Institute of Technology, 2021)
Cache-coherence protocols have been one of the greatest correctness challenges of the hardware world. A memory subsystem usually consists of several caches and the main memory, and a cache-coherence protocol defined in ...
Robust machine learning models and their applications
(Massachusetts Institute of Technology, 2021)
Recent studies have demonstrated that machine learning models are vulnerable to adversarial perturbations - a small and human-imperceptible input perturbation can easily change the model output completely. This has created ...
Hierarchical abstractions for model-based visual navigation
(Massachusetts Institute of Technology, 2021)
In this thesis, we explore hierarchical map representations that improve autonomous vision-based navigation. Challenged with the task of navigating in an unknown environment, an autonomous agent must perceive the environment ...
Performance Engineering of Proof-Based Software Systems at scale
(Massachusetts Institute of Technology, 2021)
Formal verification is increasingly valuable as our world comes to rely more on software for critical infrastructure. A significant and understudied cost of developing mechanized proofs, especially at scale, is the computer ...
High-resolution tactile sensing for reactive robotic manipulation
(Massachusetts Institute of Technology, 2021)
This thesis explores tactile sensing to enable reactive behavior in robotic manipulation. More specifically, we focus on developing high-resolution vision-based tactile sensing hardware, perceptual algorithms, and controller ...