3 Sabrina Marozin, Jennifer Altomonte, Sibylle Apfel, Phat X. Dinh, Enrico N. De Toni, 4 Antonia Rizzani, Andreas Nüssler, Nobuyuki Kato, Roland M. Schmid, Asit K. Pattnaik 5 and Oliver Ebert 6 7 Department of Medicine, Klinikum rechts der Isar, Technical University of Munich, Germany; 8 School of Veterinary Medicine and Biomedical Sciences & the Nebraska Center for Virology, 9 University of Ne...

© 2016 The Author(s). Published by Taylor & Francis on behalf of the Nordic Orthopedic Federation. This is an Open Access article distributed under the terms of the Creative Commons Attribution-Non-Commercial License (https://creativecommons.org/licenses/by-nc/3.0) DOI 10.1080/17453674.2016.1193664 The International Society of Arthroplasty Registers (ISAR) was formed in 2004 at the American Aca...

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...