CSDL - Proceedings I

Title Page i (PDF)

pp. i

Title Page iii (PDF)

pp. iii

pp. iv

Table of Contents (PDF)

pp. v-x

Message from the Symposium Chair (PDF)

pp. xi

Message from the Program Chair (PDF)

pp. xii-xiii

Symposium Committees (PDF)

pp. xiv-xvi

Reviewers List (PDF)

pp. xvii

Counting Problems and Clones of Functions (Abstract)

Andrei A. Bulatov

pp. 1-6

PDF

Web-Based Nursing Care Quality Improvement System with Fuzzy Recommendation System (Abstract)

pp. 7-11

PDF

A Study of Practical Causality Acquisition among Vital Signals (Abstract)

Naoki Tsuchiya

Hiroshi Nakajima

pp. 12-17

PDF

Biometric System by Foot Pressure Change Based on Neural Network (Abstract)

Hong Ye

pp. 18-23

PDF

Fuzzy Logic Assisted Quantification of Gyral Deformation Index Using Magnetic Resonance Images for the Infantile Brain (Abstract)

pp. 24-29

PDF

Fuzzy Rule Extraction from Nursing-Care Texts (Abstract)

pp. 30-35

PDF

Robust Multiple-Valued Current-Mode Circuit Components Based on Adaptive Reference-Voltage Control (Abstract)

Naoya Onizawa

Takahiro Hanyu

pp. 36-41

PDF

Optimization of Current-Mode MVD-ORNS Arithmetic Circuits (Abstract)

pp. 42-47

PDF

16-level Current-Mode Multiple-Valued Dynamic Memory with Increased Noise Margin (Abstract)

pp. 48-53

PDF

Multiple-Valued Reconfigurable VLSI Processor Based on Superposition of Data and Control Signals (Abstract)

Nobuaki Okada

Michitaka Kameyama

pp. 54-59

PDF

Timing-Variation-Aware Multiple-Valued Current-Mode Circuit for a Low-Power Pipelined System (Abstract)

pp. 60-65

PDF

Mining Approximative Descriptions of Sets Using Rough Sets (Abstract)

Dan A. Simovici

Selim Mimaroglu

pp. 66-71

PDF

Positive Primitive Structures (Abstract)

Boris A. Romov

pp. 72-76

PDF

Paradigms for Non-classical Substitutions (Abstract)

pp. 77-79

PDF

Bounding the Phase Transition on Edge Matching Puzzles (Abstract)

pp. 80-85

PDF

Efficient Implementation of Controlled Operations for Multivalued Quantum Logic (Abstract)

David Rosenbaum

Marek Perkowski

pp. 86-91

PDF

Quantum Finite State Machines as Sequential Quantum Circuits (Abstract)

Martin Lukac

Marek Perkowski

pp. 92-97

PDF

Synthesis of GF(3) Based Reversible/Quantum Logic Circuits without Garbage Output (Abstract)

Md. Mahmud Muntakim Khan

pp. 98-102

PDF

Quantum Realization of Multiple-Valued Feynman and Toffoli Gates without Ancilla Input (Abstract)

Mozammel H.A. Khan

pp. 103-108

PDF

Multi-valued Modal Fixed Point Logics for Model Checking (Abstract)

Koki Nishizawa

pp. 109-113

PDF

Minimal Coverings of Maximal Partial Clones (Abstract)

Karsten Schölzel

pp. 114-119

PDF

Frozen Boolean Partial Co-clones (Abstract)

Gustav Nordh

Bruno Zanuttini

pp. 120-125

PDF

The Minimal Covering of Maximal Partial Clones in 4-valued Logic (Abstract)

Karsten Schölzel

pp. 126-131

PDF

On the Guidance of Reversible Logic Synthesis by Dynamic Variable Reordering (Abstract)

David Y. Feinstein

Mitchell A. Thornton

pp. 132-138

PDF

Design of a High-Speed Fuzzy Logic Controller Based on Log-Domain Arithmetic (Abstract)

pp. 139-144

PDF

The Use of Multiple Connected Pseudo Minterms in the Synthesis of MVL Functions (Abstract)

Bambang A.B. Sarif

Mostafa Abd-El-Barr

pp. 145-150

PDF

A Two-Pronged Approach of Power-Aware Voltage Scheduling for Real-Time Task Graphs in Multi-processor Systems (Abstract)

pp. 151-156

PDF

Computational Neuroscience and Multiple-Valued Logic (Abstract)

Mitsuo Kawato

pp. 157-160

PDF

Hyperclones Determined by Total-Parts of Hyper-relations (Abstract)

Hajime Machida

Jovanka Pantovic

pp. 161-166

PDF

On Endoprimal Monoids in Clone Theory (Abstract)

