Related papers: CosmicFish Validation Notes V1.0
CosmicFish is a publicly available library to perform Fisher matrix forecast for several cosmological observations. With the present implementation notes we provide a guide to the physical and technical details of the library. We reproduce…
This note concerns a search for publications in which the pragmatic concept of a test as conducted in the practice of software testing is formalized, a theory about software testing based on such a formalization is presented or it is…
Current and upcoming cosmological observations allow us to probe structures on smaller and smaller scales, entering highly nonlinear regimes. In order to obtain theoretical predictions in these regimes, large cosmological simulations have…
I will review the most recent and interesting results from gravitational wave detection experiments, concentrating on recent results from the LIGO Scientific Collaboration (LSC). I will outline the methodologies utilized in the searches,…
We describe a major update to the public GIZMO code. GIZMO has been used in simulations of cosmology; galaxy and star formation and evolution; black hole accretion and feedback; proto-stellar disk dynamics and planet formation; fluid…
Recent developments in cosmic strings are reviewed, with emphasis on unresolved problems.
The first version of these lecture notes is based on the hand-written notes I prepared for the cosmology course taught to graduate students of PPGFis and PPGCosmo at the Federal University of Esp\'irito Santo (UFES), starting in 2014. The…
Some of the technical details involved in taking and analyzing data from COBE are discussed, and recent results from the FIRAS and DMR experiments are summarized. Some of the cosmological implications of these recent data are presented.
Cosmic rays represent one of the most fascinating research themes in modern astronomy and physics. After almost a century since their discovery, a huge amount of scientific literature has been written on this topic and it is not always easy…
The large amount of cosmological data already available (and in the near future) makes necessary the development of efficient numerical codes. Many software products have been implemented to perform cosmological analyses considering one or…
This brief code paper presents a new Python-wrapped version of the popular 21cm cosmology simulator, 21cmFAST. The new version, v3+, maintains the same core functionality of previous versions of 21cmFAST, but features a simple and intuitive…
Precision cosmology with gravitational wave (GW) sources requires a deeper understanding of the interplay between GW source population and cosmological parameters governing the dynamics of the Universe. With the swift increase in GW…
Code review is a mature practice for software quality assurance in software development with which reviewers check the code that has been committed by developers, and verify the quality of code. During the code review discussions, reviewers…
These notes outline a formal method for program verification of numerical computation. It forms the basis of the software package VPC in its initial phase of development. Much of the style of presentation is in the form of notes that…
Simulations are highly valuable in marine robotics, offering a cost-effective and controlled environment for testing in the challenging conditions of underwater and surface operations. Given the high costs and logistical difficulties of…
Code review is widely known as one of the best practices for software quality assurance in software development. In a typical code review process, reviewers check the code committed by developers to ensure the quality of the code, during…
Semantic code search, retrieving code that matches a given natural language query, is an important task to improve productivity in software engineering. Existing code search datasets face limitations: they rely on human annotators who…
We present an overview of the cosmic shear results obtained so far. We focus on the 2-point statistics only. Evidences supporting the cosmological origin of the measured signal are reviewed, and issues related to various systematics are…
In this book are studied, from the perspective of the dynamical systems, several Universe models. In chapter 1 we give a bird's eye view on cosmology and cosmological problems. Chapter 2 is devoted to a brief review on some results and…
This extended abstract reports on previous work of the CamFort project in which we developed an external units-of-measure type system for Fortran code, targeted at scientists. Our approach can guide the programmer in adding specifications…