Compressed Sensing Based Active User Detection in MIMO Systems With One-Bit ADC | IEEE Journals & Magazine | IEEE Xplore