Computer Science Technical Reports
2018201720162015201420132012201120102009200820072006200520042003
1974
[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. |