Message from the Syposium Chair

Message from the Program Committee (PDF)

pp. xi

Symposium Committee (PDF)

pp. xii

Referees (PDF)

pp. xiv

Session 1: Invited Address

Fuzzy Logic as a Basis for a Theory of Hierarchical Definability (THD) (PDF)

Lotfi A. Zadeh, Berkeley Initiative in Soft Computing (BISC)

pp. 3

Session 2A: Logic Design I

Implementation of Multiple-Valued Functions Using Literal-Splitting Technique (Abstract)

Elena Dubrova, IMIT/KTH

pp. 7

PDF

Hyperoperations on {0, 1, 2} Based on Min, Max, and Universal Literal Operations (Abstract)

Noboru Takagi, Toyama Prefectural University

Kyoichi Nakashima, Toyama Prefectural University

pp. 11

PDF

An extension of ternary majority function and its application to evolvable system (Abstract)

Yoshinori YAMAMOTO, Takasaki City University of Economics

pp. 17

PDF

A New Construction of the Irreducible Polynomial for parallel multiplier over GF(2^m) (Abstract)

Jong-Hak Hwang, Korea Sport Science Institute

kyung-Jae Moon, Inha University

Seung-Yong Park, Jaenung College

Heung-Soo Kim, Inha University

pp. 24

PDF

Session 2B: Functional Expressions

New Information on the Effectiveness of Different Reed-Muller Algebras on the Representation of Quaternary Functions (Abstract)

K.J. Adams, University of Ulster

J. McGregor, University of Ulster

pp. 33

PDF

Polynomial Expansions over GF(3) based on Fastest Transformation (Abstract)

Bogdan J. Falkowski, Nanyang Technological University

Cheng Fu, Nanyang Technological University

pp. 40

PDF

The Generation Circulation Method to Generalized Reed-Muller Coefficients over GF(3) (Abstract)

Chol U Lee, Inha Univ.

Gi-Young Byun, Inha Univ.

Bu-Sik Shin, An-San Il College

Jae-Hwan Sim, Inchon Municipal College

Heung-Soo Kim, Inha Univ.

pp. 46

PDF

Optimization of GF(4) Expressions Using the Extended Dual Polarity Property (Abstract)

Dragan Jankovic, University of Nis, Serbia, Yugoslavia

Radomir S. Stankovic, University of Nis, Serbia, Yugoslavia

Claudio Moraga, Technical University of Madrid, Spain and Faculty of Computer Science, University of Dortmund, Germany

pp. 50

PDF

Session 3A: Fuzzy Logic

Normal Forms for Fuzzy Logic Functions (Abstract)

Irina Perfilieva, University of Ostrava

pp. 59

PDF

Towards Fuzzy Type Theory (Abstract)

Vil?m Nov?, University of Ostrava

pp. 65

PDF

Universes of Fuzzy Sets - A Short Survey (Abstract)

Siegfried Gottwald, Leipzig University

pp. 71

PDF

Fixed Points for Fuzzy Rule Bases and Fuzzy Chaining Syllogism (Abstract)

Khosro Soleimani, Shahid Bahonar University of Kerman, Kerman, Iran

M. Mashinchi, Shahid Bahonar University of Kerman, Kerman, Iran

H.R. Maleki, Shahid Bahonar University of Kerman, Kerman, Iran

pp. 77

PDF

Automated Finding of the Willis Ring in MR Angiography Images Using Fuzzy Knowledge Base (Abstract)

Syoji Kobashi, Himeji Institute of Technology, JAPAN

Katsuya Kondo, Himeji Institute of Technology, JAPAN

Yutaka Hata, Himeji Institute of Technology, JAPAN

pp. 83

PDF

Session 3B: LSI Design

Counter Tree Diagrams for Design and Analysis of Fast Addition Algorithms (Abstract)

Jun Sakiyama, Tohoku University

Takafumi Aoki, Tohoku University

Tatsuo Higuchi, Tohoku University

pp. 91

PDF

Bidirectional Data Transfer Based Asynchronous VLSI System Using Multiple-Valued Current Mode Logic (Abstract)

Takahiro Hanyu, Tohoku University

Tomohiro Takahashi, Tohoku University

Michitaka Kameyama, Tohoku University

pp. 99

PDF

MVL circuit design and characterization at the transistor level using SUS-LOC (Abstract)

E. Kinvi-Boh, ENSSAT, University of Rennes, INRIA

M. Aline, ENSSAT, University of Rennes, INRIA

O. Sentieys, ENSSAT, University of Rennes, INRIA

Edgar D. Olson, EDO llc

pp. 105

PDF

A Technique for Logic Design of Voltage-Mode Pass Transistor Based Multi-Valued Multiple-Output Logic Circuits (Abstract)

Hafiz Md.Hasan Babu, University of Dhaka, Dhaka

Md. Rafiqul Islam, University of Dhaka, Dhaka

Amin Ahsan Ali, University of Dhaka, Dhaka

Mohammad Musa Salehin Akon, University of Dhaka, Dhaka

pp. 111

PDF

Recursive Evaluation of the Generalized Reed-Muller Coefficients (Abstract)

Gi Soo Na, Inha Univ.

Sang Wan Kim, ETRI

Jai Sock choi, Dept. of mechatronics Induk Institute of Technology

Heung Soo Kim, Inha Univ.

pp. 117

PDF

Session 4A: Logic Design II

Cascade Realizations of Two-valued Input Multiple-Valued Output Functions using Decomposition of Group Functions (Abstract)

Tsutomu Sasao, Kyushu Institute of Technology

pp. 125

PDF

A Novel Technology Mapping Method for AND/XOR Expressions (Abstract)

Seok-Bum Ko, University of Saskatchewan

Jien-Chung Lo, University of Rhode Island

pp. 133

PDF

Iterative Symmetry Indices Decomposition for Ternary Logic Synthesis in Three-Dimensional Space (Abstract)

Anas N. Al-Rabadi, Portland State University

pp. 139

PDF

Multi-Output Galois Field Sum of Products Synthesis with New Quantum Cascades (Abstract)

Mozammel H. A. Khan, East West University

Marek A. Perkowski, Korea Advanced Institute of Science and Technology

Pawel Kerntopf, Warsaw University of Technology

pp. 146

PDF

Relationship between UCHT and FFT (Abstract)

Shoulie Xie, Institute for Infocomm Research

Susanto Rahardja, Institute for Infocomm Research

Zhenghui Gu, Institute for Infocomm Research

pp. 154

PDF

Session 4B: Logics and Algebras

Several Remarks on Non-Boolean Functions over Boolean Algebras (Abstract)

Dan A. Simovici, Univ. of Massachusetts Boston

pp. 163

PDF

Complete and Independent Sets of Axioms of Boolean Algebra (Abstract)

Tomoko Ninomiya, Tamagawa Univ., Japan

Masao Mukaidono, Meiji Univ., Japan

pp. 169

PDF

Characterization of the Axiomatizable Prenex Fragments of First-Order G?del Logics (Abstract)

Matthias Baaz, Technische Universit?t Wien

Norbert Preining, Technische Universit?t Wien

Richard Zach, University of Calgary

pp. 175

PDF

New Logical and Complexity Results for Signed-SAT (Abstract)

Carlos Ans?tegui, Universitat de Lleida

Felip Many?, Universitat de Lleida

pp. 181

PDF

From Intuitionistic Logic to G?del-Dummett Logic via Parallel Dialogue Games (Abstract)

Christian G. Ferm?, Technische Universit?t Wien, Austria

Agata Ciabattoni, Technische Universit?t Wien, Austria

pp. 188

PDF

Session 5: Invited Address

Biomorphic Analog Devices based on Reaction-Diffusion Systems (Abstract)

Tetsuya ASAI, Hokkaido University

Yoshihito AMEMIYA, Hokkaido University

pp. 197

PDF

Session 6A: LSI Circuits

Multiple-Valued Dynamic Source-Coupled Logic (Abstract)

Takahiro Hanyu, Tohoku University

Akira Mochizuki, Tohoku University

Michitaka Kameyama, Tohoku University

pp. 207

PDF

A Field-Programmable Digital Filter Chip Using Multiple-Valued Current-Mode Logic (Abstract)

Katsuhiko Degawa, Tohoki University

Takafumi Aoki, Tohoki University

Tatsuo Higuchi, Tohoki University

pp. 213

PDF

A Study on the Design of Flash Analog to Quaternary Converter Using DLC Comparator (Abstract)

Sung Il Han, Inha University, Incheon

Young Hee Choi, Inha University, Incheon

Hyeon Kyeong Seong, Sangji Univ.

Heung Soo Kim, Inha University, Incheon

pp. 221

PDF

A NOVEL MULTIPLE-INPUT MULTIPLE-VALUED SEMI-FLOATING-GATE LATCH (Abstract)

OMID MIRMOTAHARI, University of Oslo, Blindern

YNGVAR BERG, University of Oslo, Blindern

pp. 227

PDF

Session 6B: Decision Diagrams I

On the Size of Multiple-Valued Decision Diagrams (Abstract)

D. Michael Miller, University of Victoria

Gerhard W. Dueck, University of New Brunswick

pp. 235

PDF

Efficient Minimization of Multiple-valued Decision Diagrams for Incompletely Specified Functions (Abstract)

Denis V. Popel, Baker University

Rolf Drechsler, University of Bremen

pp. 241

PDF

Compact Representations of Logic Functions using Heterogeneous MDDs (Abstract)

Shinobu NAGAYAMA, Kyushu Institute of Technology

Tsutomu SASAO, Kyushu Institute of Technology

