Estimation of thumb-muscle length by ultrasound on portable thumb training system | IEEE Conference Publication | IEEE Xplore