Optimal Energy Delivery by a Brain Pacemaker for Cerebellar Control of After-Discharge | IEEE Journals & Magazine | IEEE Xplore