Results 41 to 50 of about 255 (160)

Fixpointed Idempotent Uninorm (Based) Logics

Mathematics, 2019
Idempotent uninorms are simply defined by fixpointed negations. These uninorms, called here fixpointed idempotent uninorms, have been extensively studied because of their simplicity, whereas logics characterizing such uninorms have not.
Eunsuk Yang
doaj   +1 more source

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

Advanced 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, Mohit Chakraborty, Sai Mani Kumar Devathi, B. Pabitramohan Prusty, Rohit Batra   +4 more
wiley   +1 more source

Toward Predictable Nanomedicine: Current Forecasting Frameworks for Nanoparticle–Biology Interactions

Advanced Intelligent Discovery, EarlyView.
Predictive models successfully screen nanoparticles for toxicity and cellular uptake. Yet, complex biological dynamics and sparse, nonstandardized data limit their accuracy. The field urgently needs integrated artificial intelligence/machine learning, systems biology, and open‐access data protocols to bridge the gap between materials science and safe ...
Mariya L. Ivanova, Michael Nicholls, Nicola Russo, Gueorgui Mihaylov, Konstantin Nikolic   +4 more
wiley   +1 more source

Comparative Analysis of Model‐Agnostic Explanation Methods in Materials Science

Advanced Intelligent Systems, EarlyView.
To address the critical lack of explainable artificial intelligence (XAI) benchmarks in materials science, we present a quantitative and qualitative analysis of six XAI methods applied to molecular fingerprints. Our results reveal significant discrepancies in feature importance rankings, demonstrating that the chosen explanation approach introduces ...
Anna Przybyłowska, Joanna Neubauer, Monika Sztuder, Witold Taisner, Agnieszka Hryniewicka, Julia Kolodziejczyk, Marta Eliza Plonska‐Brzezinska, Dariusz Brzezinski   +7 more
wiley   +1 more source

Constructive Logic with Strong Negation as a Substructural Logic

Journal of Logic and Computation, 2008
Spinks and Veroff have shown that constructive logic with strong negation (CLSN for short), can be considered as a substructural logic. We use algebraic tools developed to study substructural logics to investigate some axiomatic extensions of CLSN. For instance, we prove that Nilpotent minimum logic is the extension of CLSN by the prelinearity axiom ...
Manuela Busaniche, Roberto Cignoli
openaire   +2 more sources

A Van Benthem Characterization Result for Distribution-Free Logics

Logics
This article contributes to recent results in the model theory of distribution-free logics (which include a Goldblatt-Thomason theorem and a development of their Sahlqvist theory) by lifting van Benthem’s characterization result for modal logic to the ...
Chrysafis Hartonas
doaj   +1 more source

Exploring the Boundaries of Aromaticity in Complex Structures and Excited States Through Computational Analysis

Chemistry – A European Journal, EarlyView.
Understanding aromaticity has evolved from benzene‐centric concepts to a broad multidimensional framework spanning organic, inorganic, and excited‐state systems. This review highlights ambiguities between magnetic, electronic, geometric, and energetic descriptors, emphasizing the need for unified, multi‐criteria approaches.
Sílvia Escayola, Miquel Solà, Albert Poater   +2 more
wiley   +1 more source

Hydrogen Release From Silicon─Hydrogen Systems: From Surface Chemistry to Higher‐Coordinate Molecular Mechanisms

Chemistry – A European Journal, EarlyView.
Hydrogen‐release processes in silicon chemistry occur across a broad spectrum of systems, including crystalline silicon surfaces, nanoporous materials, Zintl phases, and molecular hydrides. This Review highlights how Si─H activation and H2 evolution are governed by structure, coordination environment, and dynamic access to reactive geometries, with ...
Robin Rothfelder, Jonathan O. Bauer
wiley   +1 more source

A Substructural Epistemic Resource Logic [PDF]

, 2016
We present a substructural epistemic logic, based on Boolean BI, in which the epistemic modalities are parametrized on agents' local resources. The new modalities can be seen as generalizations of the usual epistemic modalities. The logic combines Boolean BI's resource semantics with epistemic agency.
Didier Galmiche, Pierre Kimmel, David J. Pym   +2 more
openaire   +1 more source

Extended routine lymphocyte immunophenotyping refines individual immune organization across a heterogeneous patient cohort

Cytometry Part B: Clinical Cytometry, EarlyView.
Abstract Routine TBNK immunophenotyping detects the major lymphocyte compartments but may underestimate the biologically relevant variation contributed by less frequent but well‐defined minor lymphocyte subsets. This study evaluated whether extending routine TBNK immunophenotyping with minor lymphocyte subsets provides complementary, analytically ...
Carlos Agustin Villegas Valverde, Yendry Ventura Carmenate, Vianed Marsan Suarez, Yandy Marx Castillo Aleman, Imilla Casado Hernandez, Rachely Hernandez Corrales   +5 more
wiley   +1 more source