Guest Editorial: Special Issue on Systems Optimizations for DSP and AI Applications
K.-H. Chen, Y.-C. Lin, J.-K. Lee, Journal of Signal Processing Systems 95 (2023) 569–570.

An Accelerator for Resolution Proof Checking based on FPGA and Hybrid Memory Cube Technology
T. Hansmeier, M. Platzner, M.J.H. Pantho, D. Andrews, Journal of Signal Processing Systems 91 (2019) 1259–1272.