CSDL - Proceedings I

Title Page i (PDF)

pp. i

Title Page iii (PDF)

pp. iii

pp. iv

Table of Contents (PDF)

pp. v-viii

Preface (PDF)

pp. ix-x

Organizing Committee (PDF)

pp. xi

Program Committee (PDF)

pp. xii

Additional Reviewers (PDF)

pp. xiii

Keynote Address Abstract (PDF)

pp. xiv

Spectral Techniques: The First Decade of the XXI Century (Invited Paper) (Abstract)

Claudio Moraga

pp. 3-8

PDF

Minimal Unsatisfiability: Models, Algorithms and Applications (Invited Paper) (Abstract)

Joao Marques-Silva

pp. 9-14

PDF

MDGs Reduction Technique Based on the HOL Theorem Prover (Abstract)

Sa'ed Abed

Otmane Ait Mohamed

pp. 15-20

PDF

The Automorphism Group of Finite Godel Algebras (Abstract)

pp. 21-26

PDF

Schauder Hats for the Two-Variable Fragment of BL (Abstract)

Stefano Aguzzoli

Simone Bova

pp. 27-32

PDF

Learning of the Non-threshold Functions of Multiple-Valued Logic by a Single Multi-valued Neuron with a Periodic Activation Function (Abstract)

Igor Aizenberg

pp. 33-38

PDF

Synthesis of Reversible Circuits with No Ancilla Bits for Large Reversible Functions Specified with Bit Equations (Abstract)

pp. 39-45

PDF

New Insights into Encodings from MaxCSP into Partial MaxSAT (Abstract)

pp. 46-52

PDF

Non-deterministic Multi-valued Logics--A Tutorial (Abstract)

Arnon Avron

Anna Zamansky

pp. 53-60

PDF

Logics of Reasonable Information Sources (Abstract)

pp. 61-66

PDF

Design of Tamper-Resistant Registers for Multiple-Valued Cryptographic Processors (Abstract)

pp. 67-72

PDF

On a Graded Notion of t-Norm and Dominance (Abstract)

Libor Behounek

Petr Cintula

Ulrich Bodenhofer

Susanne Saminger-Platz

Peter Sarkoci

pp. 73-78

PDF

Low Voltage Semi Floating-Gate Binary to Multiple-Value and Multiple-Value to Binary Converters (Abstract)

Y. Berg

pp. 79-82

PDF

Infinite-Valued Lukasiewicz Logic Based on Principal Lattice Filters (Abstract)

Félix Bou

pp. 83-88

PDF

Completions in Subvarieties of BL-Algebras (Abstract)

Manuela Busaniche

Leonardo Manuel Cabrer

pp. 89-92

PDF

Two Many Values: An Algorithmic Outlook on Suszko's Thesis (Abstract)

Carlos Caleiro

João Marcos

pp. 93-97

PDF

Truth-Functionality, Rough Sets and Three-Valued Logics (Abstract)

Davide Ciucci

Didier Dubois

pp. 98-103

PDF

Co-stone Residuated Lattices (Abstract)

Claudia Muresan

pp. 104-107

PDF

The Euler Characteristic of a Formula in Godel Logic (Abstract)

pp. 108-112

PDF

The Arity Gap of Polynomial Functions over Bounded Distributive Lattices (Abstract)

Miguel Couceiro

Erkko Lehtonen

pp. 113-116

PDF

Classes of Operations Closed under Permutation, Cylindrification and Composition (Abstract)

Miguel Couceiro

Erkko Lehtonen

pp. 117-121

PDF

Finitely Generated Maximal Partial Clones and Their Intersections (Abstract)

Miguel Couceiro

Lucien Haddad

pp. 122-127

PDF

Satyendra R.P. Raju Datla

Quaternary Voltage-Mode Logic Cells and Fixed-Point Multiplication Circuits (Abstract)

Mitchell A. Thornton

pp. 128-133

PDF

Revisiting Ultraproducts in Fuzzy Predicate Logics (Abstract)

Pilar Dellunde

pp. 134-139

PDF

Generating the Variety of SMV-Algebras (Abstract)

Antonio Di Nola

Tommaso Flaminio

pp. 140-143

PDF

Finding Attractors in Synchronous Multiple-Valued Networks Using SAT-Based Bounded Model Checking (Abstract)

pp. 144-149

PDF

An Evolutionary Algorithm for Optimization of Pseudo Kronecker Expressions (Abstract)

Alexander Finder

Rolf Drechsler

pp. 150-155

PDF

