Results 121 to 130 of about 50,281 (233)
Focusing on the inverse synthetic aperture radar (ISAR) imaging of targets with complex motion, this paper proposes a modified version of the Fourier transform, called non-uniform rotation transform, to achieve cross-range compression.
Wenzhen Wu+4 more
doaj +1 more source
Multipole decomposition of potentials in relativistic heavy ion collisions [PDF]
In relativistic heavy ion collisions an exact multipole decomposition of the Lorentz transformed time dependent Coulomb potentials in a coordinate system with equal constant, but opposite velocities of the ions, is obtained for both zero and different from zero impact parameter.
arxiv
'Hausdorff distance' via conical cocompletion
In the context of quantaloid-enriched categories, we explain how each saturated class of weights defines, and is defined by, an essentially unique full sub-KZ-doctrine of the free cocompletion KZ-doctrine.
Stubbe, Isar
core
Compositional properties of crypto-based components [PDF]
This paper presents an Isabelle/HOL+Isar set of theories which allows to specify crypto-based components and to verify their composition properties wrt. cryptographic aspects.
Spichkova, Maria
core
Training‐induced change of diastolic function in heart failure with preserved ejection fraction
Training‐induced change of diastolic function in HFpEF. HIIT, high‐intensity interval training; HFpEF, heart failure with preserved ejection fraction; LVEF, left ventricular ejection fraction; MCT, moderate continuous training; TAPSE, tricuspid annular plane systolic excursion; V̇O2peak, peak oxygen uptake.
Andreas B. Gevaert+12 more
wiley +1 more source
SR-DNnet: A Deep Network for Super-Resolution and De-Noising of ISAR Images
Inverse synthetic aperture radar (ISAR) images have become one of the most important pieces of information for airborne and maritime target identification.
Fengkai Liu+3 more
doaj +1 more source
Exponentiable functors between quantaloid-enriched categories [PDF]
Exponentiable functors between quantaloid-enriched categories are characterized in elementary terms. The proof goes as follows: the elementary conditions on a given functor translate into existence statements for certain adjoints that obey some lax commutativity; this, in turn, is precisely what is needed to prove the existence of partial products with
arxiv
Modules on involutive quantales: canonical Hilbert structure, applications to sheaf theory
We explain the precise relationship between two module-theoretic descriptions of sheaves on an involutive quantale, namely the description via so-called Hilbert structures on modules and that via so-called principally generated modules. For a principally
Heymans, Hans, Stubbe, Isar
core +1 more source
In this study, we compared clinical outcomes in AQP4‐IgG+ NMOSD patients treated with rituximab as first‐line versus escalation immunotherapy. While the risk of attacks was similar once rituximab was initiated in both groups, patients receiving rituximab as escalation therapy had higher EDSS scores at treatment start and at the end of follow‐up.
Daniel Engels+12 more
wiley +1 more source
NeRF-enabled Analysis-Through-Synthesis for ISAR Imaging of Small Everyday Objects with Sparse and Noisy UWB Radar Data [PDF]
Inverse Synthetic Aperture Radar (ISAR) imaging presents a formidable challenge when it comes to small everyday objects due to their limited Radar Cross-Section (RCS) and the inherent resolution constraints of radar systems. Existing ISAR reconstruction methods including backprojection (BP) often require complex setups and controlled environments ...
arxiv