Sciweavers

8266 search results - page 355 / 1654
» Information About the Journal
Sort
View
MSCS
2006
69views more  MSCS 2006»
15 years 6 months ago
A categorical quantum logic
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...
Samson Abramsky, Ross Duncan
COMBINATORICS
2004
81views more  COMBINATORICS 2004»
15 years 6 months ago
A Card Shuffling Analysis of Deformations of the Plancherel Measure of the Symmetric Group
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...
Jason E. Fulman
SODA
2010
ACM
171views Algorithms» more  SODA 2010»
15 years 4 months ago
Differential Privacy in New Settings
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 ...
Cynthia Dwork
CORR
2010
Springer
139views Education» more  CORR 2010»
15 years 1 months ago
Ontology and Knowledge Management System on Epilepsy and Epileptic Seizures
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...
SIAMMAX
2010
88views more  SIAMMAX 2010»
15 years 1 months ago
Schur Decompositions of a Matrix and the Boundary of Its Pseudospectrum
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...
Lyonell Boulton, Peter Lancaster