On the derivation of RIP for random Gaussian matrices and binary sparse signals | IEEE Conference Publication | IEEE Xplore