Results 261 to 270 of about 733,243 (331)

Nanoelectromechanical graphene switches for the multi-valued logic systems

Nanotechnology, 2019
Graphene based multi-valued nanoelectromechanical switches are suggested and demonstrated. The device structure having multiple contact sites with different heights under the doubly clamped suspended beam provides multiple contacts to be formed ...
D. Shin, Hakseong Kim, Sang Wook Lee
semanticscholar   +1 more source

Meanings in Multi-valued Logics

Philosophy of Science, 1941
The aim of this contribution is to trace the transformation of the meanings of certain terms as the order of the logics in which they appear is raised. By “order of the logic” we simply refer to the number of truth-values characterizing the logic, so that if the number of truth values shows symptoms of traveling to infinity we may speak of the goal as ...
openaire   +2 more sources

A Novel Multi-Valued Logic QAM

2006 2nd International Conference on Information & Communication Technologies, 2006
This paper proposes a novel Ternary QAM (TQAM), which is new concept in communication. The proposed model minimizes the number of characters per symbol; hence results in a better signal-to-noise ratio (SNR) and bit error rate (BER). For this purpose a new generation of constellation diagrams is proposed leading to new methods of modulating transmitted ...
A.M. Haidar, S. Ghabboura, N. Ahdab
openaire   +1 more source

Factorization of multi-valued logic functions

Proceedings 25th International Symposium on Multiple-Valued Logic, 2002
The paper describes an approach to factorization of multi valued logic (MVL) functions. The key concept is to formulate the problem as a rectangular covering problem. First, we develop an MVL algebraic factorization algorithm. Then, by incorporating two MVL Boolean properties: "identical" and "complementary", we further improve the purely algebraic ...
null Hui Min Wang, null Chung Len Lee, J.E. Chen   +2 more
openaire   +1 more source

Multi-Valued Logics

1998
It is almost a safe bet to assume that most students, after receiving the first rudiments of Boolean calculus, wonder: “Why not more than two truth-values?” This question is both natural and vague; attempts to give an answer originated a lot of logical systems.
openaire   +2 more sources

From Multi-valued Logics to Fuzzy Logic

2016
When, in February 2008, I visited the European Centre for Soft Computing (ECSC) in Mieres Asturias, Spain, for the first time to give a talk, I stayed for about a week. It was Enric Trillas who extended the invitation, and it was Claudio Moraga who made my first weekend in Asturias—this then unknown and foreign landscape—enjoyable.
openaire   +1 more source

Verification of multi-valued logic networks

Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96), 2002
A method for verification of Multi-Valued Logic Networks (MVLNs) using Ordered Multi-Valued Decision Diagrams (OMDDs) is presented. For tree-like MVLNs an upper bound on the OMDD size can be proven. Thus, heuristics known for OBDDs can also be used for OMDDs. A large set of experiments is presented that underlines the efficiency of the approach.
openaire   +1 more source

Model Checking with Multi-valued Logics

2004
In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorithms for multi-valued model checking. We first show how to reduce multi-valued model checking with any distributive DeMorgan lattice to standard, two-valued model checking.
Glenn Bruns, Patrice Godefroid
openaire   +1 more source

Transparent truth-value predicates in multi-valued logics

Logique et Analyse, 2019
Summary: The paper defines truth-value assignment predicates \(T_i (\hat{\varphi}) \) in multi-valued logics, generalising the classical truth-predicate \(T (\hat{\varphi}) \) The meaning of this redicate is that \(\varphi\) has the truth-value \(v_i\).
FRANCEZ, Nissim, KAMINSKI, Michael
openaire   +1 more source

Two-dimensional materials based on negative differential transconductance and negative differential resistance for the application of multi-valued logic circuit: a review

Carbon letters, 2022
B. Murugan, Sang Yeol Lee
semanticscholar   +1 more source