UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Browse by UCL Departments and Centres

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Author | Type
Number of items: 468.

Article

Aagaard, M; Cook, B; Day, NA; Jones, RB; (2003) A framework for superscalar microprocessor correctness statements. STTT , 4 (3) pp. 298-312. 10.1007/s10009-002-0087-0.

Adams, A; Blandford, A; (2003) Security and online learning: to protect or prohibit. pp. 331-359.

Alves, C; Finkelstein, A; (2003) Investigating conflicts in cots decision-making. INT J SOFTW ENG KNOW , 13 (5) 473 - 493.

Andersson, G; Bjesse, P; Cook, B; Hanna, Z; (2003) Design automation with mixtures of proof strategies for propositional logic. IEEE Trans. on CAD of Integrated Circuits and Systems , 22 (8) pp. 1042-1048. 10.1109/TCAD.2003.814959.

Aste, T; Coniglio, A; (2003) Cell approach to glass transition. Journal of Physics Condensed Matter , 15 (11) 10.1088/0953-8984/15/11/305.

Aste, T; Coniglio, A; (2003) Glasses and local packings. Physica A: Statistical Mechanics and its Applications , 330 (1-2) pp. 189-194. 10.1016/j.physa.2003.08.005.

Attfield, S; Blandford, A; Dowell, J; (2003) Information seeking in the context of writing - A design psychology interpretation of the "problematic situation". J DOC , 59 (4) 430 - 453. 10.1108/00220410310485712.

Attfield, S; Dowell, J; (2003) Information seeking and use by newspaper journalists. J DOC , 59 (2) 187 - 204. 10.1108/00220410310463860.

Barni, M; Kalker, T; Memon, N; Moulin, P; Miller, ML; Eggers, JJ; Cox, IJ; (2003) What is the future for watermarking? (Part II). IEEE SIGNAL PROC MAG , 20 (6) 53 - 57.

Bentley, PJ; Timmis, J; (2003) Guest Editorial Special Issue on Artificial Immune Systems. Genetic Programming and Evolvable Machines , 4 , Article 4. 10.1023/A:1026182810701.

Bhattacharyya, C; Grate, LR; Rizki, A; Radisky, D; Molina, FJ; Jordan, MI; Bissell, MJ; (2003) Simultaneous classification and relevant feature identification in high-dimensional spaces: application to molecular profiling data. SIGNAL PROCESSING , 83 (4) pp. 729-743. 10.1016/S0165-1684(02)00474-7.

Bhatti, SN; Sorensen, SA; Clarke, P; Crowcroft, J; (2003) Network QoS for Grid Systems. International Journal of High Performance Computing Applications , 17 (3) pp. 219-236. 10.1177/1094342003173009.

Bissell, MJ; Rizki, A; Mian, IS; (2003) Tissue architecture: the ultimate regulator of breast epithelial function. Curr Opin Cell Biol , 15 (6) pp. 753-762.

Bosoy, D; Peng, Y; Mian, IS; Lue, NF; (2003) Conserved N-terminal motifs of telomerase reverse transcriptase required for ribonucleoprotein assembly in vivo. J Biol Chem , 278 (6) pp. 3882-3890. 10.1074/jbc.M210645200.

Braden, R; Faber, T; Handley, M; (2003) From protocol stack to protocol heap: role-based architecture. Computer Communication Review , 33 (1) pp. 17-22. 10.1145/774763.774765.

Buchan, DWA; Rison, SCG; Bray, JE; Lee, D; Pearl, F; Thornton, JM; Orengo, CA; (2003) Gene3D: structural assignments for the biologist and bioinformaticist alike. NUCLEIC ACIDS RES , 31 (1) 469 - 473. 10.1093/nar/gkg051. Gold open access

Bush, D; Finkelstein, A; (2003) Requirements Stability assessment using scenarios. 11TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE, PROCEEDINGS 23 - 32.

Calcagno, C; O'Hearn, PW; Bornat, R; (2003) Program logic and equivalence in the presence of garbage collection. Theor. Comput. Sci. , 3 (298) pp. 557-581. 10.1016/S0304-3975(02)00868-X.

Capra, L; Emmerich, W; Mascolo, C; (2003) CARISMA: Context-aware reflective mlddleware system for mobile applications. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING , 29 (10) 929 - 945.

Cardinale, M; Bosco, C; (2003) The use of vibration as an exercise intervention. Exerc Sport Sci Rev , 31 (1) pp. 3-7.

Cardinale, M; Lim, J; (2003) Electromyography activity of vastus lateralis muscle during whole-body vibrations of different frequencies. J Strength Cond Res , 17 (3) pp. 621-624.

Cardinale, M; Lim, J; (2003) The acute effects of two different whole body vibration frequencies on vertical jump performance. MEDICINA DELLO SPORT , 56 (4) pp. 287-292.

Cardinale, M; Pope, MH; (2003) The effects of whole body vibration on humans: dangerous or advantageous? Acta Physiol Hung , 90 (3) pp. 195-206. 10.1556/APhysiol.90.2003.3.2.

Chatten, AJ; Barnham, KWJ; Buxton, BF; Ekins-Daukes, NJ; Malik, MA; (2003) A new approach to modelling quantum dot concentrators. SOL ENERG MAT SOL C , 75 (3-4) 363 - 371.

Chen, L; Lee, L; Kudlow, BA; Dos Santos, HG; Sletvold, O; Shafeghati, Y; Botha, EG; (2003) LMNA mutations in atypical Werner's syndrome. Lancet , 362 (9382) pp. 440-445. 10.1016/S0140-6736(03)14069-X.

Cholvy, L; Hunter, A; (2003) Merging requirements from a set of ranked agents. KNOWL-BASED SYST , 16 (2) 113 - 126.

Clayton, R; Danezis, G; (2003) Chaffinch: Confidentiality in the face of legal threats. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , 2578 pp. 70-86.

Connell, I; Green, T; Blandford, A; (2003) Ontological Sketch Models: Highlighting User-System Misfits. People and Computers XVII pp. 163-178. Green open access
file

Cook, B; Stoller, SD; Visser, W; (2003) SoftMC 2003: Workshop on Software Model Checking. Electr. Notes Theor. Comput. Sci. , 89 (3) p. 377. 10.1016/S1571-0661(05)80001-5.

Corlu, A; Durduran, T; Choe, R; Schweiger, M; Hillman, EMC; Arridge, SR; Yodh, AG; (2003) Uniqueness and wavelength optimization in continuous-wave multispectral diffuse optical tomography. OPT LETT , 28 (23) 2339 - 2341.

Crum, WR; Griffin, LD; Hill, DL; Hawkes, DJ; (2003) Zen and the art of medical image registration: correspondence, homology, and quality. Neuroimage , 20 (3) pp. 1425-1437.

Cubitt, TS; Verstraete, F; Dür, W; Cirac, JI; (2003) Separable states can be used to distribute entanglement. Physical Review Letters , 91 (3)

Curran, KM; Alexander, DC; (2003) Diffusion tensor orientation matching for image registration. Proceedings of SPIE - The International Society for Optical Engineering , 5032 I pp. 149-156. 10.1117/12.481130.

Dandekar, K; Raju, BI; Srinivasan, MA; (2003) 3-D finite-element models of human and monkey fingertips to investigate the mechanics of tactile sense. J BIOMECH ENG-T ASME , 125 (5) pp. 682-691. 10.1115/1.1613673.

Danezis, G; (2003) Mix-networks with restricted routes. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , 2760 pp. 1-17.

Danezis, G; (2003) Statistical disclosure attacks: Traffic confirmation in open environments. IFIP Advances in Information and Communication Technology , 122 pp. 421-426. 10.1007/978-0-387-35691-4.

Danezis, G; Dingledine, R; Mathewson, N; (2003) Mixminion: Design of a type III anonymous remailer protocol. Proceedings - IEEE Symposium on Security and Privacy , 2003-J pp. 2-15. 10.1109/SECPRI.2003.1199323.

Danezis, G; Sassaman, L; (2003) Heartbeat Traffic to Counter (n-1) Attacks: Red-Green-Black Mixes. Proceedings of the ACM Workshop on Privacy in the Electronic Society pp. 89-93.

Daubert, K; Kautz, J; Seidel, H-P; Heidrich, W; Dischler, J-M; (2003) Efficient Light Transport Using Precomputed Visibility. IEEE Computer Graphics and Applications , 23 (3) pp. 28-37. 10.1109/MCG.2003.1198260.

Di Matteo, T; Aste, T; Dacorogna, MM; (2003) Scaling behaviors in differently developed markets. Physica A: Statistical Mechanics and its Applications , 324 (1-2) pp. 183-188. 10.1016/S0378-4371(02)01996-9.

Dolado, JJ; Harman, M; Otero, MC; Hu, L; (2003) An empirical investigation of the influence of a type of side effects on program comprehension. IEEE T SOFTWARE ENG , 29 (7) 665 - 670.

Doërr, GJ; Dugelay, JL; (2003) A Guide Tour of Video Watermarking. Signal Processing: Image Communication , 18 (4) pp. 263-282. 10.1016/S0923-5965(02)00144-3.

Duda, JT; Rivera, M; Alexander, DC; Gee, JC; (2003) A method for non-rigid registration of diffusion tensor magnetic resonance images. Proceedings of SPIE - The International Society for Optical Engineering , 5032 I pp. 1186-1196. 10.1117/12.481155.

Egyed, A; (2003) A Scenario-Driven Approach to Trace Dependency Analysis. IEEE Transactions on Software Engineering (TSE) , 29 (2) pp. 116-132. 10.1109/TSE.2003.1178051. Green open access
file

Eliseeff, A; Pontil, M; (2003) Stability of Ensemles of Kernel Machines. Advances in Learning Theory: Methods, Models and Applications , 190

Evans, C; Sabry, K; (2003) Evaluation of the interactivity of Web-based learning systems: Principles and process. Innovations in Education and Teaching International , 40 (1) pp. 89-99. 10.1080/1355800032000038787.

Evgeniou, T; Pontil, M; Papageorgiou, C; Poggio, T; (2003) Image representations and feature selection for multimedia database search. IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING , 15 (4) 911 - 920.

Fields, B; Adams, A; Kostkova, P; (2003) ECDL 2003 workshop report: Healthcare Digital Libraries (HDL 2003). D-Lib Magazine , 9 (9) Gold open access

Freeman, D; Slater, M; Bebbington, PE; Garety, PA; Kuipers, E; Fowler, D; Read, CM; (2003) Can virtual reality be used to investigate persecutory ideation? J NERV MENT DIS , 191 (8) 509 - 514. 10.1097/01.nmd.0000082212.83842.fe.

Freeman, E; Driver, J; Sagi, D; Zhaoping, L; (2003) Top-down modulation of lateral interactions in early vision: Does attention affect integration of the whole or just perception of the parts? CURR BIOL , 13 (11) 985 - 989. 10.1016/S0960-9822(03)00333-6.

Freeman, E; Driver, J; Sagi, D; Zhaoping, L; (2003) Top-down modulation of lateral interactions in early vision: Does attention affect integration of the whole or just perception of the parts? Current Biology , 13 (11) pp.985-989.

Gallagher, K; Harman, M; Danicic, S; (2003) Guaranteed inconsistency avoidance during software evolution. J SOFTW MAINT EVOL-R , 15 (6) 393 - 416. 10.1002/smr.289.

Gibbons, NJ; Evans, C; Griffin, DK; (2003) Learning to karyotype in the university environment: a computer-based virtual laboratory class (KaryoLab) designed to rationalize time for the tutor/researcher and to encourage more students to engage in cytogenetics. Cytogenet Genome Res , 101 (1) pp. 1-4.

Gibbons, P; Karp, B; Nath, S; Ke, Y; Seshan, S; (2003) IrisNet: An Architecture for a Worldwide Sensor Web. IEEE Pervasive Computing , 2 (4) pp. 22-33.

Gibson, A; Yusof, RM; Dehghani, H; Riley, J; Everdell, N; Richards, R; Hebden, JC; (2003) Optical tomography of a realistic neonatal head phantom. Applied Optics , 42 (16) pp. 3109-3116.

Gibson, AP; Riley, J; Schweiger, M; Hebden, JC; Arridge, SR; Delpy, DT; (2003) A method for generating patient-specific finite element meshes for head modelling. PHYS MED BIOL , 48 (4) 481 - 495.

