Search
Now showing items 21-30 of 1352
Complexity of minesweeper with restricted number
(Massachusetts Institute of Technology, 2018)
We consider the Minesweeper consistency problem (is a given partially completed board consistent with some mine placement?) when the set of numbers that may appear on a Minesweeper board is restricted. First, we analyze ...
CoqIOA : a formalization of IO automata in the Coq proof assistant
(Massachusetts Institute of Technology, 2017)
Implementing distributed systems correctly is difficult. Designing correct distributed systems protocols is challenging because designs must account for concurrent operation and handle network and machine failures. ...
Simulating self-assembly of nanoparticles in tumor environments
(Massachusetts Institute of Technology, 2014)
Self-assembly is important in nanomedicine and increasingly plays a role in drug-delivery or imaging applications in tumors. Predicting behavior and dynamics of nanoparticle systems is very difficult, especially when ...
Dielectric spin coating characterization, modeling, and planarization using fill patterns for advanced packaging technologies
(Massachusetts Institute of Technology, 2017)
Redistribution layers (RDLs) are separate packaging layers dedicated to connecting dies with each other, and to external I/O ports in advanced 2.5D packaging technologies. These layers can be made smaller than the bulky ...
An efficient score alignment algorithm and its applications
(Massachusetts Institute of Technology, 2017)
String alignment and comparison in Computer Science is a well-explored space with classic problems such as Longest Common Subsequence that have practical application in bioinformatic genomic sequencing and data comparison ...
Time-domain diffuse correlation spectroscopy: instrument prototype, preliminary measurements, and theoretical modeling
(Massachusetts Institute of Technology, 2017)
Near-infrared spectroscopy (NIRS) is an emerging diffuse optical imaging tool with both clinical and academic applications such as functional brain imaging, breast cancer detection, and cerebral health monitoring. Due to ...
Innovations in non-intrusive load monitoring
(Massachusetts Institute of Technology, 2018)
A non-intrusive load monitor (NILM) measures power at a central point in an electrical system to monitor the operation of many connected loads. Non-contact power meters sense the electromagnetic fields surrounding a cable ...
Improving feedback in elementary mathematics autograders
(Massachusetts Institute of Technology, 2015)
As schools grow more crowded and required testing outcomes become more stringent, teachers experience increasing demands on their time. To ease this load, I designed a program that is able to give students thorough, automated ...
Understanding the doer effect for computational subjects with MOOCs
(Massachusetts Institute of Technology, 2018)
In this thesis, we examined the relationship between the doer effect and learning computational subjects. Computational thinking is becoming increasingly important for students and professionals, and teaching this thought ...
Modelling signal interactions with application to financial time series
(Massachusetts Institute of Technology, 2014)
In this thesis, we concern ourselves with the problem of reasoning over a set of objects evolving over time that are coupled through interaction structures that are themselves changing over time. We focus on inferring ...