Improved performance of the GSI heavy ion accelerator complex with cooled synchrotron beams | IEEE Conference Publication | IEEE Xplore