Grate, LR; Bhattacharyya, C; Jordan, MI; Mian, IS; (2003) Integrated analysis of transcript profiling and protein sequence data. Mech Ageing Dev , 124 (1) pp. 109-114.

Handley, M; Floyd, S; Padhye, J; Widmer, J; (2003) TCP Friendly Rate Control (TFRC): Protocol Specification. IETF RFC 3448

Handley, M; Hodson, O; Kohler, E; (2003) XORP: an open platform for network research. Computer Communication Review , 33 (1) pp. 53-57. 10.1145/774763.774771.

Harland, J; Pym, D; (2003) Resource-distribution via Boolean Constraints. ACM Transactions on Computational Logic , 4 (1) pp. 56-90. 10.1145/601775.601778.

Harman, M; Binkley, D; Danicic, S; (2003) Amorphous program slicing. J SYST SOFTWARE , 68 (1) 45 - 64. 10.1016/S0164-1212(02)00135-8.

Heino, J; Arridge, S; Sikora, J; Somersalo, E; (2003) Anisotropic effects in highly scattering media. Phys Rev E Stat Nonlin Soft Matter Phys , 68 (3 Pt 1) 031908-. 10.1103/PhysRevE.68.031908.

Hickman, SJ; Coulon, O; Parker, GJM; Barker, GJ; Stevenson, VL; Chard, DT; Arridge, SR; (2003) Application of a B-spline active surface technique to the measurement of cervical cord volume in multiple sclerosis from three-dimensional MR images. JOURNAL OF MAGNETIC RESONANCE IMAGING , 18 (3) 368 - 371. 10.1002/jmri.10354.

Hughes, A; Emmerich, W; (2003) Using programmable network management techniques to establish experimental networking testbeds. BT TECHNOLOGY JOURNAL , 21 (2) pp. 195-203. 10.1023/A:1024437723284. Green open access
file

Hughes, A; Emmerich, W; (2003) Using programmable network management techniques to establish experimental nework testbeds. BT Technology Journal , 21 (2) pp. 195-203.

Hunter, A; Summerton, R; (2003) Prepositional fusion rules. Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) , 2711 pp. 502-514.

Hutton, TJ; Buxton, BF; Hammond, P; Potts, HWW; (2003) Estimating average growth trajectories in shape-space using kernel smoothing. IEEE Transactions on Medical Imaging , 22 (6) 747 - 753. 10.1109/TMI.2003.814784. Green open access
file

James, L; Lin, C; Steed, A; Slater, M; (2003) Society Anxiety in Virtual Environments: A Pilot Study. CyberPsychology and Behavior , 6 (3) pp. 237-243.

James, LK; Lin, CY; Steed, A; Swapp, D; Slater, M; (2003) Social anxiety in virtual environments: Results of a pilot study. CYBERPSYCHOLOGY & BEHAVIOR , 6 (3) 237 - 243.

Jansons, KM; Alexander, DC; (2003) Persistent Angular Structure: new insights from diffusion MRI data. Dummy version. Information processing in medical imaging : proceedings of the ... conference , 18 pp. 672-683.

Jansons, KM; Alexander, DC; (2003) Persistent angular structure: new insights from diffusion magnetic resonance imaging data. INVERSE PROBL , 19 (5) 1031 - 1046.

Jansons, KM; Alexander, DC; (2003) Persistent angular structure: New insights from diffusion MRI data. Dummy version. INFORMATION PROCESSING IN MEDICAL IMAGING, PROCEEDINGS , 2732 672 - 683.

Jones, DT; (2003) Learning to speak the language of proteins. SCIENCE , 302 (5649) 1347 - 1348.

Jones, DT; (2003) Structural biology. Learning to speak the language of proteins. Science , 302 (5649) pp. 1347-1348. 10.1126/science.1092492.

Jones, DT; McGuffin, LJ; (2003) Assembling novel protein folds from super-secondary structural fragments. PROTEINS-STRUCTURE FUNCTION AND BIOINFORMATICS , 53 (6) 480 - 485. 10.1002/prot.10542.

Jones, DT; Ward, JJ; (2003) Prediction of disordered regions in proteins from position specific score matrices. PROTEINS-STRUCTURE FUNCTION AND BIOINFORMATICS , 53 (6) 573 - 578. 10.1002/prot.10528.

Julier, SJ; Durrant-Whyte, HF; (2003) On the role of process models in autonomous land vehicle navigation systems. IEEE Transactions on Robotics and Automation , 19 (1) pp. 1-14. 10.1109/TRA.2002.805661.

Kandola, J; Hofmann, T; Poggio, T; Shawe-Taylor, J; (2003) Introduction to the Special Issue on Machine Learning Methods for Text and Images. Journal of Machine Learning Research , 3 pp. 1023-1024. Gold open access

Kolehmainen, V; Prince, S; Arridge, SR; Kaipio, JP; (2003) State-estimation approach to the nonstationary optical tomography problem. J OPT SOC AM A , 20 (5) 876 - 889.

Kolmogorov, V; Watts, R; Prince, MR; Zabih, R; Wang, Y; (2003) Simultaneous multiple volume (SMV) acquisition algorithm for real-time navigator gating. Magnetic Resonance Imaging , 21 (9) pp. 969-975. 10.1016/S0730-725X(03)00203-0.

Krinke, J; (2003) Context-sensitive slicing of concurrent programs. Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering pp. 178-187. 10.1145/940071.940096.

Kwon, J; Wellings, AJ; King, S; (2003) Assessment of the Java programming language for use in high integrity systems. SIGPLAN Notices , 38 (4) pp. 34-46. 10.1145/844091.844099.

Lano, K; Clark, D; Androutsopoulos, K; (2003) RSDS, a Subset of UML with Precise Semantics. L’OBJET , 9 (4) 53-73-53-73.

Laurence, MR; Danicic, S; Harman, M; Hierons, R; Howroyd, J; (2003) Equivalence of conservative, free, linear program schemas is decidable. THEOR COMPUT SCI , 290 (1) 831 - 862.

Lensch, HPA; Goesele, M; Bekaert, P; Kautz, J; Magnor, MA; Lang, J; Seidel, H-P; (2003) Interactive Rendering of Translucent Objects. Comput. Graph. Forum , 22 (2) pp. 195-206. 10.1111/1467-8659.00660.

Lensch, HPA; Kautz, J; Goesele, M; Heidrich, W; Seidel, H-P; (2003) Image-based reconstruction of spatial appearance and geometric detail. ACM Trans. Graph. , 22 (2) pp. 234-257. 10.1145/636886.636891.

Lewis, A; Garcia, R; Zhaoping, L; (2003) The distribution of visual objects on the retina: Connecting eye movements and cone distributions. Journal of Vision , 3 (11) pp. 893-905. 10.1167/3.11.21. Gold open access

Lewis, A; Garcia, R; Zhaoping, L; (2003) The distribution of visual objects on the retina: connecting eye movements and cone distributions. J VISION , 3 (11) 893 - 905. 10.1167/3.11.21. Gold open access

Lomuscio, A; Sergot, M; (2003) Deontic Interpreted Systems. Studia Logica , 75

Lue, NF; Lin, YC; Mian, IS; (2003) A conserved telomerase motif within the catalytic domain of telomerase reverse transcriptase is specifically required for repeat addition processivity. Mol Cell Biol , 23 (23) pp. 8440-8449.

Mackenzie, D; (2003) A Game of Chance. New Scientist pp. 36-40.

Marti-Lopez, L; Bouza-Dominguez, J; Hebden, JC; Arridge, SR; Martinez-Celorio, RA; (2003) Validity conditions for the radiative transfer equation. J OPT SOC AM A , 20 (11) 2046 - 2056.

Mascolo, C; Emmerich, W; Finkelstein, A; (2003) Guest Editorial: XML and Software Engineering. Autom. Softw. Eng. , 10 (1) pp. 5-6. 10.1023/A:1021808716070.

McGuffin, LJ; Jones, DT; (2003) Benchmarking protein secondary structure prediction for protein fold recognition. Proteins: Structure, Function, and Genetics , 52 pp. 166-175.

McGuffin, LJ; Jones, DT; (2003) Benchmarking secondary structure prediction for fold recognition. PROTEINS , 52 (2) 166 - 175. 10.1002/prot.10408.

McGuffin, LJ; Jones, DT; (2003) Improvement of the GenTHREADER method for genomic fold recognition. BIOINFORMATICS , 19 (7) 874 - 881. 10.1093/bioinformatics/btg097.

Mitra, NJ; Nguyen, A; (2003) Estimating surface normals in noisy point cloud data. Proceedings of the Annual Symposium on Computational Geometry pp. 322-328.

Mostéfaoui, GK; (2003) Security Solutions for Jini-Based Applications. Int. Arab J. Inf. Technol. , 1

Mourao-Miranda, J; Volchan, E; Moll, J; de Oliveira-Souza, R; Oliveira, L; Bramati, I; Gattass, R; (2003) Contributions of stimulus valence and arousal to visual activation during emotional perception. NEUROIMAGE , 20 (4) 1955 - 1963. 10.1016/j.neuroimaging.2003.08.011.

Muniyandi, M; Cotin, S; Srinivasan, M; Dawson, S; (2003) Real-time PC based X-ray simulation for interventional radiology training. Stud Health Technol Inform , 94 pp. 233-239.

Nakajima, C; Pontil, M; Heisele, B; Poggio, T; (2003) Full-body person recognition system. Pattern Recognition , 36 (9) pp. 1997-2006. 10.1016/S0031-3203(03)00061-X.

Nakajima, C; Pontil, M; Heisele, B; Poggio, T; (2003) Full-body person recognition system. PATTERN RECOGN , 36 (9) 1997 - 2006. 10.1016/S0031-3203(03)00061-X.

Nentwich, C; Emmerich, W; Finkelstein, A; Ellmer, E; (2003) Flexible consistency checking. ACM T SOFTW ENG METH , 12 (1) 28 - 63.

Noble, NM; Hill, DL; Breeuwer, M; Schnabel, JA; Hawkes, DJ; Gerritsen, FA; Razavi, R; (2003) Myocardial delineation via registration in a polar coordinate system. ACAD RADIOL , 10 (076-63) pp. 1349-1358.

Nuseibeh, B; Kramer, J; Finkelstein, A; (2003) ViewPoints: Meaningful relationships are difficult! 25TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS 676 - 681.

O'Hearn, PW; (2003) On bunched typing. J. Funct. Program. , 13 (4) pp. 747-796. 10.1017/S0956796802004495.

Oguey, C; Rivier, N; Aste, T; (2003) Stratifications of cellular patterns: Hysteresis and convergence. European Physical Journal B , 33 (4) pp. 447-455. 10.1140/epjb/e2003-00185-4.

Oliveira, J; Zhang, D; Spanlang, B; Buxton, B; (2003) Animating Scanned Human Models. Journal of WSCG , 11 (2) pp. 362-369.

Oxtoby, NP; Sun, H-B; Wiseman, HM; (2003) Non-ideal monitoring of a qubit state using a quantum tunnelling device. J. Phys.: Condens. Matter , 15 (46) pp. 8055-8064.

Pagtzis, T; Kirstein, P; Hailes, S; Afifi, H; (2003) Proactive seamless mobility management for future IP radio access networks. COMPUT COMMUN , 26 (17) 1975 - 1989. 10.1016/S0140-3664(03)00162-2.

Pellegrini-Calace, M; Carotti, A; Jones, DT; (2003) Folding in lipid membranes (FILM): A novel method for the prediction of small membrane protein 3D structures. PROTEINS , 50 (4) 537 - 545. 10.1002/prot.10304.

Penczek, W; Lomuscio, A; (2003) Verifying Epistemic Properties of multi-agent systems via model checking. Fundamenta Informaticae , 55 (2) pp. 167-185.

Petrov, Y; Zhaoping, L; (2003) Local correlations, information redundancy, and sufficient pixel depth in natural images. J OPT SOC AM A , 20 (1) 56 - 66.

Piccinelli, G; Finkelstein, A; Costa, T; (2003) Flexible B2B processes: the answer is in the nodes. INFORM SOFTWARE TECH , 45 (15) 1061 - 1063. 10.1016/S0950-5849(03)00134-4.

