UCL Discovery

A

Aagaard, M; Cook, B; Day, NA; Jones, RB; (2001) A Framework for Microprocessor Correctness Statements. In: Margaria, T and Melham, TF, (eds.) (pp. pp. 433-448). Springer

Adams, A; Blandford, A; (2001) Digital libraries in a clinical setting: Friend or foe? In: UNSPECIFIED (pp. 213-224).

Alexander, DC; Pierpaoli, C; Basser, PJ; Gee, JC; (2001) An algorithm for preservation of orientation during non-rigid warps of DT-MR images. Presented at: UNSPECIFIED.

Appriou, A; Ayoun, A; Benferhat, S; Besnard, R; Cholvy, L; Cooke, R; Cuppens, F; Appriou, A; Ayoun, A; Benferhat, S; Besnard, R; Cholvy, L; Cooke, R; Cuppens, F; Dubois, D; Fargier, H; Grabisch, M; Kruse, R; Lang, J; Moral, S; Prade, H; Saffiotti, A; Smets, R; Sossai, C; - view fewer (2001) Fusion: General concepts and characteristics. INT J INTELL SYST , 16 (10) pp. 1107-1134.

B

Barr, ET; Pandey, R; Haungs, M; (2001) MAGE: A Distributed Programming Model. Presented at: UNSPECIFIED.

Basdogan, C; Ho, CH; Srinivasan, MA; (2001) Virtual environments for medical training: Graphical and haptic simulation of laparoscopic common bile duct exploration. IEEE-ASME T MECH , 6 (3) pp. 269-285.

Beal, MJ; Ghahramani, Z; (2001) The Variational Kalman Smoother. Gatsby Computational Neuroscience Unit: London, UK.

Beeharee, AK; Pettifer, S; West, AJ; (2001) A Framework for Optimising Network Usage for Plausible Distributed Virtual Environments. Presented at: UNSPECIFIED.

Bennett, K; Gold, N; (2001) Achieving ultra rapid evolution using Service-based Software. Presented at: UNSPECIFIED.

Bennett, K; Munro, M; Gold, N; Layzell, P; Budgen, D; Brereton, P; (2001) An architectural model for service-based software with ultra rapid evolution. Presented at: UNSPECIFIED.

Bennett, K; Xu, J; Munro, M; Hong, Z; Layzell, P; Gold, N; Budgen, D; Bennett, K; Xu, J; Munro, M; Hong, Z; Layzell, P; Gold, N; Budgen, D; Brereton, P; - view fewer (2001) An architectural model for service-based flexible software. In: (pp. pp. 137-142).

Bentley, PJ; (2001) Digital Biology. [Book]. Hodder Headline

Bentley, PJ; (2001) Q: What do you get if you cross a computer scientist with a biologist? A: A digital biologist. Why biologists and computer scientists should work together. Presented at: Proc. Evolution Artificielle, Le Creusot, France.

Bentley, PJ; Corne, D; (2001) An introduction to creative evolutionary systems. In: Bentley, PJ and Corne, D, (eds.) Creative Evolutionary Systems. (pp. 1-75). Morgan Kaufmann Publishers Inc.: San Francisco,CA.

Bentley, PJ; Gordon, TGW; Kim, J; Kumar, S; (2001) New trends in evolutionary computation. Presented at: UNSPECIFIED.

Bentley, PJ; O'Reilly, UM; (2001) Ten steps to make a perfect creative evolutionary design system. Presented at: Proc. GECCO 2001 Workshop on Non-Routine Design with Evolutionary Systems.

Bible, J; Rothermel, G; Rosenblum, DS; (2001) A Comparative Study of Coarse- and Fine-Grained Safe Regression Test-Selection Techniques. ACM Transactions on Software Engineering and Methodology , 10 (2) pp. 149-183. 10.1145/367008.367015.

Bird, J; (2001) Can Wheeled Robots Illuminate Adaptive Behaviour? In: Kelemen, J and Sosík, P, (eds.) ECAL. (pp. 495 - 498). Springer

Black, S; (2001) Computing ripple effect for software maintenance. Journal of Software Maintenance , 13 (4) pp. 263-279. 10.1002/smr.233.

Blandford, A; (2001) Intelligent interaction design: The role of human-computer interaction research in the design of intelligent systems. Expert Systems , 18 (1) pp. 3-18.

Blandford, A; Stelmaszewska, H; Bryan-Kinns, N; (2001) Use of multiple digital libraries: A case study. In: (pp. pp. 179-188).

Blandford, A; Stelmaszewska, H; Bryan-Kinns, N; (2001) Use of multiple digital libraries: A case study. Proceedings of the ACM International Conference on Digital Libraries pp. 179-188. 10.1145/379437.379479.

Blandford, AE; Green, TRG; (2001) Group and individual time management tools: What you get is not what you need. Personal and Ubiquitous Computing , 5 (4) pp. 213-230. 10.1007/PL00000020.

Boas, DA; Gaudette, T; Arridge, SR; (2001) Simultaneous imaging and optode calibration with diffuse optical tomography. OPT EXPRESS , 8 (5) 263 - 270.

Bouch, A; Sasse, MA; (2001) Designing QoS and Charging Mechanisms: He who pays the service shapes the design. Presented at: UNSPECIFIED.

Bouch, A.; (2001) A user-centered approach to network quality of service and charging. Doctoral thesis, University of London.

Bryson, K; Luck, M; Joy, M; Jones, DT; (2001) Agent interaction for bioinformatics data management. Applied Artificial Intelligence , 15 (10) pp. 917-947. 10.1080/088395101753242688.

Bryson, K; Luck, M; Joy, M; Jones, DT; (2001) Agent interaction for bioinformatics data management. Applied Artificial Intelligence , 15 (10) 917 - 947.

