, 2001 Isar offers a high-level proof (and theory) language for Isabelle. We give various examples of Isabelle/Isar proof developments, ranging from simple demonstrations of certain language features to a bit more advanced applications. The “real ” applications
Markus Wenzel +2 more
core
Incidence of New Malignancies in Severe Asthma: Comparison of Real-World Patients Treated with Benralizumab, Other Biologics, or Non-biologics. [PDF]
Pulm TherDareng EO +13 more
europepmc +1 more source
Azimuth-Frequency Conditioned Mamba U-Net for ISAR Image Refocusing. [PDF]
Sensors (Basel)Wang S, Qu W, Wu S, Wang F, Zhu B.
europepmc +1 more source
Obtención de imágenes ISAR de blancos móviles
A new method for motion compensation has been developed for radar imaging of moving targets (ISAR). Phase shifts (due to target motion) among adjacent pulses from a STEPPED FREQUENCY signal, are removed with a parabolic compensation method. The simulated
Jofre Roca, Lluís +2 more
core
Reproducibility of automated opportunistic CT-based volumetric bone mineral density measurements at the thoracic spine. [PDF]
Br J RadiolRaffler P +8 more
europepmc +1 more source
Application of type 2 inflammation-related biomarkers in risk prediction models for acute exacerbations in adult asthma: a systematic review. [PDF]
Front Med (Lausanne)Li M, Yan Z, Wang M.
europepmc +1 more source
CD-TrGNN: A Complex-Domain Transformer-Graph Neural Network for ISAR Space Target Attitude Estimation. [PDF]
Sensors (Basel)He Y +6 more
europepmc +1 more source
Integrating ISAR and CIRS with ED triage to predict 30-day adverse outcomes in older adults: Development and internal validation of a dual-scale model. [PDF]
Medicine (Baltimore)Liu C, Li Y, Jiang W, Ouyang L, Liu D.
europepmc +1 more source