相关论文: The INTEGRAL Core Observing Programme

We present a novel algorithm for scheduling the observations of time-domain imaging surveys. Our Integer Linear Programming approach optimizes an observing plan for an entire night by assigning targets to temporal blocks, enabling strict…

The problem of corrupted data, missing features, or missing modalities continues to plague the modern machine learning landscape. To address this issue, a class of regularization methods that enforce consistency between imputed and fully…

Understanding or comprehending source code is one of the core activities of software engineering. Understanding object-oriented source code is essential and required when a programmer maintains, migrates, reuses, documents or enhances…

Observational astrophysics uses sophisticated technology to collect and measure electromagnetic and other radiation from beyond the Earth. Modern observatories produce large, complex datasets and extracting the maximum possible information…

Watchdog timers are devices that are commonly used to monitor the health of safety-critical hardware and software systems. Their primary function is to raise an alarm if the monitored systems fail to emit periodic "heartbeats" that signal…

The Monitor project is a large-scale program of photometric and spectroscopic monitoring of young open clusters using telescopes at ESO and other observatories. Its primary goal is to detect and characterise new low-mass eclipsing binaries,…

The SunPy Project is a community of scientists and software developers creating an ecosystem of Python packages for solar physics. The project includes the sunpy core package as well as a set of affiliated packages. The sunpy core package…

The current status of the theoretical and observational cosmology is reviewed.

A new catalog of visual double systems containing eclipsing binaries as one component is presented. The main purpose of this catalog is to compile a complete list of all known multiples of this variety, both for current analysis and to…

The Cosmoglobe project is a global effort to jointly analyze complementary cosmological and astrophysical datasets, in order to better understand our Universe and its evolution. This paper describes the goals and motivations of the project,…

The research objective is to design a blended learning of system programming for software engineering bachelors. Under blended learning we understand the way of implementing the content of the training, which integrates classroom and…

In many situations, data are recorded over a period of time and may be regarded as realizations of a stochastic process. In this paper, robust estimators for the principal components are considered by adapting the projection pursuit…

Modular logic programs provide a way of viewing logic programs as consisting of many independent, meaningful modules. This paper introduces first-order modular logic programs, which can capture the meaning of many answer set programs. We…

VO-KOREL is a web service exploiting the technology of Virtual Observatory for providing the astronomers with the intuitive graphical front-end and distributed computing back-end running the most recent version of Fourier disentangling code…

A new criterion is developed which provides a check as to whether a chosen set of polarization observables is complete with respect to the determination of all independent $T$-matrix elements of a reaction of the type $a+b\to c+d+...$. As…

Complex systems are often composed of many small communicating components called modules. We investigate the synthesis of supervisory controllers for modular systems under partial observation that, as the closed-loop system, realize the…

During 2003 test beam session for ATLAS Tile Calorimeter a monitoring program has been developed to ease the setup of correct running condition and the assessment of data quality. The program has been built using the Online Software…

Runtime verification is a lightweight verification technique that complements model checking by analyzing system executions at runtime rather than exploring a complete system model in advance. It is particularly useful for partially…

We present our ongoing work and initial results towards the (behavioral) correctness analysis of the cognitive middleware AWDRAT. Since, the (provable) behavioral correctness of a software system is a fundamental pre-requisite of the…

The article presents the concept of network-centric conformal electro-optical systems construction with spherical field of view. It discusses abstract passive distributed electro-optical systems with focal array detectors based on a group…