Burbidge, R; Buxton, BF; (2001) An introduction to support vector machines for data mining. Presented at: Proc. 12th Conference Young Operational Research (YOR12), Nottingham, UK.

Burbidge, R; Trotter, M; Buxton, BF; Holden, S; (2001) STAR - Sparsity Through Automated Rejection. Presented at: UNSPECIFIED.

Burge, P; Shawe-Taylor, J; (2001) An Unsupervised Neural Network Approach to Profiling the Behavior of Mobile Phone Users for Use in Fraud Detection. J. Parallel Distrib. Comput. , 61 (7) pp. 915-925. 10.1006/jpdc.2000.1720.

Buxton, BF; Langdon, WB; Barrett, SJ; (2001) Data fusion by intelligent classifier combination. Measurement and Control , 34 (8) pp. 229-234.

C

Calcagno, C; O'Hearn, PW; (2001) On Garbage and Program Logic. In: Honsell, F and Miculan, M, (eds.) FoSSaCS. (pp. 137 - 151). Springer

Calcagno, C; Yang, H; O'Hearn, PW; (2001) Computability and Complexity Results for a Spatial Assertion Language for Data Structures. In: APLAS. (pp. 289 - 300).

Calcagno, C; Yang, H; O'Hearn, PW; (2001) Computability and Complexity Results for a Spatial Assertion Language for Data Structures. In: Hariharan, R and Mukund, M and Vinay, V, (eds.) FSTTCS. (pp. 108 - 119). Springer

Capra, L; Emmerich, W; Mascolo, C; (2001) Exploiting reflection and metadata to build mobile computing middleware. Presented at: Workshop on Mobile Computing Middleware, Heidelberg, Germany.

Capra, L; Emmerich, W; Mascolo, C; (2001) Middleware for mobile computing: Awareness vs. transparency. Proceedings of the Workshop on Hot Topics in Operating Systems - HOTOS 164-.

Capra, L; Emmerich, W; Mascolo, C; (2001) Middleware for mobile computing: awareness vs. transparency. Presented at: Proc. of the 8th Workshop on Hot Topics in Operating Systems (HotOS-VIII), Schloss Elmau, Germany.

Capra, L; Emmerich, W; Mascolo, C; (2001) Middleware for mobile computing: awareness vs. transparency (position summary). Presented at: UNSPECIFIED.

Capra, L; Emmerich, W; Mascolo, C; (2001) Reflective middleware solutions for context-aware applications. In: (pp. pp. 126-133).

Capra, L; Emmerich, W; Mascolo, C; (2001) Reflective middleware solutions for context-aware applications. Presented at: UNSPECIFIED.

Carzaniga, A; Rosenblum, DS; Wolf, AL; (2001) Design and Evaluation of a Wide-Area Event Notification Service. ACM Transactions on Computer Systems , 19 (3) pp. 332-383. 10.1145/380749.380767.

Chen, B; Jamieson, K; Balakrishnan, H; Morris, R; (2001) Span: An energy-efficient coordination algorithm for topology maintenance in Ad Hoc wireless networks. In: Rose, C, (ed.) (pp. pp. 85-96). ACM

Chow, ML; Moler, EJ; Mian, IS; (2001) Identifying marker genes in transcription profiling data using a mixture of feature relevance experts. Physiological Genomics , 2001 (5) pp. 99-111.

Chow, ML; Moler, EJ; Mian, IS; (2001) Identifying marker genes in transcription profiling data using a mixture of feature relevance experts. Physiol Genomics , 5 (2) pp. 99-111.

Clark, D; Hunt, S; Malacaria, P; (2001) Quantitative Analysis of the Leakage of Confidential Data. Electronic Notes in Theoretical Computer Science , 59 (3)

Clark, D; Hunt, S; Malacaria, P; (2001) Quantitative Analysis of the Leakage of Confidential Data. UNSPECIFIED

Clarkson, TG; Christodoulou, CC; Guan, YL; Gorse, D; Romano-Critchley, DA; Taylor, JG; (2001) Speaker identification for security systems using reinforcement-trained pRAM neural network architectures. IEEE T SYST MAN CY C , 31 (1) 65 - 76.

Clayton, R; Danezis, G; Kuhn, MG; (2001) Real world patterns of failure in anonymity systems. In: (pp. pp. 230-245).

Coulon, O; Alexander, DC; Arridge, SR; (2001) Principal diffusion direction field regularization for diffusion tensor magnetic resonance images. Presented at: Proc. ISMRM'2001, International Society for Magnetic Resonance in Medicine, Glasgow.

Coulon, O; Alexander, DC; Arridge, SR; (2001) Tensor field regularisation for DT-MR images. Presented at: Proc. MIUA'01, British Conference on Medical Image Understanding and Analysis, Birmingham, UK.

Coulon, O; Alexander, DC; Arridge, SR; (2001) A regularization scheme for diffusion tensor magnetic resonance images. In: (pp. pp. 92-105).

Coulon, O; Parker, GJM; Hickman, SJ; Arridge, SR; (2001) Quantification of spinal cord atrophy via an active surface model. Presented at: UNSPECIFIED.

Courtois, N; (2001) La sécurité des primitives cryptographiques basées sur des problèmes algébriques multivariables MQ, IP, MinRank, HFE. Doctoral thesis, UNSPECIFIED.

Courtois, N; (2001) Efficient Zero-Knowledge Authentication Based on a Linear Algebra Problem MinRank. Presented at: UNSPECIFIED.

Courtois, N; (2001) The Security of Hidden Field Equations (HFE). Presented at: UNSPECIFIED.

Courtois, N; Finiasz, M; Sendrier, N; (2001) How to achieve a McEliece-based Digital Signature Scheme.

Courtois, N; Finiasz, M; Sendrier, N; (2001) How to Achieve a McEliece-Based Digital Signature Scheme. Presented at: UNSPECIFIED.