Piccinelli, G; Finkelstein, A; Williams, SL; (2003) Service-oriented workflow: The DySCo framework. PROCEEDINGS OF THE 29TH EUROMICRO CONFERENCE 291 - 297.

Pontil, M; (2003) Learning in Reproducing Kernel Hilbert Spaces: A Guide Tour. Bulletin of the Italian Artificial Intelligence Association AI Notizie

Pontil, M; (2003) A note on different covering numbers in learning theory. J COMPLEXITY , 19 (5) 665 - 671. 10.1016/S0885-064X(03)00033-5.

Price, S; Rogers, Y; Scaife, M; Stanton, D; Neale, H; (2003) Using 'tangibles' to promote novel forms of playful learning. Interacting with Computers , 15 (2) pp. 169-185. 10.1016/S0953-5438(03)00006-7.

Prince, S; Kolehmainen, V; Kaipio, JP; Franceschini, MA; Boas, D; Arridge, SR; (2003) Time-series estimation of biological factors in optical diffusion tomography. PHYS MED BIOL , 48 (11) 1491 - 1504.

Pym, DJ; (2003) Editorial: The 'corner' on semantics. Journal of Logic and Computation , 13 (5) pp. 633-638. 10.1093/logcom/13.5.633.

Raju, BI; Swindells, KJ; Gonzalez, S; Srinivasan, MA; (2003) Quantitative ultrasonic methods for characterization of skin lesions in vivo. ULTRASOUND MED BIOL , 29 (6) pp. 825-838. 10.1016/S0301-5629(03)00009-7.

Ratnasamy, S; Karp, B; Shenker, S; Estrin, D; Govindan, R; Yin, L; Yu, F; (2003) Data-Centric Storage with GHT, a Geographic Hash Table. Mobile Networks and Applications (MONET), Special Issue on Wireless Sensor Networks , 8 (4) pp. 427-442.

Ratsaby, J; (2003) On Learning Multicategory Classification with Sample Queries. Information and Computation , 185 (2) pp. 298-327.

Riegelsberger, J; Sasse, MA; McCarthy, JD; (2003) The researcher's dilemma: evaluating trust in computer-mediated communication. International Journal of Human-Computer Studies , 58 (6) 759 - 781. 10.1016/S1071-5819(03)00042-9. Green open access
file

Robinson, DM; Jones, DT; Kishino, H; Goldman, N; Thorne, JL; (2003) Protein evolution with dependence among codons due to tertiary structure. MOL BIOL EVOL , 20 (10) 1692 - 1704. 10.1093/molbev/msg184.

Rogers, Y; Rodden, T; (2003) Configuring spaces and surfaces to support collaborative interactions. Public and Situated Displays 45 - 79.

Rueckert, D; Frangi, AF; Schnabel, JA; (2003) Automatic construction of 3D statistical shape models using non-rigid registration. IEEE Transactions on Medical Imaging , 22 (8) pp. 1014-1025.

Schnabel, JA; Tanner, C; Castellano-Smith, AD; Degenhard, A; Leach, MO; Hose, DR; Hill, DL; (2003) Validation of nonrigid image registration using finite-element methods: application to breast MR images. IEEE Trans Med Imaging , 22 (2) pp. 238-247. 10.1109/TMI.2002.808367. Green open access
file

Schweiger, M; Arridge, SR; (2003) Image reconstruction in optical tomography using local basis functions. J ELECTRON IMAGING , 12 (4) 583 - 593. 10.1117/1.1586919.

Schweiger, M; Gibson, A; Arridge, SR; (2003) Computational aspects of diffuse optical tomography. COMPUT SCI ENG , 5 (6) 33 - 41.

Severini, S; (2003) On a composition of digraphs. CoRR , cs.DM/

Severini, S; (2003) On the digraph of a unitary matrix. SIAM J MATRIX ANAL A , 25 (1) 295 - 300. 10.1137/S0895479802410293.

Shepherd, AJ; Gorse, D; Thornton, JM; (2003) A novel approach to the recognition of protein architecture from sequence using Fourier analysis and neural networks. PROTEINS , 50 (2) 290 - 302. 10.1002/prot.10290.

Skene, J; Emmerich, W; (2003) Model driven performance analysis of enterprise information systems. Electronic Notes in Theoretical Computer Science , 82 (6) pp. 1-11. 10.1016/S1571-0661(04)81033-8.

Sorensen, SA; Bauer, B; (2003) On the dynamics of the Kofels sturzstrom. Geomorphology , 54 (1-2) pp. 11-19. 10.1016/S0169-555X(03)00051-5.

Steed, A; (2003) Psuedo-Shadowed Cursors for 3D Interaction. Journal of Graphics Tools , 7 (3) pp. 19-25.

Steed, A; Glencross, M; Bierbaum, A; (2003) Product review: An overview of cluster solutions for immersive displays. PRESENCE-TELEOP VIRT , 12 (4) 437 - 440.

Stott, JJ; Culver, JP; Arridge, SR; Boas, DA; (2003) Optode positional calibration in diffuse optical tomography. APPLIED OPTICS , 42 (16) 3154 - 3162.

Sukel, KE; Catrambone, R; Essa, I; Brostow, G; (2003) Presenting movement in a computer-based dance tutor. INT J HUM-COMPUT INT , 15 (3) pp. 433-452.

Thrun, S; Liu, Y; Koller, D; Ng, AY; Ghahramani, Z; Durrant-Whyte, H; (2003) Simultaneous Localization and Mapping with Sparse Extended Information Filters. International Journal of Robotics Research

Tress, ML; Jones, D; Valencia, A; (2003) Predicting reliable regions in protein alignments from sequence profiles. J MOL BIOL , 330 (4) pp. 705-718. 10.1016/S0022-2836(03)00622-3.

Tress, ML; Jones, DT; Valencia, A; (2003) Predicting Reliable Regions in Protein Alignments from Sequence Profiles. Journal of Molecular Biology (18) pp. 705-718.

Tromp, JG; Steed, A; Wilson, JR; (2003) Systematic usability evaluation and design issues for collaborative virtual environments. PRESENCE-TELEOP VIRT , 12 (3) 241 - 267.

Vestergaard, R; Brotherston, J; (2003) A formalised first-order confluence proof for the λ-calculus using one-sorted variable names. Information and Computation , 183 (2) pp. 212-244. 10.1016/S0890-5401(03)00023-3.

Vincent, M; Pedra, E; Mourao-Miranda, J; Bramati, I; Henrique, A; Moll, J; (2003) Enhanced interictal responsiveness of the migraineous visual cortex to incongruent bar stimulation: a functional MRI visual activation study. CEPHALALGIA , 23 (9) 860 - 868.

Volchan, E; Pereira, MG; Oliveira, LD; Vargas, C; Mourão-Miranda, J; Azevedo, TM; Machado-Pinheiro, W; (2003) [Emotional stimuli: sensory processing and motor responses]. Rev Bras Psiquiatr , 25 Sup pp. 29-78.

Wan, S; Raju, BI; Srinivasan, MA; (2003) Robust deconvolution of high-frequency ultrasound images using higher-order spectral analysis and wavelets. IEEE T ULTRASON FERR , 50 (10) pp. 1286-1295.

Ward, JJ; McGuffin, LJ; Buxton, BF; Jones, DT; (2003) Secondary structure prediction with support vector machines. BIOINFORMATICS , 19 (13) 1650 - 1655. 10.1093/bioinformatics/btg223.

Wilde, D; Harris, EC; Rogers, Y; Randell, C; (2003) The Periscope: supporting a computer enhanced field trip for children. Personal and Ubiquitous Computing , 7 (3-4) pp. 227-233. 10.1007/s00779-003-0230-2.

Worthey, EA; Schnaufer, A; Mian, IS; Stuart, K; Salavati, R; (2003) Comparative analysis of editosome proteins in trypanosomatids. Nucleic Acids Res , 31 (22) pp. 6392-6408. Gold open access

Xu, K; Prince, SJD; Cheok, AD; Qiu, Y; Kumar, KG; (2003) Visual registration for unprepared augmented reality environments. PERS UBIQUIT COMPUT , 7 (5) 287 - 298. 10.1007/s00779-003-0241-z.

Yao, Y; Marcialis, GL; Pontil, M; Frasconi, P; Roli, F; (2003) Combining flat and structured representations for fingerprint classification with recursive neural networks and support vector machines. PATTERN RECOGN , 36 (2) 397 - 406.

Yasin, I; Plack, CJ; (2003) The effects of a high-frequency suppressor on tuning curves and derived basilar-membrane response functions. J ACOUST SOC AM , 114 (1) 322 - 332. 10.1121/1.1579003.

Yusof, RM; Hebden, JC; Gibson, A; Everdell, N; Austin, T; Meek, JH; Arridge, SR; (2003) Validation of the use of homogenous reference phantoms for optical tomography of the neonatal brain. OPTICAL TOMOGRAPHY AND SPECTROSCOPY OF TISSUE V , 4955 6 - 11.

Zhaoping, L; (2003) V1 mechanisms and some figure-ground and border effects. J PHYSIOLOGY-PARIS , 97 (4-6) 503 - 515. 10.1016/j.jphysparis.2004.01.008.

Zhaoping, L; Herzog, MH; Dayan, P; (2003) Nonlinear ideal observation and recurrent preprocessing in perceptual learning. NETWORK-COMP NEURAL , 14 (2) 233 - 247.

Book

Griffin, LD and Lillholm, M (Eds). (2003) Proceedings of the Scale Space 2003 conference. [Book]. Lecture Notes in Computer Science: Vol.2695. Springer

Orengo, C and Jones, DT and Thornton, JM (Eds). (2003) Bioinformatics: Genes, Proteins and Computers. [Book]. Garland Science

Bentley, PJ; (2003) Digital Biology. [Book]. Gimm-Young: Seol.

Desmedt, YGE; (2003) Public Key Cryptography. Proceedings of the 6th International Workshop on Practice and Theory in Public Key Cryptography (PKC 2003). [Book]. Lecture Notes in Computer Science. Springer-Verlag: New York.

Emmerich, W; (2003) Konstruktion von verteilten Objekten. [Book]. dpunkt Verlag GmbH: Heidelberg, Germany.

Kumar, S; Bentley, P; (2003) On Growth, Form and Computers.

Timmis, J; Bentley, P; Hart, E; (2003) Artificial immune systems. [Book]. Springer-Verlag New York Inc

Book chapter

Ambroladze, A; Shawe-Taylor, J; (2003) When Is Small Beautiful? In: Schölkopf, B and Warmuth, MK, (eds.) Computational Learning Theory and Kernel Machines, 16th Annual Conference on Computational Learning Theory and 7th Kernel Workshop, COLT/Kernel 2003, Washington, DC, USA, August 24-27, 2003, Proceedings. (pp. 729-730). Springer

Bahsoon, R; Emmerich, W; (2003) Evaluating software architectures: development, stability and evolution. In: Proceedings of the ACS/IEEE International Conference on Computer Systems and Applications, Tunis, Tunisia. (pp. 47-56). IEEE Computer Society Press

Damgård, I; Groth, J; Salomonsen, G; (2003) The Theory and Implementation of an Electronic Voting System. In: Gritzalis, D, (ed.) Secure Electronic Voting. (pp. 77-98). Springer

Doërr, G; Dugelay, J-L; (2003) Video Watermarking: Overview and Challenges. In: Furht, B and Marques, O, (eds.) Handbook of Video Databases: Design and Applications. CRC Press

Dui, D; Emmerich, W; (2003) Compatibility of XML language versions. In: Westfechtel, B and Hoek, A, (eds.) Software Configuration Management. Selected Papers of ICSE Workshops SCM 2001 and SCM 2003. (pp. 148-162). Springer Verlag Green open access
file

Dui, D; Emmerich, W; Nentwich, C; Thal, B; (2003) Consistency checking of financial derivative transactions. In: Aksit, M and Menzini, M and Unland, R, (eds.) Objects, Components, Architectures, Services and Applications for a Networked World. (pp. 166-183). Springer Green open access
file

