B

Bezerra, E.A. and Gough, M.P. (2000) A guide to migrating from microprocessor to FPGA coping with the support tool limitations. Microprocessors and Microsystems, 23 (10). pp. 561-572. ISSN 0141-933

Boden, Maggie (2000) Crafts Perception and the Possibilities of the Body. British Journal of Aesthetics, 40 (3). 289 - 301. ISSN 00070904

C

Carozzi, T, Karlsson, R and Bergman, J (2000) Parameters characterizing electromagnetic wave polarization. Physical Review E, 61 (2). pp. 2024-2028.

Carroll, John and McCarthy, Diana (2000) Word sense disambiguation using automatically acquired verbal preferences. Computers and the Humanities, 34 (1-2). pp. 109-114. ISSN 0010-4817

Carroll, John, Nicolov, Nicolas, Shaumyan, Olga, Smets, Martine and Weir, David (2000) Engineering a wide-coverage lexicalized grammar. In: Proceedings of the Fifth International Workshop on Tree Adjoining Grammars and Related Frameworks. Universite Paris, Paris, pp. 55-60.

Carroll, John and Weir, David (2000) Encoding frequency information in lexicalized grammars. In: Bunt, H and Nijholt, A (eds.) Advances in Probabilistic and Other Parsing Technologies. Text, speech, and language technology, 16 . Kluwer Academic Publishers, Boston/Dordrecht/London, pp. 13-25. ISBN 9780792366164

Chalmers, D, Sloman, M and Dulay, N (2000) Media Processing and Selection Supporting Application QoS Management. In: Proceedings of Multi-Service Networks 2000, Abingdon, UK.

Clark, Stephen and Weir, David (2000) A class-based probabilistic approach to structural disambiguation. In: Proceedings of the 18th International Conference on Computational Linguistics. Morgan Kaufmann, pp. 194-200.

D

Di Paolo, Ezequiel (2000) Behavioural coordination structural congruence and entrainment in a simulation of acoustically coupled agents. Adaptive Behavior, 8 (1). pp. 25-46. ISSN 10597123

Di Paolo, Ezequiel (2000) Ecological symmetry breaking can favour the evolution of altruism in an action-response game. Journal of Theoretical Biology, 203 (2). pp. 135-152. ISSN 00225193

Di Paolo, Ezequiel A (2000) Homeostatic adaptation to inversion of the visual field and other sensorimotor disruptions. In: From Animals to Amimats 6. Proceedings of the Sixth International Conference on Simulation of Adaptive Behaviour.

du Boulay, Benedict (2000) Can we learn from ITSs? In: Gauthier, Gilles, Frasson, Claude and VanLehn, Kurt (eds.) Intelligent Tutoring Systems: Proceedings of 5th International Conference (ITS). Lecture Notes in Computer Science, 1839 . Springer, Montreal, Canada, pp. 9-17. ISBN 3540676554

du Boulay, Benedict (2000) Fallible, distractible, forgetful, wilful and irrational learners. In: Lajoie, Susanne (ed.) Computers as Cognitive Tools: Volume II-No More Walls. Lawrence Erlbaum, London, pp. 339-375. ISBN 0805829318

E

