Search
Now showing items 11-20 of 99
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 ...
Graphene-metal interactions beyond Van der Waals forces
(Massachusetts Institute of Technology, 2021)
With extraordinary properties, graphene has been applied in various studies to explore new phenomena, new understandings, and new applications. With only one atomic layer thick and all its atoms are on the surface, graphene's ...
A small, bright silicon light-emitting diode directly integrated with microelectronics
(Massachusetts Institute of Technology, 2021)
Silicon technologies have been developed for both electronics and photonics. Future demands call for further innovation in each field separately, but also depend on our ability to bring the best of both worlds together ...
Optimization for online platforms
(Massachusetts Institute of Technology, 2021)
In the last decade, there has been a surge in online platforms for providing a wide variety of services. These platforms face an array of challenges that can be mitigated with appropriate modeling and the use of optimization ...
Algorithmic advancements in the practice of revenue management
(Massachusetts Institute of Technology, 2021)
In recent years, firms have been personalizing the customer experience by recommending specific products, and simultaneously these customers have raised their expectations in terms of personalization. To support these ...
Nanostructured electroadhesive and electrofrictive surfaces for dexterous grasping and manipulation
(Massachusetts Institute of Technology, 2021)
Robots will become commonplace in personal, public, and working environments and must be equipped for a broad range of manipulation tasks and physical encounters. Traditional robotic grasping methodologies like opposed ...
Performance effects and causal mechanisms of mid-channel congestion in diesel particulate filters
(Massachusetts Institute of Technology, 2021)
The diesel particulate filter (DPF) is a ~$5,000-$50,000 USD critical component of aftertreatment systems installed in diesel engine-powered vehicles. The device is designed to trap particles emitted by the diesel combustion ...