Results 161 to 170 of about 828,775 (268)

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

Fair CCA for Fair Representation Learning: An ADNI Study. [PDF]

open access: yesACM BCB
Hou B   +8 more
europepmc   +1 more source

Spectral Decomposition of Chemical Semantics for Activity Cliffs‐Aware Molecular Property Prediction

open access: yesAdvanced Science, EarlyView.
PrismNet mimics chemical intuition by functioning as a computational prism, refracting molecular graphs into complementary semantic views and spectral frequencies. This dual‐decomposition strategy effectively captures both global topologies and subtle “activity cliff” perturbations.
Chaoyang Xie   +9 more
wiley   +1 more source

Connecting algorithmic fairness and fair outcomes in a sociotechnical simulation case study of AI-assisted healthcare. [PDF]

open access: yesNat Commun
Stanley EAM   +8 more
europepmc   +1 more source

Real‐Time High‐Definition Hyperspectral Endoscopy via Spatial‐Temporal Low‐Frequency‐Stochastic Spectral Encoding

open access: yesAdvanced Science, EarlyView.
A real‐time, high‐definition hyperspectral endoscopy is enabled by developing a spatial‐temporal spectral encoding approach based on low‐frequency stochastic filters combined with an encoding‐guided attention network. It provides hyperspectral image of in vivo tissue with fine superficial features, enables visualization of rapid and subtle ...
Xiaowei Liu   +11 more
wiley   +1 more source

Data‐Driven Feedback Identifies Focused Ultrasound Exposure Regimens for Improved Nanotheranostic Targeting of the Brain

open access: yesAdvanced Science, EarlyView.
Machine learning models predict in real time the onset of harmful microbubble collapse during microbubble‐enhanced focused ultrasound (MB‐FUS) and enable dynamic adjustment of sonication to prevent cavitation‐induced damage. This predictive control expands the safe operating window for bloodbrain barrier opening, enhancing nanoparticle delivery and ...
Hohyun Lee   +17 more
wiley   +1 more source

Faire / Se faire

open access: yesTravail et formation, 2021
openaire   +1 more source

Home - About - Disclaimer - Privacy