The 2025 MLB season ended with the Los Angeles Dodgers clinching the World Series after an intense seven-game battle against the Toronto Blue Jays. However, former Philadelphia Eagles center Jason ...

Abstract: This paper proposes a graph linear canonical transform (GLCT) by decomposing the linear canonical parameter matrix into fractional Fourier transform, scale transform, and chirp modulation ...

This study introduces a Linear Matrix Inequality (LMI) approach for adaptive Linear Quadratic Regulator (LQR) based on Q-learning to address discrete-time systems under both deterministic and ...

Large language models (LLMs) can prove mathematical theorems formally by generating proof steps (\textit{a.k.a.} tactics) within a proof system. However, the space of possible tactics is vast and ...

Distributed under the terms of the GNU General Public License (GPL, see the LICENSE file), either version 3 or (at your option) any later version ...