Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Claudio Moraga |
On Some Basic Aspects of Ternary Reversible and Quantum Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: IEEE 44th International Symposium on Multiple-Valued Logic, ISMVL 2014, Bremen, Germany, May 19-21, 2014, pp. 178-183, 2014, IEEE Computer Society, 978-1-4799-3534-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: IEEE 44th International Symposium on Multiple-Valued Logic, ISMVL 2014, Bremen, Germany, May 19-21, 2014, pp. 144-149, 2014, IEEE Computer Society, 978-1-4799-3534-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ming Chai, Bernd-Holger Schlingloff |
Online Monitoring of Distributed Systems with a Five-Valued LTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: IEEE 44th International Symposium on Multiple-Valued Logic, ISMVL 2014, Bremen, Germany, May 19-21, 2014, pp. 226-231, 2014, IEEE Computer Society, 978-1-4799-3534-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sudhindu Bikash Mandal, Amlan Chakrabarti, Susmita Sur-Kolay |
Synthesis of Ternary Grover's Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: IEEE 44th International Symposium on Multiple-Valued Logic, ISMVL 2014, Bremen, Germany, May 19-21, 2014, pp. 184-189, 2014, IEEE Computer Society, 978-1-4799-3534-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | |
IEEE 44th International Symposium on Multiple-Valued Logic, ISMVL 2014, Bremen, Germany, May 19-21, 2014 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![IEEE Computer Society, 978-1-4799-3534-5 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Claudio Moraga, Milena Stankovic, Radomir S. Stankovic, Suzana Stojkovic |
The Maiorana Method to Generate Multiple-Valued Bent Functions Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: IEEE 44th International Symposium on Multiple-Valued Logic, ISMVL 2014, Bremen, Germany, May 19-21, 2014, pp. 19-24, 2014, IEEE Computer Society, 978-1-4799-3534-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Naoya Onizawa, Shoun Matsunaga, Noboru Sakimura, Ryusuke Nebashi, Tadahiko Sugibayashi, Takahiro Hanyu |
Soft-Delay-Error Evaluation in Content-Addressable Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: IEEE 44th International Symposium on Multiple-Valued Logic, ISMVL 2014, Bremen, Germany, May 19-21, 2014, pp. 220-225, 2014, IEEE Computer Society, 978-1-4799-3534-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Macaulay Ferguson |
Lukasiewicz Negation and Many-Valued Extensions of Constructive Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: IEEE 44th International Symposium on Multiple-Valued Logic, ISMVL 2014, Bremen, Germany, May 19-21, 2014, pp. 121-127, 2014, IEEE Computer Society, 978-1-4799-3534-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Josep Argelich, Chu Min Li, Felip Manyà, Zhu Zhu |
Many-Valued MinSAT Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: IEEE 44th International Symposium on Multiple-Valued Logic, ISMVL 2014, Bremen, Germany, May 19-21, 2014, pp. 32-37, 2014, IEEE Computer Society, 978-1-4799-3534-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dan A. Simovici |
On Submodular and Supermodular Functions on Lattices and Related Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: IEEE 44th International Symposium on Multiple-Valued Logic, ISMVL 2014, Bremen, Germany, May 19-21, 2014, pp. 202-207, 2014, IEEE Computer Society, 978-1-4799-3534-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Kerkhoff |
Concrete Dualities and Essential Arities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: IEEE 44th International Symposium on Multiple-Valued Logic, ISMVL 2014, Bremen, Germany, May 19-21, 2014, pp. 49-54, 2014, IEEE Computer Society, 978-1-4799-3534-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mridul Krishna, Anupam Chattopadhyay |
Efficient Reversible Logic Synthesis via Isomorphic Subgraph Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: IEEE 44th International Symposium on Multiple-Valued Logic, ISMVL 2014, Bremen, Germany, May 19-21, 2014, pp. 103-108, 2014, IEEE Computer Society, 978-1-4799-3534-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hajime Machida, Ivo G. Rosenberg |
Essentially Minimal Clones of Rank 3 on a Three-Element Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: IEEE 44th International Symposium on Multiple-Valued Logic, ISMVL 2014, Bremen, Germany, May 19-21, 2014, pp. 97-102, 2014, IEEE Computer Society, 978-1-4799-3534-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mostafa Rashdan, James W. Haslett |
Differential-Time and Pulse-Amplitude Modulation Signaling for Serial Link Transceivers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: IEEE 44th International Symposium on Multiple-Valued Logic, ISMVL 2014, Bremen, Germany, May 19-21, 2014, pp. 248-253, 2014, IEEE Computer Society, 978-1-4799-3534-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Russell Dodd, Bruce F. Cockburn, Vincent C. Gaudet |
Neural Spike Compression Using Feature Extraction and a Fuzzy C-Means Codebook. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: IEEE 44th International Symposium on Multiple-Valued Logic, ISMVL 2014, Bremen, Germany, May 19-21, 2014, pp. 44-48, 2014, IEEE Computer Society, 978-1-4799-3534-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yasushi Yuminaka, Yuki Takada, Tomonao Okada, Yosuke Iijima |
Comparison of Spectrally Efficient Coding Techniques for High-Speed Serial Links. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: IEEE 44th International Symposium on Multiple-Valued Logic, ISMVL 2014, Bremen, Germany, May 19-21, 2014, pp. 150-154, 2014, IEEE Computer Society, 978-1-4799-3534-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hiroki Nakahara, Tsutomu Sasao, Munehiro Matsuura |
An Update Method for a CAM Emulator Using an LUT Cascade Based on an EVMDD (K). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: IEEE 44th International Symposium on Multiple-Valued Logic, ISMVL 2014, Bremen, Germany, May 19-21, 2014, pp. 1-6, 2014, IEEE Computer Society, 978-1-4799-3534-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Takako Soma, Takashi Soma |
Ternary Parametron Based on Subharmonic Oscillation of Order Three by Forcing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: IEEE 44th International Symposium on Multiple-Valued Logic, ISMVL 2014, Bremen, Germany, May 19-21, 2014, pp. 232-236, 2014, IEEE Computer Society, 978-1-4799-3534-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Takao Waho |
Non-binary Successive Approximation Analog-to-Digital Converters: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: IEEE 44th International Symposium on Multiple-Valued Logic, ISMVL 2014, Bremen, Germany, May 19-21, 2014, pp. 73-78, 2014, IEEE Computer Society, 978-1-4799-3534-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Miroslav Kvassay, Elena N. Zaitseva, Vitaly G. Levashenko, Jozef Kostolny |
Minimal Cut Vectors and Logical Differential Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: IEEE 44th International Symposium on Multiple-Valued Logic, ISMVL 2014, Bremen, Germany, May 19-21, 2014, pp. 167-172, 2014, IEEE Computer Society, 978-1-4799-3534-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jovanka Pantovic, Silvia Ghilezan, Jovisa D. Zunic |
On the Number of S-Threshold Functions on Not Necessarily Binary Input. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: IEEE 44th International Symposium on Multiple-Valued Logic, ISMVL 2014, Bremen, Germany, May 19-21, 2014, pp. 13-18, 2014, IEEE Computer Society, 978-1-4799-3534-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Masanori Natsui, Takahiro Hanyu |
Variation-Effect Analysis of MTJ-Based Multiple-Valued Programmable Resistors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: IEEE 44th International Symposium on Multiple-Valued Logic, ISMVL 2014, Bremen, Germany, May 19-21, 2014, pp. 243-247, 2014, IEEE Computer Society, 978-1-4799-3534-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Martin Lukac, Michitaka Kameyama, Marek A. Perkowski, Pawel Kerntopf, Claudio Moraga |
Analysis of Faults in Reversible Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: IEEE 44th International Symposium on Multiple-Valued Logic, ISMVL 2014, Bremen, Germany, May 19-21, 2014, pp. 115-120, 2014, IEEE Computer Society, 978-1-4799-3534-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Boris A. Romov, Karsten Schölzel |
Partial R-Clones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: IEEE 44th International Symposium on Multiple-Valued Logic, ISMVL 2014, Bremen, Germany, May 19-21, 2014, pp. 91-96, 2014, IEEE Computer Society, 978-1-4799-3534-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Boris A. Romov |
Not Finitely Definable Partial Clones on a Finite Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 141-145, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yuki Kurisu, Tatsuya Sasaki, Takao Waho |
A Successive Approximation A/D Converter Using Generalized Non-Binary Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 152-157, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Masato Kuki, Hiroshi Nakajima, Naoki Tsuchiya, Kei Kuramoto, Syoji Kobashi, Yutaka Hata |
Mining Multi Human Locations Using Thermopile Array Sensors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 59-64, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mayuka F. Kawaguchi, Kouta Minami, Michiro Kondo |
Join Operations on Commutative BCK-Algebras with Condition (S). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 209-211, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yutaka Hata, Hiroshi Nakajima |
Computational Medical and Health Care Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 1-5, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hiromitsu Kimura, Zhiyong Zhong, Yuta Mizuochi, Norihiro Kinouchi, Yoshinobu Ichida, Yoshikazu Fujimori |
Highly Reliable Non-Volatile Logic Circuit Technology and Its Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 212-218, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Norihiro Kamide |
Embedding-Based Methods for Trilattice Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 237-242, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Chajda, Jan Paseka |
Tense Operators and Dynamic De Morgan Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 219-224, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Kerkhoff, Friedrich Martin Schneider |
Clones of Partial Cofunctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 186-191, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler |
Minimization of the Number of Edges in an EVMDD by Variable Grouping for Fast Analysis of Multi-State Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 284-289, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jorge Almeida 0001, Miguel Couceiro, Tamás Waldhauser |
On the Semigroup of Equational Classes of Finite Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 243-247, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Takahiro Hanyu, Yuma Watanabe, Atsushi Matsumoto |
Accurate and High-Speed Asynchronous Network-on-Chip Simulation Using Physical Wire-Delay Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 266-271, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Xu Bai, Michitaka Kameyama |
Low-Power Multiple-Valued Source-Coupled Logic Circuits Using Dual-Supply Voltages for a Reconfigurable VLSI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 164-169, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hajime Machida, Ivo G. Rosenberg |
A Study on Essentially Minimal Clones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 117-122, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Maher Hawash, Martin Lukac, Michitaka Kameyama, Marek A. Perkowski |
Multiple-Valued Reversible Benchmarks and Extensible Quantum Specification (XQS) Format. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 41-46, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tsutomu Sasao |
An Application of Autocorrelation Functions to Find Linear Decompositions for Incompletely Specified Index Generation Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 96-102, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Lucien Haddad, Karsten Schölzel |
Intersections with Slupecki Partial Clones on a Finite Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 135-140, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Xu Bai, Michitaka Kameyama |
An Area-Efficient Multiple-Valued Reconfigurable VLSI Architecture Using an X-Net. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 272-277, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dmitriy Zhuk, Stanislav Moiseev |
On the Clones Containing a Near-Unanimity Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 129-134, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hiroshi Nakajima, Toshikazu Shiga, Yutaka Hata |
Systems Health Care: Health Management Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 6-11, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kotaro Okamoto, Naofumi Homma, Takafumi Aoki |
A Graph-Based Approach to Designing Parallel Multipliers over Galois Fields Based on Normal Basis Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 158-163, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Robert Wille, Hongyan Zhang 0003, Rolf Drechsler |
Fault Ordering for Automatic Test Pattern Generation of Reversible Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 29-34, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Reza Faghih Mirzaee, Mohammad Hossein Moaiyeri, Mojtaba Maleknejad, Keivan Navi, Omid Hashemipour |
Dramatically Low-Transistor-Count High-Speed Ternary Adders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 170-175, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stanislav Stankovic, Radomir S. Stankovic, Jaakko Astola |
Remarks on Applications of Shapes of Decision Diagrams in Classification of Multiple-Valued Logic Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 84-89, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tatsuhiro Fujimoto, Hiroshi Nakajima, Naoki Tsuchiya, Hideya Marukawa, Kei Kuramoto, Syoji Kobashi, Yutaka Hata |
Wearable Human Activity Recognition by Electrocardiograph and Accelerometer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 12-17, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Koki Tsukuda, Tadahito Egawa, Kazuhiko Taniguchi, Kei Kuramoto, Syoji Kobashi, Yutaka Hata |
Fuzzy Damage Extraction Method for Ultrasonic Nondestructive Testing Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 23-28, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Masanori Natsui, Kiyohiro Kashiuchi, Takahiro Hanyu |
Design and Evaluation of a Differential Switching Gate for Low-Voltage Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 146-151, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Cheng-Hung Chen, Rong-Zuo Jhang, Yen-Yun Liao |
Chaotic Time Series Prediction Using Neuro-Fuzzy Systems with Cluster-Based Tribes Optimization Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 203-208, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Bikromadittya Mondal, Pradyut Sarkar, Pranay Kumar Saha, Susanta Chakraborty |
Synthesis of Balanced Ternary Reversible Logic Circuit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 334-339, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Martin Goldstern |
The Complexity of Lukasiewicz Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 176-181, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mostafa Rashdan, James W. Haslett |
Comparing Performance of a Multiple-Valued Time-Based Serial Data Link with Other Serial Links. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 248-253, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Noboru Takagi, Jianjun Chen |
A Broken Line Classification Method of Mathematical Graphs for Automating Translation into Scalable Vector Graphic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 71-76, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dusan B. Gajic, Radomir S. Stankovic |
The Impact of Address Arithmetic on the GPU Implementation of Fast Algorithms for the Vilenkin-Chrestenson Transform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 296-301, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tsutomu Sasao |
Four Decades of Multi-Valued Logic: Lists of Highly Cited Papers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 198-202, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andrei A. Bulatov |
Boolean Max-Co-Clones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 192-197, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | |
43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![IEEE Computer Society, 978-1-4673-6067-8 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Mitchell A. Thornton |
A Transfer Function Model for Ternary Switching Logic Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 103-108, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Naotake Kamiura, Tomoya Fukuda, Ayumu Saitoh, Teijiro Isokawa, Nobuyuki Matsui, Hitoshi Tabuchi |
On Selection of Intraocular Power Formula Using Support Vector Machines and Genetic Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 65-70, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Chander Chandak, Anupam Chattopadhyay, Soumajit Majumder, Subhamoy Maitra |
Analysis and Improvement of Transformation-Based Reversible Logic Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 47-52, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jelena Colic, Hajime Machida, Jovanka Pantovic |
On Hyper Co-Clones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 182-185, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hiroki Nakahara, Tsutomu Sasao, Munehiro Matsuura |
A Machine to Evaluate Decomposed Multi-Terminal Multi-Valued Decision Diagrams for Characteristic Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 90-95, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Milan Petrík, Mirko Navara, Peter Sarkoci |
Alternative Proof of Mulholland's Theorem and New Solutions to Mulholland Inequality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 346-351, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Moraga, Milena Stankovic, Radomir S. Stankovic, Suzana Stojkovic |
Contribution to the Study of Multiple-Valued Bent Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 340-345, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mitchell A. Thornton, Jennifer Dworak |
Ternary Logic Network Justification Using Transfer Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 310-315, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Norihiro Kamide |
On Natural Eight-Valued Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 231-236, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mitchell A. Thornton, Theodore W. Manikas |
Spectral Response of Ternary Logic Netlists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 109-116, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mingmin Yan, Hiroki Tamura, Koichi Tanno |
Gaze Estimation Using Electrooculogram Signals and Its Mathematical Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 18-22, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nabila Abdessaied, Mathias Soeken, Robert Wille, Rolf Drechsler |
Exact Template Matching Using Boolean Satisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 328-333, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Miguel Couceiro, Lucien Haddad, Karsten Schölzel, Tamás Waldhauser |
A Solution to a Problem of D. Lau: Complete Classification of Intervals in the Lattice of Partial Boolean Clones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 123-128, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Golam Tangim, Svetlana N. Yanushkevich, Seiya Kasai, Vlad P. Shmerko |
Noise-Tolerant Model of a Ternary Inverter Based on Markov Random Field. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 278-283, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Martin Lukac, Michitaka Kameyama, Marek A. Perkowski, Pawel Kerntopf |
Analysis of Reversible and Quantum Finite State Machines Using Homing, Synchronizing and Distinguishing Input Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 322-327, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nan Li 0018, Shohreh Sharif Mansouri, Elena Dubrova |
Secure Key Storage Using State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 290-295, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dan A. Simovici |
On the Combinatorics of Tolerance Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 225-230, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Naoya Onizawa, Warren J. Gross, Takahiro Hanyu, Vincent C. Gaudet |
Lowering Error Floors in Stochastic Decoding of LDPC Codes Based on Wire-Delay Dependent Asynchronous Updating. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 254-259, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Arif Abdul Mannan, Koichi Tanno, Hiroki Tamura, Takako Toyama, Agung Darmawansyah |
Expandable MVL Inverter Compatible with Standard CMOS Process and Its Application to MVL Hysteresis Comparator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 260-265, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Takahiro Takeda, Kei Kuramoto, Syoji Kobashi, Yutaka Hata |
A Fuzzy Human Detection for Security System Using Infrared Laser Camera. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 53-58, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ben Schaeffer, Linh Tran, Addison Gronquist, Marek A. Perkowski, Pawel Kerntopf |
Synthesis of Reversible Circuits Based on Products of Exclusive OR Sums. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 35-40, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marek A. Perkowski, Aditya Bhutada, Martin Lukac, Mathias Sunardi |
On Synthesis and Verification from Event Diagrams in a Robot Theatre Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 77-83, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Steinbach, Christian Posthoff |
Solution of the Last Open Four-Colored Rectangle-Free Grid: An Extremely Complex Multiple-Valued Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 302-309, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Laura Tague, Mathias Soeken, Shin-ichi Minato, Rolf Drechsler |
Debugging of Reversible Circuits Using pDDs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013, pp. 316-321, 2013, IEEE Computer Society, 978-1-4673-6067-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Elena Dubrova, Shohreh Sharif Mansouri |
A BDD-Based Approach to Constructing LFSRs for Parallel CRC Encoding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 42nd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2012, Victoria, BC, Canada, May 14-16, 2012, pp. 128-133, 2012, IEEE Computer Society, 978-1-4673-0908-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Miguel Couceiro, Jean-Luc Marichal, Tamás Waldhauser |
Hierarchies of Local Monotonicities and Lattice Derivatives for Boolean and Pseudo-Boolean Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 42nd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2012, Victoria, BC, Canada, May 14-16, 2012, pp. 262-267, 2012, IEEE Computer Society, 978-1-4673-0908-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Babak Zamanlooy, Ashley Novak, Mitra Mirhassani |
Complexity Study of the Continuous Valued Number System Adders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 42nd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2012, Victoria, BC, Canada, May 14-16, 2012, pp. 116-121, 2012, IEEE Computer Society, 978-1-4673-0908-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Naofumi Homma, Kazuya Saito, Takafumi Aoki |
Formal Design of Multiple-Valued Arithmetic Algorithms over Galois Fields and Its Application to Cryptographic Processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 42nd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2012, Victoria, BC, Canada, May 14-16, 2012, pp. 110-115, 2012, IEEE Computer Society, 978-1-4673-0908-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Robert Wille, Mathias Soeken, Nils Przigoda, Rolf Drechsler |
Exact Synthesis of Toffoli Gate Circuits with Negative Control Lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 42nd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2012, Victoria, BC, Canada, May 14-16, 2012, pp. 69-74, 2012, IEEE Computer Society, 978-1-4673-0908-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sándor Jenei, Franco Montagna |
Two new classification theorems on residuated monoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 42nd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2012, Victoria, BC, Canada, May 14-16, 2012, pp. 75-78, 2012, IEEE Computer Society, 978-1-4673-0908-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Steinbach, Christian Posthoff |
Extremely Complex 4-Colored Rectangle-Free Grids: Solution of Open Multiple-Valued Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 42nd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2012, Victoria, BC, Canada, May 14-16, 2012, pp. 37-44, 2012, IEEE Computer Society, 978-1-4673-0908-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Miguel Couceiro, Erkko Lehtonen, Tamás Waldhauser |
GAP vs. PAG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 42nd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2012, Victoria, BC, Canada, May 14-16, 2012, pp. 268-273, 2012, IEEE Computer Society, 978-1-4673-0908-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stanislav Stankovic, Radomir S. Stankovic, Jaakko Astola |
Remarks on Shapes of Decision Diagrams and Classes of Multiple-Valued Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 42nd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2012, Victoria, BC, Canada, May 14-16, 2012, pp. 134-141, 2012, IEEE Computer Society, 978-1-4673-0908-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ben Schaeffer, Marek A. Perkowski |
Linear Reversible Circuit Synthesis in the Linear Nearest-Neighbor Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 42nd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2012, Victoria, BC, Canada, May 14-16, 2012, pp. 157-160, 2012, IEEE Computer Society, 978-1-4673-0908-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Edison Tsai, Marek A. Perkowski |
Synthesis of Permutative Quantum Circuits with Toffoli and TISC Gates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 42nd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2012, Victoria, BC, Canada, May 14-16, 2012, pp. 50-56, 2012, IEEE Computer Society, 978-1-4673-0908-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Rohit P. Menon, Mitchell A. Thornton |
Global Multiple-Valued Clock Approach for High- Performance Multi-phase Clock Integrated Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 42nd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2012, Victoria, BC, Canada, May 14-16, 2012, pp. 19-24, 2012, IEEE Computer Society, 978-1-4673-0908-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Farinoush Saffar, Mitra Mirhassani, Majid Ahmadi |
A Fault-Tolerant Area-Efficient Current-Mode ADC for Multiple-Valued Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 42nd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2012, Victoria, BC, Canada, May 14-16, 2012, pp. 250-255, 2012, IEEE Computer Society, 978-1-4673-0908-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jelena Colic, Hajime Machida, Jovanka Pantovic |
Clones of Incompletely Specified Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 42nd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2012, Victoria, BC, Canada, May 14-16, 2012, pp. 256-261, 2012, IEEE Computer Society, 978-1-4673-0908-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Michiro Kondo, Mayuka F. Kawaguchi |
Modal Operators on Non-commutative Residuated Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 42nd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2012, Victoria, BC, Canada, May 14-16, 2012, pp. 85-88, 2012, IEEE Computer Society, 978-1-4673-0908-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Benoît Larose, Adrien Lemaître |
List-Homomorphism Problems on Graphs and Arc Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 42nd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2012, Victoria, BC, Canada, May 14-16, 2012, pp. 343-348, 2012, IEEE Computer Society, 978-1-4673-0908-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|