Results 211 to 220 of about 618,644 (293)

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

SKOOTS: Skeleton‐Oriented Object Segmentation for Mitochondria in High‐Resolution Cochlear EM Datasets

open access: yesAdvanced Science, EarlyView.
Skeleton‐oriented object segmentation (SKOOTS) introduces a new strategy for 3D mitochondrial instance segmentation by predicting explicit skeletons rather than relying on boundary cues. This approach enables robust analysis of densely packed organelles in large FIB‐SEM datasets.
Christopher J. Buswinka   +3 more
wiley   +1 more source

Preliminary document analyzing and summarizing metadata standards and issues across Europe [PDF]

open access: yes, 2009
Alemu, Getaneh   +3 more
core  

Long‐Tea‐CLIP: An Expert‐Level Multimodal AI Framework for Fine‐Grained Green Tea Grading Across Five Sensory Dimensions

open access: yesAdvanced Science, EarlyView.
Long‐Tea‐CLIP (Contrastive Language‐Image Pre‐training) presents a multimodal AI framework that integrates visual, metabolomic, and sensory knowledge to grade green tea across appearance, soup color, aroma, taste, and infused leaf. By combining expert‐guided modeling with CLIP‐supervised learning, the system delivers fine‐grained quality evaluation and
Yanqun Xu   +9 more
wiley   +1 more source

Gut Lactate Boosts Ruminococcus via Histone Lactylation to Mediate Time‐Restricted Feeding Protection in Crohn's Disease

open access: yesAdvanced Science, EarlyView.
TRF enriches Ruminococcus, a bacterial genus producing SCFAs, and activates the epithelial HIF‐1α signaling pathway. This mechanism protects the colonic mucosa from inflammatory insults in colitis models. Mechanistically, gut lactate production during starvation and refeeding mediates H4K12la, which increases SLC9A3 expression and creates an acidic gut
Linwen Huang   +17 more
wiley   +1 more source

A Dual‐Responsive Versatile Nanohybrid Orchestrating Tumor Elimination and Tumor‐Associated Osteolysis Restoration via Sequential Release

open access: yesAdvanced Science, EarlyView.
The versatile CaO2@CuMOF@HAP nanohybrid demonstrates an outstanding MMP9/pH‐triggered release performance for sequential release of osteogenic growth peptide into deep‐seated tumor‐infiltrated bone destruction areas and dual ions into tumor cells, enabling efficient tumor‐associated osteolysis restoration and tumor elimination for more comprehensive ...
Lan Liu   +8 more
wiley   +1 more source

Home - About - Disclaimer - Privacy