Results 111 to 120 of about 50,281 (233)

A Vernacular for Coherent Logic

, 2014
We propose a simple, yet expressive proof representation from which proofs for different proof assistants can easily be generated. The representation uses only a few inference rules and is based on a frag- ment of first-order logic called coherent logic.
A. Blass, C. Kaliszyk, C. Kaliszyk, C. Keller, D. Lee, G. Sutcliffe, H. Barendregt, J. Fisher, J.C. Blanchette, J.C. Blanchette, M. Bezem, M. Kohlhase, M. Wenzel, P. Rudnicki, S. Obua, S. Stojanović, W. Schwabhäuser   +16 more
core   +2 more sources

Image Registration Based on Wave Path Difference Compensation for InISAR

Leida xuebao, 2018
In Interferometric Inverse Synthetic Aperture Radar (InISAR) three-Dimensional (3D) imaging, Inverse Synthetic Aperture Radar (ISAR) image registration is a key process.
Zhou Zibo, Jiang Libing, Wang Zhuang
doaj   +1 more source

Self-Supervised-ISAR-Net Enables Fast Sparse ISAR Imaging [PDF]

arXiv
Numerous sparse inverse synthetic aperture radar (ISAR) imaging methods based on unfolded neural networks have been developed for high-quality image reconstruction with sparse measurements. However, their training typically requires paired ISAR images and echoes, which are often difficult to obtain.
arxiv  

Wigner distribution function and entropy of the damped harmonic oscillator within the theory of open quantum systems [PDF]

arXiv, 1994
The harmonic oscillator with dissipation is studied within the framework of the Lindblad theory for open quantum systems. By using the Wang-Uhlenbeck method, the Fokker-Planck equation, obtained from the master equation for the density operator, is solved for the Wigner distribution function, subject to either the Gaussian type or the $\delta$-function
arxiv  

Understanding frailty screening of older adults in the emergency department: A survey of emergency physicians in Ontario

Academic Emergency Medicine, EarlyView.
Priyank Bhatnagar, Don Melady, Cameron Thompson, Shelley McLeod, Alice Gray, Keerat Grewal   +5 more
wiley   +1 more source

A Benchmark, Expand, and Calibration (BenchExCal) Trial Emulation Approach for Using Real‐World Evidence to Support Indication Expansions: Design and Process for a Planned Empirical Evaluation

Clinical Pharmacology &Therapeutics, Volume 117, Issue 6, Page 1820-1828, June 2025.
Real‐world evidence involving healthcare database studies is well established for making causal inferences in post‐market drug safety studies and methods, data, and research infrastructure for evaluating effectiveness have advanced in recent years. The rapidly expanding field of etiologic research using insurance claims and electronic health records ...
Shirley V. Wang, Massimiliano Russo, Robert J. Glynn, Marie C. Bradley, Jiwei He, John Concato, Sebastian Schneeweiss   +6 more
wiley   +1 more source

Wide-Angle, Ultra-Wideband ISAR Imaging of Vehicles and Drones

Sensors, 2018
In-situ, wide-angle, and ultra-wideband inverse synthetic aperture radar (ISAR) imaging of vehicles and drones is demonstrated using a portable ultra-wideband radar.
Chenchen J. Li, Hao Ling
doaj   +1 more source

Damped quantum harmonic oscillator: density operator and related quantities [PDF]

Helv.Phys.Acta 68 (1995) 225-234, 1994
A closed expression for the density operator of the damped harmonic oscillator is extracted from the master equation based on the Lindblad theory for open quantum systems. The entropy and effective temperature of the system are subsequently calculated and their temporal behaviour is surveyed by showing how these quantities relax to their equilibrium ...
arxiv  

River Run Off Measurement With SAR Along Track Interferometry [PDF]

, 2004
The paper summarizes the need for global space borne river run-off measurements. It reports about an airborne SAR experiment aimed to measure the surface velocity of the river Isar in Bavaria / Germany.
Eineder, Michael, Horn, Ralf, Maurer, Thomas, Runge, Hartmut, Suchandt, Steffen   +4 more
core  

Cardiac myosin binding protein C correlate with cardiac troponin I during an exercise training program in patients with HFrEF

ESC Heart Failure, Volume 12, Issue 3, Page 2382-2386, June 2025.
Abstract Background Cardiac myosin binding protein C (cMyC) is an emerging new biomarker of myocardial injury rising earlier and cleared faster than cardiac troponins. It has discriminatory power similar to high‐sensitive troponins in diagnosing myocardial infarction in patients presenting with chest pain. It is also associated with outcome in patients
E. Riveland, A. Ushakova, T. Valborgland, T. Karlsen, H. Dalen, E. Prescott, T. Omland, A. Linke, M. Halle, M. Marber, Ø. Ellingsen, A.I. Larsen, on behalf of the SMARTEX‐HF Study Group   +12 more
wiley   +1 more source