The Community for Technology Leaders
2013 IEEE 43rd International Symposium on Multiple-Valued Logic (2005)
University of Calgary, Canada
May 19, 2005 to May 21, 2005
ISSN: 0195-623X
ISBN: 0-7695-2336-6
TABLE OF CONTENTS

Two New Awards (PDF)

pp. xiii
Session 1: Keynote Address

Classical vs Quantum Fingerprinting (Abstract)

Barry Sanders , University of Calgary, Canada
pp. 2-5
Session 2A: Algebra I

An Abstract Axiomatization of the Notion of Entropy (Abstract)

Dan A. Simovici , Univ. of Massachusetts Boston, USA
Ivo G. Rosenberg , Universit? de Montr?al, Canada
pp. 8-13

On Prior's Three-Valued Modal Logic Q (Abstract)

Yasunori Nagata , University of the Ryukyus, Japan
Seiki Akama , Teikyo Heisei University, Japan
pp. 14-19

Polynomial Ring Calculus for Many-Valued Logics (Abstract)

Walter Carnielli , State University of Campinas - UNICAMP, Brazil
pp. 20-25

Partially Ordered Set with Residuated t-norm (Abstract)

Mayuka F. Kawaguchi , Hokkaido University, Japan
Michiro Kondo , Tokyo Denki University, Japan
pp. 26-29
Session 2B: Circuits I

A Two-Bit-per-Cell Content-Addressable Memory Using Single-Electron Transistors (Abstract)

Hiroshi Inokawa , NTT Corporation, Japan
Katsuhiko Degawa , Tohoku University, Japan
Tatsuo Higuchi , Tohoku Institute of Technology, Japan
Yasuo Takahashi , Hokkaido University, Japan
Takafumi Aoki , Tohoku University, Japan
pp. 32-38

Multi-Valued DNA-Based Electronic Nanodevices (Abstract)

Marina Alexandra Lyshevski , Microsystems and Nanotechnologies, Webster, NY
pp. 39-42

A Design of 10-GHz Delta-Sigma Modulator using a 4-Level Differential Resonant-Tunneling Quantizer (Abstract)

Keisuke Eguchi , Sophia University, Japan
Masaru Chibashi , Sophia University, Japan
Takao Waho , Sophia University, Japan
pp. 43-47

Multi-Valued Nanoelectronics With Fullerenes (Abstract)

Sergey Edward Lyshevski , Rochester Institute of Technology, New York
pp. 48-53

A Novel Ternary Switching Element Using CMOS Recharge Semi Floating-Gate Devices (Abstract)

Ren? Jensen , University of Oslo, Norway
Henning Gundersen , University of Oslo, Norway
Yngvar Berg , University of Oslo, Norway
pp. 54-58
Session 3: Tutorial on Clones

null (PDF)

pp. null
Session 4A: Logic Design I

Test Generation and Fault Localization for Quantum Circuits (Abstract)

Jacob Biamonte , Portland State University, Portland, OR
Martin Lukac , Portland State University, Portland, OR
Marek Perkowski , Portland State University, Portland, OR
pp. 62-68

Hardware to Compute Walsh Coefficients (Abstract)

Yukihiro Iguchi , Meiji University
Tsutomu Sasao , Kyushu Institute of Technology
pp. 75-81

Three Dimensional Multi-Valued Design in Nanoscale Integrated Circuits (Abstract)

Sergey Edward Lyshevski , Rochester Institute of Technology, New York
pp. 82-87

Multiple-Valued Logic Approach for a Systolic^2 AB Circuit in Galois Field (Abstract)

Pepe Siy , Wayne State University, Detroit, MI
Nabil Abu-Khader , Wayne State University, Detroit, MI
pp. 88-93
Session 4B: Clones and Algebraic Aspects

On the Partial Hyperclone Lattice (Abstract)

Gradimir Vojvodic , University of Novi Sad, Serbia and Montenegro
Jovanka Pantovic , University of Novi Sad, Serbia and Montenegro
pp. 96-100

Partial Clones Determined by Concatenated Relations (Abstract)

L. Haddad , Coll?ge militaire royal du Canada, Canada
I. G. Rosenberg , Universit? de Montr?al, Canada
pp. 101-106

Semirigid Equivalence Relations - A New Proof Method (Abstract)

Ivo G. Rosenberg , Universit? de Montr?al, Canada
Masahiro Miyakawa , Tsukuba College of Technology, Japan
Hisayuki Tatsumi , Tsukuba College of Technology, Japan
pp. 107-112
Session 5A: Circuits II

Multiple-Valued VLSI Architecture for Intra-Chip Packet Data Transfer (Abstract)

Yuya Homma , Tohoku University, Japan
Tomoaki Hasegawa , Tohoku University, Japan
Michitaka Kameyama , Tohoku University, Japan
pp. 114-119

Multiple-Valued Caches for Power-Efficient Embedded Systems (Abstract)

Resit Sendag , University of Rhode Island, USA
Emre ?zer , ARM Ltd. Cambridge, UK
David Gregg , Trinity College Dublin, Ireland
pp. 126-131

Analog Soft Decoding for Multi-Level Memories (Abstract)

Chris Winstead , Utah State University, Logan, UT
pp. 132-137

Multiple-Valued Duplex Asynchronous Data Transfer Scheme for Interleaving in LDPC Decoders (Abstract)

