SiliPET: design of an ultra high resolution small animal PET scanner based on stacks of semiconductor detectors | IEEE Conference Publication | IEEE Xplore