Computer Science Technical Reports

[RR-06-02]

Quantum measurements without sums

Bob Coecke and Dusko Pavlovic

No. RR−06−02. Oxford University Computing Laboratory. July, 2006.

[RR-06-03]

Derivation of Error Distribution in Least Squares Steganalysis

Andrew Ker

No. RR−06−03. Oxford University Computing Laboratory. July, 2006.

[RR-06-04]

Using CSP to decide safety problems for access control policies

Eldar Kleiner and Tom Newcomb

No. RR−06−04. Oxford University Computing Laboratory. January, 2006.

[RR-06-05]

Proceedings of the Oxford University Computing Laboratory Programming Research Group Student Conference '06

Yong Xie

No. RR−06−05. Oxford University Computing Laboratory. October, 2006.

[RR-06-06]

Generalising Submodularity and Horn Clauses: Tractable optimization problems defined by tournament pair multimorphisms

Peter Jeavons‚ Martin C Cooper and David A Cohen

No. RR−06−06. Oxford University Computing Laboratory. December, 2006.

[RR-05-06]

Martlet: A scientific work−flow language for abstracted parallisation

Daniel Goodman

No. RR−05−06. January, 2006.

Main sections