Differentiable Automatic Data Augmentation by Proximal Update for Medical Image Segmentation | IEEE Journals & Magazine | IEEE Xplore