Certified Reasoning for Automated Verification
Statistical Group Differences in Anatomical Shape Analysis using Hotelling T 2 metric
National Alliance for Medical Image Computing Project Week June 26-30, 2006 Participants: 56 NA-MIC (38), Collaborators (18) –NA-MIC:
