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…

by Lori Faith Lamel., Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1988., Bibliography: leaves 140-150.

by Robert J. Grochowski., Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Civil Engineering, 1988., Includes bibliographical references.

This report shows how knowledge about the visual world can be built into a shape representation in the form of a descriptive vocabulary making explicit the important geometrical relationships comprising objects' shapes. Two computational tools are offered: (1) Shapestokens are…

This paper examines the issues and the solutions that have been studied in database (DB) integration research and tries to draw lessons from them for knowledge base (KB) integration.

This paper describes a natural language system START. The system analyzes English text and automatically transforms it into an appropriate representation, the knowledge base, which incorporates the information found in the text. The user gains access to information stored in…