Complex-valued, multifrequency electrical capacitance tomography (CVMF-ECT) is a recently developed tomographic concept which capable of simultaneously reconstructing spectral permittivity and conductivity properties target objects within the region interest. To date, this has been limited to simulation another key issue restricting its wide adoption lies in poor image quality. This letter repo...

The phase retrieval problem in the classical setting is to reconstruct real/complex functions from magnitudes of their Fourier/frame measurements. In this paper, we consider a new paradigm vector-valued setting, which motivated by complex conjugate vectors range space real matrix and Paley-Wiener space, also determination vector field defined on graph relative between neighboring vertices. prov...

Verification of temporal logic properties plays a crucial role in proving the desired behaviors of continuous systems. In this paper, we propose an interval method that verifies the properties described by a bounded signal temporal logic. We relax the problem so that if the verification process cannot succeed at the prescribed precision, it outputs an inconclusive result. The problem is solved ...