Search
Now showing items 21-30 of 119
Sparse tensor algebra compilation
(Massachusetts Institute of Technology, 2020)
This dissertation shows how to compile any sparse tensor algebra expression to CPU and GPU code that matches the performance of hand-optimized implementations. A tensor algebra expression is sparse if at least one of its ...
Dynamically programmable surfaces for high-speed optical modulation and detection
(Massachusetts Institute of Technology, 2020)
Dynamically programmable surfaces for spatiotemporal control of light are crucial to many optoelectronic technologies including high-speed optical communication, display and projection, autonomous driving, optical information ...
Learning through looking and listening
(Massachusetts Institute of Technology, 2020)
In order to read emotions, understand actions or anticipate intentions, humans need efficient ways of gathering information about each other. In particular, gaze and speech are rich sources of information about other ...
Spatially organized fluorescent reporters for recording complex biological dynamics in cell population
(Massachusetts Institute of Technology, 2020)
Biological signals, such as the dynamic concentrations of ions, levels of signaling molecules, and activities of protein kinases, interact in complex ways within cells, and can exhibit great cell-to-cell heterogeneity as ...
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 ...
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 ...
Deeper learning at scale with roleplaying systems
(Massachusetts Institute of Technology, 2021)
Contemporary online learning systems are increasingly important and common elements of post-secondary, workplace, and lifelong education. The current state is that these systems typically employ the banking model of education ...
Large-scale integrated quantum photonics with artificial atoms
(Massachusetts Institute of Technology, 2021)
The construction of large, controllable quantum systems is a formidable task in quantum science and technology. In the context of quantum networks, single emitters in diamond have emerged as leading quantum bits that combine ...