Results 181 to 190 of about 67,921 (260)

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

Introducing PNEUMA: A Hybrid Soft Pneumatic Fabric Bidirectional Actuation Module for Wearable Robotics

open access: yesAdvanced Robotics Research, EarlyView.
This study presents a soft pneumatic fabric bidirectional actuation module (PNEUMA) capable of generating high torque in both bending directions within a single integrated architecture. PNEUMA achieves up to 50 Nm with reduced inflation volume and a lightweight design.
Odysseas Simatos   +2 more
wiley   +1 more source

A Perspective on Interactive Theorem Provers in Physics

open access: yesAdvanced Science, EarlyView.
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley   +1 more source

Perspective: Hollow Core Optical Fibres for Ultraviolet and Visible Wavelengths

open access: yesAdvanced Science, EarlyView.
Hollow core optical fibres bypass material constraints that limit optical fibres at ultraviolet and visible wavelengths. However, their challenging fabrication has limited their development, and significant gains in performance remain possible. In this perspective we outline approaches to enable the next generation of fibres for shorter wavelengths ...
Robbie Mears   +5 more
wiley   +1 more source

Tropomyosin 1 Promotes Platelet Adhesion and Clot Contraction Separate from Its Roles in Developmental Hematopoiesis

open access: yesAdvanced Science, EarlyView.
ABSTRACT Genome‐wide association studies (GWAS) link the Tropomyosin 1 (Tpm1) locus to quantitative blood trait variation, but related mechanisms are unclear. Tpm1 encodes an actin‐binding protein that regulates actin filament diversity, cell adhesion, signaling, and actomyosin contractility.
Po‐Lun Kung   +19 more
wiley   +1 more source

Home - About - Disclaimer - Privacy