Courtois, N; Patarin, J; (2001) Anti-Pirate Method for the Distribution of Digital Content.

Cox, IJ; Miller, ML; (2001) Watermarking: The First 50 years. Presented at: IEEE 2001 Int. Workshop on Multimedia Signal Processing.

Cox, IJ; Miller, ML; Bloom, JA; (2001) Digital Watermarking. [Book]. Morgan Kaufmann

Cristianini, N; Shawe-Taylor, J; Elisseeff, A; Kandola, JS; (2001) On Kernel-Target Alignment. In: Dietterich, TG and Becker, S and Ghahramani, Z, (eds.) Advances in Neural Information Processing Systems 14 [Neural Information Processing Systems: Natural and Synthetic, NIPS 2001, December 3-8, 2001, Vancouver, British Columbia, Canada]. (pp. 367-373). MIT Press

Cristianini, N; Shawe-Taylor, J; Kandola, JS; (2001) Spectral Kernel Methods for Clustering. In: Dietterich, TG and Becker, S and Ghahramani, Z, (eds.) Advances in Neural Information Processing Systems 14 [Neural Information Processing Systems: Natural and Synthetic, NIPS 2001, December 3-8, 2001, Vancouver, British Columbia, Canada]. (pp. 649-655). MIT Press

Cristianini, N; Shawe-Taylor, J; Lodhi, H; (2001) Latent Semantic Kernels. In: Brodley, CE and Danyluk, AP, (eds.) Proceedings of the Eighteenth International Conference on Machine Learning (ICML 2001), Williams College, Williamstown, MA, USA, June 28 - July 1, 2001. (pp. 66-73). Morgan Kaufmann

Cristianini, N; Shawe-Taylor, J; Williamson, R; (2001) Introduction to the Special Issue on Kernel Methods (Kernel Machines Section). Journal of Machine Learning Research , 2 (2) pp. 95-96.

Curzon, P; Blandford, A; (2001) Detecting multiple classes of user errors. In: UNSPECIFIED (pp. 57-71).

D

Danezis, G; (2001) An anonymous auction protocol using “money escrow” (Transcript of discussion). In: (pp. pp. 223-233).

Dang, T; Annaswamy, TM; Srinivasan, MA; (2001) Development and evaluation of an epidural injection simulator with force feedback for medical training. In: Westwood, JD and Hoffman, HM and Mogel, GT and Stredney, D and Robb, RA, (eds.) (Proceedings) Conference on Medicine Meets Virtual Reality 2001. (pp. pp. 97-102). I O S PRESS

Demiriz, A; Bennett, K; Shawe-Taylor, J; (2001) Linear Programming Boosting via Column Generation. Machine Learning , 46 (1) pp. 225-254.

Doërr, G; (2001) Robust and High Capacity Watermarking - Applying Informed Coding and Embedding. Masters thesis, UNSPECIFIED.

Dyer, JR; Bentley, PJ; Shah, P; (2001) PLANTWORLD: The evolution of plant dormancy in contrasting environments. Presented at: Late-Breaking Paper in GECCO 2001, The Genetic and Evolutionary Computation Conference.

Dykiert, M; Gold, NE; (2001) Support for Learning Synthesiser Programming. In: Proceedings of 8th Sound and Music Computing Conference 2011. Padova University Press: Padova, Italy.

de Meer, H; Emmerich, W; Mascolo, C; Pezzi, N; Rio, M; Zanolin, L; (2001) Middleware and management support for programmable QoS-network. Presented at: Proceedings of the 3rd International Working Conference on Active Networks, Philadelphia, PA.

de Meer, H; O'Hanlon, P; (2001) Segmented adaptation of traffic aggregates. Presented at: UNSPECIFIED.

E

Ellis, SR; Mania, K; Chalmers, A; Billinghurst, M; Steed, A; (2001) Tutorial 4: Usability Evaluation Techniques for Virtual Reality Technologies. Presented at: UNSPECIFIED.

Emmerich, W; (2001) Component technologies: Java Beans, COM, CORBA, RMI, EJB and the CORBA component model. In: Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on foundations of software engineering, Vienna, Austria. (pp. 311-312). ACM Press: New York, New York, USA.

Emmerich, W; (2001) OMG/CORBA: An object-oriented middleware. In: Encyclopedia of Software Engineering. John Wiley & Sons

Emmerich, W; Ellmer, E; Fieglein, H; (2001) TIGRA - an architectural style for enterprise application integration. Presented at: Proc. of the 23rd International Conference on Software Engineering, Toronto, Canada.

Emmerich, W; Ellmer, E; Fieglein, H; (2001) TIGRA: an architectural style for enterprise application integration. In: Proceedings of the 23rd International Conference on Software Engineering, Toronto, Canada. (pp. 567-576). IEEE Computer Society Press

Emmerich, W; Kaveh, N; (2001) Component technologies: Java Beans, COM, CORBA, RMI, EJB,and the CORBA component model. Presented at: Proc.of the Joint 7th European Software Engineering Conference and 9th ACM SIGSOF International Symposium on Foundations of Software Engineering, Vienna, Austria.

Evgeniou, T; Pontil, M; (2001) Support vector machines: Theory and applications. In: UNSPECIFIED (pp. 249-257).

Evgeniou, T; Pontil, M; Elisseeff, A; (2001) Algorithmic Stability and Model Selection for Bagging using Small Sub-samples. Presented at: NIPS 2001 Workshop on New Directions in Kernel-Based Learning Methods.

F

Farbey, B; Finkelstein, A; (2001) Evaluation in software engineering: ROI, but more than ROI.

Finkelstein, A; Savigni, A; (2001) A framework for requirements engineering for context-aware services. In: First International Workshop From Software Requirements to Architectures (STRAW 01) 23rd International Conference on Software Engineering. IEEE Computer Society Press

G

