EECS

Recent M.Eng. Thesis Titles by Supervisor

Fall 2005

Quick Find: A - D | E - H | I - L | M - Q | R - U | V - Z

Supervisor  
Title
   
Abelson, H.      
Ensuring Anonymity and Privacy in an On-Line Mental Health Community      
   
A Package Management System for Web-Based Applications
   
An Analysis of the Developer-User Feedback Loop in "The Edge"
   
FREiMOAT:  Free Research Extension to the iCampus-MIT Online Aptitude Test
   
Supreme Court Audio File Search Engine  
   
APOT:  Atomic Path Optimizing for Traits                  
   
SloanSpace - DSpace File Transfer Interface Component  
   
Engineering a Campus-Wide Accessible Music Library       
   
Agarwal, A.   
A Shared-Memory System Using the Raw Microprocessor Architecture
   
Spatial Software Pipelining on Distributed Architectures for Sparse Matrix Codes
   
A Raw Processor Interface to an 802.11b/g RF Front End   
   
The Raw Router:  Gigabit Routing on a General-Purpose Microarchitecture 
   
C-Flow:  A Compiler for Statically Scheduled Message Passing in Parallel Programs 
   
Optimizing Directory-Based Cache Coherence on the RAW Architecture 
   
Embedding Tree Computations into the RAW Chip
   
Parallelizing the GSM Speech Compression Algorithm on RAW
   
An Interrupt Controller for the RAW Processor
   
Sinew:  A System for Increasing the Efficiency of Wireless Networks
   
The Front End Implementation of Beamforming Audio for the RAW Chip 
   
Akinwande, A. I.   
Connecting and Teaching Students via Web Services for an Online Laboratory
   
A Low Power Display Driver with Simultaneous Image Transformation
   
Threshold Voltage in Pentacene Field Effect Transistors with Parylene Dielectric
   
Alsop, D.   
Efficiency of Background Suppression for Arterial Spin Labeling
   
Amarasinghe, S. P.  
Implementing a Hazard Elimination Analysis Tool for SpecTRM-RL Using Backwards Reachability
   
Linear Analysis and Optimization of Stream Programs
   
Characterizing Function Inlining with Genetic Programming
   
Modeling the Scalability of Acyclic Stream Programs
   
DynamicOptimization of IA-32 Applications Under Dynamo RIO
   
Secure Execution Environment Via Program Shepherding 
   
Low-Bandwidth Web Access with Tandem Proxies
   
A Unified Framework for Schedule and Storage Optimization
   
Linear State-Space Analysis and Optimization of StreamIt Programs
   
The StreamIt Development Tool:  A Programming Environment for StreamIt
   
A Graph Editing Framework for the StreamIt Language
   
Cache Optimizations for Stream Programs 
   
Ansolabehere, S.   
Applying Integer Programming Techniques to Find Minimum Integer Weights of Voting Games
   
Ariely, D.    
Hedonic Integration with Pain and Pleasure 
   
Arkoudas, K.  
Using a Denotational Proof Language to Verify Dataflow Analyses
   
Arvind   
Improved Handling of the Decoding Operation in the Presto Compiler
   
Equivalence Checking of Retimed Circuits
   
Asanovic, K.   
Hardware Support for Unbounded Transactional Memory                                         
   
High-Performance, Variable-Length Instruction Encodings
   
An Energy Profiler for the iPAQ
   
VISTA:  A Visualization Tool for Computer Architects
   
Sieve:  An XML-Based Structural Verilog Rules Check Tool
   
Low Power Single Precision IEEE Floating Point Unit
   
Video over IP:  An Example Reconfigurable Computing Application for a Handheld Device
   
ZOOM:  A Performance-Energy Cache Simulator
   
The SCALE DRAM Subsystem
   
Ashoori, R.   
Capacitance Spectroscopy and Its Application to Tunneling Current Measurements
   
Bachrach, J.   
Parameterized Types for GOO       
   
Towards RSEAM:  Resilient Serial Execution on Amorphous Machines
   
Starkiller:  A Static Type Inferencer and Compiler for Python
   
Enabling Path Planning and Threat Avoidance with Wireless Sensor Networks
   
Simultaneous Localization and Tracking in Wireless Ad-Hoc Sensor Networks
   
Balakrishnan, H.   
Gateway Selection in Multi-hop Wireless Networks
   
Implementation of a Power-Saving Protocol for Ad Hoc Wireless Networks
   
Differential Bandwidth Allocation with Multiplexed TCP Connections
   
