The Library
Browse by Department at the University of Warwick
Up a level |
Number of items: 28.
Journal Article
Craig, Iain D. (1995) Rule interpreters in ELEKTRA. Kybernetes, Volume 24 (Number 3). pp. 37-49. doi:10.1108/03684929510087251 ISSN 0368-492X.
Joy, Mike and Rayward-Smith, V. J. (1995) NP-completeness of a combinator optimisation problem. Notre Dame Journal of Formal Logic, Volume 36 (Number 2). pp. 319-335. doi:10.1305/ndjfl/1040248462 ISSN 0029-4527.
Luck, Michael (Michael M.) and Joy, Mike (1995) Automatic submission in an evolutionary approach to computer science teaching. Computers & Education, Volume 25 (Number 3). pp. 105-111. doi:10.1016/0360-1315(95)00056-9 ISSN 0360-1315.
Book Item
Jarvis, Stephen A., Poria, Sanjay and Morgan, R. G. (1995) Experiences of teaching large-scale functional programming. In: Hartel, Pieter H. and Plasmeijer, M. J. (Marinus Jacobus), (eds.) Funtional Programming Languages in Education : First International Symposium, FPLE '95 Nijmegen, The Netherlands, December 4–6, 1995 Proceedings. Lecture Notes in Computer Science (Number 1022). Springer-Verlag, pp. 103-119.
Joy, Mike and Luck, Michael (Michael M.) (1995) On-line submission and testing of programming assignments. In: Hart, J., (ed.) Innovations in the Teaching of Computing. SEDA Papers, Volume 1 (Number 88). London: SEDA, pp. 95-103. ISBN 0946815933
Conference Item
Bokma, A., Jarvis, Stephen A., Huiban, M. and Slade, A. (1995) Handling communication in concurrent KBS. In: 8th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Melbourne, Australia, 6-8 Jun 1995. Published in: Proceedings of the 8th international conference on Industrial and engineering applications of artificial intelligence and expert systems pp. 533-540. ISBN 2884491988.
Hondroudakis, Anna and Procter, Rob (1995) The tuner's workbench : an tool for supporting tuning in the large. In: Zeus '95, Workshop on Parallel programming and applications, Linkoping, Sweden, 17-18 May 1995. Published in: Parallel programming and applications : Proceedings of the Workshop on Parallel Programming and Computation (Zeus '95) and the 4th Nordic Transputer Conference (Ntug '95), Vol.45 pp. 212-221. ISBN 9789051992298.
Hondroudakis, Anna, Procter, Rob and Shanmugan, Kesavan (1995) Performance evaluation and visualisation with VISPAT. In: PaCT '95, St. Petersburg, Russia, 12-25 Sep 1995. Published in: Parallel computing technologies : third international conference, PaCT-95, St. Petersburg, Russia, September 12-25, 1995 : proceedings pp. 180-186. ISBN 9783540602224.
Morgan, R. G. and Jarvis, Stephen A. (1995) Profiling large-scale lazy functional programs. In: High Performance Functional Computing, Denver, USA, 9-11 Apr 1995
Paterson, Michael S. and Srinivasan, Aravind (1995) Contention resolution with bounded delay. In: 36th Annual Symposium on Foundations of Computer Science (FOCS 95), Milwaukee, WI, 23-25 Oct 1995. Published in: 36th Annual Symposium on Foundations of Computer Science, 1995. Proceedings. pp. 104-113. ISBN 0818671831. ISSN 0272-5428.
Book
Fincham, Robin, Fleck, James, Procter, Rob, Scarbrough, Harry, Tierney, Margaret and Williams, Robin (1995) Expertise and innovation : information technology strategies in the financial services sector. Oxford: Oxford University Press. ISBN 9780198289043
Journal Item
Miltersen, Peter Bro (1995) On the cell probe complexity of polynomial evaluation. Theoretical Computer Science, Volume 143 (Number 1). pp. 167-174. ISSN 0304-3975 doi:10.1016/0304-3975(95)80032-5
Report
Beynon, Meurig, Cartwright, Alan and Yung, Yun Pui (1995) Databases from an agent-oriented perspective. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Craig, Iain D. (1995) Formal techniques in the development of blackboard systems. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Craig, Iain D. (1995) The formal specification of ELEKTRA. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Craig, Iain D. (1995) A perspective on multi-agent systems. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Cross, Nicola and Wilson, Roland (1995) Neural networks for object recognition. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Hsu, Tao-I and Wilson, Roland (1995) A two-component model of texture for analysis and synthesis. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Levy, Ian Karl and Wilson, Roland (1995) A hybrid fractal-wavelet transform image data compression algorithm. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Li, Chang-Tsun and Wilson, Roland (1995) Image segmentation using multiresolution Fourier transform. University of Warwick. Department of Computer Science. (Department of Computer Science research report).
Meulemans, P. R. and Wilson, Roland (1995) Feature extraction for very low bit rate video coding. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Miltersen, Peter Bro, Paterson, Michael S. and Tarui, Jun (1995) The asymptotic complexity of merging networks. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
O'Neill, Simon (1995) Two topologies are better than one. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Papaefstathiou, E., Kerbyson, D. J., Nudd, G. R. and Atherton, T. J. (1995) An introduction to the CHIP3S language for characterising parallel systems in performance studies. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Paterson, Michael S. and Przytycka, Teresa (1995) On the complexity of string folding. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Paterson, Michael S. and Srinavasan, Aravind (1995) Contention resolution with bounded delay. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Ravindran, Somasundaram, Gibbons, Alan (Alan M.) and Paterson, Michael S. (1995) Dense edge-disjoint embedding of complete binary trees in interconnection networks. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Zemerly, M. J., Papay, J. and Nudd, G. R. (1995) Characterisation based bottleneck analysis of parallel systems. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)