Gabrielli, S; Harris, E; Rogers, Y; Scaife, M; Smith, H; (2001) How many ways can you mix colour? Young children's explorations of mixed reality environments. In: Conference for Content Integrated Research in Creative User Systems.

Gao, XW; Batty, S; Clark, J; Fryer, TD; Blandford, A; (2001) Extraction of Sagittal Symmetry Planes from Pet Images. In: Hamza, MH, (ed.) VIIP. (pp. 428 - 433). ACTA Press

Germano, G; (2001) Doctoral education in Italy. Science (Careers)

Germano, G; (2001) Italy does not value its PhDs. Science (Careers)

Gevros, P; Crowcroft, J; Kirstein, P; Bhatti, S; (2001) Congestion control mechanisms and the best effort service model. IEEE NETWORK , 15 (3) 16 - 26.

Ghahramani, Z; (2001) An Introduction to Hidden Markov Models and Bayesian Networks. International Journal of Pattern Recognition and Artificial Intelligence , 15 (1) pp. 9-42.

Ghahramani, Z; Beal, MJ; (2001) Propagation Algorithms for Variational Bayesian Learning. Presented at: UNSPECIFIED.

Ghahramani, Z; Beal, MJ; (2001) Graphical Models and Variational Methods. In: Saad, D and Opper, M, (eds.) Advanced Mean Field Methods: Theory and Practice. (pp. 161-177). MIT Press: Cambridge, MA, USA.

Gockel, T; Salb, T; Weyrich, T; Burgert, O; Dillmann, R; (2001) Interactive simulation of teeth cleaning. Presented at: UNSPECIFIED.

Gold, N; (2001) Hypothesis-based concept assignment to support software maintenance. In: (pp. pp. 545-548).

Gold, N; Bennett, K; (2001) A Flexible Method for Segmentation in Concept Assignment. Presented at: UNSPECIFIED.

Gold, R; Mascolo, C; (2001) Use of context-awareness in mobile peer-to-peer networks. In: Proceedings of the 8th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 2001). (pp. 142-147). IEEE Computer Society Press

Bodymetrics Ltd; Goonatilake, Suran, Ashita; Treleaven, Philip, Colin; Walters, Jonathan; Lawrence, Kelvin, David; Chrysanthou, Yiorgos; Buxton, Bernhard, Francis; Vassilev, Tzvetomir, Ivanov; Thompson, Giles; Spanlang, Bernhard (2001) System and Method for Visualising Personal Appearance. WO/2001/046911.

Gordon, TG; Bentley, PJ; (2001) On evolvable hardware. In: Ovaska, S and Sztandera, L, (eds.) Soft Computing in Industrial Electronics.

Gorse, D; (2001) Global minimization of an off-lattice potential energy function using a chaperone-based refolding method. BIOPOLYMERS , 59 (6) 411 - 426.

Griffin, LD; (2001) Histograms of infinitesimal neighbourhoods. In: Proc. Scale Space '01, LNCS vol. 2106. (pp. 326-334).

Griffin, LD; (2001) Similarity of psychological and physical colour space shown by symmetry analysis. Color Research and Applications , 26 (2) pp. 151-157.

H

Handley, M; Paxson, V; Kreibich, C; (2001) Network Intrusion Detection: Evasion, Traffic Normalization, and End-to-End Protocol Semantics. Presented at: UNSPECIFIED.

Harman, M; Hierons, R; Fox, C; Danicic, S; Howroyd, J; (2001) Pre/post conditioned slicing. In: IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS. (pp. 138 - 147). IEEE COMPUTER SOC

Harman, M; Hierons, RM; (2001) An overview of program slicing. Presented at: UNSPECIFIED.

Harman, M; Jones, BF; (2001) The SEMINAL workshop: reformulating software engineering as a metaheuristic search problem. ACM SIGSOFT Software Engineering Notes , 26 (6) pp. 62-66. 10.1145/505532.505548.

Harrold, MJ; Rosenblum, D; Rothermel, G; Weyuker, E; (2001) Empirical Studies of a Prediction Model for Regression Test Selection. IEEE Transactions on Software Engineering (TSE) , 27 (3) pp. 248-263. 10.1109/32.910860.

Heisele, B; Serre, T; Pontil, M; Poggio, T; (2001) Component-based face detection. In:

Herbster, MJ; (2001) Learning additive models online with fast evaluating kernels. Presented at: Proceedings of the 14th Annual Conference on Computational Learning theory and and 5th European Conference on Computational Learning theory.

Hickman, S; Coulon, O; Parker, GJ; Barker, GJ; Stevenson, VL; Chard, DT; Arridge, SR; Hickman, S; Coulon, O; Parker, GJ; Barker, GJ; Stevenson, VL; Chard, DT; Arridge, SR; Thompson, AJ; Miller, DH; - view fewer (2001) Cervical spinal cord volume estimation using an active surface method: a amgnetic resonance imaging study in multiple sclerosis. Presented at: Proc. ECTRIMS 2001, European Committee for Treatment and Research in Multiple Sclerosis.

Hillman, EMC; Dehghani, H; Hebden, JC; Arridge, SR; Schweiger, M; Delpy, DT; Chance, B; (2001) Differential Imaging in Heterogeneous Media: Limitations of Linearisation Assumptions in Optical Tomography. Bellingham , 4240 pp. 327-338.

Hirsch, R; Hodkinson, I; (2001) Connections between cylindric algebras and relation algebras. In: Relational Methods in Computer Science Applications. (pp. 239-246). Springer Verlag

Hirsch, R; Hodkinson, I; (2001) Representability is not decidable for finite relation algebras. Transactions of the American Mathematical Society , 353 (4) pp. 1403-1425. 10.1090/S0002-9947-99-02264-3.

Hirsch, R; Hodkinson, IM; (2001) Relation algebras form cylindric algebras, I. Ann. Pure Appl. Logic , 112 (2-3) pp. 225-266. 10.1016/S0168-0072(01)00084-7.

