Results 71 to 80 of about 1,604 (278)
Machine Learning for Green Solvents: Assessment, Selection and Substitution
Environmental regulations have intensified demand for green solvents, but discovery is limited by Solvent Selection Guides (SSGs) that quantify solvent sustainability. Training a machine learning model on GlaxoSmithKline SSG, a database of sustainability metrics for 10,189 solvents, GreenSolventDB is developed. Integrated with Hansen solubility metrics,
Rohan Datta +4 more
wiley +1 more source
Introduction: The Three Foundational Programmes [PDF]
The period in the foundations of mathematics that started in 1879 with the publication of Frege's Begriffsschrift and ended in 1931 with Gödel's Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I can reasonably be called
Palmgren, Erik +3 more
core +1 more source
Nitrosyl heme emerges as an extracellular nitrodilator that dilates arteries without crossing the cell membrane. Instead, heme‐NO mobilizes NO moieties from a preformed intracellular NO store within vascular smooth muscle, providing both functional and chemical evidence for the NANOS model, revealing a previously unrecognized mechanism of arterial ...
Taiming Liu +9 more
wiley +1 more source
Examination of Michael Dummett’s Anti-Realism and Verificationist Approach
Anti-realism was first introduced by Michael Dummett, the contemporary analytic philosopher. He has always preferred to discuss about statements and assertions (instead of entities), such as statements in the past tense, statements about the physical ...
A. Hossein Khani
doaj
Sustainable Materials Design With Multi‐Modal Artificial Intelligence
Critical mineral scarcity, high embodied carbon, and persistent pollution from materials processing intensify the need for sustainable materials design. This review frames the problem as multi‐objective optimization under heterogeneous, high‐dimensional evidence and highlights multi‐modal AI as an enabling pathway.
Tianyi Xu +8 more
wiley +1 more source
The paper begins with an account of the intellectual background to Henry Sidgwick’s writing of his Methods of Ethics and an analysis of what Sidgwick meant by a ‘method’.
Roger Crisp
doaj +1 more source
Intuitionism, Practical Reasoning and Defeasibility [PDF]
This text considers the contributions that cognitive sciences can make to the study of legal reasoning, distinguishing between descriptive, conceptual and normative impacts.
González Lagier, Daniel
core
ABSTRACT Methane's efficient catalytic removal is vital for sustainable development. Bimetallic catalysts, though promising for methane activation, pose a design challenge due to their complex compositional space. This work introduces an integrated framework that combines high‐throughput density functional theory (DFT) and interpretable machine ...
Mingzhang Pan +8 more
wiley +1 more source
Interpretable machine learning reveals how composition and processing govern the formation and microstructural burden of Fe‐rich intermetallic compounds in recycled Al–Si–Fe–Mn alloys. By separating morphology selection from morphology‐conditioned burden partitioning, this framework shows that identical Fe contents can yield different intermetallic ...
Jaemin Wang +2 more
wiley +1 more source
Intuitionism in mathematics [PDF]
In this article, we survey intuitionism as a philosophy of mathematics, with emphasis on the philosophical views endorsed by Brouwer, Heyting, and Dummett. Before we proceed, however, a few general remark are in order. We must stress that intuitionism is
Bentzen, Bruno
core +3 more sources

