Automated Behavior Computation for Software Analysis and Validation... Conference Paper January, 2012
Query Processing for Probabilistic State Diagrams Describing Multiple Robot Navigation in an Indoor Environment... Journal January, 2012
Non-Uniform Contrast and Noise Correction for Coded Source Neutron Imaging... Conference Paper January, 2012
Automatic Diabetic Macular Edema Detection in Fundus Images Using Publicly Available Datasets... Journal December, 2011
Large-scale User Facility Imaging and Scattering Techniques to Facilitate Basic Medical Research... Book Chapter December, 2011
Retinoblastoma (Rb) regulates laminar dendritic arbor reorganization in retinal horizontal neurons... Journal December, 2011