449 citations · 843 across the 5 of their papers we have counts for
5 papers
ECOD: Unsupervised Outlier Detection Using Empirical Cumulative Distribution Functions
Zheng Li, Yue Zhao, Xiyang Hu +3
Outlier detection refers to the identification of data points that deviate from a general data distribution. Existing unsupervised approaches often suffer from high computational c…
COPOD: Copula-Based Outlier Detection
Zheng Li, Yue Zhao, Nicola Botta +2
Outlier detection refers to the identification of rare items that are deviant from the general data distribution. Existing approaches suffer from high computational complexity, low…
Examples and Results from a BSc-level Course on Domain Specific Languages of Mathematics
Patrik Jansson, Sólrún Halla Einarsdóttir, Cezar Ionescu
At the workshop on Trends in Functional Programming in Education (TFPIE) in 2015 Ionescu and Jansson presented the approach underlying the "Domain Specific Languages of Mathematics…
Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis Using Functional Programming
Cezar Ionescu, Patrik Jansson
We present the approach underlying a course on "Domain-Specific Languages of Mathematics", currently being developed at Chalmers in response to difficulties faced by third-year stu…
Sequential decision problems, dependent types and generic solutions
Nicola Botta, Patrik Jansson, Cezar Ionescu +2
We present a computer-checked generic implementation for solving finite-horizon sequential decision problems. This is a wide class of problems, including inter-temporal optimizatio…