Dynamic Server Provisioning for Carbon-Neutral Data Centers | IEEE Conference Publication | IEEE Xplore