We define a sequent calculus corresponding to the logic of strongly compact closed categories with biproducts. Based on this calculus, we define a proof-net syntax with ly normali...
This paper finds and analyzes a formula for the total variation distance between iterations of riffle shuffles and iterations of "cut and then riffle shuffle". This allo...
Differential privacy is a recent notion of privacy tailored to the problem of statistical disclosure control: how to release statistical information about a set of people without ...
A Knowledge Management System developed for supporting creation, capture, storage and dissemination of information about Epilepsy and Epileptic Seizures is presented. We present an...
Pedro Almeida, Paulo Gomes, Francisco Sales, Ana N...
Abstract. We discuss the notion of irreducible block Schur decomposition of a complex square matrix and show how such a decomposition provides information about singularities in th...