Cezar Ionescu

dblp:80/7170 · DBLP profile ↗
← Back
7ranked-venue papers
2as first author
1since 2021 · last 2023
0000-0003-3908-2843ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 3 · 1 first-authorDatabases, data management, data science and information retrieval · 2 · 1 since 2021Artificial intelligence and machine learning · 1Systems, architecture and hardware · 1Theory of computation · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Databases, data mining, and information retrieval
2 papers
Data mining · 100%

Topics — the 4 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Data mining
anomaly detection
1.122023
ECOD: Unsupervised Outlier Detection Using Empirical Cumulative Distribution Functions · IEEE Trans. Knowl. Data Eng. 2023
COPOD: Copula-Based Outlier Detection · ICDM 2020
Data mining › anomaly detection
outlier detection
1.122023
ECOD: Unsupervised Outlier Detection Using Empirical Cumulative Distribution Functions · IEEE Trans. Knowl. Data Eng. 2023
COPOD: Copula-Based Outlier Detection · ICDM 2020
Data mining › anomaly detection › outlier detection
unsupervised outlier detection
0.712023
ECOD: Unsupervised Outlier Detection Using Empirical Cumulative Distribution Functions · IEEE Trans. Knowl. Data Eng. 2023
Data mining
high-dimensional data analysis
0.212023
ECOD: Unsupervised Outlier Detection Using Empirical Cumulative Distribution Functions · IEEE Trans. Knowl. Data Eng. 2023

Methods — techniques the papers use, named apart from their topics

nonparametric estimation · 0.7empirical cumulative distribution functions · 0.7copula modeling · 0.4
YearPublicationVenuePosition
2023 ECOD: Unsupervised Outlier Detection Using Empirical Cumulative Distribution Functions
abstract
Outlier detection refers to the identification of data points that deviate from a general data distribution. Existing unsupervised approaches often suffer from high computational cost, complex hyperparameter tuning, and limited interpretability, especially when working with large, high-dimensional datasets. To address these issues, we present a simple yet effective algorithm calledECOD(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. In a nutshell,ECODfirst estimates the underlying distribution of the input data in a nonparametric fashion by computing the empirical cumulative distribution per dimension of the data.ECODthen uses these empirical distributions to estimate tail probabilities per dimension for each data point. Finally,ECODcomputes an outlier score of each data point by aggregating estimated tail probabilities across dimensions. Our contributions are as follows: (1) we propose a novel outlier detection method calledECOD, which is both parameter-free and easy to interpret; (2) we perform extensive experiments on 30 benchmark datasets, where we find thatECODoutperforms 11 state-of-the-art baselines in terms of accuracy, efficiency, and scalability; and (3) we release an easy-to-use and scalable (with distributed support) Python implementation for accessibility and reproducibility.
Yue Zhao 0016, Xiyang Hu, Nicola Botta, Cezar Ionescu, George H. Chen
IEEE Trans. Knowl. Data Eng.5
2020 COPOD: Copula-Based Outlier Detection
abstract
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 predictive capability, and limited interpretability. As a remedy, we present a novel outlier detection algorithm called COPOD, which is inspired by copulas for modeling multivariate data distribution. COPOD first constructs an empirical copula, and then uses it to predict tail probabilities of each given data point to determine its level of “extremeness”. Intuitively, we think of this as calculating an anomalous p-value. This makes COPOD both parameter-free, highly interpretable, and computationally efficient. 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.
Yue Zhao 0016, Nicola Botta, Cezar Ionescu, Xiyang Hu
ICDM4
2018 Type Theory as a Framework for Modelling and Programming
Cezar Ionescu, Patrik Jansson, Nicola Botta
ISoLA (1)1
2017 Contributions to a computational theory of policy advice and avoidability
abstract
Abstract We present the starting elements of a mathematical theory of policy advice and avoidability. More specifically, we formalize a cluster of notions related to policy advice, such as policy , viability , reachability , and propose a novel approach for assisting decision making, based on the concept of avoidability . We formalize avoidability as a relation between current and future states, investigate under which conditions this relation is decidable and propose a generic procedure for assessing avoidability. The formalization is constructive and makes extensive use of the correspondence between dependent types and logical propositions, decidable judgments are obtained through computations. Thus, we aim for a computational theory, and emphasize the role that computer science can play in global system science.
Nicola Botta, Patrik Jansson, Cezar Ionescu
J. Funct. Program.3
2016 Vulnerability modelling with functional programming and dependent types
abstract
We present an interdisciplinary effort in the field of global environmental change, related to the understanding of the concept of ‘vulnerability’. We have used functional programming to capture the generic aspects of the myriad of definitions of vulnerability, and have used the resulting formalization to learn something new about vulnerability and to write some better software for vulnerability assessment. In the process, we have also found out something about formalization in general, about the advantages and disadvantages of dependent types, and about the role of computing science in the larger intellectual landscape.
Cezar Ionescu
Math. Struct. Comput. Sci.1
2015 Functional prototypes for generic C++ libraries: a transformational approach based on higher-order, typed signatures
Daniel Lincke, Sibylle Schupp, Cezar Ionescu
Int. J. Softw. Tools Technol. Transf.3
2007 Relation-based computations in a monadic BSP model
Nicola Botta, Cezar Ionescu
Parallel Comput.2