default search action
50th ISMVL 2020: Miyazaki, Japan
- 50th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2020, Miyazaki, Japan, November 9-11, 2020. IEEE 2020, ISBN 978-1-7281-5406-0
- Alan Mishchenko:
Keynote III: Boolean Logic Networks for Machine Learning. xx - Ali Sheikholeslami:
Keynote II: Digital Annealer: A Stochastic Search for Global Optimum. xix - Masayuki Ohzeki:
Keynote I: Quantum Annealing and Its Application to Real World. xviii
Session 1A: Special Session: Medical and Healthcare Systems I
- Naotake Kamiura, Teijiro Isokawa, Takayuki Yumoto:
On Detection of Stenosis-Type Sections in Fallopian Tubal Models Using Support Vector Machines. 1-6 - Ryosuke Nishihara, Hidehiko Matsubayashi, Tomomoto Ishikawa, Yutaka Hata:
Automated Diagnosis of the Frequency of Uterine Peristalsis for Female Infertility. 7-11 - Satoshi Kimura, Keisuke Oe, Yohei Kumabe, Tomoaki Fukui, Takahiro Niikura, Ryosuke Kuroda, Naomi Yagi
, Yutaka Hata:
Ultrasonic Diagnosis for Bone Fracture Healing Process. 12-15 - Fahad Parvez Mahdi, Naomi Yagi
Automatic Teeth Recognition in Dental X-Ray Images Using Transfer Learning Based Faster R-CNN. 16-21
Session 1B: Optimization and Minimization
- Soma Esaki, Shigeru Yamashita:
Reducing T-count When Decomposing Many MPMCT Gates Simultaneously. 22-27 - Bruno Schmitt, Mathias Soeken, Giovanni De Micheli:
Symbolic Algorithms for Token Swapping. 28-33 - Ritajit Majumdar, Susmita Sur-Kolay:
Approximate Ternary Quantum Error Correcting Code with Low Circuit Cost. 34-39 - Anirban Bhattacharjee
Efficient Implementation of Nearest Neighbor Quantum Circuits Using Clustering with Genetic Algorithm. 40-45
Session 2A: Security & EDA
- Akira Ito, Rei Ueno, Naofumi Homma:
Effective Formal Verification for Galois-field Arithmetic Circuits with Multiple-Valued Characteristics. 46-51 - Kohei Kazumori, Rei Ueno, Naofumi Homma:
Debiasing Method for Efficient Ternary Fuzzy Extractors and Ternary Physically Unclonable Functions. 52-57 - Huanyu Wang, Sebastian Forsmark, Martin Brisfors, Elena Dubrova:
Multi-Source Training Deep-Learning Side-Channel Attacks. 58-63 - Saman Fröhlich, Lucas Klemmer
ASNet: Introducing Approximate Hardware to High-Level Synthesis of Neural Networks. 64-69
Session 2B: Bent Functions
- Claudio Moraga, Milena Stankovic, Suzana Stojkovic, Radomir S. Stankovic:
Methods to Generate Multiple-valued Bent Functions of an odd Number of Variables. 70-75 - Claudio Moraga, Milena Stankovic, Radomir S. Stankovic:
On ternary symmetric bent functions. 76-81 - Jon T. Butler, Tsutomu Sasao, Shinobu Nagayama:
Properties of Multiple-Valued Partition Functions. 82-87 - Radomir S. Stankovic, Milena Stankovic, Claudio Moraga, Jaakko T. Astola:
Construction of Ternary Bent Functions by FFT-like Permutation Algorithms. 88-93
Session 3A: Special Session: Medical and Healthcare Systems II
- Hisayuki Tatsumi, Yasuyuki Murai, Makoto Kobayashi, Iwao Sekita, Masahiro Miyakawa:
3D Shape Understanding for the Visually Impaired by using Virtual Haptic Senses based on Fuzzy Logic. 94-99 - Kazuki Otsuka, Naomi Yagi
Joint Position Registration between OpenPose and Motion Analysis for Rehabilitation. 100-104 - Muneo Kushima, Ryosuke Matsuo
Development of Patient Information Extraction Method by Sequence Labeling using Electronic Medical Records. 105-110 - Zainul Abidin
ECG Signal Processing Using Fuzzy Classification for Sudden Cardiac Death Prediction. 111-116
Session 3B: Classification & Index Generation Functions
- Tsutomu Sasao:
On the Minimization of Variables to Represent Partially Defined Classification Functions. 117-123 - Tsutomu Sasao, Yuto Horikawa, Yukihiro Iguchi:
Handwritten Digit Recognition Based on Classification Functions. 124-129 - Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler:
On Optimum Linear Decomposition of Symmetric Index Generation Functions. 130-136 - Tomasz Mazurkiewicz
Non-disjoint functional decomposition of index generation functions. 137-142
Session 4A: Circuits and Systems
- Takao Waho:
A delta-sigma-modulator feedforward network for a non-binary analog-to-digital converter. 143-148 - Yosuke Iijima, Keigo Taya, Yasushi Yuminaka
PAM-4 Eye-Opening Monitoring Techniques Using Gaussian Mixture Model. 149-154 - Kiyung Kim, Sunmean Kim
Extreme Low Power Technology using Ternary Arithmetic Logic Circuits via Drastic Interconnect Length Reduction. 155-158 - Ryoichi Miyauchi
Novel Fractional-N All Digital Frequency Locked Loop with Robustness for PVT variation. 159-163
Session 4B: Quantum Systems
- Kaitlin N. Smith, Duncan L. MacFarlane, Mitchell A. Thornton:
A Quantum Photonic TRNG based on Quaternary Logic. 164-169 - Fereshte Mozafari, Mathias Soeken, Heinz Riener, Giovanni De Micheli:
Automatic Uniform Quantum State Preparation Using Decision Diagrams. 170-175 - Thomas Grurl, Jürgen Fuß, Stefan Hillmich
Arrays vs. Decision Diagrams: A Case Study on Quantum Circuit Simulators. 176-181
Session 5A: Neural Networks & Systems
- Yuta Suzuki, Naoto Soga, Shimpei Sato, Hiroki Nakahara
A Table Look-Up Based Ternary Neural Network Processor. 188-193 - Daisuke Suzuki, Takahiro Hanyu:
Design and Evaluation of a Synthesizable Standard-Cell-Based Nonvolatile FPGA. 194-199 - Hiroki Nakahara
2n+1-valued SSS-Net: Uniform Shift, Channel Sparseness, and Channel Shuffle. 200-205 - Kamila Abdiyeva, Timur Tibeyev, Martin Lukac:
Capacity Limits of Fully Binary CNN. 206-211 - Steven Bos, Henning Gundersen, Filippo Sanfilippo
uMemristorToolbox: Open source framework to control memristors in Unity for ternary applications. 212-217
Session 5B: Logics and Their Applications
- Norihiro Kamide:
Sequential Fuzzy Description Logic: Reasoning for Fuzzy Knowledge Bases with Sequential Information. 218-223 - Carlos Caleiro
Infectious semantics and analytic calculi for even more inclusion logics. 224-229 - Barbara Dunin-Keplicz
Shadowing in Many-Valued Nested Structures. 230-236 - Christian G. Fermüller, Ondrej Majer:
Interpreting Propositional Fuzzy Logics via Imperfect Information Games. 237-242 - Chu Min Li, Felip Manyà, Amanda Vidal:
Tableaux for Maximum Satisfiability in Łukasiewicz Logic. 243-248
Session 6A: Design, Verification, and Analysis
- Tadahiro Kitahashi, Yutaka Hata:
A New Approach to Verification of Threshold Functions in Ternary Logic. 249-252 - Tsutomu Sasao, Takashi Matsubara, Katsufumi Tsuji, Yoshiaki Koga:
On a Realization of Multi-terminal Universal Interconnection Networks using Contact Switches. 253-258 - Kaitlin N. Smith, Mitchell A. Thornton, D. Michael Miller:
Fast Minimization of Polynomial Decomposition using Fixed-Polarity Pascal Transforms. 259-264 - Miroslav Kvassay, Patrik Rusnak, Elena Zaitseva, Radomir S. Stankovic:
Multi-Valued Decision Diagrams in Importance Analysis Based on Minimal Cut Vectors. 265-270 - Mathias Sunardi, Marek A. Perkowski:
Behavior Expressions for Social and Entertainment Robots. 271-278
Session 6B: Algebras and Clones
- Norihiro Kamide:
Completeness of Subtrilattice Logic. 279-284 - Jan Kühr
Fleischer po-semigroups and quantum B-algebras. 285-290 - Mike Behrisch
Centralising groups of semiprojections and near unanimity operations. 291-296 - Mike Behrisch
On Minimality of Some Binary Clones Related to Unary Functions. 297-302 - Victor Lagerkvist:
A New Characterization of Restriction-Closed Hyperclones. 303-308
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-02 18:25 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: