Results 21 to 30 of about 817,699 (342)
Random Multiple-Valued Networks: Theory and Applications [PDF]
, 2006 A living cell is essentially a molecular digital computer that configures itself as part of the execution of its code. By understanding how cells direct the assembly, of their Molecules, we can find ways to build computer Chips that can self-organize ...
E. Dubrova, Dubrova, Elena,
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
Turing machines based on unsharp quantum logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 In this paper, we consider Turing machines based on unsharp quantum logic. For a lattice-ordered quantum multiple-valued (MV) algebra E, we introduce E-valued non-deterministic Turing machines (ENTMs) and E-valued deterministic Turing machines (EDTMs ...
Yun Shang, Xian Lu, Ruqian Lu
doaj +1 more source
Applied System Innovation, 2023 Network control of autonomous robotic devices involves a vast number of secured data coding, verification, and identification procedures to provide reliable work of distant agents. Blockchain scheme provides here the model of the extended linked list for
Alexey Yu. Bykovsky, Nikolay A. Vasiliev
doaj +1 more source
Design of Ternary Logic and Arithmetic Circuits Using GNRFET
IEEE Open Journal of Nanotechnology, 2020 Multiple valued logic (MVL) can represent an exponentially higher number of data/information compared to the binary logic for the same number of logic bits.
Zarin Tasnim Sandhie +2 more
doaj +1 more source
Multiple-valued logic interpretations of analogical, reverse analogical, and paralogical proportions [PDF]
, 2010 Boolean logic interpretations have been recently proposed for analogical proportions (i.e. statements of the form "a is to b as c is to d"), and for two other related formal proportions named reverse analogy ("what a is to b is the reverse of what c is ...
Prade, Henri +5 more
core +1 more source
Bounded saturation-based CTL model checking; pp. 59–70 [PDF]
Proceedings of the Estonian Academy of Sciences, 2013 Formal verification is becoming a fundamental step of safety-critical and model-based software development. As part of the verification process, model checking is one of the current advanced techniques to analyse the behaviour of a system. Symbolic model
András Vörös +2 more
doaj +1 more source
An efficient ternary serial adder based on carbon nanotube FETs
Engineering Science and Technology, an International Journal, 2016 This paper presents an efficient ternary serial adder for nanotechnology employing negative, positive and standard ternary logics. Multiple-valued logic results in chips with more density, less complexity and high-bandwidth data transfer.
Mohammad Hossein Moaiyeri +2 more
doaj +1 more source
Position-based cryptography by means of quantum and classical schemes, using multiple-valued logic computing [PDF]
EPJ Web of Conferences, 2019 Quantum and classical schemes of position-based cryprography are to transfer confidential message to an abonent with localised space position. Known verification proceedures are based on time-delay measurements of response signals and can`t provide ...
Bykovsky Alexey Yu.
doaj +1 more source
Finite-valued approximations of product logic [PDF]
, 2000 In this paper we shall propose a method for the reduction of the problem of decidability in propositional infinite-valued Product Logic to suitably determined finite-valued approximating logics.
Stefano Aguzzoli +3 more
core +1 more source