Related papers: Autonomous software: Myth or magic?
The eROSITA X-ray telescope, launched in 2019, is predicted to observe roughly 100,000 galaxy clusters. Follow-up observations of these clusters from Chandra, for example, will be needed to resolve outstanding questions about galaxy cluster…
We consider strong gravitational lensing by nearby stars. Using our wave-optical treatment of lensing phenomena, we study Einstein rings that may form around nearby stellar lenses. It is remarkable that these rings are bright and large…
Four ongoing microlensing experiments have produced important new results but also big puzzles, the major one being that the expected classes of lenses cannot account for the observed distribution of time scales. I discuss future…
Astronomy is at times a science of unexpected discovery. When it is, and if we are lucky, new intellectual territories emerge to challenge our views of the cosmos. The recent indirect detections using high-precision Doppler spectroscopy of…
We address the problem of sequentially selecting and observing processes from a given set to find the anomalies among them. The decision-maker observes one process at a time and obtains a noisy binary indicator of whether or not the…
This paper presents a novel dynamic post-shielding framework that enforces the full class of $\omega$-regular correctness properties over pre-computed probabilistic policies. This constitutes a paradigm shift from the predominant setting of…
If a source star is gravitationally microlensed by a multiple lens system, the resulting light curve can have significant deviations from the standard form of a single lens event. The chance to produce significant deviations becomes…
Nowadays, there are outstanding strides towards a future with autonomous vehicles on our roads. While the perception of autonomous vehicles performs well under closed-set conditions, they still struggle to handle the unexpected. This survey…
The Lighthouse system was originally developed as tracking system for virtual reality applications. Due to its affordable price, it has also found attractive use-cases in robotics in the past. However, existing works frequently rely on the…
Autonomous vehicles rely on their perception systems to acquire information about their immediate surroundings. It is necessary to detect the presence of other vehicles, pedestrians and other relevant entities. Safety concerns and the need…
Interstellar radar is a potential intermediate step between passive observation of exoplanets and interstellar exploratory missions. Compared to passive observation, it has the traditional advantages of radar astronomy. It can measure…
Current gravitational microlensing surveys are observing hundreds of millions of stars in the Galactic bulge - which makes finding rare microlensing events a challenging tasks. In almost all previous works, microlensing events have been…
Gravitational microlensing is one of the methods to detect exoplanets; planets outside our solar system. Here we focus on theoretical modeling of three lens systems and in particular circumbinary systems. Circumbinary systems include two…
For the past five seasons, the Angstrom Project, an international microlensing collaboration, has been making observations of the central bulge of M31, the Andromeda galaxy, searching for microlensing events. This thesis describes the work…
Because of the scheduled GLAST mission by NASA, there is strong scientific justification for preparation for very extensive blazar monitoring in the optical bands to exploit the opportunity to learn about blazars through the correlation of…
Microlensing of stars in strongly lensed galaxies can lead to temporary extreme magnification factors ($\mu\!>\!1000$), enabling their detection at high redshifts. Following the discovery of Icarus, several stars at cosmological distances…
Detection of signals from a possible extrasolar technological civilization is one of the challenging efforts of science. In this work, we propose using natural telescopes made of single or binary gravitational lensing systems to magnify…
Time-series anomaly detection (TSAD) is critical in domains such as industrial monitoring, healthcare, and cybersecurity, but it remains challenging due to rare and heterogeneous anomalies and the scarcity of labelled data. This scarcity…
A quick look at research and development in astronomy shows that we live in exciting times. Exoplanetary systems, supernovae, and merging binary black holes were far out of reach for observers two decades ago and now such phenomena are…
Various methods have been proposed to search for extrasolar planets. Compared to the other methods, microlensing has unique applicabilities to the detections of Earth-mass and free-floating planets. However, the microlensing method is…