… We focus on applying neural network verification to computational tasks with a precise …
approach to train and verify the first provably correct neural networks for compressed sensing, ie, …

… in the domain of the compressed sensing random projections. Zhao et al. [11… COMPRESSED
SENSING NETWORK In this section, we first introduce the basic video compressed sensing …

… for network parameters, we propose to use a compressive sensing (CS)-based method,
namely NNCS, … Finally, we transform the entire neural network into another new domain-based …

… In order to verify the effectiveness of the proposed algorithm, we also verify the advantages
of the proposed algorithm compared to the traditional method, and compare the gaps of the …

… A flow field time sequence prediction framework named compressed convolutional gate …
to verify the feasibility of time sequence prediction of the cascade flow field. The verification …

… inexpensive resource-deprived sensors), or … compressed sensing (CS) depicts a new
paradigm for image acquisition and reconstruction that implements the sampling and compression …

… To address the dimension reduction problem for vibration data, a CS-based feature extraction
algorithm is proposed and verified using a heuristic PSO-BP neural network for bearing …

… kindles the need for highly compressed models, requiring … verified robustness comparable
to the denser counterparts developed in state-of-the-art. Finding such compressed verified …

Compressed sensing (CS) for sensor-near vibration … on deep neural networks (DNNs) trained
on compressed data. The envisioned maintenance system consists of a network of sensing …

… -fly and their RIP properties could be verified definitely [39]. … ) based binary matrix has been
verified with empirically good … measurement matrices for compressed sensing encoding. A …