A

Abramsky, Samson and McCusker, Guy (1999) Full abstraction for Idealized Algol with Passive Expressions. Theoretical Computer Science, 227. pp. 3-42.

Altenkirch, Thorsten and Reus, Bernhard (1999) Monadic presentations of Lambda terms using generalized inductive types. In: Flum, Jörg and Rodriguez-Artalejo, Mario (eds.) Computer Science Logic: Proceedings of the 13th International Workshop CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain. Lecture Notes in Computer Science, 1863 . Springer-Verlag, pp. 453-468. ISBN 9783540665366

B

Boden, Maggie (1999) Is Metabolism Necessary? British Journal for the Philosophy of Science, 50 (2). 231 - 248. ISSN 00070882

Brna, Paul, du Boulay, Benedict and Pain, Helen (1999) Learning to build and comprehend complex information structures: prolog as a case study. Contemporary Studies in Cognitive Science and Technology, 3 . Ablex Publishing, Stamford, CT, USA. ISBN 1567504345

Brown, David, Feng, Jianfeng and Feerick, Stuart (1999) Varibility of firing of Hodgkin-Huxley and Fitzhugh-Nagumo neurons with stochastic synaptic input. Physical Review Letters, 82 (23). pp. 4731-4734.

C

Cahill, Lynne and Gazdar, Gerald (1999) German noun inflection. Journal of Linguistics, 35+ (1). Jan-42.

Carroll, John, Nicolov, Nicolas, Shaumyan, Olga, Smets, Martine and Weir, David (1999) Parsing with an extended domain of locality. In: Proceedings of the Eighth Conference of the European Chapter of the Association for Computational Linguistics. Association for Computational Linguistics, Morristown, NJ, USA, pp. 217-244.

Cenciarelli, Pietro, Knapp, Alexander, Reus, Bernhard and Wirsing, Martin (1999) An event-based structural operational semantics of multi-threaded Java. In: Alves-Foss, Jim (ed.) Formal Syntax and Semantics of Java. Lecture Notes in Computer Science, 1523 . Springer-Verlag, Berlin, Germany, pp. 157-200. ISBN 9783540661580