Hajime Machida

Ivo G. Rosenberg

pp. 167-172

PDF

Partial Clones Containing All Selfdual Monotonic Boolean Partial Functions (Abstract)

Lucien Haddad

pp. 173-178

PDF

On Periodic Patterns and their Spectra (Abstract)

pp. 179-184

PDF

Generalized Discrete Hartley Transforms (Abstract)

Claudio Moraga

pp. 185-190

PDF

Generating Hard Instances for MaxSAT (Abstract)

pp. 191-195

PDF

Regular Encodings from Max-CSP into Partial Max-SAT (Abstract)

pp. 196-202

PDF

Multi-level Signaling for Chip-to-Chip and Backplane Communication (A Tutorial) (Abstract)

Ali Sheikholeslami

pp. 203-207

PDF

An Overview of a Software Tool in Rough Non-deterministic Information Analysis (Abstract)

pp. 208-213

PDF

On Decision Making under Interval Uncertainty: A New Justification of Hurwicz Optimism-Pessimism Approach and its Use in Group Decision Making (Abstract)

pp. 214-220

PDF

Optimization of Fuzzy If-Then Rule Bases by Evolutionary Tuning of the Operations (Abstract)

pp. 221-226

PDF

Non-convex Fuzzy Truth Values and De Morgan Bisemilattices (Abstract)

Noboru Takagi

pp. 227-232

PDF

Evaluation of the Hierarchical Temporal Memory as Soft Computing Platform and its VLSI Architecture (Abstract)

pp. 233-238

PDF

Multiple-Valued Constant-Power Adder for Cryptographic Processors (Abstract)

pp. 239-244

PDF

Time-Interleaved Polyphase Decimation Filter Using Signed-Digit Adders (Abstract)

pp. 245-249

PDF

Multiple-Valued Data Transmission Based on Time-Domain Pre-emphasis Techniques in Consideration of Higher-Order Channel Effects (Abstract)

pp. 250-255

PDF

pp. 256-261

PDF

Multiple Valued Logic Algebra for the Synthesis of Digital Circuits (Abstract)

pp. 262-267

PDF

Designing and Using FPGAs beyond Classical Binary Logic: Opportunities in Nano-Scale Integration Age (Abstract)

Zeljko Zilic

pp. 268-273

PDF

Attribute Reduction as Calculation of Focus in Granular Reasoning (Abstract)

Yasuo Kudo

Tetsuya Murai

pp. 274-279

PDF

Clarifying the Systems of Axioms Based on the Method of Indeterminate Coefficients (Abstract)

Tomoko Ninomiya

Masao Mukaidono

pp. 280-285

PDF

Applying Rough Sets to Information Tables Containing Missing Values (Abstract)

Michinori Nakata

Hiroshi Sakai

pp. 286-291

PDF

Generalized Extended t-Norms as t-Norms of Type 2 (Abstract)

Mayuka F. Kawaguchi

Masaaki Miyakoshi

pp. 292-297

PDF

Evaluation of Cardinality Constraints on SMT-Based Debugging (Abstract)

pp. 298-303

PDF

Application of Covering Codes for Reduced Representations of Logic Functions (Abstract)

Jaakko T. Astola

Radomir S. Stankovic

pp. 304-311

PDF

Ternary Logic by 3rd Subharmonics and its Application to Multiway Switches (Abstract)

Takako Soma

Takashi Soma

pp. 312-317

PDF

Fixed Polarity Quaternary Transforms Derived from Linearly Independent Transform over GF(2) Structure (Abstract)

pp. 318-323

PDF

Equivalence Checking of Reversible Circuits (Abstract)

pp. 324-330

PDF

Multi-path Switching Device Utilizing a Multi-terminal Nanowire Junction for MDD-Based Logic Circuit (Abstract)

pp. 331-336

PDF

Multiple-Valued Logic Gates Using Asymmetric Single-Electron Transistors (Abstract)

pp. 337-342

PDF

Scalable Architectures for Design of Reversible Quaternary Multiplexer and Demultiplexer Circuits (Abstract)

Mozammel H.A. Khan

pp. 343-348

PDF

Floating-Point Numerical Function Generators Using EVMDDs for Monotone Elementary Functions (Abstract)

pp. 349-355

PDF

Representing the Genetic Code as a Function on a Galois Field Using the Reed-Muller Expansion (Abstract)

pp. 356-361

PDF

A Quaternary Decision Diagram Machine and the Optimization of its Code (Abstract)

pp. 362-369

PDF

Quaternary Reed-Muller Expansions of Mixed Radix Arguments in Cryptographic Circuits (Abstract)

pp. 370-376

PDF

Author Index (PDF)

pp. 377-379

Publisher Information (PDF)

pp. 380