Design parameters and measured performance of the IRAM 30-m Millimeter Radio Telescope | IEEE Journals & Magazine | IEEE Xplore