Status of the superconducting magnet for the Alpha Magnetic Spectrometer | IEEE Journals & Magazine | IEEE Xplore