Verification of Compartmental Epidemiological Models using Metamorphic Testing, Model Checking and Visual Analytics... Conference Paper December, 2012
Agent-Based vs. Equation-based Epidemiological Models:A Model Selection Case Study ... Conference Paper December, 2012
Statistical Inference for Big Data Problems in Molecular Biophysics... Conference Paper December, 2012
Early Evaluation of Directive-Based GPU Programming Models for Productive Exascale Computing... Conference Paper November, 2012
Combining In-situ and In-transit Processing to Enable Extreme-Scale Scientific Analysis... Conference Paper November, 2012
Byte-precision level of detail processing for variable precision analytics... Conference Paper November, 2012