Related papers: Validating the Universe in a Box
In cosmology numerical simulations of structure formation are now of central importance, as they are the sole instrument for providing detailed predictions of current cosmological models for a whole class of important constraining…
Over the last decades, cosmological simulations of galaxy formation have been instrumental for advancing our understanding of structure and galaxy formation in the Universe. These simulations follow the non-linear evolution of galaxies…
We propose a new approach for multiverse analysis based on computational complexity, which leads to a new family of "computational" measure factors. By defining a cosmology as a space-time containing a vacuum with specified properties (for…
We propose a connection between the visualisation of cosmic matter and structure formation in the Cartesian tradition and that used by contemporary astrophysics. More precisely, we identify cosmological simulations of large scale structure…
Autonomous cyber-physical systems (CPS) can improve safety and efficiency for safety-critical applications, but require rigorous testing before deployment. The complexity of these systems often precludes the use of formal verification and…
Cosmology is undergoing an explosive period of activity, fueled both by new, accurate astrophysical data and by innovative theoretical developments. Cosmological parameters such as the total density of the Universe and the rate of…
Validation is often defined as the process of determining the degree to which a model is an accurate representation of the real world from the perspective of its intended uses. Validation is crucial as industries and governments depend…
The cutting edge in systems development today is in the area of "systems of systems" (SoS) large networks of inter-related systems that are developed and managed separately, but that also perform collective activities. Such large systems…
In this review we discuss several aspects of Cosmic Voids. Voids are a major component of the large scale distribution of matter and galaxies in the Universe. They are of instrumental importance for understanding the emergence of the Cosmic…
This conference centers on photoionized plasmas, and the tools necessary to understand them. One of the major goals of meetings held between developers of plasma codes is to identify sources of differences between various codes, and resolve…
Simulation of quantum systems that provide intrinsically fault-tolerant quantum computation is shown to preserve fault tolerance. Errors committed in the course of simulation are eliminated by the natural error-correcting features of the…
Excellent computer simulations are done for a purpose. The most valid purposes are to explore uncharted territory, to resolve a well-posed scientific or technical question, or to make a design choice. Stand-alone modeling can serve the…
Loop quantum cosmology is an application of recent developments for a non-perturbative and background independent quantization of gravity to a cosmological setting. Characteristic properties of the quantization such as discreteness of…
Although cosmology is usually considered an observational science, where there is little or no space for experimentation, other approaches can (and have been) also considered. In particular, we can change rather drastically the above, more…
I briefly discuss the challenges presented by attempting to modify general relativity to obtain an explanation for the observed accelerated expansion of the universe. Foremost among these are the questions of theoretical consistency - the…
This article reviews the prevailing paradigm for how galaxies and larger structures formed in the universe: gravitational instability. Basic observational facts are summarized to motivate the standard cosmological framework underlying most…
Besides their use for efficient computation, quantum computers are a base for studying quantum systems that create valid physical theories using mathematics and physics. An essential part of the validation process for quantum mechanics is…
It is shown the construction of a module structure [2] with universe over a set of a particular kind of mathematical proofs, the base ring of this module will be built on a maximal consistent extension of a set of propositions, this…
Uncertain, unpredictable, real time, and lifelong evolution causes operational failures in intelligent software systems, leading to significant damages, safety and security hazards, and tragedies. To fully unleash the potential of such…
The observational evidence for the recent acceleration of the universe demonstrates that canonical theories of cosmology and particle physics are incomplete---if not incorrect---and that new physics is out there, waiting to be discovered.…