Day |
Morning |
Afternoon | ||

May 16 |
||||

May 17 |
Opening
address1. Invited Talk ( Zadeh) |
2a. Logic Design
I2b. Functional Expressions |
3a. Fuzzy
Logic3b. LSI Design |
4a. Logic Design II4b.
Logics and Algebras |

May 18 |
5. Invited Talk
( Asai) |
6a. LSI
Circuits6b. Decision Diagrams I |
7a. Nano
Technology7b. Modeling &
Simulation |
8a. Clone Theory9b. Spectral TechniquesPlenary MeetingBanquet (18:00 ~
21:00) |

May 19 |
9. Invited
Talk( Krokhin) |
10a.
Applications10b. Decision Diagrams
IIClosing |
. |

**May 17, Morning: 9:10~10:30 &
10:40~12:20****Opening
address****1. Invited Talk.
***Chair M.
Mukaidono*

Fuzzy Logic as a Basis for a Theory of Hierarchical Definability

Implementation of Multiple-Valued Functions Using Literal Splitting Technique

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

A New Construction of the Irreducible Polynomial for Parallel Multiplier over GF(2m)

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

Polynomial Expansions over GF(3) based on Fastest Transformation

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

Optimization of GF(4) expressions using the extended dual polarity property

Normal Forms for Fuzzy Logic Functions

On Fuzzy (Lukasiewicz) Type Theory

Universes of Fuzzy Sets – A Short Survey

Fixed Points for Fuzzy Rule Bases and Fuzzy Chaining Syllogism

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

Counter Tree Diagrams for Design and Analysis of Fast Addition Algorithms

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

MVL Circuit Design and Characterization in SUS-LOC Technology

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

Generation method of the Generalized Reed-Muller Coefficient Using the Triangle Cell

A Cascade Realization of Two-Valued Input Multiple-Valued Output Functions Using Decomposition of Group Functions

A novel technology mapping for AND/XOR expression

Iterative Symmetry Indices Decomposition for Logic Synthesis in Three-Dimensional Space

Multi-Output Galois Field Sum of Product (GFSOP) Synthesis with New Quantum Cascades

Relationship between UCHT and FFT

Several Remarks on Non-Boolean Functions over Boolean Algebras

Complete and Independent Sets of Axioms of Boolean Algebra

Characterization of the Axiomatizable Prenex Fragments of First-Order Godel Logics

New Logical and Complexity Results for Signed-SAT

From Intuitionistic Logic to Godel-Dummett Logic via Parallel Dialogue Games

Multiple-Valued Dynamic Source-Coupled Logic

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

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

A Novel Multiple-Input Multiple-Valued Semi-Floating-Gate Latch

On the Size of Multiple-Valued Decision Diagrams

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

Compact Representations of Logic Functions using Heterogeneous MDDs

Complexity of Decision Trees for Boolean Operators

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

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

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

Modeling Multi-Valued Circuits in System C

Dynamic Reliability Indices for Multi-State System

CTH Model Checking over Logics with Non-Classical Negation

On the Centralizers of Monoids in Clone Theory

Generation of the Post Lattice by Irreducible Clones

Partial Clones Containing all Monotonic Idempotent Boolean Partial Functions

Family of Fast Transforms over GF(3) Logic

Spectral Transforms of Mixed-radix MVL Functions

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

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

Learning subjective probabilities from a small data set

Using Games for Benchmarking and Representing the Complete Solution Space Using Symbolic Techniques

From Continuous to Multiple-valued Data

Augmented Sifting of Multiple-Valued Decision Diagrams

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

Generalized Complex Spectral Decision Diagrams Using Unified Complex Hadamard Transform

*Provided by Takao Waho,
ISMVL-2003 Program Chair: *