Results 181 to 190 of about 380,407 (196)

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

A qualitative description of the daily living functioning of people diagnosed with borderline personality disorder from consumer, carer and clinician perspectives. [PDF]

Aust Occup Ther J
Tepper D, Sellar B, Shipley S, Smith R, Murray CM.   +4 more
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

Do consumers and healthcare professionals report the same adverse event differently? A paired analysis of duplicate vaccine safety reports in Norway. [PDF]

Br J Clin Pharmacol
Dzus TE, Sarrage J, Samdal H, Montastruc F, Rocca E.   +4 more
europepmc   +1 more source

Circulating biomarkers improve prediction of postoperative outcome after aortic valve surgery. [PDF]

Front Cardiovasc Med
Demal TJ, Bialczak J, Goßling A, Ojeda FM, Bhadra OD, Sill B, Petersen J, Ludwig S, Grundmann D, Voigtländer L, Waldschmidt L, Hannen L, Schofer N, Blankenberg S, Kirchhof P, Renné T, Conradi L, Reichenspurner H, Girdauskas E, Schaefer A.   +19 more
europepmc   +1 more source

Young Women Diagnosed With Breast Cancer: Why Is No One Telling Me to Get a Mammogram? [PDF]

J Nurs Scholarsh
Jerome-D'Emilia B, Suplee P, Meyers E, Yoon-Flannery K.   +3 more
europepmc   +1 more source

Why Mexico has got fat

World Nutrition, 2012
Philip James
doaj