sort results by

Use logical operators AND, OR, NOT and round brackets to construct complex queries. Whitespace-separated words are treated as ANDed.

Show articles per page in mode

Smeenk, Chris

Normalized to: Smeenk, C.

1 article(s) in total. 1 co-authors. Median position in authors list is 1,0.

[1]  oai:arXiv.org:2001.09101  [pdf] - 2036931
Validating the Universe in a Box
Comments: 13 pages. Accepted for publication in Philosophy of Science for the PSA2018 symposium proceedings issue
Submitted: 2020-01-24
Computer simulations of the formation and evolution of large scale structure in the universe are integral to the enterprise of modern cosmology. Establishing the reliability of these simulations has been extremely challenging, primarily because of epistemic opacity. In this setting, robustness analysis defined by requiring converging outputs from a diverse ensemble of simulations is insufficient to determine simulation validity. Instead, we propose an alternative path of structured code validation that applies eliminative reasoning to isolate and reduce possible sources of error, a potential path that is already being explored by some cosmologists.