A series-parallel directed acyclic graph, or SP-dag, contains nodes that are either in series or logically in parallel. We present a data structure and algorithm to efficiently determine, in a single serial walk of the dag, whether two nodes are…

Cycle-to-cycle control is a method for using feedback to improve product quality for processes that are inaccessible within a single processing cycle. This limitation stems from the impossibility or the prohibitively high cost of placing sensors and actuators that could…

The so-called diversity-multiplexing tradeoff characterizes the fundamental interaction between the robustness and capacity gains obtainable from multiple-input and
multiple-output (MIMO) systems in fading environments. This thesis develops practical schemes for approaching the optimal tradeoff in various delay and complexity
regimes.…

SweetDeal is a rule-based approach to representation of business contracts that enables software agents to create, evaluate, negotiate, and execute contracts with substantial automation and modularity. It builds upon the situated courteous logic programs knowledge representation in RuleML, the emerging…

(cont.) members. The experimental program for RC beams involves qualitative and quantitative observation of the changes in the debonding behavior and load capacity of the beams with various configurations of shear and/or flexural strengthening and anchorage conditions in four evolutionary…

(cont.) Packing/Covering problems, we prove upper and lower bounds on the adaptivity gap depending on the dimension. We also design polynomial-time algorithms achieving near-optimal approximation guarantees with respect to the adaptive optimum. Finally, we prove complexity-theoretic results regarding optimal adaptive…

In this paper we explore the degree to which patents are representative of the magnitude,
direction, and impact of the knowledge spilling out of the university by focusing on MIT, and in particular on the departments of Mechanical and Electrical…

If we are to understand human-level intelligence, we need to understand how meanings can be learned without explicit instruction. I take a step toward that understanding by focusing on the symbol-grounding problem, showing how symbols can emerge from a system…

This paper investigates the potential for a carbon tax to induce R&D, and for the consequent induced technical change (ITC) to lower the macroeconomic cost of abating carbon emissions. ITC is modelled within a general equilibrium simulation of the U.S.…

This thesis analyzes how the Auto-ID technology and information infrastructure will change the management and distribution of pharmaceutical products within the health care industry by enabling item level product traceability functionality. The complexity of the health care industry is steadily…