Search Results for author:
Found 4 papers, 2 papers with code
ECOD: Unsupervised Outlier Detection Using Empirical Cumulative Distribution Functions
To address these issues, we present a simple yet effective algorithm called ECOD (Empirical-Cumulative-distribution-based Outlier Detection), which is inspired by the fact that outliers are often the "rare events" that appear in the tails of a distribution.
COPOD: Copula-Based Outlier Detection
In this work, we make three key contributions, 1) propose a novel, parameter-free outlier detection algorithm with both great performance and interpretability, 2) perform extensive experiments on 30 benchmark datasets to show that COPOD outperforms in most cases and is also one of the fastest algorithms, and 3) release an easy-to-use Python implementation for reproducibility.
On the correctness of monadic backward induction
The conditions that we impose are fairly general and can be cast in category-theoretical terms using the notion of Eilenberg-Moore-algebra.
Logic in Computer Science
Extensional equality preservation and verified generic programming
This suggests that preservation of extensional equality could be a useful principle in verified generic programming.
Logic in Computer Science
