Sciweavers

ENTCS
2006
106views more  ENTCS 2006»
13 years 3 months ago
Probabilistic Observations and Valuations: (Extended Abstract)
d Abstract) 1 Matthias Schr
Matthias Schröder, Alex Simpson
ENTCS
2008
97views more  ENTCS 2008»
13 years 3 months ago
POVMs and Naimark's Theorem Without Sums
duce an abstract notion of POVM within the categorical quantum mechanical semantics in terms act categories. Our definition is justified by two facts: i. we provide a purely graph...
Bob Coecke, Éric Oliver Paquette
DEXA
2007
Springer
89views Database» more  DEXA 2007»
13 years 9 months ago
Dependency Management for the Preservation of Digital Information
Abstract. The notion of dependency is ubiquitous. This paper approaches this notion from the perspective of digital information preservation. At first, an abstract notion of modul...
Yannis Tzitzikas
CADE
2007
Springer
14 years 3 months ago
System for Automated Deduction (SAD): A Tool for Proof Verification
In this paper, a proof assistant, called SAD, is presented. SAD deals with mathematical texts that are formalized in the ForTheL language (brief description of which is also given)...
Konstantin Verchinine, Alexander V. Lyaletski, And...