Takahiro Hanyu , Tohoku University, Japan
Naoya Onizawa , Tohoku University, Japan
Akira Mochizuki , Tohoku University, Japan
Vincent C. Gaudet , University of Alberta, Edmonton, Canada
pp. 138-143
Session 5B: Fuzzy Logic and Neural Networks

The Alleged Limitations of Fuzzy Control (Abstract)

Phil Serchuk , University of Calgary, Canada
pp. 154-159

A New Aspect for the Optimization of Fuzzy If-Then Rules (Abstract)

Rodrigo Salas , University of Valpara?so, Chile
Claudio Moraga , University of Dortmund, Germany
pp. 160-165
Session 6: Invited Address

Approaching the Physical Limits of Computing (Abstract)

Michael P. Frank , FAMU-FSU College of Engineering
pp. 168-185
Session 7A: Spectral Transforms

Remarks on the Structure of Matrix-Valued Spectral Transforms on Finite Non-Abelian Groups (Abstract)

Jaakko Astola , Tampere University of Technology, Finland
Claudio Moraga , Dortmund University, Germany
Radomir S. Stankovic , Faculty of Electronics, Serbia
pp. 188-193

The Karhunen-Lo?ve Transform of Discrete MVL Functions (Abstract)

Mitchell Aaron Thornton , Southern Methodist University, Dallas, Texas
pp. 194-199

Properties and Relations of Quaternary Linearly Independent Helix Transformations (Abstract)

Cheng Fu , Nanyang Technological University, Singapore
Bogdan J. Falkowski , Nanyang Technological University, Singapore
pp. 200-205

Classes of Fastest Quaternary Linearly Independent Transformations (Abstract)

Bogdan J. Falkowski , Nanyang Technological University, Singapore
Cheng Fu , Nanyang Technological University, Singapore
pp. 206-211
Session 7B: Algebra II

Many-Valued Intuitionistic Implication and Inference Closure in a Bilattice-Based Logic (Abstract)

Zoran Majkic , UMIACS, University of Maryland, College Park, MD
pp. 214-220

A Note on Triangulation of PostAlgebras and ?Leibnizian? Lattices (Abstract)

Michel Serfati , Universit? Paris VII-Denis Diderot, France
pp. 221-226

Centralizers of Monoids Containing the Symmetric Group (Abstract)

Ivo G. Rosenberg , Universit? de Montr?al, Canada
Hajime Machida , Hitotsubashi University, Japan
pp. 227-233
Session 8: Invited Address

Hahoe KAIST Robot Theatre: Learning Rules of Interactive Robot Behavior as a Multiple-Valued Logic Synthesis Problem (Abstract)

Martin Lukac , Portland State University, Oregon
Marek Perkowski , Portland State University, Oregon; Korea Advanced Institute of Science and Technology, KAIST, Daejeon, Republic of Korea
Stefan Gebauer , Chemnitz University of Technology, Germany
Tsutomu Sasao , Kyushu Institute of Technology, Japan
Jeff Allen , Portland State University, Oregon
Jong-Hwan Kim , Korea Advanced Institute of Science and Technology, KAIST, Daejeon, Republic of Korea
pp. 236-248
Session 9A: Logic Design II

Controlling the Memory During Manipulation of Word-Level Decision Diagrams (Abstract)

G?rschwin Fey , University of Bremen, Germany
Rolf Drechsler , University of Bremen, Germany
Sebastian Kinder , University of Bremen, Germany
pp. 250-255

Radix Converters: Complexity and Implementation by LUT Cascades (Abstract)

Tsutomu Sasao , Kyushu Institute of Technology, Japan
pp. 256-263

Dynamic Reliability Indices for k-out-of-n Multi-State System (Abstract)

S. Puuronen , University of Jyv?skyl?, Finland
E. Zaitseva , University of Zilina, Slovakia
V. Levashenko , University of Zilina, Slovakia
K. Matiasko , University of Zilina, Slovakia
pp. 264-269

A Characterization of Antisymmetry in Boolean and Multi-Valued Functions (Abstract)

J. E. Rice , University of Lethbridge, Alberta, Canada
J. C. Muzio , University of Victoria, British Columbia, Canada
pp. 270-275

Estimation of Average Multiple-Valued Logic Circuit Size Using Monte Carlo Simulation Technique (Abstract)

Ronald J. Bolton , University of Saskatchewan, Saskatoon, SK, Canada
Daniel H. Y. Teng , University of Saskatchewan, Saskatoon, SK, Canada
pp. 276-281
Session 9B: Algebra III

Normal Forms for the One-Variable Fragment of H?jek's Basic Logic (Abstract)

Stefano Aguzzoli , University of Milano, Italy
Brunella Gerla , University of Salerno, Italy
pp. 284-289

Mapping Many-Valued CNF Formulas to Boolean CNF Formulas (Abstract)

C. Ans?tegui , Cornell University, Ithaca, NY
F. Many? , IIIA-CSIC, Bellaterra, Spain
pp. 290-295

Quantification in Non-Deterministic Multi-Valued Structures (Abstract)

Anna Zamansky , Tel-Aviv University
Arnon Avron , Tel-Aviv University
pp. 296-301

Author Index (PDF)

pp. 302
94 ms
(Ver )