Three dream applications of verifiable computational results

Matan Gavish; David Donoho

doi:10.1109/MCSE.2012.65

Three dream applications of verifiable computational results

Research output: Contribution to journal › Article › peer-review

Abstract

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.

Original language	English
Article number	6200248
Pages (from-to)	26-31
Number of pages	6
Journal	Computing in Science and Engineering
Volume	14
Issue number	4
DOIs	https://doi.org/10.1109/MCSE.2012.65
State	Published - 2012
Externally published	Yes

Keywords

RESTful Web services
VCR
dream applications
meta-analysis
repository
reproducible research
scientific computing
verifiable research
verifiable result identifier

All Science Journal Classification (ASJC) codes

General Computer Science
General Engineering

Access to Document

10.1109/MCSE.2012.65

Cite this

@article{60162b5736394d6f980894c814681594,

title = "Three dream applications of verifiable computational results",

abstract = "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.",

keywords = "RESTful Web services, VCR, dream applications, meta-analysis, repository, reproducible research, scientific computing, verifiable research, verifiable result identifier",

author = "Matan Gavish and David Donoho",

note = "Funding Information: Matan Gavish is supported by a William R. and Sara Hart Kimball Stanford Graduate Fellowship.",

year = "2012",

doi = "10.1109/MCSE.2012.65",

language = "الإنجليزيّة",

volume = "14",

pages = "26--31",

journal = "Computing in Science and Engineering",

issn = "1521-9615",

number = "4",

}

TY - JOUR

T1 - Three dream applications of verifiable computational results

AU - Gavish, Matan

AU - Donoho, David

N1 - Funding Information: Matan Gavish is supported by a William R. and Sara Hart Kimball Stanford Graduate Fellowship.

PY - 2012

Y1 - 2012

N2 - 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.

AB - 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.

KW - RESTful Web services

KW - VCR

KW - dream applications

KW - meta-analysis

KW - repository

KW - reproducible research

KW - scientific computing

KW - verifiable research

KW - verifiable result identifier

UR - http://www.scopus.com/inward/record.url?scp=84864205790&partnerID=8YFLogxK

U2 - 10.1109/MCSE.2012.65

DO - 10.1109/MCSE.2012.65

M3 - مقالة

SN - 1521-9615

VL - 14

SP - 26

EP - 31

JO - Computing in Science and Engineering

JF - Computing in Science and Engineering

IS - 4

M1 - 6200248

ER -

Three dream applications of verifiable computational results

Abstract

Keywords

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this