Electron cooler at INS | IEEE Conference Publication | IEEE Xplore