Results 191 to 200 of about 114,742 (297)
A Perspective on Interactive Theorem Provers in Physics
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
Audio Deepfake Detection via a Fuzzy Dual-Path Time-Frequency Attention Network. [PDF]
Li J +6 more
europepmc +1 more source
Solid Harmonic Wavelet Bispectrum for Image Analysis
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
Tapia's Syndrome following Noninvasive Continuous Positive Airway Pressure Therapy: A Case Report. [PDF]
Pulatov O +3 more
europepmc +1 more source
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
Hearing one's own voice enhances explicit agency retrospectively, whereas implicit agency relies on sensorimotor comparison. [PDF]
Ohata R, Uehigashi Y, Imamizu H.
europepmc +1 more source
Progressive stiffening of the hepatic extracellular matrix and free fatty acid overload activate the mechanosensor Piezo1 in steatotic hepatocytes, inducing calcium influx and nuclear translocation of Yes‐associated protein. YAP‐dependent nuclear signaling further drives inflammatory and fibrotic gene programs, lipid metabolic reprogramming, and ...
Juan Ma +15 more
wiley +1 more source
Bulbar Manifestation of Myasthenia Gravis Initially Attributed to Goiter: A Case Report. [PDF]
El Zoert Z +3 more
europepmc +1 more source
NIBAN2/FLII/RREB1 Axis Drives Glioma Stem Cell Malignancy via TLR3 Pathway Activation
NIBAN2, highly expressed in glioma stem‐like cells (GSCs), assembles with FLII and transcription factor RREB1 to form a nuclear complex. This complex transcriptionally activates stemness‐associated genes (e.g., CD44, NANOG) and metabolic enzymes (e.g., LDHA), thereby sustaining both transcriptional and metabolic stemness programs.
Liang liang Shi +14 more
wiley +1 more source
An ionic liquid‐based shear‐thickening fluid (ILSTF) exhibits lubricated dynamics from strong shear thickening to impact‐triggered jamming. A persistent nanometric solvation layer around silica governs both the shear thickening saturation in rheology and jamming front propagation under dynamic impact compression.
Yiran Wu +6 more
wiley +1 more source

