Solving Constrained Horn Clauses (CHCs) is a fundamental challenge behin...
This article aims to seek a selection and estimation procedure for a cla...
Dual complex numbers can represent rigid body motion in 2D spaces. Dual
...
In this paper, a novel approach via embedded tensor manifold regularizat...
This paper aims at achieving a simultaneously sparse and low-rank estima...