Results 91 to 100 of about 319,002 (205)
Computing multiple-valued logic programs
Mathware & soft computing, 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}. The current paper is an investigation into the operational semantics of such signed logic programming.
Lu, James +2 more
openaire +3 more sources
Evolving more efficient digital circuits by allowing circuit layout evolution and multi-objective fitness [PDF]
, 1999 We use evolutionary search to design combinational logic circuits. The technique is based on evolving the functionality and connectivity of a rectangular array of logic cells whose dimension is defined by the circuit layout.
Kalganova, T, Miller, J
core +1 more source
IEEE AccessMultiple-valued logics (MVL) have abundant operation functions which can be used for encryption. A reconfigurable MVL operator can perform all MVL functions with a universal circuit structure at fast operation speed, based on which a one-time-pad ...
Xinyu Zhou +5 more
doaj +1 more source
Eigenlogic: a Quantum View for Multiple-Valued and Fuzzy Systems
, 2016 We propose a matrix model for two- and many-valued logic using families of observables in Hilbert space, the eigenvalues give the truth values of logical propositions where the atomic input proposition cases are represented by the respective eigenvectors.
D Aerts +10 more
core +4 more sources
Research progress of adulteration identification indexes for camellia seed oil
Shipin yu jixieCamellia seed oil, valued for its nutritional and economic benefits, is frequently adulterated with lower-grade oils. Additionally, its quality is influenced by multiple factors, including cultivar, geographical origin, and extraction techniques.
ZHANG Xiaofei, PENG Xinyan
doaj +1 more source
Genetic Synthesis of New Reversible/Quantum Ternary Comparator
Advances in Electrical and Computer Engineering, 2015 Methods of quantum/reversible logic synthesis are based on the use of the binary nature of quantum computing. However, multiple-valued logic is a promising choice for future quantum computer technology due to a number of advantages over binary circuits.
DEIBUK, V., BILOSHYTSKYI, A.
doaj +1 more source
TeDDy: Templated decision diagram library
SoftwareXDiscrete functions are an integral part of numerous areas of research in mathematics and computer science. Efficient processing of such functions in a computer requires an appropriate representation.
Michal Mrena +2 more
doaj +1 more source
Доклады Белорусского государственного университета информатики и радиоэлектроники, 2019 This paper describes new applying of Multiple-Valued Logic for estimation of the factors affecting the operation of socio-economic systems, the example of the process of registration of enrollees for state exams by building structure function.
I. V. Kovalenko, S. A. Pottosina
doaj
Data types over multiple-valued logics
Theoretical Computer Science, 1990 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Prestigious organizations and heterodox choice in institutionally plural contexts [PDF]
In unsettled fields with multiple ideal-typical institutional logics, why do organizations tend to weaken or conform to prevalent logic order? The authors argue that prestige, defined as a tribute paid by field members to a select few with valued ...
Durand, Rodolphe, Szostak, Berangere
core