User Scheduling for Federated Learning Through Over-the-Air Computation | IEEE Conference Publication | IEEE Xplore