An Intense Pulsed Barium Ion Source | IEEE Journals & Magazine | IEEE Xplore