M.S.

Case Study and Experiments of Control over Sensor Networks
Phoebus Wei-Chih Chen [advisor: S. Shankar Sastry]

Complex Event Processing Beyond Active Databases: Streams and Uncertainties
Shariq Rizvi [advisor: Michael Franklin]

Designing, Implementing, and Analyzing a System for Virus Detection
Blaine Alan Nelson [advisor: Anthony D. Joseph]

Fundamental limits on detection in low SNR
Rahul Tandra [advisor: Anant Sahai]

Joint Entropy Minimization for Learning in Nonparametric Framework
Parvez Ahammad [advisor: S. Shankar Sastry]

Model-Based Synthesis and Analysis of Fault Tolerant Data Flow Models
Mark Lee McKelvin Jr [advisor: Alberto L. Sangiovanni-Vincentelli]

Observation Uncertainty in Gaussian Sensor Networks
Anand D. Sarwate [advisor: Michael Gastpar]

Outage Capacity of the Fading Relay Channel in the Low SNR Regime
Amir Salman Avestimehr [advisor: David Tse]

Remote Source Coding and AWGN CEO Problems
Krishnan Eswaran [advisor: Kannan Ramchandran and Michael Gastpar]

Type-Based Verification of Assembly Language
Bor-Yuh Evan Chang [advisor: George Necula]

Vector Scattering Analysis of TPF Coronagraph Pupil Masks
Daniel Peter Ceperley [advisor: Andrew R. Neureuther]

Anytime Capacity of the AWGN+Erasure Channel with Feedback
[advisor: Anant Sahai]

On the feasibility of cognitive radio
[advisor: Anant Sahai]