Attentive vision is characterized by selective sensing in space and time as well as selective processing with respect to a specic task. Selection in space involves the splitting ...
In 1973, Parikh proved a speed-up theorem conjectured by G¨odel 37 years before: there exist arithmetical formulæ that are provable in first order arithmetic, but whose shorter ...
Abstract— In mobile telecommunications, the quality of demodulation is strongly impacted by channel estimation. The Joint Angle, Delay and Polarization Estimation (JADPE) problem...
A recent publication introduced a Visual Crypto (VC) system, based on the polarisation of light. This VC system has good resolution, contrast and colour properties. Mathematically,...
Pim Tuyls, Henk D. L. Hollmann, Jack H. van Lint, ...
We show a general reduction that derives lower bounds on degrees of polynomial calculus proofs of tautologies over any field of characteristic other than 2 from lower bounds for r...