Publications of 1994

1994

R Jozsa, B Schumacher, A new proof of the quantum noiseless coding theorem. J Modern Optics, , pp. 2343–2350. December 1994. No electronic version available.
R Jozsa, Fidelity for Mixed Quantum States. J Modern Optics, , pp. 2315–2324. December 1994. No electronic version available.
C Bennett, G Brassard, R Jozsa, D Mayers, A Peres, B Schumacher, W Wootters, Reduction of Quantum Entropy by Reversible Extraction of Classical Information. J Modern Optics, , pp. 2307–2314. December 1994. No electronic version available.
C. Boukouvalas, J. Kittler, R. Marik, M. Mirmehdi, M. Petrou, Automatic inspection of ceramic tiles. ERA Technology: Implementing Optics for Measurement, Monitoring, and Control - Practical Solutions for Industry. ISBN 0-70080579-6, pp. 403001–403010. December 1994. No electronic version available.
J. Kittler, R. Marik, M. Mirmehdi, M. Petrou, J. Song, Detection of defects in colour texture surfaces. IAPR Proc. of Machine Vision Applications 94, pp. 558–567. December 1994. PDF, 490 Kbytes.
Neil Davies, The Performance and Scalability of Parallel Systems. PhD thesis. Department of Computer Science, University of Bristol. December 1994. PDF, 1037 Kbytes.
Konstantinos Varsamos, Automatic Transformation of Deterministic Prolog Programs to KL1. International Symposium on Fifth Generation Computer Systems 1994(FGCS'94): Workshop on Parallel Logic Programming, pp. 142–157. December 1994. PDF, 220 Kbytes.
Bern Martens, John Gallagher, Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance. CSTR-94-016, Department of Computer Science, University of Bristol. December 1994. PDF, 234 Kbytes.
Christophe Giraud-Carrier, Tony Martinez, An Incremental Learning Model for Commonsense Reasoning. Proceedings of the Seventh International Symposium on Artificial Intelligence (ISAI'94), pp. 134–141. October 1994. PDF, 52 Kbytes.
Matthew E. J. Wood, Eric Lewis, Multi-Lingual Prediction Systems. The Proceedings of the Sixth Biennial Conference of the International Augmentative and Alternative Communication. ISBN 90-74910-03-3, pp. 471–473. October 1994. No electronic version available. External information
Andre de Waal, Analysis and Transformation of Proof Procedures. PhD thesis. Department of Computer Science, University of Bristol. October 1994. PDF, 638 Kbytes.
David Carter, Deterministic Concurrency. PhD thesis. Department of Computer Science, University of Bristol. September 1994. PDF, 939 Kbytes.
Kerstin Eder, Meta-Programming for Knowledge Base Systems. PhD thesis. Department of Computer Science, University of Bristol. September 1994. No electronic version available.
Christophe Giraud-Carrier, A Reconfigurable Data Flow Machine for Implementing Functional Programming Languages. SIGPLAN Notices, 29 (9). ISSN 0, pp. 22–28. September 1994. PDF, 40 Kbytes.
Konstantinos D. Varsamos, Transforming CHIP Programs to KL1: Design and Implementation of the CHUKL Preprocessor. PhD thesis. Department of Computer Science, University of Bristol. September 1994. PDF, 389 Kbytes.
Neil Davies, Use of an Observationally-based Performance Model for Informing Scheduling Decisions. CSTR-94-11, Department of Computer Science, University of Bristol. September 1994. PDF, 134 Kbytes.
Walterio Mayol-Cuevas, E. Gomez-Ramirez, 2D sparse distributed memory optical neural network for pattern recognition. IEEE International Conference on Neural Networks (ICNN'94). ISBN 0-7803-1901-x, pp. 2112–2116. June 1994. No electronic version available.
Erik Reinhard, Lucas U. Tijssen, Frederik W. Jansen, Environment Mapping for Efficient Sampling of the Diffuse Interreflection. Photorealistic Rendering Techniques. ISBN 3-540-58475-7, pp. 410–422. June 1994. PDF, 125 Kbytes.
C. J. Burgess, The Automated Generation of Test Cases for Compilers. Sofwtware testing, Verification and Reliability, 4 (2). ISSN 0960-0833, pp. 81–99. June 1994. No electronic version available.
Christophe Giraud-Carrier, Tony Martinez, Seven Desirable Properties for Artificial Learning Systems. Proceedings of the Seventh Florida AI Research Symposium (FLAIRS'94). ISBN 0-9620-1736-1, pp. 16–20. May 1994. PDF, 23 Kbytes.
A. D. Calway, R. Wilson, Curve Extraction in Images Using a Multiresolution Framework. CVGIP: Image Understanding, 59 (3). ISSN 1049-9660, pp. 359–366. May 1994. PDF, 249 Kbytes.
Peter Flach, Simply Logical. John Wiley. ISBN 0-471-94152-2. April 1994. No electronic version available. External information
Henk L. Muller, Paul W. A. Stallard, David H. D. Warren, An Evaluation Study of a Link-Based Data Diffusion Machine. Proceedings of theInternational Workshop on Support for Large Scale Shared Memory Architectures, pp. 115–128. April 1994. PDF, 133 Kbytes.
Henk L. Muller, Paul W. A. Stallard, David H. D. Warren, Sanjay Raina, Parallel Evaluation of a Parallel Architecture by means of Calibrated Emulation. Proceedings of the 8th International Parallel Processing Symposium. ISBN 0-8186-5602-6, pp. 260–267. April 1994. PDF, 80 Kbytes.
R Jozsa, D Robb, W Wootters, Lower Bound for Accessible Information in Quantum Mechanics. Phys Rev A, , pp. 668–677. February 1994. No electronic version available.
A Berthiaume, D Deutsch, R Jozsa, The Stabilisation of Quantum Computations. IEEE Workshop on Physics and Computation, pp. 60–62. January 1994. No electronic version available.