Table of Contents

• Elucidation of Brain Activities by Electroencephalograms and Its Application to Brain Computer InterfaceTakahiro Yamanoi. 1-4 [doi]
• Energy-Efficient and Highly-Reliable Nonvolatile FPGA Using Self-Terminated Power-Gating SchemeDaisuke Suzuki, Takahiro Hanyu. 5-10 [doi]
• CNTFET-RFB: An Error Correction Implementation for Multi-valued CNTFET LogicGopalakrishnan Sundararajan, Chris Winstead. 11-16 [doi]
• Ternary Versus Binary Multiplication with Current-Mode CNTFET-Based K-Valued ConvertersMona Moradi, Reza Faghih Mirzaee, Keivan Navi. 17-22 [doi]
• Design of Ratioless Ternary Inverter Using Graphene BarristorSunwoo Heo, Jinwoo Noh, Yun Ji Kim, So-Young Kim, Abdul Karim Khan, Byoung Hun Lee. 23-30 [doi]
• Re-Writing HDL Descriptions for Line-Aware Synthesis of Reversible CircuitsZaid Al-Wardi, Robert Wille, Rolf Drechsler. 31-36 [doi]
• An Improved Factorization Approach to Reversible Circuit Synthesis Based on EXORs of Products of EXORsLinh Tran, Addison Gronquist, Marek A. Perkowski, John Caughman. 37-43 [doi]
• Fault Detection in Parity Preserving Reversible CircuitsNils Przigoda, Gerhard W. Dueck, Robert Wille, Rolf Drechsler. 44-49 [doi]
• Notes on Majority Boolean AlgebraAnupam Chattopadhyay, Luca Gaetano Amarù, Mathias Soeken, Pierre-Emmanuel Gaillardon, Giovanni De Micheli. 50-55 [doi]
• Realization of Associative Image Search: Development of Image Retrieval Platform for Enhancing SerendipityMiki Haseyama. 56-59 [doi]
• An FFT Circuit Using Nested RNS in a Digital Spectrometer for a Radio TelescopeHiroki Nakahara, Tsutomu Sasao, Hiroyuki Nakanishi, Kazumasa Iwai, Tohru Nagao, Naoya Ogawa. 60-65 [doi]
• Double-Rate Equalization Using Tomlinson-Harashima Precoding for Multi-valued Data TransmissionYosuke Iijima, Yasushi Yuminaka. 66-71 [doi]
• Context-Based Error Correction Scheme Using Recurrent Neural Network for Resilient and Efficient Intra-Chip Data TransmissionNaoto Sugaya, Masanori Natsui, Takahiro Hanyu. 72-77 [doi]
• Monomial Clones: Local Results and Global PropertiesHajime Machida, Jovanka Pantovic. 78-83 [doi]
• Centralizing Monoids on a Three-Element Set Related to Binary Idempotent FunctionsHajime Machida, Ivo G. Rosenberg. 84-89 [doi]
• Minimal Weighted Clones with Boolean SupportPeter G. Jeavons, Andrius Vaicenavicius, Stanislav Zivny. 90-95 [doi]
• An Efficient Heuristic for Linear Decomposition of Index Generation FunctionsShinobu Nagayama, Tsutomu Sasao, Jon T. Butler. 96-101 [doi]
• Index Generation Functions Based on Linear and Polynomial TransformationsHelena Astola, Radomir S. Stankovic, Jaakko T. Astola. 102-106 [doi]
• An Algebraic Approach to Reducing the Number of Variables of Incompletely Defined Discrete FunctionsJaakko T. Astola, Pekka Astola, Radomir S. Stankovic, Ioan Tabus. 107-112 [doi]
• A Realization of Index Generation Functions Using Multiple IGUsTsutomu Sasao. 113-118 [doi]
• Set Representation of Partial Dynamic De Morgan AlgebrasIvan Chajda, Jan Paseka. 119-124 [doi]
• Tolerance Distances on Minimal CoveringsCatalin Zara, Dan A. Simovici. 125-130 [doi]
• Paraconsistent Double Negation That Can Simulate Classical NegationNorihiro Kamide. 131-136 [doi]
• Cut-Free Systems for Restricted Bi-Intuitionistic Logic and Its Connexive ExtensionNorihiro Kamide. 137-142 [doi]
• Power of Enumeration - BDD/ZDD-Based Techniques for Discrete Structure ManipulationShin-ichi Minato. 143 [doi]
• Integrated Synthesis of Linear Nearest Neighbor Ancilla-Free MCT CircuitsMd. Mazder Rahman, Gerhard W. Dueck, Anupam Chattopadhyay, Robert Wille. 144-149 [doi]
• Technology Mapping of Reversible Circuits to Clifford+T Quantum CircuitsNabila Abdessaied, Matthew Amy, Mathias Soeken, Rolf Drechsler. 150-155 [doi]
• Nearest-Neighbor and Fault-Tolerant Quantum Circuit ImplementationLaxmidhar Biswal, Chandan Bandyopadhyay, Anupam Chattopadhyay, Robert Wille, Rolf Drechsler, Hafizur Rahaman. 156-161 [doi]
• Some Properties of Generalized State Operators on Residuated LatticesMichiro Kondo, Mayuka F. Kawaguchi. 162-166 [doi]
• Simple Characterizations of Perfect Residuated LatticesMichiro Kondo. 167-171 [doi]
• SPRUCE, an Embedded Compact Stack Machine for IGBT Power ModulesAndrew Shorten, Wai Tung Ng. 172-176 [doi]
• Gray-Scale Morphology Based Image Segmentation and Character Extraction Using SVMJianjun Chen, Noboru Takagi. 177-182 [doi]
• A Low-Voltage and Low-Power CMOS Temperature Sensor Circuit with Digital Output for Wireless Healthcare Monitoring SystemAgung Setiabudi, Ryota Sakamoto, Hiroki Tamura, Koichi Tanno. 183-188 [doi]
• Dependency Analysis of BMI in Health Checkup Blood DataMizuki Higuchi, Ken-ichi Sorachi, Yutaka Hata. 189-193 [doi]
• Novel Instrumentation Amplifier Architectures Insensitive to Resistor Mismatches and Offset Voltage for Biological Signal ProcessingZainul Abidin, Koichi Tanno, Shota Mago, Hiroki Tamura. 194-199 [doi]
• Study Support System of Character Drawing Considering Feeling EvaluationRyuichi Murakami, Noriaki Muranaka. 200-204 [doi]
• Gibbs Characterization of Binary and Ternary Bent FunctionsRadomir S. Stankovic, Milena Stankovic, Jaakko T. Astola, Claudio Moraga. 205-210 [doi]
• On Constructing Secure and Hardware-Efficient Invertible MappingsElena Dubrova. 211-216 [doi]
• Formal Design of Pipelined GF Arithmetic Circuits and Its Application to Cryptographic ProcessorsRei Ueno, Yukihiro Sugawara, Naofumi Homma, Takafumi Aoki. 217-222 [doi]
• Realization of FIR Digital Filters Based on Stochastic/Binary Hybrid ComputationShunsuke Koshita, Naoya Onizawa, Masahide Abe, Takahiro Hanyu, Masayuki Kawamata. 223-228 [doi]
• The Pascal Triangle (1654), the Reed-Muller-Fourier Transform (1992), and the Discrete Pascal Transform (2005)Claudio Moraga, Radomir S. Stankovic, Milena Stankovic. 229-234 [doi]
• New Two-Qubit Gate Library with EntanglementMd Belayet Ali, Takashi Hirayama, Katsuhisa Yamanaka, Yasuaki Nishitani. 235-240 [doi]
• Quantum p-Valued Toffoli and Deutsch Gates with Conjunctive or Disjunctive Mixed Polarity ControlClaudio Moraga. 241-246 [doi]
• Logic Synthesis for Quantum State GenerationPhilipp Niemann, Rhitam Datta, Robert Wille. 247-252 [doi]
• Quantum Algorithmic Complexity of Three-Qubit Pure StatesMartin Lukac, Aikaterini Mandilara. 253-257 [doi]
• A Study on Realizing Awareness Using 3VL-MLPQiangfu Zhao. 258-263 [doi]
• Multi-valued Problem SolversBernd Steinbach, Stefan Heinrich, Christian Posthoff. 264-269 [doi]
• A Bit-Vector Approach to Satisfiability Testing in Finitely-Valued LogicsJoan Ramon Soler, Felip Manyà. 270-275 [doi]
• On the Inadmissible Class of Multiple-Valued Faulty-Functions under Stuck-at FaultsDebabani Chowdhury, Debesh K. Das, Bhargab B. Bhattacharya, Tsutomu Sasao. 276-281 [doi]