Login / Signup
Daichi Hayashi
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 4
Top Topics
Theoretical Basis
Finite Model Theory
Wide Class
Control Signals
Top Venues
WoLLIC
ISSCC
VRST
Stud Logica
</>
Publications
</>
Koichi Nose
,
Taro Fujii
,
Katsumi Togawa
,
Shunsuke Okumura
,
Kentaro Mikami
,
Daichi Hayashi
,
Teruhito Tanaka
,
Takao Toi
20.3 A 23.9TOPS/W @ 0.8V, 130TOPS AI Accelerator with 16× Performance-Accelerable Pruning in 14nm Heterogeneous Embedded MPU for Real-Time Robot Applications.
ISSCC
(2024)
Daichi Hayashi
,
Graham E. Leigh
A Compositional Theory of Krivine's Classical Realisability.
WoLLIC
(2024)
Kazuya Iida
,
Yuma Ina
,
Daichi Hayashi
,
Yohei Yanase
,
Keita Watanabe
Open Video Game Library: Developing a Video Game Database for Use in Research and Experimentation.
VRST
(2023)
Daichi Hayashi
On Cut-Elimination Arguments for Axiomatic Theories of Truth.
Stud Logica
110 (3) (2022)