Intelligible semi-automated reasoning (Isar) is a generic approach to readable formal proof documents. It sets out to bridge the semantic gap between any internal notions of proof based on primitive inferences and tactics, and an appropriate level of abstraction for user-level work. The Isar formal proof language has been designed to satisfy quite contradictory requirements, being both “declara...

A high resolution inverse synthetic aperture radar (ISAR) technique is presented using modified Doppler history based motion compensation. To this purpose, a novel wideband ISAR system is developed that accommodates parametric processing over extended aperture length. The proposed method is derived from an ISAR-to-SAR approach that makes use of high resolution spotlight SAR and sub-aperture rec...

The analysis of ISAR image recovery from a reduced set of data presented in [1] is extended in this correspondence to an important topic of signal nonsparsity (approximative sparsity). In real cases the ISAR images are noisy and only approximately sparse. Formula for the mean square error in the nonsparse ISAR, reconstructed under the sparsity assumption, is derived. The results are tested on e...

BACKGROUND As a consequence of demographic changes, hospitals are confronted with increasing numbers of elderly patients, who are at high risk of adverse events during hospitalization. Geriatric risk screening followed by comprehensive geriatric assessment (CGA) and treatment has been requested by geriatric societies and task forces to identify patients at risk. Since empirical evidence on fact...

Inverse synthetic aperture radar (ISAR) images represent the two-dimensional (2-D) spatial distribution of the radar crosssection (RCS) of an object and, thus, they can be applied to the problem of target identification. The traditional approach to ISAR imaging is the range-Doppler algorithm based on the 2-D Fourier transform. However, the 2-D Fourier transform often results in poor resolution ...

Isabelle/Isar is a generic framework for human-readable formal proof documents, both like and unlike Mizar. The Isar proof language provides general principles that may be instantiated to particular object-logics and applications. The design of Isar has emerged from careful analysis of some inherent virtues of the existing logical framework of Isabelle/Pure, notably composition of higherorder n...

Alternative splicing of fibroblast growth factor receptor 2 (FGFR2) occurs in a cell-type-specific manner with the mutually exclusive use of exon IIIb or exon IIIc. Specific inclusion of exon IIIb is observed in epithelial cells, whereas exon IIIc inclusion is seen in mesenchymal cells. Epithelium-specific activation of exon IIIb and repression of exon IIIc are coordinately regulated by introni...

A new approach has been proposed to reduce the computations involved in the ISAR imaging, which uses Harmonic Wavelet (HW) based Time-Frequency Representation (TFR). Since the HW based TFR falls into a category of non-parametric Time-Frequency (T-F) analysis tool, it is computationally efficient compared to parametric T-F analysis tools such as Adaptive Joint Time-Frequency Transform (AJTFT), A...

In compressive sensing (CS) based inverse synthetic aperture radar (ISAR) imaging approaches, the quality of final image significantly depends on the number of measurements and the noise level. In this paper, we propose an improved version of CSbased method for inverse synthetic aperture radar (ISAR) imaging. Different from the traditional l1 norm based CS ISAR imaging method, our method explor...

CHRISTOPH D SPINNER, SEBASTIAN NOE, CHRISTIANE SCHWERDTFEGER, ANTONIA TODOROVA, JOCHEN GAA, ROLAND M SCHMID, DIRK H BUSCH, MICHAEL NEUENHAHN Department of Medicine II, Department of Dermatology and Allergy, Department of Radiology and Interdisciplinary HIV Centre (IZAR) at UNIVERSITY HOSPITAL KLINIKUM RECHTS DER ISAR UNIVERSITY HOSPITAL KLINIKUM RECHTS DER ISAR, Ismaningerstr. 22, 81675 Munich ...