Results 251 to 260 of about 159,993 (313)

A Perspective on Interactive Theorem Provers in Physics

open access: yesAdvanced 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

From Pores to Pavement: Advanced Modeling of Aluminosilicates for Scalable Carbon Capture in Concrete

open access: yesAdvanced 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   +4 more
wiley   +1 more source

Stigmergy: from mathematical modelling to control. [PDF]

open access: yesR Soc Open Sci
Boldini A, Civitella M, Porfiri M.
europepmc   +1 more source

Solid Harmonic Wavelet Bispectrum for Image Analysis

open access: yesAdvanced 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

Using mathematical modelling and AI to improve delivery and efficacy of therapies in cancer. [PDF]

open access: yesNat Rev Cancer
Harkos C   +5 more
europepmc   +1 more source

Potential impact, costs, and benefits of population-wide screening interventions for tuberculosis in Viet Nam: A mathematical modelling study. [PDF]

open access: yesPLOS Glob Public Health
Schwalb A   +15 more
europepmc   +1 more source

Optimizing the Composition of Geopolymer Composites Incorporating Secondary Aluminium Industry By-Products Using Mathematical Modelling. [PDF]

open access: yesMaterials (Basel)
Sharko A   +8 more
europepmc   +1 more source

Home - About - Disclaimer - Privacy