Table of Contents

• Multiple-Valued Time-Based Architecture for Serial Communication LinksMostafa Rashdan, James W. Haslett, Brent Maundy. 1-6 [doi]
• Efficient Data Transmission Using Multiple-Valued Pulse-Position ModulationYasushi Yuminaka, Masaaki Okui. 7-12 [doi]
• Systematic Coding Schemes for Low-Power Multiple-Valued Current-Mode Asynchronous Communication LinksAtsushi Matsumoto, Naoya Onizawa, Takahiro Hanyu. 13-18 [doi]
• Global Multiple-Valued Clock Approach for High- Performance Multi-phase Clock Integrated CircuitsRohit P. Menon, Mitchell A. Thornton. 19-24 [doi]
• Building Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability Modulo Theory SolversCarlos Ansótegui, Miquel Bofill, Felip Manyà, Mateu Villaret. 25-30 [doi]
• Greedy Algorithms, Ordering of Variables, and d-degenerate InstancesCong Wang, Andrei A. Bulatov. 31-36 [doi]
• Extremely Complex 4-Colored Rectangle-Free Grids: Solution of Open Multiple-Valued ProblemsBernd Steinbach, Christian Posthoff. 37-44 [doi]
• Using Formal Verification and Robotic Evolution Techniques to Find Contradictions in Laws Concerning Police Rules of EngagementTerrance Sun, Lawrence Sun, Marek A. Perkowski. 45-49 [doi]
• Synthesis of Permutative Quantum Circuits with Toffoli and TISC GatesEdison Tsai, Marek A. Perkowski. 50-56 [doi]
• ESOP-Inspired Synthesis Method for Ternary Permutative Quantum CircuitsSidharth Dhawan, Marek A. Perkowski. 57-62 [doi]
• Using Hasse Diagrams to Synthesize Ternary Quantum CircuitsMaher Hawash, Marek A. Perkowski. 63-68 [doi]
• Exact Synthesis of Toffoli Gate Circuits with Negative Control LinesRobert Wille, Mathias Soeken, Nils Przigoda, Rolf Drechsler. 69-74 [doi]
• Two new classification theorems on residuated monoidsSándor Jenei, Franco Montagna. 75-78 [doi]
• Non-deterministic Matrices for Semi-canonical Deduction SystemsOri Lahav. 79-84 [doi]
• Modal Operators on Non-commutative Residuated LatticesMichiro Kondo, Mayuka F. Kawaguchi. 85-88 [doi]
• Prime Filters on Residuated LatticesMichiro Kondo, Esko Turunen. 89-91 [doi]
• Asynchronous Stochastic Decoding of Low-Density Parity-Check CodesNaoya Onizawa, Vincent C. Gaudet, Takahiro Hanyu, Warren J. Gross. 92-97 [doi]
• Quaternary 1T-2MTJ Cell Circuit for a High-Density and a High-Throughput Nonvolatile Bit-Serial CAMShoun Matsunaga, Takahiro Hanyu. 98-103 [doi]
• Unified Current-Source Control for Low-Power Current-Mode-Logic Bit-Serial CircuitsShogo Kisara, Michitaka Kameyama. 104-109 [doi]
• Formal Design of Multiple-Valued Arithmetic Algorithms over Galois Fields and Its Application to Cryptographic ProcessorNaofumi Homma, Kazuya Saito, Takafumi Aoki. 110-115 [doi]
• Complexity Study of the Continuous Valued Number System AddersBabak Zamanlooy, Ashley Novak, Mitra Mirhassani. 116-121 [doi]
• Analysis of Multi-state Systems with Multi-state Components Using EVMDDsShinobu Nagayama, Tsutomu Sasao, Jon T. Butler. 122-127 [doi]
• A BDD-Based Approach to Constructing LFSRs for Parallel CRC EncodingElena Dubrova, Shohreh Sharif Mansouri. 128-133 [doi]
• Remarks on Shapes of Decision Diagrams and Classes of Multiple-Valued FunctionsStanislav Stankovic, Radomir S. Stankovic, Jaakko Astola. 134-141 [doi]
• Representation of Incompletely Specified Binary and Multiple-Valued Logic Functions by Compact Decision DiagramsMilena Stankovic, Suzana Stojkovic, Radomir S. Stankovic. 142-147 [doi]
• Multi-terminal Multi-valued Decision Diagrams for Characteristic Function Representing Cluster DecompositionHiroki Nakahara, Tsutomu Sasao, Munehiro Matsuura. 148-153 [doi]
• Quantum Computing, Cryptography and CompilersMichele Mosca. 154-156 [doi]
• Linear Reversible Circuit Synthesis in the Linear Nearest-Neighbor ModelBen Schaeffer, Marek A. Perkowski. 157-160 [doi]
• Optimal Quantum Circuits of Three QubitsMd. Mazder Rahman, Gerhard W. Dueck. 161-166 [doi]
• The Roots of the NOT GateAlexis De Vos, Stijn De Baerdemacker. 167-172 [doi]
• Optimizing the Mapping of Reversible Circuits to Four-Valued Quantum Gate CircuitsMathias Soeken, Zahra Sasanian, Robert Wille, D. Michael Miller, Rolf Drechsler. 173-178 [doi]
• Several Remarks on Index Generation FunctionsDan A. Simovici, Marius Zimand, Dan Pletea. 179-184 [doi]
• Multiple-Valued Input Index Generation Functions: Optimization by Linear TransformationTsutomu Sasao. 185-190 [doi]
• Banzhaf Index and Boolean DifferenceYoshinori Yamamoto. 191-196 [doi]
• Gröbner Bases over Cyclic Post AlgebrasBlanca Fernanda López Martinolich. 197-202 [doi]
• Energy Efficiency of Multi-bit delta-sigma Modulators Using Inverter-based IntegratorsHiroaki Kotani, Ryoto Yaguchi, Takao Waho. 203-207 [doi]
• Current-Source-Sharing Differential-Pair Circuits for a Low-Power Fine-Grain Reconfigurable VLSI ArchitectureXu Bai, Michitaka Kameyama. 208-213 [doi]
• Process-Variation-Resilient OTA Using MTJ-based Multi-level Resistance ControlMasanori Natsui, Takaaki Nagashima, Takahiro Hanyu. 214-219 [doi]
• Mosaics, Fermat, Walsh (Aller guten Dinge sind drei)Claudio Moraga. 220-225 [doi]
• SIFAR: Self-Identification of Lags of an Autoregressive TSK-based ModelAlejandro Veloz, Rodrigo Salas, Héctor Allende-Cid, Héctor Allende. 226-231 [doi]
• Probabilistic Logic Programming with Well-Founded NegationSpyros Hadjichristodoulou, David Scott Warren. 232-237 [doi]
• Issues in Multi-valued Multi-modal Sensor FusionMajid Janidarmian, Zeljko Zilic, Katarzyna Radecka. 238-243 [doi]
• Modeling Medical System Threats with Conditional Probabilities Using Multiple-Valued Logic Decision DiagramsTheodore W. Manikas, David Y. Feinstein, Mitchell A. Thornton. 244-249 [doi]
• A Fault-Tolerant Area-Efficient Current-Mode ADC for Multiple-Valued Neural NetworksFarinoush Saffar, Mitra Mirhassani, Majid Ahmadi. 250-255 [doi]
• Clones of Incompletely Specified OperationsJelena Colic, Hajime Machida, Jovanka Pantovic. 256-261 [doi]
• Hierarchies of Local Monotonicities and Lattice Derivatives for Boolean and Pseudo-Boolean FunctionsMiguel Couceiro, Jean-Luc Marichal, Tamás Waldhauser. 262-267 [doi]
• GAP vs. PAGMiguel Couceiro, Erkko Lehtonen, Tamás Waldhauser. 268-273 [doi]
• Centralizing Monoids on a Three-Element SetHajime Machida, Ivo G. Rosenberg. 274-280 [doi]
• The Cardinality of the Set of All Clones Containing a Given Minimal CloneDmitry Zhuk. 281-286 [doi]
• A Survey on Intersections of Maximal Partial Clones of Boolean Partial FunctionsMiguel Couceiro, Lucien Haddad. 287-292 [doi]
• Semirigid Systems of Equivalence RelationsChristian Delhommé, Masahiro Miyakawa, Maurice Pouzet, Ivo G. Rosenberg, Hisayuki Tatsumi. 293-298 [doi]
• A Synthesis Flow for Sequential Reversible CircuitsMathias Soeken, Robert Wille, Christian Otterstedt, Rolf Drechsler. 299-304 [doi]
• Using the Asynchronous Paradigm for Reversible Sequential Circuit ImplementationDavid Y. Feinstein, Mitchell A. Thornton. 305-310 [doi]
• Quantum Pseudo-Fractional Fourier Transform Using Multiple-Valued LogicVamsi Parasa, Marek A. Perkowski. 311-314 [doi]
• A New Approach to Online Testing of TGFSOP-based Ternary Toffoli CircuitsNoor M. Nayeem, Jacqueline E. Rice. 315-321 [doi]
• Honouring Ivo G. Rosenberg: His Contributions to ISMVLHajime Machida, Teruo Hikita. 322-330 [doi]
• Counting Predicates, Subset Surjective Functions, and Counting CSPsAndrei A. Bulatov, Amir Hedayaty. 331-336 [doi]
• Triple Representation Theorem for Homogeneous Effect AlgebrasJosef Niederle, Jan Paseka. 337-342 [doi]
• List-Homomorphism Problems on Graphs and Arc ConsistencyBenoit Larose, Adrien Lemaître. 343-348 [doi]
• Rosenberg-Type Completeness Criteria for Subclones of Slupecki's CloneÁgnes Szendrei. 349-354 [doi]
• On the Generation of (Minimal) Clones Containing Near-Unanimity OperationsSebastian Kerkhoff. 355-360 [doi]