Linear Road:  Benchmarking Stream-Based Data Management Systems
   
Implementation and Security Analysis of the Infranet Anti-Censorship System
   
A Simulation Study of Reordering-Resilient TCP Enhancements
   
Baldo, M. A.   
Generation of Photocurrent from Photosystem I Biomolecular Complexes
   
Barbastathis, G.   
Feedback Loop Design and Experimental Testing for Integrated Optics with Micro-Mechanical Tuning
   
Barnhart, C.   
The Stochastic Air Traffic Flow Management Rerouting Problem
   
Belcher, A.   
Characterization of AP-MALDI and ESI for a Differential Mobility Spectrometer
   
Benton, S. A.   
Delivering Real-Time Holographic Video Content with Off-the-Shelf PC Hardware
   
Bertsekas, D. P.  
Multiple Machine Maintenance:  Applying a Separable Value Function Approximation to a Variaton of the Mu
   
Berwick, R. C.   
Bayesian Modeling of Manner and Path Psychological Data  
   
An Extensible, Object-Oriented Executor for the Timeliner User Interface Language
   
Bitran, G. R.   
Evaluating the Implementation of New Service Models
   
Blair, K.   
Teaching Motion to a Group
   
Blumberg, B. M.   
Learning Intent from Tone of Voice
   
Boning, D. S.   
A Ring-Oscillator-Based Variation Test Chip
   
Variation Aware Design of Data Receiver Circuits for On-Chip Optical Interconnect
   
Characterization and Modeling of Polysilicon MEMS Chemical-Mechanical Polishing
   
Bowman, H. F.   
Hardware for Performing Hyperpolarized Helium Imaging on a Clinical MR Imager
   
Braida, L. D.  
Software for Psychoacoustic Experiment Design
   
Analysis of Frequency-Smearing Models Simulating Hearing Loss
   
Breazeal, C. L.   
A Motor Control Framework for Many-Axis Interactive Robots
   
Brock, D. L.  
The Visualization of Data and the User-Interface in the Auto-ID World
   
Bulovic, V.   
Improving the External Extraction Efficiency of Organic Light Emitting Devices  
   
Integrated Feedback Circuit for Organic LED Display Drivers
   
A Smart Active Matrix Pixelated OLED Display
   
Burge, C. B.   
ComBo:  A Visualization Tool for Comparative Genomic Data                                                                  
   
Development of Gene-Finding Algorithms for Fungal Genomes
   
Algorithms for Simulating Human Pre-mRNA Splicing Decisions
   
Burns, J. A.   
Application of Three-Dimensional Circuit Integration for Global Clock Distribution
   
Burns, S. K.   
An Exploration of a Through-the-Eyelid Intraocular Pressure Measurement Device
   
An Automated Bench Testing Sytem for Direct Current Parameters of Instrumentation Amplifiers
   
Source Localization of MEG Generation Using Spatiotemporal Kalman Filter
   
Burstein, D.   
An Investigation into the Efficacy of MRI T2 in an OA Population
   
Graphical Interface for Quantitative Monitoring of 3D MRI Data
   
Cassell, J.   
Automatic Extraction of Spatial Location for Gesture Generation
   
Collaborative Storytelling with an Embodied Conversational Agent
   
Conveying Routes:  Multimodal Generation and Spatial Intelligence in Embodied Conversational Agents
   
An Implementation of Face-to-Face Grounding in an Embodied Conversational Agent
   
Cavallo, D. P.   
Chat Decision Assistant:  An Online Distance Collaborative Tool
   
An Extensionable Microcontroller and Programming Environment
   
Chan, V. W. S.  
Simulation of an Optical Network System Application for a Space-Based High Performance Computer System 
   
Performance of Voice and Data Transmission Using the IEEE 802.11 MAC Protocol
   
Topologies for Satellite Constellations in a Cross-Linked Space Backbone Network
   
Modeling and Algorithms for Optimizaing Beam Steering Optical Crossconnects
   
Chandrakasan, A. P.   
Protocol Stacks for PowerAware Wireless Microsensor Networks
   
A Power-Aware Processing Element for a Microsensor Node
   
Analysis, Design and Prototyping of a Narrow-ring Radio for Application in Wireless Sensor Networks
   
5GHZ CMOS Resonant Clock Buffer with Quadrature Generation for Fiber Optic Applications
   
Design and Implementation of an Online Laboratory for Introductory Digital Systems
   
A Platform for Ultra Wideband Communication Systems
   
Chuang, I. L.  
A General-Purpose Pulse Sequencer for Quantum Computing
   
