Locales provide a module system for the Isabelle proof assistant. Recently, locales have been ported to the new Isar format for structured proofs. At the same time, they have been extended by locale expressions, a language for composing locale specifications, and by structures, which provide syntax for algebraic structures. The present paper presents both and is suitable as a tutorial to locale...

Bistatic geometries are enabled in scenarios where multiple separated transmitters and receivers are employed as well as when illuminators of opportunity are exploited. Bistatic Inverse Synthetic Aperture Radar (B-ISAR) becomes the radar imaging tool for obtaining non-cooperative target images in arbitrary bistatic configurations. Theoretical aspects and real data experiments have been conducte...

Department for Plastic Surgery and Hand Surgery, Klinikum rechts der Isar, Technical University Munich, Germany Department of Plastic and Hand Surgery, University of Lübeck, Germany Department of Orthopedic Surgery, Hand Surgery Division, Tongji Hospital, Tongji Medical College, Huazhong University of Science and Technology, Wuhan, China *These authors contributed equally to this work **Corresp...

Aim at overcoming limitations from a single fixed aspect in monostatic inverse synthetic aperture radar (ISAR) system, bistatic radar system becomes a hot research topic in ISAR imaging. However, it is become more difficult to obtain a high resolution ISAR image of maneuvering target in receiver centered region area of bistatic radar for time varying bistastic angle and equivalent line of sight...

Inverse synthetic aperture radar (ISAR) imaging is an effective method to identify unknown targets regardless of weather and illumination conditions. Research results published regarding this topic have focused mainly on imaging and automatic target recognition (ATR) of single targets. However, targets generally fly in formation, so the applicability of ISAR images to ATR of multiple targets mu...

Recently, the use of Ultra Wide Band (UWB) technology has been increasing. This technology makes it possible to obtain high-resolution images of distant objects using microwave signals. A 2D ISAR algorithm was developed for defense and tomography and is used in medical approach. In this paper, the tomography algorithm is studied, using microwave similar to those used in reflection tomography. T...

The micro-Doppler (m-D) effect which is also called micro-motion effect is a kind of physical phenomenon, which is often produced in ISAR imaging of space targets. When the space target has a micro-Doppler effect, it will produce frequency modulation for the radar echo and cause serious interference to ISAR imaging of the target. In this paper, the micro-spin model is modeled, and the echo of m...

INTRODUCTION When elderly people are admitted to hospital, their risk of falling may often not be recognised. The risk of falling in the elderly is linked to frailty. In a Danish study, it was found that the "Identification of Seniors at Risk" screen (ISAR) predicted the patients' amount of health problems, days in hospital and readmission. It may therefore also be a predictor of frailty. This ...

BACKGROUND tools are required to identify high-risk older people in acute emergency settings so that appropriate services can be directed towards them. OBJECTIVE to evaluate whether the Identification of Seniors At Risk (ISAR) predicts the clinical outcomes and health and social services costs of older people discharged from acute medical units. DESIGN an observational cohort study using re...

Inverse synthetic aperture radars (ISAR) are a valuable instrument for assessing the dynamic state of a large object in low Earth orbit. In particular, the images generated by these radars can reach a sufficient resolution to be used during launch support or contingency operations in low Earth orbit, i.e. for confirming the deployment of structures, determining the structural integrity, or anal...