An effective and efficient hash-based algorithm for time series discord discovery | IEEE Conference Publication | IEEE Xplore