Related papers: The partial banana mapping: a robust linear method…
Currently, 20 co-orbital asteroids of Venus are known, with only one with an eccentricity below 0.38. This is most likely caused by observational biases since asteroids with larger eccentricities may approach the Earth and are easier to…
We describe an analytical method for computing the orbital parameters of a planet from the periodogram of a radial velocity signal. The method is very efficient and provides a good approximation of the orbital parameters. The accuracy is…
Quantifying the robustness of neural networks or verifying their safety properties against input uncertainties or adversarial attacks have become an important research area in learning-enabled systems. Most results concentrate around the…
Simulation-based verification algorithms can provide formal safety guarantees for nonlinear and hybrid systems. The previous algorithms rely on user provided model annotations called discrepancy function, which are crucial for computing…
Based on the value of the orbital eccentricity of a particle and also its proximity to the exact resonant orbit in a three-body system, the Pendulum Approximation (Dermott & Murray 1983) or the Second Fundamental Model of Resonance (Andoyer…
Classic Bayesian methods with complex models are frequently infeasible due to an intractable likelihood. Simulation-based inference methods, such as Approximate Bayesian Computing (ABC), calculate posteriors without accessing a likelihood…
Potentially Hazardous Asteroids (PHAs), a special subset of Near-Earth Objects, are both dangerous and scientifically valuable. PHAs that truly undergo close approaches with the Earth (dubbed CAPHAs) are of particular interest and…
We present an approach for utilizing astrometric orbit information to improve the yield of planetary images and spectra from a follow-on direct detection mission. This approach is based on the notion-strictly hypothetical-that if a…
In this work, we construct a new model for the collisional evolution of the main asteroid belt. Our goals are to test the scaling law of Benz and Asphaug (1999) and ascertain if it can be used for the whole belt. We want to find initial…
In circular plot sampling, trees within a given distance from the sample plot location constitute a sample, which is used to infer characteristics of interest for the forest area. If the sample is collected using a technical device located…
Computer experiments with quantitative and qualitative inputs are widely used to study many scientific and engineering processes. Much of the existing work has focused on design and modeling or process optimization for such experiments.…
In optimization, the natural gradient method is well-known for likelihood maximization. The method uses the Kullback-Leibler divergence, corresponding infinitesimally to the Fisher-Rao metric, which is pulled back to the parameter space of…
Images of both rotating celestial bodies (e.g., asteroids) and spheroidal planets with banded atmospheres (e.g., Jupiter) can contain features that are well-modeled as a circle of latitude (CoL). The projections of these CoLs appear as…
We introduce the Neural Approximated Virtual Element Method, a novel polygonal method that relies on neural networks to eliminate the need for projection and stabilization operators in the Virtual Element Method. In this paper, we discuss…
Severe Ionosphere magnetic storms are feared events for integrity and continuity of navigation systems such as EGNOS, the European SBAS (Satellite-Based Augmentation System) complementing GPS and an accurate modelling of this event…
Context: Potentially hazardous asteroids (PHA) in Earth-crossing orbits pose a constant threat to life on Earth. Several mitigation methods have been proposed, and the most feasible technique appears to be the disintegration of the impactor…
The projection of the eigenfunctions obtained in standard plane-wave first-principle electronic-structure calculations into atomic-orbital basis sets is proposed as a formal and practical link between the methods based on plane waves and…
While almost all potentially hazardous asteroids (PHAs) with a size larger than one kilometre have been discovered, it is well-known that the vast majority of the smaller ones are in fact yet to be found. There is therefore an excellent…
Near-Earth asteroids (NEAs) that may evolve into impactors deserve detailed threat assessment studies. Early physical characterization of a would-be impactor may help in optimizing impact mitigation plans. We first detected NEA…
In order for automated mobile vehicles to navigate in the real world with minimal collision risks, it is necessary for their planning algorithms to consider uncertainties from measurements and environmental disturbances. In this paper, we…