Wireline and Clocking

• 
  Mostafa Rashdan, James W. Haslett, Brent Maundy: Multiple-Valued Time-Based Architecture for Serial Communication Links. 1-6
• 
  Yasushi Yuminaka, Masaaki Okui: Efficient Data Transmission Using Multiple-Valued Pulse-Position Modulation. 7-12
• 
  Atsushi Matsumoto, Naoya Onizawa, Takahiro Hanyu: Systematic Coding Schemes for Low-Power Multiple-Valued Current-Mode Asynchronous Communication Links. 13-18
• 
  Rohit P. Menon, Mitchell A. Thornton: Global Multiple-Valued Clock Approach for High- Performance Multi-phase Clock Integrated Circuits. 19-24

SAT

• 
  Carlos Ansótegui, Miquel Bofill, Felip Manyà, Mateu Villaret: Building Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability Modulo Theory Solvers. 25-30
• 
  Cong Wang, Andrei A. Bulatov: Greedy Algorithms, Ordering of Variables, and d-degenerate Instances. 31-36
• 
  Bernd Steinbach, Christian Posthoff: Extremely Complex 4-Colored Rectangle-Free Grids: Solution of Open Multiple-Valued Problems. 37-44
• 
  Terrance Sun, Lawrence Sun, Marek A. Perkowski: Using Formal Verification and Robotic Evolution Techniques to Find Contradictions in Laws Concerning Police Rules of Engagement. 45-49

Quantum Circuits

• 
  Edison Tsai, Marek A. Perkowski: Synthesis of Permutative Quantum Circuits with Toffoli and TISC Gates. 50-56
• 
  Sidharth Dhawan, Marek A. Perkowski: ESOP-Inspired Synthesis Method for Ternary Permutative Quantum Circuits. 57-62
• 
  Maher Hawash, Marek A. Perkowski: Using Hasse Diagrams to Synthesize Ternary Quantum Circuits. 63-68
• 
  Robert Wille, Mathias Soeken, Nils Przigoda, Rolf Drechsler: Exact Synthesis of Toffoli Gate Circuits with Negative Control Lines. 69-74

Algebra and Logic

• 
  Sándor Jenei, Franco Montagna: Two new classification theorems on residuated monoids. 75-78
• 
  Ori Lahav: Non-deterministic Matrices for Semi-canonical Deduction Systems. 79-84
• 
  Michiro Kondo, Mayuka F. Kawaguchi: Modal Operators on Non-commutative Residuated Lattices. 85-88
• 
  Michiro Kondo, Esko Turunen: Prime Filters on Residuated Lattices. 89-91

Arithmetic Circuits

• 
  Naoya Onizawa, Vincent C. Gaudet, Takahiro Hanyu, Warren J. Gross: Asynchronous Stochastic Decoding of Low-Density Parity-Check Codes. 92-97
• 
  Shoun Matsunaga, Takahiro Hanyu: Quaternary 1T-2MTJ Cell Circuit for a High-Density and a High-Throughput Nonvolatile Bit-Serial CAM. 98-103
• 
  Shogo Kisara, Michitaka Kameyama: Unified Current-Source Control for Low-Power Current-Mode-Logic Bit-Serial Circuits. 104-109
• 
  Naofumi Homma, Kazuya Saito, Takafumi Aoki: Formal Design of Multiple-Valued Arithmetic Algorithms over Galois Fields and Its Application to Cryptographic Processor. 110-115
• 
  Babak Zamanlooy, Ashley Novak, Mitra Mirhassani: Complexity Study of the Continuous Valued Number System Adders. 116-121

Decision Diagrams

• 
  Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler: Analysis of Multi-state Systems with Multi-state Components Using EVMDDs. 122-127
• 
  Elena Dubrova, Shohreh Sharif Mansouri: A BDD-Based Approach to Constructing LFSRs for Parallel CRC Encoding. 128-133
• 
  Stanislav Stankovic, Radomir S. Stankovic, Jaakko Astola: Remarks on Shapes of Decision Diagrams and Classes of Multiple-Valued Functions. 134-141
• 
  Milena Stankovic, Suzana Stojkovic, Radomir S. Stankovic: Representation of Incompletely Specified Binary and Multiple-Valued Logic Functions by Compact Decision Diagrams. 142-147
• 
  Hiroki Nakahara, Tsutomu Sasao, Munehiro Matsuura: Multi-terminal Multi-valued Decision Diagrams for Characteristic Function Representing Cluster Decomposition. 148-153

Invited Address I

• 
  Michele Mosca: Quantum Computing, Cryptography and Compilers. 154-156

Quantum Circuits

• 
  Ben Schaeffer, Marek A. Perkowski: Linear Reversible Circuit Synthesis in the Linear Nearest-Neighbor Model. 157-160
• 
  Md. Mazder Rahman, Gerhard W. Dueck: Optimal Quantum Circuits of Three Qubits. 161-166
• 
  Alexis De Vos, Stijn De Baerdemacker: The Roots of the NOT Gate. 167-172
