Deep perceptual preprocessing has recently emerged as a new way to enable further bitrate savings across several generations of video encoders without breaking standards or requiring any changes in client devices. In this article, we lay the foundation for generalized psychovisual framework encoding and describe one its promising instantiations that is practically deployable video-on-demand, li...

We propose three constructions of classically verifiable non-interactive zero-knowledge proofs and arguments (CV-NIZK) for $$\textbf{QMA}$$ in various preprocessing models.

Hoare's logic and Dijkstra's predicate transformer calculus have proved adequate for reducing the correctness problem for programs to the validity problem for logical formulas. However, the size of the logical formulas to be validated grows faster than the size of the program , and, even in the propositional case, the validation problem is NP-complete and becomes practically intractable for lar...

Today’s real world databases are highly susceptible to noisy, missing and inconsistent data due to their typically huge size data and their origin from multiple, heterogeneous sources. Hence, pre-processing of data is necessary to help improve the quality of data and consequently the mining results. There are number of data pre-processing techniques. In this paper, we would like to discuss two ...