Electron density height profiles from GPS receiver data | AGU Journals & Magazine | IEEE Xplore