• 
  Mathias Soeken, Zahra Sasanian, Robert Wille, D. Michael Miller, Rolf Drechsler: Optimizing the Mapping of Reversible Circuits to Four-Valued Quantum Gate Circuits. 173-178

Switching Theory

• 
  Dan A. Simovici, Marius Zimand, Dan Pletea: Several Remarks on Index Generation Functions. 179-184
• 
  Tsutomu Sasao: Multiple-Valued Input Index Generation Functions: Optimization by Linear Transformation. 185-190
• 
  Yoshinori Yamamoto: Banzhaf Index and Boolean Difference. 191-196
• 
  Blanca Fernanda López Martinolich: Gröbner Bases over Cyclic Post Algebras. 197-202

Mixed-Signal Design

• 
  Hiroaki Kotani, Ryoto Yaguchi, Takao Waho: Energy Efficiency of Multi-bit delta-sigma Modulators Using Inverter-based Integrators. 203-207
• 
  Xu Bai, Michitaka Kameyama: Current-Source-Sharing Differential-Pair Circuits for a Low-Power Fine-Grain Reconfigurable VLSI Architecture. 208-213
• 
  Masanori Natsui, Takaaki Nagashima, Takahiro Hanyu: Process-Variation-Resilient OTA Using MTJ-based Multi-level Resistance Control. 214-219

Exploring New Roads

• 
  Claudio Moraga: Mosaics, Fermat, Walsh (Aller guten Dinge sind drei). 220-225
• 
  Alejandro Veloz, Rodrigo Salas, Héctor Allende-Cid, Héctor Allende: SIFAR: Self-Identification of Lags of an Autoregressive TSK-based Model. 226-231
• 
  Spyros Hadjichristodoulou, David Scott Warren: Probabilistic Logic Programming with Well-Founded Negation. 232-237

Biomedical/Sensors

• 
  Majid Janidarmian, Zeljko Zilic, Katarzyna Radecka: Issues in Multi-valued Multi-modal Sensor Fusion. 238-243
• 
  Theodore W. Manikas, David Y. Feinstein, Mitchell A. Thornton: Modeling Medical System Threats with Conditional Probabilities Using Multiple-Valued Logic Decision Diagrams. 244-249
• 
  Farinoush Saffar, Mitra Mirhassani, Majid Ahmadi: A Fault-Tolerant Area-Efficient Current-Mode ADC for Multiple-Valued Neural Networks. 250-255

Clones

• 
  Jelena Colic, Hajime Machida, Jovanka Pantovic: Clones of Incompletely Specified Operations. 256-261
• 
  Miguel Couceiro, Jean-Luc Marichal, Tamás Waldhauser: Hierarchies of Local Monotonicities and Lattice Derivatives for Boolean and Pseudo-Boolean Functions. 262-267
• 
  Miguel Couceiro, Erkko Lehtonen, Tamás Waldhauser: GAP vs. PAG. 268-273

Special Session to Honour Ivo G. Rosenberg

• 
  Hajime Machida, Ivo G. Rosenberg: Centralizing Monoids on a Three-Element Set. 274-280
• 
  Dmitry Zhuk: The Cardinality of the Set of All Clones Containing a Given Minimal Clone. 281-286
• 
  Miguel Couceiro, Lucien Haddad: A Survey on Intersections of Maximal Partial Clones of Boolean Partial Functions. 287-292
• 
  Christian Delhommé, Masahiro Miyakawa, Maurice Pouzet, Ivo G. Rosenberg, Hisayuki Tatsumi: Semirigid Systems of Equivalence Relations. 293-298

Quantum Circuits

• 
  Mathias Soeken, Robert Wille, Christian Otterstedt, Rolf Drechsler: A Synthesis Flow for Sequential Reversible Circuits. 299-304
• 
  David Y. Feinstein, Mitchell A. Thornton: Using the Asynchronous Paradigm for Reversible Sequential Circuit Implementation. 305-310
• 
  Vamsi Parasa, Marek A. Perkowski: Quantum Pseudo-Fractional Fourier Transform Using Multiple-Valued Logic. 311-314
• 
  Noor M. Nayeem, Jacqueline E. Rice: A New Approach to Online Testing of TGFSOP-based Ternary Toffoli Circuits. 315-321

Invited Address II

• 
  Hajime Machida, Teruo Hikita: Honouring Ivo G. Rosenberg: His Contributions to ISMVL. 322-330

Special Session to Honour Ivo G. Rosenberg

• 
  Andrei A. Bulatov, Amir Hedayaty: Counting Predicates, Subset Surjective Functions, and Counting CSPs. 331-336
• 
  Josef Niederle, Jan Paseka: Triple Representation Theorem for Homogeneous Effect Algebras. 337-342
• 
  Benoit Larose, Adrien Lemaître: List-Homomorphism Problems on Graphs and Arc Consistency. 343-348
• 
  Ágnes Szendrei: Rosenberg-Type Completeness Criteria for Subclones of Slupecki's Clone. 349-354
• 
  Sebastian Kerkhoff: On the Generation of (Minimal) Clones Containing Near-Unanimity Operations. 355-360

last updated on Thu May 23 01:41:43 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page