Search Sciweavers | Sciweavers

68

BIRTHDAY
2006
Springer

88views Applied Computing» more BIRTHDAY 2006»

15 years 1 months ago

The exogenous approach to enriching any given base logic for probabilistic and quantum reasoning is brought into the realm of institutions. The theory of institutions helps in capt...

Carlos Caleiro, Paulo Mateus, Amílcar Serna...

claim paper

Read More »

87

click to vote

APPROX
2010
Springer

139views Algorithms» more APPROX 2010»

Two-Source Extractors Secure against Quantum Adversaries

14 years 11 months ago

Download www.cs.tau.ac.il

We initiate the study of multi-source extractors in the quantum world. In this setting, our goal is to extract random bits from two independent weak random sources, on which two q...

Roy Kasher, Julia Kempe

claim paper

Read More »

74

click to vote

ENTCS
2008

80views more ENTCS 2008»

Idempotents in Dagger Categories: (Extended Abstract)

14 years 9 months ago

Download www.mathstat.dal.ca

d abstract) Peter Selinger1 Department of Mathematics and Statistics Dalhousie University, Halifax, Nova Scotia, Canada Dagger compact closed categories were studied by Abramsky a...

Peter Selinger

claim paper

Read More »

81

click to vote

ENTCS
2007

121views more ENTCS 2007»

Dagger Compact Closed Categories and Completely Positive Maps: (Extended Abstract)

14 years 9 months ago

Download www.mscs.dal.ca

ly positive maps (extended abstract) Peter Selinger 1 Department of Mathematics and Statistics Dalhousie University, Halifax, Nova Scotia, Canada Dagger compact closed categories ...

Peter Selinger

claim paper

Read More »

69

click to vote

ICCS
2003
Springer

236views Applied Computing» more ICCS 2003»

UTChem - A Program for ab initio Quantum Chemistry

15 years 2 months ago

Download www.molsci.jp

Takeshi Yanai, Haruyuki Nakano, Takahito Nakajima,...

claim paper