Bounds on the Entanglability of Thermal States in Liquid-State Nuclear Magnetic Resonance
   
Clark, D. D.   
Economic Mechanisms for Efficient Wireless Coexistence
   
Clarke, J-P.   
Evaluation of an Auction Mechanism for Allocating Airport Arrival Slots
   
Coleman, C. P.  
Hardware & Software Architecture for Multi-Level Unmanned Autonomous Vehicle Design
   
Collins, M. J.  
The Use of Syntactic Structure in Relationship Extraction                                                                
   
Parse Reranking with WordNet Using a Hidden Variable Model
   
Semi-Supervised Learning for Natural Language
   
Connors, S.  
An Analytic Structure for Sustainable Energy in Competitive Electricity Markets
   
Cooke, C. M.   
A Wireless, Low-Power, Asynchronous, Multi-Sensor Temperature Network
   
Wireless Power Transmission Utilizing a Phased Array of Tesla Coils
   
Counselman, C. C.  
Web-Tools for Streamling Ballroom Dance Competition Management
   
Csikszenthmihalyi, C.  
Robotically Reproducing Turntable Techniques
   
Csikszentmihalyi, M.  
Social Defense Mechanisms:  Tools for Reclaiming our Personal Space
   
Cummings, J.  
System for the Online Analysis of Distributed Projects
   
Developing Courseware to Support Online Discussion
   
Open-Source Social Network Assessment Survey System (NASS)
   
DPAS:  The Dynamic Project Assessment System
   
System for the Online Assessment of Distributed Projects
   
Cunningham, R. K.  
WinNTGen:  Creation of a Windows NT 5.0+ Network Traffic Generator
   
Modeling and Assessing Secure Voice Over IP Performance
   
Curtis, D. W.  
Notification in the THOR Database System
   
Cusumano, M.  
Practices for Fast and Flexible Software Development
   
Systematic Prioritization of Considerations in Making Offshore Software Development Outsourcing Decision
   
Dahleh, M. A.  
Optimization Techniques for Task Allocation and Scheduling in Distributed Multi-Agent Operatioins
   
Daly, M.   
An HMM-Based Boundary-Flexible Model of Human Haplotype Variation
   
Daniel, L.   
Design of High-Quality Factor Spiral Inductors in RF MCM-D
   
Darrell, T. J.  
Untethered Human Motion Recognition for a Multimodal Interface     
   
Interfacing Speech Recognition and Vision Guided Microphone Array Technologies
   
Matching and Compressing Sequences of Visual Hulls
   
Pose Estimation Using Cascade Trees
   
An Analysis of SIFT Object Recognition with an Emphasis on Landmark Detection
   
A Widget-Based Architecture for Perceptive Presence
   
Tracking with Constraints in a Web of Sensors
   
Davenport, G.  
M-Studio:  An Authoring Tool for Context-Aware Mobile Storytelling
   
ComicKit:  Knowledge Acquisition of Story Scripts
   
Davis, R.  
Segmentation and Alignment of Speech and Sketching in a Design Environment                                                
   
Facilitating User Understanding of Optimizations:  A Case Study of Channel Route Network Planning
   
Extending the ASSIST Sketch Recognition System
   
Building an Electronic Drafting Table for Sketch Recognition
   
Enabling Collaboration in the Sketching Domain
   
Dawson, J. L.  
A DC Stqabilized Fully Differential Amplifier
   
The Design of a High Efficiency RF Power Amplifier for an MCM Process
   
del Alamo, J. A.   
A Collaboration System and a Graphical Interface for the MIT Microelectronics Weblab          
   
MIT Device Simulation WebLab:  An Online Simulator for Microelectronic Devices
   
Bidirectional Natural Language Parsing Using Streams and Counterstreams
   
Delgutte, B.  
Predicting Lateralization Performance at HighFrequencies from Auditory-Nerve Spike Timing
   
Demaine, E. D.   
Adaptive Algorithms for Problems Involving Black-Box Lipschitz Functions
   
Devadas, S.  
A Secure and Scalable Network Architecture for Transactional Information Devices
   
Algorithms for Verifying the Integrity of Untrusted Storage
   
An Architecture for Secure Resource Discovery
   
Development of a Programming Model for the AEGIS Secure Processor
   
Dewey, C. F.  
BioDig:  Architecture for Integrating Heterogeneous Biological Data Repositories Using Ontologies
   
Microarray Submissions to Experibase
   
Deyst, J.  
A Sensor-Based Obstacle Avoidance System for an Under-Canopy Autonomous Aircraft
   
