Abstract is missing.
- Algebras and AlgorithmsMatthew Valeriote. 1 [doi]
- Reversible Logic Synthesis via Biconditional Binary Decision DiagramsAnupam Chattopadhyay, Alessandro Littarru, Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Giovanni De Micheli. 2-7 [doi]
- Online Testing for Three Fault Models in Reversible CircuitsAsif Nashiry, Gite Gaurav Bhaskar, Jacqueline E. Rice. 8-13 [doi]
- An Efficient Reduction of Common Control Lines for Reversible Circuit OptimizationArighna Deb, Robert Wille, Rolf Drechsler, Debesh K. Das. 14-19 [doi]
- Quotient Structures of Non-Commutative Residuated LatticesMichiro Kondo. 20-23 [doi]
- Cut-Down Operations on BilatticesThomas Macaulay Ferguson. 24-29 [doi]
- Finding Hard Instances of Satisfiability in Lukasiewicz LogicsMiquel Bofill, Felip Manyà, Amanda Vidal, Mateu Villaret. 30-35 [doi]
- Design of a Compact Ternary Parallel Adder/Subtractor Circuit in Quantum ComputingNusrat Jahan Lisa, Hafiz Md. Hasan Babu. 36-41 [doi]
- An Examination of the NCV-|u1 > Quantum Library Based on Minimal CircuitsArman Allahyari-Abhari, Robert Wille, Rolf Drechsler. 42-47 [doi]
- Formal Design of Galois-Field Arithmetic Circuits Based on Polynomial Ring RepresentationRei Ueno, Naofumi Homma, Yukihiro Sugawara, Takafumi Aoki. 48-53 [doi]
- System for Automatic Generation of Parallel Multipliers over Galois FieldsYukihiro Sugawara, Rei Ueno, Naofumi Homma, Takafumi Aoki. 54-59 [doi]
- Fredkin-Enabled Transformation-Based Reversible Logic SynthesisMathias Soeken, Anupam Chattopadhyay. 60-65 [doi]
- Single-Electron Transistor Based Implementation of NOT, Feynman, and Toffoli GatesMozammel H. A. Khan. 66-71 [doi]
- Dynamic Template Matching with Mixed-Polarity Toffoli GatesMd. Mazder Rahman, Mathias Soeken, Gerhard W. Dueck. 72-77 [doi]
- Standard Completeness for Uninorm-Based LogicsPaolo Baldi, Agata Ciabattoni. 78-83 [doi]
- Hereditarily Rigid Relations: Dedicated to Professor I.G. Rosenberg on the Occasion of His 80-th BirthdayMiguel Couceiro, Lucien Haddad, Maurice Pouzet, Karsten Schölzel. 84-89 [doi]
- Valuations in Nilpotent Minimum LogicPietro Codara, Diego Valota. 90-95 [doi]
- Contextuality Supplies the Magic for Quantum ComputationMark Howard, Joel Wallman, Victor Veitch, Joseph Emerson. 96 [doi]
- An RNS FFT Circuit Using LUT Cascades Based on a Modulo EVMDDHiroki Nakahara, Tsutomu Sasao, Hiroyuki Nakanishi, Kazumasa Iwai. 97-102 [doi]
- Non-Binary Analog-to-Digital Converter Based on Amoeba-Inspired Neural NetworkUichi Ishida, Yusuke Yamazaki, Takao Waho. 103-108 [doi]
- Early-Stage Operation-Skipping Scheme for Low-Power Stochastic Image ProcessorsDaisaku Katagiri, Naoya Onizawa, Takahiro Hanyu. 109-114 [doi]
- A Novel Weighted Hierarchical Adaptive Voting Ensemble Machine Learning Method for Breast Cancer DetectionClemen Deng, Marek A. Perkowski. 115-120 [doi]
- Computation Time Reduction to Speed-up the Database Searching ProcessTalal Bonny, Bassel Soudan. 121-126 [doi]
- Grading Evaluation Method in Character Drawing Study Support SystemRyuichi Murakami, Noriaki Muranaka. 127-131 [doi]
- Novel VLSI Architectures for Real-World Intelligent SystemsMichitaka Kameyama. 132 [doi]
- Contribution to the Study of Ternary Functions with a Bent Reed-Muller SpectrumClaudio Moraga, Milena Stankovic, Radomir S. Stankovic. 133-138 [doi]
- Towards Fuzzy Partial LogicLibor Behounek, Vilém Novák. 139-144 [doi]
- Using SPIN to Check Nondeterministic Simulink Stateflow ModelsChikatoshi Yamada, D. Michael Miller. 145-151 [doi]
- Write-Operation Frequency Reduction for Nonvoratile Logic LSI with a Short Break-Even TimeTakeaki Akutsu, Masanori Natsui, Takahiro Hanyu. 152-157 [doi]
- A Multi-level Cell for STT-MRAM with Biaxial Magnetic Tunnel JunctionAynaz Vatankhahghadim, Ali Sheikholeslami. 158-163 [doi]
- A Reduction Method for the Number of Variables to Represent Index Generation Functions: s-Min MethodTsutomu Sasao. 164-169 [doi]
- Edge Reduction for EVMDDs to Speed Up Analysis of Multi-state SystemsShinobu Nagayama, Tsutomu Sasao, Jon T. Butler, Mitchell A. Thornton, Theodore W. Manikas. 170-175 [doi]
- Belief Network Support via Decision DiagramsShawn Eastwood, Svetlana N. Yanushkevich, Vlad P. Shmerko. 176-181 [doi]
- Using QMDD in Numerical Methods for Solving Linear Differential Equations via Walsh FunctionsRadomir S. Stankovic, D. Michael Miller. 182-188 [doi]
- Bounded Bases of Strong Partial ClonesVictor Lagerkvist, Magnus Wahlström, Bruno Zanuttini. 189-194 [doi]
- Clones of Pivotally Decomposable FunctionsMiguel Couceiro, Bruno Teheux. 195-198 [doi]
- Lazy Clones and Essentially Minimal GroupoidsHajime Machida, Tamás Waldhauser. 199-204 [doi]
- Some Classes of Centralizing Monoids on a Three-Element SetMartin Goldstern, Hajime Machida, Ivo G. Rosenberg. 205-210 [doi]