The concept of free as in "free group" is generalized to any first order theory. An interesting class of homomorphisms between models is discussed. Relations between model theory and abelian categories are discussed speculatively. This paper represents an incomplete study…

Thesis (Ph. D.)--Massachusetts Institute of Technology, Sloan School of Management, 1990., Includes bibliographical references (leaves 231-234).

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).

As interconnect linewidths continue to scale downward, a detailed knowledge of stress evolution and void growth processes enables a determination of the electromigration-induced failure times of these interconnects. This thesis provides this knowledge through the development of an electromigration simulation…

Peering and transit are two types of Internet interconnection among ISPs.
Peering has been a core concept to sustain Internet industry. However, for the
past several years, many ISPs broke their peering arrangement because of
asymmetric traffic pattern and asymmetric…

In recent years, researchers in artificial intelligence have become interested in replicating human physical reasoning talents in computers. One of the most important skills in this area is predicting how physical systems will behave. This thesis discusses an implemented program…

by Yasuyuki Sekioka., Thesis (M.S.)--Massachusetts Institute of Technology, Sloan School of Management, 1997., Includes bibliographical references (leaves 128-134).

This paper describes a system for the computer understanding of English. The system answers questions, executes commands, and accepts information in normal English dialog. It uses semantic information and context to understand discourse and to disambiguate sentences. It combines a…

All intelligence relies on search --- for example, the search for an intelligent agent's next action. Search is only likely to succeed in resource-bounded agents if they have already been biased towards finding the right answer. In artificial agents, the…

The objective of the experiments described in this thesis is to perform a detailed spectroscopic study of the dynamics on the A and X state surfaces of 13C2H2 in order to further understand the acetylene - vinylidene isomerization process in…