Results 91 to 100 of about 75,354 (217)

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

The utility of the <i>Attitudes Toward Mathematics Inventory</i>-<i>Short Form for Children</i> for assessing attitudes toward mathematics in primary school children. [PDF]

Front Psychol
Di Leonardo L, Donati MA, Vehkalahti K, Primi C.   +3 more
europepmc   +1 more source

Number Theory and the Queen of Mathematics

The Mathematics Enthusiast, 2012
openaire   +2 more sources

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

A comparative framework for convergence analysis of perturbation series techniques in nonlinear fractional quadratic differential equations. [PDF]

PLoS One
Hashim DJ.
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

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

Simulation based new method for population variance using auxiliary information. [PDF]

Sci Rep
Ahmadini AAH, Semary HE, Ahmad S, Ullah K, Zahid E, Al-Moisheer AS.   +5 more
europepmc   +1 more source

Photon‐Sphere Modes in Curved Optical Microcavities: A Black‐Hole Analogue Laser

Advanced Science, EarlyView.
An optical analogue of a Schwarzschild black hole is realized using curved microcavities that preserve light‐like geodesics. A new family of laser modes confined around the photon sphere is identified alongside conventional whispering‐gallery modes. Analytical theory, numerical simulations, and experiments reveal curvature‐induced confinement, enabling
Chenni Xu, Aswathy Sundaresan, Nazire‐Begüm Kazkal, Clement Lafargue, Lior Zarfaty, Li‐Gang Wang, Ofek Birnholtz, Dominique Decanini, Melanie Lebental, Patrick Sebbah   +9 more
wiley   +1 more source

Reliability analysis of horseshoe tunnels by radial-based importance sampling method based on complex function displacement solution. [PDF]

PLoS One
Rong Y, Liu Q, Sun Y, Chen X, Zhang X, Li S.   +5 more
europepmc   +1 more source