Results 21 to 30 of about 733,243 (331)
An extrinsic function-level evolvable hardware approach [PDF]
, 2000 The function level evolvable hardware approach to synthesize the combinational multiple-valued and binary logic functions is proposed in first time. The new representation of logic gate in extrinsic EHW allows us to describe behaviour of any multi-input
Kalganova, T
core +3 more sources
Logiques dialogiques ‘multivalentes’
Philosophia Scientiæ, 2004 Aim of this paper is to show how so-called multi-valued logics can be formulated within the framework of Dialogical Logic. In order to formulate the particle rules for multi-valued logics the concept of different assertion modes is introduced.
Helge Rückert
doaj +1 more source
Multi-valued Logic Gates for Quantum Computation [PDF]
, 2000 We develop a multi-valued logic for quantum computing for use in multi-level quantum systems, and discuss the practical advantages of this approach for scaling up a quantum computer.
A. Barenco +17 more
core +2 more sources
Efficient Multi-Valued Bounded Model Checking for LTL over Quasi-Boolean Algebras [PDF]
, 2012 Multi-valued Model Checking extends classical, two-valued model checking to multi-valued logic such as Quasi-Boolean logic. The added expressivity is useful in dealing with such concepts as incompleteness and uncertainty in target systems, while it comes
Andrade Jefferson O. +2 more
core +1 more source
MATEC Web of Conferences, 2016 Multiple-valued logic is an important branch of the computer science and technology. Multiple-valued logic studies the theory, multiple-valued circuit & multiple-valued system, and the applications of multiple-valued logic included.In the theory of ...
Liu Yu Zhen +3 more
doaj +1 more source
Applications of Multi-Valued Quantum Algorithms [PDF]
, 2007 This paper generalizes both the binary Deutsch-Jozsa and Grover algorithms to $n$-valued logic using the quantum Fourier transform. Our extended Deutsch-Jozsa algorithm is not only able to distinguish between constant and balanced Boolean functions in a ...
Fan, Yale
core +1 more source
On Stability of Multi-Valued Nonlinear Feedback Shift Registers
Complexity, 2019 Nonlinear feedback shift registers (NFSRs) are the main building blocks in many convolutional decoders, and a stable NFSR can limit decoding error propagation.
Haiyan Wang +7 more
doaj +1 more source
Comments on “High-Performance and Energy-Efficient CNFET-Based Designs for Ternary Logic Circuits”
IEEE Access, 2020 In the above article [1], R. A. Jaber et al. present the designs of ternary logic circuits based on CNTFET technology. The motivation for designing ternary gates is based on the following assumption quoted in the abstract: “Moreover, multi-valued ...
Daniel Etiemble
doaj +1 more source
Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic
International Journal of Computational Intelligence Systems, 2018 Due to the need of the logical foundation for uncertain information processing, development of efficient automated reasoning system based on non-classical logics is always an active research area.
Yang Xu +4 more
doaj +1 more source
ITM Web of Conferences, 2017 An elaborated digital computer programme supporting the time-consuming process of selecting the importance rank of construction and operation parameters by means of stating optimum sets is based on the Quine – McCluskey algorithm of minimizing individual
Tiszbierek Agnieszka
doaj +1 more source