Iterative hard thresholding for compressed sensing with partially known support | IEEE Conference Publication | IEEE Xplore