Results 81 to 90 of about 2,407 (170)

A Perspective on Interactive Theorem Provers in Physics

Advanced 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

Cognitive Maps in the Prefrontal Cortex. [PDF]

J Neurosci
Veselic S, Gutierrez E, El-Gaby M, Reinert S, Sablé-Meyer M.   +4 more
europepmc   +1 more source

Solid Harmonic Wavelet Bispectrum for Image Analysis

Advanced 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, Mathilda Avirett‐Mackenzie, Carolin Villforth, Georgios Exarchakis   +3 more
wiley   +1 more source

Planning in the Brain: It's Not What You Think It Is. [PDF]

Annu Rev Neurosci
Mattar MG, Daw ND.
europepmc   +1 more source

Physical Origin of Temperature Induced Activation Energy Switching in Electrically Conductive Cement

Advanced Science, EarlyView.
The temperature‐induced Arrhenius activation energy switching phenomenon of electrical conduction in electrically conductive cement originates from structural degradation within the biphasic ionic‐electronic conduction architecture and shows percolation‐governed characteristics: pore network opening dominates the low‐percolation regime with downward ...
Jiacheng Zhang, Xinyuan Ke, Andrew Heath, Richard J. Ball, Jiawei Xie, Jinchen Fan, Guisheng Li, Kevin Paine   +7 more
wiley   +1 more source

Addressing Power in Local-Level Policies and Programs to Reduce Health Inequities - A Systematic Review. [PDF]

Int J Soc Determinants Health Health Serv
Schultz S, Barrow A, Friel S, Zorbas C, Peeters A, Backholer K.   +5 more
europepmc   +1 more source

Perspective: Hollow Core Optical Fibres for Ultraviolet and Visible Wavelengths

Advanced Science, EarlyView.
Hollow core optical fibres bypass material constraints that limit optical fibres at ultraviolet and visible wavelengths. However, their challenging fabrication has limited their development, and significant gains in performance remain possible. In this perspective we outline approaches to enable the next generation of fibres for shorter wavelengths ...
Robbie Mears, Kerrianne Harrington, Jonathan C. Knight, William J. Wadsworth, James M. Stone, Tim A. Birks   +5 more
wiley   +1 more source

Nonlinear SPDEs and Maximal Regularity: An Extended Survey. [PDF]

Nonlinear Differ Equ Appl
Agresti A, Veraar M.
europepmc   +1 more source

Photonic Time Crystals and Time‐Varying Electromagnetic Metamatter: A New Direction for Ultrafast Tunable Photonic and Microwave Materials and Devices

Advanced Science, EarlyView.
Photonic time crystals (PTCs) are systems in which electromagnetic parameters are modulated periodically in time, producing momentum bandgaps via temporal scattering rather than spatial Bragg processes. This review examines the theoretical frameworks, modeling, and computational tools for time‐varying media, and summarizes experimental demonstrations ...
Ranjan Kumar Patel, Shriram Ramanathan, Ronald P. Jenkins, Michael J. Carter   +3 more
wiley   +1 more source

Biology Needs Philosophy, But What Philosophy? [PDF]

Bioscience
DiFrisco J, Orzack SH.
europepmc   +1 more source