English
Related papers

Related papers: Corral Framework: Trustworthy and Fully Functional…

200 papers

Observational astronomy has changed drastically in the last decade: manually driven target-by-target instruments have been replaced by fully automated robotic telescopes. Data acquisition methods have advanced to the point that terabytes of…

Modern Astrophysics is based on multi-wavelength data organized into large and heterogeneous catalogues. Hence, the need for efficient, reliable and scalable catalogue cross-matching methods plays a crucial role in the era of the petabyte…

Instrumentation and Methods for Astrophysics · Physics 2017-03-08 Giuseppe Riccio , Massimo Brescia , Stefano Cavuoti , Amata Mercurio , Anna Maria di Giorgio , Sergio Molinari

Autonomous racing has advanced rapidly, particularly on scaled platforms, and software stacks must evolve accordingly. In this work, AROLA is introduced as a modular, layered software architecture in which fragmented and monolithic designs…

Robotics · Computer Science 2026-02-04 Fam Shihata , Mohammed Abdelazim , Ahmed Hussein

Predictive simulations and experimental design involving extreme aero-chemo-thermo-mechanical regimes require high-fidelity material representation across diverse physical states. However, data for metals, polymers, and propellants,…

Recent research in materials science opens exciting perspectives to design novel quantum materials and devices, but it calls for quantitative predictions of properties which are not accessible in standard first principles packages. PAOFLOW…

Region proposal is critical for object detection while it usually poses a bottleneck in improving the computation efficiency on traditional control-flow architectures. We have observed region proposal tasks are potentially suitable for…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-10-30 Wenzhi Fu , Jianlei Yang , Pengcheng Dai , Yiran Chen , Weisheng Zhao

The purpose of this paper is to show how existing scientific software can be parallelized using a separate thin layer of Python code where all parallel communication is implemented. We provide specific examples on such layers of code, and…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-05-18 Jon K. Nilsen , Xing Cai , Bjorn Hoyland , Hans Petter Langtangen

We present the first stable release of Halotools (v0.2), a community-driven Python package designed to build and test models of the galaxy-halo connection. Halotools provides a modular platform for creating mock universes of galaxies…

Processing of raw data from modern astronomical instruments is nowadays often carried out using dedicated software, so-called "pipelines" which are largely run in automated operation. In this paper we describe the data reduction pipeline of…

This paper presents a comprehensive empirical analysis of conformal prediction methods on a challenging aerial image dataset featuring diverse events in unconstrained environments. Conformal prediction is a powerful post-hoc technique that…

Machine Learning · Computer Science 2025-04-25 Farhad Pourkamali-Anaraki

We present PyXtal, a new package based on the Python programming language, used to generate structures with specific symmetry and chemical compositions for both atomic and molecular systems. This soft ware provides support for various…

Materials Science · Physics 2021-10-05 Scott Fredericks , Kevin Parrish , Dean Sayre , Qiang Zhu

The quality of modern astronomical data, the power of modern computers and the agility of current image-processing software enable the creation of high-quality images in a purely digital form. The combination of these technological…

Astrophysics · Physics 2008-11-26 T. A. Rector , Z. G. Levay , L. M. Frattare , J. English , K. Pu'uohau-Pummill

Conventionally, high-throughput computational materials searches start from an input set of bulk compounds extracted from material databases, and this set is screened for candidate materials for specific applications. In contrast, many…

Materials Science · Physics 2023-04-11 Rachel Woods-Robinson , Matthew K. Horton , Kristin A. Persson

We describe an assembly of numerical tools to model the output data of the Planck satellite. These start with the generation of a CMB sky in a chosen cosmology, add in various foreground sources, convolve the sky signal with arbitrary, even…

Astrophysics · Physics 2009-11-11 Martin Reinecke , Klaus Dolag , Reinhard Hell , Matthias Bartelmann , Torsten Ensslin

Reinforcement learning (RL) has shown promise in a large number of robotic control tasks. Nevertheless, its deployment on unmanned aerial vehicles (UAVs) remains challenging, mainly because of reliance on accurate dynamic models and…

Robotics · Computer Science 2025-09-16 Yechen Zhang , Bin Gao , Gang Wang , Jian Sun , Zhuo Li

The study of trajectories is often a core task in several research fields. In environmental modelling, trajectories are crucial to study fluid pollution, animal migrations, oil slick patterns or land movements. In this contribution, we…

Computation · Statistics 2022-09-23 A. Reyes , G. Viera-López , J. J. Morgado-Vega , E. Altshuler

Developers perform online sensemaking on a daily basis, such as researching and choosing libraries and APIs. Prior research has introduced tools that help developers capture information from various sources and organize it into structures…

Software Engineering · Computer Science 2022-02-07 Michael Xieyang Liu , Aniket Kittur , Brad A. Myers

As Ocean General Circulation Models (OGCMs) move into the petascale age, where the output from global high-resolution model runs can be of the order of hundreds of terabytes in size, tools to analyse the output of these models will need to…

Atmospheric and Oceanic Physics · Physics 2017-09-27 Michael Lange , Erik van Sebille

During the past few years, we have witnessed various efforts to provide confidentiality and integrity for applications running in untrusted environments such as public clouds. In most of these approaches, hardware extensions such as Intel…

Cryptography and Security · Computer Science 2025-11-25 Robert Krahn , Nikson Kanti Paul , Franz Gregor , Do Le Quoc , Andrey Brito , André Martin , Christof Fetzer

We introduce PyMGal, a Python package for generating optical mock observations of galaxies from hydrodynamical simulations. PyMGal reads the properties of stellar particles from these simulations and generates spectral energy distributions…

Astrophysics of Galaxies · Physics 2025-07-02 Patrick Janulewicz , Weiguang Cui