Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Claudio Moraga |
On Some Basic Aspects of Ternary Reversible and Quantum Computing. |
ISMVL |
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. |
ISMVL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ming Chai, Bernd-Holger Schlingloff |
Online Monitoring of Distributed Systems with a Five-Valued LTL. |
ISMVL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sudhindu Bikash Mandal, Amlan Chakrabarti, Susmita Sur-Kolay |
Synthesis of Ternary Grover's Algorithm. |
ISMVL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | |
IEEE 44th International Symposium on Multiple-Valued Logic, ISMVL 2014, Bremen, Germany, May 19-21, 2014 |
ISMVL |
2014 |
DBLP BibTeX RDF |
|
1 | Claudio Moraga, Milena Stankovic, Radomir S. Stankovic, Suzana Stojkovic |
The Maiorana Method to Generate Multiple-Valued Bent Functions Revisited. |
ISMVL |
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. |
ISMVL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Macaulay Ferguson |
Lukasiewicz Negation and Many-Valued Extensions of Constructive Logics. |
ISMVL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Josep Argelich, Chu Min Li, Felip Manyà, Zhu Zhu |
Many-Valued MinSAT Solving. |
ISMVL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dan A. Simovici |
On Submodular and Supermodular Functions on Lattices and Related Structures. |
ISMVL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Kerkhoff |
Concrete Dualities and Essential Arities. |
ISMVL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mridul Krishna, Anupam Chattopadhyay |
Efficient Reversible Logic Synthesis via Isomorphic Subgraph Matching. |
ISMVL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hajime Machida, Ivo G. Rosenberg |
Essentially Minimal Clones of Rank 3 on a Three-Element Set. |
ISMVL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mostafa Rashdan, James W. Haslett |
Differential-Time and Pulse-Amplitude Modulation Signaling for Serial Link Transceivers. |
ISMVL |
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. |
ISMVL |
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. |
ISMVL |
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). |
ISMVL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Takako Soma, Takashi Soma |
Ternary Parametron Based on Subharmonic Oscillation of Order Three by Forcing. |
ISMVL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Takao Waho |
Non-binary Successive Approximation Analog-to-Digital Converters: A Survey. |
ISMVL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Miroslav Kvassay, Elena N. Zaitseva, Vitaly G. Levashenko, Jozef Kostolny |
Minimal Cut Vectors and Logical Differential Calculus. |
ISMVL |
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. |
ISMVL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Masanori Natsui, Takahiro Hanyu |
Variation-Effect Analysis of MTJ-Based Multiple-Valued Programmable Resistors. |
ISMVL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Martin Lukac, Michitaka Kameyama, Marek A. Perkowski, Pawel Kerntopf, Claudio Moraga |
Analysis of Faults in Reversible Computing. |
ISMVL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Boris A. Romov, Karsten Schölzel |
Partial R-Clones. |
ISMVL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Boris A. Romov |
Not Finitely Definable Partial Clones on a Finite Set. |
ISMVL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yuki Kurisu, Tatsuya Sasaki, Takao Waho |
A Successive Approximation A/D Converter Using Generalized Non-Binary Algorithm. |
ISMVL |
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. |
ISMVL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mayuka F. Kawaguchi, Kouta Minami, Michiro Kondo |
Join Operations on Commutative BCK-Algebras with Condition (S). |
ISMVL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yutaka Hata, Hiroshi Nakajima |
Computational Medical and Health Care Technology. |
ISMVL |
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. |
ISMVL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Norihiro Kamide |
Embedding-Based Methods for Trilattice Logic. |
ISMVL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Chajda, Jan Paseka |
Tense Operators and Dynamic De Morgan Algebras. |
ISMVL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Kerkhoff, Friedrich Martin Schneider |
Clones of Partial Cofunctions. |
ISMVL |
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. |
ISMVL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jorge Almeida 0001, Miguel Couceiro, Tamás Waldhauser |
On the Semigroup of Equational Classes of Finite Functions. |
ISMVL |
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. |
ISMVL |
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. |
ISMVL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hajime Machida, Ivo G. Rosenberg |
A Study on Essentially Minimal Clones. |
ISMVL |
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. |
ISMVL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tsutomu Sasao |
An Application of Autocorrelation Functions to Find Linear Decompositions for Incompletely Specified Index Generation Functions. |
ISMVL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Lucien Haddad, Karsten Schölzel |
Intersections with Slupecki Partial Clones on a Finite Set. |
ISMVL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Xu Bai, Michitaka Kameyama |
An Area-Efficient Multiple-Valued Reconfigurable VLSI Architecture Using an X-Net. |
ISMVL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dmitriy Zhuk, Stanislav Moiseev |
On the Clones Containing a Near-Unanimity Function. |
ISMVL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hiroshi Nakajima, Toshikazu Shiga, Yutaka Hata |
Systems Health Care: Health Management Technology. |
ISMVL |
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. |
ISMVL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Robert Wille, Hongyan Zhang 0003, Rolf Drechsler |
Fault Ordering for Automatic Test Pattern Generation of Reversible Circuits. |
ISMVL |
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. |
ISMVL |
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. |
ISMVL |
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. |
ISMVL |
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. |
ISMVL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Masanori Natsui, Kiyohiro Kashiuchi, Takahiro Hanyu |
Design and Evaluation of a Differential Switching Gate for Low-Voltage Applications. |
ISMVL |
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. |
ISMVL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Bikromadittya Mondal, Pradyut Sarkar, Pranay Kumar Saha, Susanta Chakraborty |
Synthesis of Balanced Ternary Reversible Logic Circuit. |
ISMVL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Martin Goldstern |
The Complexity of Lukasiewicz Logic. |
ISMVL |
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. |
ISMVL |
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. |
ISMVL |
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. |
ISMVL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tsutomu Sasao |
Four Decades of Multi-Valued Logic: Lists of Highly Cited Papers. |
ISMVL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andrei A. Bulatov |
Boolean Max-Co-Clones. |
ISMVL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | |
43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013 |
ISMVL |
2013 |
DBLP BibTeX RDF |
|
1 | Mitchell A. Thornton |
A Transfer Function Model for Ternary Switching Logic Circuits. |
ISMVL |
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. |
ISMVL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Chander Chandak, Anupam Chattopadhyay, Soumajit Majumder, Subhamoy Maitra |
Analysis and Improvement of Transformation-Based Reversible Logic Synthesis. |
ISMVL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jelena Colic, Hajime Machida, Jovanka Pantovic |
On Hyper Co-Clones. |
ISMVL |
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. |
ISMVL |
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. |
ISMVL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Moraga, Milena Stankovic, Radomir S. Stankovic, Suzana Stojkovic |
Contribution to the Study of Multiple-Valued Bent Functions. |
ISMVL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mitchell A. Thornton, Jennifer Dworak |
Ternary Logic Network Justification Using Transfer Matrices. |
ISMVL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Norihiro Kamide |
On Natural Eight-Valued Reasoning. |
ISMVL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mitchell A. Thornton, Theodore W. Manikas |
Spectral Response of Ternary Logic Netlists. |
ISMVL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mingmin Yan, Hiroki Tamura, Koichi Tanno |
Gaze Estimation Using Electrooculogram Signals and Its Mathematical Modeling. |
ISMVL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nabila Abdessaied, Mathias Soeken, Robert Wille, Rolf Drechsler |
Exact Template Matching Using Boolean Satisfiability. |
ISMVL |
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. |
ISMVL |
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. |
ISMVL |
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. |
ISMVL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nan Li 0018, Shohreh Sharif Mansouri, Elena Dubrova |
Secure Key Storage Using State Machines. |
ISMVL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dan A. Simovici |
On the Combinatorics of Tolerance Relations. |
ISMVL |
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. |
ISMVL |
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. |
ISMVL |
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. |
ISMVL |
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. |
ISMVL |
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. |
ISMVL |
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. |
ISMVL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Laura Tague, Mathias Soeken, Shin-ichi Minato, Rolf Drechsler |
Debugging of Reversible Circuits Using pDDs. |
ISMVL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Elena Dubrova, Shohreh Sharif Mansouri |
A BDD-Based Approach to Constructing LFSRs for Parallel CRC Encoding. |
ISMVL |
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. |
ISMVL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Babak Zamanlooy, Ashley Novak, Mitra Mirhassani |
Complexity Study of the Continuous Valued Number System Adders. |
ISMVL |
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. |
ISMVL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Robert Wille, Mathias Soeken, Nils Przigoda, Rolf Drechsler |
Exact Synthesis of Toffoli Gate Circuits with Negative Control Lines. |
ISMVL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sándor Jenei, Franco Montagna |
Two new classification theorems on residuated monoids. |
ISMVL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Steinbach, Christian Posthoff |
Extremely Complex 4-Colored Rectangle-Free Grids: Solution of Open Multiple-Valued Problems. |
ISMVL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Miguel Couceiro, Erkko Lehtonen, Tamás Waldhauser |
GAP vs. PAG. |
ISMVL |
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. |
ISMVL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ben Schaeffer, Marek A. Perkowski |
Linear Reversible Circuit Synthesis in the Linear Nearest-Neighbor Model. |
ISMVL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Edison Tsai, Marek A. Perkowski |
Synthesis of Permutative Quantum Circuits with Toffoli and TISC Gates. |
ISMVL |
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. |
ISMVL |
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. |
ISMVL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jelena Colic, Hajime Machida, Jovanka Pantovic |
Clones of Incompletely Specified Operations. |
ISMVL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Michiro Kondo, Mayuka F. Kawaguchi |
Modal Operators on Non-commutative Residuated Lattices. |
ISMVL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Benoît Larose, Adrien Lemaître |
List-Homomorphism Problems on Graphs and Arc Consistency. |
ISMVL |
2012 |
DBLP DOI BibTeX RDF |
|