Related papers: THOR: An Algorithm for Cadence-Independent Asteroi…
A reexamination of period finding algorithms is prompted by new large area astronomical sky surveys that can identify billions of individual sources having a thousand or more observations per source. This large increase in data necessitates…
The boundary of solar system object discovery lies in detecting its faintest members. However, their discovery in detection catalogs from imaging surveys is fundamentally limited by the practice of thresholding detections at signal-to-noise…
Context. Detecting regular dips in the light curve of a star is an easy way to detect the presence of an orbiting planet. COROT is a Franco-European mission launched at the end of 2006, and one of its main objectives is to detect planetary…
We present a new dynamic partial-order reduction method for stateless model checking of concurrent programs. A common approach for exploring program behaviors relies on enumerating the traces of the program, without storing the visited…
Earth's temporarily-captured orbiters (TCOs) are a sub-population of near-Earth objects (NEOs). TCOs can provide constraints for NEO population models in the 1--10-metre-diameter range, and they are outstanding targets for in situ…
Two decades ago, empirical evidence concerning the existence and frequency of planets around stars, other than our own, was absent. Since this time, the detection of extrasolar planets from Jupiter-sized to most recently Earth-sized worlds…
Although many near-Earth objects have been found by ground-based telescopes, some fast-moving ones, especially those near detection limits, have been missed by observatories. We developed a convolutional neural network for detecting faint…
In this work we study orbit recovery over $SO(3)$, where the goal is to recover a function on the sphere from noisy, randomly rotated copies of it. We assume that the function is a linear combination of low-degree spherical harmonics. This…
The study of faint solar system objects is a promising avenue for understanding the origin and evolution of planetary systems. However, such objects are difficult to detect in conventional surveys. Here we introduce heliostack, an algorithm…
Co-orbital objects, also known as trojans, are frequently found in simulations of planetary system formation. In these configurations, a planet shares its orbit with other massive bodies. It is still unclear why there have not been any…
Digital tracking detects faint solar system bodies by stacking many images along hypothesized orbits, revealing objects that are undetectable in every individual exposure. Previous searches have been restricted to small areas and short time…
In order to understand stellar evolution, it is crucial to efficiently determine stellar surface rotation periods. An efficient tool to automatically determine reliable rotation periods is needed when dealing with large samples of stellar…
This work assesses the potential capability of the next generation of high-precision Radial Velocity (RV) instruments for Earth-twin exoplanet detection. From the perspective of the importance of data sampling, the Terra Hunting Experiment…
With the advent of large-scale astronomical surveys such as the Zwicky Transient Facility (ZTF), the number of alerts generated by transient, variable and moving astronomical objects is growing rapidly, reaching millions per night.…
In this paper, we propose to combine imitation and reinforcement learning via the idea of reward shaping using an oracle. We study the effectiveness of the near-optimal cost-to-go oracle on the planning horizon and demonstrate that the…
Upcoming telescopes like the Vera Rubin Observatory (VRO) and the Argus Array will image large fractions of the sky multiple times per night yielding numerous Near Earth Object (NEO) discoveries. When asteroids are measured with short…
Robotic fleets can be extremely efficient when working concurrently and collaboratively, e.g., for delivery, surveillance, search and rescue. However, it can be demanding or even impractical for an operator to directly control each robot.…
The detrending algorithms which are widely used to reduce the impact of stellar variability on space-based transit surveys are ill-suited for estimating the parameters of confirmed planets, as they unavoidably alter the transit signal. We…
Aims. With the purpose of determining the orbital parameters of exoplanetary systems from observational data, we have developed a software, named TRADES (TRAnsits and Dynamics of Exoplanetary Systems), to simultaneously fit observed radial…
The recovery of freshly fallen meteorites from tracked and triangulated meteors is critical to determining their source asteroid families. However, locating meteorite fragments in strewn fields remains a challenge with very few meteorites…