Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Gopalakrishnan Sundararajan, Chris Winstead |
CNTFET-RFB: An Error Correction Implementation for Multi-valued CNTFET Logic. |
ISMVL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Takahiro Yamanoi |
Elucidation of Brain Activities by Electroencephalograms and Its Application to Brain Computer Interface. |
ISMVL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Moraga |
Quantum p-Valued Toffoli and Deutsch Gates with Conjunctive or Disjunctive Mixed Polarity Control. |
ISMVL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Michiro Kondo, Mayuka F. Kawaguchi |
Some Properties of Generalized State Operators on Residuated Lattices. |
ISMVL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tsutomu Sasao |
A Realization of Index Generation Functions Using Multiple IGUs. |
ISMVL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Md. Mazder Rahman, Gerhard W. Dueck, Anupam Chattopadhyay, Robert Wille |
Integrated Synthesis of Linear Nearest Neighbor Ancilla-Free MCT Circuits. |
ISMVL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Miki Haseyama |
Realization of Associative Image Search: Development of Image Retrieval Platform for Enhancing Serendipity. |
ISMVL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mona Moradi, Reza Faghih Mirzaee, Keivan Navi |
Ternary Versus Binary Multiplication with Current-Mode CNTFET-Based K-Valued Converters. |
ISMVL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Naoto Sugaya, Masanori Natsui, Takahiro Hanyu |
Context-Based Error Correction Scheme Using Recurrent Neural Network for Resilient and Efficient Intra-Chip Data Transmission. |
ISMVL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jianjun Chen, Noboru Takagi |
Gray-Scale Morphology Based Image Segmentation and Character Extraction Using SVM. |
ISMVL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Daisuke Suzuki, Takahiro Hanyu |
Energy-Efficient and Highly-Reliable Nonvolatile FPGA Using Self-Terminated Power-Gating Scheme. |
ISMVL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Norihiro Kamide |
Paraconsistent Double Negation That Can Simulate Classical Negation. |
ISMVL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Catalin Zara, Dan A. Simovici |
Tolerance Distances on Minimal Coverings. |
ISMVL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hajime Machida, Ivo G. Rosenberg |
Centralizing Monoids on a Three-Element Set Related to Binary Idempotent Functions. |
ISMVL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Rei Ueno, Yukihiro Sugawara, Naofumi Homma, Takafumi Aoki |
Formal Design of Pipelined GF Arithmetic Circuits and Its Application to Cryptographic Processors. |
ISMVL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Shunsuke Koshita, Naoya Onizawa, Masahide Abe, Takahiro Hanyu, Masayuki Kawamata |
Realization of FIR Digital Filters Based on Stochastic/Binary Hybrid Computation. |
ISMVL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler |
An Efficient Heuristic for Linear Decomposition of Index Generation Functions. |
ISMVL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Laxmidhar Biswal, Chandan Bandyopadhyay, Anupam Chattopadhyay, Robert Wille, Rolf Drechsler, Hafizur Rahaman 0001 |
Nearest-Neighbor and Fault-Tolerant Quantum Circuit Implementation. |
ISMVL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Chajda, Jan Paseka |
Set Representation of Partial Dynamic De Morgan Algebras. |
ISMVL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jaakko T. Astola, Pekka Astola, Radomir S. Stankovic, Ioan Tabus |
An Algebraic Approach to Reducing the Number of Variables of Incompletely Defined Discrete Functions. |
ISMVL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nils Przigoda, Gerhard W. Dueck, Robert Wille, Rolf Drechsler |
Fault Detection in Parity Preserving Reversible Circuits. |
ISMVL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Moraga, Radomir S. Stankovic, Milena Stankovic |
The Pascal Triangle (1654), the Reed-Muller-Fourier Transform (1992), and the Discrete Pascal Transform (2005). |
ISMVL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Helena Astola, Radomir S. Stankovic, Jaakko T. Astola |
Index Generation Functions Based on Linear and Polynomial Transformations. |
ISMVL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Qiangfu Zhao |
A Study on Realizing Awareness Using 3VL-MLP. |
ISMVL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mizuki Higuchi, Ken-ichi Sorachi, Yutaka Hata |
Dependency Analysis of BMI in Health Checkup Blood Data. |
ISMVL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Steinbach, Stefan Heinrich, Christian Posthoff |
Multi-valued Problem Solvers. |
ISMVL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Niemann 0001, Rhitam Datta, Robert Wille |
Logic Synthesis for Quantum State Generation. |
ISMVL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Shorten, Wai Tung Ng |
SPRUCE, an Embedded Compact Stack Machine for IGBT Power Modules. |
ISMVL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Shin-ichi Minato |
Power of Enumeration - BDD/ZDD-Based Techniques for Discrete Structure Manipulation. |
ISMVL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Linh Tran, Addison Gronquist, Marek A. Perkowski, John S. Caughman IV |
An Improved Factorization Approach to Reversible Circuit Synthesis Based on EXORs of Products of EXORs. |
ISMVL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Debabani Chowdhury, Debesh K. Das, Bhargab B. Bhattacharya, Tsutomu Sasao |
On the Inadmissible Class of Multiple-Valued Faulty-Functions under Stuck-at Faults. |
ISMVL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Peter G. Jeavons, Andrius Vaicenavicius, Stanislav Zivný |
Minimal Weighted Clones with Boolean Support. |
ISMVL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ryuichi Murakami, Noriaki Muranaka |
Study Support System of Character Drawing Considering Feeling Evaluation. |
ISMVL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Zaid Al-Wardi, Robert Wille, Rolf Drechsler |
Re-Writing HDL Descriptions for Line-Aware Synthesis of Reversible Circuits. |
ISMVL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Joan Ramon Soler, Felip Manyà |
A Bit-Vector Approach to Satisfiability Testing in Finitely-Valued Logics. |
ISMVL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Md Belayet Ali, Takashi Hirayama, Katsuhisa Yamanaka, Yasuaki Nishitani |
New Two-Qubit Gate Library with Entanglement. |
ISMVL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Martin Lukac, Aikaterini Mandilara |
Quantum Algorithmic Complexity of Three-Qubit Pure States. |
ISMVL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hiroki Nakahara, Tsutomu Sasao, Hiroyuki Nakanishi, Kazumasa Iwai, Tohru Nagao, Naoya Ogawa |
An FFT Circuit Using Nested RNS in a Digital Spectrometer for a Radio Telescope. |
ISMVL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | |
46th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2016, Sapporo, Japan, May 18-20, 2016 |
ISMVL |
2016 |
DBLP BibTeX RDF |
|
1 | Anupam Chattopadhyay, Luca Gaetano Amarù, Mathias Soeken, Pierre-Emmanuel Gaillardon, Giovanni De Micheli |
Notes on Majority Boolean Algebra. |
ISMVL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tsutomu Sasao |
A Reduction Method for the Number of Variables to Represent Index Generation Functions: s-Min Method. |
ISMVL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Daisaku Katagiri, Naoya Onizawa, Takahiro Hanyu |
Early-Stage Operation-Skipping Scheme for Low-Power Stochastic Image Processors. |
ISMVL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Miquel Bofill, Felip Manyà, Amanda Vidal, Mateu Villaret |
Finding Hard Instances of Satisfiability in Lukasiewicz Logics. |
ISMVL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler, Mitchell A. Thornton, Theodore W. Manikas |
Edge Reduction for EVMDDs to Speed Up Analysis of Multi-state Systems. |
ISMVL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Talal Bonny, Bassel Soudan |
Computation Time Reduction to Speed-up the Database Searching Process. |
ISMVL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Md. Mazder Rahman, Mathias Soeken, Gerhard W. Dueck |
Dynamic Template Matching with Mixed-Polarity Toffoli Gates. |
ISMVL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yukihiro Sugawara, Rei Ueno, Naofumi Homma, Takafumi Aoki |
System for Automatic Generation of Parallel Multipliers over Galois Fields. |
ISMVL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Moraga, Milena Stankovic, Radomir S. Stankovic |
Contribution to the Study of Ternary Functions with a Bent Reed-Muller Spectrum. |
ISMVL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Michiro Kondo |
Quotient Structures of Non-Commutative Residuated Lattices. |
ISMVL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Michitaka Kameyama |
Novel VLSI Architectures for Real-World Intelligent Systems. |
ISMVL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Libor Behounek, Vilém Novák |
Towards Fuzzy Partial Logic. |
ISMVL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nusrat Jahan Lisa, Hafiz Md. Hasan Babu |
Design of a Compact Ternary Parallel Adder/Subtractor Circuit in Quantum Computing. |
ISMVL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Victor Lagerkvist, Magnus Wahlström, Bruno Zanuttini |
Bounded Bases of Strong Partial Clones. |
ISMVL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Arighna Deb, Robert Wille, Rolf Drechsler, Debesh K. Das |
An Efficient Reduction of Common Control Lines for Reversible Circuit Optimization. |
ISMVL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mark Howard, Joel Wallman, Victor Veitch, Joseph Emerson |
Contextuality Supplies the Magic for Quantum Computation. |
ISMVL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Anupam Chattopadhyay, Alessandro Littarru, Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Giovanni De Micheli |
Reversible Logic Synthesis via Biconditional Binary Decision Diagrams. |
ISMVL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Radomir S. Stankovic, D. Michael Miller |
Using QMDD in Numerical Methods for Solving Linear Differential Equations via Walsh Functions. |
ISMVL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Miguel Couceiro, Bruno Teheux |
Clones of Pivotally Decomposable Functions. |
ISMVL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | |
2015 IEEE International Symposium on Multiple-Valued Logic, Waterloo, ON, Canada, May 18-20, 2015 |
ISMVL |
2015 |
DBLP BibTeX RDF |
|
1 | Mozammel H. A. Khan |
Single-Electron Transistor Based Implementation of NOT, Feynman, and Toffoli Gates. |
ISMVL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Chikatoshi Yamada, D. Michael Miller |
Using SPIN to Check Nondeterministic Simulink Stateflow Models. |
ISMVL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ryuichi Murakami, Noriaki Muranaka |
Grading Evaluation Method in Character Drawing Study Support System. |
ISMVL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Miguel Couceiro, Lucien Haddad, Maurice Pouzet, Karsten Schölzel |
Hereditarily Rigid Relations: Dedicated to Professor I.G. Rosenberg on the Occasion of His 80-th Birthday. |
ISMVL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Rei Ueno, Naofumi Homma, Yukihiro Sugawara, Takafumi Aoki |
Formal Design of Galois-Field Arithmetic Circuits Based on Polynomial Ring Representation. |
ISMVL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Arman Allahyari-Abhari, Robert Wille, Rolf Drechsler |
An Examination of the NCV-|u1 > Quantum Library Based on Minimal Circuits. |
ISMVL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Macaulay Ferguson |
Cut-Down Operations on Bilattices. |
ISMVL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Pietro Codara, Diego Valota |
Valuations in Nilpotent Minimum Logic. |
ISMVL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Valeriote |
Algebras and Algorithms. |
ISMVL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Hajime Machida, Tamás Waldhauser |
Lazy Clones and Essentially Minimal Groupoids. |
ISMVL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Uichi Ishida, Yusuke Yamazaki, Takao Waho |
Non-Binary Analog-to-Digital Converter Based on Amoeba-Inspired Neural Network. |
ISMVL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Hiroki Nakahara, Tsutomu Sasao, Hiroyuki Nakanishi, Kazumasa Iwai |
An RNS FFT Circuit Using LUT Cascades Based on a Modulo EVMDD. |
ISMVL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Asif Nashiry, Gite Gaurav Bhaskar, Jacqueline E. Rice |
Online Testing for Three Fault Models in Reversible Circuits. |
ISMVL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Martin Goldstern, Hajime Machida, Ivo G. Rosenberg |
Some Classes of Centralizing Monoids on a Three-Element Set. |
ISMVL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Shawn Eastwood, Svetlana N. Yanushkevich, Vlad P. Shmerko |
Belief Network Support via Decision Diagrams. |
ISMVL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Takeaki Akutsu, Masanori Natsui, Takahiro Hanyu |
Write-Operation Frequency Reduction for Nonvoratile Logic LSI with a Short Break-Even Time. |
ISMVL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Clemen Deng, Marek A. Perkowski |
A Novel Weighted Hierarchical Adaptive Voting Ensemble Machine Learning Method for Breast Cancer Detection. |
ISMVL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Aynaz Vatankhahghadim, Ali Sheikholeslami |
A Multi-level Cell for STT-MRAM with Biaxial Magnetic Tunnel Junction. |
ISMVL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mathias Soeken, Anupam Chattopadhyay |
Fredkin-Enabled Transformation-Based Reversible Logic Synthesis. |
ISMVL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Baldi, Agata Ciabattoni |
Standard Completeness for Uninorm-Based Logics. |
ISMVL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sándor Jenei |
Four New Construction Methods on Residuated Monoids. |
ISMVL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Steinbach, Christian Posthoff |
Multiple-Valued Problem Solvers - Comparison of Several Approaches. |
ISMVL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lucien Haddad, Karsten Schölzel |
Countable Intervals of Partial Clones. |
ISMVL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tamás Waldhauser |
Maximal and Minimal Closed Classes in Multiple-Valued Logic. |
ISMVL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alexis De Vos, Stijn De Baerdemacker |
The Decomposition of U(n) into XU(n) and ZU(n). |
ISMVL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Miguel Couceiro, Lucien Haddad, Karsten Schölzel, Tamás Waldhauser |
Relation Graphs and Partial Clones on a 2-Element Set. |
ISMVL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
DBLP DOI BibTeX RDF |
|
1 | Chandan Bandyopadhyay, Hafizur Rahaman 0001, Rolf Drechsler |
A Cube Pairing Approach for Synthesis of ESOP-Based Reversible Circuit. |
ISMVL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yosuke Iijima, Yasushi Yuminaka |
Evaluation of High-Speed Interfaces for VLSI Systems Using Tomlinson-Harashima Precoding. |
ISMVL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Debesh K. Das, Debabani Chowdhury, Bhargab B. Bhattacharya, Tsutomu Sasao |
Inadmissible Class of Boolean Functions under Stuck-at Faults. |
ISMVL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hooman Jarollahi, Naoya Onizawa, Takahiro Hanyu, Warren J. Gross |
Associative Memories Based on Multiple-Valued Sparse Clustered Networks. |
ISMVL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Christian G. Fermüller |
Semantic Games with Backtracking for Fuzzy Logics. |
ISMVL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dmitriy Zhuk |
On Key Relations Preserved by a Weak Near-Unanimity Function. |
ISMVL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
DBLP DOI BibTeX RDF |
|
1 | Nan Li 0018, Elena Dubrova |
An Algorithm for Constructing a Minimal Register with Non-linear Update Generating a Given Sequence. |
ISMVL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tsutomu Sasao, Yuta Urano, Yukihiro Iguchi |
A Lower Bound on the Number of Variables to Represent Incompletely Specified Index Generation Functions. |
ISMVL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tamás Mihálydeák |
First-Order Logic Based on Set Approximation: A Partial Three-Valued Approach. |
ISMVL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Radomir S. Stankovic, Jaakko Astola, Claudio Moraga, Dusan B. Gajic |
Constant Geometry Algorithms for Galois Field Expressions and Their Implementation on GPUs. |
ISMVL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mitchell A. Thornton, Theodore W. Manikas, Stephen A. Szygenda, Shinobu Nagayama |
System Probability Distribution Modeling Using MDDs. |
ISMVL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Victor Lagerkvist, Magnus Wahlström |
Polynomially Closed Co-clones. |
ISMVL |
2014 |
DBLP DOI BibTeX RDF |
|