31st IEEE International Symposium on Multiple-Valued Logic. 2001, Warsaw, Poland

• Pubblicazione: [Place of publication not identified], : IEEE Computer Society Press, 2001
• Descrizione fisica: 1 online resource (380 pages)
• Disciplina: 511.3
• Soggetto topico: Many-valued logic; Switching theory
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di contenuto: Proceedings 31st IEEE International Symposium on Multiple-Valued Logic -- Algebras for hazard detection -- A new improved cost-table-based technique for synthesis of 4-valued unary functions implemented using current-mode CMOS circuits -- Dual-rail multiple-valued current-mode VLSI with biasing current sources -- Realization of NMAX and NMIN functions with multi-valued voltage comparators -- An application of multiple-valued logic to test case generation for software system functional testing -- Spectral techniques in binary and multiple-valued switching theory. A review of results in the decade 1991-2000 -- Tunnelling diode technology -- Power efficient inter-module communication for digit-serial DSP architectures in deep-submicron technology -- A 4 digit CMOS quaternary to analog converter with current switch and neuron MOS down-literal circuit -- On some classes of fuzzy information relations -- On complete residuated many-valued logics with t-norm conjunction -- A three-valued D-flip-flop and shift register using multiple-junction surface tunnel transistors -- Flash analog-to-digital converter using resonant-tunneling multiple-valued circuits.
• Sommario/riassunto: The proceedings of the May 2001 symposium consists of 44 papers, five lectures, and two tutorials. A variety of research fields within multiple-valued logic are considered, such as circuits, design and verification of systems, automated reasoning, computing paradigms, complexity, and theoretical aspects of MV logics and algebra. Some of the topics are realization of NMAX and NMIN functions with multi-valued voltage comparators, spectral techniques in binary and multiple-valued switching theory, evaluation of inconsistency in a 2- way adaptive system using shadowed sets, and automated reasoning with ordinary assertions and default assumptions. Other topics include an information theory method for flexible network synthesis, relations between clones and full monoids, design of Haar wavelet transforms and Haar spectral transform decision diagrams, a set theory within fuzzy logic, and logic circuit diagnosis using neural networks. No subject index. c. Book News Inc.
• Titolo autorizzato: 31st IEEE International Symposium on Multiple-Valued Logic. 2001, Warsaw, Poland
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910872838103321
• Lo trovi qui: Univ. Federico II