A Perspective on Interactive Theorem Provers in Physics
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
Dual mediating effects of learning motivation and hope on the relationship between generative AI acceptance and learning engagement among Chinese college students: moderated mediation effect of self-directed learning. [PDF]
Zhang Y, Lee CS, Deng C, Liao X.
europepmc +1 more source
Solid Harmonic Wavelet Bispectrum for Image Analysis
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
Exploring the role of agentic AI in fostering self-efficacy, autonomy support, and self-learning motivation in higher education. [PDF]
Alqurni J.
europepmc +1 more source
Neural Fields for Highly Accelerated 2D Cine Phase Contrast MRI
ABSTRACT 2D cine phase contrast (CPC) MRI provides quantitative information on blood velocity and flow within the human vasculature. However, data acquisition is time‐consuming, motivating the reconstruction of the velocity field from undersampled measurements to reduce scan times. In this work, neural fields are proposed as a continuous spatiotemporal
Pablo Arratia +7 more
wiley +1 more source
An Exploratory Study of the Effects of a High School-University Collaborative Program on Learning Motivation and Professional Understanding among Students Aspiring to Enter Medical School. [PDF]
Ogawa T +5 more
europepmc +1 more source
An on‐demand ultra‐reconfigurable intelligent vision system with hierarchical reconfigurability from device to system levels is demonstrated. Through co‐design of a multi‐paradigm device, reconfigurable circuits, and adaptive system architecture/algorithms, the system enables seamless switching among spiking, non‐spiking, neuromorphic imaging (NI), and
Biyi Jiang +7 more
wiley +1 more source
Enhancing deep learning in AI-enhanced education: a dual mediation model of cognitive load and learning motivation through interaction quality. [PDF]
Dong L.
europepmc +1 more source
An Integrated NLP‐ML Framework for Property Prediction and Design of Steels
This study presents a data‐driven framework that uses language‐processing techniques to interpret steel processing descriptions and machine‐learning models to predict mechanical properties. By organising complex process histories into meaningful groups and enabling rapid property forecasts, the work supports faster, more informed steel design through ...
Kiran Devraju +5 more
wiley +1 more source
A gamified interactive E-book incorporating metacognitive self-regulation: effects on physics achievement, learning motivation, and metacognitive self-regulation ability in junior high school. [PDF]
Shao J, Tang S, Zhuang Z.
europepmc +1 more source