Hirsch, R; Hodkinson, IM; (2001) Relation algebras form cylindric algebras, II. Ann. Pure Appl. Logic , 112 (2-3) pp. 267-297. 10.1016/S0168-0072(01)00085-9.

Hunter, A; (2001) Ramification analysis with structured news reports using temporal argumentation. Presented at: Proc. of the Adventures in Argumentation Workshop (Part of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty).

Hunter, A; (2001) A semantic tableau version of first-order quasi-classical logic. In: (pp. pp. 544-555).

hirsch, R; hodkinson, I; (2001) Synthesising axioms by games. UNSPECIFIED, amsterdam.

I

Ishtiaq, SS; O'Hearn, PW; (2001) BI as an Assertion Language for Mutable Data Structures. In: Hankin, C and Schmidt, D, (eds.) POPL. (pp. 14 - 26). ACM

J

Joachims, T; Cristianini, N; Shawe-Taylor, J; (2001) Composite Kernels for Hypertext Categorisation. In: Brodley, CE and Danyluk, AP, (eds.) Proceedings of the Eighteenth International Conference on Machine Learning (ICML 2001), Williams College, Williamstown, MA, USA, June 28 - July 1, 2001. (pp. 250-257). Morgan Kaufmann

Jones, DT; Swindells, MB; Fagan, R; (2001) Chapter 21. The role of protein structure prediction in drug discovery. Annual Reports in Medicinal Chemistry , 36 pp. 211-225.

Jones, DT; Swindells, MB; Fagan, R; (2001) The role of protein structure prediction in drug discovery. Annual Reports in Medicinal Chemistry , 36 pp. 211-225.

Julier, SJ; (2001) A Sparse Weight Kalman Filter approach to simultaneous localisation and map building. In: (pp. pp. 1251-1256).

Julier, SJ; Uhlmann, JK; (2001) Building a million beacon map. Presented at: UNSPECIFIED.

Julier, SJ; Uhlmann, JK; (2001) Simultaneous localisation and map building using split covariance intersection. In: (pp. pp. 1257-1262).

Julier, SJ; Uhlmann, JK; (2001) Data Fusion in Nonlinear Systems. In: Hall, D and Llinas, J, (eds.) Handbook of Data Fusion. CRC Press: Boca Raton FL, USA.

Julier, SJ; Uhlmann, JK; (2001) General Decentralized Data Fusion With Covariance Intersection (CI). In: Hall, D and Llinas, J, (eds.) Handbook of Data Fusion. CRC Press: Boca Raton FL, USA.

K

Kautz, J; Heidrich, W; Seidel, H-P; (2001) Real-Time Bump Map Synthesis. Presented at: UNSPECIFIED.

Kautz, J; Seidel, H-P; (2001) Hardware Accelerated Displacement Mapping for Image Based Rendering. Presented at: UNSPECIFIED.

Kaveh, N; Emmerich, W; (2001) Deadlock detection in distributed object systems. In: Joint Proceedings of the 8th European Software Engineering Conference and the 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Vienna, Austria. (pp. 44-51). ACM Press: New York, NY, USA.

Kaveh, N; Emmerich, W; (2001) Deadlock detection in distributed object systems. Presented at: UNSPECIFIED.

Kim, J; Bentley, PJ; (2001) An evaluation of negative selection in an artificial immune system for network intrusion detection. Presented at: UNSPECIFIED.

Krinke, J; (2001) Identifizierung von ähnlichem Code mit Programmabhängigkeitsgraphen. Presented at: 3. Workshop Software-Reengineering, Bad Honnef, Germany.

Kwon, J; Wellings, A; King, S; (2001) A Safe Mobile Code Representation and Run-time Architecture for High Integrity Real-Time Java Programs. Presented at: Work In Progress (WIP) session, 22nd IEEE Real-Time Systems Symposium (RTSS), London, UK.

L

Langdon, WB; (2001) Evolutionary Data Fusion. : UK.

Langdon, WB; (2001) Maximum Product of Non-Negative Numbers.

Langdon, WB; (2001) Prediction.

Langdon, WB; (2001) Dynamics of Evolutionary Algorithms. UNSPECIFIED

Langdon, WB; Barrett, SJ; Buxton, BF; (2001) Genetic programming for combining neural networks. Presented at: Proc. WSC6, 2001.

Langdon, WB; Buxton, BF; (2001) Genetic programming for combining classifiers. Presented at: UNSPECIFIED.

Langdon, WB; Buxton, BF; (2001) Genetic programming for improved receiver operating characteristics. In: (pp. pp. 68-77).

Langdon, WB; Nordin, P; (2001) Evolving hand-eye coordination for a humanoid robot with machine code genetic programming. In: (pp. pp. 313-324).

Lensch, HPA; Goesele, M; Kautz, J; Heidrich, W; Seidel, H-P; (2001) Image-Based Reconstruction of Spatially Varying Materials. Presented at: UNSPECIFIED.

Lim, CS; Mian, IS; Dernburg, AF; Campisi, J; (2001) C. elegans clk-2, a gene that limits life span, encodes a telomere length regulator similar to yeast telomere binding protein Tel2p. Curr Biol , 11 (21) pp. 1706-1710.

Loizides, A; Slater, M; Langdon, WB; (2001) Measuring facial emotional expressions using genetic programming. Presented at: Proc. 6th World Conference on Soft Computing, WSC6 2001.

Loscos, C; Tecchia, F; Chrysanthou, Y; (2001) Real time shadows for animated crowds in virtual cities. Presented at: UNSPECIFIED.

M

Marchand, M; Shawe-Taylor, J; (2001) Learning with the Set Covering Machine. In: Brodley, CE and Danyluk, AP, (eds.) Proceedings of the Eighteenth International Conference on Machine Learning (ICML 2001), Williams College, Williamstown, MA, USA, June 28 - July 1, 2001. (pp. 345-352). Morgan Kaufmann

