The Community for Technology Leaders
2013 IEEE 43rd International Symposium on Multiple-Valued Logic (1997)
Antigonish, Nova Scotia, CANADA
May 28, 1997 to May 30, 1997
ISSN: 0195-623X
ISBN: 0-8186-7910-7
TABLE OF CONTENTS
Session 1: Invited Address

Recent developments in DNA-computing (Abstract)

D. Rooss , Lehrstuhl fur Theor. Inf., Wurzburg Univ., Germany
pp. 3
Session 2A: Decomposition I

Decomposition of multiple-valued relations (Abstract)

Z. Wang , Dept. of Electr. Eng., Portland State Univ., OR, USA
J.S. Zhang , Dept. of Electr. Eng., Portland State Univ., OR, USA
L. Jozwiak , Dept. of Electr. Eng., Portland State Univ., OR, USA
T. Luba , Dept. of Electr. Eng., Portland State Univ., OR, USA
M. Marek-Sadowska , Dept. of Electr. Eng., Portland State Univ., OR, USA
M. Perkowski , Dept. of Electr. Eng., Portland State Univ., OR, USA
M. Nowicka , Dept. of Electr. Eng., Portland State Univ., OR, USA
R. Malvi , Dept. of Electr. Eng., Portland State Univ., OR, USA
S. Grygiel , Dept. of Electr. Eng., Portland State Univ., OR, USA
pp. 13

Finding composition trees for multiple-valued functions (Abstract)

J.C. Muzio , VLSI Design & Test Group, Victoria Univ., BC, Canada
B. von Stengel , VLSI Design & Test Group, Victoria Univ., BC, Canada
E.V. Dubrova , VLSI Design & Test Group, Victoria Univ., BC, Canada
pp. 19

Functional decomposition of MVL functions using multi-valued decision diagrams (Abstract)

R. Drechsler , Dept. of Electr. Eng., Portland State Univ., OR, USA
M.A. Perkowski , Dept. of Electr. Eng., Portland State Univ., OR, USA
C. Files , Dept. of Electr. Eng., Portland State Univ., OR, USA
pp. 27
Session 2B: Technology

Application of Resonant-Tunneling Quaternary Quantizer to Ultrahigh-Speed A/D Converter (Abstract)

Takao Waho , NTT System Electronics Laboratories
Masafumi Yamamoto , NTT System Electronics Laboratories
pp. 35

Multiple-Junction Surface Tunnel Transistors for Multiple-Valued Logic Circuits (Abstract)

Toshio Baba , Fundamental Research Laboratories, NEC Corporation
Tetsuya Uemura , Fundamental Research Laboratories, NEC Corporation
pp. 41

Enzyme Transistor Circuits for Biomolecular Computing (Abstract)

Masahiko Hiratsuka , Tohoku University
Takafumi Aoki , Tohoku University
Tatsuo Higuchi , Tohoku University
pp. 47
Session 3A: Minimization I

Comparison of the worst and best sum-of-products expressions for multiple-valued functions (Abstract)

T. Sasao , Dept. of Comput. Sci., Kyushu Inst. of Technol., Iizuka, Japan
J.T. Butler , Dept. of Comput. Sci., Kyushu Inst. of Technol., Iizuka, Japan
pp. 55

Sympathy-MV: Fast Exact Minimization of Fixed Polarity Multi-Valued Linear Expressions (Abstract)

Rolf Drechsler , Albert-Ludwigs-University
Bernd Becker , Albert-Ludwigs-University
Martin Keim , Albert-Ludwigs-University
pp. 66
Session 3B: Algebra

Completeness criteria in set-valued logic under compositions with union and intersection (Abstract)

D.A. Simovici , Dept. of Comput. Sci., Ottawa Univ., Ont., Canada
I. Stojmenovic , Dept. of Comput. Sci., Ottawa Univ., Ont., Canada
C. Reischer , Dept. of Comput. Sci., Ottawa Univ., Ont., Canada
A. Ngom , Dept. of Comput. Sci., Ottawa Univ., Ont., Canada
pp. 75

Hyperclones on a finite set (Abstract)

B.A. Romov , brom@bwalk.dm.com
pp. 83

Set-valued functions and regularity (Abstract)

Y. Nakamura , Dept. of Electron. & Inf., Toyama Prefectural Univ., Toyama, Japan
N. Takagi , Dept. of Electron. & Inf., Toyama Prefectural Univ., Toyama, Japan
K. Nakashima , Dept. of Electron. & Inf., Toyama Prefectural Univ., Toyama, Japan
pp. 89
Session 4A: Minimization II

Multiple-Valued Logic Minimization by Genetic Algorithms (Abstract)

Yutaka Hata , Himeji Institute of Technology
Takahiro Hozumi , Himeji Institute of Technology
Kazuharu Yamato , Himeji Institute of Technology
Naotake Kamiura , Himeji Institute of Technology
Kiyoshi Hayase , Himeji Institute of Technology
pp. 97

Multiple-Valued Product-of-Sums Expression with Truncated Sum (Abstract)

Kazuharu Yamato , Himeji Institute of Technology
Naotake Kamiura , Himeji Institute of Technology
Yutaka Hata , Himeji Institute of Technology
pp. 103
Session 4B: Philosophical Aspects

Representation of uncertain belief using interval probability (Abstract)

P.H. Giang , Australian Nat. Univ., Canberra, ACT, Australia
pp. 111

What is Many-Valued Logic ? (Abstract)

