This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Three Dream Applications of Verifiable Computational Results
July/August 2012 (vol. 14 no. 4)
pp. 26-31
Matan Gavish, Stanford University
David Donoho, Stanford University
Verifiable Computational Results (VCR) is a disciplined approach to computer-based research that requires subtle adjustment to the work habits of scientists, and in return automatically converts their results into permanent Web services. This article describes how VCR makes computational results accessible to three specific Dream Applications, which allow researchers to search, reuse, and experiment upon published computational results.

1. T.R. Golub et al., “Molecular Classification of Cancer: Class Discovery and Class Prediction by Gene Expression Monitoring,” Science, vol. 286, no. 5439, 1999, pp. 531–537.
2. M. Gavish and D. Donoho, “A Universal Identifier for Computational Results,” Procedia Computer Science, vol. 4, 2011, pp. 637–647.
3. J.P. Ioannidis et al., “Genetic Associations in Large Versus Small Studies: An Empirical Assessment,” The Lancet, vol. 361, no. 9357, 2003, pp. 567–571.

Index Terms:
Reproducibility of results,Video recording,Computer applications,Programming,Research and development,Scientific computing,Formal verification,scientific computing,Reproducibility of results,Video recording,Computer applications,Programming,Research and development,Scientific computing,Formal verification,reproducible research,RESTful Web services,VCR,verifiable research,verifiable result identifier,repository,dream applications,meta-analysis
Citation:
Matan Gavish, David Donoho, "Three Dream Applications of Verifiable Computational Results," Computing in Science and Engineering, vol. 14, no. 4, pp. 26-31, July-Aug. 2012, doi:10.1109/MCSE.2012.65
Usage of this product signifies your acceptance of the Terms of Use.