相关论文: Astroinformatics: Statistically Optimal Approximat…
Static program analysis today takes an analytical approach which is quite suitable for a well-scoped system. Data- and control-flow is taken into account. Special cases such as pointers, procedures, and undefined behavior must be handled. A…
Atmospheric motion vectors (AMVs) extracted from satellite imagery are the only wind observations with good global coverage. They are important features for feeding numerical weather prediction (NWP) models. Several Bayesian models have…
A considerable number of astrometric binaries whose positions on the sky do not obey the standard model of mean position, parallax and linear proper motion, were observed by the Hipparcos satellite. Some of them remain non-discovered, and…
How to analyse Terabytes of photometric data, and extract knowledge on variable stars? How to detect variable phenomena? How to combine different photometric bands? Which algorithm to search for periods? How to characterize and classify the…
Sapo is a C++ tool for the formal analysis of polynomial dynamical systems. Its main features are: 1) Reachability computation, i.e., the calculation of the set of states reachable from a set of initial conditions, and 2) Parameter…
Statistical solutions are time-parameterized probability measures on spaces of integrable functions, that have been proposed recently as a framework for global solutions and uncertainty quantification for multi-dimensional hyperbolic system…
The manifestation of surface spots on magnetic chemically peculiar (mCP) stars is most commonly explained by the atomic diffusion theory, which requires a calm stellar atmosphere and only moderate rotation. While very successful and well…
Stochastic Galerkin methods offer unexplored potential for the numerical simulation of parabolic problems with random variables, in particular if they are combined with variational discretizations of the space and time variables. Due to the…
A comparative analysis of the special shapes (patterns, profiles) of the eclipses applied for the phenomenological modeling of the light curves of eclipsing binary stars is conducted. Families of functions are considered, generalizing local…
An all-sky sample of 1227 visual binaries based on Washington Double Star catalogue is constructed to infer the IMF, mass ratio, and projected distance distribution with a dedicated population synthesis model. Parallaxes from Gaia DR2 and…
Measured spectral shifts due to intrinsic stellar variability (e.g., pulsations, granulation) and activity (e.g., spots, plages) are the largest source of error for extreme precision radial velocity (EPRV) exoplanet detection. Several…
This paper describes the second part of the photometric data from the 9x9 deg ASAS camera monitoring the whole southern hemisphere in the V-band. Preliminary list of variable stars based on observations obtained since January 2001 is…
Most applications of Bayesian Inference for parameter estimation and model selection in astrophysics involve the use of Monte Carlo techniques such as Markov Chain Monte Carlo (MCMC) and nested sampling. However, these techniques are time…
(Abridged) Gaia aims to make a 3-dimensional map of 1,000 million stars in our Milky Way to unravel its kinematical, dynamical, and chemical structure and evolution. Gaia's on-board detection software discriminates stars from spurious…
Variable stars, or particularly eclipsing binaries, are very essential astronomical occurrence. Surveys are the backbone of astronomy, and many discoveries of variable stars are the results of surveys. All-Sky Automated Survey (ASAS) is one…
The accurate determination of the masses of cataclysmic variable stars is critical to our understanding of their origin, evolution and behaviour. Observations of cataclysmic variables also afford an excellent opportunity to constrain…
We consider the stochastic variational inequality problem in which the map is expectation-valued in a component-wise sense. Much of the available convergence theory and rate statements for stochastic approximation schemes are limited to…
We present PlanetPack, a new software tool that we developed to facilitate and standardize the advanced analysis of radial velocity (RV) data for the goal of exoplanets detection, characterization, and basic dynamical $N$-body simulations.…
Because of GAIA's estimated harvest of cca. 10^5 eclipsing binaries (Munari et al. 2001) automative procedures for extracting physical parameters from observations must be introduced. We present preliminary results of automative scripting…
The apparent close encounters of two satellites in the plane of the sky, called mutual approximations, have been suggested as a different type of astrometric observation to refine the moons' ephemerides. The main observables are the central…