Results 211 to 220 of about 1,622,488 (349)

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

Barriers and Facilitators to Enforcing E-Cigarette Regulations for Online Sales. [PDF]

open access: yesNicotine Tob Res
Lee SC   +6 more
europepmc   +1 more source

Coupled Above‐ and Belowground Ecosystem Stability Worldwide

open access: yesAdvanced Science, EarlyView.
Are the worlds above and below our feet in sync? This global exploration reveals an entangled fate between above‐ and belowground ecosystem stability. It identifies arid regions as hotspots for this coupling and highlights temperature stability as a vital safeguard for maintaining ecosystem balance across our warming planet.
Zexin Meng   +18 more
wiley   +1 more source

ECM‐Stiffness Mediated Persistent Fibroblast Activation Requires Integrin and Formin Dependent Chromatin Remodeling

open access: yesAdvanced Science, EarlyView.
Prolonged exposure to stiff extracellular matrix drives cancer‐associated fibroblasts into a persistently activated myofibroblast state. Two parallel pathways are identified: β1 integrin activation smoothens the nuclear lamina to reduce lamin–chromatin contacts, while the formin mDia2 regulates nuclear actin to alter chromatin organization.
Swathi Packirisamy   +4 more
wiley   +1 more source

Home - About - Disclaimer - Privacy