DimBridge: Interactive Explanation of Visual Patterns in Dimensionality Reductions with Predicate Logic | IEEE Journals & Magazine | IEEE Xplore