First-Principles Simulation and Comparison with Beam Tests for Transverse Instabilities and Damper Performance in the Fermilab Main Injector | IEEE Conference Publication | IEEE Xplore