Beamforming Vector Design and Device Selection in Over-the-Air Federated Learning | IEEE Journals & Magazine | IEEE Xplore