This paper presents a knowledge-based approach to facilitate the engineering design
process relating to spacecrafts. Because the design evolves over a long time and typically
involves individuals working at different locations and frequently for different
organizations, the degree of collaboration…

This research is concerned with designing representations for analytical reasoning problems (of the sort found on the GRE and LSAT). These problems test the ability to draw logical conclusions. A computer program was developed that takes as input a straightforward…

(cont.) to the verifier., We consider an implementation of a weakened notion of zero-knowledge (weak ZK) where the simulator is also allowed to depend on the distinguisher as well, so this type of ZK entails exhibiting an efficient simulator for…

This article reports the recent progress of re-search made in the Droplet-Based Manufacturing Laboratory at MIT. The study has been focused on obtaining a fundamental understanding of microdroplet deposition and applying the technology to various practical applications. Specific scientific contributions…

by Biao Huang., Thesis (S.M.)--Massachusetts Institute of Technology, Technology and Policy Program, 2001., Includes bibliographical references (leaves 112-115).

There are many situations in which a very detailed low-level description encodes, through a hierarchical organization, a recognizable higher-order pattern. The macro-molecular structural conformations of proteins exhibit higher order regularities whose recognition is complicated by many factors. ARIADNE searches for…

Many systems have been developed for constructing decision trees from collections of examples. Although the decision trees generated by these methods are accurate and efficient, they often suffer the disadvantage of excessive complexity that can render them incomprehensible to experts.…

by Stephen V. Glynn [and] Thomas G. Pelland., Thesis (S.M.)--Massachusetts Institute of Technology, System Design & Management Program, 2000., Includes bibliographical references (p. 134-135).

The MIT Artificial Intelligence Project has a variety of goals all bound together by search for principles of intelligent behavior. Among our immediate goals are to develop systems with practical applications for: Visually-controlled automatic manipulation and physical world problem-solving, machine…

The purpose of this paper is to introduce patent litigation as a leading indicator of market
growth. We model the intensity of patent litigation and the market growth for the
personal computer and cellular phone market in the US. By…