Kernel-based retrieval of atmospheric profiles from IASI data | IEEE Conference Publication | IEEE Xplore