Related papers: The Structure of the Test Function for Phenomenolo…
We report an analysis of two poorly studied systems GSC 04396-00605 and GSC 04395-00485, which were recently named as V0455 Dra and V0454 Dra, respectively. For two eclipsing stars, the periods and epochs were significantly corrected using…
We introduce a phenomenological, physically motivated, model for the effective tidal deformability of a neutron star, adding the frequency dependence (associated with the star's fundamental mode of oscillation) that comes into play during…
A new method of the phase determination in X-ray crystallography is proposed. The method is based on the so-called "minimum charge" principle, recently suggested by Elser. The electron density function $\rho$ is sought in the form…
The light-time effect method, its limitations and applications were studied. A powerful combined method of simultaneous analysis of the O-C diagrams and astrometric orbit in triple eclipsing-astrometric binaries was presented. Eleven…
On the basis of monotonic orbital-period variations, this study aims to identify genuine relationships between binary parameters and the rates of mass transfer (MT), mass loss (ML), and angular momentum loss (AML). Sample binaries with…
We discuss realization, properties and performance of the adaptive finite element approach to the design of nano-photonic components. Central issues are the construction of vectorial finite elements and the embedding of bounded components…
Methods used in the radial-velocity program of short-period binary systems at the David Dunlap Observatory are described with particular stress on the Broadening Function (BF) formalism. This formalism has permitted determination of radial…
In this talk I give an elementary introduction to the key algorithm used in recent applications of computational algebraic geometry to the subject of string phenomenology. I begin with a simple description of the algorithm itself and then…
Formal verification is only as good as the specification of a system, which is also true for neural network verification. Existing specifications follow the paradigm of data as specification, where the local neighborhood around a reference…
The problem of binary minimization of a quadratic functional in the configuration space is discussed. In order to increase the efficiency of the random-search algorithm it is proposed to change the energy functional by raising to a power…
Atomic force microscopy (AFM) is one of the most promising methods for investigating the structure of materials at the micro and nanoscale levels, as well as their local physical-mechanical properties. The experimental data obtained with…
In this research, five eclipsing binary stars were studied: AB Cas, AF Gem, AR Boo, BF Vir and CL Aur. The large sets of moments of minima were used: from the international BRNO database and amateur observations from the database AAVSO.…
Gravitational waves from compact binaries measured by the LIGO and Virgo detectors are routinely analyzed using Markov Chain Monte Carlo sampling algorithms. Because the evaluation of the likelihood function requires evaluating millions of…
Based on previous work we extend a primal-dual semi-smooth Newton method for minimizing a general $L^1$-$L^2$-$TV$ functional over the space of functions of bounded variations by adaptivity in a finite element setting. For automatically…
In this paper we discuss a simple method of testing for the presence of energy-dependent dispersion in high energy data-sets. It uses the minimisation of the Kolmogorov distance between the cumulative distribution of two probability…
We present a method of testing for the presence of energy dependent dispersion in transient features of a light curve. It is based on minimising the Kolmogorov distance between two cumulative event distribution functions. The unbinned and…
We present a new method for differentiating between planetary transits and eclipsing binaries based on the presence of the ellipsoidal light variations. These variations can be used to detect stellar secondaries with masses ~0.2 M_sun…
High-dimensional real-world systems can often be well characterized by a small number of simultaneous low-complexity interactions. The analysis of variance (ANOVA) decomposition and the anchored decomposition are typical techniques to find…
In this paper, we present an algorithm for minimizing the difference between two submodular functions using a variational framework which is based on (an extension of) the concave-convex procedure [17]. Because several commonly used metrics…
We describe a new technique for computing lower-bounds on the minimum energy configuration of a planar Markov Random Field (MRF). Our method successively adds large numbers of constraints and enforces consistency over binary projections of…