Effects of gas pockets on high-intensity focused ultrasound field | IEEE Journals & Magazine | IEEE Xplore