Results 161 to 170 of about 232,146 (263)

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

Integrating Machine Learning With Constant‐Potential Simulation to Unravel Charge‐Transfer Mechanisms in Electrochemical Nitrogen Fixation

open access: yesAdvanced Science, EarlyView.
Integrating interpretable machine learning with the fixed‐potential method reveals a novel mechanism: the catalytic activity of the electrochemical nitrogen reduction reaction is governed by partial charge transfer, induced by variations in the intermediate potential of zero charge under constant potential.
Yufei Xue   +6 more
wiley   +1 more source

Trends, collaboration, and impact of scientific research on the Mediterranean diet during pregnancy. [PDF]

open access: yesJ Educ Health Promot
Barja-Ore J   +5 more
europepmc   +1 more source

Automated Extraction of Multicomponent Alloy Data Using Large Language Models for Sustainable Design

open access: yesAdvanced Science, EarlyView.
A large language model (LLM) based pipeline is developed to automatically extract a comprehensive and accurate multicomponent alloy database from literature corpus. The extracted dataset is integrated with sustainability indicators to identify potential alloys that outperform existing industrial benchmark materials in terms of both performance and ...
Aravindan Kamatchi Sundaram   +4 more
wiley   +1 more source

Home - About - Disclaimer - Privacy