Results 271 to 280 of about 733,243 (331)
Some of the next articles are maybe not open access.
Multi-valued Logic Crosstalk Avoidance Codes
2010So far, the discussions on on-chip crosstalk avoidance have been limited to binary valued busses. This can be attributed to the fact that binary-valued busses are almost exclusively used for on-chip interconnects in todays digital circuits thanks to their seamless ability to interface with to the logic circuit.
Chunjie Duan +2 more
openaire +1 more source
Non-deterministic Multi-valued Logics--A Tutorial
2010 40th IEEE International Symposium on Multiple-Valued Logic, 2010Non-deterministic multi-valued matrices (Nmatrices) are a new, fruitful and quickly expanding field of research first introduced a few years ago. Since then it has been rapidly developing towards a foundational logical theory and has found numerous applications.
Arnon Avron, Anna Zamansky
openaire +1 more source
Engineering aspects of multi-valued logic systems
Computer, 1974We live in a binary world of computers, accepting the inevitability of dealing with strings of O's and l's, simply because this is dictated by the two-valued nature of switching primitives which make up the machines. Yet there is little doubt that most of us would prefer decimal machines if they were available.
Z. G. Vranesic, K. C. Smith
openaire +1 more source
Multi-Valued Logics Introducing Propositional Multi-Valued Logics with the Help of a CAS
1999It is shown in this paper how a classical approach to multi-valued Logics, based on the use of truth tables, can be easily implemented in a Computer Algebra System (CAS). Producing truth tables by hand is a hard work. But we think that an important part of the experience and intuitive ideas come from working with them.
openaire +1 more source
Model checking with multi-valued temporal logics
Proceedings 31st IEEE International Symposium on Multiple-Valued Logic, 2002Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dynamic properties of systems where complete, agreed upon models of the system are not available.
M. Chechik, S. Easterbrook, B. Devereux
openaire +1 more source
CWA Extensions to Multi-Valued Logics
Journal of Applied Non-Classical Logics, 2003The closed world assumption (CWA) plays a fundamental role in the theory of deductive databases. On the other hand, multi-valued logics occupy a vast field in non-classical logics. Some questions are better explained and expressed in terms of such logics.
openaire +1 more source
Advanced Functional Materials
Polarimetric photodetectors hold significant promise in optical communication and polarization imaging applications due to their additional ability to detect polarization states of light. The strategy of multiple states modulation plays a crucial role in
Jingxian Xiong +13 more
semanticscholar +1 more source
Polarimetric photodetectors hold significant promise in optical communication and polarization imaging applications due to their additional ability to detect polarization states of light. The strategy of multiple states modulation plays a crucial role in
Jingxian Xiong +13 more
semanticscholar +1 more source
CWA formalizations in multi-valued logics
Journal of Computer Science and Technology, 2001zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
On adequate sets of multi-valued logic
Journal of the Franklin Institute, 2021D. Cheng +3 more
semanticscholar +1 more source
Problems Of Many-Valued Logic from The Point of View of The Theory of Socio-Cultural Code
Journal of EcohumanismIt is shown that there are prerequisites for returning to the original interpretation of logic as the science of the laws of thought. Using the methods of the neural network theory of the noosphere, it is proved that the nature of thinking is ...
Suleimenov Ibragim +2 more
semanticscholar +1 more source