Evans, Roger, Gazdar, Gerald and Weir, David (2000) `Lexical rules' are just lexical rules. In: Abeille, Anne and Rambow, Owen (eds.) Tree Adjoining Grammars: Formalisms, Linguistic Analysis and Processing. CSLI Lecture Notes . University of Chicago Press, Chicago, pp. 71-100. ISBN 1575862522

Ewins, Jon P, Waller, Marcus D, White, Martin and Lister, Paul F (2000) Implementing an Anisotropic Texture Filter. Computers & Graphics, 24 (2). pp. 253-267.

F

Feng, Jianfeng and Brown, David (2000) Impact of correlated input on the output of the integrate-and-fire models. Neural Computation, 12 (3). pp. 671-692.

G

Ghica, Dan R and McCusker, Guy (2000) Reasoning about Idealized Algol Using Regular Languages. In: Unset, Twenty-Seveth International Colloquium on Automata Languages and Programming (ICALP 2000). Springer-Verlag Lecture Notes in Computer Science..

H

Harvey, Inman (2000) Robotics: Philosophy of Mind using a Screwdriver. In: Gomi, T (ed.) Evolutionary Robotics: From Intelligent Robots to Artificial Life, Vol. III,. Lecture Notes in Computer Science (2217). Springer, pp. 94-110. ISBN 9783540427377

Howarth, R J and Buxton, H (2000) Conceptual Descriptions from Monitoring and Watching Image Sequences. Image and Vision Computing, 18 (2). pp. 105-135.

Husbands, P, Harvey, I, Cliff, D and Miller, G (2000) Artificial evolution: a new path for Artificial Intelligence? In: Chrisley, Ron (ed.) Artificial Intelligence: Critical Concepts in Cognitive Science. Routledge. ISBN 0-415-19331-1

J

Jeffrey, A and Rathke, J (2000) A theory of bisimulation for a fragment of concurrent ML with local names. In: Unset, Proceedings of the 15th Annual Symposium on Logic in Computer Science Santa Barbara. IEEE Computer Society Press..

M

Mania, Aikaterini, Chalmers, A and Hawkes, R (2000) Presence and Task Performance in Virtual Environments: A Reality Centred Approach. In: Unset, Proceedings of ACM SIGGRAPH 2000: Technical Sketch.

Mania, Katerina and Chalmers, Alan (2000) Between Real and Unreal: Investigating Presence and Task Performance. The Design of a Pilot Study. In: Unset, Proceedings of 2nd International Workshop on Presence 2000 (CD-ROM).

Mania, Katerina and Chalmers, Alan (2000) A User-Centered Methodology for Investigating Presence and Task Performance. In: PRESENCE 2000, the third International Workshop on Presence., 27-28, March, 2000., Delft, The Netherlands.

McCarthy, Diana (2000) Using Semantic Preferences to Identify Verbal Participation in Role Switching Alternations. In: Proceedings of the First Conference of the North American Chapter of the Association for Computational Linguistics (NAACL)., Seattle WA..

McCarthy, Diana Frances (2000) Using semantic preferences to identify verbal participation in role switching alternations. In: Proceedings of the first conference on North American chapter of the Association for Computational Linguistics, Seattle, USA. ACM International Conference Proceeding Series, 4 . Morgan Kaufmann Publishers Inc, San Francisco, CA, USA, pp. 256-263.

O

Ochoa, Gabriela, Harvey, Inman and Buxton, Hilary (2000) Consensus sequence plots and error thresholds. In: Parallel problem solving from nature - PPSN VI. Lecture notes in computer science (1917). Springer-Verlag. ISBN 3-540-41056-2

Ochoa, Gabriela, Harvey, Inman and Buxton, Hilary (2000) Optimal mutation rates and selection pressure in genetic algorithms. In: GECCO-2000, Las Vegas, USA.

Oepen, Stephan and Carroll, John (2000) Ambiguity packing in constraint-based parsing - practical results. In: 1st Conference of the North American Chapter of the Association for Computational Linguistics (NAACL'00) Seattle WA., Seattle WA APR 29-MAY 04, 2000.

R

Reus, Bernhard and Hein, Tatjana (2000) Towards a machine-checked Java specification book. In: Aagaard, Mark and Harrison, John (eds.) Theorem Proving in Higher Order Logics: Proceedings of the 13th International Conference, TPHOLs 2000 Portland, OR, USA. Lecture Notes in Computer Science, 1869 . Springer-Verlag, pp. 480-497. ISBN 9783540678632

S

Seth, Anil (2000) Unorthodox optimal foraging theory. In: Meyer, J A, Berthoz, A, Floreano, D, Roitblat, HL and Wilson, SW (eds.) Proceedings of the 6th Conference on the Simulation of Adaptive Behavior. MIT Press.

Sharples, M, Jeffery, N P, du Boulay, B, Teather, B A, Teather, D and du Boulay, G H (2000) Structured Computer-based Training and Decision Support in the Interpretation of Neurological Images. International Journal of Medical Informatics, 60 (3). pp. 263-280.

Sharples, M., Jeffery, N.P., du Boulay, B., Teather, B.A., Teather, D. and du Boulay, G. H. (2000) Structured computer-based training in the interpretation of neuroradiological images. International Journal of Medical Informatics, 60 (3). pp. 263-280. ISSN 1386-5056

Shipman, R, Shackleton, M and Harvey, I (2000) The use of neutral genotype-phenotype mappings for improved evolutionary search. BT Technology Journal, 18 (4). pp. 103-111. ISSN 1358-3948

Spärck Jones, Karen I B, Gazdar, Gerald J M and Needham, Roger M (2000) Introduction: combining formal theories and statistical data in natural language processing. Philosophical Transactions A: Mathematical, Physical and Engineering Sciences, 358 (1769). pp. 1227-1238. ISSN 1471-2962

T

Teather, Derek, Teather, Briony A., Jeffery, Nathan P., du Boulay, George H., du Boulay, Benedict and Sharples, Mike (2000) Statistical support for uncertainty in radiological diagnosis. Methods of Information in Medicine, 39 (1). pp. 1-6. ISSN 0026-1270

Thomas, Adrian, Garcia Serrano, Antonio and Sue, Hoylen (2000) Model Capture and Transmission Using Density Distribution Functions for Bandwidth Reduction for Model Based Television Systems. In: Unset, International Conference Proceedings - Digital Content Creation: Challenges and Opportunities National Museum of Photography Film and Television Bradford.

Thompson, Adrian and Wasshuber, Christoph (2000) Design of single-electron systems through artificial evolution. International Journal of Circuit Theory and Applications, 28 (6). pp. 585-599.

Thornton, Chris (2000) Truth from Trash: How Learning Makes Sense. Complex Adaptive Systems . MIT Press, London, p. 216. ISBN 9780262700870

U

Underwood, Josh, Luckin, Rosemary, Cox, Richard, Watson, Des and Tate, Rosemary (2000) Focussing User Studies: Requirements Capture for a Decision Support Tool. In: Beg, Borrow or Steal: Using Multi-disciplinary Approaches in Empirical Software Engineering Research, at ICSE 2000, the 22nd International Conference on Software Engineering.

W

Waller, M D, Ewins, J P, White, M and Lister, P F (2000) Efficient coverage mask generation for antialiasing. IEEE Computer Graphics and Applications, 20 (6). pp. 86-93. ISSN 0272-1716

Y

Yoshida, N and Hennessy, M (2000) Assigning Types to Processes. In: Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science, Santa Barbara, CA , USA.

Young, David (2000) First-order optic flow and the control of action. In: Unset, Perception.

Young, David (2000) [Review] Roberto Cipolla and Peter Giblin (2000) Visual motion of curves and surfaces. AISB Quarterly, 104. pp. 47-48. ISSN 02684179

Young, David (2000) Straight lines and circles in the log-polar image. In: Unset, Proceedings of the 11th British Machine Vision Conference..