NJIT Researcher Michael Houle Proves Theory for Detecting Data Anomalies