Efficient Simulation-Based Debugging of Reversible Logic (Abstract)

pp. 156-161

PDF

Representing Fuzzy Structures in Quantum Computation with Mixed States (Abstract)

pp. 162-166

PDF

Switching Activity in Stochastic Decoders (Abstract)

Vincent C. Gaudet

Warren J. Gross

pp. 167-172

PDF

Toffoli Gate Implementation Using the Billiard Ball Model (Abstract)

Hadi Hosseini

Gerhard W. Dueck

pp. 173-178

PDF

Low-Power Multiple-Valued Reconfigurable VLSI Based on Superposition of Bit-Serial Data and Current-Source Control Signals (Abstract)

pp. 179-184

PDF

Note on Construction of Probabilities on Many-Valued Events via Schauder Bases and Inverse Limits (Abstract)

Tomáš Kroupa

pp. 185-188

PDF

A Classification of Partial Boolean Clones (Abstract)

Dietlinde Lau

Karsten Schölzel

pp. 189-194

PDF

Endoprimal Monoids and Witness Lemma in Clone Theory (Abstract)

Hajime Machida

Ivo G. Rosenberg

pp. 195-200

PDF

Galois Connection for Hyperclones (Abstract)

pp. 201-204

PDF

Interpolation Properties for Uninorm Based Logics (Abstract)

Enrico Marchioni

George Metcalfe

pp. 205-210

PDF

One-Color Two-Phase Asynchronous Communication Links Based on Multiple-Valued Simultaneous Control (Abstract)

pp. 211-216

PDF

Reducing Reversible Circuit Cost by Adding Lines (Abstract)

pp. 217-222

PDF

Floating-Point Numeric Function Generators Based on Piecewise-Split EVMDDs (Abstract)

pp. 223-228

PDF

A Comparison of Architectures for Various Decision Diagram Machines (Abstract)

pp. 229-234

PDF

Low-Energy Pipelined Multiple-Valued Current-Mode Circuit with 8-Level Static Current-Source Control (Abstract)

pp. 235-240

PDF

Reconstruction of Additive Generators from Partial Derivatives of Continuous Archimedean t-Norms (Abstract)

pp. 241-244

PDF

Synthesis of Small Reversible and Pseudo-Reversible Circuits Using Y-Gates and Inverse Y-Gates (Abstract)

pp. 245-251

PDF

A Graded Inference Approach Based on Infinite-Valued Lukasiewicz Semantics (Abstract)

David Picado Muiño

pp. 252-257

PDF

Multiple-Valued Logic Interpretations of Analogical, Reverse Analogical, and Paralogical Proportions (Abstract)

Henri Prade

Gilles Richard

pp. 258-263

PDF

Secure Design Flow for Asynchronous Multi-valued Logic Circuits (Abstract)

pp. 264-269

PDF

Mapping Binary Functions to a Practical Adiabatic Quantum Computer (Abstract)

David Rosenbaum

Marek Perkowski

pp. 270-275

PDF

ESOP-Based Toffoli Network Generation with Transformations (Abstract)

Yasaman Sanaee

Gerhard W. Dueck

pp. 276-281

PDF

On the Number of Products to Represent Interval Functions by SOPs with Four-Valued Variables (Abstract)

Tsutomu Sasao

pp. 282-287

PDF

Number of Maximal Partial Clones (Abstract)

Karsten Schölzel

pp. 288-293

PDF

Information-Theoretical Mining of Determining Sets for Partially Defined Functions (Abstract)

pp. 294-299

PDF

Queries with Multivalued Logic-Based Semantics for Imperfect Information Fusion (Abstract)

Daniel Stamate

pp. 300-306

PDF

Heterogeneous Decision Diagrams for Applications in Harmonic Analysis on Finite Non-Abelian Groups (Abstract)

pp. 307-312

PDF

Remarks on Applicability of Spectral Representations on Finite Non-Abelian Groups in the Design for Regularity (Abstract)

pp. 313-318

PDF

An Ontology Mediated Multimedia Information Retrieval System (Abstract)

Umberto Straccia

pp. 319-324

PDF

A Low-Power Successive Approximation Analog-to-Digital Converter Based on 2-Bit/Step Comparison (Abstract)

pp. 325-330

PDF

A Ternary Partial-Response Signaling Scheme for Capacitively Coupled Interface (Abstract)

Yasushi Yuminaka

Kyohei Kawano

pp. 331-336

PDF

Author Index (PDF)

pp. 337-338

Publisher's Information (PDF)

pp. 340