Related papers: Lunar Time Ephemeris $\texttt{LTE440}$: definition…
Cloud native solutions are widely applied in various fields, placing higher demands on the efficient management and utilization of resource platforms. To achieve the efficiency, load forecasting and elastic scaling have become crucial…
Cislunar space is the volume between Earth's geosynchronous orbit and beyond the Moon, including the lunar Lagrange points. Understanding the stability of orbits within this space is crucial for the successful planning and execution of…
We report eclipse timing variation analyses of 26 compact hierarchical triple stars comprised of an eccentric eclipsing ('inner') binary and a relatively close tertiary component found in the {\em Kepler} field. We simultaneously fit the…
Metric Temporal Logic (MTL) is a popular formalism to specify temporal patterns with timing constraints over the behavior of cyber-physical systems with application areas ranging in property-based testing, robotics, optimization, and…
Based on NASA satellite infrared and visible range measurements, cloud amount ISCCP_D1 summer nighttime data, representing the tropospheric cloud activity at Central Russia are examined over 1994-2007, and the lunar signal in the cloud…
We present reverberation mapping results from the first year of combined spectroscopic and photometric observations of the Sloan Digital Sky Survey Reverberation Mapping Project. We successfully recover reverberation time delays between the…
Linear temporal logic (LTL) is a specification language for finite sequences (called traces) widely used in program verification, motion planning in robotics, process mining, and many other areas. We consider the problem of learning LTL…
A 33.6 ps LSB Time-to-Digital converter was designed in 130 nm BiCMOS technology. The core of the converter is a differential 9-stage ring oscillator, based on a multi-path architecture. A novel version of this design is proposed, along…
The high availability and scalability of weakly-consistent systems attracts system designers. Yet, writing correct application code for this type of systems is difficult; even how to specify the intended behavior of such systems is still an…
Blazars are highly variable sources over timescales that can be as low as minutes. This is the case of the High Energy Peaked BL Lac (HBL) objects showing strong variability in X-rays, which highly correlate with that of the TeV emission.…
Many intermediate-mass close binaries exhibit photometric cycles longer than their orbital periods, likely related to accretion-disk variability. Previous studies indicate that historical light curves (LC) provide key constraints on disk…
The Euclid satellite will provide data on the clustering of galaxies and on the distortion of their measured shapes, which can be used to constrain and test the cosmological model. However, the increase in precision places strong…
Thirty eight long-period (P>10 days), apparently contact binary stars discovered by the OGLE-II project in the SMC appear to be Beta Lyrae-type systems with ellipsoidal variations of the cool components dominating over eclipse effects in…
We take a critical look at the lithium depletion boundary (LDB) technique that has recently been used to derive the ages of open clusters. We identify the sources of experimental and systematic error and show that the probable errors are…
Processing the data of lunar laser ranging (LLR) points to the effect of anomalous increase in the lunar semimajor axis (with an excessive rate about 1.3 cm/yr), which cannot be attributed to the well-known tidal exchange of angular…
Determining the expansion of the universe, i.e. the Hubble constant (H0) to better than 2% is required in order to understand the nature of dark energy. However, the two most accurate methods to do it, the cosmic microwave background and…
Identifying light mesons which contain only up/down quarks (pions) from those containing a strange quark (kaons) over the typical meter length scales of a particle physics detector requires instrumentation capable of measuring flight times…
Ultrahigh accuracy time synchronization technique based on the optical frequency comb and the GHZ radio frequency spiral scanning deflector is suggested to install on the Moon during the ARTEMIS mission. The comparison with the parameters…
The Cepheid Period-Luminosity (PL) relation is the key tool for measuring astronomical distances and for establishing the extragalactic distance scale. In particular, the local value of the Hubble constant ($H_0$) strongly depends on…
Transient Lunar Phenomena (TLP) observed on the surface of the moon, are of high rarity, low repetition rate and very short observation times, resulting in that there is little information about this topic. This necessitates the importance…