Diadiuk, V.  
Run Manager Module for CORAL Laboratory Management
   
Donath, J.  
Murmurized
   
Interaction News
   
Dresselhaus, M.  
Alignment and Characterization of Carbon Nanotubes on a Photolithographically Patterned Electrodes
   
Durand, F. P.   
Load-Balanced Rendering on a General-Purpose Tiled Architecture
   
Durlach, N. I.   
Characterizing the Perceptual Diffusion of Auditory Lateralizatin Images                                                            
   
Characterization of a Robot Arm for Use in Acoustic Experiments
   
Advantages of Listening with Two Ears to Speech Degraded by Noise and Reverberation
     
Edelman, A.   Optimizing a Parallel Fast Fourier Transform
    Parallel Sorting and Star-P Data Movement and Tree Flattening
     
Edelman, E. R.   Age Differentiation of Rat Smooth Muscle Cells:  Altered Proliferation Profile, Cellular Changes, and Im
     
Engels, D. W.     The Impact of Radio Frequency Identification on the Sarbanes-Oxley Act of 2002
    Auto-configuration of Savants in a Complex, Variable Network
    Enhancement of Electromagnetic Propagation Through Complex Media for Radio Frequency Identification
    Graphical Real-Time Simulation Tool for Passive UHF RFID Environemnts
     
Ernst, M. D.   Specification Coverage as a Measure of Test Suite Quality                                                                           
    Selecting Predicates for Conditional Invariant Detection Using Cluster Analysis
    Software Fault Identification via Dynamic Analysis and Machine Learning
    Compiler-Enforced Immutability for the Java Language
    Theorem-Proving Distributed Algorithms with Dynamic Analysis
    A C/C++ Front End for the Daikon Dynamic Invariant Detection System
    Program Steering:  Improving Adaptability and Mode Selection via Dynamic Analysis
    Code Versioning in a Workflow Management System
    Automatic Generation and Checking of Program Specifications
     
Feld, M. S.   Spatially Resolved Light Propagation in Tissue-Like Media
    Development of a Real-Time TMS Diagnostic Tool for Barrett's Esophagus
    Fast Phase Dispersion Microscope:  A New Instrument for Cellular Biology
    A Clinical Raman Spectroscopy System for Real-Time Disease Diagnosis
    Light Scattering Spectroscopy Clinical Imaging Device Implementation
     
Fendt, K. E.    Querying Over Multiple XML Schemas in a Document Management System
    Indexing XML with Relational Tables
     
Feron, E.   Design and Validation of an Avionics System for a Miniature Acrobatic Helicopter
     
Ferrell, C. L.    A Motor Control Framework for Many-Axis Interactive Robots
     
Fink, Y.   Optoelectronic Fiber Webs for Imaging Applications
     
Fisher, J. W.   Detection and Localization of Aerosol Releases from Sparse Sensor Measurements
    Dynamic Bayesian Networks for the Classification of Spinning Discs
     
Fisher, P.    Data Acquisition System Design for the Alpha Magnetic Spectrometer Experiment
     
Flowers, W. C.    A New Media Framework for Classical Equation Derivation
     
Fraser, H.    TeleMedMail:  A Store-and-Forward Telemedicine System for Developing Countries
     
Freeman, D. M.    Broadband Nanosensing Using Heterodyne Interferometry
    Low-Power Image Based Triggering for Extended Operation Surveillance
    Measuring the Electrically Induced Motion Response of the Isolated Tectorial Membrane
    Robust Motion Estimation in the Presence of Fixed Pattern Noise
    Visualization and Management of Large Biological Imaging Datasets
    An Earth Image Simulation and Tracking System for the Mars Laser Communication Demonstration
     
Garland, S. J.   Freebrain:  A Distributed and Scalable Interest-Based Instant Group Communication System
    Location Aware Access Control for Pervasive Computing Environments
     
Gershenfeld, N. A.    Accessible Broadband Network Analysis
     
Gifford, D. K.   Visual Flight:  The Air Traffic Control Data Analysis System
    Representation and Visualization of Genetic Regulatory Networks
     
Glass, J. R.   Rapid Configuration of Discourse and Dialog Management in Conversational Systems
    An XML Messaging Protocol for Multimodal Oxygen Applications
     
Gleason, K. K.    Recombinant Collagen Production Optimization in Escherichia coli
     
Greenberg, J. E.   Use of Intermicrophone Correlation in Estimating Signal to Noise Ratio
    A Web-Based Tutoria for Statistical Analysis of fMRI Data
    Detection of Contaminants Using a MEMS FAIMS Sensor
     
