Results 11 to 20 of about 817,699 (342)
npj 2D Materials and Applications, 2021 Various studies on multi-valued-logic (MVL) computing, which utilizes more than two logic states, have recently been resumed owing to the demand for greater power saving in the current logic technologies.
Seunghwan Seo +12 more
doaj +2 more sources
Non-commutative multiple-valued logic algebras [PDF]
, 2014 This monograph provides a self-contained and easy-to-read introduction to non-commutative multiple-valued logic algebras; a subject which has attracted much interest in the past few years because of its impact on information science, artificial ...
Ciungu, Lavinia Corina
core +2 more sources
Investigation of Multiple-valued Logic Technologies for Beyond-binary Era
ACM Computing Surveys, 2021 Computing technologies are currently based on the binary logic/number system, which is dependent on the simple on and off switching mechanism of the prevailing transistors.
Zarin Tasnim Sandhie +3 more
semanticscholar +1 more source
Multiple-valued logic minimization for PLA synthesis [PDF]
, 1986 Multiple-valued logic minimization is an important technique for reducing the area required by a Programmable Logic Array (PLA). This report describes both heuristic and exact algorithms for solving the multiple-valued logic minimization probleb.
Richard L. Rudell
core +2 more sources
A multiple-valued logical semantics for Prolog [PDF]
, 1996 The coincidence of the declarative and procedural interpretations of logic programs does not apply to Prolog programs, due to the depth-first left-to-right evaluation strategy of Prolog interpreters. We propose a new semantics for Prolog programs based on a new fourvalued logic. The semantics is based on a new concept of completion analogous to Clark's
BARBUTI, ROBERTO +1 more
openaire +2 more sources
Online monitoring of distributed systems with a five-valued LTL [PDF]
, 2022 S.226-231In this paper, we deal with two kinds of uncertainties in distributed systems. On one hand, the order of causally unrelated executions is not determined when a global clock is not available.
Schlingloff, B.-H., Chai, M.
core +1 more source
Consequence and complexity in infinite-valued logic: a survey [PDF]
, 2002 In general, every logic L comes equipped with a syntax, a semantics, and an algorithmic procedure. In some cases, formulae up to equivalence form an interesting class of algebraic structures.
V. Marra, D. Mundici
core +1 more source
Diagnostics of low-capacity solar power station equipment with 2- and 3-valued logic [PDF]
Biuletyn Wojskowej Akademii Technicznej, 2018 The paper outlines research issues relating to 2- and 3-valued logic diagnoses developed with the diagnostic system (DIA G 2) for the equipment installed at a low-capacity solar power station.
Stanisław Duer +3 more
doaj +1 more source
Parametrical T-Gate for Joint Processing of Quantum and Classic Optoelectronic Signals
J, 2023 Unmanned network robotics is a new multidisciplinary field that involves many fields of computer networks, multi-agent systems, control theory, 5G and 6G Internet, computer security, and wireless quantum communications.
Alexey Y. Bykovsky, Nikolay A. Vasiliev
doaj +1 more source
Autosymmetric Multiple-Valued Functions: Theory and Spectral Characterization [PDF]
, 2011 Auto symmetric functions are a class of Boolean functions whose regular structure can be exploited by synthesis algorithms in order to reduce the minimization time and to derive more compact algebraic forms.
CIRIANI V. +5 more
core +1 more source