ISMVL

Publications

2023

Tsutomu Sasao
Data Mining Using Multi-Valued Logic Minimization. ISMVL (2023)
Takao Waho, Akihisa Koyama, Hitoshi Hayashi
Delta-Sigma Domain Signal Processing: A Review with Relevant Topics in Stochastic Computing. ISMVL (2023)
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)
Rei Ueno, Yusuke Yagyu, Naofumi Homma
Efficient DFA-Resistant AES Hardware Based on Concurrent Fault Detection Scheme. ISMVL (2023)
Bhavani Sampathkumar, Bailey Martin, Ritaja Das, Priyank Kalla, Florian Enescu
Logic Synthesis from Polynomials with Coefficients in the Field of Rationals. ISMVL (2023)
Radomir S. Stankovic, Milena Stankovic, Claudio Moraga, Jaakko T. Astola
Remarks on Gibbs Permutation Matrices for Ternary Bent Functions. ISMVL (2023)
Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler
Decomposition-Based Representation of Symmetric Multiple-Valued Functions. ISMVL (2023)
Mayuka F. Kawaguchi, Michiro Kondo
On quotient algebras of normal eo-algebras by congruences. ISMVL (2023)
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)
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)
Christian G. Fermüller
Some Consistency Criteria for Many-Valued Judgment Aggregation. ISMVL (2023)
Norihiro Kamide
Self-extensional Paradefinite Four-valued Modal Logic Compatible with Standard Modal Logic. ISMVL (2023)
Thomas Grurl, Jürgen Fuß, Robert Wille
Optimized Density Matrix Representations : Improving the Basis for Noise-Aware Quantum Circuit Design Tools. ISMVL (2023)
Yuki Sonetsuji, Teijiro Isokawa, Naotake Kamiura, Hitoshi Tabuchi
On Neural-Network-Based Detection for Hypertensive Subjects Using Classification of Retinal Fundus Photographs. ISMVL (2023)
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)
Mike Behrisch
Weak bases for maximal clones. ISMVL (2023)
Chun-Yu Lin, Churn-Jung Liau
An Inductive Construction for Many-Valued Coalgebraic Modal Logic. ISMVL (2023)
Yasushi Yuminaka, Kazuharu Nakajima, Yosuke Iijima
PAM-4 Data Transmission Quality Evaluation Using Two- and Three-Dimensional Mapping of Received Symbols. ISMVL (2023)
George Opsahl, Marek A. Perkowski
From Ramon Llull To Lov Grover: Towards A Universal Logic Machine. ISMVL (2023)
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)
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)
Tsutomu Sasao, Anders Holmgren, Patrik Eklund
A Logical Method to Predict Outcomes After Coronary Artery Bypass Grafting. ISMVL (2023)
Sandro Preto, Felip Manyà, Marcelo Finger
Benchmarking Łukasiewicz Logic Solvers with Properties of Neural Networks. ISMVL (2023)
Hajime Machida
Search for Some Majority Operation and Studies of its Centralizing Monoid. ISMVL (2023)
53rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2023, Matsue, Japan, May 22-24, 2023 ISMVL (2023)
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)
Shuolin Li, Jordi Coll, Djamal Habet, Chu Min Li, Felip Manyà
A Tableau Calculus for Signed Maximum Satisfiability. ISMVL (2023)
Sandro Preto, Felip Manyà, Marcelo Finger
Linking Łukasiewicz Logic and Boolean Maximum Satisfiability. ISMVL (2023)
Claudio Moraga, Radomir S. Stankovic, Milena Stankovic
Properties of the Reed-Muller-Fourier Spectra of Maiorana-McFarland Bent Functions. ISMVL (2023)
Kadir Emir, Jan Paseka
Kalmbach implication in orthomodular posets. ISMVL (2023)
Norihiro Kamide
Natural Deduction with Explosion and Excluded Middle. ISMVL (2023)
David Clarino, Shohei Kuroda, Shigeru Yamashita
Using S Gates and Relative Phase Toffoli Gates to Improve T-Count in Quantum Boolean Circuits. ISMVL (2023)
Kennichi Nakamura, Hiroki Nakahara
A Consideration on Ternary Adversarial Generative Networks. ISMVL (2023)
Nils Quetschlich, Lukas Burgholzer, Robert Wille
Towards an Automated Framework for Realizing Quantum Computing Solutions. ISMVL (2023)
Sefatul Wasi, Saadia Binte Alam, Rashedur Rahman, M. Ashraful Amin, Syoji Kobashi
Kidney Tumor Recognition from Abdominal CT Images using Transfer Learning. ISMVL (2023)
Igor Sedlár
Kleene Algebra With Tests for Weighted Programs. ISMVL (2023)
Ken Asano, Masanori Natsui, Takahiro Hanyu
Write-Energy Relaxation of MTJ-Based Quantized Neural-Network Hardware. ISMVL (2023)
Tsutomu Sasao
Easily Reconstructable Logic Functions. ISMVL (2023)

2022