Graepel, T; Herbrich, R; Kharechko, A; Shawe-Taylor, J; (2003) Semi-Definite Programming by Perceptron Learning. In: Thrun, S and Saul, LK and Schölkopf, B, (eds.) Advances in Neural Information Processing Systems 16 [Neural Information Processing Systems, NIPS 2003, December 8-13, 2003, Vancouver and Whistler, British Columbia, Canada]. (pp. 457-464). MIT Press

Griffin, LD; Lillholm, M; (2003) Mode estimation by pessimistic scale space tracking. In: Griffin, LD and Lillholm, M, (eds.) Proc. Scale Space '03, LNCS vol. 2695. (pp. 271-286).

Gryce, C; Piccinelli, G; Zirpins, C; (2003) An architectural model for electronic services. In: Proceedings of IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE-2003), June 9-11, 2003, University of Linz, Linz, Austria. (pp. 113-114). IEEE Computer Society Green open access
file

Kandola, J; Graepel, T; Shawe-Taylor, J; (2003) Reducing kernel matrix diagonal dominance using semi-definite programming. In: UNSPECIFIED (pp. 288-302).

Kandola, J; Shawe-Taylor, J; (2003) Refining Kernels for Regression and Uneven Classification Problems. In: UNSPECIFIED Springer-Verlag, Berlin Heidelberg

Kaveh, N; Emmerich, W; (2003) Validating Distributed Object and Component Designs. In: Bernardo, M and Inverardi, P, (eds.) Formal Methods for Software Architecture. (pp. 63-91). Springer Verlag Green open access
file

Kaveh, N; Emmerich, W; (2003) Validating distributed object and component designs. In: Bernardo, M and Inverardi, P, (eds.) Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003. (pp. 63-91). Springer Verlag

Krinke, J; (2003) Advanced slicing of sequential and concurrent programs. In: Wagner, D, (ed.) Ausgezeichnete Informatikdissertationen 2003. (pp. 101-110). GI

Kumar, S; Bentley, PJ; (2003) Computational Embryology: Past, Present and Future. In: Advances in Evolutionary Computing, Theory and Application. (pp. 461-478). Springer

Lamanna, DD; Skene, J; Emmerich, W; (2003) SLAng: a language for service level agreements. In: Proceedings of the 9th IEEE Workshop on Future Trends in Distributed Computing Systems. (pp. 100-106). IEEE Computer Society Press

Langdon, WB; (2003) The Distribution of Reversible Functions is Normal. In: Riolo, RL and Worzel, B, (eds.) Genetic Programming Theory and Practise. (pp. 173-188). Kluwer

Marchand, M; Shah, M; Shawe-Taylor, J; Sokolova, M; (2003) The Set Covering Machine with Data-Dependent Half-Spaces. In: Fawcett, T and Mishra, N, (eds.) Machine Learning, Proceedings of the Twentieth International Conference (ICML 2003), August 21-24, 2003, Washington, DC, USA. (pp. 520-527). AAAI Press

Paiano, R; Mangia, L; Perrone, V; (2003) Publishing Model for Web Applications: A User-Centered Approach. In: George, D, (ed.) Information Management: Support Systems & Multimedia Technology. Idea Group Inc.

Piccinelli, G; Emmerich, W; Williams, S; Stearns, M; (2003) A Model-Driven Architecture for Electronic Service Management Systems. In: Orlowska, ME and Weerawarana, S and Papazoglou, MP and Yang, J, (eds.) Proc. of the 1st Int. Conference on Service-Oriented Computing, Trento, Italy. (pp. 241-255). Springer Verlag

Piccinelli, G; Emmerich, W; Williams, SL; Stearns, M; (2003) A model-driven architecture for electronicservice management systems. In: Orlowska, M and Weerawarana, S and Papazoglou, M and Yang, J, (eds.) Proc. of the 1st International Conference on Service-Oriented Computing, Trento, Italy. (pp. 241-255). Springer Green open access
file

Piccinelli, G; Zirpins, C; Lamersdorf, W; (2003) The FRESCO framework: an overview. In: 2003 Symposium on Applications and the Internet Workshops (SAINT 2003 Workshops). (pp. 120-123). IEEE Computer Society Green open access
file

Prince, S; Cheok, A; Farbiz, F; Johnson, N; Billinghurst, M; Kato, H; (2003) 3D Live Humans in Mixed Reality Entertainment. In: Ryohai, N and Junichi, H, (eds.) Computing entertainment technologies and applications.

Riegelsberger, J; Sasse, MA; (2003) Designing E-Commerce Applications for Consumer Trust. In: Petrovic, O and Ksela, M and Fallenbock, M and Kittl, C, (eds.) Trust in the Network Economy. (pp. 97-110). Springer: Wien, New York.

Shawe-Taylor, J; Cristianini, N; (2003) Estimating the moments of a random vector with applications. In: UNSPECIFIED

Skene, J; Emmerich, W; (2003) A model driven architecture approach to analysis of non-functional properties of software architectures. In: Proceedings of the 18th IEEE Conference on Automated Software Engineering, October 2003, Montreal, Canada. (pp. 236-239). IEEE Computer Society Press

Zachariadis, S; Mascolo, C; Emmerich, W; (2003) Adaptable mobile applications: exploiting logical mobility in mobile computing. In: Horlait, E and Magedanz, T and Glitho, R, (eds.) Proceedings of 5th International Workshop on Mobile Agents for Telecommunication Applications (MATA03). (pp. 170-179). Springer Verlag

Zachariadis, S; Mascolo, C; Emmerich, W; (2003) Adaptable mobile applications: Exploiting logical mobility in mobile computing. In: Horlait, E and Magedanz, T and Glitho, RH, (eds.) UNSPECIFIED (170 - 179). SPRINGER-VERLAG BERLIN Green open access
file

Proceedings paper

(2003) Artificial Immune Systems, Second International Conference, ICARIS 2003, Edinburgh, UK, September 1-3, 2003, Proceedings. In: Timmis, J and Bentley, PJ and Hart, E, (eds.) ICARIS. Springer

Agakov, FV; Barber, D; (2003) Approximate Learning in Temporal Hidden Hopfield Models. In: Kaynak, O and Alpaydin, E and Oja, E and Xu, L, (eds.) ICANN. (pp. 107 - 114). Springer

Aickelin, U; Bentley, P; Cayzer, S; Kim, J; McLeod, J; (2003) Danger theory: The link between AIS and IDS? In: Timmis, J and Bentley, P and Hart, E, (eds.) ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. (pp. 147 - 155). SPRINGER-VERLAG BERLIN

Baillot, Y; Eliason, JJ; Schmidt, GS; Swan, JE; Brown, D; Julier, S; Livingston, MA; (2003) Evaluation of the ShapeTape tracker for wearable, mobile interaction. In: (pp. pp. 285-286).

Baillot, Y; Eliason, JJ; Schmidt, GS; Swan, JE; Brown, D; Julier, S; Livingston, MA; (2003) Evaluation of the ShapeTape tracker for wearable, mobile interaction. In: Chen, J and Froehlich, B and Loftin, B and Neumann, U and Takemura, H, (eds.) IEEE VIRTUAL REALITY 2003, PROCEEDINGS. (pp. 285 - 286). IEEE COMPUTER SOC

Baillot, Y; Julier, SJ; Brown, D; Livingston, MA; (2003) A tracker alignment framework for augmented reality. In: (pp. pp. 142-150).

Basanta, D; Bentley, PJ; Miodownik, MA; Holm, EA; (2003) Evolving cellular automata to grow microstructures. In: (pp. pp. 1-10).

Bennett, KH; Gold, NE; Layzell, PJ; Zhu, F; Brereton, OP; Budgen, D; Keane, J; (2003) A broker architecture for integrating data using a web services environment. In: Orlowska, ME and Weerawarana, S and Papazoglou, MP and Yang, J, (eds.) SERVICE-ORIENTED COMPUTING - ICSOC 2003. (pp. 409 - 422). SPRINGER-VERLAG BERLIN

Bentley, PJ; (2003) Evolving fractal proteins. In: (pp. pp. 81-92).

Bentley, PJ; (2003) Evolving fractal gene regulatory networks for robot control. In: Banzhaf, W and Christaller, T and Dittrich, P and Kim, JT and Ziegler, J, (eds.) ADVANCES IN ARTIFICIAL LIFE, PROCEEDINGS. (pp. 753 - 762). SPRINGER-VERLAG BERLIN

Bentley, PJ; (2003) Evolving fractal proteins. In: Tyrrell, AM and Haddow, PC and Torresen, J, (eds.) EVOLVABLE SYSTEMS: FROM BIOLOGY TO HARDWARE, PROCEEDINGS. (pp. 81 - 92). SPRINGER-VERLAG BERLIN

Binkley, D; Harman, M; (2003) Results from a large-scale study of performance optimization techniques for source code analyses based on graph reachability algorithms. In: THIRD IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION - PROCEEDINGS. (pp. 203 - 212). IEEE COMPUTER SOC

Binkley, D; Harman, M; (2003) An empirical study of predicate dependence levels and trends. In: 25TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS. (pp. 330 - 339). IEEE COMPUTER SOC

Binkley, D; Harman, M; (2003) A large-scale empirical study of forward and backward static slice size and context sensitivity. In: INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS. (pp. 44 - 53). IEEE COMPUTER SOC

Bird, J; Faith, J; Webster, A; (2003) Tabula Rasa: A Case Study in Evolutionary Curation. In: Raidl, GR and Meyer, J-A and Middendorf, M and Cagnoni, S and Cardalda, JJR and Corne, D and Gottlieb, J and Guillot, A and Hart, E and Johnson, CG and Marchiori, E, (eds.) EvoWorkshops. (pp. 479 - 489). Springer

Blandford, A; Thimbleby, H; (2003) Proc. HCI2003. In: (Proceedings) Understanding Interaction Traps.. (pp. pp. 57-60).

Boykov, Y; Kolmogorov, V; (2003) Computing geodesics and minimal surfaces via graph cuts. In: NINTH IEEE INTERNATIONAL CONFERENCE ON COMPUTER VISION, VOLS I AND II, PROCEEDINGS. (pp. 26 - 33). IEEE COMPUTER SOC

Brignull, H; Rogers, Y; (2003) Enticing People to Interact with Large Public Displays in Public Spaces. In: Rauterberg, M and Menozzi, M and Wesson, J, (eds.) INTERACT. IOS Press

Brown, BAT; MacColl, I; Chalmers, M; Galani, A; Randell, C; Steed, A; (2003) Lessons from the lighthouse: collaboration in a shared mixed reality system. In: Cockton, G and Korhonen, P, (eds.) (pp. pp. 577-584). ACM

Brown, D; Julier, S; Baillot, Y; Livingston, MA; (2003) An event-based data distribution mechanism for collaborative mobile augmented reality and virtual environments. In: (pp. pp. 23-29).

Brown, D; Julier, S; Baillot, Y; Livingston, MA; (2003) An event-based data distribution mechanism for collaborative mobile augmented reality and virtual environments. In: Chen, J and Froehlich, B and Loftin, B and Neumann, U and Takemura, H, (eds.) IEEE VIRTUAL REALITY 2003, PROCEEDINGS. (pp. 23 - 29). IEEE COMPUTER SOC

Clarke, J; Dolado, JJ; Harman, M; Hierons, R; Jones, B; Lumkin, M; Mitchell, B; (2003) Reformulating software engineering as a search problem. In: (pp. pp. 161-175).

Courtois, N; Meier, W; (2003) Algebraic Attacks on Stream Ciphers with Linear Feedback. In: Biham, E, (ed.) EUROCRYPT. (pp. 345 - 359). Springer

Danezis, G; (2003) Statistical Disclosure Attacks. In: Gritzalis, D and Vimercati, SDCD and Samarati, P and Katsikas, SK, (eds.) SEC. (pp. 421 - 426). Kluwer

Dawson, L; Minocha, S; Blandford, A; Roberts, D; (2003) The Customer's perspective: Sociological Accounts of E-Commerce Encounters. In: (Proceedings) Proc. IADIS International Conference WWW/Internet. (pp. 69 - 76). Green open access
file

De Landtsheer, R; Letier, E; van Lamsweerde, A; (2003) Deriving tabular event-based specifications from goal-oriented requirements models. In: 11TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE, PROCEEDINGS. (pp. 200 - 210). IEEE COMPUTER SOC

