Search For:

Displaying 1-2 out of 2 total
Verification of Compartmental Epidemiological Models Using Metamorphic Testing, Model Checking and Visual Analytics
Found in: 2012 ASE/IEEE International Conference on BioMedical Computing (BioMedCom)
By Arvind Ramanathan,Chad A. Steed,Laura L. Pullum
Issue Date:December 2012
pp. 68-73
Compartmental models in epidemiology are widely used as a means to model disease spread mechanisms and understand how one can best control the disease in case an outbreak of a widespread epidemic occurs. However, a significant challenge within the communit...
Ultrascale Visualization of Climate Data
Found in: Computer
By Dean N. Williams,Timo Bremer,Charles Doutriaux,John Patchett,Sean Williams,Galen Shipman,Ross Miller,David R. Pugmire,Brian Smith,Chad Steed,E. Wes Bethel,Hank Childs,Harinarayan Krishnan,Prabhat Prabhat,Michael Wehner,Claudio T. Silva,Emanuele Santos,David Koop,Tommy Ellqvist,Jorge Poco,Berk Geveci,Aashish Chaudhary,Andy Bauer,Alexander Pletzer,Dave Kindig,Gerald L. Potter,Thomas P. Maxwell
Issue Date:September 2013
pp. 68-76
Collaboration across research, government, academic, and private sectors is integrating more than 70 scientific computing libraries and applications through a tailorable provenance framework, empowering scientists to exchange and examine data in novel ways...