Maringelli, F; McCarthy, J; Steed, A; Slater, M; Umilta, C; (2001) Shifting visuo-spatial attention in a virtual three-dimensional space. COGNITIVE BRAIN RES , 10 (3) 317 - 322.

Mascolo, C; Capra, L; Emmerich, W; (2001) An XML-based middleware for peer-to-peer computing. In: (pp. pp. 69-74).

Mascolo, C; Emmerich, W; Finkelstein, A; (2001) First ICSE 2001 workshop on XML technologies and software engineering. ACM SIGSOFT Software Engineering Notes , 26 (6) pp. 59-61. 10.1145/505532.505547.

Mascolo, C; Emmerich, W; de Meer, H; (2001) XMILE: an XML-based approach for programmable networks. Presented at: AISB Symposium on Software Mobility and Adaptive Behaviour.

Mascolo, C; Emmerich, W; de Meer, H; (2001) XMILE:An XML-based approach for programmable networks. Presented at: Proc. AISB Symposium on Software Mobility and Adaptive Behaviour, York, UK.

Mascolo, C; Emmerich, W; de Meer, H; (2001) An XML-based programmable network platform. Presented at: Proc. of the ICSE Workshop on Software Engineering and Mobility, Toronto, Canada.

McGuffin, LJ; Bryson, K; Jones, DT; (2001) What are the baselines for protein fold recognition? Bioinformatics , 17 (1) 63 - 72.

Moler, EJ; Chow, ML; Mian, IS; (2001) Analysis of molecular profile data using generative and discriminative methods. Physiological Genomics , 2001 (4) pp. 109-126.

Moler, EJ; Radisky, DC; Mian, IS; (2001) Integrating naive Bayes models and external knowledge to examine copper and iron homeostasis in S. cerevisiae. Physiological Genomics , 2001 (4) pp. 127-135.

Monthienvichienchai, R; Sasse, MA; Wheeldon, R; (2001) Educational metadata - friend or foe? Presented at: Proc. of the European Conference on Computer-Supported Collaborative Learning (Euro-CSCL2001), Maastricht.

Monthienvichienchai, R; Sasse, MA; Wheeldon, R; (2001) There's trouble in paradise: problems with educational metadata encountered during the MALTED project. Presented at: UNSPECIFIED.

N

Nentwich, C; Emmerich, W; Finkelstein, A; (2001) Better living with xlinkit. In: (Proceedings) Proc. of the 2nd International Workshop on Living with Inconsistency at ICSE 2001, Toronto, Canada.

O

O'Hearn, PW; Reynolds, JC; Yang, H; (2001) Local Reasoning about Programs that Alter Data Structures. In: Fribourg, L, (ed.) CSL. (pp. 1 - 19). Springer

Oliveira, J; Buxton, BF; (2001) Light weight virtual humans. Presented at: Proc. Eurographics-UK 2001,London.

Oliveira, J; Buxton, BF; (2001) Light-weight virtual humans. Presented at: Proc. of EUROGRAPHICS-UK 2001.

Oliveira, M; Crowcroft, J; Slater, M; (2001) Mayhem in online game and virtual environment development. Presented at: Proc. Eurographics-UK 2001, London.

Oliveira, M; Crowcroft, J; Slater, M; (2001) Nemesis: a different way to build a virtual environment (or game). Presented at: Proc. Eurographics-UK 2001, London.

Ortega-Arjona, J; Roberts, G; (2001) Pattern-Based Simulation: Simulating the Actor Model Using the Active Object Behavioural Pattern. Centro de Investigation en Computacion, Computacion y Sistemas , 5 (1) pp. 54-66.

Otero, N; Rogers, Y; du Boulay, B; (2001) Is interactivity a good thing? Assessing its benefits for learning. In: Proceedings of the 9th International Conference on HCI. (pp. 790 - 794). Lawrence Erlbaum: New Jersey:.

P

Parker, A; Prince, S; Cumming, B; (2001) The binocularity and disparity sensitivity of V1 cortical neurons. Presented at: UNSPECIFIED.

Patarin, J; Courtois, N; Goubin, L; (2001) FLASH, a Fast Multivariate Signature Algorithm. Presented at: UNSPECIFIED.

Patarin, J; Courtois, N; Goubin, L; (2001) QUARTZ, 128-Bit Long Digital Signatures. Presented at: UNSPECIFIED.

Pertaub, DP; Slater, M; Barker, C; (2001) UNSPECIFIED Presented at: Medicine Meets Virtual Reality 2001: Outer Space, Inner Space, Virtual Space.

Petrov, Y; Li, Z; (2001) Disparity Capture by Flanking Stimuli: A measure for the Cooperative Mechanism of Stereopsis [Abstract]. Journal of Vision , 1 (3)

Phuong, NH; Germano, G; Schmid, F; (2001) Elastic constants from direct correlation functions in nematic liquid crystals: A computer simulation study. Journal of Chemical Physics , 115 (15) pp. 7227-7234. 10.1063/1.1404388.

Pitt, JV; Sasse, MA; (2001) Privacy in collaborative multimedia environments. Presented at: Proc. of the International Conference on Media Futures, Florence.

Popple, AV; Li, Z; (2001) UNSPECIFIED Presented at: Society for Neuroscience 31st Annual Meeting.

Popple, AV; Li, Z; (2001) Testing a V1 Model: Perceptual Biases and Saliency Effects [Abstract]. Journal of Vision , 1 (3)

Prince, S; Offen, S; Cumming, B; Eagle, R; (2001) The integration of orientation information in the motion correspondence problem. Perception , 30 pp. 367-380.

R

