![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
44th ISMVL 2014: Bremen, Germany
- IEEE 44th International Symposium on Multiple-Valued Logic, ISMVL 2014, Bremen, Germany, May 19-21, 2014. IEEE Computer Society 2014, ISBN 978-1-4799-3534-5
Logic Design and Switching Functions
- Hiroki Nakahara
, Tsutomu Sasao, Munehiro Matsuura:
An Update Method for a CAM Emulator Using an LUT Cascade Based on an EVMDD (K). 1-6 - Tsutomu Sasao, Yuta Urano, Yukihiro Iguchi:
A Lower Bound on the Number of Variables to Represent Incompletely Specified Index Generation Functions. 7-12 - Jovanka Pantovic
, Silvia Ghilezan
, Jovisa D. Zunic:
On the Number of S-Threshold Functions on Not Necessarily Binary Input. 13-18 - Claudio Moraga, Milena Stankovic, Radomir S. Stankovic, Suzana Stojkovic:
The Maiorana Method to Generate Multiple-Valued Bent Functions Revisited. 19-24
Problem Solvers and Fuzzy Logic
- Bernd Steinbach, Christian Posthoff:
Multiple-Valued Problem Solvers - Comparison of Several Approaches. 25-31 - Josep Argelich
, Chu Min Li, Felip Manyà
, Zhu Zhu:
Many-Valued MinSAT Solving. 32-37 - Christian G. Fermüller:
Semantic Games with Backtracking for Fuzzy Logics. 38-43 - Russell Dodd, Bruce F. Cockburn, Vincent C. Gaudet
:
Neural Spike Compression Using Feature Extraction and a Fuzzy C-Means Codebook. 44-48
Algebra and Logic I
- Sebastian Kerkhoff:
Concrete Dualities and Essential Arities. 49-54 - Tamás Waldhauser
:
Maximal and Minimal Closed Classes in Multiple-Valued Logic. 55-60 - Dmitriy Zhuk:
On Key Relations Preserved by a Weak Near-Unanimity Function. 61-66
Hardware Improvement and Exploitation
- Akira Mochizuki, Hirokatsu Shirahama, Takahiro Hanyu:
Design of a Quaternary Single-Ended Current-Mode Circuit for an Energy-Efficient Inter-chip Asynchronous Communication Link. 67-72 - Takao Waho:
Non-binary Successive Approximation Analog-to-Digital Converters: A Survey. 73-78 - Radomir S. Stankovic, Jaakko Astola
, Claudio Moraga, Dusan B. Gajic
:
Constant Geometry Algorithms for Galois Field Expressions and Their Implementation on GPUs. 79-84
Investigations on Types of Clones
- Victor Lagerkvist, Magnus Wahlström
:
Polynomially Closed Co-clones. 85-90 - Boris A. Romov, Karsten Schölzel
:
Partial R-Clones. 91-96 - Hajime Machida, Ivo G. Rosenberg:
Essentially Minimal Clones of Rank 3 on a Three-Element Set. 97-102
Synthesis and Fault Analysis for Reversible Circuits
- Mridul Krishna, Anupam Chattopadhyay:
Efficient Reversible Logic Synthesis via Isomorphic Subgraph Matching. 103-108 - Chandan Bandyopadhyay, Hafizur Rahaman
, Rolf Drechsler
:
A Cube Pairing Approach for Synthesis of ESOP-Based Reversible Circuit. 109-114 - Martin Lukac, Michitaka Kameyama, Marek A. Perkowski, Pawel Kerntopf, Claudio Moraga:
Analysis of Faults in Reversible Computing. 115-120
Algebra and Logic II
- Thomas Macaulay Ferguson:
Lukasiewicz Negation and Many-Valued Extensions of Constructive Logics. 121-127 - Sándor Jenei:
Four New Construction Methods on Residuated Monoids. 128-131 - Tamás Mihálydeák
:
First-Order Logic Based on Set Approximation: A Partial Three-Valued Approach. 132-137
Coding
- Yosuke Iijima, Yasushi Yuminaka:
Evaluation of High-Speed Interfaces for VLSI Systems Using Tomlinson-Harashima Precoding. 138-143 - Rei Ueno, Kotaro Okamoto, Naofumi Homma, Takafumi Aoki:
An Efficient Approach to Verifying Galois-Field Arithmetic Circuits of Higher Degrees and Its Application to ECC Decoders. 144-149 - Yasushi Yuminaka, Yuki Takada, Tomonao Okada, Yosuke Iijima:
Comparison of Spectrally Efficient Coding Techniques for High-Speed Serial Links. 150-154
Investigations on Properties of Clones
- Lucien Haddad, Karsten Schölzel
:
Countable Intervals of Partial Clones. 155-160 - Miguel Couceiro
, Lucien Haddad, Karsten Schölzel
, Tamás Waldhauser
:
Relation Graphs and Partial Clones on a 2-Element Set. 161-166 - Miroslav Kvassay
, Elena N. Zaitseva
, Vitaly G. Levashenko
, Jozef Kostolny
:
Minimal Cut Vectors and Logical Differential Calculus. 167-172
Advances for Quantum Computation
- Alexis De Vos, Stijn De Baerdemacker
:
The Decomposition of U(n) into XU(n) and ZU(n). 173-177 - Claudio Moraga:
On Some Basic Aspects of Ternary Reversible and Quantum Computing. 178-183 - Sudhindu Bikash Mandal
, Amlan Chakrabarti
, Susmita Sur-Kolay:
Synthesis of Ternary Grover's Algorithm. 184-189
Decision Diagrams and Other Function Representations
- Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler, Mitchell A. Thornton
, Theodore W. Manikas
:
Analysis Methods of Multi-state Systems Partially Having Dependent Components Using Multiple-Valued Decision Diagrams. 190-195 - Mitchell A. Thornton
, Theodore W. Manikas
, Stephen A. Szygenda, Shinobu Nagayama:
System Probability Distribution Modeling Using MDDs. 196-201 - Dan A. Simovici:
On Submodular and Supermodular Functions on Lattices and Related Structures. 202-207
Design and Evaluation of Memories
- Hooman Jarollahi, Naoya Onizawa, Takahiro Hanyu, Warren J. Gross:
Associative Memories Based on Multiple-Valued Sparse Clustered Networks. 208-213 - Shintaro Harada, Xu Bai, Michitaka Kameyama, Yoshichika Fujioka:
Design of a Logic-in-Memory Multiple-Valued Reconfigurable VLSI Based on a Bit-Serial Packet Data Transfer Scheme. 214-219 - Naoya Onizawa, Shoun Matsunaga, Noboru Sakimura, Ryusuke Nebashi, Tadahiko Sugibayashi, Takahiro Hanyu:
Soft-Delay-Error Evaluation in Content-Addressable Memory. 220-225
Algebra and Logic III
- Ming Chai, Bernd-Holger Schlingloff
:
Online Monitoring of Distributed Systems with a Five-Valued LTL. 226-231 - Takako Soma, Takashi Soma:
Ternary Parametron Based on Subharmonic Oscillation of Order Three by Forcing. 232-236 - Debesh K. Das, Debabani Chowdhury, Bhargab B. Bhattacharya, Tsutomu Sasao:
Inadmissible Class of Boolean Functions under Stuck-at Faults. 237-242
Hardware Components
- Masanori Natsui
, Takahiro Hanyu:
Variation-Effect Analysis of MTJ-Based Multiple-Valued Programmable Resistors. 243-247 - Mostafa Rashdan
, James W. Haslett:
Differential-Time and Pulse-Amplitude Modulation Signaling for Serial Link Transceivers. 248-253 - Nan Li, Elena Dubrova:
An Algorithm for Constructing a Minimal Register with Non-linear Update Generating a Given Sequence. 254-259
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.