Related papers: The INTEGRAL Core Observing Programme
The Cosmic-Ray Extremely Distributed Observatory (CREDO) is a project dedicated to global studies of extremely extended cosmic-ray phenomena, the cosmic-ray ensembles (CRE), beyond the capabilities of existing detectors and observatories.…
Political pledges reflect candidates' policy commitments, but tracking their fulfilment requires reasoning over incremental evidence distributed across multiple, dynamically updated sources. Existing methods simplify this task into a…
We present a framework that allows an observer to determine occluded portions of a structure by finding the maximum-likelihood estimate of those occluded portions consistent with visible image evidence and a consistency model. Doing this…
Runtime Verification is a lightweight formal verification technique. It is used to verify at runtime whether the system under analysis behaves as expected. The expected behaviour is usually formally specified by means of properties, which…
Active optics is defined as the control of the shape and the alignment of the components of an optical system at low temporal frequencies. For modern large telescopes with flexible monolithic or segmented primary mirrors and also flexible…
This paper is devoted to the design of full order proportional-integral observer for the state estimation of discrete-time linear time-invariant systems. In particular, explicit necessary and sufficient conditions are established for the…
With the INTEGRAL observatory, ESA has provided a unique tool to the astronomical community revealing hundreds of sources, new classes of objects, extraordinary views of antimatter annihilation in our Galaxy, and fingerprints of recent…
There has been an unfortunate gap in coronal emission line observations from space in the visible and near IR (V+NIR). Their distinct scientific advantage stems from the dominance of radiative excitation in their formation, whereby their…
KERN is a bi-annually released set of radio astronomical software packages. It should contain most of the standard tools that a radio astronomer needs to work with radio telescope data. The goal of KERN is to save time and prevent…
A program execution monitor is a program that collects and abstracts information about program executions. The "collect" operator is a high level, general purpose primitive which lets users implement their own monitors. "Collect" is built…
The Virtual Observatory (VO) is realizing global electronic integration of astronomy data. One of the long-term goals of the U.S. VO project, the Virtual Astronomical Observatory (VAO), is development of services and protocols that respond…
Since its launch on October 2002, the INTEGRAL satellite has revolutionized our knowledge of the hard X-ray sky thanks to its unprecedented imaging capabilities and source detection positional accuracy above 20 keV. Nevertheless, many of…
The Virtual Observatory has reached sufficient maturity for its routine scientific exploitation by astronomers. To prove this statement, here I present a brief description of the complete VO-powered PhD thesis entitled "Galactic and…
The INTEGRAL Burst Alert System (IBAS) has been developed to detect and locate in real time the gamma-ray bursts (GRBs) serendipitously observed by INTEGRAL. The IBAS software runs automatically at the INTEGRAL Science Data Centre (ISDC),…
The main goal of concept-oriented programming (COP) is describing how objects are represented and accessed. It makes references (object locations) first-class elements of the program responsible for many important functions which are…
The motivation for radio pulsar timing and its basic principles are reviewed. Present and future radio timing techniques and hardware are summarised and compared. The array of present timing programmes and their scientific goals are…
Compound random measures (CoRM's) are a flexible and tractable framework for vectors of completely random measure. In this paper, we provide conditions to guarantee the existence of a CoRM. Furthermore, we prove some interesting properties…
An integrated software-based solution for a modular and self-independent networked robot is introduced. The wirelessly operatable robot has been developed mainly for autonomous monitoring works with full control over web. The integrated…
A functional analysis of the task of observing multiple macroscopic quantum systems over an extended period of time and then reporting the accumulated results is used to investigate the information that must be encoded in the "ready" state…
Studying the rapid variability of many astronomical objects is key to understanding the underlying processes at play. However, a combination of limited telescope availability, viewing constraints, and the unpredictable nature of many…