Full-waveform inversion with resolution proxies for in-vivo ultrasound computed tomography | IEEE Conference Publication | IEEE Xplore