Results 51 to 60 of about 1,395,634 (216)

Boolean-valued second-order logic

, 2015
In so-called full second-order logic, the second-order variables range over all subsets and relations of the domain in question. In so-called Henkin second-order logic, every model is endowed with a set of subsets and relations which will serve as the ...
Väänänen, J., Ikegami, D.
core   +1 more source

Physics‐Grounded Materials Artificial Intelligence for Reliable Materials Discovery

Advanced Functional Materials, EarlyView.
Physics‐Grounded Materials AI (PhysMat AI) integrates physical priors, descriptors, constraints, verification, and data infrastructure into a unified full‐stack framework, enabling reliable, interpretable, and autonomous AI‐driven materials discovery.
Yuhang Wang, Qian Wang, Seong‐Hoon Jang, Hao Li   +3 more
wiley   +1 more source

Architecture‐Driven Functional Coupling in Vertically Aligned Nanocomposites

Advanced Functional Materials, EarlyView.
Vertically aligned nanocomposites define a growth‐engineered architecture in which vertical interfaces, strain fields, defect pathways, and phase connectivity are created simultaneously. This review shows how these architectural features couple ferroic, optical, ionic, electrochemical, and device responses, establishing design rules and open challenges
Md Shatil Islam‐Shanto, Javier Zamudio‐García, Abraham Sánchez‐Caballero, David Marrero‐López, Vincenzo Esposito   +4 more
wiley   +1 more source

Paraconsistent Many-Valued Logic in GUHA Framework

, 2018
The primary aim of this paper is to establish a formal connection between a particular many-valued paraconsistent logic and the logic of a KDD method, namely the GUHA data mining method by introducing a new quantifier called Paraconsistent Separation ...
Esko Turunen
core   +1 more source

Covalent Functionalization of 2D Semiconductors: A Roadmap to Advanced Electronic Devices

Advanced Functional Materials, EarlyView.
This Review presents recent advances in the covalent functionalization strategies for two‐dimensional semiconductors and their implementation in modern technologies. Layered materials are modified through diverse molecular chemistries (e.g., thiols, diazonium salts, alkyl halides, and electron‐deficient species) to tailor their surface properties ...
Ramiro Quirós‐Ovies, Bin Han, Paolo Samorì   +2 more
wiley   +1 more source

Linear Abelian Modal Logic

Bulletin of the Section of Logic
A many-valued modal logic, called linear abelian modal logic \(\rm {\mathbf{LK(A)}}\) is introduced as an extension of the abelian modal logic \(\rm \mathbf{K(A)}\). Abelian modal logic \(\rm \mathbf{K(A)}\) is the minimal modal extension of the logic of
Hamzeh Mohammadi
doaj   +1 more source

An Introduction to Partition Logic [PDF]

, 2013
Classical logic is usually interpreted as the logic of propositions. But from Boole's original development up to modern categorical logic, there has always been the alternative interpretation of classical logic as the logic of subsets of any given ...
Ellerman, David
core   +1 more source

Structure‐Guided Balancing of Ambipolar Transport Enables Symmetric Switching in Heterojunction Bilayer Organic Transistor Inverters

Advanced Functional Materials, EarlyView.
Balancing the spatially separated p‐ and n‐type transport pathways in heterojunction‐bilayer OTFTs enables symmetric inverter switching (VM ≈ 0.5VDD), whereas discrete integration of unipolar OTFTs gives polarity‐dependent and resistive responses. ABSTRACT High inverter performance in ambipolar organic electronics requires balanced channel strengths ...
Sohyun Choi, Young Yong Kim, Ji Ho Youk, Hoichang Yang   +3 more
wiley   +1 more source

Nitride MXenes Beyond Carbides: Bridging the Gap Between Computational Prediction and Experimental Realization

Advanced Functional Materials, EarlyView.
Nitride MXenes remain constrained by a persistent gap between computational prediction and experimental realization. This Review identifies the thermodynamic, kinetic, and chemical barriers limiting their synthesis, critically evaluates emerging fabrication routes, and proposes a multidimensional computational‐experimental framework to accelerate the ...
Naresh Varnakavi, Masoud Soroush
wiley   +1 more source

Azobenzene's Cross‐Scale Optics and Photonics: Molecular Photoswitching, Mesoscopic Material Motions, and Adaptive Devices

Advanced Materials, EarlyView.
Azobenzene photoswitches translate molecular‐scale E/Z photoisomerization into macroscopic material responses and device‐level photonic functions. This Review highlights how azobenzene research has evolved from molecular photochemistry to photoalignment, mass migration, photomechanics, and heat release, ultimately enabling holography, reconfigurable ...
Heeju Son, Soyul Kwak, Heerin Noh, Minsang Kim, Doyeon Noh, Subhayan Chakraborty, Jaewon Lee, YongDeok Cho, Kyeongsoo Kim, Taewoong Eom, Moonyoung Kim, Jangwon Kim, Hoyoung Lee, Soyoung Lee, Jaehun Kim, Grace G. D. Han, Shin‐Tson Wu, Stefano Oscurato, Arri Priimagi, Marina Saphiannikova, Seungwoo Lee   +20 more
wiley   +1 more source