- 2014
- Josep Argelich
, Chu Min Li, Felip Manyà
, Zhu Zhu:
Many-Valued MinSAT Solving. ISMVL 2014: 32-37 - Chandan Bandyopadhyay, Hafizur Rahaman
, Rolf Drechsler
:
A Cube Pairing Approach for Synthesis of ESOP-Based Reversible Circuit. ISMVL 2014: 109-114 - Ming Chai, Bernd-Holger Schlingloff
:
Online Monitoring of Distributed Systems with a Five-Valued LTL. ISMVL 2014: 226-231 - Miguel Couceiro
, Lucien Haddad, Karsten Schölzel
, Tamás Waldhauser
:
Relation Graphs and Partial Clones on a 2-Element Set. ISMVL 2014: 161-166 - Debesh K. Das, Debabani Chowdhury, Bhargab B. Bhattacharya, Tsutomu Sasao:
Inadmissible Class of Boolean Functions under Stuck-at Faults. ISMVL 2014: 237-242 - Russell Dodd, Bruce F. Cockburn, Vincent C. Gaudet
:
Neural Spike Compression Using Feature Extraction and a Fuzzy C-Means Codebook. ISMVL 2014: 44-48 - Thomas Macaulay Ferguson:
Lukasiewicz Negation and Many-Valued Extensions of Constructive Logics. ISMVL 2014: 121-127 - Christian G. Fermüller:
Semantic Games with Backtracking for Fuzzy Logics. ISMVL 2014: 38-43 - Lucien Haddad, Karsten Schölzel
:
Countable Intervals of Partial Clones. ISMVL 2014: 155-160 - 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. ISMVL 2014: 214-219 - Yosuke Iijima, Yasushi Yuminaka:
Evaluation of High-Speed Interfaces for VLSI Systems Using Tomlinson-Harashima Precoding. ISMVL 2014: 138-143 - Hooman Jarollahi, Naoya Onizawa, Takahiro Hanyu, Warren J. Gross:
Associative Memories Based on Multiple-Valued Sparse Clustered Networks. ISMVL 2014: 208-213 - Sándor Jenei:
Four New Construction Methods on Residuated Monoids. ISMVL 2014: 128-131 - Sebastian Kerkhoff:
Concrete Dualities and Essential Arities. ISMVL 2014: 49-54 - Mridul Krishna, Anupam Chattopadhyay:
Efficient Reversible Logic Synthesis via Isomorphic Subgraph Matching. ISMVL 2014: 103-108 - Miroslav Kvassay
, Elena N. Zaitseva
, Vitaly G. Levashenko
, Jozef Kostolny
:
Minimal Cut Vectors and Logical Differential Calculus. ISMVL 2014: 167-172 - Victor Lagerkvist, Magnus Wahlström
:
Polynomially Closed Co-clones. ISMVL 2014: 85-90 - Nan Li, Elena Dubrova:
An Algorithm for Constructing a Minimal Register with Non-linear Update Generating a Given Sequence. ISMVL 2014: 254-259 - Martin Lukac, Michitaka Kameyama, Marek A. Perkowski, Pawel Kerntopf, Claudio Moraga:
Analysis of Faults in Reversible Computing. ISMVL 2014: 115-120 - Hajime Machida, Ivo G. Rosenberg:
Essentially Minimal Clones of Rank 3 on a Three-Element Set. ISMVL 2014: 97-102 - Sudhindu Bikash Mandal
, Amlan Chakrabarti
, Susmita Sur-Kolay:
Synthesis of Ternary Grover's Algorithm. ISMVL 2014: 184-189 - Tamás Mihálydeák
:
First-Order Logic Based on Set Approximation: A Partial Three-Valued Approach. ISMVL 2014: 132-137 - Akira Mochizuki, Hirokatsu Shirahama, Takahiro Hanyu:
Design of a Quaternary Single-Ended Current-Mode Circuit for an Energy-Efficient Inter-chip Asynchronous Communication Link. ISMVL 2014: 67-72 - Claudio Moraga:
On Some Basic Aspects of Ternary Reversible and Quantum Computing. ISMVL 2014: 178-183 - Claudio Moraga, Milena Stankovic, Radomir S. Stankovic, Suzana Stojkovic:
The Maiorana Method to Generate Multiple-Valued Bent Functions Revisited. ISMVL 2014: 19-24 - 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. ISMVL 2014: 190-195 - Hiroki Nakahara
, Tsutomu Sasao, Munehiro Matsuura:
An Update Method for a CAM Emulator Using an LUT Cascade Based on an EVMDD (K). ISMVL 2014: 1-6 - Masanori Natsui
, Takahiro Hanyu:
Variation-Effect Analysis of MTJ-Based Multiple-Valued Programmable Resistors. ISMVL 2014: 243-247 - Naoya Onizawa, Shoun Matsunaga, Noboru Sakimura, Ryusuke Nebashi, Tadahiko Sugibayashi, Takahiro Hanyu:
Soft-Delay-Error Evaluation in Content-Addressable Memory. ISMVL 2014: 220-225 - Jovanka Pantovic
, Silvia Ghilezan
, Jovisa D. Zunic:
On the Number of S-Threshold Functions on Not Necessarily Binary Input. ISMVL 2014: 13-18