This dissertation presents a pointer analysis for Java programs, together with several practical analysis applications. For each program point, the analysis is able to construct a points-to graph that describes how local ...

The need for compact, rugged, low-cost multispectral-polarimetric filtering technology exists in both the civilian and defense communities. Such technology can be used for object detection, object recognition, and image ...

We study the problem of obtaining efficient, deterministic, black-box polynomial identity testing algorithms (PIT) for algebraic branching programs (ABPs) that are read-once and oblivious. This class has an efficient, ...

In this thesis, we investigate unsupervised and semi-supervised methods to construct anatomical atlases and segment medical images. We propose an integrated registration and clustering algorithm to compute an anatomical ...

Congestive Heart Failure (CHF) is a chronic medical condition that causes reduced exercise tolerance, shortness of breath, and fluid buildup in the lungs, legs, and abdomen. While CHF-related mortality has reduced in recent ...