Results 151 to 160 of about 92,553 (255)

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

Solid Harmonic Wavelet Bispectrum for Image Analysis

open access: yesAdvanced Science, EarlyView.
The Solid Harmonic Wavelet Bispectrum (SHWB), a rotation‐ and translation‐invariant descriptor that captures higher‐order (phase) correlations in signals, is introduced. Combining wavelet scattering, bispectral analysis, and group theory, SHWB achieves interpretable, data‐efficient representations and demonstrates competitive performance across texture,
Alex Brown   +3 more
wiley   +1 more source

Mr BMT Achieves Systemic Macrophage Replacement With Preservation of Tissue Homeostasis

open access: yesAdvanced Science, EarlyView.
Microglia replacement by bone marrow transplantation (Mr BMT) enables systemic replacement of tissue‐resident macrophages. Despite persistent macrophage and tissue remodeling across multiple organs, core biological functions and innate immune responses remain preserved, supporting long‐term maintenance of organismal homeostasis and the therapeutic ...
Yufei Xu   +17 more
wiley   +1 more source

Neural Fields for Highly Accelerated 2D Cine Phase Contrast MRI

open access: yesAdvanced Science, EarlyView.
ABSTRACT 2D cine phase contrast (CPC) MRI provides quantitative information on blood velocity and flow within the human vasculature. However, data acquisition is time‐consuming, motivating the reconstruction of the velocity field from undersampled measurements to reduce scan times. In this work, neural fields are proposed as a continuous spatiotemporal
Pablo Arratia   +7 more
wiley   +1 more source

An Integrated NLP‐ML Framework for Property Prediction and Design of Steels

open access: yesAdvanced Science, EarlyView.
This study presents a data‐driven framework that uses language‐processing techniques to interpret steel processing descriptions and machine‐learning models to predict mechanical properties. By organising complex process histories into meaningful groups and enabling rapid property forecasts, the work supports faster, more informed steel design through ...
Kiran Devraju   +5 more
wiley   +1 more source

Home - About - Disclaimer - Privacy