Anomaly Detection of Time Series With Smoothness-Inducing Sequential Variational Auto-Encoder | Synapse