Grimson, W. E.    A 3D Interactive Virtual Endoscopy Tool with Automatic Path Generation
    Background Maintenance Utilizing Common Distributions
    An Improved Algorithm for Object Tracking and Background Subtraction
    A Finite Difference Model of the Human Brain for Electroencephalography
     
Grodzinsky, A. J.   Extended Mechanical Stimulation of Cartilage for Growth and Repair
     
Grosof, B.    Representing Agent Contracts with Exceptions and Business Process Exceptions
     
Guttag, J. V.   Automated Auscultation:  Diagnosing Mitral Valve Prolapse Using Acoustic Features
    Flexible Application Driven Network Striping Over Wireless Wide Area Networks
    A Tool for Hemodynamic Data Analysis
    M.I.T. Automated Auscultation System
    A Software Toolkit for Acoustic Respiratory Analysis
    Interactions Between TCP and Link Layer Protocols on Mobile Satellite Links
    Patient-Specific Epileptic Seizure Onset Detection
    Carotid Collar:  A Device and Method for Auscultory Detection of Carotid Artery Stenosis
     
Hazen, T. J.    ASR Dependent Techniquest for Speaker Recognition
    Exploration of Small Enrollment Speaker Verification on Handheld Devices
     
Hemond, H. F.   Design and Implementation of a Real-time Chemical Sensor Network                                                         
    Nereus Nemertes:  Embedded Mass Spectrometer Control System
    Design and Development of a Network Architecture for a Chemical Sensor Network
     
Herr, H.   Energy Economy Gait Analysis of an Autoadaptive Prosthetic Knee
    Biologically-Plausible Six-Legged Running:  Control and Simulation
     
Hicks, J. E.    Expanding the Wireless Communication Paradigm
    Expanding the Wireless Communication Paradigm
     
Horn, B. K. P.   Height and Gradient from Shaded Stereo Images                                                                              
    A Parking Assistant
     
Hu, Q.    Investigation of Thermal Electric Cooler-less Microbolometer Infrared Imaging
     
Hunter, I. W.   Telemetric Brain Electrode Array:  Wireless and Analog Subsystems
    Electronics for a Telemetric Brain Electrode Array System
     
Indyk, P.    Clustering in High Dimensions                                              
    Lower Bounds for Embedding the Earth Mover Distance Metric Into Normed Spaces
    Approximate Nearest Neighbor Problem in High Dimensions
     
Intille, S. S.    Interruptions:  Using Activity Transitions to Trigger Proactive Messages
    A Sensor Toolkit to Facilitate Context-Awareness for Just-In-Time Questioning
    Context-Aware Activity Recognition Using TAN Classifiers
    Physical Activity Recognition from Acceleration Data Under Semi-Naturalistic Conditions
    Context-Aware Experience Sampling for the Design and Study of Ubiquitous Technologies
    Training Architectural Computational Critics by Example
    Computer Vision-Based People Tracking for Motivating Behavior in Public Spaces
     
Ippen, E. P.    Complete Characterization of Optical Pulses in the Picosecond Regime for Ultrafast Communication Systems
     
Ishii, H.    PINS:  A Haptic Computer Interface System
     
Jackson, D. N.   Subtyping in Alloy                          
    Translating Alloy Using Boolean Circuits
    Avalanche:  A Framework for Parallel and Distributed Computation
    Synchronizing Trees and Text in a Software Model Analyzer
    TSAFE:  Building a Trusted Computing Base for Air Traffic Control Software
    The Design and Implementation of FIG:  A Record/Playback Mechanism for ETMS Feeds
    MintEra:  A Testing Environment for Java Programs
    Visualizatin Framework for Software Design Analysis
    Description and Analysis of Central Registry; A Pattern for Modular Implicit Invocation
     
Jacobson, J.    Fabrication of Metallic Nanostructures from Nanocluster Precursors
     
Jones, L   A Wireless Communication System for a Tactile Vest
    Physiological Sensor System for a Wireless Tactile Display
     
Kaashoek, M. F.   Providing Asynchronous File I/O for the Plan 9 Operating System;                                                                      
    Acetone:  A System Call Interface for Asbestos Labels
    Mandatory Security and Performance of Services in Asbestos
    A Keyword-Pair Index System for Peer-to-Peer Networks
    Robust and Efficient Data Management for a Distributed Hash Table
    Melody:  A Distributed Music-Sharing System
    SSL Splitting and Barnraising:  Cooperative Cashing with Authenticity Guarantees
    Access Control Lists for the Self-Certifying File System
    Self-Certifying File System Implementation for Windows
     
