A PET Monte Carlo simulator from numerical phantom: validation against the EXACT ECAT HR+ scanner | IEEE Conference Publication | IEEE Xplore