Related papers: Using software spectrometer to ensure VLBI signal …

A major goal of modern astrophysics is to understand the processes by which the universe evolved from its initial simplicity, as seen in measurements of the Cosmic Microwave Background, to the universe we see today, with complexity on all…

In this paper, we deal with the formal verification of an encryption scheme for Wireless Sensor Networks (WSNs). Especially, we present our first results on building a framework dedicated to modelling and verification of WSNs aspects. To…

The millimeter wave (mmWave) radar sensing-aided communications in vehicular mobile communication systems is investigated. To alleviate the beam training overhead under high mobility scenarios, a successive pose estimation and beam tracking…

Model checking has been used to verify the correctness of digital circuits, security protocols, communication protocols, as they can be modelled by means of finite state transition model. However, modelling the behaviour of hybrid systems…

Software system certification presents itself with many challenges, including the necessity to certify the system at the level of functional requirements, code and binary levels, the need to chase down run-time errors, and the need for…

INTEGRAL observations provide a large amount of data on accreting binary systems. The interpretation of the spectral emission of these sources needs timing analysis and phase resolved spectroscopy, which are really cumbersome tasks if…

Support Vector Machines (SVM) is a computational technique which has been used in various fields of sciences as a classifier with k-class classification capability, k being 2,3,4, etc. Seismograms of volcanic tremors often contain noises…

The proper scientific analysis of a large amount of stellar spectra requires certain capabilities of the analysing tool (e.g. precise semi-automatic fitting for normalisation of the continuum or line-list assisted measurement of spectral…

Spectroscopy is a crucial laboratory technique for understanding quantum systems through their interactions with electromagnetic radiation. Particularly, spectroscopy is capable of revealing the physical structure of molecules, leading to…

Software measurement is an essential management tool to develop robust and maintainable software systems. Software metrics can be used to control the inherent complexities in software design. To guarantee that the components of the software…

Continuous wavefront sensing on future space telescopes allows relaxation of stability requirements while still allowing on-orbit diffraction-limited optical performance. We consider the suitability of phase retrieval to continuously…

Genetic programming has been widely used in the engineering field. Compared with the conventional genetic programming and artificial neural network, geometric semantic genetic programming (GSGP) is superior in astringency and computing…

Localization of a radio frequency (RF) signal source has various use cases, ranging from search and rescue, identification and deactivation of jammers, and tracking hostile activity near borders or on the battlefield. The use of unmanned…

We present the software system used to control and operate the South Pole Telescope. The South Pole Telescope is a 10-meter millimeter-wavelength telescope designed to measure anisotropies in the cosmic microwave background (CMB) at…

The VLTI Spectro Imager project aims to perform imaging with a temporal resolution of 1 night and with a maximum angular resolution of 1 milliarcsecond, making best use of the Very Large Telescope Interferometer capabilities. To fulfill the…

Nowadays, tens of satellites carry hyperspectral spectrometers. Such instruments allow decomposing the light that exits the atmosphere from its top into hundreds to thousands of contiguous spectral channels. By analysis of the light…

The signal measured by an astronomical spectrometer may be due to radiation from a multi-component mixture of plasmas with a range of physical properties (e.g. temperature, Doppler velocity). Confusion between multiple components may be…

Software defect prediction is an essential task during the software development Lifecycle as it can help managers to identify the most defect-proneness modules. Thus, it can reduce the test cost and assign testing resources efficiently.…

You may develop a potential prediction model, but how can I trust your model that it will benefit my software?. Using a software defect prediction (SDP) model as a tool, we address this fundamental problem in machine learning research. This…

pyspeckit is a toolkit and library for spectroscopic analysis in Python. We describe the pyspeckit package and highlight some of its capabilities, such as interactively fitting a model to data, akin to the historically widely-used splot…