GPS tomography of the ionospheric electron content with a correlation functional | IEEE Journals & Magazine | IEEE Xplore