Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Yasushi Yuminaka, Kazuharu Nakajima, Yosuke Iijima |
PAM-4 Data Transmission Quality Evaluation Using Two- and Three-Dimensional Mapping of Received Symbols. |
ISMVL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Peter Shmerko, Svetlana N. Yanushkevich, Marek A. Perkowski, Yumi Iwashita, Adrian Stoica |
Discovering Emerging Applications of Multi-Valued Logic: Protocols for Human-Autonomy Teaming. |
ISMVL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Grurl, Jürgen Fuß, Robert Wille |
Optimized Density Matrix Representations : Improving the Basis for Noise-Aware Quantum Circuit Design Tools. |
ISMVL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Takao Waho, Akihisa Koyama, Hitoshi Hayashi |
Delta-Sigma Domain Signal Processing: A Review with Relevant Topics in Stochastic Computing. |
ISMVL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler |
Decomposition-Based Representation of Symmetric Multiple-Valued Functions. |
ISMVL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Mike Behrisch |
Weak bases for maximal clones. |
ISMVL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Kadir Emir, Jan Paseka |
Kalmbach implication in orthomodular posets. |
ISMVL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Kenta Sasaki, Daisuke Fujita, Kenta Takatsuji, Yoshihiro Kotoura, Tsuyoshi Sukenari, Masataka Minami, Yusuke Kobayashi, Yoshikazu Kida, Kenji Takahashi, Syoji Kobashi |
Detection of osteochondritis dissecans using convolutional neural networks for computer-aided diagnosis of baseball elbow. |
ISMVL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Tsutomu Sasao |
Data Mining Using Multi-Valued Logic Minimization. |
ISMVL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Norihiro Kamide |
Natural Deduction with Explosion and Excluded Middle. |
ISMVL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Yuki Sonetsuji, Teijiro Isokawa, Naotake Kamiura, Hitoshi Tabuchi |
On Neural-Network-Based Detection for Hypertensive Subjects Using Classification of Retinal Fundus Photographs. |
ISMVL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Kennichi Nakamura, Hiroki Nakahara |
A Consideration on Ternary Adversarial Generative Networks. |
ISMVL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Rei Ueno, Yusuke Yagyu, Naofumi Homma |
Efficient DFA-Resistant AES Hardware Based on Concurrent Fault Detection Scheme. |
ISMVL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Christian G. Fermüller |
Some Consistency Criteria for Many-Valued Judgment Aggregation. |
ISMVL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Moraga, Radomir S. Stankovic, Milena Stankovic |
Properties of the Reed-Muller-Fourier Spectra of Maiorana-McFarland Bent Functions. |
ISMVL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Radomir S. Stankovic, Milena Stankovic, Claudio Moraga, Jaakko T. Astola |
Remarks on Gibbs Permutation Matrices for Ternary Bent Functions. |
ISMVL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Takashi Hirayama, Rin Suzuki, Katsuhisa Yamanaka, Yasuaki Nishitani |
Quick Computation of the Lower Bound on the Gate Count of Toffoli-Based Reversible Logic Circuits. |
ISMVL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Tsutomu Sasao |
Easily Reconstructable Logic Functions. |
ISMVL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Shuolin Li, Jordi Coll, Djamal Habet, Chu Min Li, Felip Manyà |
A Tableau Calculus for Signed Maximum Satisfiability. |
ISMVL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ken Asano, Masanori Natsui, Takahiro Hanyu |
Write-Energy Relaxation of MTJ-Based Quantized Neural-Network Hardware. |
ISMVL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Norihiro Kamide |
Self-extensional Paradefinite Four-valued Modal Logic Compatible with Standard Modal Logic. |
ISMVL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Hajime Machida |
Search for Some Majority Operation and Studies of its Centralizing Monoid. |
ISMVL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | |
53rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2023, Matsue, Japan, May 22-24, 2023 |
ISMVL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Igor Sedlár |
Kleene Algebra With Tests for Weighted Programs. |
ISMVL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Bhavani Sampathkumar, Bailey Martin, Ritaja Das, Priyank Kalla, Florian Enescu |
Logic Synthesis from Polynomials with Coefficients in the Field of Rationals. |
ISMVL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Tsutomu Sasao, Anders Holmgren, Patrik Eklund |
A Logical Method to Predict Outcomes After Coronary Artery Bypass Grafting. |
ISMVL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ryunosuke Maeda, Daisuke Fujita, Kosuke Tanaka, Jyunichi Ozawa, Mitsuhiro Haga, Naoyuki Miyahara, Fumihiko Nanba, Syoji Kobashi |
Predicting the Development of Chronic Lung Disease in Neonataes from Chest X-ray Images Using Deep Learning. |
ISMVL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Duncan L. MacFarlane, Hiva Shahoei, Ifeanyi G. Achu, Evan Stewart, William V. Oxford, Mitchell A. Thornton |
Multiple-Valued Logic Physically Unclonable Function in Photonic Integrated Circuits. |
ISMVL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Yosuke Iijima, Kazuharu Nakajima, Yasushi Yuminaka |
Evaluation and Symbol Classification of Multi-Valued Signaling Using Two-Dimensional Symbol Mapping with Linear Mixture Model. |
ISMVL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | David Clarino, Shohei Kuroda, Shigeru Yamashita |
Using S Gates and Relative Phase Toffoli Gates to Improve T-Count in Quantum Boolean Circuits. |
ISMVL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Sandro Preto, Felip Manyà, Marcelo Finger |
Linking Łukasiewicz Logic and Boolean Maximum Satisfiability. |
ISMVL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Kalle Ngo, Ruize Wang, Elena Dubrova, Nils Paulsrud |
Higher-Order Boolean Masking Does Not Prevent Side-Channel Attacks on LWE/LWR-based PKE/KEMs. |
ISMVL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Sandro Preto, Felip Manyà, Marcelo Finger |
Benchmarking Łukasiewicz Logic Solvers with Properties of Neural Networks. |
ISMVL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Sefatul Wasi, Saadia Binte Alam, Rashedur Rahman, M. Ashraful Amin, Syoji Kobashi |
Kidney Tumor Recognition from Abdominal CT Images using Transfer Learning. |
ISMVL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Mayuka F. Kawaguchi, Michiro Kondo |
On quotient algebras of normal eo-algebras by congruences. |
ISMVL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Chun-Yu Lin, Churn-Jung Liau |
An Inductive Construction for Many-Valued Coalgebraic Modal Logic. |
ISMVL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | George Opsahl, Marek A. Perkowski |
From Ramon Llull To Lov Grover: Towards A Universal Logic Machine. |
ISMVL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Nils Quetschlich, Lukas Burgholzer, Robert Wille |
Towards an Automated Framework for Realizing Quantum Computing Solutions. |
ISMVL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Mike Behrisch |
Weak bases for Boolean relational clones revisited. |
ISMVL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Michael Pinsker |
Current Challenges in Infinite-Domain Constraint Satisfaction: Dilemmas of the Infinite Sheep. |
ISMVL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Milena Stankovic, Radomir S. Stankovic, Claudio Moraga, Jaakko T. Astola |
Construction of Ternary Bent Functions From Ternary Linear Functions. |
ISMVL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Niemann 0001, Rolf Drechsler |
Polynomial-Time Formal Verification of Adder Circuits for Multiple-Valued Logic. |
ISMVL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jon T. Butler, Tsutomu Sasao |
On the Sensitivity of Boolean and Multiple-Valued Symmetric Functions. |
ISMVL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ryota Kayanoma, Hiroki Nakahara |
Fast Interface with Ensemble Ternary Neural Network. |
ISMVL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Aviraj Sinha, Mitchell A. Thornton |
Quantum Multiple Valued Kernel Circuits. |
ISMVL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Hyundong Lee, Hyeseung Jang, Jihyeong Yun, Huijeen Jin, Jongbeom Kim, Yeji Kim, Taigon Song |
Ternary Competitive to Binary: A Novel Implementation of Ternary Logic Using Depletion-mode and Conventional MOSFETs. |
ISMVL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Norihiro Kamide |
Falsification-aware Semantics for Description Logics. |
ISMVL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Karalic, Jovanka Pantovic, Hristina Suknjaja |
Characteristic Vectors of Reversible Boolean Functions with Threshold Components. |
ISMVL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jongbeom Kim, Yeji Kim, Hyundong Lee, Jihyeong Yun, Hyeseung Jang, Huijeen Jin, Juhee Park, Bongjun Kim, Taigon Song |
A Convenient Implementation of the Ternary Logic: Using Anti-Ambipolar Transistors and PMOS Based on Printed Carbon Nanotubes. |
ISMVL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Kennichi Nakamura, Hiroki Nakahara |
Optimizations of Ternary Generative Adversarial Networks. |
ISMVL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Chajda, Helmut Länger, Jan Paseka |
Constructions of Kleene lattices. |
ISMVL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Hitoshi Omori, Jonas Rafael Becker Arenhart |
Haack meets Herzberger and Priest. |
ISMVL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Hajime Machida |
Centralizing Monoids, Majority Operations and the Słupecki Clone. |
ISMVL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Damián Enrique Szmuc, Hitoshi Omori |
Liberating classical negation from falsity conditions. |
ISMVL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Moraga, Radomir S. Stankovic, Milena Stankovic |
On new Properties of the Maiorana-McFarland Ternary Bent Functions. |
ISMVL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Litteken, Jonathan M. Baker, Frederic T. Chong |
Communication Trade Offs in Intermediate Qudit Circuits. |
ISMVL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Norihiro Kamide |
Falsification-aware Twist Structures in Description Logic. |
ISMVL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Yosuke Iijima, Kazuharu Nakajima, Yasushi Yuminaka |
Two-Dimensional Symbol Mapping for Evaluating Multi-Valued Data Transmission Quality. |
ISMVL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Micah Thornton |
Phase & Power in Genomic Harmonic Analysis. |
ISMVL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler |
On Decision Diagrams for Maximally Asymmetric Functions. |
ISMVL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Macaulay Ferguson |
Non-Deterministic Many-Valued Modal Logic. |
ISMVL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | |
52nd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2022, Dallas, TX, USA, May 18-20, 2022 |
ISMVL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Tsutomu Sasao |
LUT Cascade Realization of Threshold Functions and Its Application to Implementation of Ternary Weight Neural Networks. |
ISMVL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ambroise Baril, Miguel Couceiro, Victor Lagerkvist |
An Algebraic Approach Towards the Fine-Grained Complexity of Graph Coloring Problems. |
ISMVL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Kamalika Datta, Abhoy Kole, Indranil Sengupta 0001, Rolf Drechsler |
Nearest Neighbor Mapping of Quantum Circuits to Two-Dimensional Hexagonal Qubit Architecture. |
ISMVL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Tsutomu Sasao |
A Method To Generate Rules From Examples. |
ISMVL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Moraga, Radomir S. Stankovic, Milena Stankovic |
Bent-based Realization of a Class of Ternary Plateaued Functions. |
ISMVL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Tomasz Mazurkiewicz |
Approximate memory-based logic synthesis of index generation functions using linear decomposition. |
ISMVL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Abdirahman Alasow, Marek A. Perkowski |
Quantum Algorithm for Maximum Satisfiability. |
ISMVL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler |
Improvement in the Quality of Solutions of a Heuristic Linear Decomposer for Index Generation Functions. |
ISMVL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Akira Ito, Rei Ueno, Naofumi Homma |
A Formal Approach to Identifying Hardware Trojans in Cryptographic Hardware. |
ISMVL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Abdolah Amirany, Mohammad Hossein Moaiyeri, Kian Jafari |
MTMR-SNQM: Multi-Tunnel Magnetoresistance Spintronic Non-volatile Quaternary Memory. |
ISMVL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Takao Waho, Tomoaki Koizumi, Hitoshi Hayashi |
A multi-level cascaded delta-sigma modulator with reduced quantization noise leakage. |
ISMVL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Martin Lukac, Khaled El-Fakih |
On Distinguishing Sequences of Several Classes of Reversible Finite State Machines. |
ISMVL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Norihiro Kamide |
Symmetric Paraconsistent Quantum Logic. |
ISMVL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Saad Al-Askaar, Marek A. Perkowski |
A New Approach to Machine Learning Based on Functional Decomposition of Multi -Valued Functions. |
ISMVL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Lucien Haddad, Masahiro Miyakawa, Maurice Pouzet, Hisayuki Tatsumi |
Hereditary rigidity, separation and density: In memory of Professor I.G. Rosenberg. |
ISMVL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Arnon Avron |
Proof Systems for Gödel Logics with an Involution. |
ISMVL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Hitoshi Omori, Daniel Skurt |
Untruth, falsity and non-deterministic semantics. |
ISMVL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Miroslav Kvassay, Elena Zaitseva, Peter Sedlacek, Patrik Rusnak |
Multi-valued Decision Diagrams in Reliability Analysis of Consecutive k-out-of-(2k-1) Systems. |
ISMVL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Tsutomu Sasao, Jon T. Butler |
Linear Decompositions for Multi-Valued Input Classification Functions. |
ISMVL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ayokunle Fadamiro, Pouyan Rezaie, Spencer K. Millican, Christoper B. Harris |
A Pragmatic Quaternary FPGA Implemented with Floating Gate Memories. |
ISMVL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Can Aknesil, Elena Dubrova |
An FPGA Implementation of 4×4 Arbiter PUF. |
ISMVL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Yang Song, Hitoshi Omori, Satoshi Tojo |
A two-valued semantics for infectious logics. |
ISMVL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | JongHyun Ko, KwanWoo Park, Suhyeong Yong, TaeGam Jeong, Taehak Kim, Taigon Song |
An Optimal Design Methodology of Ternary Logic in Iso-device Ternary CMOS. |
ISMVL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Yosuke Iijima, Yasushi Yuminaka |
Efficient PAM-4 Data Transmission with Closed Eye Using Symbol Distribution Estimation. |
ISMVL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Patrik Eklund |
Quantales in Circuit Design. |
ISMVL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Kadir Emir, David Kruml, Jan Paseka, Thomas Vetterlein |
Linear orthogonality spaces as a new approach to quantum logic. |
ISMVL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Richard Deng, Yuchen Huang, Marek A. Perkowski |
Quantum Motions and Emotions for a Humanoid Robot Actor. |
ISMVL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Grurl, Jürgen Fuß, Robert Wille |
Lessons Learnt in the Implementation of Quantum Circuit Simulation Using Decision Diagrams. |
ISMVL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Maggie Bao, Cole Powers, Marek A. Perkowski |
Quantum Algorithm for Machine Learning and Circuit Design Based on Optimization of Ternary - Input, Binary-Output Kronecker-Reed-Muller Forms. |
ISMVL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | D. Michael Miller, Gerhard W. Dueck |
Descending Order Transformation-based Synthesis of MVL Reversible Circuits. |
ISMVL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | |
51st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2021, Nur-Sultan, Kazakhstan, May 25-27, 2021 |
ISMVL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Niemann 0001, Rolf Drechsler |
Synthesis of Asymptotically Optimal Adders for Multiple-Valued Logic. |
ISMVL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Naoto Soga, Ryosuke Kuramochi, Hiroki Nakahara |
A High-Throughput Detection Circuit based on 2q+1-Valued Deep Neural Networks. |
ISMVL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Parisa Abdolrahim Poorheravi, Vincent C. Gaudet |
Hierarchical Subspace Learning for Dimensionality Reduction to Improve Classification Accuracy in Large Data Sets. |
ISMVL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Tsutomu Sasao, Yuto Horikawa, Yukihiro Iguchi |
A Design Method for Multiclass Classifiers. |
ISMVL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jeonggyu Yang, Hyundong Lee, Jaehoon Jeong, Taehak Kim, Sin-Hyung Lee, Taigon Song |
A Practical Implementation of the Ternary Logic Using Memristors and MOSFETs. |
ISMVL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Radomir S. Stankovic, Milena Stankovic, Claudio Moraga, Jaakko T. Astola |
Remarks on Particular Properties of Ternary Bent Functions and Construction Algorithms. |
ISMVL |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Norihiro Kamide |
Notes on Avron's Self-extensional Four-valued Paradefinite Logic. |
ISMVL |
2021 |
DBLP DOI BibTeX RDF |
|