Ais: streamlining segmentation of cryo-electron tomography datasets | Synapse