MIT Libraries homeDSpace@MIT

In the financial industry, key quantities like public-company financials and consumer spending drive asset pricing and other decisions. However, direct observation of any company's financials or other key signals is rare. ...

A central promise of quantum computers is their ability to solve some problems dramatically more efficiently than their classical counterparts. Thus, to understand feasible computation in our physical world, we must turn ...

This thesis presents new techniques for verifying correctness properties of programs that process input files. These techniques apply to programs written in standard programming languages such as C and focus on relationships ...

Quantum computers have the promise of revolutionizing information technology, artificial intelligence, cryptography, and industries such as drug design. Up until this point our main understanding of quantum computing has ...

Micro- and nano-electromechanical systems (MEMS/NEMS) are a technology field that branched out of semiconductor integrated circuit (IC) manufacturing about four decades ago, and one that forms the backbone of the Internet ...

The deployment of large-scale systems involving many individuals or devices necessitates the design of computational frameworks that are resilient to failures or malicious actors. This thesis introduces algorithms and ...

We develop linear algebraic techniques in algorithms and complexity, and apply them to a variety of different problems. We focus in particular on matrix multiplication algorithms, which have surprisingly fast running times ...

Many diseases manifest as a shift in fluids between distinct tissue fluid compartments. For example, fluid depletion and fluid overload lead to a deficit or accumulation of fluids within the intramuscular interstitial ...

Bacteria have developed a variety of strategies to nd and consume the substrates necessary for both the cell's energy-consuming processes and for the additional biomass needed to replicate. A greater understanding of the ...

In an informative querying problem, one achieves a certain objective by issuing a series of queries to an oracle and receives a series of observations in return. It is a challenging task because the queries need to account ...