Results 251 to 260 of about 733,243 (331)
Some of the next articles are maybe not open access.
Nanoscale Horizons, 2020
Multi-valued logic (MVL) technology is a promising approach for improving the data-handling capabilities and decreasing the power consumption of integrated circuits.
M. Andreev +6 more
semanticscholar +1 more source
Multi-valued logic (MVL) technology is a promising approach for improving the data-handling capabilities and decreasing the power consumption of integrated circuits.
M. Andreev +6 more
semanticscholar +1 more source
Structural Rules for Multi-valued Logics
Logica Universalis, 2019zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Francez, Nissim, Kaminski, Michael
openaire +1 more source
Multi-valued neural logic networks
Proceedings of the Twentieth International Symposium on Multiple-Valued Logic, 2002Two types of networks that are useful in developing expert systems are proposed. The probabilistic network can be used for predictive types of expert systems, whereas the fuzzy network is more suitable for expert systems that help in decision-making. In both cases, the expert system can operate in two modes.
null Loke-Soo Hsu +3 more
openaire +1 more source
Polynomial Formal Verification of Multi-Valued Logic Circuits within Constant Cutwidth Architectures
IEEE International Symposium on Multiple-Valued LogicFormal verification is essential for circuit correctness. Extending binary logic verification to Multi-Valued Logic (MVL) presents challenges due to encoding challenges. Answer Set Programming (ASP) enables compact MVL circuit encoding. In this paper, we
Mohamed A. Nadeem, Rolf Drechsler
semanticscholar +1 more source
Multi-Valued Logic Circuits Based on Organic Anti-ambipolar Transistors.
Nano letters (Print), 2018Multivalued logic circuits, which can handle more information than conventional binary logic circuits, have attracted much attention as a promising way to improve the data-processing capabilities of integrated circuits.
K. Kobashi +3 more
semanticscholar +1 more source
Synchronization of Interconnected Multi‐valued Logical Networks
Asian Journal of Control, 2014AbstractThis paper studies the synchronization of interconnectedk‐valued logical networks, as well as that of interconnected higher orderk‐valued logical networks, based on their algebraic representations. For interconnectedk‐valued logical networks, one necessary and sufficient criterion of synchronization is established via the definition of ...
Meng, Min, Feng, Jun-E, Hou, Zhongsheng
openaire +2 more sources
36th International Symposium on Multiple-Valued Logic (ISMVL'06), 2006
The multiple valued logic of inexactness and approximation we proposed in the past as framework for scientific thought in general is in this paper considered as logic for quantum theory in particular. In this logic truth-values are viewed as degrees of error and a deduction is considered valid if the error in the conclusion can be minimized whenever ...
openaire +1 more source
The multiple valued logic of inexactness and approximation we proposed in the past as framework for scientific thought in general is in this paper considered as logic for quantum theory in particular. In this logic truth-values are viewed as degrees of error and a deduction is considered valid if the error in the conclusion can be minimized whenever ...
openaire +1 more source
Control in a Group of Unmanned Aerial Vehicles Based on Multi-Valued Logic
2019 Twelfth International Conference "Management of large-scale system development" (MLSD), 2019A new method for constructing fuzzy knowledge bases for controlling a group of unmanned aerial vehicles (UAVs) is presented, in which a multi-valued logic is used instead of fuzzy one.
D. Maximov
semanticscholar +1 more source
Multi-valued autoepistemic logic
Annals of Mathematics and Artificial Intelligence, 1996zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Multi-Valued MSO Logics OverWords and Trees
Fundamenta Informaticae, 2008We introduce multi-valued Büchi and Muller automata over distributive lattices and a multi-valued MSO logic for infinite words. For this logic, we prove the expressive equivalence of ω-recognizable and MSO-definable infinitary formal power series over distributive lattices with negation function.
Droste, Manfred +2 more
openaire +2 more sources