default search action
49th ISMVL 2019: Fredericton, Canada
- 2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL), Fredericton, NB, Canada, May 21-23, 2019. IEEE 2019, ISBN 978-1-7281-0092-0
Session 1A
- Alwin Zulehner, Philipp Niemann, Rolf Drechsler
, Robert Wille:
One Additional Qubit is Enough: Encoded Embeddings for Boolean Components in Quantum Circuits. 1-6 - Alexandre Araujo Amaral de Almeida
CNOT Gate Mappings to Clifford+T Circuits in IBM Architectures. 7-12 - Bruno Schmitt, Mathias Soeken, Giovanni De Micheli, Alan Mishchenko:
Scaling-up ESOP Synthesis for Quantum Compilation. 13-18
Session 1B
- Yosuke Iijima, Yasushi Yuminaka
Waveform Shaping Transmitter Combining Digital and Analog Circuits for Multi - Valued Signaling. 19-24 - So-Young Kim
Demonstration of ternary devices and circuits using dual channel graphene barristors. 25-30
Session 2A
- Victor Lagerkvist, Biman Roy:
The Inclusion Structure of Boolean Weak Bases. 31-36 - Sunmean Kim
Design of Quad-Edge-Triggered Sequential Logic Circuits for Ternary Logic. 37-42 - Miguel Couceiro
The mathematics of Ivo Rosenberg. 43-48
Session 2B
- Kohei Kazumori, Rei Ueno, Naofumi Homma:
A Ternary Fuzzy Extractor for Efficient Cryptographic Key Generation. 49-54 - Felipe S. Marranghello, Yang Yu, Elena Dubrova:
Threshold Physical Unclonable Functions. 55-60 - Nils Przigoda
Four-Valued Logic in UML/OCL Models: A "Playground" for the MVL Community. 61-66
Session 3A
- Claudio Moraga, Milena Stankovic, Radomir S. Stankovic:
Spectral Invariant Operations in the p-valued Spectral Domain. 67-72 - Micah Thornton:
The Invariance of Spectral-Kolmogorov-Type Statistics for Estimating Genomic Similarity. 73-78 - Radomir S. Stankovic, Milena Stankovic, Jaakko T. Astola, Claudio Moraga:
Remarks on Similarities Among Ternary Bent Functions. 79-84
Session 3B
- Atsuki Munakata, Hiroki Nakahara
Noise Convolutional Neural Networks and FPGA Implementation. 85-90 - Tomoki Chiba, Masanori Natsui, Takahiro Hanyu:
Design of a Current-Mode Linear-Sum-Based Bitcounting Circuit with an MTJ-Based Compensator for Binarized Neural Networks. 91-96 - Wenjun Hou, Marek A. Perkowski:
A Novel Machine Learning Algorithm to Reduce Prediction Error and Accelerate Learning Curve for Very Large Datasets. 97-101
Session 4A
- Debjyoti Bhattacharjee
Reversible Pebble Games for Reducing Qubits in Hierarchical Quantum Circuit Synthesis. 102-107 - Philipp Niemann, Anshu Gupta, Rolf Drechsler
T-depth Optimization for Fault-Tolerant Quantum Circuits. 108-113 - Kaitlin N. Smith, Mitchell A. Thornton
Entanglement in Higher-Radix Quantum Systems. 114-119
Session 4B
- Norihiro Kamide, Yoni Zohar:
Finite Model Property for Modal Ideal Paraconsistent Four-Valued Logic. 120-125 - Tyler Giallanza, Erik Gabrielsen, Michael A. Taylor, Eric C. Larson, Mitchell A. Thornton
Task Value Calculus: Multi-Objective Trade off Analysis Using Multiple-Valued Decision Diagrams. 126-131 - Chu Min Li, Felip Manyà
Clausal Form Transformation in MaxSAT. 132-137
Session 5A
- Jon T. Butler, Tsutomu Sasao:
Realizing all Index Generation Functions by the Row-Shift Method. 138-143 - Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler:
A Dynamic Programming Based Method for Optimum Linear Decomposition of Index Generation Functions. 144-149 - Maciej Rudziecki:
Quasi-Postan Logic Hazard of Postan Signals. 150-157
Session 5B
- Sung-Yun Lee
Ternary Logic Synthesis with Modified Quine-McCluskey Algorithm. 158-163 - Mike Behrisch
An Approach Toward Classification of Minimal Groupoids on a Finite Set. 164-169 - Miguel Couceiro
Fine-Grained Complexity of Constraint Satisfaction Problems through Partial Polymorphisms: A Survey. 170-175
Session 6A
- Norihiro Kamide:
First-Order Nelsonian Paraconsistent Quantum Logic. 176-181 - Tsutomu Sasao:
On a Minimization of Variables to Represent Sparse Multi-Valued Input Decision Functions. 182-187 - Jon T. Butler, Tsutomu Sasao:
Maximally Asymmetric Multiple-Valued Functions. 188-193
Session 6B
- Rahul Singhal, Marek A. Perkowski:
Comparative Analysis of Full Adder Custom Design Circuit using Two Regular Structures in Quantum-Dot Cellular Automata (QCA). 194-199 - Zi-Jun Lin, Wei-Chih Huang, Jie-Hong Roland Jiang:
Synthesis of Nondeterministic Behavior in Recombinase-Based Genetic Circuits. 200-205 - Katherine Zukotvnski, Vincent C. Gaudet
Non-Binary Approaches for Classification of Amyloid Brain PET. 206-211
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-03-05 21:00 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: