The Community for Technology Leaders
2013 IEEE 43rd International Symposium on Multiple-Valued Logic (2003)
Tokyo, Japan
May 16, 2003 to May 19, 2003
ISSN: 0195-623X
ISBN: 0-7695-1918-0
TABLE OF CONTENTS

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

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

Kyoichi Nakashima , Toyama Prefectural University
Noboru Takagi , Toyama Prefectural University
pp. 11

A New Construction of the Irreducible Polynomial for parallel multiplier over GF(2<sup>m</sup>) (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
Session 2B: Functional Expressions

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

Cheng Fu , Nanyang Technological University
Bogdan J. Falkowski , Nanyang Technological University
pp. 40

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

Bu-Sik Shin , An-San Il College
Jae-Hwan Sim , Inchon Municipal College
Chol U Lee , Inha Univ.
Heung-Soo Kim , Inha Univ.
Gi-Young Byun , Inha Univ.
pp. 46

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

Radomir S. Stankovic , University of Nis, Serbia, Yugoslavia
Dragan Jankovic , University of Nis, Serbia, Yugoslavia
Claudio Moraga , Technical University of Madrid, Spain and Faculty of Computer Science, University of Dortmund, Germany
pp. 50
Session 3A: Fuzzy Logic

Normal Forms for Fuzzy Logic Functions (Abstract)

Irina Perfilieva , University of Ostrava
pp. 59

Towards Fuzzy Type Theory (Abstract)

Vil?m Nov? , University of Ostrava
pp. 65

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

H.R. Maleki , Shahid Bahonar University of Kerman, Kerman, Iran
M. Mashinchi , Shahid Bahonar University of Kerman, Kerman, Iran
Khosro Soleimani , Shahid Bahonar University of Kerman, Kerman, Iran
pp. 77

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

Katsuya Kondo , Himeji Institute of Technology, JAPAN
Yutaka Hata , Himeji Institute of Technology, JAPAN
Syoji Kobashi , Himeji Institute of Technology, JAPAN
pp. 83
Session 3B: LSI Design

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

Jun Sakiyama , Tohoku University
Tatsuo Higuchi , Tohoku University
Takafumi Aoki , Tohoku University
pp. 91

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

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
Amin Ahsan Ali , University of Dhaka, Dhaka
Mohammad Musa Salehin Akon , University of Dhaka, Dhaka
Md. Rafiqul Islam , University of Dhaka, Dhaka
pp. 111

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

Gi Soo Na , Inha Univ.
Heung Soo Kim , Inha Univ.
Jai Sock choi , Dept. of mechatronics Induk Institute of Technology
pp. 117
Session 4A: Logic Design II

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

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

Mozammel H. A. Khan , East West University
Pawel Kerntopf , Warsaw University of Technology
Marek A. Perkowski , Korea Advanced Institute of Science and Technology
pp. 146

Relationship between UCHT and FFT (Abstract)

Susanto Rahardja , Institute for Infocomm Research
Zhenghui Gu , Institute for Infocomm Research
Shoulie Xie , Institute for Infocomm Research
pp. 154
Session 4B: Logics and Algebras

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

Tomoko Ninomiya , Tamagawa Univ., Japan
Masao Mukaidono , Meiji Univ., Japan
pp. 169

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

Richard Zach , University of Calgary
Matthias Baaz , Technische Universit?t Wien
Norbert Preining , Technische Universit?t Wien
pp. 175

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

Carlos Ans?tegui , Universitat de Lleida
Felip Many? , Universitat de Lleida
pp. 181

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

Agata Ciabattoni , Technische Universit?t Wien, Austria
Christian G. Ferm? , Technische Universit?t Wien, Austria
pp. 188
Session 5: Invited Address

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

Tetsuya ASAI , Hokkaido University
Yoshihito AMEMIYA , Hokkaido University
pp. 197
Session 6A: LSI Circuits

Multiple-Valued Dynamic Source-Coupled Logic (Abstract)

Akira Mochizuki , Tohoku University
Takahiro Hanyu , Tohoku University
Michitaka Kameyama , Tohoku University
pp. 207

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

Young Hee Choi , Inha University, Incheon
Heung Soo Kim , Inha University, Incheon
Hyeon Kyeong Seong , Sangji Univ.
Sung Il Han , Inha University, Incheon
pp. 221

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
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

Compact Representations of Logic Functions using Heterogeneous MDDs (Abstract)

Tsutomu SASAO , Kyushu Institute of Technology
Shinobu NAGAYAMA , Kyushu Institute of Technology
pp. 247

Complexity of Decision Trees for Boolean Functions (Abstract)

Ivo G. Rosenberg , Universit? de Montr?al
Rusins Freivalds , University of Latvia
Masahiro Miyakawa , Tsukuba College of Technology
pp. 253
Session 7A: Nano Technology

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

Jong Duk Lee , Seoul National University
Gwanghyeon Baek , Seoul National University
Jaewoo Kyung , Seoul National University
Dae Hwan Kim , Seoul National University
Ki-Whan Song , Seoul National University
Chun-An Lee , Seoul National University
Sang Hoon Lee , Seoul National University
Kyung Rok Kim , Seoul National University
Byung-Gook Park , Seoul National University
pp. 267

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

Masafumi YAMAMOTO , Hokkaido University
Tetsuya UEMURA , Hokkaido University
pp. 273
Session 7B: Modeling and Simulation

Modeling Multi-Valued Circuits in SystemC (Abstract)

Rolf Drechsler , University of Bremen
G?rschwin Fey , University of Bremen
Daniel Gro?e , University of Bremen
pp. 281

Dynamic Reliability Indices for Multi-State System (Abstract)

Elena N. Zaitseva , Belarus State Economic University
pp. 287

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

Marsha Chechik , University of Toronto
Wendy MacCaull , St. Francis Xavier University
pp. 293
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

Generation of the Post Lattice by Irreducible Clones (Abstract)

Ivo G. Rosenberg , University of Montreal
Grant R. Pogosyan , International Christian University
pp. 309

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

G.E. Simons , Royal Military College of Canada
L. Haddad , Royal Military College of Canada
pp. 315
Session 8B: Spectral Techniques

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

Cheng Fu , Nanyang Technological University
Bogdan J. Falkowski , Nanyang Technological University
pp. 323

Spectral Transforms of Mixed-radix MVL Functions (Abstract)

Mitchell A. Thornton , Southern Methodist University
pp. 329
Session 9: Invited Address
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

From Continuous to Multiple-valued Data (Abstract)

Denis V. Popel , Baker University
pp. 367
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

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

T. Sasao , Kyushu Institute of Technology
J. T. Butler , Naval Postgraduate School
pp. 383

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

Shoulie Xie , Agency for Science, Technology and Research
Susanto Rahardja , Agency for Science, Technology and Research
pp. 391

Author's Index (PDF)

pp. 397
97 ms
(Ver 3.1 (10032016))