Raju, BI; Srinivasan, MA; (2001) High-frequency ultrasonic attenuation and backscatter coefficients of in vivo normal human dermis and subcutaneous fat. ULTRASOUND MED BIOL , 27 (11) pp. 1543-1556.

Rangel, C; Wild, DL; Falciani, F; Ghahramani, Z; Gaiba, A; (2001) UNSPECIFIED Presented at: International Conference in Systems Biology: The Future of Biology in the 21st Century.

Rasmussen, CE; Ghahramani, Z; (2001) Occam's Razor. Presented at: UNSPECIFIED.

Ratnasamy, S; Francis, P; Handley, M; Karp, RM; Shenker, S; (2001) A scalable content-addressable network. Presented at: UNSPECIFIED.

Ratnasamy, S; Handley, M; Karp, RM; Shenker, S; (2001) Application-Level Multicast Using Content-Addressable Networks. In: Crowcroft, J and Hofmann, M, (eds.) Networked Group Communication. (pp. 14 - 29). Springer

Riegelsberger, J; Sasse, MA; (2001) Trustbuilders and trustbusters - The role of trust cues in interfaces to e-commerce applications. Presented at: 1st IFIP International Conference on E-Commerce, E-Business, and E-Government (I3E 2001), UNIV ZURICH, ZURICH, SWITZERLAND.

Rio, M; Pezzi, N; Zanolin, L; DeMeer, H; Emmerich, W; Mascolo, C; (2001) Promile: a management architecture for programmable modular routers. Presented at: OPENSIG 2001 Workshop on Next Generation Network Programming.

Rio, M; Pezzi, N; Zanolin, L; de Meer, H; Emmerich, W; Mascolo, C; (2001) Promile: A management architecture for programmable modular routers. Presented at: Proc. OPENSIG 2001 Workshop on Next Generation Network Programming, London.

Roweis, ST; Ghahramani, Z; (2001) Learning Nonlinear Dynamical Systems Using the Expectation-Maximization Algorithm. In: Haykin, S, (ed.) Kalman Filtering and Neural Networks. Wiley

S

S Julier, DB; Baillot, Y; (2001) The need for AI: Intuitive User Interfaces for Mobile Augmented Reality Systems. Presented at: UNSPECIFIED.

S Julier, LR; Brown, D; (2001) Urban Terrain Modeling For Augmented Reality. In: Abdeguerfi, M, (ed.) 3D Synthetic Environment Reconstruction. (pp. 119-136). Kluwer Academic Press: Boston MA, USA.

Scaife, M; Rogers, Y; (2001) Informing the design of a virtual environment to support learning in children. Int. J. Hum.-Comput. Stud. , 55 , Article 2. 10.1006/ijhc.2001.0473.

Scaife, M; Rogers, Y; Halloran, J; (2001) eSpace: integrating novel displays and devices for augmenting collaborative transactions.

Scarpetta, S; Li, Z; Hertz, J; (2001) Spike-Timing-Dependent Learning for Oscillatory Networks. Presented at: UNSPECIFIED.

Schroeder, R; Steed, A; Axelsson, AS; Heldal, I; Abelin, A; Widestrom, J; Nilsson, A; Schroeder, R; Steed, A; Axelsson, AS; Heldal, I; Abelin, A; Widestrom, J; Nilsson, A; Slater, M; - view fewer (2001) Collaborating in networked immersive spaces: as good as being there together? COMPUT GRAPH-UK , 25 (5) 781 - 788.

Schölkopf, B; Platt, JC; Shawe-Taylor, J; Smola, AJ; Williamson, RC; (2001) Estimating the Support of a High-Dimensional Distribution. Neural Computation , 13 (7) pp. 1443-1471. 10.1162/089976601750264965.

Shawe-Taylor, J; (2001) Neural Network Learning: Theoretical Foundation. AI Magazine , 22 (2) pp. 99-100.

Shawe-Taylor, J; (2001) Optimisation in Machine Learning: Some Recent Developments and Perspectives. In: UNSPECIFIED (pp. 25-35).

Shawe-Taylor, J; (2001) Review of "Anthony, Martin; Bartlett, Peter L., Neural Network Learning: Theoretical Foundations, Cambridge: Cambridge University Press". [Book]. Cambridge University Press

Shawe-Taylor, J; Cristianini, N; Kandola, JS; (2001) On the Concentration of Spectral Properties. In: Dietterich, TG and Becker, S and Ghahramani, Z, (eds.) Advances in Neural Information Processing Systems 14 [Neural Information Processing Systems: Natural and Synthetic, NIPS 2001, December 3-8, 2001, Vancouver, British Columbia, Canada]. (pp. 511-517). MIT Press

Shawe-Taylor, J; Zerovnik, J; (2001) Ants and graph coloring. In: UNSPECIFIED (pp. 276-279). Springer-Verlag

Slater, M; Steed, A; (2001) Meeting people virtually: experiments in shared virtual environments. In: Schroeder, R, (ed.) The Social Life of Avatars: Presence and Interaction in Shared Virtual Environments. Springer

Smith, RE; Bonacina, C; Kearney, P; Merlat, W; (2001) Embodiment of Evolutionary Computation in General Agents. Evolutionary Computation , 8 (4) pp. 475-493. 10.1162/106365600568266.

Steed, A; Mortensen, J; Frecon, E; (2001) Spelunking: experiences using the DIVE system on CAVE-like platforms. Presented at: UNSPECIFIED.

Stumpf, S; McDonnell, JT; (2001) Individual learning styles and perceptions of experiential learning in design teams. Presented at: UNSPECIFIED.

T

Tagliati, E; Griffin, LD; (2001) Features in scale space: progress on the 2D 2nd order jet. Presented at: UNSPECIFIED.

