Results 111 to 120 of about 817,699 (342)
Computing multiple-valued logic programs [PDF]
, 1997 The logic of signed formula can be used to reason about a wide variety of multiple-valued logics \cite{hah94,lmr96}. The formal theoretical foundation of multiple-valued logic programming based on signed formulas is set forth in \cite{lu96}.
Lu, James J. +2 more
core +3 more sources
Time complexity analysis of generalized decomposition algorithm [PDF]
, 1997 The time complexity of the fast algorithm for generalized disjunctive decomposition of an rvalued function is studied.The considered algorithm to find the best decomposition is based on the analysis of multiple-terminal multiple-valued decision diagrams.
Pshibytko, V, Kalganova, T
core
, 2003 Devices that combine single-electron and metal-oxide-semiconductor (MOS) transistors are newly proposed as basic components of multiple-valued (MV) logic, such as a universal literal gate and a quantizer. We verified their operation using single-electron
H. Inokawa, A. Fujiwara, Yasuo Takahashi
semanticscholar +1 more source
Atomistic Mechanisms Triggered by Joule Heating Effects in Metallic Cu‐Bi Nanowires for Spintronics
Advanced Materials, EarlyView.Bi doped metallic Cu nanowires are promising for spintronics thanks to the stabilization of a giant spin Hall effect. However, heat resulting from current injection forces Bi to leave solution, forcing segregation into monoatomic decorations which evolve into coherent crystalline aggregates.
Alejandra Guedeja‐Marrón +6 more
wiley +1 more source
Charge transfer mechanism for realization of double negative differential transconductance
npj 2D Materials and ApplicationsWith development of information age, multi-valued logic (MVL) technology utilizing negative differential transconductance (NDT) phenomenon has drawn attention as next-generation computing technology that can replace binary logic.
Kyu Hyun Han +5 more
doaj +1 more source
In the labyrinth of many-valued logics [PDF]
, 1983 The paper contains a wide report (based on more than 70 reviewed items) of technical, philosophical and applications questions concerning multiple-valued and fuzzy logics, and, more in general, concerning the debate about the relevance and the ...
S. TERMINI +2 more
core
Evaluation and Comparison of Threshold Logic Gates [PDF]
, 2007 The threshold logic has a long history of more than 60 years. Many implementations have been proposed during the last decades. In this paper, we make a survey of most interesting implementations of capacitive, conductance/current and differential ...
Elena Dubrova +3 more
core +1 more source
Advanced Materials, EarlyView.Ordered three‐dimensional anodic aluminum oxide (3D‐AAO) nanoarchitectures with longitudinal and transverse pores enable architecture‐driven metamaterials. The review maps fabrication advances, including hybrid pulse anodization, and shows how 3D‐AAO templates tailor properties across magnetism, energy, catalysis, and sensing.
Marisol Martín‐González
wiley +1 more source
Normal Forms for the One-Variable Fragment of Hájek's Basic Logic [PDF]
, 2005 The variety of BL-algebras constitutes the algebraic semantic counterpart of Hajek's Basic Logic BL, that is, the infinite-valued logic of all continuous t-norms and their residua.
Stefano Aguzzoli, Brunella Gerla
core +1 more source
Advanced Materials, EarlyView.Drawing inspiration from the layered hard‐soft architecture found in sea sponges, this work establishes a new framework for architected cementitious composites (ACC) through multi‐material additive manufacturing (MMAM) process. The integration of mortar and elastomer phases into layered architectures enables synergistic toughening mechanisms, including
Aimane Najmeddine +5 more
wiley +1 more source