Results 171 to 180 of about 3,047,766 (352)
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
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 +3 more
wiley +1 more source
, 2005 In this paper we briefly outline the models and modeling (M&M) perspective of mathematical thinking and learning relevant for the 21st century. Models and modeling (M&M) research often investigates the nature of understandings and abilities that are ...
Lesh, Richard, English, Lyn D.
core
Inviting Teachers to Use Educational Robotics to Foster Mathematical Problem-Solving
, 2019 We have developed three lessons supported by the principles of inquiry-based learning (IBL) and problem-based learning (PBL) in educational robotics with the aim of steering and emphasising the mathematics aspects of the curriculum and the role of ...
Estivill-Castro, V +1 more
core +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 +7 more
wiley +1 more source
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 +11 more
wiley +1 more source
, 2009 The purpose of the book is to use Delphi as a vehicle to introduce some fundamental algorithms and to illustrate several mathematical and problem-solving techniques.
Sugden, Stephen John
core
On Determination Method for Resolution of Secondary Electron Images in Scanning Electron Microscopy
Advanced Science, EarlyView.An idealized SEM, termed Rayleigh's microscope, is constructed by Monte Carlo simulation to represent imaging conditions that just satisfy the Rayleigh criterion. Based on this physically defined model, sharpness–resolution conversion curves are established and combined with the Rose criterion, enabling automated resolution evaluation from practical ...
Tongfang Yang, Yanbo Zou, Zejun Ding
wiley +1 more source
Gender Differences in Visuospatial Abilities and Complex Mathematical Problem Solving. [PDF]
Front Psychol, 2020 Ramírez-Uclés IM, Ramírez-Uclés R.
europepmc +1 more source
Neural Fields for Highly Accelerated 2D Cine Phase Contrast MRI
Advanced Science, EarlyView.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