Related papers: The Observed Inclination Problem: Solved at Last?
Adaptive Optics is a prime example of how progress in observational astronomy can be driven by technological developments. At many observatories it is now considered to be part of a standard instrumentation suite, enabling ground-based…
We consider cylindrical algebraic decomposition (CAD) and the key concept of delineability which underpins CAD theory. We introduce the novel concept of projective delineability which is easier to guarantee computationally. We prove results…
Approximate probabilistic inference algorithms are central to many fields. Examples include sequential Monte Carlo inference in robotics, variational inference in machine learning, and Markov chain Monte Carlo inference in statistics. A key…
Advances in astronomy are often enabled by adoption of new technology. In some instances this is where the technology has been invented specifically for astronomy, but more usually it is adopted from another scientific or industrial area of…
Over the past ten years, the concept of adaptive optics has evolved from early experimental stages to a standard observing tool now available at almost all major optical and near-infrared telescope facilities. Adaptive optics will also be…
In recent years, knowledge distillation (KD) has been widely used to derive efficient models. Through imitating a large teacher model, a lightweight student model can achieve comparable performance with more efficiency. However, most…
This manuscript contains a description and basic principles for observing inaccessible areas using low cost, easily deployed equipment. The basic premise is to suspend a tiny video camera at an altitude of 10 - 200 meters over the area to…
Over its more than thirty-year history, the Advanced Technologies and Instrumentation (ATI) program has provided grants to support technology development for ground-based astronomy. Research from this program has advanced adaptive optics,…
Solving inverse partial differential equation (PDE) problems is a fundamental topic in scientific research due to its broad significance across a wide range of real-world applications. Inverse PDE problems arise across medical imaging,…
In the field of robotic manipulation, the proficiency of deformable object manipulation lags behind human capabilities due to the inherent characteristics of deformable objects. These objects have infinite degrees of freedom, resulting in…
Artificial Intelligence systems cannot yet match human abilities to apply knowledge to situations that vary from what they have been programmed for, or trained for. In visual object recognition methods of inference exploiting top-down…
We present ASIST, a technique for transforming point clouds by replacing objects with their semantically equivalent counterparts. Transformations of this kind have applications in virtual reality, repair of fused scans, and robotics. ASIST…
Astronomical adaptive optics systems are used to increase effective telescope resolution. However, they cannot be used to observe the whole sky since one or more natural guide stars of sufficient brightness must be found within the…
Despite the large budgets spent annually on astronomical research equipment such as telescopes, instruments and supercomputers, the general trend is to analyse and view the resulting datasets using small, two-dimensional displays. We report…
Both appearance cue and constraint cue are vital for human pose estimation. However, there is a tendency in most existing works to overfitting the former and overlook the latter. In this paper, we propose Augmentation by Information…
Technical description of the new project called All Sky Automated Survey and results of the tests of our prototype instrument are presented. The ultimate goal of this project is photometric monitoring of the large area of the sky with fully…
The effectiveness of projection methods for solving systems of linear inequalities is investigated. It is shown that they have a computational advantage over some alternatives and that this makes them successful in real-world applications.…
Detection of small objects and objects far away in the scene is a major challenge in surveillance applications. Such objects are represented by small number of pixels in the image and lack sufficient details, making them difficult to detect…
In the past years modern mathematical methods for image analysis have led to a revolution in many fields, from computer vision to scientific imaging. However, some recently developed image processing techniques successfully exploited by…
In this work we consider an iterative method for solving the quasi-convex feasibility problem. We firstly introduce the so-called star subgradient projection operator and present some useful properties. We subsequently obtain a convergence…