High-range resolution inverse synthetic aperture radar (ISAR) imaging is a promising tool for non-cooperative target identification and has attracted wide interest within the scientific and military communities. Most of the existing ISAR algorithms are based on the Fourier transform. However, for long coherent integration time or for fast maneuvering targets, simple Fourier processing without c...

Many traditional sparse signal recovery based ISAR imaging methods did not utilize the block scatterers information of targets. Some block Bayesian learning based ISAR imaging algorithms are computational expensive. In this paper, a 2D block 1 0 norms homotopy sparse signal recovery algorithm (the BL1L0 algorithm) is proposed and utilized to form the ISAR image. Compared with Bayesian-based alg...

Isar offers a high-level proof (and theory) language for Isabelle. We give various examples of Isabelle/Isar proof developments, ranging from simple demonstrations of certain language features to a bit more advanced applications. The “real” applications of Isabelle/Isar are found elsewhere.

During the last decade, several spectral estimation techniques have been proposed for application to SAR/ISAR imaging. The present study attempts to shed light to a number of parametric spectral estimation methods, employed for ISAR imaging of aircraft targets. We focus on performance comparison with respect to 1-D and 2-D image resolution. Auto-regressive methods and MUSIC algorithm are examin...

This paper provides a novel method to recognize aircraft in Inverse Synthetic Aperture Radar (ISAR) images. The method utilizes the conspicuous scatterers located in a two-dimensional ISAR image as the feature points of aircraft to generate geometric invariants and recognize the aircraft. When the ISAR imagery is influenced by noise or target rotation, the proposed method provides an effective ...

Isabelle/Isar is a generic framework for human-readable formal proof documents, based on higher-order natural deduction. The Isar proof language provides general principles that may be instantiated to particular object-logics and applications. We discuss specific Isar language elements that support complex induction patterns of practical importance. Despite the additional bookkeeping required f...

Conventional Inverse Synthetic Aperture Radar (ISAR) utilises the rotational motion of a target such as a ship or an aircraft to obtain a 2-D image of the target’s radar cross section (RCS) profile from a coherent radar system. This concept can be extended to obtain a 3-D RCS profile if the target's translational and rotational motion has the required attributes and is known with sufficient acc...

Inverse Synthetic Aperture Radar (ISAR) is a powerful radar processing technique which is capable of two and three dimensional high resolution image generation of the target. ISAR image is often regarded as an adequate and sufficient measure to discriminate between various targets like missiles, military aircraft and civilian aircrafts. However, if the target has complicated motion such as pitc...

The basic motivation of this work is to make formal theory developments with machine-checked proofs accessible to a broader audience. Our particular approach is centered around the Isar formal proof language that is intended to support adequate composition of proof documents that are suitable for human consumption. Such primary proofs written in Isar may be both checked by the machine and read ...

The purpose of this systematic review was to evaluate the predictive validity of the Identification of Seniors at Risk (ISAR) Tool in identifying elderly patients at risk of adverse outcomes after a visit to the emergency department (ED). Since older adults are frequently sent to the ED, screening for risk of adverse outcomes in elderly patients is increasingly important in the ED. Also it is a...