Related papers: The INTEGRAL Core Observing Programme
Business process compliance is a key area of business process management and aims at ensuring that processes obey to compliance constraints such as regulatory constraints or business rules imposed on them. Process compliance can be checked…
The James Webb Space Telescope (JWST) is optimized for observations in the near and mid infrared and will provide essential observations for targets that cannot be conducted from the ground or other missions during its lifetime. The state…
Existing computer vision systems can compete with humans in understanding the visible parts of objects, but still fall far short of humans when it comes to depicting the invisible parts of partially occluded objects. Image amodal completion…
Recent advances in optical atomic clocks and optical time transfer have enabled new possibilities in precision metrology for both tests of fundamental physics and timing applications. Here we describe a space mission concept that would…
I review the reason for considering the prime purpose of the program of measurements of the fundamental parameters of cosmology to be the tests of cosmological models. I comment on the philosophy by which we are approaching this goal, offer…
The program of a physical concept of information is outlined in the framework of quantum theory. A proposal is made for how to avoid the introduction of axiomatic observables. The conventional (collapse) and the Everett interpretations of…
The PULSE@Parkes project has been designed to monitor the rotation of radio pulsars over time spans of days to years. The observations are obtained using the Parkes 64-m and 12-m radio telescopes by Australian and international high school…
System integration testing is the process of testing a system by the stepwise integration of sub-components. Usually these sub-components are already verified to guarantee their correct functional behavior. By integration of these verified…
We describe the INTEGRAL Burst Alert System (IBAS): the automatic software for the rapid distribution of the coordinates of the Gamma-Ray Bursts detected by INTEGRAL. IBAS is implemented as a ground based system, working on the near-real…
Today's software quality assurance techniques are often applied in isolation. Consequently, synergies resulting from systematically integrating different quality assurance activities are often not exploited. Such combinations promise…
Observatory end-to-end science operations is the overall process starting with a scientific question, represented by a proposal requesting observing time, and ending with the analysis of observation data addressing that question, and…
Thanks to the INTEGRAL satellite the way of looking at the hard X-ray sky above 20 keV has changed substantially. Through the unique imaging and spectroscopy capabilities of the IBIS instrument that has formed the basis of the INTEGRAL…
The core of scientific research is turning new ideas into reality. From the school science fair to the search for the secrets of dark energy, high-quality research consists of scientific investigation constrained within the scope of a…
With the unequalled INTEGRAL observatory, ESA has provided a unique tool to the astronomical community that has made Europe the world leader in the field of gamma-ray astronomy. INTEGRAL provides an unprecedented survey of the soft…
Conformal prediction is a learning framework controlling prediction coverage of prediction sets, which can be built on any learning algorithm for point prediction. This work proposes a learning framework named conformal loss-controlling…
Perimeter cybersecurity, while essential, has proven insufficient against sophisticated, coordinated, and cyber-physical attacks. In contrast, mission-centric cybersecurity emphasizes finding evidence of attack impact on mission success,…
The IBIS telescope onboard INTEGRAL, the ESA gamma-ray space mission to be launched in 2002, is a soft gamma-ray (20 keV - 10 MeV) device based on a coded aperture imaging system. We describe here basic concepts of coded masks, the imaging…
Monitoring is a runtime verification technique that allows one to check whether an ongoing computation of a system (partial trace) satisfies a given formula. It does not need a complete model of the system, but it typically requires the…
The validation of NASA Global Precipitation Mission (GPM) satellite precipitation products is important for their credibility and utility within the larger community. This document defines GPM ground validation scientific objectives and…
A fundamental component of modern trackers is an online learned tracking model, which is typically modeled either globally or locally. The two kinds of models perform differently in terms of effectiveness and robustness under different…