相关论文: An Astronomical View-point on the Easter Date
A re-investigation of the parapegma of Euktemon (5th century BC, Athens), based on the assumption that some star observations may in fact have been calculated rather than directly observed. The calculation follows Pliny, Natural History…
The satellite missions Hipparcos and Gaia by the European Space Agency will together bring a decrease of astrometric errors by a factor 10000, four orders of magnitude, more than was achieved during the preceding 500 years. This modern…
In the last two decades, Bayesian inference has become commonplace in astronomy. At the same time, the choice of algorithms, terminology, notation, and interpretation of Bayesian inference varies from one sub-field of astronomy to the next,…
We deliver a call to arms for probabilistic numerical methods: algorithms for numerical tasks, including linear algebra, integration, optimization and solving differential equations, that return uncertainties in their calculations. Such…
We have found that proposals addressing the old cosmological constant problem come in various categories. The aim of this paper is to identify as many different, credible mechanisms as possible and to provide them with a code for future…
Algorithms can be used to prove and to discover new theorems. This paper shows how algorithmic skills in general, and the notion of invariance in particular, can be used to derive many results from Euclid's algorithm. We illustrate how to…
In this paper, we describe a very simple method to calculate the positions of the planets in the sky. The technique used enables us to calculate planetary positions to an accuracy of $\stackrel{<}{_{\sim}} 1^{\circ}$ for $\pm 50$ years from…
A fragment of the folklore text "Apai" that was once put down on Easter Island contains a report about astronomical observations of Kirch's Comet or the Great Comet of 1680-1681 A.D. (C/1680 V1) and the partial solar eclipse of March 19,…
This is a summary of the `Astronomy Perspective' of the 4th meeting on 'Statistical Challenges in Modern Astronomy' held at Penn State University in June 2006. We comment on trends in the Astronomy community towards Bayesian methods and…
The dominant part in the mental calculation of the day of the week for any given date is to determine the year share, that is, the contribution of the two-digit year part of the date. This paper describes a number of year share computation…
The apparent positions of planets are determined by means of the fundamental ephemerides, the precession-nutation models of the Earth, the gravitational effects and aberrations et al. Around 2000, many astrometrical conceptions, models and…
This paper introduces two astronomical methods developed through computational simulation to evaluate the historical dating of ancient astronomical sources. The first identifies a 1151-year planetary cycle based on the recurrence of visible…
This textbook provides a systematic treatment of statistical machine learning for astronomical research through the lens of Bayesian inference, developing a unified framework that reveals connections between modern data analysis techniques…
Typically we can deliver astrometric positions of natural satellites with errors in the 50-150 mas range. Apparent distances from mutual phenomena, have much smaller errors, less than 10 mas. However, this method can only be applied during…
The 1703 was the first year of full operation of the meridian line in the Basilica of St. Maria degli Angeli in Rome. The instants of solstices and equinoxes, the \textit{Anni Cardines}, obtained by comparing transit timings of Sun and…
Being one of the most fascinating and ancient sciences, astronomy has always played a special role in society. In 2022 ESO organised an online conference to offer the community a platform to discuss astronomical topics of sociological and…
Astronomy relies heavily on time domain observations. To maximize the scientific yield of such observations, astronomers must carefully match the observational cadence to the phenomena of interest. This presents significant scheduling…
This dialog paper offers a preview and provides a foretaste of an upcoming work on the axiomatization of basic interactive algorithms. The modern notion of algorithm was elucidated in the 1930s--1950s. It was axiomatized a quarter of a…
Starting with the recursive extended Euclid's algorithm, we apply a systematic approach using matrix notation to transform it into an iterative algorithm. The partial correctness proof derived from the transformation turns out to be very…
If one asked some friends where on the horizon they should expect to see the sunrise, half of the answers would be "in the east". Of course, something analogous would happen with the sunset and the west. However, sunrise and sunset…