Results 231 to 240 of about 605,904 (310)

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

Respiratory‐Limbic Coupling via a Thalamic Circuit Alleviates Anxiety

open access: yesAdvanced Science, EarlyView.
This study delineates a conserved preBötCGlu→PVT→CeA circuit that gates anxiety and respiration. Activation of this circuit is anxiolytic and respiratory‐stabilizing, while its inhibition has the opposite effect. Mechanistically, PVT exerts its anxiolytic action via a disinhibitory microcircuit: its inputs preferentially target CeL GABAergic neurons ...
Shangyu Bi   +15 more
wiley   +1 more source

Transparent Transfer‐Free Ultrasmall Multilayer Graphene Microelectrodes Enable High Quality Recordings in Brain Slices

open access: yesAdvanced Science, EarlyView.
A transfer‐free fabrication method enables multilayer graphene microelectrodes as small as 10 µm, eliminating reliability issues of manual graphene transfer. These electrodes record neural activity in brain slices with exceptional signal‐to‐noise ratios (up to 25–40 dB) while maintaining optical transparency for multimodal applications.
Nerea de Alvarez de Eulate   +7 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