Tanner, C; Degenhard, A; Schnabel, JA; Smith, AC; Hayes, C; Sonoda, LI; Leach, MO; Tanner, C; Degenhard, A; Schnabel, JA; Smith, AC; Hayes, C; Sonoda, LI; Leach, MO; Hose, DR; Hill, DLG; Hawkes, DJ; - view fewer (2001) A method for the comparison of biomechanical breast models. Presented at: UNSPECIFIED.

Tarr, PL; Harrison, WH; Ossher, H; Finkelstein, A; Nuseibeh, B; Perry, DE; (2001) Workshop on multi-dimensional separation of concerns in software engineering. ACM SIGSOFT Software Engineering Notes , 26 (1) pp. 78-81. 10.1145/505894.505912.

Tecchia, F; Loscos, C; Chrysanthou, Y; (2001) Real time rendering of populated urban environments. Presented at: Proc. of ACM Siggraph '01 Technical Sketch, Los Angeles, CA.

Tecchia, F; Loscos, C; Conroy, R; Chrysanthou, Y; (2001) Agent behaviour simulator (ABS): A platform for urban behaviour. Presented at: Proc. of the ACM/EG Games Technology Conference.

Tecchia, F; Loscos, C; Conroy-Dalton, R; Chrysanthou, YL; (2001) Agent Behaviour Simulator (ABS):a platform for urban behaviour development. Presented at: The First International Game Technology Conference and Idea Expo (GTEC'01) in co-operation with ACM SIGGRAPH and EUROGRAPHICS, Hong Kong.

Tecchia, F; Loscos, C; Conroy-Dalton, RA; Chrysanthou, YL; (2001) Agent Behaviour Simulator (ABS): A Platform for Behaviour Development in a City Environment. Presented at: The First International Game Technology Conference.

Trotter, MWB; Buxton, BF; Holden, SB; (2001) Support vector machines in combinatorial chemistry. MEAS CONTROL-UK , 34 (8) 235 - 239.

U

Ujjin, S; Bentley, PJ; (2001) Building a Lifestyle Recommender System. Presented at: UNSPECIFIED.

V

Varakliotis, S; Ostermann, J; Hardman, V; (2001) Coding Of Animated 3-D Wireframe Models For Internet Streaming Applications. Presented at: UNSPECIFIED.

Vassilev, T; Spanlang, B; Chrysanthou, Y; (2001) Cloth modelling for real-time animation. Presented at: Proc. of Eurographics 2001, Manchester, UK.

Vassilev, T; Spanlang, B; Chrysanthou, Y; (2001) Efficient cloth model and collisions detection for dressing virtual people. Presented at: Proc. of the ACM/EG Games Technology Conference.

Vestergaard, R; Brotherston, J; (2001) The mechanisation of barendregt-style equational proofs (the residual perspective). Presented at: UNSPECIFIED.

Vestergaard, R; Brotherston, J; (2001) A Formalised First-Order Confluence Proof for the lambda-Calculus Using One-Sorted Variable Names. In: Middeldorp, A, (ed.) RTA. (pp. 306 - 321). Springer

W

Wang, YG; Desmedt, Y; (2001) Secure communication in multicast channels: The answer to Franklin and Wright's question. J CRYPTOL , 14 (2) 121 - 135.

Wann, JP; Swapp, DK; (2001) Where do we look when we steer and does it matter? In:

Webb, B.R.; (2001) Action in context - context in action: towards a grounded theory of software design. Doctoral thesis, University of London.

Weiss-Lijn, M; McDonnell, JT; James, L; (2001) Supporting document use through interactive visualization of metadata. Presented at: Proc. of the ACM/IEEE Joint Conference on Digital Libraries, Visual Interfaces to Digital Libraries - It's Past, Present and Future.

Weiss-Lijn, M; McDonnell, JT; James, L; (2001) Visualising document content with metadata to facilitate goal-directed search. Presented at: UNSPECIFIED.

Weiss-Lijn, M; McDonnell, JT; James, L; (2001) A 'best case' evaluation of a novel information retrieval application. Presented at: UNSPECIFIED.

Westerdijk, M; Barber, D; Wiegerinck, W; (2001) Deterministic Generative Models for Fast Feature Discovery. Data Min. Knowl. Discov. , 5 , Article 4. 10.1023/A:1011405212443.

Wickramaratna, J; Holden, SB; Buxton, BF; (2001) Performance degradation in boosting. Presented at: UNSPECIFIED.

Widmer, J; Handley, M; (2001) Extending equation-based congestion control to multicast applications. Presented at: UNSPECIFIED.

Wilson, G; Sasse, MA; (2001) Straight from the heart: using physiological measurements in the evaluation of multimedia quality. Presented at: Proc. of the Society for the Study of Artificial Intelligence and the Simulation of Behaviour (AISB) Convention 2001, Symposium on Emotion, Cognition and Affective Computing, York, UK.

Wolpert, DM; Ghahramani, Z; Flanagan, JR; (2001) Perspectives and problems in motor learning. Trends in Cognitive Sciences , 5 (11) pp. 487-494. 10.1016/S1364-6613(00)01773-3.

Y

Yao, Y; Frasconi, P; Pontil, M; (2001) Fingerprint classification with combinations of Support Vector Machines. In: Bigun, J and Smeraldi, F, (eds.) AUDIO- AND VIDEO-BASED BIOMETRIC PERSON AUTHENTICATION, PROCEEDINGS. (pp. 253 - 258). SPRINGER-VERLAG BERLIN

Yao, Y; Marcialis, GL; Pontil, M; Frasconi, P; Roli, F; (2001) A new machine learning approach to fingerprint classification. In: (pp. pp. 57-63).

Z

Zhaoping, L; (2001) Computational design and nonlinear dynamics of a recurrent network model of the primary visual cortex. Neural Computation , 13 (8) pp. 1749-1780. 10.1162/08997660152469332.

Zhaoping, L; (2001) Modeling pre-attentive stereo grouping by intracortical interactions in early visual cortex. [Lecture]. Presented at: UNSPECIFIED.