The Library
Browse by Department at the University of Warwick
Up a level |
Number of items: 37.
A
Amos, Martyn, Gibbons, Alan (Alan M.) and Hodgson, D. A. (1996) Error-resistant implementation of DNA computations. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Anand, Sarabjot Singh, Bell, D. A. and Hughes, J. G. (1996) EDM : A general framework for data mining based on evidence theory. Data and Knowledge Engineering, Volume 18 (Number 3). pp. 189-223. doi:10.1016/0169-023X(95)00038-T ISSN 0169-023X.
Axford, Tom and Joy, Mike (1996) Aladin : An abstract machine for integrating functional and procedural programming. Journal of Programming Languages, Volume 4 (Number 2). pp. 63-76. ISSN 0963-9306.
B
Beacom, J. and Wilson , R. (1996) Multiresolution motion analysis. Coventry: University of Warwick. Department of Computer Science. (Unpublished)
Beynon, Meurig, Cartwright, Richard, Cartwright, Alan and Yung, Yun Pui (1996) Abstract geometry for design in an empirical modelling context. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Beynon, Meurig, Ness, Paul Edward and Russ, Steve (1996) Worlds before and beyond words. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
C
Craig, Iain D. (1996) Multi-agent systems : a risk to freedom. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
G
Goldberg, Leslie Ann, Goldberg, Paul W., Phillips, Cynthia A. and Sorking, Gregory B. (1996) Constructing computer virus phylogenies. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Goldberg, Leslie Ann, Hart, W. E. and Wilson, D. B. (1996) Learning foraging thresholds for lizards. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Goldberg, Leslie Ann and Jerrum, Mark (1996) Randomly sampling molecules. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Goldberg, Leslie Ann, Paterson, Michael S., Srinavasan, Aravind and Sweedyk, Elizabeth (1996) Better approximation guarantees for job-shop scheduling. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
H
Hoek, W. van der (Wiebe) and Rijke, Maarten de (1996) Interleaved contractions. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Hume, A., Thanisch, Peter, Hartswood, Mark and Procter, Rob (1996) On the evaluation of microcalcification detection algorithms. In: Digital mammography '96 : 3rd International Workshop on Digital Mammography, Chicago, 9-12 Jun 1996. Published in: Digital mammography '96 : proceedings of the 3rd International Workshop on Digital Mammography, Chicago, 9-12 June 1996 pp. 273-276. ISBN 9780444824318.
J
Jakobs, Kai, Procter, Rob and Williams, Robin (1996) Standardisation of global telecommunication services — expertise or market shares? In: Seventh International Symposium on Technology and Society: Technical Expertise and Public Decisions, Princeton, New Jersey, 21-22 Jun 1996. Published in: 1996 International Symposium on Technology and Society : technical expertise and public decisions : proceedings pp. 457-466. ISBN 0780333454.
Jakobs, Kai, Procter, Rob and Williams, Robin (1996) Users and standardisation - worlds apart? The example of electronic mail. StandardView, Vol.4 (No.4). pp. 183-191. doi:10.1145/243492.243495 ISSN 1067-9936.
Jakobs, Kai, Procter, Rob and Williams, Robin (1996) A study of user participation in standards setting. In: CHI '96 Human Factors in Computing Systems Conference, Vancouver, Canada, 14-18 Apr 1996. Published in: Human factors in computing systems : common ground : CHI 96 conference proceedings pp. 109-110. ISBN 9780897917773.
Jakobs, Kai, Procter, Rob, Williams, Robin and Fichtner, Martina (1996) Corporate email in Europe — requirements, usage and ways ahead. In: CFP 4th International Conference on Telecommunication Systems, Nashville, Tennessee, 21-24 Mar 1996. Published in: Proceedings of the 4th International Conference on Telecommunication Systems: Modeling and Analysis : March 21-24, 1996 pp. 600-605.
Jakobs, Kai, Procter, Rob, Williams, Robin and Fichtner, Martina (1996) Some non-technical issues in the implementation of corporate e-mail : lessons from case studies. In: ACM SIGCPR/SIGMIS Conference, Denver, Colorado, 11-13 Apr 1996. Published in: SIGCPR '96 Proceedings of the 1996 ACM SIGCPR/SIGMIS conference on Computer personnel research pp. 173-180. ISBN 9780897917827.
Jakobs, Kai, Procter, Rob and Willliams, R. (1996) Electronic messaging — the lifeline of the global enterprise. In: Proceedings of the International Engineering and Technology Management Conference, Vancouver, Canada, 18-20 Aug 1996. Published in: Proceedings of the International Engineering and Technology Management Conference pp. 221-225. ISBN 078033552X.
Janowski, Tomasz and Joseph, Mathai (1996) Dynamic scheduling in the presence of faults : specification and verification. In: Jonsson, B. and Parrow, J., (eds.) Formal Techniques in Real-Time and Fault-Tolerant Systems. Lecture Notes in Computer Science, Volume 1135 . Springer Berlin Heidelberg, pp. 279-297. ISBN 3540616489
Janowski, Tomasz and Joseph, Mathai (1996) Dynamic scheduling in the presence of faults : specification and verification. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Joy, Mike and Luck, Michael (Michael M.) (1996) Software standards in Undergraduate computing courses. Journal Of Computer Assisted Learning, Volume 12 (Number 2). pp. 103-113. doi:10.1111/j.1365-2729.1996.tb00042.x ISSN 0026-4909.
Joy, Mike and Luck, Michael (Michael M.) (1996) A user-friendly on-line submissions system. In: 4th Annual Conference on the Teaching of Computing, Dublin, Eire, 27-29 Aug 1996 pp. 92-95.
K
Kerbyson, D. J., Harper, J. S., Craig, A. (Adam) and Nudd, G. R. (1996) PACE : A toolset to investigate and predict performance in parallel systems. In: European Parallel Tools Meeting, ONERA, Paris, 23-25 Oct 1996
Kurtonina, Natasha and Rijke, Maarten de (1996) Directed simulations. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
L
Levy, Ian Karl and Wilson, Roland (1996) Advances in predictive wavelet transform image coding. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
M
McCluskey, W., Dyson, K., McFall, D. and Anand, Sarabjot Singh (1996) Mass appraisal for property taxation : an artificial intelligence approach. Australian Land Economics Review, Volume 2 (Number 1). ISSN 1444-5921.
Miltersen, Peter Bro, Paterson, Michael S. and Tarui, Jun (1996) The asymptotic complexity of merging networks. Journal of the ACM, Volume 43 (Number 1). pp. 147-165. ISSN 0004-5411.
P
Papay, J., Atherton, T. J., Zemerly , M. J. and Nudd, G. R. (1996) Performance prediction of parallel self consistent field computation. Coventry: University of Warwick. Department of Computer Science. (Unpublished)
Paterson, Michael S. and Przytycka, Teresa (1996) On the complexity of string folding. Discrete Applied Mathematics, Volume 71 (Number 1-3). pp. 217-230. ISSN 0166-218X.
Procter, Rob and Williams, Robin (1996) Beyond design : social learning and computer-supported cooperative work - some lessons from innovation studies. In: Shapiro, Dan and Traunmuller, R. and Tauber, Martin J., (eds.) The Design of Computer Supported Cooperative Work and Groupware Systems. Amsterdam ; New York: North Holland : Elsevier Science, pp. 445-464. ISBN 9780444542250
Procter, Rob and Williams, Robin (1996) Engineer or change manager : dilemmas in the occupational strategy for IT specialists. In: COST A4 Workshop on Software Cultures: Work environments for design and development, Vienna. Published in: Proceedings of the COST A4 Workshop on Software Cultures: Work environments for design and development
Procter, Rob, Williams, Robin and Cashin, Les (1996) Social learning and innovations in multimedia-based CSCW. SIGOIS Bulletin, Vol.17 (No.3). pp. 73-76. doi:10.1145/242206.242331 ISSN 0894-0819.
Pu, Ida Mengyi and Gibbons, Alan (Alan M.) (1996) Matricial space-economy with constant access-time. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
R
Rijke, Maarten de (1996) A note on graded modal logic. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Rijke, Maarten de and Kurtonina, Natasha (1996) Bisimulations for temporal logic. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
W
Wahab, Matthew (1996) The semantics of TLA on the PVS theorem prover. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)