Jean-Yves Béziau , National Laboratory for Scientific Computing
pp. 117
Session 5A: Spectral Techniques

Family of complex Hadamard transforms: relationship with other transforms and complex composite spectra (Abstract)

S. Rahardja , Centre for Signal Process., Nanyang Technol. Univ., Singapore
B.J. Falkowski , Centre for Signal Process., Nanyang Technol. Univ., Singapore
pp. 125

Properties and applications of unified complex Hadamard transforms (Abstract)

B.J. Falkowski , Sch. of Electr. & Electron. Eng., Nanyang Technol. Univ., Singapore
S. Rahardja , Sch. of Electr. & Electron. Eng., Nanyang Technol. Univ., Singapore
pp. 131
Session 5B: Testing and Fault Simulation

Fault simulation in sequential multi-valued logic networks (Abstract)

M. Keim , Inst. of Comput. Sci., Albert-Ludwigs-Univ., Freiburg, Germany
R. Drechsler , Inst. of Comput. Sci., Albert-Ludwigs-Univ., Freiburg, Germany
B. Becker , Inst. of Comput. Sci., Albert-Ludwigs-Univ., Freiburg, Germany
pp. 145
Session 6: Invited Address

Many-valuedness and uncertainty (Abstract)

E. Orlowska , Inst. of Telecommun., Warsaw, Poland
pp. 153
Session 7A: Circuit Applications

Multiple-valued programmable logic arrays with universal literals (Abstract)

T. Utsumi , Mitsubishi Electr. Corp., Tokyo, Japan
Y. Hata , Mitsubishi Electr. Corp., Tokyo, Japan
N. Kamiura , Mitsubishi Electr. Corp., Tokyo, Japan
K. Yamato , Mitsubishi Electr. Corp., Tokyo, Japan
pp. 163

One-transistor-cell 4-valued universal-literal CAM for cellular logic image processing (Abstract)

M. Kameyama , Dept. of Comput. & Math. Sci., Tohoku Univ., Sendai, Japan
T. Hanyu , Dept. of Comput. & Math. Sci., Tohoku Univ., Sendai, Japan
M. Arakaki , Dept. of Comput. & Math. Sci., Tohoku Univ., Sendai, Japan
pp. 175
Session 7 B : Fuzzy Logic

Training fuzzy logic based software components for reuse (Abstract)

J. Chen , Sch. of Inf. Technol. & Eng., George Mason Univ., Fairfax, VA, USA
D.C. Rine , Sch. of Inf. Technol. & Eng., George Mason Univ., Fairfax, VA, USA
pp. 189

Properties of Lindenmayer fuzzy languages and /spl alpha/-driven Lindenmayer languages (Abstract)

E.M. zu Bexten , Giessen Univ., Germany
C. Moraga , Giessen Univ., Germany
F. Sajadi , Giessen Univ., Germany
pp. 195
Session 8A: Circuits

A Useful Application of CMOS Ternary Logic to the Realization of Asynchronous Circuits (Abstract)

R. Roncella , University of Pisa
R. Mariani , University of Pisa
R. Saletti , University of Pisa
P. Terreni , University of Pisa
pp. 203

Design of Ternary CCD Circuits Referencing to Current-Mode CMOS Circuits (Abstract)

Xunwei Wu , Hangzhou University
Massoud Pedram , University of Southern California Los Angeles
pp. 209
Session 8 B : Applications

Multiple-Valued Logic as a Programming Language (Abstract)

M. Spinks , Monash University
R. J. Bignall , Monash University
pp. 227

Multiple-valued immune network model and its simulations (Abstract)

T. Yamaguchi , Fac. of Eng., Miyazaki Univ., Japan
O. Ishizuka , Fac. of Eng., Miyazaki Univ., Japan
Z. Tang , Fac. of Eng., Miyazaki Univ., Japan
K. Tanno , Fac. of Eng., Miyazaki Univ., Japan
K. Tashima , Fac. of Eng., Miyazaki Univ., Japan
pp. 233
Session 9 : Invited Address

Ternary Decision Diagrams: Survey (Abstract)

Tsutomu Sasao , Kyushu Institute of Technology
pp. 241
Session 10A: Logic Design

On the synthesis of MVL functions using input and output phase assignments (Abstract)

G.A. Hamid , Dept. of Comput. Eng., King Fahd Univ. of Pet. & Miner., Dhahran, Saudi Arabia
M. Hasan , Dept. of Comput. Eng., King Fahd Univ. of Pet. & Miner., Dhahran, Saudi Arabia
M. Abd-El-Barr , Dept. of Comput. Eng., King Fahd Univ. of Pet. & Miner., Dhahran, Saudi Arabia
pp. 253

Mixed discrete optimization of multiple-valued systems (Abstract)

A. Etzel , Res. Inst., Daimler-Benz AG, Frankfurt, Germany
pp. 259
Session 10B: Function Representation

Cube diagram bundles: a new representation of strongly unspecified multiple-valued functions and relations (Abstract)

M. Perkowski , Dept. of Electr. Eng., Portland State Univ., OR, USA
S. Grygiel , Dept. of Electr. Eng., Portland State Univ., OR, USA
T. Luba , Dept. of Electr. Eng., Portland State Univ., OR, USA
L. Jozwiak , Dept. of Electr. Eng., Portland State Univ., OR, USA
M. Marek-Sadowska , Dept. of Electr. Eng., Portland State Univ., OR, USA
pp. 287

Author Index (PDF)

pp. 293
91 ms
(Ver )