Kaelbling, L. P.    Autonomous Stair Climbing
    A Sonar-Based Mapping System for an Unmanned Undersea Vehicle
    A Paritially Observable Approach to Allocating Resources in a Dynamic Battle Scenario
    Learning Bayesian networks from Medical Data
    Learning Models of World Dynamics Using Bayesian Networks
    Algorithms for Partially Observable Systems as Applied to Battle Management
    Image Segmentation by Texture Clustering Using Variations of Simulated Annealing
    A Reinforcement Learning Approach to Power Management
    The Women's Technology Program:  EECS Outreach for High-School Students
    Vision Based Robot Navigation System
    Machine Learning at the Operating Room of the Future
    Approximate Inference Methods for Grid-Structured MRFs
     
Kaertner, F. X.    Stabilization of Passively Mode Locked Solid-State Lasers by Use of Electronic Feedback
     
Kamm, R. D.   Local Measurement of the Pulse Wave Velocity Using Doppler Ultrasound
     
Karger, D. R.   Versioning for the Haystack System  
    Creating a Web Page Recommendation System for Haystack
    Belief Layer for Haystack
    Adding E-mail Classification Functionality to Haystack
    A Computational Exploration of Rounding Algorithms for the Multiway Cut Problem;
    Tree Pattern Inference and Matching for Wrapper Induction on the World Wide Web
     
Katabi, D.    A Performance Study of Multiframe Interleaving for CDMA2000 Cellular System
    A Novel Approach to Multipath Routing Using Flowlets
    Load-Balancing the GRID Ad Hoc Routing Protocol
     
Katz, B.   Pronominal Anaphora Resolution for Question Answering
    Extracting Praphrases from Aligned Corpora
    Answering Definitional Questions Before They Are Asked
    Hap-Shu:  A Language for Locating Information in HTML Documents
    Prism -- An Answer Projection System
    An Efficient Representation for Multi-Application Accessible Visual Information
    Query Expansion Techniques for Question Answering
     
Kaynar, D. K.    TIOA and UPPAAL
     
Keating, A. E.   Network Tools for the Analysis and Prediction of Protein-Protein Interactions
    Computational Tools for Including Specificity in Protein Design
     
Keidar, I.   Performance Evaluation of Distributed Algorithms Over the Internet
     
Khazan, R. I.   Robust Chat for Airborne Command and Control
    Towards Implementing Group Membership in Dynamic Networks:  A Performance Evaluation Study
     
Kim, S-G.    Piezoelectric Micro Power Generator (PMPG):  A MEMS-Based Energy Scavenger
     
Kirtley, J. L.    A Doubly-Fed Permanent Magnet Generator for Wind Turbines
    Analysis of Hunting in Synchronous Hysteresis Motor
     
Klopfer, E.   Charles River City:  An Educational Augmented Reality Simulation Pocket PC Game
    End-User Programming for the Web
     
Knight, T. F.    Compilation to a Queue-Based Architecture
    Self-Distributing Computation
    Power-Efficient Design of 16-Bit Mixed-Operand Multipliers
    A Biological Simulator Using a Stochastic Approach for Synthetic Biology
    BioJADE:  A Design and Simulation Tool for Synthetic Biological Systems
     
Kogan, L.    Research and Development of Risk Arbitrage Trading Systems
     
Kohane, I. S.   Identification of Viral and Bacterial Triggers for Human Autoimmune Diseases
     
Koile, K.    iPlot:  An Intelligent Lighting Design Assistant
     
Koksal, A. E.   Analysis of Critical Points for Nonconvex Optimization
     
Kong, J. A.   Directive Antenna Using Metamaterial Substrates
    Multiple Region Finite-Difference Time-Domain Modeling of Duct Cavities
     
Kuszmaul, B. C.    Partial Parallelization of Graph Partitioning Algorithm METIS
     
Laddaga, R.    ACCESS:  Access Controls for Cooperatively Enabled Smart Spaces
    Personal Location Agents for Communicating Entities (PLACE)
     
Lang, J. H.   Readout and Control for a High Performance Accelerometer
    A Piezo-Tunable Gigahertz Cavity Microelectromechanical Resonator
     
Larson, R. C.    Queueing Implications of New Security Procedures in Containerized Shipping
    Formulating Earthquake Response Models in Iran
     
