[Session 1S]
Chair: Naoya Onizawa
Special Session on Spin-Edge Computing I |
Invited Talk:
Probabilistic Computing Utilizing Stochastic Spintronic Devices
Shunsuke Fukami
|
Implementation of an MRAM-Based Edge AI Hardware with a Fine-Grained Power-Gating Technique
Tomohiro Yoneda, Yasuhiro Takako, Akira Tamakoshi, Masanori Natsui, Daisuke Suzuki and Takahiro Hanyu
|
Intelligent Power-Gating Technique with Quick Wake-Up/Sleep Functionality for Spintronics-Based Edge Computing Hardware
Fangcen Zhong, Masanori Natsui and Takahiro Hanyu
|
Enhanced Simulated Bifurcation for MIMO Detection
Ryan Seah, Tingting Zhang, and Warren J. Gross
|
| |
[Session 1B]
Chair: Norihiro Kamide
Non Classical Logics |
Multi-Valued Models for Intuitionistic Logic
Alexander Sakharov
|
On Many-Valued Modal Probabilistic Logics
Igor Sedlar and Ondrej Majer
|
A Predicate Variant of Two-Layered Many-Valued Probability Logic
Libor Behounek
|
A Complete Tableau Calculus for Signed MaxSAT
Jordi Coll, Chu-Min Li, Felip Manya and Elifnaz Yangin
|
| |
[Session 2]
Chair: Yasushi Yuminaka
KC Smith Special Session I |
Opening to KC Smith Special Session (15-min):
Memories of K. C. Smith: Analog Computing, Multiple-Valued Logic and Machine Learning
Vincent Gaudet
|
Hardware-Compatible U-Net for Low-Dose PET Reconstruction
Eric-Khang Dao, Katherine Zukotynski, Sandra Black and Vincent Gaudet
|
Energy-Efficient Automated Seizure Detection in Wearable/Implantable BCIs: Motivations, Methods, and Example Implementation
Alireza Dabbaghian and Hossein Kassiri
|
Delta-Sigma Modulated Noise-Shaping Bitstreams for Multilayer Perceptron
Takao Waho, Akihisa Koyama and Hitoshi Hayashi
|
| |
[Session 3S]
Chair: Takao Waho
Special Session on Spin-Edge Computing II |
Invited Talk:
Analog CMOS Spiking Neural Network for Time-Series Signal Recognition
Shigeo Sato, Satoshi Moriya, Masaya Ishikawa and Hideaki Yamamoto
|
An FPGA-Based Rapid-Prototyping Platform for Spintronics-Based Edge-Computing Hardware
Daisuke Suzuki, Tomohiro Yoneda, Yasuhiro Takako, Akira Tamakoshi, Masanori Natsui and Takahiro Hanyu
|
Simluation and Evaluation of Asynchronous Circuits in Extreme Edge Environments
Masashi Imai
|
Generating Hamiltonians with Known Minimum Energy Based on Ground-State Spin Logic for Probabilistic-Bit-Based Simulated Annealing
Naoya Onizawa and Takahiro Hanyu
|
| |
[Session 3B]
Chair: Yosuke Iijima
Emerging Applications |
Binarization and Classification of RGB Images
Tagir Nukenov, Kamila Abdiyeva, Oliver Keszocze, Shinobu Nagayama and Martin Lukac
|
Multi-Modal CSNNs for Integrated Toxicity Detection Across Text, Audio, and Visual Modalities (withdrawn)
Ismail El Sayad
|
MUSIC Spectra Using Cayley Graphs of Multiple-Valued Signals
Aviraj Sinha, Darrell Young, Eric Larson and Mitchell Thornton
|
REBEL-6: A 32-Trit Balanced Ternary Instruction Set Architecture with R2R Compiler Pipeline for C
Steven Bos, Vetle Bodahl, Ole Christian Moholth and Henning Gundersen
|
| |
[Session 4A]
Chair: Gerhard Dueck
Quantum Computing |
Reducing the Cost of Clifford-T Quantum Gates
Takehiro Ishioka, Martin Lukac and Shinobu Nagayama
|
Realizing 4-input Functions with the Minimum Toffoli Gate Count
Shigeru Yamashita, Takashi Horiyama, Norihito Yasuda and Tatsuya Nakao
|
A Novel Data Representation Towards Efficient FPGA-based Quantum Computer Simulation
Haruhiko Hasegawa, Masayuki Shimoda, Hiroki Nakahara and Takefumi Miyoshi
|
Modeling and Simulation of Multiple-Valued and Nonlinear Quantum Photonic Components
Joshua Ange, Mason Tuller, Jessie Henderson, Elena Henderson, Bradley Moores, Duncan MacFarlane and Mitchell Thornton
|
| |
[Session 4B]
Chair: Naofumi Homma
Security |
Hybrid Fingerprinting for Effective Detection of Cloned Neural Networks
Can Aknesil, Elena Dubrova, Niklas Lindskog, Jakob Sternby and Hakan Englund
|
Decompressing Dilithium's Public Key with Fewer Signatures Using Side Channel Analysis
Ruize Wang, Joel Gartner and Elena Dubrova
|
Is Your Chip Leaking Secrets via RF Signals?
Yanning Ji, Elena Dubrova and Ruize Wang
|
Solving AES-SAT Using Side-Channel Hints: A Practical Assessment
Elena Dubrova
|
| |
[Session 5A]
Chair: Shigeru Yamashita
Logic Design |
Representation of Rotation Symmetric Multiple-Valued Functions Using Decision Diagrams
Shinobu Nagayama, Tsutomu Sasao, Jon Butler and Martin Lukac
|
Linear Transformations for Iterative Reduction of Variables
Tsutomu Sasao
|
Normal Forms and Decompositions of Monotone Ternary Functions
Klaus Schneider and Nadine Kercher
|
Additive Decomposition of Bent Functions
Claudio Moraga, Radomir Stankovic and Milena Stankovic
|
Multi-Input MAGIC Synthesis and Verification for In-Memory Computing Design
Saeideh Nabipour, Kamalika Datta, Lennart Weingarten, Abhoy Kole and Rolf Drechsler
|
| |
[Session 5B]
Chair: Igor Sedlár
Algebra, Clone, & Logic |
All Minimal Clones Generated by {0, 1}-Valued Majority Operations on a Five-Element Set
Mike Behrisch, Edith Vargas-Garcia and Andreas Wachtel
|
On $2$-Valued Majority Functions with Their Relation to Minimal Clones
Hajime Machida
|
Foulis m-Semilattices and Their Modules
Michal Botur, Jan Paseka and Milan Lekar
|
Cut Elimination and Normalization in Intermediate Connexive Logics
Norihiro Kamide
|
Normalization Theorem for Extended Intuitionistic Belnap--Dunn Logic
Norihiro Kamide
|
| |
[Session 6]
Chair: Vincen Gaudet
KC Smith Special Session II |
15-min Memorial Talk:
On the Contributions to Multiple-Valued Logic by Prof. Kenneth C. Smith
D. Michael Miller
|
Multi-Valued Data Transmission System Using Mild Waveform Shaping Based on Multi-Dimensional Symbol Mapping
Yosuke Iijima, Atsunori Okada and Yasushi Yuminaka
|
Visualization of the Waveform Shaping Effect of Higher-order FFEs Using Multi-valued Symbol Mapping
Yasushi Yuminaka, Ryou Andachi, Yosuke Iijima and Haohao Zhang
|
