Simultaneous Activity and Attenuation Estimation in TOF-PET With TV-Constrained Nonconvex Optimization | IEEE Journals & Magazine | IEEE Xplore