Design Overview of the MIT 1.3-GHz LTS/HTS NMR Magnet with a New REBCO Insert | IEEE Journals & Magazine | IEEE Xplore