Convolutional Dictionary Learning with Huber Error and l1 Regularization Terms. - Satoshi Yoda; Hironori Kawazoe; Yoshimitsu Kuroki (ISPACS, 2021)

A Mostly CPS, Partly ANF Translation of Dependent Types. - Youyou Cong; Hironori Kawazoe; Hidehiko Masuhara (IFL, 2024)