Prototype magnet designs and loss measurements for the dual frequency booster synchrotron for TRIUMFs KAON Factory | IEEE Conference Publication | IEEE Xplore