English
Related papers

Related papers: Formal Definition and Implementation of Reproducib…

200 papers

New developments in data processing and visualization are being made in preparation for upcoming radioastronomical surveys planned with the Square Kilometre Array (SKA) and its precursors. A major goal is enabling extraction of science…

The management of security credentials (e.g., passwords, secret keys) for computational science workflows is a burden for scientists and information security officers. Problems with credentials (e.g., expiration, privilege mismatch) cause…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-07-13 Alex Withers , Brian Bockelman , Derek Weitzel , Duncan Brown , Jeff Gaynor , Jim Basney , Todd Tannenbaum , Zach Miller

Large sensor-based science infrastructures for radio astronomy like the SKA will be among the most intensive data-driven projects in the world, facing very high demanding computation, storage, management, and above all power demands. The…

Weak gravitational lensing measurements are traditionally made at optical wavelengths where many highly resolved galaxy images are readily available. However, the Square Kilometre Array (SKA) holds great promise for this type of measurement…

Cosmology and Nongalactic Astrophysics · Physics 2015-01-19 Prina Patel , Ian Harrison , Sphesihle Makhathini , Filipe Abdalla , David Bacon , Michael L. Brown , Ian Heywood , Matt Jarvis , Oleg Smirnov

Machine learning techniques are becoming a fundamental tool for scientific and engineering progress. These techniques are applied in contexts as diverse as astronomy and spam filtering. However, correctly applying these techniques requires…

Generative models have emerged as a powerful paradigm for solving physics systems and modeling complex spatiotemporal dynamics. However, achieving high physical accuracy without incurring high computational cost remains a fundamental…

Machine Learning · Computer Science 2026-05-27 Jiahe Huang , Sihan Xu , Sharvaree Vadgama , Rose Yu

We initiate a formal study of reproducibility in optimization. We define a quantitative measure of reproducibility of optimization procedures in the face of noisy or error-prone operations such as inexact or stochastic gradient computations…

Optimization and Control · Mathematics 2022-12-06 Kwangjun Ahn , Prateek Jain , Ziwei Ji , Satyen Kale , Praneeth Netrapalli , Gil I. Shamir

Dataflow coverage, one of the white-box testing criteria, focuses on the relations between variable definitions and their uses.Several empirical studies have proved data-flow testing is more effective than control-flow testing. However,…

Software Engineering · Computer Science 2019-03-20 Chengyu Zhang , Ting Su , Yichen Yan , Ke Wu , Geguang Pu

SKA is a new technology radio-telescope array, about two orders of magnitude more sensitive and rapid in sky surveys than present instruments. It will probe the dark age of the universe, just afer recombination, and during the epoch of…

Cosmology and Nongalactic Astrophysics · Physics 2015-09-30 Francoise Combes

The vast collecting area of the Square Kilometre Array (SKA), harnessed by sensitive receivers, flexible digital electronics and increased computational capacity, could permit the most sensitive and exhaustive search for…

Upcoming large scale telescope projects such as the Square Kilometre Array (SKA) will see high data rates and large data volumes; requiring tools that can analyse telescope event data quickly and accurately. In modern radio telescopes,…

Instrumentation and Methods for Astrophysics · Physics 2020-01-17 Cees Carels , Karel Adámek , Jan Novotný , Wesley Armour

Many scientific problems require multiple distinct computational tasks to be executed in order to achieve a desired solution. We introduce the Ensemble Toolkit (EnTK) to address the challenges of scale, diversity and reliability they pose.…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-05-17 Vivek Balasubramanian , Matteo Turilli , Weiming Hu , Matthieu Lefebvre , Wenjie Lei , Guido Cervone , Jeroen Tromp , Shantenu Jha

This chapter provides an overview of the possibilities for transient and variable-source astrophysics with the Square Kilometre Array. While subsequent chapters focus on the astrophysics of individual events, we focus on the broader…

High Energy Astrophysical Phenomena · Physics 2015-07-06 Rob Fender , Adam Stewart , Jean-Pierre Macquart , Immacolata Donnarumma , Tara Murphy , Adam Deller , Zsolt Paragi , Shami Chatterjee

Data from complex modern astronomical instruments often consist of a large number of different science and calibration files, and their reduction requires a variety of software tools. The execution chain of the tools represents a complex…

Instrumentation and Methods for Astrophysics · Physics 2013-11-22 W. Freudling , M. Romaniello , D. M. Bramich , P. Ballester , V. Forchi , C. E. Garcia-Dablo , S. Moehler , M. J. Neeser

The Square Kilometer Array (SKA) will be the largest Global science project of the next two decades. It will encompass a sensor network dedicated to radioastronomy, covering two continents. It will be constructed in remote areas of South…

Unsupervised machine learning is widely used to mine large, unlabeled datasets to make data-driven discoveries in critical domains such as climate science, biomedicine, astronomy, chemistry, and more. However, despite its widespread…

Machine Learning · Computer Science 2025-06-06 Andersen Chang , Tiffany M. Tang , Tarek M. Zikry , Genevera I. Allen

We introduce a new Bayesian HI spectral line fitting technique capable of obtaining spectroscopic redshifts for millions of galaxies in radio surveys with the Square Kilometere Array (SKA). This technique is especially well-suited to the…

Cosmology and Nongalactic Astrophysics · Physics 2017-04-28 Ian Harrison , Michelle Lochner , Michael L. Brown

Code reproduction is a cornerstone of scientific validity, yet it remains a formidable challenge in computer networking research due to the scarcity of open-source implementations and the complexity of heterogeneous system architectures.…

Networking and Internet Architecture · Computer Science 2026-02-17 Yining Jiang , Yunxin Xu , Wenyun Xu , Yufan Zhu , Tangtang He , Haiying Huang , Letian Zhu , Qingyu Song , Qiang Su , Lizhao You , Lu Tang , Wanjin Feng , Yuchao Zhang , Linghe Kong , Qiao Xiang , Jiwu Shu

Backed by advances in digital electronics, signal processing, computation, and storage technologies, aperture arrays, which had strongly influenced the design of telescopes in the early years of radio astronomy, have made a comeback. Amid…

Scientific processes rely on software as an important tool for data acquisition, analysis, and discovery. Over the years sustainable software development practices have made progress in being considered as an integral component of research.…

Software Engineering · Computer Science 2023-12-21 Akash Dhruv , Anshu Dubey