Automated Segmentation of Isolated-Overlapping Nanoparticles in BF TEM Images by U-Net Binarization and Branch and Bound