Results 101 to 110 of about 2,185 (265)
Angewandte Chemie, EarlyView.Heterogeneous iron‐catalyzed environmentally benign and sustainable CH‐oxidative esterification methodology has been developed for the synthesis of esters. This challenging reaction has been achieved by the rational design of specific single atom iron‐based catalyst with Fe‐N4 active centers, which empowered the oxidative esterification of methyl and ...
Zhuang Ma +8 more
wiley +2 more sources
Advanced Intelligent Discovery, EarlyView.In this work, the Doubao large language model (LLM) is involved in the formula derivation processes for Hubbard U determination regarding the second‐order perturbations of the chemical potential. The core ML tool is optimized for physical domain knowledge, which is not limited to parameter prediction but rather serves as an interactive physical theory ...
Mingzi Sun +8 more
wiley +1 more source
, 1993 The aim of this paper is to discuss the motivation for a new general algebraic semantics for deductive systems, to introduce it, and to present an outline of its main features.
Font, Josep
core
A Completeness Proof for a Logic with an Alternative Necessity Operator
, 1997 International audienceWe show the completeness of a Hilbert-style system LK defined by M. Valiev involving the knowledge operator K dedicated to the reasoning with incomplete information.
Demri, Stéphane
core +1 more source
A Critical Assessment of Bonding Descriptors for Predicting Materials Properties
Advanced Intelligent Discovery, EarlyView.The impact of new bonding descriptors in machine learning models for predicting material properties is assessed. Improvements are validated using significance tests, and new, intuitive descriptors for screening lattice thermal conductivity and projected force constants are introduced.
Aakash Ashok Naik +6 more
wiley +1 more source
Cohomology and deformation of compatible Hom-Leibniz algebras
In this paper, we consider compatible Hom-Leibniz algebra where the Hom map twists the operations in the compatible system. We consider a suitably graded Lie algebra whose Maurer-Cartan elements characterize the structure of compatible Hom-Leibniz ...
Yadav, RB +2 more
core
Twisted Rota-Baxter operators on 3-Leibniz algebras and NS-3-Leibniz algebras
The purpose of this paper is to introduce the cohomology and deformations of twisted Rota-Baxter operators on 3-Leibniz algebras and NS-3-Leibniz algebras. We construct an $L_\infty$-algebra whose Maurer-Cartan elements are twisted Rota-Baxter operators, and we define the cohomology of a twisted Rota-Baxter operator.
openaire +2 more sources
Advanced Intelligent Systems, Volume 7, Issue 3, March 2025.The use of image quality metrics in combination with machine learning enables automatic image quality assessment for fluorescence microscopy images. The method can be integrated into the experimental pipeline for optical microscopy and utilized to classify artifacts in experimental images and to build quality rankings with a reference‐free approach ...
Elena Corbetta, Thomas Bocklitz
wiley +1 more source
A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS
, 2018 Abstract algebraic logic is a theory that provides general tools for the algebraic study of arbitrary propositional logics. According to this theory, every logic ${\cal L}$ is associated with a matrix semantics $Mo{d^{\rm{*}}}{\cal L}$. This article is a
TOMMASO MORASCHINI
core +1 more source
Cold Gas Plasma Induces Platelet Activation and Hemostasis in Native and Anticoagulated Human Blood
Advanced NanoBiomed Research, EarlyView.Cold physical gas plasma induces platelet activation and hemostatic responses in native and anticoagulated human blood. Treatment efficacy depends on plasma parameters, including gas composition, distance, and exposure mode, which govern reactive species delivery and energy transfer.
Sander Bekeschus +5 more
wiley +1 more source