NDLI: Reviewers

Please wait, while we are loading the content...

2015 IEEE International Symposium on Multiple-Valued Logic

2014 IEEE 44th International Symposium on Multiple-Valued Logic

2013 IEEE 43rd International Symposium on Multiple-Valued Logic

2012 IEEE 42nd International Symposium on Multiple-Valued Logic

ISMVL 2012. IEEE 42nd International Symposium on Multiple-Valued Logic [Cover Art]

Proceedings, IEEE 42nd International Symposium on Multiple-Valued Logic. ISMVL 2012 [Title page i]

Proceedings. IEEE 42nd International Symposium on Multiple-Valued Logic [Title Page iii]

Copyright (c) 2012 by The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. [Copyright notice]

Table of contents

Welcome from the ISMVL-2012 Symposium Chair

Welcome from the ISMVL-2012 Program Chair

Program Committee

Multiple-Valued Time-Based Architecture for Serial Communication Links

Efficient Data Transmission Using Multiple-Valued Pulse-Position Modulation

Systematic Coding Schemes for Low-Power Multiple-Valued Current-Mode Asynchronous Communication Links

Global Multiple-Valued Clock Approach for High- Performance Multi-phase Clock Integrated Circuits

Building Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability Modulo Theory Solvers

Greedy Algorithms, Ordering of Variables, and d-degenerate Instances

Extremely Complex 4-Colored Rectangle-Free Grids: Solution of Open Multiple-Valued Problems

Using Formal Verification and Robotic Evolution Techniques to Find Contradictions in Laws Concerning Police Rules of Engagement

Synthesis of Permutative Quantum Circuits with Toffoli and TISC Gates

ESOP-Inspired Synthesis Method for Ternary Permutative Quantum Circuits

Using Hasse Diagrams to Synthesize Ternary Quantum Circuits

Exact Synthesis of Toffoli Gate Circuits with Negative Control Lines

Two new classification theorems on residuated monoids

Non-deterministic Matrices for Semi-canonical Deduction Systems

Modal Operators on Non-commutative Residuated Lattices

Prime Filters on Residuated Lattices

Asynchronous Stochastic Decoding of Low-Density Parity-Check Codes

Quaternary 1T-2MTJ Cell Circuit for a High-Density and a High-Throughput Nonvolatile Bit-Serial CAM

Unified Current-Source Control for Low-Power Current-Mode-Logic Bit-Serial Circuits

Formal Design of Multiple-Valued Arithmetic Algorithms over Galois Fields and Its Application to Cryptographic Processor

Complexity Study of the Continuous Valued Number System Adders

Analysis of Multi-state Systems with Multi-state Components Using EVMDDs

A BDD-Based Approach to Constructing LFSRs for Parallel CRC Encoding

Remarks on Shapes of Decision Diagrams and Classes of Multiple-Valued Functions

Representation of Incompletely Specified Binary and Multiple-Valued Logic Functions by Compact Decision Diagrams

Multi-terminal Multi-valued Decision Diagrams for Characteristic Function Representing Cluster Decomposition

Quantum Computing, Cryptography and Compilers

Linear Reversible Circuit Synthesis in the Linear Nearest-Neighbor Model

Optimal Quantum Circuits of Three Qubits

The Roots of the NOT Gate

Optimizing the Mapping of Reversible Circuits to Four-Valued Quantum Gate Circuits

Several Remarks on Index Generation Functions

Multiple-Valued Input Index Generation Functions: Optimization by Linear Transformation

Banzhaf Index and Boolean Difference

Gröbner Bases over Cyclic Post Algebras

Energy Efficiency of Multi-bit delta-sigma Modulators Using Inverter-based Integrators

Current-Source-Sharing Differential-Pair Circuits for a Low-Power Fine-Grain Reconfigurable VLSI Architecture

Process-Variation-Resilient OTA Using MTJ-based Multi-level Resistance Control

Mosaics, Fermat, Walsh (Aller guten Dinge sind drei)

SIFAR: Self-Identification of Lags of an Autoregressive TSK-based Model

Probabilistic Logic Programming with Well-Founded Negation

Issues in Multi-valued Multi-modal Sensor Fusion

Modeling Medical System Threats with Conditional Probabilities Using Multiple-Valued Logic Decision Diagrams

A Fault-Tolerant Area-Efficient Current-Mode ADC for Multiple-Valued Neural Networks

Clones of Incompletely Specified Operations

Hierarchies of Local Monotonicities and Lattice Derivatives for Boolean and Pseudo-Boolean Functions

Centralizing Monoids on a Three-Element Set

The Cardinality of the Set of All Clones Containing a Given Minimal Clone

A Survey on Intersections of Maximal Partial Clones of Boolean Partial Functions

Semirigid Systems of Equivalence Relations

A Synthesis Flow for Sequential Reversible Circuits

Using the Asynchronous Paradigm for Reversible Sequential Circuit Implementation

Quantum Pseudo-Fractional Fourier Transform Using Multiple-Valued Logic

A New Approach to Online Testing of TGFSOP-based Ternary Toffoli Circuits

Honouring Ivo G. Rosenberg: His Contributions to ISMVL

Counting Predicates, Subset Surjective Functions, and Counting CSPs

Triple Representation Theorem for Homogeneous Effect Algebras

List-Homomorphism Problems on Graphs and Arc Consistency

Rosenberg-Type Completeness Criteria for Subclones of Slupecki's Clone

On the Generation of (Minimal) Clones Containing Near-Unanimity Operations

IEEE Computer Society Technical & Conference Activities Board [Publisher's Information]

2011 41st IEEE International Symposium on Multiple-Valued Logic

2010 40th IEEE International Symposium on Multiple-Valued Logic

2009 39th International Symposium on Multiple-Valued Logic

38th International Symposium on Multiple Valued Logic (ismvl 2008)

37th International Symposium on Multiple-Valued Logic (ISMVL'07)

36th International Symposium on Multiple-Valued Logic (ISMVL'06)

35th International Symposium on Multiple-Valued Logic (ISMVL'05)

Proceedings. 34th International Symposium on Multiple-Valued Logic

33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings.

Proceedings 32nd IEEE International Symposium on Multiple-Valued Logic

Proceedings 31st IEEE International Symposium on Multiple-Valued Logic

Proceedings 30th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2000)

Proceedings 1999 29th IEEE International Symposium on Multiple-Valued Logic (Cat. No.99CB36329)

Proceedings. 1998 28th IEEE International Symposium on Multiple- Valued Logic (Cat. No.98CB36138)

Proceedings 1997 27th International Symposium on Multiple- Valued Logic

Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96)

Proceedings 25th International Symposium on Multiple-Valued Logic

Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94)

[1993] Proceedings of the Twenty-Third International Symposium on Multiple-Valued Logic

[1992] Proceedings The Twenty-Second International Symposium on Multiple-Valued Logic

[1991] Proceedings of the Twenty-First International Symposium on Multiple-Valued Logic

Proceedings of the Twentieth International Symposium on Multiple-Valued Logic

Proceedings. The Nineteenth International Symposium on Multiple-Valued Logic

[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in