1. Home
  2. Proceedings
  3. ISMVL
  4. ISMVL 2017
Default Cover Image

2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL)

May 22 2017 to May 24 2017

Novi Sad, Serbia

Table of Contents

An Algorithm for Constraint Satisfaction ProblemFull-text access may be available. Sign in or learn about subscription options.pp. 1-6
by Dmitriy Zhuk
Analog-to-Digital Converters Using Not Multi-level But Multi-bit Feedback PathsFull-text access may be available. Sign in or learn about subscription options.pp. 7-12
by Takao Waho
PAM-4 Eye Diagram Analysis and Its Monitoring Technique for Adaptive Pre-Emphasis for Multi-valued Data TransmissionsFull-text access may be available. Sign in or learn about subscription options.pp. 13-18
by Yasushi Yuminaka, Takuya Kitamura, Yosuke Iijima
Fine-Grain Pipelined Reconfigurable VLSI Architecture Based on Multiple-Valued Multiplexer LogicFull-text access may be available. Sign in or learn about subscription options.pp. 19-24
by Katsuhiko Shimabukuro, Michitaka Kameyama
A Novel Ternary Multiplier Based on Ternary CMOS Compact ModelFull-text access may be available. Sign in or learn about subscription options.pp. 25-30
by Yesung Kang, Jaewoo Kim, Sunmin Kim, Sunhae Shin, E-San Jang, Jae Won Jeong, Kyung Rok Kim, Seokhyeong Kang
Phase Semantics for Multilattice FormalismFull-text access may be available. Sign in or learn about subscription options.pp. 31-36
by Norihiro Kamide
Median Based Calculus for Lattice Polynomials and Monotone Boolean FunctionsFull-text access may be available. Sign in or learn about subscription options.pp. 37-42
by Miguel Couceiro, Pierre Mercuriali, Romain Péchoux, Abdallah Saffidine
Posets of Minors of Functions in Multiple-Valued LogicFull-text access may be available. Sign in or learn about subscription options.pp. 43-48
by Erkko Lehtonen, Tamás Waldhauser
Extending Ideal Paraconsistent Four-Valued LogicFull-text access may be available. Sign in or learn about subscription options.pp. 49-54
by Norihiro Kamide
On Fixed Points of the Reed-Muller-Fourier TransformFull-text access may be available. Sign in or learn about subscription options.pp. 55-60
by Claudio Moraga, Radomir S. Stanković, Milena Stanković, Suzana Stojković
Some Spectral Invariant Operations for Multiple-Valued Functions with Homogeneous Disjoint Products in the Polynomial FormFull-text access may be available. Sign in or learn about subscription options.pp. 61-66
by Milena Stanković, Claudio Moraga, Radomir S. Stanković
Properties of the Two-Sided RMF Spectrum of MatricesFull-text access may be available. Sign in or learn about subscription options.pp. 67-72
by Claudio Moraga, Radomir S. Stanković
Towards the Gibbs Characterization of a Class of Quaternary Bent FunctionsFull-text access may be available. Sign in or learn about subscription options.pp. 73-78
by Radomir S. Stanković, Milena Stanković, Jaakko T. Astola, Claudio Moraga
Ivan Stojmenović — A Life Well-Spent in the Service of ScienceFull-text access may be available. Sign in or learn about subscription options.pp. 79-81
by Dan A. Simovici
On the Nonexistence of Minimal Strong Partial ClonesFull-text access may be available. Sign in or learn about subscription options.pp. 82-87
by Miguel Couceiro, Lucien Haddad, Karsten Scholzel
On the Interval of Boolean Strong Partial Clones Containing Only Projections as Total OperationsFull-text access may be available. Sign in or learn about subscription options.pp. 88-93
by Miguel Couceiro, Lucien Haddad, Victor Lagerqvist, Biman Roy
A Note on Intervals of Słupecki Partial ClonesFull-text access may be available. Sign in or learn about subscription options.pp. 94-99
by Lucien Haddad, Karsten Scholzel
Three Classes of Closed Sets of MonomialsFull-text access may be available. Sign in or learn about subscription options.pp. 100-105
by Hajime Machida, Jovanka Pantović
Hintikka Style Game Rules for Semi-Fuzzy QuantifiersFull-text access may be available. Sign in or learn about subscription options.pp. 106-111
by Christian G. Fermueller, Matthias F. J. Hofer
Term Models of Horn Clauses over Rational Pavelka Predicate LogicFull-text access may be available. Sign in or learn about subscription options.pp. 112-117
by Vicent Costa, Pilar Dellunde
Non-Deterministic Matrices in Action: Expansions, Refinements, and RexpansionsFull-text access may be available. Sign in or learn about subscription options.pp. 118-123
by Arnon Avron, Yoni Zohar
Physical Unclonable Functions Based on Carbon Nanotube FETsFull-text access may be available. Sign in or learn about subscription options.pp. 124-129
by Mona Moradi, Sha Tao, Reza Faghih Mirzaee
TVL-TRNG: Sub-Microwatt True Random Number Generator Exploiting Metastability in Ternary Valued LatchesFull-text access may be available. Sign in or learn about subscription options.pp. 130-135
by Sha Tao, Elena Dubrova
A Systematic Design of Tamper-Resistant Galois-Field Arithmetic Circuits Based on Threshold Implementation with (d + 1) Input SharesFull-text access may be available. Sign in or learn about subscription options.pp. 136-141
by Rei Ueno, Naofumi Homma, Takafumi Aoki
Deep Learning for Autonomous VehiclesFull-text access may be available. Sign in or learn about subscription options.pp. 142-142
by Branislav Kisačanin
Discovery of Multiple-Valued Bent Functions in Galois Field and Reed-Muller-Fourier DomainsFull-text access may be available. Sign in or learn about subscription options.pp. 143-148
by Milos Radmanović, Radomir S. Stanković
Fast Computation of the Discrete Pascal TransformFull-text access may be available. Sign in or learn about subscription options.pp. 149-154
by Dušan B. Gajić, Radomir S. Stanković
Exploiting Many-Valued Variables in MaxSATFull-text access may be available. Sign in or learn about subscription options.pp. 155-160
by Josep Argelich, Chu Min Li, Felip Manyà
An Exact Optimization Algorithm for Linear Decomposition of Index Generation FunctionsFull-text access may be available. Sign in or learn about subscription options.pp. 161-166
by Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler
Algebraic and Combinatorial Methods for Reducing the Number of Variables of Partially Defined Discrete FunctionsFull-text access may be available. Sign in or learn about subscription options.pp. 167-172
by Jaakko T. Astola, Pekka Astola, Radomir S. Stanković, Ioan Tabus
Skipping Embedding in the Design of Reversible CircuitsFull-text access may be available. Sign in or learn about subscription options.pp. 173-178
by Alwin Zulehner, Robert Wille
Exact Synthesis of Ternary Reversible Functions Using Ternary Toffoli GatesFull-text access may be available. Sign in or learn about subscription options.pp. 179-184
by Abhoy Kole, P. Mercy Nesa Rani, Kamalika Datta, Indranil Sengupta, Rolf Drechsler
Extensions to the Reversible Hardware Description Language SyReCFull-text access may be available. Sign in or learn about subscription options.pp. 185-190
by Zaid Alwardi, Robert Wille, Rolf Drechsler
Study of Reversible Ternary Functions with Homogeneous Component FunctionsFull-text access may be available. Sign in or learn about subscription options.pp. 191-196
by Paweł Kerntopf, Krzysztof Podlaski, Claudio Moraga, Radomir S. Stanković
Index Generation Functions: Minimization MethodsFull-text access may be available. Sign in or learn about subscription options.pp. 197-206
by Tsutomu Sasao
Natural Deduction for Connexive Paraconsistent Quantum LogicFull-text access may be available. Sign in or learn about subscription options.pp. 207-212
by Norihiro Kamide
Study of GPU Acceleration in Genetic Algorithms for Quantum Circuit SynthesisFull-text access may be available. Sign in or learn about subscription options.pp. 213-218
by Martin Lukac, Georgiy Krylov
On the Fault Tolerance of Stochastic DecodersFull-text access may be available. Sign in or learn about subscription options.pp. 219-223
by Assem Hussein, Mohamed Elmasry, Vincent Gaudet
Evaluation of Stochastic Cascaded IIR FiltersFull-text access may be available. Sign in or learn about subscription options.pp. 224-229
by Naoya Onizawa, Shunsuke Koshita, Shuichi Sakamoto, Masayuki Kawamata, Takahiro Hanyu
The Groupoid-Based Logic for Lattice Effect AlgebrasFull-text access may be available. Sign in or learn about subscription options.pp. 230-235
by Ivan Chajda, Helmut Länger, Jan Paseka
Centralizing Monoids and the Arity of WitnessesFull-text access may be available. Sign in or learn about subscription options.pp. 236-241
by Hajime Machida, Ivo G. Rosenberg
Computing Uniform Interpolants in Nilpotent Minimum LogicFull-text access may be available. Sign in or learn about subscription options.pp. 242-247
by Diego Valota
Nomura Parameters for S-Threshold FunctionsFull-text access may be available. Sign in or learn about subscription options.pp. 248-253
by Ivan Prokić, Jovanka Pantović
Error Bounded Exact BDD Minimization in Approximate ComputingFull-text access may be available. Sign in or learn about subscription options.pp. 254-259
by Saman Froehlich, Daniel Große, Rolf Drechsler
Multi-valued Decision Diagrams for k-Out-of-n Three-State SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 260-265
by Miroslav Kvassay, Elena Zaitseva, Vitaly Levashenko, Jozef Kostolny
A Random Forest Using a Multi-valued Decision Diagram on an FPGAFull-text access may be available. Sign in or learn about subscription options.pp. 266-271
by Hiroki Nakahara, Akira Jinguji, Simpei Sato, Tsutomu Sasao
Classifying Functions with Exact SynthesisFull-text access may be available. Sign in or learn about subscription options.pp. 272-277
by Winston Haaswijk, Eleonora Testa, Mathias Soeken, Giovanni De Micheli
OR-Inverter Graphs for the Synthesis of Optical CircuitsFull-text access may be available. Sign in or learn about subscription options.pp. 278-283
by Arighna Deb, Robert Wille, Rolf Drechsler
CMOS-Compatible Ternary Device Platform for Physical Synthesis of Multi-valued Logic CircuitsFull-text access may be available. Sign in or learn about subscription options.pp. 284-289
by Sunhae Shin, Esan Jang, Jae Won Jeong, Kyung Rok Kim
Showing 49 out of 49