Lauffenburger, D.   Diabetes Research Vortex:  A Novel Information Management System for Type I Diabetes
    Gene Expression Array Simulator
     
Lebak, J.   Bayesian Inference Algorithm on Raw
     
Leeb, S. B.    Laboratory Experiments for a Wireless Comunications Course
    Harmonic Control of Multiple-Stator Induction Machines for Voltage Regulation
    Gyroscope Angular Rate Processing Across Asynchronous Clock Domains
    Courseware Development for a Laboratory Class in Power Electronics
     
Leiserson, C. E.   The JCilk-1 Runtime System
    Memory-Mapped Transactions
    LecTix:  A Levture Multimedia Player
    Data Race Detection in "Transactions Everywhere" Parallel Programming
    Dynamic Processor Allocation for Adaptively Parallel Work-Stealing Jobs
     
Leonard, J. J.    Feature-relative Real-time Obstacle Avoidance and Mapping
     
Leveson, N. G.   Design and Implementation of Software to Automate Reuse in Component-Based System Engineering
    Visualization Tools for SpecTrm
     
Lieberman, H. A.   Semantic Understanding and Commonsense Reasoning in an Adaptive Photo Agent
    Mutual Disambiguation of Recognition Errors in a Multimodal Navigational Agent
     
Lim, J. S.   The Resolution Enhancement of Real-Time Captured Images
    An Investigation of Methods for Digital Television Format Conversions
    Implementing Rate-Distortion Optimization on a Resource-Limited H.264 Encoder
     
Lippman, A. B.    A Cooperative Communication Protocol for Wireless Ad-Hoc Networks
    Design and Performance of a Wired Viral Network
    Construction and Analysis of a Wireless Antenna Sharing Scheme
     
Lippman, R. P.    Detecting Buffer Overflows Using Testcase Synthesis and Code Instrumentation
     
Lippmann, R. P.    NESPA: Network Security Planning Architecture
    Securing Software:  An Evaluation of Static Source Code Analyzers
     
Liskov, B. H.     Feasibility of GNU/Linux as the OS for a PC-based Medical Product
    A Framework for Peer-to-Peer Applications
    Petscope:  A Standardized System for Ballistic Missile Guidance Data Analysis
    The Application of the Value-Added Activity Model for the Mark-6 LE Integration Project
    Authentication in a Reconfigurable Byzantine Fault Tolerant System
    Object Evolution:  Adding Runtime Class Mutability to the JVM
     
Lo, A. W.    Emotional News:  How Emotional Content of News and Financial Markets are Related
    Emotional Response Modeling in Financial Markets:  Boston Stock Exchange Data Analysis
    A Multi-Tier Framework for Dynamic Data Collection, Analysis, and Visualization
    VizStudio:  A Visualization Tool for Study in the Psychology of Trading
    A Real-time System for Processing, Sharing, and Display of Psysiology Data
    The Dynamics of Global Financial Crisis
    AMPS:  A Simulation System for Modeling and Analyzing the Psychology of Risk-Taking
     
Long, W. J.    Wireless Location Networks and Realtime Messaging for Patients with Heart Failure
     
Lozano-Perez, T.   An Innovative Integrated Development Environment for Personal Digital Assistant
    ROOS:  A Structured Email Server
    Graphical Extensions to Online Problem Sets on Tutors
     
Lundberg, K. H.    A MEMS-Based Precision Operational Amplifier
    A MEMS-Based, High-Resolution Electric Field Meter
     
Lundqvist, K.    Ravenscar Cross Compiler for the Gurkh Project
     
Lynch, N. A.   A Specification and Verification of Intermittent Global Order Broadcast
    Code Generation for the IOA Language
    Verification of an Attitude Control System
    The Simulation of Composite Input/Output Automata
     
Madden, S. R.   A Measurement-Based Analysis of the Interaction Among Mac, Network and Application Layers in Wireless Se
    Eventing Architecture:  RFID and Sensors in a Supply Chain
    Compression and Query Execution within Column-Oriented Databases
    An Augmentation Algorithm for Improving Longevity in Ad Hoc Wireless Networks
     
Madnick, S. E.   Virtual Merging of Ecoin Applications and Guidelines for Building Ontologies
    Merging Ontologies in the Context Mediation Framework
    Capabilities Aware Planner/Optimizer/Executioner for COntext INterchange Project
    Metadata Representation and Management for Context Mediation
    The CLAMP:  An Application Merging Tool Using the Context-Linking Approach
    Corporate Householding Knowledge Management and Reasoning Using the Extended Context Interchange System
     
