default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID47th ISMVL 2017: Novi Sad, Serbia
- 47th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2017, Novi Sad, Serbia, May 22-24, 2017. IEEE Computer Society 2017, ISBN 978-1-5090-5496-1
Keynote Address 1
- Dmitriy Zhuk:
An Algorithm for Constraint Satisfaction Problem. 1-6
Signal Processing and VLSI Design
- Takao Waho:
Analog-to-Digital Converters Using Not Multi-level But Multi-bit Feedback Paths. 7-12 - Yasushi Yuminaka, Takuya Kitamura, Yosuke Iijima:
PAM-4 Eye Diagram Analysis and Its Monitoring Technique for Adaptive Pre-Emphasis for Multi-valued Data Transmissions. 13-18 - Katsuhiko Shimabukuro, Michitaka Kameyama:
Fine-Grain Pipelined Reconfigurable VLSI Architecture Based on Multiple-Valued Multiplexer Logic. 19-24 - Yesung Kang, Jaewoo Kim, Sunmin Kim, Sunhae Shin, E-San Jang
, Jae Won Jeong, Kyung Rok Kim, Seokhyeong Kang:
A Novel Ternary Multiplier Based on Ternary CMOS Compact Model. 25-30
Algebra and Logic 1
- Norihiro Kamide:
Phase Semantics for Multilattice Formalism. 31-36 - Miguel Couceiro, Pierre Mercuriali, Romain Péchoux, Abdallah Saffidine:
Median Based Calculus for Lattice Polynomials and Monotone Boolean Functions. 37-42 - Erkko Lehtonen, Tamás Waldhauser:
Posets of Minors of Functions in Multiple-Valued Logic. 43-48 - Norihiro Kamide:
Extending Ideal Paraconsistent Four-Valued Logic. 49-54
Spectral Techniques
- Claudio Moraga, Radomir S. Stankovic, Milena Stankovic, Suzana Stojkovic:
On Fixed Points of the Reed-Muller-Fourier Transform. 55-60 - Milena Stankovic, Claudio Moraga, Radomir S. Stankovic:
Some Spectral Invariant Operations for Multiple-Valued Functions with Homogeneous Disjoint Products in the Polynomial Form. 61-66 - Claudio Moraga, Radomir S. Stankovic:
Properties of the Two-Sided RMF Spectrum of Matrices. 67-72 - Radomir S. Stankovic, Milena Stankovic, Jaakko T. Astola, Claudio Moraga:
Towards the Gibbs Characterization of a Class of Quaternary Bent Functions. 73-78
Dedication Talk
- Dan A. Simovici:
Ivan Stojmenović - A Life Well-Spent in the Service of Science. 79-81
Clone Theory-Special Session in Memory of Ivan Stojmenovic
- Miguel Couceiro, Lucien Haddad, Karsten Schölzel:
On the Nonexistence of Minimal Strong Partial Clones. 82-87 - Miguel Couceiro, Lucien Haddad, Victor Lagerqvist, Biman Roy:
On the Interval of Boolean Strong Partial Clones Containing Only Projections as Total Operations. 88-93 - Lucien Haddad, Karsten Schölzel:
A Note on Intervals of Słupecki Partial Clones. 94-99 - Hajime Machida, Jovanka Pantovic:
Three Classes of Closed Sets of Monomials. 100-105
Fuzzy Logic
- Christian G. Fermüller, Matthias F. J. Hofer:
Hintikka Style Game Rules for Semi-Fuzzy Quantifiers. 106-111 - Vicent Costa, Pilar Dellunde:
Term Models of Horn Clauses over Rational Pavelka Predicate Logic. 112-117 - Arnon Avron, Yoni Zohar:
Non-Deterministic Matrices in Action: Expansions, Refinements, and Rexpansions. 118-123
Design for Security
- Mona Moradi, Sha Tao, Reza Faghih Mirzaee:
Physical Unclonable Functions Based on Carbon Nanotube FETs. 124-129 - Sha Tao, Elena Dubrova:
TVL-TRNG: Sub-Microwatt True Random Number Generator Exploiting Metastability in Ternary Valued Latches. 130-135 - Rei Ueno, Naofumi Homma, Takafumi Aoki:
A Systematic Design of Tamper-Resistant Galois-Field Arithmetic Circuits Based on Threshold Implementation with (d + 1) Input Shares. 136-141
Keynote Address 2
- Branislav Kisacanin:
Deep Learning for Autonomous Vehicles. 142
Algorithms and Computational Complexity
- Milos Radmanovic, Radomir S. Stankovic:
Discovery of Multiple-Valued Bent Functions in Galois Field and Reed-Muller-Fourier Domains. 143-148 - Dusan B. Gajic, Radomir S. Stankovic:
Fast Computation of the Discrete Pascal Transform. 149-154 - Josep Argelich, Chu Min Li, Felip Manyà:
Exploiting Many-Valued Variables in MaxSAT. 155-160 - Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler:
An Exact Optimization Algorithm for Linear Decomposition of Index Generation Functions. 161-166 - Jaakko T. Astola, Pekka Astola, Radomir S. Stankovic, Ioan Tabus:
Algebraic and Combinatorial Methods for Reducing the Number of Variables of Partially Defined Discrete Functions. 167-172
Reversible Computing
- Alwin Zulehner, Robert Wille:
Skipping Embedding in the Design of Reversible Circuits. 173-178 - Abhoy Kole, P. Mercy Nesa Rani, Kamalika Datta, Indranil Sengupta, Rolf Drechsler:
Exact Synthesis of Ternary Reversible Functions Using Ternary Toffoli Gates. 179-184 - Zaid Al-Wardi, Robert Wille, Rolf Drechsler:
Extensions to the Reversible Hardware Description Language SyReC. 185-190 - Pawel Kerntopf, Krzysztof Podlaski, Claudio Moraga, Radomir S. Stankovic:
Study of Reversible Ternary Functions with Homogeneous Component Functions. 191-196
Keynote Address 3
- Tsutomu Sasao:
Index Generation Functions: Minimization Methods. 197-206
Quantum and Stochastic Computing
- Norihiro Kamide:
Natural Deduction for Connexive Paraconsistent Quantum Logic. 207-212 - Martin Lukac, Georgiy Krylov:
Study of GPU Acceleration in Genetic Algorithms for Quantum Circuit Synthesis. 213-218 - Assem S. Hussein, Mohamed I. Elmasry, Vincent C. Gaudet:
On the Fault Tolerance of Stochastic Decoders. 219-223 - Naoya Onizawa, Shunsuke Koshita, Shuichi Sakamoto, Masayuki Kawamata, Takahiro Hanyu:
Evaluation of Stochastic Cascaded IIR Filters. 224-229
Algebra and Logic 2
- Ivan Chajda, Helmut Länger, Jan Paseka:
The Groupoid-Based Logic for Lattice Effect Algebras. 230-235 - Hajime Machida, Ivo G. Rosenberg:
Centralizing Monoids and the Arity of Witnesses. 236-241 - Diego Valota:
Computing Uniform Interpolants in Nilpotent Minimum Logic. 242-247 - Ivan Prokic, Jovanka Pantovic:
Nomura Parameters for S-Threshold Functions. 248-253
Decision Diagrams
- Saman Fröhlich, Daniel Große, Rolf Drechsler:
Error Bounded Exact BDD Minimization in Approximate Computing. 254-259 - Miroslav Kvassay, Elena Zaitseva, Vitaly G. Levashenko, Jozef Kostolny:
Multi-valued Decision Diagrams for k-Out-of-n Three-State Systems. 260-265 - Hiroki Nakahara, Akira Jinguji, Simpei Sato, Tsutomu Sasao:
A Random Forest Using a Multi-valued Decision Diagram on an FPGA. 266-271
Logic and Physical Synthesis
- Winston Haaswijk, Eleonora Testa, Mathias Soeken, Giovanni De Micheli:
Classifying Functions with Exact Synthesis. 272-277 - Arighna Deb, Robert Wille, Rolf Drechsler:
OR-Inverter Graphs for the Synthesis of Optical Circuits. 278-283 - Sunhae Shin, Esan Jang, Jae Won Jeong, Kyung Rok Kim:
CMOS-Compatible Ternary Device Platform for Physical Synthesis of Multi-valued Logic Circuits. 284-289
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 2024-11-08 20:17 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:
