LEADER 03463oam 2200433zu 450 001 9910872838103321 005 20241212215051.0 035 $a(CKB)111055184224116 035 $a(SSID)ssj0000451778 035 $a(PQKBManifestationID)12203858 035 $a(PQKBTitleCode)TC0000451778 035 $a(PQKBWorkID)10463411 035 $a(PQKB)10406767 035 $a(NjHacI)99111055184224116 035 $a(EXLCZ)99111055184224116 100 $a20160829d2001 uy 101 0 $aeng 135 $aur||||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$a31st IEEE International Symposium on Multiple-Valued Logic. 2001, Warsaw, Poland 210 31$a[Place of publication not identified]$cIEEE Computer Society Press$d2001 215 $a1 online resource (380 pages) 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a9780769510835 311 08$a0769510833 327 $aProceedings 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. 330 $aThe 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. 606 $aMany-valued logic$vCongresses 606 $aSwitching theory$vCongresses 615 0$aMany-valued logic 615 0$aSwitching theory 676 $a511.3 801 0$bPQKB 906 $aPROCEEDING 912 $a9910872838103321 996 $a31st IEEE International Symposium on Multiple-Valued Logic. 2001, Warsaw, Poland$92368145 997 $aUNINA