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
The impact of university teachers' transformational leadership on students' social-emotional competence: the mediating role of teacher-student relationship and learning engagement with moderated by self-efficacy. [PDF]
Lin L, Wang C.
europepmc +1 more source
Dual Bipolar Resistive Switching in Wafer‐Scalable 2D Perovskite Oxide Nanosheets‐Based Memristor
A wafer‐scalable memristor based on 2D Sr2Nb3O₁₀ perovskite oxide nanosheets exhibits dual bipolar resistive switching through controllable oxygen ion migration and redox reactions. This single device enables both STDP and anti‐STDP synaptic functions, achieving 86.4% MNIST accuracy in supervised spiking neural networks, offering a compact, energy ...
Sohwi Kim +11 more
wiley +1 more source
The impact of digital health literacy on online learning engagement among undergraduate nursing students: the chain mediating roles of academic self-efficacy and future work self-salience. [PDF]
Liu Y +11 more
europepmc +1 more source
Microglial AXL drives white matter repair after stroke by orchestrating the cleanup of myelin debris. Mechanistically, AXL signals through EGR1 to boost Smpd1 transcription, regulating sphingolipid metabolism and preventing lipid droplet toxicity. Restoring the pathway with ASM therapy mitigates damage, positioning AXL as a key node for therapeutic ...
Junqiu Jia +13 more
wiley +1 more source
The relationship between social support and learning engagement among Chinese preschool teacher trainees: the chain mediating effect of psychological capital and professional identity. [PDF]
Zhang M, Wang G, Li L.
europepmc +1 more source
An ultralight, multilayer anisotropic tactile sensor—an artificial Pacinian corpuscle—exhibits ultrahigh tangential sensitivity (1022 kPa−1) and spatiotemporal sensing. It discriminates static, sliding, and rolling contacts, detects incipient stick–slip via high‑frequency signatures, and enhances robotic touch (100%/98.18% accuracy for active/passive ...
Jinghui Wang +12 more
wiley +1 more source
What are the influencing factors of online learning engagement? A systematic literature review. [PDF]
Hu J, Xiao W.
europepmc +1 more source
NK Cell Activation by Platinum Boosts Immunotherapy in HR+/HER2− Breast Cancer
Multi‐omics and single‐cell analyses identify activated NK cells as key mediators of anti‐PD‐(L)1 response in HR+/HER2− breast cancer. Platinum chemotherapy enhances NK cell cytotoxicity through NF‐κB–associated signaling, synergizing with immunotherapy and providing a rationale for combination treatment.
Yi‐Yu Chen +8 more
wiley +1 more source
Relationship between future time perspective and academic self-efficacy: the chain mediating roles of personal growth initiative and learning engagement. [PDF]
Zhu XY, Chen SM, Lyu H.
europepmc +1 more source

