by Nancy Ann Daly., Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1987., MICROFICHE COPY AVAILABLE IN ARCHIVES AND ENGINEERING., This research was supported by the National Science Foundation and the Defense Advanced Research Projects Agency.,…

by Fadi S. Chehayeb., Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Civil Engineering, 1987., M.I.T. copy lacks leaf 4., Bibliography: v. 2, leaves 238-240.

by Daisuke Oka., Thesis (S.M.M.O.T.)--Massachusetts Institute of Technology, Sloan School of Management, Management of Technology Program, 2001., Includes bibliographical references (leaf 78).

The goal of this thesis is to apply the computational approach to motor learning, i.e., describe the constraints that enable performance improvement with experience and also the constraints that must be satisfied by a motor learning system, describe what is…

As part of its national obligations, ONR must ensure US world leadership in those unique technology areas that insure naval superiority. ONR accomplishes this mission through research, recruitment and education, maintaining an adequate base of talent, and sustaining critical infrastructure…

by Eric S. Rebentisch., Thesis (Ph. D.)--Massachusetts Institute of Technology, Sloan School of Management, 1995., Includes bibliographical references (p. 173-180).

by Esther S. Dutton., Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 1997., Includes bibliographical references (p. 78).

Modern processors rely on cache memories to reduce the latency of data accesses. Extensive cache misses would thus compromise the usefulness of the scheme. Cache-aware algorithms make use of the knowledge about the cache, such as the cache line size,…

The goal of the Programmer's Apprentice project is to develop a theory of how expert programmers analyze, synthesize, modify, explain, specify, verify, and document programs. This research goal overlaps both artificial intelligence and software engineering. From the viewpoint of artificial…

Ontic is an interactive system for developing and verifying mathematics. Ontic's verification mechanism is capable of automatically finding and applying information from a library containing hundreds of mathematical facts. Starting with only the axioms of Zermelo-Fraenkel set theory, the Ontic…