![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
53rd ISMVL 2023: Matsue, Japan
- 53rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2023, Matsue, Japan, May 22-24, 2023. IEEE 2023, ISBN 978-1-6654-6416-1
- Kennichi Nakamura, Hiroki Nakahara:
A Consideration on Ternary Adversarial Generative Networks. 1-6 - Ken Asano, Masanori Natsui, Takahiro Hanyu:
Write-Energy Relaxation of MTJ-Based Quantized Neural-Network Hardware. 7-11 - Tsutomu Sasao:
Easily Reconstructable Logic Functions. 12-17 - Kadir Emir, Jan Paseka
:
Kalmbach implication in orthomodular posets. 18-23 - Norihiro Kamide:
Natural Deduction with Explosion and Excluded Middle. 24-29 - Norihiro Kamide:
Self-extensional Paradefinite Four-valued Modal Logic Compatible with Standard Modal Logic. 30-35 - Chun-Yu Lin, Churn-Jung Liau:
An Inductive Construction for Many-Valued Coalgebraic Modal Logic. 36-41 - Yuki Sonetsuji, Teijiro Isokawa, Naotake Kamiura, Hitoshi Tabuchi:
On Neural-Network-Based Detection for Hypertensive Subjects Using Classification of Retinal Fundus Photographs. 42-47 - 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. 48-53 - Sefatul Wasi, Saadia Binte Alam, Rashedur Rahman, M. Ashraful Amin, Syoji Kobashi:
Kidney Tumor Recognition from Abdominal CT Images using Transfer Learning. 54-58 - 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. 59-63 - Claudio Moraga, Radomir S. Stankovic, Milena Stankovic:
Properties of the Reed-Muller-Fourier Spectra of Maiorana-McFarland Bent Functions. 64-69 - Radomir S. Stankovic, Milena Stankovic, Claudio Moraga, Jaakko T. Astola:
Remarks on Gibbs Permutation Matrices for Ternary Bent Functions. 70-75 - Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler:
Decomposition-Based Representation of Symmetric Multiple-Valued Functions. 76-81 - Bhavani Sampathkumar, Bailey Martin, Ritaja Das, Priyank Kalla, Florian Enescu
:
Logic Synthesis from Polynomials with Coefficients in the Field of Rationals. 82-87 - Takao Waho, Akihisa Koyama, Hitoshi Hayashi:
Delta-Sigma Domain Signal Processing: A Review with Relevant Topics in Stochastic Computing. 88-93 - Yasushi Yuminaka, Kazuharu Nakajima, Yosuke Iijima:
PAM-4 Data Transmission Quality Evaluation Using Two- and Three-Dimensional Mapping of Received Symbols. 94-98 - Yosuke Iijima, Kazuharu Nakajima, Yasushi Yuminaka:
Evaluation and Symbol Classification of Multi-Valued Signaling Using Two-Dimensional Symbol Mapping with Linear Mixture Model. 99-104 - Tsutomu Sasao:
Data Mining Using Multi-Valued Logic Minimization. 105-110 - Igor Sedlár:
Kleene Algebra With Tests for Weighted Programs. 111-116 - Mayuka F. Kawaguchi, Michiro Kondo:
On quotient algebras of normal eo-algebras by congruences. 117-121 - Hajime Machida:
Search for Some Majority Operation and Studies of its Centralizing Monoid. 122-127 - Mike Behrisch
:
Weak bases for maximal clones. 128-133 - Nils Quetschlich, Lukas Burgholzer, Robert Wille:
Towards an Automated Framework for Realizing Quantum Computing Solutions. 134-140 - Thomas Grurl, Jürgen Fuß, Robert Wille:
Optimized Density Matrix Representations : Improving the Basis for Noise-Aware Quantum Circuit Design Tools. 141-146 - David Clarino, Shohei Kuroda, Shigeru Yamashita:
Using S Gates and Relative Phase Toffoli Gates to Improve T-Count in Quantum Boolean Circuits. 147-152 - Takashi Hirayama, Rin Suzuki, Katsuhisa Yamanaka, Yasuaki Nishitani:
Quick Computation of the Lower Bound on the Gate Count of Toffoli-Based Reversible Logic Circuits. 153-157 - Sandro Preto
, Felip Manyà, Marcelo Finger:
Benchmarking Łukasiewicz Logic Solvers with Properties of Neural Networks. 158-163 - Sandro Preto
, Felip Manyà, Marcelo Finger:
Linking Łukasiewicz Logic and Boolean Maximum Satisfiability. 164-169 - Shuolin Li, Jordi Coll, Djamal Habet, Chu Min Li, Felip Manyà:
A Tableau Calculus for Signed Maximum Satisfiability. 170-175 - George Opsahl
, Marek A. Perkowski:
From Ramon Llull To Lov Grover: Towards A Universal Logic Machine. 176-183 - 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. 184-189 - Kalle Ngo, Ruize Wang, Elena Dubrova, Nils Paulsrud:
Higher-Order Boolean Masking Does Not Prevent Side-Channel Attacks on LWE/LWR-based PKE/KEMs. 190-195 - Rei Ueno, Yusuke Yagyu, Naofumi Homma:
Efficient DFA-Resistant AES Hardware Based on Concurrent Fault Detection Scheme. 196-201 - Tsutomu Sasao, Anders Holmgren, Patrik Eklund:
A Logical Method to Predict Outcomes After Coronary Artery Bypass Grafting. 202-208 - Peter Shmerko, Svetlana N. Yanushkevich
, Marek A. Perkowski, Yumi Iwashita, Adrian Stoica:
Discovering Emerging Applications of Multi-Valued Logic: Protocols for Human-Autonomy Teaming. 209-214 - Christian G. Fermüller:
Some Consistency Criteria for Many-Valued Judgment Aggregation. 215-220
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.