The Community for Technology Leaders
Proceedings 32nd IEEE International Symposium on Multiple-Valued Logic (2002)
Boston, Massachusetts
May 15, 2002 to May 18, 2002
ISSN: 0195-623X
ISBN: 0-7695-1462-6

Reviewers (PDF)

pp. xi
Invited Talk

Equations in the Algebra of Logic (Abstract)

Sergiu Rudeanu , University of Bucharest
pp. 2
Algebra I

Some Results on the Centralizers of Monoids in Clone Theory (Abstract)

Hajime Machida , Hitotsubashi University
Masahiro Miyakawa , Tsukuba College of Technology
Ivo G. Rosenberg , Université de Montréal
pp. 10

Partial Hyperclones on a Finite Set (Abstract)

B.A. Romov , Bayard Rustin High School for the Humanities
pp. 17
Logical Design I

Improving the Characterization of p-Valued Threshold Functions (Abstract)

Claudio Moraga , Technical University of Madrid, University of Dortmund
pp. 28

A Conjunctive Canonical Expansion of Multiple-Valued Functions (Abstract)

Elena Dubrova , Royal Institute of Technology
Petra Färm , Royal Institute of Technology
pp. 35

Sierpinski Gaskets for Logic Functions Representation (Abstract)

Denis V. Popel , Baker University
Anita Dani , University of Wollongong
pp. 39
Circuits I

Multiple-Valued Data Recovery Techniques for Band-Limited Channels in VLSI (Abstract)

Yasushi Yuminaka , Gunma University
Tatsuya Morishita , Gunma University
Takafumi Aoki , Gunma University
Tatsuo Higuchi , Gunma University
pp. 54

Voltage Comparator Circuits for Multiple-Valued CMOS Logic (Abstract)

Yongjian Brandon Guo , University of California, Davis
K. Wayne Current , University of California, Davis
pp. 67
Logical Design II
Invited Talk

Consequence and Complexity in Infinite-Valued Logic: A Survey (Abstract)

Vincenzo Marra , University of Milan
Daniele Mundici , University of Milan
pp. 104
Spectral Techniques

Chrestenson Spectrum Computation Using Cayley Color Graphs (Abstract)

Mitchell A. Thornton , Mississippi State University
D. Michael Miller , University of Victoria
Whitney J. Townsend , Mississippi State University
pp. 123
Circuits II

Design of Dynamic Reliability Indices (Abstract)

Elena N. Zaitseva , Belarus State Economic University
Vitaly G. Levashenko , Belarus State Economic University, University of Zilina
pp. 144

PODEM Based on Static Testability Measures and Dynamic Testability Measures for Multiple-Valued Logic Circuits (Abstract)

Naotake Kamiura , Himeji Institute of Technology
Teijiro Isokawa , Himeji Institute of Technology
Nobuyuki Matsui , Himeji Institute of Technology
pp. 149

Design of Ternary Schmitt Triggers Based on Its Sequential Characteristics (Abstract)

Yinshui Xia , Napier Universit
Xunwei Wu , Ningbo University
Penjung Wang , Ningbo University
pp. 156
Invited Talk

Optimization of Multi-Valued Multi-Level Networks (Abstract)

R. Brayton , University of California, Berkeley
M. Gao , University of California, Berkeley
J-H. Jiang , University of California, Berkeley
Y. Jiang , University of California, Berkeley
Y. Li , University of California, Berkeley
A. Mishchenko , Portland State University
S. Sinha , Parades
T. Villa , Parades
pp. 168
Algebra II

de Morgan Bisemilattice of Fuzzy Truth Value (Abstract)

Hiroaki Kikuchi , Tokai University
Noboru Takagi , Toyama Prefectural University
pp. 180

On Functions Defined on Free Boolean Algebras (Abstract)

Ivo Rosenberg , University of Montreal
Dan A. Simovici , University of Massachusetts at Boston
Szymon Jaroszewicz , University of Massachusetts at Boston
pp. 192
Logical Design III

Efficient Bridging Fault Simulation of Sequential Circuits Based on Multi-Valued Logics (Abstract)

Ilia Polian , Albert-Ludwigs-University
Piet Engelke , Albert-Ludwigs-University
Bernd Becker , Albert-Ludwigs-University
pp. 216
Invited Talk
Decision Diagrams

Variable Selection Heuristics and Optimum Decision Trees -- An Experimental Study (Abstract)

Masahiro Miyakawa , Tsukuba College of Technology
Nobuyuki Otsu , National Institute of AIST
Ivo G. Rosenberg , Université de Montréal
pp. 238

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

D. Michael Miller , University of Victoria
Rolf Drechsler , University of Bremen
pp. 245

Representations of Logic Functions Using QRMDDs (Abstract)

Shinobu Nagayama , Kyushu Institute of Technology
Tsutomu Sasao , Kyushu Institute of Technology
Yukihiro Iguchi , Meiji University
Munehiro Matsuura , Kyushu Institute of Technology
pp. 261
Circuits III

Fully Source-Coupled Logic Based Multiple-Valued VLSI (Abstract)

Tsukasa Ike , Tohoku University
Takahiro Hanyu , Tohoku University
Michitaka Kameyama , Tohoku University
pp. 270

Multi-Valued Flip-Flop with Neuron-CMOS NMIN Circuits (Abstract)

Motoi Inaba , Tsukuba College of Technology
Koichi Tanno , Miyazaki University
Okihiko Ishizuka , Miyazaki University
pp. 282

Author Index (PDF)

pp. 289
82 ms
(Ver 3.3 (11022016))