Maeda, J.   Scalable Spatially Aware Media Sharing Display System
     
Maes, P.   Ether Threads:  An Infrastructure for Location-Based Messages
     
Manalis, S. R.   Integrated Field-Effect Sensor and Microfluidics for Biomolecular Recognition
     
Mark, R. G.   A Database to Support Development and Evaluation of Intelligent Intensive Care Monitoring
    The Annotation Station:  An Open Source Technology for Annotation of Large Biomedical Databases
    De-Identification of ICU Patient Records
    Artifact Detection in Physiological Parameter Trend Data
    An Automated Web-Based Searchable Archive for Lab Data
    Computer-Assisted De-Identification of Free-Text Nursing Notes
     
Marshall, J. C.    Modeling Diffusion in the Antarctic Circumpolar Current
     
Massaquoi, S. G.   An Engineering Model of Lower Thalamo-Cortico-Basal Ganglionic Circuit Function
    Linear Control Model of the Spinal Processing of Descending Neural Signals
    Development of Quantitative Tools for Assessment of Cerebellar Dysfunction
     
McDowell, C.   Field Journal:  A Mobile Data Collection and Mapping Application for Pocket PCs
     
McKenna, B.    Algorithmic Advances Towards a Fully Automated DNA Genotyping System
     
McMillan, L.    Padcam:  A Portable, Human-Centric System for Handwriting Capture
     
Medard, M.    Optimum Spreading Bandwidth for DS-CDMA on Time and Frequency Fading Channels
    Transmit Simulation and Receive Optimization for 802.11b Networks
    Delay Improvements from Multiple Wavelengths in an Optical Folded Bus
    Simplified Random Network Codes for Multicast Networks
    Performance of Random Network Coding for Data Dissemination
     
Meyer, A. R.   Technical and Logistical Support for Course Assessment
     
Mikhak, B.   Encouraging Innovation by Engineering the Learning Curve
    Tangible Toolkits for Reflective Systems Modeling
     
Milgrom, P.   IVAN -- Integrated Virtual Agent Network
     
Miller, R. C.    Cluster-Based Find and Replace
    Human Intellegible Positioning
    Google as a Bookmarking Tool
    User-Directed Sketch Interpretation
    Timeliner Integrated Development Environment
    Automatic Generation of XSLT Simultaneous Editing
    An Email Spam Filtering Proxy Using Secure Authentication and Micro-bonds
    FireViz:  A Personal Firewall Visualizing Tool
    Detecting and Parsing Embedded Lightweight Structures
     
Mindell, D. A.    Analysis of a Sub-Bottom Sonar Profiler for Surveying Underwater Archaeological Sites
     
Modiano, E. H.    Distributed Construction of Energy-Efficient Ad Hoc Wireless Broadcast Trees
    Minimum-Energy Path Planning for Ad-Hoc Networks
     
Morris, R. T.    The Grid Roofnet:  A Rooftop Ad Hoc Wireless Network
    NATRON:  Overlay Routing to Oblivious Destinations
    A Service Discovery Framework for a Peer-to-Peer Network
    Choosing Internet Paths with High Bulk Transfer Capacity
    Multi-Hop Wireless Relay Using Bluetooth Specification
    Herodotus:  A Peer-to-Peer Web Archival System
    A Peer-to-Peer Anonymizing Network Layer
    Zebrafish:  A Steganographic System
    Effects of Loss Rate on Wireless Ad Hoc Routing
    Concurrency Control for Multi-Processor Event-Driven Systems
     
O'Connor, R.    Design & Implementation of a Wireless Sensor Prototyping Kit
     
O'Neil, C. H.     Data on Elliptic Curves with High Rank
     
O'Reilly, U-M.   Evolving Circuits on a Field Programmable Analog Array Using Genetic Programming
     
Ohno-Machado, L.   Epidemic Modeling Techniques for Smallpox
    Prognostic Models for Mesothelioma:  Variable Selection and Machine Learning
    Extensible Neural Network Software:  Applications in Gene Expression Analysis
     
Oppenheim, A. V.   Signal Processing for DNA Sequencing
    Digital Pre-Compensation for Faulty D/A Converters:  The "Missing Pixel" Problem
    Design of Efficient Digital Interpolation Filters for Integer Upsampling
     
Orlin, J. B.    CARDS:  Conjoint Adaptive Retroactive Database System
    Cyclic Exchange Neighborhood Search Technique for the K-means Clustering Problem
     
Ozdaglar, A. E.   Analysis of Critical Points for Nonconvex Optimization
     
Page, D. C.