A Prior-information-guided Residual Diffusion Model for Multi-modal PET Synthesis from MRI | Synapse