Results 191 to 200 of about 33,228 (257)

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

Binary choice games and arithmetical comprehension. [PDF]

Arch Math Log
Aguilera JP, Kouptchinsky T.
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

The relationship between growth mindset and mathematics achievement in Chinese middle school students: The role of achievement goals and grit. [PDF]

BMC Psychol
Dong J, Yang X, Yang X, Tan D, Wang K.
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

Two Routes to the Same Equation: Kinetic and Statistical-Thermodynamic Derivations of the Classical Drug-Receptor Occupancy Relationship. [PDF]

Cureus
Raffa RB.
europepmc   +1 more source

Adult Sex Ratio as a Demographic Feedback Linking Mating Systems, Parental Care, and Evolution

Advanced Science, EarlyView.
Breeding systems are some of the most diverse social behavior, and our team is investigation the evolutionary causes of this diversity. This review summarises our research carried out at the University of Bath. We argue that demographic components of wild populations, especially the adult sex ratio, plays a key role driving breeding system variation ...
Tamás Székely, Oscar G. Miranda
wiley   +1 more source

Multiscale modeling of T cell exhaustion: A mathematical framework integrating continuous dynamics with spatial heterogeneity. [PDF]

PLoS Comput Biol
Li C, Zhang Y, Liu X, Qu Y, Lai X, Lei J.   +5 more
europepmc   +1 more source

Electrolyte Additive Strategies in Aqueous Zn‐Ion Batteries: Recent Advances and Prospects

Advanced Science, EarlyView.
This article provides a comprehensive overview of the current status and future development directions of AZIBs electrolyte additives in three aspects: stabilizing zinc anodes (uniform deposition, inhibition of dendritic crystals), protecting cathodes (structural stability, inhibition of dissolution), and enhancing electrolyte stability (wider ...
Yuanze Yu, Hongmin Liu, Long Fan, Huakun Liu, Shixue Dou, Guoxiu Wang, Nana Wang, Zhongchao Bai   +7 more
wiley   +1 more source