English
Related papers

Related papers: Claude - An Automation Tool for the Monet Telescop…

200 papers

With the application of advanced astronomical technologies, equipments and methods all over the world, astronomy covers from radio, infrared, visible light, ultraviolet, X-ray and gamma ray band, and enters into the era of full wavelength…

Instrumentation and Methods for Astrophysics · Physics 2016-11-09 Bo Han , Yanxia Zhang , Shoubo Zhong , Yongheng Zhao

Agentic coding tools receive goals written in natural language as input, break them down into specific tasks, and write/execute the actual code with minimal human intervention. Key to this process are agent manifests, configuration files…

Agentic AI coding tools such as Claude Code and OpenAI Codex execute multi-step coding tasks with limited human oversight. To steer these tools, developers create repository-level configuration artifacts (e.g., Markdown files) for…

In this paper we briefly summarize the design concepts of the Fly's Eye Camera System, a proposed high resolution all-sky monitoring device which intends to perform high cadence time domain astronomy in multiple optical passbands while…

We present a unique implementation of Python coding in an asynchronous object-oriented programming (OOP) framework to fully automate the process of collecting data with the George Mason University (GMU) Observatory's 0.8-meter telescope.…

In this paper we briefly summarize the design concepts of the Fly's Eye Camera System, a proposed high resolution all-sky monitoring device which intends to perform high cadence time domain astronomy in multiple optical passbands while…

The observation of blank fields, regions of the sky devoid of stars down to a given threshold magnitude, constitutes one of the typical important calibration procedures required for the proper reduction of astronomical data obtained in…

Instrumentation and Methods for Astrophysics · Physics 2015-05-28 N. Cardiel , F. M. Jiménez-Esteban , J. M. Alacid , E. Solano , M. Aberasturi

Laboratory measurements often use several instruments to fully explore the relevant parameter space; such as, an external lock-in amplifier, an electromagnet, an RF generator, etc.. Ordinarily, these instruments have to be individually…

Instrumentation and Detectors · Physics 2024-06-25 Brad M. Goff , Jay A. Gupta

Observatories are complex scientific and technical institutions serving diverse users and purposes. Their telescopes, instruments, software, and human resources engage in interwoven workflows over a broad range of timescales. These…

Instrumentation and Methods for Astrophysics · Physics 2014-07-30 Robert L. Seaman , W. Thomas Vestrand , Frederic V. Hessman

This paper describes strategies to improve an existing web-based computer-aided translation (CAT) tool entitled CATaLog Online. CATaLog Online provides a post-editing environment with simple yet helpful project management tools. It offers…

Computation and Language · Computer Science 2019-08-20 Mihaela Vela , Santanu Pal , Marcos Zampieri , Sudip Kumar Naskar , Josef van Genabith

The observation of celestial objects is a fundamental activity in astronomy. Ground-based and space telescopes are used to gather electromagnetic radiation from space, allowing astronomers to study a wide range of celestial objects and…

Instrumentation and Methods for Astrophysics · Physics 2025-04-08 Thomas Rahab Lacroix , Pierre Lemaire

The use of machine learning techniques has significantly increased the physics discovery potential of neutrino telescopes. In the upcoming years, we are expecting upgrade of currently existing detectors and new telescopes with novel…

High Energy Physics - Experiment · Physics 2023-11-10 Miaochen Jin , Yushi Hu , Carlos A. Argüelles

A concept of the ground-based optical astronomical observations efficiency is considered in this paper. We believe that a telescope efficiency can be increased by properly allocating observation tasks with respect to the current environment…

Instrumentation and Methods for Astrophysics · Physics 2018-06-26 Matwey V. Kornilov

In today's world of big data, computational analysis has become a key driver of biomedical research. Recent exponential growth in the volume of available omics data has reshaped the landscape of contemporary biology, creating demand for a…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-12-09 Jaqueline J. Brito , Thiago Mosqueiro , Jeremy Rotman , Victor Xue , Douglas J. Chapski , Juan De la Hoz , Paulo Matias , Lana Martin , Alex Zelikovsky , Matteo Pellegrinni , Serghei Mangul

Agentic code assistants are a new generation of AI systems capable of performing end-to-end software engineering tasks. While these systems promise unprecedented productivity gains, their behavior and effectiveness depend heavily on…

Software Engineering · Computer Science 2026-05-26 Helio Victor F. Santos , Vitor Costa , Joao Eduardo Montandon , Marco Tulio Valente

We present three Virtual Observatory tools developed at the ATNF for the storage, processing and visualisation of ATCA data. These are the Australia Telescope Online Archive, a prototype data reduction pipeline, and the Remote Visualisation…

Astrophysics · Physics 2007-05-23 T. Murphy , P. Lamb , C. Owen , M. Marquarding

Euclid is a Europe-led cosmology space mission dedicated to a visible and near infrared survey of the entire extra-galactic sky. Its purpose is to deepen our knowledge of the dark content of our Universe. After an overview of the Euclid…

We present the novel concept of an Advanced de-Inclination Device (AID). This technique holds the promise of instantaneously solving almost all issues concerning the observed projection of astronomical sources on the plane of the sky. Along…

Instrumentation and Methods for Astrophysics · Physics 2011-04-01 Idit N. Arzi

The GAUDI database (Ground-based Asteroseismology Uniform Database Interface, http://sdc.laeff.esa.es/gaudi/) is a preparatory archive for the COROT (COnvection, ROtation and planetary Transits, http://www.astrsp-mrs.fr/projets/corot/)…

Agentic systems have recently emerged as state-of-the-art approaches for automated theorem proving in formal mathematics. To assess how far these capabilities extend to program verification, we evaluate Claude Code in an agentic proving…

Artificial Intelligence · Computer Science 2026-05-25 Alessandro Sosso , Akhil Arora , Bas Spitters