Related papers: ARVE: Analyzing Radial Velocity Elements. I. The C…
With the large amounts of spectroscopic data available today and the very large surveys to come (e.g. Gaia), the need for automatic data analysis software is unquestionable. We thus developed an automatic spectra analysis program for the…
As AI systems migrate to safety-critical domains, verifying that their actions comply with well-defined rules remains a challenge. Formal methods provide provable guarantees but demand hand-crafted temporal-logic specifications, offering…
Anomaly detection is a common analytical task that aims to identify rare cases that differ from the typical cases that make up the majority of a dataset. When applied to the analysis of event sequence data, the task of anomaly detection can…
Stellar activity influences radial velocity (RV) measurements and can also mimic the presence of orbiting planets. As part of the search for planets around the components of wide binaries performed with the SARG High Resolution Spectrograph…
RAVE, the unbiased magnitude limited survey of the southern sky stars, contained 456,676 medium-resolution spectra at the time of our analysis. Spectra cover the CaII IRT range which is a known indicator of chromospheric activity. Our…
The detection of small mass planets with the radial-velocity technique is now confronted with the interference of stellar noise. HARPS can now reach a precision below the meter-per-second, which corresponds to the amplitudes of different…
The radial velocity signature of stellar noise is small, around the meter-per-second, but already too much for the detection of Earth mass planets in habitable zones. In this paper, we address the important role played by observational…
Large Language Models (LLMs) have demonstrated remarkable capabilities across various cybersecurity tasks, including vulnerability classification, detection, and patching. However, their potential in automated vulnerability report…
Long-term stellar activity variations can affect the detectability of long-period and Earth-analogue extrasolar planets. We have, for 54 stars, analysed the long-term trend of five activity indicators: log$R'_\mathrm{{HK}}$, the…
Group-based policy optimization methods like GRPO and GSPO have become standard for training multimodal models, leveraging group-wise rollouts and relative advantage estimation. However, they suffer from a critical \emph{gradient vanishing}…
Accurately determining resonance frequencies and quality factors (Q) is crucial in accelerator physics and radiofrequency engineering, as these factors have direct impacts on system design, operational stability, and research results. The…
One may consider cross-correlation routines applied to stellar spectra as a way to determine not only the radial velocities but also to assess the properties of stellar atmospheres. We show that this is not the case. High value of the…
Passive radio frequency (RF) sensing and monitoring of human daily activities in elderly care homes is an emerging topic. Micro-Doppler radars are an appealing solution considering their non-intrusiveness, deep penetration, and…
Deep generative models for audio synthesis have recently been significantly improved. However, the task of modeling raw-waveforms remains a difficult problem, especially for audio waveforms and music signals. Recently, the realtime audio…
The radial-velocity (RV) method is one of the most successful in the detection of exoplanets, but is hindered by the intrinsic RV variations of the star, which can easily mimic or hide true planetary signals. kima is a package for the…
We present a new, simple method to predict activity-induced radial velocity variations using high-precision time-series photometry. It is based on insights from a simple spot model, has only two free parameters (one of which can be…
The detection of planets around other stars by the measurement of the stellar Radial Velocity (RV) variations benefits from improvements of dedicated spectrographs, allowing to achieve a precision of 1 ms$^{-1}$ or better. Spectral…
We present a machine learning package for the classification of periodic variable stars. Our package is intended to be general: it can classify any single band optical light curve comprising at least a few tens of observations covering…
Stellar radial velocity (RV) measurements have proven to be a very successful method for detecting extrasolar planets. Analysing RV data to determine the parameters of the extrasolar planets is a significant statistical challenge owing to…
High precision radial velocity (RV) measurements have been central in the study of exoplanets during the last two decades, from the early discovery of hot Jupiters, to the recent mass measurements of Earth-sized planets uncovered by transit…