Secondary user scheduling in cognitive radio networks with transmit beamforming for interference mitigation | IEEE Conference Publication | IEEE Xplore