Default Cover Image

Proceedings 1999 29th IEEE International Symposium on Multiple-Valued Logic (Cat. No.99CB36329)

May 20 1999 to May 22 1999

Freiburg im Breisgau, Germany

ISSN: 0195-623X

ISBN: 0-7695-0161-3

Table of Contents

Proceedings 1999 29th IEEE International Symposium on Multiple-Valued Logic (Cat. No.99CB36329)Full-text access may be available. Sign in or learn about subscription options.pp. iii-iii
Message from the Symposium ChairsFreely available from IEEE.pp. viii
Message from the Program Co-ChairsFreely available from IEEE.pp. ix
Symposium CommitteeFreely available from IEEE.pp. x
RefereesFreely available from IEEE.pp. xi
Session 1 — Invited Address
Development of Quantum Functional Devices for Multiple-Valued Logic CircuitsFull-text access may be available. Sign in or learn about subscription options.pp. 2
Session 2a — Algebra I
Multivalued Binary Relations and Post AlgebrasFull-text access may be available. Sign in or learn about subscription options.pp. 10
Session 2a — Algebra I
Quaternion Groups versus Dyadic Groups in Representations and Processing of Switching FunctionsFull-text access may be available. Sign in or learn about subscription options.pp. 18
Session 2a — Algebra I
On Axiomatization of Conditional Entropy of Functions Between Finite SetsFull-text access may be available. Sign in or learn about subscription options.pp. 24
Session 2b — Circuits I
Multiple-Valued Content-Addressable Memory Using Metal-Ferroelectric-Semiconductor FETsFull-text access may be available. Sign in or learn about subscription options.pp. 30
Session 2b — Circuits I
"New Lamps for Old!"(Generalized Multiple-Valued Neurons)Full-text access may be available. Sign in or learn about subscription options.pp. 36
Session 2b — Circuits I
Supplementary Symmetrical Logic Circuit StructureFull-text access may be available. Sign in or learn about subscription options.pp. 42
Session 3a — Decomposition
Bi-Decompositions of Multi-Valued Functions for Circuit Design and Data Mining ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 50
Session 3a — Decomposition
Totally Undecomposable Functions: Applications to Efficient Multiple-Valued DecompositionsFull-text access may be available. Sign in or learn about subscription options.pp. 59
Session 3a — Decomposition
A Generalization of Shestakov's Function Decomposition MethodFull-text access may be available. Sign in or learn about subscription options.pp. 66
Session 3b — Clones
Gigantic Pairs of Minimal ClonesFull-text access may be available. Sign in or learn about subscription options.pp. 74
Session 3b — Clones
Maximal Chains of Partial Clones Containing All Idempotent Partial FunctionsFull-text access may be available. Sign in or learn about subscription options.pp. 80
Session 3b — Clones
Partial Clones and their Generating SetsFull-text access may be available. Sign in or learn about subscription options.pp. 85
Session 4a — Logic Design
Evaluation of m-Valued Fixed Polarity Generalizations of Reed-Muller Canonical FormFull-text access may be available. Sign in or learn about subscription options.pp. 92
Session 4a — Logic Design
Multiple-Valued Minimization to Optimize PLAs with Output EXOR GatesFull-text access may be available. Sign in or learn about subscription options.pp. 99
Session 4a — Logic Design
The Output Permutation for the Multiple-Valued Logic Minimization with Universal LiteralsFull-text access may be available. Sign in or learn about subscription options.pp. 105
Session 4a — Logic Design
Logical Model for Representing Uncertain Statuses of Multiple-Valued Logic Systems Realized by Min, Max and LiteralsFull-text access may be available. Sign in or learn about subscription options.pp. 110
Session 4b — Algebra II
A Super Switch Algebra for Quantum Device Based SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 118
Session 4b — Algebra II
Clarifying the Axioms of Kleene Algebra based on the Method of Indeterminate CoefficientsFull-text access may be available. Sign in or learn about subscription options.pp. 125
Session 4b — Algebra II
The Number of Cascade FunctionsFull-text access may be available. Sign in or learn about subscription options.pp. 131
Session 4b — Algebra II
Research on the Similarity among Precomplete Sets Preserving m-ary Relations in Partial K-Valued LogicFull-text access may be available. Sign in or learn about subscription options.pp. 136
Session 5 — Invited Address
Structural and Behavioral Modeling with Monadic LogicsFull-text access may be available. Sign in or learn about subscription options.pp. 142
Session 6a — Decision Diagrams
Matrix-Valued EXOR-TDDs in Decomposition of Switching FunctionsFull-text access may be available. Sign in or learn about subscription options.pp. 154
Session 6a — Decision Diagrams
Synthesis of Multiple-Valued Decision Diagrams using Current-Mode CMOS CircuitsFull-text access may be available. Sign in or learn about subscription options.pp. 160
Session 6a — Decision Diagrams
Shared Multiple-Valued Decision Diagrams for Multiple-Output FunctionsFull-text access may be available. Sign in or learn about subscription options.pp. 166
Session 6b — Circuits II
Ternary Multiplication Circuits Using 4-Input Adder Cells and Carry Look-AheadFull-text access may be available. Sign in or learn about subscription options.pp. 174
Session 6b — Circuits II
Down Literal Circuit with Neuron-MOS Transistors and Its ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 180
Session 6b — Circuits II
Arithmetic Circuits for Analog DigitsFull-text access may be available. Sign in or learn about subscription options.pp. 186
Session 7a — Applications
Quaternary Coded Genetic AlgorithmsFull-text access may be available. Sign in or learn about subscription options.pp. 194
Session 7a — Applications
Redundant Complex Arithmetic and Its Application to Complex Multiplier DesignFull-text access may be available. Sign in or learn about subscription options.pp. 200
Session 7a — Applications
On the Number of Multilinear Partitions and the Computing Capacity of Multiple-Valued Multiple-Threshold Perceptrons.Full-text access may be available. Sign in or learn about subscription options.pp. 208
Session 7a — Applications
B-ternary Logic Based Asynchronous MicropipelineFull-text access may be available. Sign in or learn about subscription options.pp. 214
Session 7a — Applications
State Assignment Techniques in Multiple-Valued LogicFull-text access may be available. Sign in or learn about subscription options.pp. 220
Session 7b — Logic
Information Relationships and Measures in Application to Logic DesignFull-text access may be available. Sign in or learn about subscription options.pp. 228
Session 7b — Logic
Probabilistic and Truth-Functional Many-Valued Logic ProgrammingFull-text access may be available. Sign in or learn about subscription options.pp. 236
Session 7b — Logic
Representation Theorems and Theorem Proving in Non-Classical LogicsFull-text access may be available. Sign in or learn about subscription options.pp. 242
Session 7b — Logic
Transformations between Signed and Classical Clause LogicFull-text access may be available. Sign in or learn about subscription options.pp. 248
Session 7b — Logic
Semirigidity Problems in k -Valued LogicFull-text access may be available. Sign in or learn about subscription options.pp. 256
Session 8 — Panel Session
Multiple-Valued Logic in the Next Millenium: Challenges and PerspectivesFull-text access may be available. Sign in or learn about subscription options.
Session 9a — Testing
Fault Characterization and Testability Considerations in Multi-Valued Logic CircuitsFull-text access may be available. Sign in or learn about subscription options.pp. 262
Session 9a — Testing
Highly Testable Boolean Ring Logic CircuitsFull-text access may be available. Sign in or learn about subscription options.pp. 268
Session 9a — Testing
Self-Checking Multiple-Valued Circuit Based on Dual-Rail Current-Mode Differential LogicFull-text access may be available. Sign in or learn about subscription options.pp. 275
Session 9b — Fuzzy Logic
On the Concept of Qualitative Fuzzy SetFull-text access may be available. Sign in or learn about subscription options.pp. 282
Session 9b — Fuzzy Logic
On Some Classes of Fuzzy Information Granularity and Their RepresentationsFull-text access may be available. Sign in or learn about subscription options.pp. 288
Session 9b — Fuzzy Logic
From a Fuzzy Flip-Flop to a MVL Flip-FlopFull-text access may be available. Sign in or learn about subscription options.pp. 294
Session 9b — Fuzzy Logic
Author IndexFreely available from IEEE.pp. 302
Showing 51 out of 51