research
∙
08/18/2023
Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees
Identifying safe areas is a key point to guarantee trust for systems tha...
share
research
∙
01/17/2023
The #DNN-Verification problem: Counting Unsafe Inputs for Deep Neural Networks
Deep Neural Networks are increasingly adopted in critical tasks that req...
research
∙
04/05/2020
On the Tandem Duplication Distance
A tandem duplication denotes the process of inserting a copy of a segmen...
research
∙
01/19/2019
Minimum--Entropy Couplings and their Applications
Given two discrete random variables X and Y, with probability distributi...
research
∙
12/17/2018
Information theoretical clustering is hard to approximate
An impurity measures I: R^d R^+ is a function that assigns a d-dimension...
research
∙
07/13/2018
Approximation Algorithms for Clustering via Weighted Impurity Measures
An impurity measures I:R^k →R^+ maps a k-dimensional vector v to a non-...
research
∙
05/14/2018
Maximum Entropy Interval Aggregations
Given a probability distribution p = (p_1, ..., p_n) and an integer 1≤ ...
research
∙
12/21/2017
Bounds on the Entropy of a Function of a Random Variable and their Applications
It is well known that the entropy H(X) of a discrete random variable X i...
research
∙
12/15/2017
Bubble-Flip---A New Generation Algorithm for Prefix Normal Words
We present a new recursive generation algorithm for prefix normal words....
research
∙
09/11/2013