Results 231 to 240 of about 14,304,572 (257)

DRIVE‐SAFE: Data‐Driven Robustness and Informed Validation for Evolving Specifications via Formal Evaluation

open access: yesAdvanced Robotics Research, EarlyView.
DRIVE‐SAFE evaluates learning‐based, black‐box autonomous driving policies against evolving temporal safety requirements using Signal Temporal Logic robustness metrics. It aggregates distributional robustness measures with domain‐informed weights to guide iterative retraining.
Kristy Sakano   +3 more
wiley   +1 more source

Modeling Long-Term Postseismic Deformation Following the 2020 Mw 7.0 Samos Earthquake Using Campaign and Continuous GNSS Observations. [PDF]

open access: yesSensors (Basel)
Solak Hİ   +13 more
europepmc   +1 more source

Fatal Delayed Stent-edge Rupture Confirmed by Autopsy after Stent-assisted Coil Embolization for a Blood Blister-like Aneurysm. [PDF]

open access: yesNMC Case Rep J
Hirohashi A   +10 more
europepmc   +1 more source

Cholesterol crystal formation and embolism in the central nervous system and their potential role in Alzheimer's disease. [PDF]

open access: yesAm Heart J Plus
Houmani A   +9 more
europepmc   +1 more source

Home - About - Disclaimer - Privacy