De Lucia, A; Harman, M; Hierons, R; Krinke, J; (2003) Unions of slices are not slices. In: SEVENTH EUROPEAN CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING, PROCEEDINGS. (pp. 363 - 367). IEEE COMPUTER SOC

Desmedt, Y; Kurosawa, K; Le, TV; (2003) Error correcting and complexity aspects of linear secret sharing schemes. In: Boyd, C and Mao, W, (eds.) INFORMATION SECURITY, PROCEEDINGS. (pp. 396 - 407). SPRINGER-VERLAG BERLIN

Desmedt, Y; Safavi-Naini, R; Wang, HX; (2003) Redistribution of mechanical secret shares. In: Blaze, M, (ed.) FINANCIAL CRYPTOGRAPHY. (pp. 238 - 252). SPRINGER-VERLAG BERLIN

Desmedt, Y; Wang, YG; (2003) Efficient zero-knowledge proofs for some practical graph problems. In: Cimato, S and Galdi, C and Persiano, G, (eds.) SECURITY IN COMMUNICATION NETWORKS. (pp. 290 - 302). SPRINGER-VERLAG BERLIN

Fatiregun, D; Harman, M; Hierons, R; (2003) Search based transformations. In: CantuPaz, E and Foster, JA and Deb, K and Davis, LD and Roy, R and OReilly, UM and Beyer, HG and Standish, R and Kendall, G and Wilson, S and Hartman, M and Wegener, J and Dasgupta, D and Potter, MA and Schultz, AC and Dowsland, KA and Jonoska, N and Miller, J, (eds.) GENETIC AND EVOLUTIONARY COMPUTATION - GECCO 2003, PT II, PROCEEDINGS. (pp. 2511 - 2512). SPRINGER-VERLAG BERLIN

Finkelstein, A; Lamerdorf, W; Leyman, F; Piccinelli, G; Weerawarana, S; (2003) Object orientation and web services. In: Buschmann, F and Buchmann, AP and Cilia, MA, (eds.) OBJECT-ORIENTED TECHNOLOGY. (pp. 179 - 189). SPRINGER-VERLAG BERLIN

Garau, M; Slater, M; Vinayagamoorthy, V; Brogni, A; Steed, A; Sasse, MA; (2003) The impact of avatar realism and eye gaze control on perceived quality of communication in a shared immersive virtual environment. In: Conference on Human Factors in Computing Systems - Proceedings. (pp. 529 - 536).

Gibson, A; Schweiger, M; Hebden, JC; Arridge, SR; Delpy, DT; (2003) A method for generating patient-specific finite element meshes for head modelling. In: (Proceedings) 4th Conf. Biomed. Appl. Elect. Int. Tomog.. : Manchester.

Gibson, A; Yusof, RM; Dehghani, H; Riley, J; Everdell, N; Richards, R; Hebden, JC; (2003) Optical tomography of a realistic neonatal head phantom. In: APPLIED OPTICS. (pp. 3109 - 3116). OPTICAL SOC AMER

Groth, J; (2003) A verifiable secret shuffle of homomorphic encryptions. In: Desmedt, YG, (ed.) PUBLIC KEY CRYPTOGRAPHY - PKC 2003, PROCEEDINGS. (pp. 145 - 160). SPRINGER-VERLAG BERLIN

Halloran, J; Rogers, Y; Fitzpatrick, G; (2003) From text to talk: multiplayer games and voiceover IP. In: DIGRA Conf.

Halloran, J; Rogers, Y; Rodden, T; Taylor, I; (2003) Creating New User Experiences to Enhance Collaboration. In: Rauterberg, M and Menozzi, M and Wesson, J, (eds.) INTERACT. IOS Press

Hierons, RM; Harman, M; Singh, H; (2003) Automatically generating information from a Z specification to support the classification tree method. In: Bert, D and Bowen, JP and King, S and Walden, M, (eds.) ZB 2003: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B. (pp. 388 - 407). SPRINGER-VERLAG BERLIN

Hunter, A; (2003) Evaluating significance of inconsistencies. In: (pp. pp. 468-473).

Hunter, A; (2003) Probable consistency checking for sets of propositional clauses. In: Nielsen, TD and Zhang, NL, (eds.) SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDING. (pp. 464 - 476). SPRINGER-VERLAG BERLIN

Hunter, A; Summerton, R; (2003) Propositional fusion rules. In: Nielsen, TD and Zhang, NL, (eds.) SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDING. (pp. 502 - 514). SPRINGER-VERLAG BERLIN

Izadi, S; Brignull, H; Rodden, T; Rogers, Y; Underwood, M; (2003) Dynamo: a public interactive surface supporting the cooperative sharing and exchange of media. In: UIST. (pp. 159 - 168). ACM

Julier, SJ; (2003) The Spherical Simplex Unscented Transformation. In: (pp. pp. 2430-2434).

Julier, SJ; Uhlmann, JK; (2003) Using Multiple SLAM Algorithms. In: (pp. pp. 200-205).

Kim, J; De, S; Srinivasan, MA; (2003) A hybrid modeling scheme for soft tissue simulation in virtual reality based medical trainers. In: Bathe, KJ, (ed.) COMPUTATIONAL FLUID AND SOLID MECHANICS 2003, VOLS 1 AND 2, PROCEEDINGS. (pp. 1742 - 1745). ELSEVIER SCIENCE BV

Kim, J; De, S; Srinivasan, MA; (2003) Physically based hybrid approach in real time surgical simulation with force feedback. In: Westwood, JD and Hoffman, HM and Mogel, GT and Phillips, R and Robb, RA and Stredney, D, (eds.) (Proceedings) 11th Annual Medicine Meets Virtual Reality Conference. (pp. pp. 158-164). I O S PRESS

Kim, J; Kolmogorov, V; Zabih, R; (2003) Visual correspondence using energy minimization and mutual information. In: NINTH IEEE INTERNATIONAL CONFERENCE ON COMPUTER VISION, VOLS I AND II, PROCEEDINGS. (pp. 1033 - 1040). IEEE COMPUTER SOC

Kolmogorov, V; Zabih, R; Gortler, S; (2003) Generalized multi-camera scene reconstruction using graph cuts. In: Rangarajan, A and Figueiredo, M and Zerubia, J, (eds.) ENERGY MINIMIZATION METHODS IN COMPUTER VISION AND PATTERN RECOGNITION, PROCEEDINGS. (pp. 501 - 516). SPRINGER-VERLAG BERLIN

Kostkova, P; McCann, J; (2003) Support for mobile location-aware applications in MAGNET. In: (pp. pp. 280-294).

Krinke, J; (2003) Barrier slicing and chopping. In: THIRD IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION - PROCEEDINGS. (pp. 81 - 87). IEEE COMPUTER SOC

Krinke, J; (2003) Context-Sensitive Slicing of Concurrent Programs. In: (pp. pp. 178-187).

Kumar, S; Bentley, PJ; (2003) Biologically inspired evolutionary development. In: (pp. pp. 57-68).

Lahiri, SK; Bryant, RE; Cook, B; (2003) A Symbolic Approach to Predicate Abstraction. In: Jr, WAH and Somenzi, F, (eds.) (pp. pp. 141-153). Springer

Langdon, WB; Barrett, SJ; Buxton, BF; (2003) Comparison of AdaBoost and genetic programming for combining neural networks for drug discovery. In: Raidl, G and Cagnoni, S and Cardalda, JJR and Corne, DW and Gottlieb, J and Guillot, A and Hart, E and Johnson, CG and Marchiori, E and Meyer, JA and Middendorf, M, (eds.) APPLICATIONS OF EVOLUTIONARY COMPUTING. (pp. 87 - 98). SPRINGER-VERLAG BERLIN

Leskovec, J; Shawe-Taylor, J; (2003) Linear Programming Boosting for Uneven Datasets. In: Fawcett, T and Mishra, N, (eds.) ICML. (pp. 456 - 463). AAAI Press

Livingston, MA; Swan, JE; Gabbard, JL; Hollerer, TH; Hix, D; Julier, SJ; Baillot, Y; (2003) Resolving multiple occluded layers in augmented reality. In: (pp. pp. 56-65).

Long, J; Colbert, M; Dowell, J; (2003) Work domain models for cognitive ergonomics: an illustration from military command and control. In: McCabe, PT, (ed.) Contemporary Ergonomics 2003. (pp. 513 - 518). Taylor and Francis: London, UK. Green open access
file

Madle, G; Kostkova, P; Mani-Saada, J; Weinberg, JR; (2003) Evaluating the changes in knowledge and attitudes of digital library users. In: (pp. pp. 29-40).

Mahdavi, K; Harman, M; Hierons, R; (2003) Finding building blocks for software clustering. In: CantuPaz, E and Foster, JA and Deb, K and Davis, LD and Roy, R and OReilly, UM and Beyer, HG and Standish, R and Kendall, G and Wilson, S and Hartman, M and Wegener, J and Dasgupta, D and Potter, MA and Schultz, AC and Dowsland, KA and Jonoska, N and Miller, J, (eds.) GENETIC AND EVOLUTIONARY COMPUTATION - GECCO 2003, PT II, PROCEEDINGS. (pp. 2513 - 2514). SPRINGER-VERLAG BERLIN

Mahdavi, K; Harman, M; Hierons, RM; (2003) A multiple hill climbing approach to software module clustering. In: INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS. (pp. 315 - 324). IEEE COMPUTER SOC

Marshall, P; Price, S; Rogers, Y; (2003) Conceptualising tangibles to support learning. In: (pp. pp. 101-110). ACM Press

Mostéfaoui, GK; (2003) Security in Pervasive Environments, What's Next? In: Arabnia, HR and Mun, Y, (eds.) Security and Management. (pp. 93 - 98). CSREA Press

Mostéfaoui, GK; Brézillon, P; (2003) A Generic Framework for Context-Based Distributed Authorizations. In: Blackburn, P and Ghidini, C and Turner, RM and Giunchiglia, F, (eds.) CONTEXT. (pp. 204 - 217). Springer

Mostéfaoui, GK; Pasquier-Rocha, J; (2003) Deterministic Context-Based Security Policies: An Object-Oriented Approach. In: Dosch, W and Lee, RY, (eds.) SNPD. (pp. 160 - 165). ACIS

Nentwich, C; Emmerich, W; Finkelstein, A; (2003) Consistency management with repair actions. In: 25TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS. (pp. 455 - 464). IEEE COMPUTER SOC

