Items where Department is "Computer Science"

A

Axford, T. H. and Joy, Mike (1993) List processing in parallel languages. University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Axford, Tom and Joy, Mike (1993) List processing primitives for parallel computation. Computer Languages, Volume 19 (Number 1). pp. 1-17. doi:10.1016/0096-0551(93)90036-Z ISSN 0096-0551.

C

Craig, Iain D. (1993) A new interpretation of the blackboard architecture. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

F

Farkas, Monica, Beynon, Meurig and Yung, Yun Pui (1993) Agent-oriented modelling for a billiards simulation. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

G

Gent, Ian (1993) Analytic proof systems for classical and modal logics of restricted quantification. PhD thesis, University of Warwick.

J

Joy, Mike (1993) Ginger : a simple functional language. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

K

King, Andrew and Wilson, Roland (1993) Multiresolution image analysis based on local symmetries. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Koizumi, Hirotaka, Maruoka, Akira and Paterson, Michael S. (1993) Consistency of natural relations on sets. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

M

McKinlay, Andy, Arnott, John, Procter, Rob, Masting, Oliver and Woodburn, Robin (1993) A study of turn-taking in a computer-supported group task. In: HCI'93, Loughborough, UK, Sep 1993. Published in: People and computers VIII : proceedings of HCI 93, Loughborough, September 1993 pp. 383-394. ISBN 9780521466332.

Milner, Robin, Parrow, Joachim and Walker, David (1993) Modal logics for mobile processes. Theoretical Computer Science, Volume 114 (Number 1). pp. 149-171. doi:10.1016/0304-3975(93)90156-N ISSN 0304-3975.

Miltersen, Peter Bro (1993) Lower bounds for union-split-find related problems on random access machines. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

P

Papaefstathiou, E., Papay, J., Nudd, G. R., Atherton, T. J., Clarke, C. T., Kerbyson, D. J., Stratton, A., Ziani, R. and Zemerly, M. J. (1993) A layered approach to modelling parallel systems for performance prediction. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Paterson, Michael S. (1993) Computer science seminars 1992/93. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

R

Ryan, M. S. and Nudd, G. R. (1993) Dynamic character recognition using hidden Markov models. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Ryan, M. S. and Nudd, G. R. (1993) The Viterbi algorithm. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

S

Shuttleworth, T. and Wilson, Roland (1993) Note recognition in polyphonic music using neural networks. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Z

Zemerly, M. J. (1993) Hardware characterisation of multi-processor systems. Coventry: University of Warwick. Department of Computer Science. (Unpublished)

Zemerly, M. J. and Papaefstathiou, E. (1993) Characterisation survey. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Zemerly, M. J., Papaefstathiou, E., Atherton, T. J., Kerbyson, D. J. and Nudd, G. R. (1993) Characterising computational kernels : a case study. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Zemerly, M. J., Papaefstathiou, E., Atherton, T. J., Kerbyson, D. J. and Nudd, G. R. (1993) Smart integration : a test case study. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Zwick, Uri and Paterson, Michael S. (1993) The memory game. Theoretical Computer Science, Volume 110 (Number 1). pp. 169-196. doi:10.1016/0304-3975(93)90355-W ISSN 0304-3975.