Chalmers, Dan and Sloman, Morris (1999) QoS and Context Awareness for Mobile Computing. In: Proceedings of 1st International Symposium on Handheld and Ubiquitous Computing (HUC'99), Karlsruhe, Germany.

Chalmers, Dan and Sloman, Morris (1999) QoS and Context Awareness for Mobile Computing. In: Proceedings of Multi-Service Networks 1999, Abingdon, UK.

Chalmers, Dan and Sloman, Morris (1999) A Survey of Quality of Service in Mobile Computing Environments. IEEE Communications Surveys, 2 (2). pp. 2-10.

Cheng, Peter C.-H. (1999) Unlocking conceptual learning in mathematics and science with effective representational systems. Computers & Education, 33 (2-3). pp. 109-130. ISSN 0360-1315

Chrisley, Ron (1999) Singular Terms and Reference: Evans and 'Julius'. Electronic Journal of Analytical Philosophy, 6 (4). ISSN 10715800

Clark, Stephen and Weir, David (1999) An iterative approach to estimating frequencies over a semantic hierarchy. In: Proceedings of the Joint SIGDAT Conference on Empirical Methods in Natural Language Processing and Very Large Corpora. University of Maryland, pp. 258-265.

Cox, Richard (1999) Learning from discourse : some similarities and differences between Vicarious and Observational Learning. In: 8th European Conference for Research on Learning and Instruction (Symposium on Observational Learning), Gothenburg.

Cox, Richard (1999) Representation construction externalised cognition and individual differences. Learning and Instruction, 9. pp. 343-363. ISSN 09594752

Cox, Richard, McKendree, Jean, Tobin, Richard, Lee, John and Mayes, Terry (1999) Vicarious learning from dialogue and discourse: A controlled comparison. Instructional Science, 27 (6). pp. 431-458.

Crowcroft, Jon, Handley, Mark and Wakeman, Ian (1999) Internetworking multimedia. Taylor and Francis, London. ISBN 9780748408078

D

du Boulay, B. and Luckin, Rosemary (1999) It ain't what you learn but the way that you learn it. Computers & Education, 33 (2-3). pp. 209-215. ISSN 0360-1315

du Boulay, Benedict, O'Shea, Tim and Monk, John (1999) The black box inside the glass box: presenting computing concepts to novices. International Journal of Human-Computer Studies, 51 (2). pp. 265-277. ISSN 1071-5819

F

Fiore, Marcelo, Plotkin, Gordon and Turi, Daniele (1999) Abstract syntax and variable binding. In: Unset, 14th LICS Conference. IEEE Computer Society Press..

J

Jeffrey, Alan and Rathke, Julian (1999) Towards a theory of bisimulation for local names. In: Unset, Proceedings of the 14th Annual Symposium on Logic in Computer Science Trento. IEEE Computer Society Press..

K

Kiefer, Bernd, Krieger, Hans-Ulrich, Carroll, John and Malouf, Rob (1999) A Bag of Useful Techniques for Efficient and Robust Parsing. In: 37th Annual Meeting of the Association for Computational Linguistics (ACL'99), University of Maryland MD.

L

Lister, P.F., Watten, Phil, Bassett, M.C., Ewins, J.P. and White, Martin (1999) Assisted design techniques for display oriented embedded systems. In: Roger, J., Stanford-Smith, B. and Kidd, P. T. (eds.) Business and Work in the Information Society: New Technologies and Applications. IOS Press, Amsterdam, The Netherlands, pp. 633-639. ISBN 9789051994919

Luckin, R and du Boulay, B (1999) Capability Potential and Collaborative Assistance in User Modeling. In: UM99 User Modelling: 7th International conference on user modeling, 1999., Banff, Alberta, Canada.

Luckin, R and du Boulay, B (1999) Designing a Zone of Proximal Adjustment. International Journal of Artificial Intelligence in Education, 10(2). pp. 198-220.

Luckin, Rosemary and du Boulay, B. (1999) Ecolab: the development and evaluation of a Vygotskian design framework. International Journal of Artificial Intelligence in Education, 10 (2). pp. 198-220. ISSN 1560-4292

Lum, C, Cox, R, Kilgour, J, Morris, J and Tobin, R (1999) PATSy: A multimedia Web-based resource for aphasiologists and neuropsychologists in research and education. Aphasiology, 13 (7). pp. 573-579. ISSN 0268-7038

M

Moore, W E and Harvey, I (1999) Evolution of a non-linear robot controller. In: Proc of IASTED Int Conf on Robotics and Applications, Santa Barbara, USA.

O

Oberlander, J, Monaghan, P, Cox, R, Stenning, K and Tobin, R (1999) Unnatural language processing: an empirical study of students' multimodal proof styles. Journal of Logic Language and Information, 8. pp. 363-384. ISSN 0925-8531

Oberlander, Jon, Stenning, Keith and Cox, Richard (1999) Hyperproof: abstraction, visual preference and multimodality. In: Moss, LS, Ginzburg, J and Rijke, M de (eds.) Language, Logic and Computation: Volume 2. Center for the Study of Language and Information Stanford, CA, USA, p. 222. ISBN 1-57586-181-X

P

Plowman, Lydia, Luckin, Rosemary, Laurillard, Diana, Stratfold, Matthew and Taylor, Josie (1999) Designing Multimedia for Learning: Narrative Guidance and Narrative Construction. In: Unset, Proceedings of CHI 99: The CHI is the Limit. Williams MG Altom K Ehrlich K and Newman W (Eds). ACM New York..

R

Requardt, Manfred and Nowotny, Thomas (1999) Pregeometric concepts on graphs and cellular networks as possible models of space-time at the Planck-scale. Chaos, Solitons & Fractals, 10 (2-3). pp. 469-481. ISSN 0960-0779

Reus, Bernhard (1999) Extensional Σ-spaces in type theory. Applied Categorical Structures, 7 (1-2). pp. 159-183. ISSN 0927-2852

Reus, Bernhard (1999) Formalizing synthetic domain theory - the basic definitions. Journal of Automated Reasoning, 23 (3-4). pp. 411-444. ISSN 01687433

Reus, Bernhard and Streicher, Thomas (1999) General Synthetic Domain Theory - A Logical Approach. Mathematical Structures in Computer Science, 9 (2). pp. 177-223. ISSN 0960-1295

Reus, Bernhard and Streicher, Thomas (1999) General synthetic domain theory – a logical approach. Mathematical Structures in Computer Science, 9 (2). pp. 177-223. ISSN 0960-1295

Riely, James and Hennessy, Matthew (1999) Trust and Partial Typing in Open Systems of Mobile Agents. In: Unset, Conference Record of POPL'99: The 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages.

Riesgo, T, Torre, E de la, Lister, P F, Bassett, Mike, Iroulart, C, Pedreau, R, Rizze, M and Macip, E (1999) SHARED: A Tool-set to Improve the Prototyping of Embedded Systems Business and Work in the Information Society: New Technologies and Applications. IOS Press, pp. 716-722. ISBN 90-5199-491-5

Rimmer, Jon, Wakeman, Ian, Clark, Louise and Sasse, M Angela (1999) Examining Users' Repertoire of Internet Applications. In: International Conference on Human-Computer Interaction (INTERACT 99), EDINBURGH, SCOTLAND, AUG 30-SEP 03, 1999.

Rogers, Yvonne (1999) What is different about interactive graphical representations? Learning and Instruction, 9 (4). pp. 419-425. ISSN 09594752

S

Seth, Anil K (1999) Evolving behavioral choice: An investigation of Herrnstein's matching law. In: Floreano, D, Nicoud, J D and Mondada, F (eds.) Proceedings of the 5th European conference on artificial life. Springer-Verlag.

Sordo, Margarita, Buxton, Hilary and Watson, Des (1999) KBANNS and the Classification of 31 P MRS of Malignant Mammary Tissues. In: 9th International Conference on Artificial Neural Networks (ICANN99), UNIV EDINBURGH, EDINBURGH, SCOTLAND, SEP 07-10, 1999.

Stamoulis, Iakovos, White, Martin and Lister, Paul (1999) Pipelined Floating Point Arithmetic Optimized for FPGA Architectures Lecture Notes in Computer Science 1673: Field Programmable Logic and Applications. Springer, pp. 365-370. ISBN 0302-9743

T

Thomas, Adrian (1999) Scene Capture and Modelling for Three Dimensional Interactive Stereo Television Broadcasting. Digital Convergence: The Information Revolution. Springer Verlag, pp. 220-253. ISBN 1852331402

Thompson, A, Layzell, P and Zebulum, R S (1999) Explorations in design space: unconventional electronics design through artificial evolution. IEEE Transactions on Evolutionary Computation, 3 (3). pp. 167-196. ISSN 1089-778X

Thompson, Adrian (1999) Analysis of Unconventional Evolved Electronics. Communications of the ACM, 42 (4). pp. 71-79. ISSN 00010782

Toribio, Josefa (1999) Meaning, dispositions and normativity. Minds and Machines, 9 (3). 399 - 413. ISSN 09246495

V

Vijay-Shanker, K. and Weir, David (1999) Exploring the underspecified world of lexicalized tree adjoining grammars. In: Proceedings of the Sixth Meeting on Mathematics of Language. The Association for Mathematics of Language and The Institute for Research in Cognitive Science (IRCS) University of Pennsylvania.

Virvou, Maria and du Boulay, Benedict (1999) Human plausible reasoning for intelligent help. User Modeling and User-Adapted Interaction, 9 (4). pp. 321-375. ISSN 0924-1868

W

Waller, Marcus D, Ewins, Jon P, White, Martin and Lister, Paul F (1999) Efficient Primitive Traversal Using Adaptive Linear Edge Function Algorithms. Computers & Graphics, 23 (1). pp. 365-375.

Williams, Peter (1999) Matrix Logarithm Parametrizations for Neural Network Covarious Models. Neural Networks, 12 (2). pp. 299-308. ISSN 08936080

Y

Young, David (1999) Popvision: a software package for research and teaching in Computer Vision. [Teaching Resource]