|
|||||||||||||
![]() Degrees Granted
|
| ||
August 1998
James L. Caldwell II; Professor Robert Constable; Decidability Extracted: Synthesizing "Correct-by-Construction" Decision Procedures from Constructive Proofs Karl Fredrick Crary; Professor Robert Constable; Type-Theoretic Methodology for Practical Programming Languages Wee-Liang Heng; Professor Eva Tardos; Approximately Optimal Elimination Orderings for Sparce Matrices Takako Matoba Hickey; Professor Fred Schneider; Availability and Consistency in a Partitionable Low Bandwidth Network Jing Huang; Professor Ramin Zabih; Color-Spatial Image Indexing and Applications Induprakas Kodukula; Professor Keshav Pingali; Data-Centric Compilation Stephen Robert Marschner; Professor D. Greenberg; Inverse Rendering for Computer Graphics Pavel Gennadyevich Naumov; Professor Robert Constable; Formalizing Reference Types in NuPRL Rosen Sharma; Professor S. Keshav; Internet TV Kristen Maria Summers; Professor J. Hopcroft; Automatic Discovery of Logical Document Structure Aswin Aalt van den Berg; Professor Ray Teitelbaum;Data Abstraction by Program Transformation in a Higher-Order Attribute-Grammar Framework Divakar Mirle Viswanath; Professor L. Trefethen; Lyapunov Exponents from Random Fibonacci Sequences to the Lorenz Equations Bruce Jonathan Walter; Professor D. Greenberg; Density Estimation Techniques for Global Illumination January 1999
Mandar Mitra; Professor Claire Cardie; High-Precision Information Retrieval
|
||
Master of Engineering (CS) | Bachelor of Arts | Bachelor of Science |
August 1998
Kwan Hong Lee Rachit Siamwalla January 1999
May 1999
|
August 1998
Maxim Evgenevich Orlov Jonathan Rynd Charles Edward Saulino January 1999 May 1999
|
August 1998
Pantaleo de Candia Benjamin F. Ellett Chris Yi-Cheng Ho Kim Bashirul Mawla
January 1999
May 1999
|