Table of Contents

• Keynote II: Digital Annealer: A Stochastic Search for Global OptimumAli Sheikholeslami. [doi]
• Keynote I: Quantum Annealing and Its Application to Real WorldMasayuki Ohzeki. [doi]
• Keynote III: Boolean Logic Networks for Machine LearningAlan Mishchenko. [doi]
• On Detection of Stenosis-Type Sections in Fallopian Tubal Models Using Support Vector MachinesNaotake Kamiura, Teijiro Isokawa, Takayuki Yumoto. 1-6 [doi]
• Automated Diagnosis of the Frequency of Uterine Peristalsis for Female InfertilityRyosuke Nishihara, Hidehiko Matsubayashi, Tomomoto Ishikawa, Yutaka Hata. 7-11 [doi]
• Ultrasonic Diagnosis for Bone Fracture Healing ProcessSatoshi Kimura, Keisuke Oe, Yohei Kumabe, Tomoaki Fukui, Takahiro Niikura, Ryosuke Kuroda, Naomi Yagi, Yutaka Hata. 12-15 [doi]
• Automatic Teeth Recognition in Dental X-Ray Images Using Transfer Learning Based Faster R-CNNFahad Parvez Mahdi, Naomi Yagi, Syoji Kobashi. 16-21 [doi]
• Reducing T-count When Decomposing Many MPMCT Gates SimultaneouslySoma Esaki, Shigeru Yamashita. 22-27 [doi]
• Symbolic Algorithms for Token SwappingBruno Schmitt, Mathias Soeken, Giovanni De Micheli. 28-33 [doi]
• Approximate Ternary Quantum Error Correcting Code with Low Circuit CostRitajit Majumdar, Susmita Sur-Kolay. 34-39 [doi]
• Efficient Implementation of Nearest Neighbor Quantum Circuits Using Clustering with Genetic AlgorithmAnirban Bhattacharjee, Chandan Bandyopadhyay, Angshu Mukherjee, Robert Wille, Rolf Drechsler, Hafizur Rahaman 0001. 40-45 [doi]
• Effective Formal Verification for Galois-field Arithmetic Circuits with Multiple-Valued CharacteristicsAkira Ito, Rei Ueno, Naofumi Homma. 46-51 [doi]
• Debiasing Method for Efficient Ternary Fuzzy Extractors and Ternary Physically Unclonable FunctionsKohei Kazumori, Rei Ueno, Naofumi Homma. 52-57 [doi]
• Multi-Source Training Deep-Learning Side-Channel AttacksHuanyu Wang, Sebastian Forsmark, Martin Brisfors, Elena Dubrova. 58-63 [doi]
• ASNet: Introducing Approximate Hardware to High-Level Synthesis of Neural NetworksSaman Fröhlich, Lucas Klemmer, Daniel Große, Rolf Drechsler. 64-69 [doi]
• Methods to Generate Multiple-valued Bent Functions of an odd Number of VariablesClaudio Moraga, Milena Stankovic, Suzana Stojkovic, Radomir S. Stankovic. 70-75 [doi]
• On ternary symmetric bent functionsClaudio Moraga, Milena Stankovic, Radomir S. Stankovic. 76-81 [doi]
• Properties of Multiple-Valued Partition FunctionsJon T. Butler, Tsutomu Sasao, Shinobu Nagayama. 82-87 [doi]
• Construction of Ternary Bent Functions by FFT-like Permutation AlgorithmsRadomir S. Stankovic, Milena Stankovic, Claudio Moraga, Jaakko T. Astola. 88-93 [doi]
• 3D Shape Understanding for the Visually Impaired by using Virtual Haptic Senses based on Fuzzy LogicHisayuki Tatsumi, Yasuyuki Murai, Makoto Kobayashi, Iwao Sekita, Masahiro Miyakawa. 94-99 [doi]
• Joint Position Registration between OpenPose and Motion Analysis for RehabilitationKazuki Otsuka, Naomi Yagi, Yuki Yamanaka, Yutaka Hata, Yoshitada Sakai. 100-104 [doi]
• Development of Patient Information Extraction Method by Sequence Labeling using Electronic Medical RecordsMuneo Kushima, Ryosuke Matsuo, Taisuke Ogawa, Kenji Araki, Yoshiyuki Hasegawa, Suguru Nozue, Emi Okazaki, Hisayoshi Koga. 105-110 [doi]
• ECG Signal Processing Using Fuzzy Classification for Sudden Cardiac Death PredictionZainul Abidin, Lalu Arya Taruna Jaya, Ponco Siwindarto, Koichi Tanno. 111-116 [doi]
• On the Minimization of Variables to Represent Partially Defined Classification FunctionsTsutomu Sasao. 117-123 [doi]
• Handwritten Digit Recognition Based on Classification FunctionsTsutomu Sasao, Yuto Horikawa, Yukihiro Iguchi. 124-129 [doi]
• On Optimum Linear Decomposition of Symmetric Index Generation FunctionsShinobu Nagayama, Tsutomu Sasao, Jon T. Butler. 130-136 [doi]
• Non-disjoint functional decomposition of index generation functionsTomasz Mazurkiewicz. 137-142 [doi]
• A delta-sigma-modulator feedforward network for a non-binary analog-to-digital converterTakao Waho. 143-148 [doi]
• PAM-4 Eye-Opening Monitoring Techniques Using Gaussian Mixture ModelYosuke Iijima, Keigo Taya, Yasushi Yuminaka. 149-154 [doi]
• Extreme Low Power Technology using Ternary Arithmetic Logic Circuits via Drastic Interconnect Length ReductionKiyung Kim, Sunmean Kim, Yongsu Lee, Daeyeon Kim, So-Young Kim, Seokhyeong Kang, Byoung Hun Lee. 155-158 [doi]
• Novel Fractional-N All Digital Frequency Locked Loop with Robustness for PVT variationRyoichi Miyauchi, Akio Yoshida, Shuya Nakano, Hiroki Tamura, Koichi Tanno, Yutaka Fukuchi, Yukio Kawamura, Yuki Kodama, Yuichi Sekiya. 159-163 [doi]
• A Quantum Photonic TRNG based on Quaternary LogicKaitlin N. Smith, Duncan L. MacFarlane, Mitchell A. Thornton. 164-169 [doi]
• Automatic Uniform Quantum State Preparation Using Decision DiagramsFereshte Mozafari, Mathias Soeken, Heinz Riener, Giovanni De Micheli. 170-175 [doi]
• Arrays vs. Decision Diagrams: A Case Study on Quantum Circuit SimulatorsThomas Grurl, Jürgen Fuß, Stefan Hillmich, Lukas Burgholzer, Robert Wille. 176-181 [doi]
• A Table Look-Up Based Ternary Neural Network ProcessorYuta Suzuki, Naoto Soga, Shimpei Sato, Hiroki Nakahara. 188-193 [doi]
• Design and Evaluation of a Synthesizable Standard-Cell-Based Nonvolatile FPGADaisuke Suzuki, Takahiro Hanyu. 194-199 [doi]
• n+1-valued SSS-Net: Uniform Shift, Channel Sparseness, and Channel ShuffleHiroki Nakahara. 200-205 [doi]
• Capacity Limits of Fully Binary CNNKamila Abdiyeva, Timur Tibeyev, Martin Lukac. 206-211 [doi]
• uMemristorToolbox: Open source framework to control memristors in Unity for ternary applicationsSteven Bos, Henning Gundersen, Filippo Sanfilippo. 212-217 [doi]
• Sequential Fuzzy Description Logic: Reasoning for Fuzzy Knowledge Bases with Sequential InformationNorihiro Kamide. 218-223 [doi]
• Infectious semantics and analytic calculi for even more inclusion logicsCarlos Caleiro, Sérgio Marcelino, Pedro Filipe. 224-229 [doi]
• Shadowing in Many-Valued Nested StructuresBarbara Dunin-Keplicz, Andrzej Szalas. 230-236 [doi]
• Interpreting Propositional Fuzzy Logics via Imperfect Information GamesChristian G. Fermüller, Ondrej Majer. 237-242 [doi]
• Tableaux for Maximum Satisfiability in Łukasiewicz LogicChu Min Li, Felip Manyà, Amanda Vidal. 243-248 [doi]
• A New Approach to Verification of Threshold Functions in Ternary LogicTadahiro Kitahashi, Yutaka Hata. 249-252 [doi]
• On a Realization of Multi-terminal Universal Interconnection Networks using Contact SwitchesTsutomu Sasao, Takashi Matsubara, Katsufumi Tsuji, Yoshiaki Koga. 253-258 [doi]
• Fast Minimization of Polynomial Decomposition using Fixed-Polarity Pascal TransformsKaitlin N. Smith, Mitchell A. Thornton, D. Michael Miller. 259-264 [doi]
• Multi-Valued Decision Diagrams in Importance Analysis Based on Minimal Cut VectorsMiroslav Kvassay, Patrik Rusnak, Elena Zaitseva, Radomir S. Stankovic. 265-270 [doi]
• Behavior Expressions for Social and Entertainment RobotsMathias Sunardi, Marek A. Perkowski. 271-278 [doi]
• Completeness of Subtrilattice LogicNorihiro Kamide. 279-284 [doi]
• Fleischer po-semigroups and quantum B-algebrasJan Kühr, Jan Paseka. 285-290 [doi]
• Centralising groups of semiprojections and near unanimity operationsMike Behrisch, Reinhard Pöschel. 291-296 [doi]
• On Minimality of Some Binary Clones Related to Unary FunctionsMike Behrisch, Hajime Machida. 297-302 [doi]
• A New Characterization of Restriction-Closed HyperclonesVictor Lagerkvist. 303-308 [doi]