Results 221 to 230 of about 103,710 (292)

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

A multilevel hierarchical framework for quantification of experimental heterogeneity in population snapshot data. [PDF]

PLoS Comput Biol
Warne DJ, Zhu X, Steele TP, Johnston ST, Sisson SA, Faria M, Murphy RJ, Browning AP.   +7 more
europepmc   +1 more source

Section of the Mathematical, Physical and Chemical Sciences [PDF]

Science, 1902
openaire   +2 more sources

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

Geometric and singularities insights of swept surfaces via the Bishop frame in Euclidean 3-Space. [PDF]

PLoS One
Mofarreh F, Abdel-Baky R, Alsahli M.
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

An RVFLNs ensemble modeling method integrating PCA and PSO: Application to yield prediction of Nongxiang Baijiu. [PDF]

PLoS One
Han Q, Xu Y, Zhang S, Deng Q, Deng L, Zhang L, Qin H, Zhao J, Liu B.   +8 more
europepmc   +1 more source

Displacive In‐Plane Ferroelectricity with Domain‐Specific Curie Temperature in Van der Waals Semiconductors

Advanced Science, EarlyView.
Temperature‐dependent electron diffraction on tin monochalcogenides demonstrates a gradual displacive transformation between ferroelectric and paraelectric phases with significant variability in lattice constants and Curie temperature (TC). Periodic variations exist even between domains in individual crystals, implying a domain‐specific Curie ...
Peter Sutter, Eli Sutter
wiley   +1 more source

Hybrid expansion methods for fractional non-linear mathematical systems with Erdelyi-Kober derivative operators in theory of tsunami wave modeling. [PDF]

Sci Rep
Damag FH, Saif A, Alshammari M, Alhubairah F, Alshammari MF, Alsharafi MS.   +5 more
europepmc   +1 more source