Segmentation of PET Images for Computer-Aided Functional Quantification of Tuberculosis in Small Animal Models | IEEE Journals & Magazine | IEEE Xplore