Results 171 to 180 of about 82,497 (249)

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 mathematical framework for modelling the dynamic nature of ADHD symptoms. [PDF]

Front Psychiatry
Adamou M, Kehagias A, Antoniou G.
europepmc   +1 more source

From Pores to Pavement: Advanced Modeling of Aluminosilicates for Scalable Carbon Capture in Concrete

Advanced Science, EarlyView.
This study presents a transferable modeling framework for carbon capture using aluminosilicates, integrating Universal Isotherm Modeling with experimental data. It reveals how ultramicropores, alumina content, and amine functionalization influence CO2 adsorption energetics.
Pooja Anil Kumar Nair, Jéssica de O. N. Ribeiro, Murilo Daniel de Mello Innocentini, Kevin Paine, Juliana Calabria‐Holley   +4 more
wiley   +1 more source

YOLO-BP for detection of multi-scale and high intra-class variation electrode cap defects in resistance spot welding. [PDF]

PLoS One
Zhao X, Leong SH, Lee BY, Mutalib S, Qiu B, Lyu M, Zuo Z.   +6 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

The effect of finding relationships, using variables, drawing diagrams and simplification strategies on the development of formulating skills. [PDF]

Front Psychol
Temel H.
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

Bio-inspired unified model for representing geometric relations in robotic perception. [PDF]

Sci Rep
Yi Y, Zhuo W, Huifeng W, Danfeng S, Simon R.   +4 more
europepmc   +1 more source

Diversity of Pharmaceuticals Enhances Antibiotic Resistance in the Invertebrate Gut via Biofilm‐Mediated Mechanisms

Advanced Science, EarlyView.
Pharmaceutical diversity acts as an independent driver of antibiotic resistance in soil invertebrates. While bulk soil remains unaffected, the collembolan gut microbiome exhibits significant resistance gene enrichment under complex chemical exposure and diurnal warming.
Yi‐Fei Wang, Ya‐Ning Wang, Da Lin, Jia‐Yang Xu, Feng‐Yuan Qi, Hui‐Ling Cui, Hui‐Jie Lu, Min Qiao, Edward Topp, Dong Zhu, Matthias C. Rillig, Yong‐Guan Zhu   +11 more
wiley   +1 more source