pp. 247

PDF

Complexity of Decision Trees for Boolean Functions (Abstract)

Rusins Freivalds, University of Latvia

Masahiro Miyakawa, Tsukuba College of Technology

Ivo G. Rosenberg, Universit? de Montr?al

pp. 253

PDF

Session 7A: Nano Technology

Experimental and Simulation Studies of Single-Electron-Transistor-Based Multiple-Valued Logic (Abstract)

Hiroshi Inokawa, NTT Corporation

Yasuo Takahashi, NTT Corporation

pp. 259

PDF

Complementary Self-Biased Scheme for the Robust Design of CMOS/SET Hybrid Multi-Valued Logic (Abstract)

Ki-Whan Song, Seoul National University

Sang Hoon Lee, Seoul National University

Dae Hwan Kim, Seoul National University

Kyung Rok Kim, Seoul National University

Jaewoo Kyung, Seoul National University

Gwanghyeon Baek, Seoul National University

Chun-An Lee, Seoul National University

Jong Duk Lee, Seoul National University

Byung-Gook Park, Seoul National University

pp. 267

PDF

Proposal of Four-Valued MRAM based on MTJ/RTD Structure (Abstract)

Tetsuya UEMURA, Hokkaido University

Masafumi YAMAMOTO, Hokkaido University

pp. 273

PDF

Session 7B: Modeling and Simulation

Modeling Multi-Valued Circuits in SystemC (Abstract)

Daniel Gro?e, University of Bremen

G?rschwin Fey, University of Bremen

Rolf Drechsler, University of Bremen

pp. 281

PDF

Dynamic Reliability Indices for Multi-State System (Abstract)

Elena N. Zaitseva, Belarus State Economic University

pp. 287

PDF

CTL Model-Checking over Logics with Non-Classical Negations (Abstract)

Marsha Chechik, University of Toronto

Wendy MacCaull, St. Francis Xavier University

pp. 293

PDF

Session 8A: Clone Theory

On the Centralizers of Monoids in Clone Theory (Abstract)

Hajime Machida, Hitotsubashi University

Iv G. Rosenberg, Universit? de Montr?al

pp. 303

PDF

Generation of the Post Lattice by Irreducible Clones (Abstract)

Grant R. Pogosyan, International Christian University

Ivo G. Rosenberg, University of Montreal

pp. 309

PDF

On Intervals of Partial Clones of Boolean Partial Functions (Abstract)

L. Haddad, Royal Military College of Canada

G.E. Simons, Royal Military College of Canada

pp. 315

PDF

Session 8B: Spectral Techniques

Family of Fast Transforms over GF(3) Logic (Abstract)

Bogdan J. Falkowski, Nanyang Technological University

Cheng Fu, Nanyang Technological University

pp. 323

PDF

Spectral Transforms of Mixed-radix MVL Functions (Abstract)

Mitchell A. Thornton, Southern Methodist University

pp. 329

PDF

Fast Algorithm for Computing Spectral Transforms of Boolean and Multiple-Valued Functions on Circuit Representation (Abstract)

Ren? Krenz, IMIT/KTH

Elena Dubrova, IMIT/KTH

Andreas Kuehlmann, Cadence Berkeley Labs, Berkeley

pp. 334

PDF

Session 9: Invited Address

Functions of multiple-valued logic and the complexity of constraint satisfaction: A short survey (Abstract)

Andrei Krokhin, University of Warwick

Andrei Bulatov, University of Oxford

Peter Jeavons, University of Oxford

pp. 343

PDF

Session 10A: Applications

Learning subjective probabilities from a small data set (Abstract)

Claudio Moraga, Technical University of Madrid, Spain

Chongfu Huang, Beijing Normal University

pp. 355

PDF

Using Games for Benchmarking and Representing the Complete Solution Space using Symbolic Techniques (Abstract)

Goerschwin Fey, University of Bremen

Sebastian Kinder, University of Bremen

Rolf Drechsler, University of Bremen

pp. 361

PDF

From Continuous to Multiple-valued Data (Abstract)

Denis V. Popel, Baker University

pp. 367

PDF

Session 10B: Decision Diagrams II

Augmented Sifting of Multiple-Valued Decision Diagrams (Abstract)

D. Michael Miller, University of Victoria

Rolf Drechsler, University of Bremen

pp. 375

PDF

On the Average Path Length in Decision Diagrams of Multiple-Valued Functions (Abstract)

J. T. Butler, Naval Postgraduate School

T. Sasao, Kyushu Institute of Technology

pp. 383

PDF

Generalized Complex Spectral Decision Diagrams Using Unified Complex Hadamard Transform (Abstract)

Susanto Rahardja, Agency for Science, Technology and Research

Shoulie Xie, Agency for Science, Technology and Research

pp. 391

PDF

Author's Index (PDF)

pp. 397