Alexandria Digital Research Library

Modeling and Calibrating the Distributed Camera

Information Reliability on the Social Web Models and Applications in Intelligent User Interfaces

Mining clinical data for trauma patients

Data model verification via theorem proving

Detecting the stealthy distribution of malicious and abusive content online

Mining and Managing Large-Scale Temporal Graphs

Understanding and Engaging Online Audiences

Contextualizing Network Security

Scalable automated evasive malware analysis