Nentwich, C; Emmerich, W; Finkelstein, ACW; (2003) Consistency management with repair actions. In: (Proceedings) 25th International Conference on Software Engineering(ICSE'03). (pp. pp. 455-464). IEEE Computer Society: Washington, D.C., USA.

Oliveira, M; Crowcroft, J; Slater, M; (2003) An innovative design approach to build Virtual Environment systems. In: (pp. pp. 143-151).

Oliveira, M; Slater, M; Crowcroft, J; (2003) How to build virtual environment systems with component frameworks. In: Kunii, TL and Soon, SH and Sourin, A, (eds.) (Proceedings) International Conference on Cyberworlds (CW 2003). (pp. pp. 181-188). IEEE COMPUTER SOC

Pagtzis, T; Williams, C; Perkins, C; Kirstein, P; (2003) Requirements for localised IP mobility management. In: (pp. pp. 1979-1986).

Parker, GJM; Alexander, DC; (2003) Probabilistic Monte Carlo based mapping of cerebral connections utilising whole-brain crossing fibre information. In: Taylor, C and Noble, JA, (eds.) INFORMATION PROCESSING IN MEDICAL IMAGING, PROCEEDINGS. (pp. 684 - 695). SPRINGER-VERLAG BERLIN

Pfister, J-P; Barber, D; Gerstner, W; (2003) Optimal Hebbian Learning: A Probabilistic Point of View. In: Kaynak, O and Alpaydin, E and Oja, E and Xu, L, (eds.) ICANN. (pp. 92 - 98). Springer

Price, S; Rogers, Y; Stanton, D; Smith, H; (2003) A new conceptual framework for CSCL: Supporting diverse forms of reflection through multiple interactions. In: (Proceedings) Bergen, Norway. (pp. pp. 513-522). Kluwer Academic Publishers

Quick, T; Nehaniv, CL; Dautenhahn, K; Roberts, G; (2003) Evolving embodied genetic regulatory network-driven control systems. In: (pp. pp. 266-277).

Randell, C; Phelps, T; Rogers, Y; (2003) Ambient Wood: Demonstration of a digitally enhanced field trip for school children. In: (Proceedings) Adjunct Proc. UbiComp 2003. (pp. 100 - 104).

Riegelsberger, J; Sasse, MA; McCarthy, JD; (2003) Eye-catcher or blind spot? The effect of photographs of faces on e-commerce sites. In: Monteiro, JL and Swatman, PMC and Tavares, LV, (eds.) Towards the Knowledge Society: eCommerce, eBusiness and eGovernment The Second IFIP Conference on E-Commerce, E-Business, E-Government (I3E 2002). (pp. 383 - 398). Springer

Roberts, D; Wolff, R; Otto, O; Steed, A; (2003) Constructing a gazebo: Supporting teamwork in a tightly coupled, distributed task in virtual reality. In: PRESENCE-TELEOP VIRT. (pp. 644 - 657). M I T PRESS

Rodden, T; Rogers, Y; Halloran, J; Taylor, I; (2003) Designing novel interactional workspaces to support face to face consultations. In: Cockton, G and Korhonen, P, (eds.) CHI. (pp. 57 - 64). ACM

Rogers, Y; Brignull, H; (2003) Computational offloading: Supporting distributed team working through visually augmenting verbal communication. In: Proc. of Cognitive Science Society Conference.

Serjantov, A; Danezis, G; (2003) Towards an information theoretic metric for anonymity. In: (pp. pp. 41-53).

Smith, H; Rogers, Y; Brady, M; (2003) Managing one's Social Network: Does Age Make a Difference? In: Rauterberg, M and Menozzi, M and Wesson, J, (eds.) INTERACT. IOS Press

Smith, H; Rogers, Y; Underwood, M; (2003) Managing personal and work email in the same box: Overcoming the tensions through new metaphors. In: Proceedings of HOIT 2003.

Steed, A; Alexander, D; Cook, P; Parker, C; (2003) Visualizing diffusion-weighted MRI data using collaborative virtual environment and grid technologies. In: (pp. pp. 156-161).

Steed, A; Spante, M; Heldal, I; Axelsson, A-S; Schroeder, R; (2003) Strangers and friends in caves: an exploratory study of collaboration in networked IPT systems for extended periods of time. In: Zyda, M and Capps, MV and Pausch, RF and Bishop, G, (eds.) SI3D. (pp. 51 - 54). ACM

Stoyanov, D; ElHelw, M; Lo, BP; Chung, A; Bello, F; Yang, GZ; (2003) Current issues of photorealistic rendering for virtual and augmented reality in minimally invasive surgery. In: Titsworth, F and Banissi, E and Borner, K and Chen, C and Clapworthy, G and Maple, C and Lobben, A and Moore, C and Roberts, J and Ursyn, A and Zhang, J, (eds.) SEVENTH INTERNATIONAL CONFERENCE ON INFORMATION VISUALIZATION, PROCEEDINGS. (pp. 350 - 358). IEEE COMPUTER SOC

Ujjin, S; Bentley, PJ; (2003) Particle swarm optimization recommender system. In: (Proceedings) IEEE Swarm Intelligence Symposium. (pp. pp. 124-131). IEEE

Van Le, T; Desmedt, Y; (2003) Cryptanalysis of UCLA watermarking schemes for intellectual property protection. In: Petitcolas, FAP, (ed.) INFORMATION HIDING. (pp. 213 - 225). SPRINGER-VERLAG BERLIN

Varakliotis, S; Hailes, S; Ostermann, J; (2003) Optimally smooth error resilient streaming of 3-D wireframe animation's. In: Ebrahimi, T and Sikora, T, (eds.) VISUAL COMMUNICATIONS AND IMAGE PROCESSING 2003, PTS 1-3. (pp. 1009 - 1022). SPIE-INT SOC OPTICAL ENGINEERING

Wang, J; Yan, WQ; Kankanhalli, MS; Jain, R; Reinders, MJT; (2003) Adaptive monitoring for video surveillance. In: (pp. pp. 1139-1143).

Wong, BLW; Blandford, A; (2003) Field research in HCI: A case study. In: (pp. pp. 69-74).

Yan, WQ; Kankanhalli, MS; Wang, J; Reinders, MJT; (2003) Experiential sampling for monitoring. In: (pp. pp. 70-72).

Yasin, I; Plack, CJ; (2003) The Effects of a High-Frequency Suppressor on Derived Basilar Membrane Response Functions. In: (Proceedings) Association for Research in Otolaryngology.

Zhang, XY; Xie, XR; Munro, M; Harman, M; Hu, L; (2003) Formal verification of communication protocol using type theory. In: 2003 INTERNATIONAL CONFERENCE ON COMMUNICATION TECHNOLOGY, VOL 1 AND 2, PROCEEDINGS. (pp. 1585 - 1593). BEIJING UNIV POSTS TELECOMMUNICAT PRESS

Zhou, S; Mondragón, RJ; (2003) Analyzing and modelling the AS-level Internet topology. In:

Zhou, S; Mondragón, RJ; (2003) Towards Modelling The Internet Topology - The Interactive Growth Model. In:

Zhou, S; Mondragón, RJ; (2003) The missing links in the BGP-based AS connectivity maps. In:

Report

Ackemann, T; Mascolo, C; Emmerich, W; (2003) Lightweight Incentives in Peer-to-Peer Networks. UCL-CS

Brafman, R; Friedman, D; (2003) Adaptive Synchronized Rich Media Presentations.

Clack, C; (2003) Memory Management for Small Embedded Devices. (IFIP WG2.8 Meeting, Crans, Montana ).

Clack, C; (2003) Smart Memory for Smart Phones. (Presented at UK MM-NET Workshop on Memory Management for Handheld Devices, UCL, London December ).

Clack, C; Yu, T; (2003) Functional Genetic Programming. (IFIP WG2.8 Meeting, Crans, Montana ).

Clark, D; Hunt, S; Malacaria, P; (2003) Quantified Interference for a While Language.

Corney, DPA; Buxton, BF; Langdon, WB; Charlwood, J; Woolard, PM; Jones, DT; (2003) Extracting Biological Information from Full-length Papers. (Computer Science, University College London RN/03/ ).

Dias, MB; Buxton, B; (2003) Exploring the Possibility of Estimating Bas-Relief angles, Illumination Direction and Surface Texture from Multiple Images. (University College London (UCL), Department of Computer Science RN/03/ ).

Dias, MB; Buxton, BF; (2003) Advances in Integrated Shape and Pose Modelling. (University College London (UCL), Department of Computer Science RN03/1 ).

Ghahramani, Z; Kim, HC; (2003) Bayesian Classifier Combination. Gatsby Computational Neuroscience Unit: London, UK.

Ghahramani, Z; Murray, I; Kim, HC; (2003) Bayesian Learning in Undirected Graphical Models. Gatsby Computational Neuroscience Unit: London, UK.

Gillies, M; Ballin, D; (2003) A model of interpersonal attitude and posture generation. SPRINGER-VERLAG BERLIN

Hunter, A; Summerton, R; (2003) News Fusion Systems: Logic-based Merging of Heterogeneous, News Reports.

Langdon, WB; (2003) Comparison of DNAchip and Computer Vision Data. (Computer Science, University College London RN/03/ ).

Ratsaby, J; (2003) A Generalization of Sauer's Lemma to Classes of Large-Margin Functions. (University College London (UCL, Department of Computer Science) RN/03/ ).

Ratsaby, J; (2003) On the Complexity of Good Samples for Learning. (University College London (UCL), Department of Computer Science RN-03- ).

Rogers, Y; Scaife, M; Aldrich, F; Price, S; (2003) Improving children's understanding of formalisms through interacting with multimedia. (CSRP Technical Report 559 ). University of Sussex

Wang, J; Reinders, M; (2003) Music Recommender System for Wi-Fi Walkman.

Zachariadis, S; Mascolo, C; Emmerich, W; (2003) Self-organizing Mobile Systems: Use of Logical Mobility Primitives in Mobile Computing. UCL-CS

Zhu, X; Lafferty, J; Ghahramani, Z; (2003) Semi-Supervised Learning: From Gaussian Fields to Gaussian Processes. Carnegie Mellon University: USA.

Conference item

(2003) Genetic and Evolutionary Computation - GECCO 2003, Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003. Proceedings, Part I. Presented at: UNSPECIFIED.

(2003) Genetic and Evolutionary Computation - GECCO 2003, Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003. Proceedings, Part II. Presented at: UNSPECIFIED.

Achanta, R; Wang, J; Kankanhalli, MS; (2003) A Sensor fusion based object tracker for compressed video. Presented at: International Workshop on Advanced Imaging Technology.

Adams, A; Blandford, A; (2003) An outreach librarian project's impact upon successful digital library uptake. Presented at: Proc. Workshop on Healthcare Digital Libraries. Green open access
file

Akkar, M-L; Courtois, N; Duteuil, R; Goubin, L; (2003) A Fast and Secure Implementation of Sflash. Presented at: UNSPECIFIED.

Bahsoon, R; Emmerich, W; (2003) ArchOptions: A Real Options-Based Model for Predicting the Stability of Software Architectures. Presented at: The ICSE 2003 Workshop on Economics-Driven Software Engineering Research. Green open access
file

Bahsoon, R; Emmerich, W; (2003) Evaluating Software Architectures: Development Stability and Evolution. Presented at: UNSPECIFIED. Green open access
file

Bahsoon, R; Emmerich, W; (2003) Evaluating software architectures for stability: a real options approach. Presented at: 25th International Conference on Software Engineering, Doctoral Symposium. Green open access
file

Barber, D; (2003) Learning in Spiking Neural Assemblies. Presented at: UNSPECIFIED.

Barber, D; Agakov, FV; (2003) The IM Algorithm: A Variational Approach to Information Maximization. Presented at: UNSPECIFIED.

Basanta, D; Bentley, PJ; Miodownik, MA; Holm, EA; (2003) Evolving Cellular Automata to Grow Microstructures. Presented at: UNSPECIFIED.

Beeharee, AK; West, AJ; Hubbold, RJ; (2003) Visual attention based information culling for Distributed Virtual Environments. Presented at: UNSPECIFIED.

Behraven, R; Bentley, PJ; (2003) Exploring Reaction-Diffusion and Pattern Formation. Presented at: Proc. of the 1st Australian Conference on Artificial Life (ACAL 2003).

Bentley, K; Cox, E; Bentley, PJ; (2003) Nature's Batik: A Computer Evolution Model Diatom Valve Morphogenesis. Presented at: Proc. in the 17th North American Diatom Symposium.

Bentley, PJ; (2003) An Investigation of the Effects of Long Term Evolution on Fractal Gene Regulatory Networks. Presented at: Proc. of Information Processing in Cells and Tissues (IPCAT 2003).

Bentley, PJ; (2003) The Meaning of Code. Presented at: Article Accompanying Speech and Debate at the Festival ARS Electronica.

Bentley, PJ; (2003) Natural Design by Computer. Presented at: UNSPECIFIED.

Bhatti, SN; Kirstein, P; Clarke, P; Chown, T; Hutchison, D; (2003) IPv6 - Good for Grid: a position statement from a technical viewpoint. Presented at: Proc. of the 6NET Open Workshop.

Bhatti, SN; Sorensen, SA; Clarke, P; Crowcroft, J; (2003) Decentralised QoS reservations for protected network capacity. Presented at: Proc of the TERENA Networking Conference 2003.

Binkley, D; Harman, M; (2003) Results from a Large-Scale Study of Performance Optimization Techniques for Source Code Analyses Based on Graph Reachability Algorithms. Presented at: UNSPECIFIED.

Bissell, MJ; Mian, IS; Radisky, D; Turley, E; (2003) Tissue specificity: Structural cues allow diverse phenotypes from a constant genotype. Presented at: UNSPECIFIED.

Blandford, A; Connell, I; (2003) Ontological Sketch Modelling (OSM): Concept-based Usability Analysis. Presented at: UNSPECIFIED.

Blandford, A; Fields, B; Keith, S; (2003) Tutorial at JCDL 2003. Presented at: Evaluating Usability for Digital Libraries.

Blandford, A; Thimbleby, H; (2003) Understanding Interaction Traps. Presented at: Proc. HCI.

Blyth, R; Cook, PA; Alexander, DC; (2003) Tractography with multiple fibre directions. Presented at: ISMRM 11th Scientific Meeting and Exhibition.

Breu, S; Krinke, J; (2003) Aspect Mining Using Dynamic Analysis. Presented at: UNSPECIFIED.

Brogni, A; Slater, M; Steed, A; (2003) More Breaks Less Presence. Presented at: Presence 2003, The 6th Annual International Workshop on Presence.

Brostoff, S; Sasse, MA; (2003) “Ten strikes and you're out”: Increasing the number of login attempts can improve password usability. Presented at: CHI 2003 Workshop on Human-Computer Interaction and Security Systems, Fort Lauderdale, Florida. Green open access
file

Butchart, B; Chapman, C; Emmerich, W; (2003) OGSA first impressions: a case study re-engineering a scientific applicationwith the open grid services architecture. Presented at: UK E-Science All Hands Meeting, Nottingham. Green open access
file

Butchart, B; Chapman, C; Emmerich, W; (2003) OGSA First Impressions: A Case Study using the Open Grid Service Architecture. Presented at: UNSPECIFIED.

Butchart, B; Chapman, C; Emmerich, W; (2003) OGSA First Impressions: A Case Study using the Open Grid Service Architecture. Presented at: Proceedings of the UK E-Science All Hands Meeting, Nottingham.

Buxton, B; Dias, MB; (2003) UNSPECIFIED Presented at: View Invariant, Image-Based Linear Flexible Shape Modelling.

Buxton, BF; Dias, MB; (2003) The Principles of View Invariant, Image-Based Linear Flexible Shape Modelling. Presented at: UNSPECIFIED.

Cook, PA; Alexander, DC; (2003) Inter-subject comparison of brain connectivity using diffusion tensor magnetic resonance imaging. Presented at: Medical Image Understanding and Analysis (MIUA).

Coulon, OP; Alexander, DC; Arridge, SR; (2003) Regularisation d'images de tenseurs de diffusion par resonance magnetique. Presented at: Reconnaissance des formes et intelligence artificielle.

Courtois, N; (2003) Fast Algebraic Attacks on Stream Ciphers with Linear Feedback. Presented at: UNSPECIFIED.

Courtois, N; (2003) Generic Attacks and the Security of Quartz. Presented at: UNSPECIFIED.

Courtois, N; Daum, M; Felke, P; (2003) On the Security of HFE, HFEv- and Quartz. Presented at: UNSPECIFIED.

Courtois, N; Meier, W; (2003) Algebraic Attacks on Stream Ciphers with Linear Feedback. Presented at: Advances in Cryptology - EUROCRYPT 2003, International Conference on the Theory and Applications of Cryptographic Techniques.

Courtois, N; Patarin, J; (2003) About the XL Algorithm over GF(2). Presented at: UNSPECIFIED.

Curran, KM; Alexander, DC; (2003) Orientation matching for registration of diffusion tensor images. Presented at: SPIE: Medical Imaging.

Damgård, I; Groth, J; (2003) Non-interactive and reusable non-malleable commitment schemes. Presented at: UNSPECIFIED.

Dettori, A; Avizzano, CA; Marcheschi, S; Angerilli, M; Bergamasco, M; Loscos, C; Guerraz, A; (2003) Art touch with CREATE haptic Interface. Presented at: ICAR 2003, International Conference on Advanced Robotics.

Dias, MB; Buxton, BF; (2003) Estimating Bas-Relief angles, Illumination Direction and Surface Texture. Presented at: UNSPECIFIED.

Dias, MB; Buxton, BF; (2003) Enforcing a shape correspondence between two views of a 3D non-rigid object. Presented at: 8th Iberoamerican Congress on Pattern Recognition, HAVANA, CUBA.

Doërr, G; Dugelay, J-L; (2003) New Intra-Video Collusion Attack Using Mosaicing. Presented at: UNSPECIFIED.

Doërr, GJ; Dugelay, J-L; (2003) Secure Video Watermarking via Embedding Strength Modulation. Presented at: UNSPECIFIED.

Duda, J; Rivera, M; Alexander, DC; Gee, JC; (2003) Optical flow based method for non-rigid registration of diffusion tensor magnetic resonance images. Presented at: SPIE: Medical Imaging.

Dui, D; Emmerich, W; Nentwich, C; Thal, B; (2003) Consistency Checking of Financial Derivative Transactions. Presented at: Objects, Components, Architectures, Services and Applications for a Networked World.

Friedman, D; (2003) UNSPECIFIED Presented at: 'Automating Spielberg'. In EVA Symposium, London.

Friedman, D; Feldman, Y; (2003) Knowledge-Based Formalization of Cinematic Expression. Presented at: Proceedings of the Italian-Israeli Computer Science Forum on Research and Applications of Artificial Intelligence.

Galani, A; Chalmers, M; Brown, B; MacColl, I; Randell, C; Steed, A; (2003) Developing a Mixed Reality Co-Visiting Experience for Local and Remote Museum Companions. Presented at: UNSPECIFIED.

Garzotto, F; Perrone, V; (2003) Integrating User Operations in Multichannel Hypermedia. Presented at: UNSPECIFIED.

Gold, N; Mohan, A; (2003) A Framework for Understanding Conceptual Changes in Evolving Source Code. Presented at: UNSPECIFIED.

Guerraz, A; Loscos, C; Ritter-Widenfeld, H; (2003) How to use physical parameters coming from the haptic device itself to enhance the evaluation of haptic benefits in user interface? Presented at: UNSPECIFIED.

Hardoon, D; Shawe-Taylor, J; (2003) KCCA for different level precision in content-based image retrieval. Presented at: Third International Workshop on Content-Based Multimedia Indexing.

Hardoon, D; Shawe-Taylor, J; (2003) Signal Extraction for Brain-Computer Interface. Presented at: NIPS 2003 Workshop on 'Machine Learning Meets the User Interface'.

Hu, E; Kwon, J; Wellings, A; (2003) XRTJ: An Extensible Distributed High-Integrity Real-Time Java Environment. Presented at: The 9th International Conference on Real-Time and Embedded Computing Systems and Applications (RTCSA), National Cheng-Kung University, Tainan City, Taiwan (R.O.C.).

Hull, B; Jamieson, K; Balakrishnan, H; (2003) Bandwidth management in wireless sensor networks. Presented at: UNSPECIFIED.

Hunter, A; Summerton, R; (2003) UNSPECIFIED Presented at: Proposition Fusion Rules.

Hutton, TJ; Buxton, BF; Hammond, P; (2003) Automated registration of 3D faces using dense surface models. Presented at: UNSPECIFIED.

Hutton, TJ; Buxton, BF; Hammond, P; (2003) Automated registration of 3D faces using dense surface models. Presented at: Proceedings of the British Machine Vision Conference, Norwich.

Jansons, KM; Alexander, DC; (2003) Persistent angular structure: new insights from diffusion MRI data. Presented at: Information processing in medical imaging.

Jin, R; Ghahramani, Z; (2003) Learning with Multiple Labels. Presented at: UNSPECIFIED.

Julier, SJ; (2003) The Stability of Covariance Inflation Methods for SLAM. Presented at: UNSPECIFIED.

Kartsounis, G; Douros, I; Treleaven, PC; (2003) BodyXML - An XML-based High Level Representation Framework of Human Bodies. Presented at: Proceedings 3D Modelling 2003.

Kautz, J; Lensch, HPA; Goesele, M; Lang, J; Seidel, H-P; (2003) Modeling the world: the virtualization pipeline. Presented at: UNSPECIFIED.

Kim, HK; Rattner, DW; Srinivasan, MA; (2003) The role of simulation fidelity in laparoscopic surgical training. Presented at: 6th International Conference on Medical Imaging Computing and Computer-Assisted Intervention, MONTREAL, CANADA.

Kim, J; De, S; Srinivasan, MA; (2003) An integral equation based multiresolution modeling scheme for multimodal medical simulations. Presented at: 11th International Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems, LOS ANGELES, CA.

Kim, J; Tay, BK; Stylopoulos, N; Rattner, DW; Srinivasan, MA; (2003) Characterization of intra-abdominal tissues from in vivo animal experiments for surgical simulation. Presented at: 6th International Conference on Medical Imaging Computing and Computer-Assisted Intervention, MONTREAL, CANADA.

Kirstein, PT; (2003) 25 years of UK Collaborative Computer Networks. Presented at: Proc. Multi-Service Networks 2003.

Kirstein, PT; (2003) 30 Years of International Networks, Lessons of the past, visions of the future. Presented at: Proc. Cisco Public Services Summit @ Nobel Week 2003.

Kirstein, PT; (2003) The Silk Project. Presented at: TERENA Networking Conference, TNC2003.

Kirstein, PT; (2003) Internet Extension to S. Caucasus and Central Asia - the 'SILK' Project. Presented at: UNSPECIFIED.

Kirstein, PT; Hasler, K; Carlberg, K; O'Hanlon, P; (2003) Media Transmission Over Coupled Wired/Wireless Networks Using Application Level Active IPv6 Networks. Presented at: Sixth International Symposium on Communications Networking, Perth, Australia.

Kumar, S; Bentley, PJ; (2003) Biology Plausible Evolutionary Development. Presented at: Proc. of ICES '03, the 5th International Conference on Evolvable Systems @ From Biology to Hardware.

Kumar, S; Bentley, PJ; (2003) Mechanisms of Oriental Cell Division in Computational Development. Presented at: Proc. of the 1st Australian Conference on Artificial Life (ACAL 2003).

Kwon, J; Wellings, AJ; King, S; (2003) Predictable Memory Utilization in the Ravenscar-Java Profile. Presented at: UNSPECIFIED.

Lamanna, DD; Skene, J; Emmerich, W; (2003) SLAng: A Language for Service Level Agreements. Presented at: Proc. of the 9th IEEE Workshop on Future Trends in Distributed Computing Systems. Green open access
file

Langdon, WB; (2003) Convergence of Program Fitness Landscapes. Presented at: UNSPECIFIED.

Langdon, WB; (2003) How many Good Programs are there? How Long are they? Presented at: UNSPECIFIED.

Langdon, WB; Barrett, SJ; Buxton, B; (2003) Comparison of AdaBoost and Genetic Programming for combining Neural Networks for Drug Discovery. Presented at: Proceedings of EvoBIO'2003.

Langdon, WB; Barrett, SJ; Buxton, BF; (2003) Predicting Biochemical Interactions - Human P450 2D6 Enzyme Inhibition. Presented at: UNSPECIFIED.

Langford, J; Shawe-Taylor, J; (2003) UNSPECIFIED Presented at: PAC Bayes and Margins.

Lehtinen, J; Kautz, J; (2003) Matrix radiance transfer. Presented at: UNSPECIFIED.

Lensch, HPA; Kautz, J; Goesele, M; Lang, J; Seidel, H-P; (2003) Virtualizing Real-World Objects. Presented at: UNSPECIFIED.

Leskovec, J; Shawe-Taylor, J; (2003) UNSPECIFIED Presented at: Linear Programming Boosting for Uneven Datasets.

Lloyd, P; Valkenburg, R; McDonnell, JT; (2003) The Truth About Designing: Conclusions from the Video Assisted Learning in Design (VALiD) Project. Presented at: UNSPECIFIED.

Loscos, C; Marchal, D; Meyer, A; (2003) Intuitive Crowd Behaviour in Dense Urban Environments using Local Laws. Presented at: UNSPECIFIED.

Loscos, C; Ritter-Widenfeld, H; Roussou, M; Meyer, A; Tecchia, F; Drettakis, G; Gallo, E; (2003) The CREATE Project: Mixed Reality for Design, Education, and Cultural Heritage with a Constructivist Approach. Presented at: ISMAR 03, The 2nd IEEE and ACM International Symposium on Mixed and Augmented Reality, The National Center of Sciences.

Madhwacharyalu, C; Jun, W; Weiqi, Y; Yi, J; Radhakrishna, ASV; Bissol, S; Yu, JC; (2003) Information-integration approach to designing digital video albums. Presented at: UNSPECIFIED.

Mahdavi, H; Bentley, PJ; (2003) Evolving Noise Tolerent Antenna Configurations Using Shape Memory Alloys. Presented at: Proc. of the 2nd International Conference on Computational Intelligence, Robotics and Autonomous Systems (CIRAS 2003).

Mahdavi, SH; Bentley, PJ; (2003) An evolutionary approach to damage recovery of robot motion with muscles. Presented at: 7th European Conference on Artificial Life, DORTMUND, GERMANY.

Mahdavi, SH; Bentley, PJ; (2003) Evolving Motion of Robots with Muscles. Presented at: UNSPECIFIED.

McDonnell, J; Lloyd, P; Valkenburg, R; (2003) Encouraging the Development of Design Expertise through the Construction of Video Stories about the Design Process. Presented at: UNSPECIFIED.

Menchetti, S; Costa, F; Frasconi, P; Pontil, M; (2003) Comparing Convolution Kernels and Recursive Neural Networks for Learning Preferences on Structured Data. Presented at: UNSPECIFIED.

Mertens, T; Kautz, J; Bekaert, P; Reeth, FV; Seidel, H-P; (2003) Efficient Rendering of Local Subsurface Scattering. Presented at: UNSPECIFIED.

Mertens, T; Kautz, J; Bekaert, P; Seidel, H-P; Reeth, FV; (2003) Interactive Rendering of Translucent Deformable Objects. Presented at: UNSPECIFIED.

Meyer, A; Loscos, C; (2003) Real-time reflection on moving vehicles in urban environments. Presented at: UNSPECIFIED.

Miller, ML; Doërr, GJ; Cox, IJ; (2003) Informed Embedding for Multi-Bit Watermarks. Presented at: UNSPECIFIED.

Minocha, S; Dawson, L; Blandford, A; Roberts, D; (2003) The Customer's Perspective Sociological Accounts of E-Commerce Encounters. Presented at: UNSPECIFIED.

Monthienvichienchai, R; Sasse, MA; (2003) Learning from Others' Mistakes Through Computer Supported Vicarious Learning. Presented at: UNSPECIFIED.

Oliveira, M; Crowcroft, J; Slater, M; (2003) Perceptual Network Metaphors: In the End, Users are the End. Presented at: ACM Sigcomm 03'.

Oliveira, M; Crowcroft, J; Slater, M; (2003) An innovative design approach to build virtual environment systems. Presented at: UNSPECIFIED.

Oliveira, M; Mortensen, J; Jordan, J; Steed, A; Slater, M; (2003) Considerations in the Design of Virtual Environment Systems: A Case Study. Presented at: Proc. of the 2nd International Conference on Application and Development of Computer Games.

Oliveira, M; Slater, M; Crowcroft, J; (2003) Making the network visible to the user in virtual environments and online games. Presented at: UNSPECIFIED.

Pagtzis, T; Hailes, S; Kirstein, P; (2003) The Case of Proactive Mobile IPv6. Presented at: Proc. of the 28th Annual IEEE Conference on Local Computer Networks (LCN).

Pan, R; Prabhakar, B; Psounis, K; Wischik, D; (2003) SHRiNK: A method for scaleable performance prediction and efficient network simulation. Presented at: UNSPECIFIED.

Parker, GJM; Alexander, DC; (2003) Probabilistic Monte-Carlo based mapping of cerebral connections utilising crossing fibre information. Presented at: UNSPECIFIED.

Pontil, M; (2003) Reproducing kernels and regularization methods in machine learning. Presented at: UNSPECIFIED.

Pontil, M; (2003) An introduction to learning with reproducing kernel Hilbert spaces. Presented at: UNSPECIFIED.

Rasmussen, CE; Ghahramani, Z; (2003) Baysian Monte Carlo. Presented at: UNSPECIFIED.

Ratsaby, J; (2003) A Stochastic Gradient Descent Algorithm for Structure Risk Minimisation. Presented at: UNSPECIFIED.

Rodrigues, GN; Roberts, G; Emmerich, W; Skene, J; (2003) Reliability Support for the Model Driven Architecture. Presented at: Proceedings of the Workshop on Software Architecture for Dependable Systems (ICSE/WADS' 2003).

Roussou, M; Drettakis, G; (2003) Photorealism and Non-Photorealism in Virtual Heritage Representation. Presented at: UNSPECIFIED.

Salakhutdinov, R; Roweis, S; Ghahramani, Z; (2003) Optimization with EM and Expectation-Conjugate-Gradient. Presented at: UNSPECIFIED.

Salakhutdinov, R; Roweis, S; Ghahramani, Z; (2003) On the Convergence of Bound Optimization Algorithms. Presented at: UNSPECIFIED.

Santana, SC; de Souza, AF; Rounce, PA; (2003) A Comparative Analysis Between EPIC Statistic Instruction Scheduling and DTSVLIW Dynamic Instruction Scheduling. Presented at: ICS 03 Workshop on Exploring the Trace Space for Dynamic Optimization Techniques, International Conference on Supercomputing.

Sasse, MA; (2003) Computer Security: Anatomy of a Usability Disaster, and a Plan for Recovery. Presented at: Proceedings of 2003 Workshop on Human-Computer Interaction and Security Systems at CHI 2003, Ft. Lauderdale, FL, USA. Green open access
file

Saunders, C; Shawe-Taylor, J; Vinokourov, A; (2003) UNSPECIFIED Presented at: String Kernels, Fisher Kernels and Finite State Automata.

Shenker, S; Ratnasamy, S; Karp, B; Govindan, R; Estrin, D; (2003) Data-Centric Storage in Sensornets. Presented at: HotNets 2002.

Skene, J; Emmerich, W; (2003) A model-driven approach to non-functional analysis of software architectures. Presented at: UNSPECIFIED. Green open access
file

Slater, M; Brogni, A; Steed, A; (2003) Physiological Responses to Breaks in Presence: A Pilot Study. Presented at: Presence 2003, The 6th Annual International Workshop on Presence.

Spanlang, B; Vassilev, T; Buxton, BF; (2003) Virtual Try-on in a Department Store. Presented at: Eurasia Tex.

Spante, M; Heldal, I; Steed, A; Axelsson, AS; Schroeder, R; (2003) Strangers and Friends in Networked Immersive Environments: Virtual Spaces for Future Living. Presented at: HOIT 2003: The Networked Home and the Home of the Future.

Steed, A; Abou-Haidar, R; (2003) Partitioning crowded virtual environments. Presented at: UNSPECIFIED.

Steed, A; McDonnell, J; (2003) Experiences with Repertory Grid Analysis for Investigating Effectiveness of Virtual Environments. Presented at: UNSPECIFIED.

Steed, A; Spante, M; Heldal, I; Axelsson, A-S; Schroeder, R; (2003) Strangers and Friends in Caves: An Exploratory Study of Collaboration in Networked IPT Systems for Extended Periods of Time. Presented at: UNSPECIFIED.

Stumpf, S; McDonnell, JT; (2003) Using repertory grids to test data quality and experts' hunches. Presented at: UNSPECIFIED.

Stumpf, S; McDonnell, JT; (2003) Data, Information and Knowledge Quality in Retail Security Decision Making. Presented at: Proc. of the 3rd International Conference on Knowledge Management (I-KNOW'03).

Störzer, M; Krinke, J; (2003) Interference analysis for AspectJ. Presented at: Foundations of Aspect-Oriented Languages, Boston, MA, USA.

Störzer, M; Krinke, J; Breu, S; (2003) Trace analysis for aspect application. Presented at: Workshop on Analysis of Aspect-Oriented Software, Darmstadt, Germany.

Tahan, A; Buxton, B; Ruiz, M; Bougourd, J; (2003) Point Distribution Models of Human Body Shape from a Cononical Representation of 3D. Presented at: 3D Modelling 2003.

Taylor, ZA; Miller, K; Kirk, TB; (2003) Microstructural modelling of articular cartilage using 3D confocal endoscopy. Presented at: UNSPECIFIED.

Timmis, J; Bentley, K; Hart, E; (2003) Artificial Immune Systems. Presented at: Proc. of the 2nd International Conference (ICARIS 2003).

Todorov, E; Ghahramani, Z; (2003) Unsupervised learning of sensory-motor primitives. Presented at: UNSPECIFIED.

Tolia, N; Kozuch, M; Satyanarayanan, M; Karp, B; Bressoud, T; Perrig, A; (2003) Opportunistic Use of Content-Addressable Storage for Distributed File Systems. Presented at: Conference Proceedings of the USENIX 2003 Annual Technical Conference, San Antonio, Texas, US.

Tscholl, M; Dowell, J; (2003) Collaborative learning from an analogy. Presented at: UNSPECIFIED.

Tscholl, M; Dowell, J; (2003) Collaborative learning with multiple cases. Presented at: 10th ISPE International Conference on Concurrent Engineering, Madeira.

Tscholl, M; Dowell, J; (2003) Evidence of demand-driven re-analysis as analogical learning. Presented at: UNSPECIFIED.

Varakliotis, S; Hailes, S; Ostermann, J; (2003) Optimally Smooth Error Resilient Streaming of 3-D Wireframe Animations. Presented at: Visual Communications and Image Processing (VCIP) 2003.

Vinokourov, A; Hardoon, D; Shawe-Taylor, J; (2003) Learning the semantics of multimedia content with application to web image retrieval and classification. Presented at: Fourth International Symposium on Independent Component Analysis and Blind Source Separation, 2003.

Wang, J; Achanta, R; Kankanhalli, MS; Mulhem, P; (2003) A hierarchical framework for face tracking using state vector fusion for compressed video. Presented at: UNSPECIFIED.

Wang, J; Kankanhali, MS; Yan, W; Jain, R; (2003) Experiential Sampling for video surveillance. Presented at: UNSPECIFIED.

Wang, J; Kankanhalli, MS; (2003) Experience based sampling technique for multimedia analysis. Presented at: UNSPECIFIED.

Wang, S; Srinivasan, MA; (2003) The role of torque in haptic perception of object location in virtual environments. Presented at: 11th International Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems, LOS ANGELES, CA.

Woodman, SJ; Morgan, G; Parkin, SE; (2003) Portal Replication for Web Application Availability Via SOA. Presented at: UNSPECIFIED.

Yamana, M; Nakahara, H; Pontil, M; Amari, S-I; (2003) On different ensembles of kernel machines. Presented at: UNSPECIFIED.

Zachariadis, S; Mascolo, C; (2003) Adaptable mobile applications through SATIN: exploiting logical mobilityin mobile computing middleware. Presented at: 1st UK-UbiNet Workshop. Green open access
file

Zhang, M; Karp, B; Floyd, S; Peterson, L; (2003) RR-TCP: A Reordering-Robust TCP with DSACK. Presented at: UNSPECIFIED.

Zhu, X; Ghahramani, Z; Lafferty, J; (2003) Semi-Supervised Learning Using Gaussian Fields and Harmonic Functions. Presented at: 20th International Conference on Machine Learning (ICML).

Zhu, X; Lafferty, JK; Ghahramani, Z; (2003) Combining Active Learning and Semi-Supervised Learning Using Gaussian Fields and Harmonic Functions. Presented at: 20th International Conference on Machine Learning workshop.

Thesis

Kolmogorov, V; (2003) Graph Based Algorithms for Scene Reconstruction from Two or More Views. Doctoral thesis, UNSPECIFIED.

Krinke, J; (2003) Advanced slicing of sequential and concurrent programs. Doctoral thesis, Universität Passau.

Riedel, S; (2003) Entwicklung eines Modells, Verfahrens und softwaretechnischen Rahmenwerks für Record Linkage in semantischen Netzen. Masters thesis, UNSPECIFIED.

Other

(2003) Did Filiol Break AES ? IACR eprint archive

(2003) What do DES S-boxes Say to Each Other ? IACR eprint archive

Langdon, WB; (2003) Equations for Human Bioavailability and P450. UNSPECIFIED

Langdon, WB; (2003) Predicting Cancer. UCL, UK.

Langdon, WB; Buxton, BF; (2003) The Application of Genetic Programming for Drug Discovery in the Pharmaceutical Industry. EPSRC RAIS Secondment with GlaxoSmithKline. UNSPECIFIED

Smith, ASG; Blandford, A; (2003) MLTutor: An Application of Machine Learning Algorithms for an Adaptive Web-based Information System. UNSPECIFIED

This list was generated on Sun Aug 21 05:50:58 2016 BST.