Related papers: Using the pulsar timing software package, TEMPO2
In order to reach the sensitivity required to detect gravitational waves, pulsar timing array experiments need to mitigate as much noise as possible in timing data. A dominant amount of noise is likely due to variations in the dispersion…
The freud Python package is a powerful library for analyzing simulation data. Written with modern simulation and data analysis workflows in mind, freud provides a Python interface to fast, parallelized C++ routines that run efficiently on…
At FRM-II the installation of a user office software is under consideration, supporting tasks like proposal handling, beam time allocation, data handling and report creation. Although there are several software systems in use at major…
Terrestrial timescales show instabilities due to the physical limitations of the atomic clocks. Stricter environmental isolation and increased numbers of improved cesium clocks and cavity-tuned hydrogen masers have resulted in time scales…
This thesis project arises from the need to put into operation the spectrograph (COLORES) of the station (BOOTES 2), located in La Mayora and belonging to the network of Burst Observer and Optical Transient Exploring System (BOOTES)…
The main goal of pulsar timing array experiments is to detect correlated signals such as nanohertz-frequency gravitational waves. Pulsar timing data collected in dense monitoring campaigns can also be used to study the stars themselves,…
Fast and accurate simulation of imaging through atmospheric turbulence is essential for developing turbulence mitigation algorithms. Recognizing the limitations of previous approaches, we introduce a new concept known as the phase-to-space…
We show that time series foundation models scale: a single training recipe produces reliable forecast-quality improvements from 4M to 2.5B parameters. We release Toto 2.0, a family of five open-weights forecasting models trained under this…
Written in Python and utilising ParselTongue to interface with the Astronomical Image Processing System (AIPS), the e-MERLIN data reduction pipeline is intended to automate the procedures required in processing and calibrating radio…
Precision pulsar timing can be used for a variety of astrophysical tests from the detection of gravitational waves to probing the properties of the interstellar medium (ISM). Here we present analyses of the noise contributions to pulsar…
Usually, positions of spacecraft on interplanetary or deep space missions are determined by radar tracking from ground stations, a method by which uncertainty increases with distance from Earth. As an alternative, a spacecraft equipped with…
Build-time configuration and environment assumptions are hampering progress and usability in scientific software. That which would be utterly unacceptable in non-scientific software somehow passes for the norm in scientific packages. The…
The algorithm of the ensemble pulsar time based on the optimal Wiener filtration method has been constructed. This algorithm allows the separation of the contributions to the post-fit pulsar timing residuals of the atomic clock and pulsar…
We survey some general-purpose symbolic software packages that implement algorithms from enumerative and analytic combinatorics. Software for the following areas is covered: basic combinatorial objects, symbolic combinatorics, P\'olya…
We present a novel modular approach to infer upper bounds on the expected runtime of probabilistic integer programs automatically. To this end, it computes bounds on the runtime of program parts and on the sizes of their variables in an…
We present the manual for FeynMaster 2.1, a multitasking software for particle physics studies. This new version includes additional functions and is compatible with recent versions of related software. It can be downloaded in…
Scientific software is often driven by multiple parameters that affect both accuracy and performance. Since finding the optimal configuration of these parameters is a highly complex task, it extremely common that the software is used…
We present a method by using the phase characteristics of radio observation data for pulsar search and candidate identification. The phase characteristics are relations between the pulsar signal and the phase correction in the…
Systems that rely on forecasts to make decisions, e.g. control or energy trading systems, require frequent updates of the forecasts. Usually, the forecasts are updated whenever new observations become available, hence in an online setting.…
An external reference system suitable for deep space navigation can be defined by fast spinning and strongly magnetized neutron stars, called pulsars. Their beamed periodic signals have timing stabilities comparable to atomic clocks and…