UCL Discovery

A

Abdallah, SA; Noland, K; Sandler, MB; Casey, MA; Rhodes, C; (2005) Theory and Evaluation of a Bayesian Music Structure Extractor. Presented at: UNSPECIFIED.

Abdul-Rahman, A.; (2005) A framework for decentralised trust reasoning. Doctoral thesis, University of London.

Adams, A; Blandford, A; Attfield, S; (2005) Implementing digital resources for clinicians' and patients' varying needs. Medical Informatics and the Internet in Medicine , 30 (2) pp. 107-122. 10.1080/14639230500298875.

Adams, A; Blandford, A; Attfield, S; (2005) Implementing digital resources for clinicians' and patients' varying needs. Med Inform Internet Med , 30 (2) pp. 107-122. 10.1080/14639230500298875.

Adams, A; Blandford, A; Budd, D; Bailey, N; (2005) Organisational Communication And Awareness: A Novel Solution. Health Informatics Journal , 11 163 - 178.

Adams, A; Blandford, A; Budd, D; Bailey, N; (2005) Organizational communication and awareness: A novel solution for health informatics. Health Informatics Journal , 11 (3) pp. 163-178. 10.1177/1460458205052357.

Agakov, FV; Barber, D; (2005) Kernelized Infomax Clustering. Presented at: UNSPECIFIED.

Agakov, FV; Barber, D; (2005) Auxiliary Variational Information Maximization for Dimensionality Reduction. In: Saunders, C and Grobelnik, M and Gunn, SR and Shawe-Taylor, J, (eds.) SLSFS. (pp. 103 - 114). Springer

Alexander, DC; (2005) Maximum entropy spherical deconvolution for diffusion MRI. Lecture Notes in Computer Science , 3565 pp. 76-87.

Alexander, DC; (2005) Monte-Carlo studies of multiple-fibre reconstruction algorithms for diffusion MRI. Presented at: UNSPECIFIED.

Alexander, DC; Barker, GJ; (2005) Optimal imaging parameters for fibre-orientation estimation in diffusion MRI. Presented at: ISMRM 13th Scientific Meeting and Exhibition.

Alves, C.F.; (2005) Managing mismatches in COTS-based development. Doctoral thesis, University of London.

Ambroladze, A; Shawe-Taylor, J; (2005) Core Skills curriculum for Information Technology. (Report for the Curriculum Development Programme of the PASCAL Network of Excellence ).

Antoniol, G; Di Penta, M; Harman, M; (2005) Search-based techniques applied to optimization of project planning for a massive maintenance project. In: ICSM 2005: PROCEEDINGS OF THE 21ST IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE. (pp. 240 - 249). IEEE COMPUTER SOC

Argyriou, A; Herbster, M; Pontil, M; (2005) Combining graph laplacians for semi-supervised learning. In: (pp. pp. 67-74).

Aslam, JA; Pavlu, V; Yilmaz, E; (2005) Measure-based metasearch. Presented at: UNSPECIFIED.

Aslam, JA; Yilmaz, E; (2005) A geometric interpretation and analysis of R-precision. Presented at: UNSPECIFIED.

Aslam, JA; Yilmaz, E; Pavlu, V; (2005) A geometric interpretation of r-precision and its correlation with average precision. Presented at: UNSPECIFIED.

Aslam, JA; Yilmaz, E; Pavlu, V; (2005) The maximum entropy method for analyzing retrieval measures. Presented at: UNSPECIFIED.

Aste, T; (2005) Variations around disordered close packing. Journal of Physics Condensed Matter , 17 (24) 10.1088/0953-8984/17/24/001.

Aste, T; Senden, TJ; (2005) The hierarchical properties of contact networks in granular packings. Powders and Grains 2005 - Proceedings of the 5th International Conference on Micromechanics of Granular Media , 1 pp. 37-40.

Aste, T; Valbusa, U; (2005) Ripples and ripples: From sandy deserts to ion-sputtered surfaces. New Journal of Physics , 7 10.1088/1367-2630/7/1/122.

Attfield, S; Blandford, A; Mottram, C; Penn, A; Fatah gen Schieck, A; (2005) Exploring the effects of introducing real-time simulation on collaborative urban design in augmented reality. Presented at: UNSPECIFIED.

Attfield, S.; (2005) Information seeking, gathering and review: journalism as a case study for the design of search and authoring systems. Doctoral thesis, University of London.

Austin, T; Hebden, JC; Gibson, AP; Yusof, RM; Arridge, SR; Meek, JH; Delpy, DT; Austin, T; Hebden, JC; Gibson, AP; Yusof, RM; Arridge, SR; Meek, JH; Delpy, DT; Wyatt, JS; - view fewer (2005) Imaging 3D changes in blood volume and oxygenation in response to functional activation. Presented at: European Society for Paediatric Research.

B

Bahsoon, R; Emmerich, W; Macke, J; (2005) Using real options to select stable middleware-induced software architectures. IEE Proceedings - Software , 152 (4) pp. 167-186.

Beal, MJ; Falciani, F; Ghahramani, Z; Rangel, C; Wild, DL; (2005) A Baysian approach to reconstructing genetic regulatory networks with hidden factors. Bioinformatics , 21 (3) pp. 349-356.

Bebeacua, C; Mansour, T; Postnikov, A; Severini, S; (2005) On the X-rays of permutations. Electronic Notes in Discrete Mathematics , 20 pp. 193-203. 10.1016/j.endm.2005.05.063.

Beeharee, A; Steed, A; (2005) UNSPECIFIED Presented at: Location and Context Awareness 2005.

Beeharee, AK; Steed, A; (2005) Filtering Location-Based Information Using Visibility. Presented at: UNSPECIFIED.

Benford, S; Schnädelbach, H; Koleva, B; Anastasi, R; Greenhalgh, C; Rodden, T; Green, J; Benford, S; Schnädelbach, H; Koleva, B; Anastasi, R; Greenhalgh, C; Rodden, T; Green, J; Ghali, A; Pridmore, TP; Gaver, B; Boucher, A; Walker, B; Pennington, S; Schmidt, A; Gellersen, H; Steed, A; - view fewer (2005) Expected, sensed, and desired: A framework for designing sensing-based interaction. ACM Trans. Comput.-Hum. Interact. , 12 (1) pp. 3-30. 10.1145/1057237.1057239.

Bennett, K; Gold, N; Mohan, A; (2005) Cut the biggest IT cost. UNSPECIFIED

Bentley, K; clack, CD; (2005) Morphological Plasticity: Environmentally Driven Morphogenesis. Lecture Notes in Computer Science , 3630 118 - 127.

Bentley, P; (2005) ECAL Workshop Proceedings. CD-ROM Proceedings of the Eighth European Conference (ECAL 2005). UNSPECIFIED, London..

Bentley, P; (2005) Investigations into graceful degradation of evolutionary developmental software. Natural Computing , 4 (4) pp. 417-437. 10.1007/s11047-005-3666-7.

Bentley, PJ; (2005) Climbing Through Complexity Ceilings. Presented at: Bentley P. J. (2005) Climbing Through Complexity Ceilings. Invited presentation at Symposium on Distributed Form: Network Practice..

Bentley, PJ; (2005) Everything Computes. Presented at: Third Iteration, the Third International Conference on Generative Arts..

Bentley, PJ; Greensmith, J; Ujjin, S; (2005) Two ways to grow tissue for artificial immune systems. In: Jacob, C and Pilat, ML and Bentley, PJ and Timmis, J, (eds.) ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. (pp. 139 - 152). SPRINGER-VERLAG BERLIN

Bentley, PJ; Van Noort, D; (2005) Principles of Biocomputing. Biosystems Review , 1

Berbain, C; Billet, 0; Canteaut, A; Courtois, N; Gilbert, H; Goubin, L; Gouget, A; Berbain, C; Billet, 0; Canteaut, A; Courtois, N; Gilbert, H; Goubin, L; Gouget, A; Granboulan, L; Lauradoux, C; Minier, M; Pornin, T; Sibert, H; - view fewer (2005) DECIM, a new stream cipher for hardware applications. Presented at: SKEW 2005, SKEW - Symmetric Key Encryption Workshop.

Berdine, J; Calcagno, C; O'Hearn, PW; (2005) Smallfoot: Modular Automatic Assertion Checking with Separation Logic. In: Boer, FSD and Bonsangue, MM and Graf, S and Roever, WPD, (eds.) FMCO. (pp. 115 - 137). Springer

Berdine, J; Calcagno, C; O'Hearn, PW; (2005) Symbolic Execution with Separation Logic. In: Yi, K, (ed.) APLAS. (pp. 52 - 68). Springer

Besnard, P; Hunter, A; (2005) Practical first-order argumentation. Presented at: UNSPECIFIED.

Betcke, MM; Voss, H; (2005) A local restart procedure for iterative projection methods for nonlinear symmetric eigenproblems. Presented at: ALGORITMY 2005: 17th Conference on Scientific Computing, Vysok Tatry, Slovakia.

Binkley, D; Harman, M; Krinke, J; (2005) 05451 Abstracts Collection -- Beyond Program Slicing. Presented at: UNSPECIFIED.

Black, S; Bouillon, P; (2005) And Now For Something Completely Different.... Presented at: UNSPECIFIED.

Black, S; Counsell, S; Hall, T; Wernick, P; (2005) Using Program Slicing to Identify Faults in Software. Presented at: UNSPECIFIED.

Bouillon, P; Krinke, J; Lukosch, S; (2005) Eine Plattform für die Softwaretechnik-Fernlehre. Presented at: Software Engineering im Unterricht der Hochschulen, Aachen, Germany.

Bouillon, P; Krinke, J; Lukosch, S; (2005) Software engineering projects in distant teaching. Software Engineering Education Conference, Proceedings pp. 147-154. 10.1109/CSEET.2005.31.

Brandão, FGSL; (2005) Entanglement and quantum order parameters. New Journal of Physics , 7 10.1088/1367-2630/7/1/001.

Brebner, P; Emmerich, W; (2005) Deployment of Infrastructure and Services in the Open Grid Services Architecture. In: Dearle, A and Eisenbach, S, (eds.) Proc. of the 3rd Int. Working Conference on Component Deployment, CD 2005, Grenoble, France. (pp. 181-195). Springer

Brostoff, A.; (2005) Improving password system effectiveness. Doctoral thesis, University of London.

Brostoff, S; Sasse, MA; Chadwick, D; Cunningham, J; Mbanaso, U; Otenko, S; (2005) 'R-What?' - Development of a role-based access control policy-writing tool for e-Scientists. SOFTWARE-PRACTICE & EXPERIENCE , 35 (9) 835 - 856. 10.1002/spe.691.

Brotherston, J; (2005) Cyclic proofs for first-order logic with inductive definitions. In: (pp. pp. 78-92).

Brown, M; Smith, RE; (2005) Directed Multi-Objective Optimization. International Journal of Computers, Systems, and Signals , 6 (1) pp. 3-17.

Buchanan, G; Cunningham, SJ; Blandford, A; Rimmer, J; Warwick, C; (2005) Information seeking by humanities scholars. In: Rauber, A and Christodoulakis, S and Tjoa, A, (eds.) (pp. 218 - 229). Springer Berlin: Heidelberg.

Buchanan, G; Cunningham, SJ; Blandford, A; Rimmer, J; Warwick, C; (2005) Information seeking by humanities scholars. In: Rauber, A and Christodoulakis, S and Tjoa, AM, (eds.) RESEARCH AND ADVANCED TECHNOLOGY FOR DIGITAL LIBRARIES. (pp. 218 - 229). SPRINGER-VERLAG BERLIN

Buchanan, G; Cunningham, SJ; Blandford, A; Rimmer, J; Warwick, C; (2005) Information seeking by humanities scholars. In: Rauber, A and Christodoulakis, S and Tjoa, AM, (eds.) RESEARCH AND ADVANCED TECHNOLOGY FOR DIGITAL LIBRARIES. (pp. 218 - 229). SPRINGER-VERLAG BERLIN

Burmester, M; Desmedt, Y; (2005) A secure and scalable group key exchange system. INFORMATION PROCESSING LETTERS , 94 (3) 137 - 143. 10.1016/j.ipl.2005.01.003.

Buxton, BF; Zografos, V; (2005) Flexible template and model matching using image intensity. Presented at: UNSPECIFIED.

Byrne, E.L.; (2005) The expectation violation analysis framework: the analysis and evaluation of interesting news by means of inconsistency with expectations. Doctoral thesis, University of London.

Böhme, R; Danezis, G; Díaz, C; Köpsell, S; Pfitzmann, A; (2005) On the PET workshop panel "Mix cascades versus peer-to-peer: Is one concept superior?". Presented at: UNSPECIFIED.

C

Calleja, M; Bruin, R; Tucker, MG; Dover, MT; Tyer, R; Blanshard, L; Dam, KKV; Calleja, M; Bruin, R; Tucker, MG; Dover, MT; Tyer, R; Blanshard, L; Dam, KKV; Allen, RJ; Chapman, C; Emmerich, W; Wilson, P; Brodholt, J; Thandavan, A; Alexandrov, VN; - view fewer (2005) Collaborative grid infrastructure for molecular simulations: The eMinerals minigrid as a prototype integrated compute and data grid. Molecular Simulation , 31 (5) pp. 303-313. 10.1080/08927020500067195.

Campbell, JL; Griffin, LDS; J A B, M; F, A; (2005) The effect of abnormal colour vision on the ability to identify and outline coloured clinical signs and to count stained bacilli in sputum. Clinical and Experimental Optometry , 88 (6) pp. 376-381.

Capra, L; (2005) Reasoning about Trust Groups to Coordinate Mobile Ad-Hoc Systems. Presented at: UNSPECIFIED.

Capra, L; (2005) Reasoning about trust groups to coordinate mobile ad-hoc systems. Workshop of the 1st International Conference on Security and Privacy for Emerging Areas in Communication Networks, 2005 , 2005 pp. 144-154. 10.1109/SECCMW.2005.1588307.

Cavalcanti, D; Brandão, FGSL; Cunha, MOT; (2005) Erratum: Are all maximally entangled states pure? (Physical Review A (2005) 72 (040303)). Physical Review A - Atomic, Molecular, and Optical Physics , 72 (6) 10.1103/PhysRevA.72.069914.

Cavalcanti, D; Brandão, FGSL; Terra Cunha, MO; (2005) Are all maximally entangled states pure? Physical Review A - Atomic, Molecular, and Optical Physics , 72 (4) 10.1103/PhysRevA.72.040303.

Chapman, C; Goonatilake, C; Emmerich, W; Farrellee, M; Tannenbaum, T; Livny, M; Calleja, M; Chapman, C; Goonatilake, C; Emmerich, W; Farrellee, M; Tannenbaum, T; Livny, M; Calleja, M; Dove, M; - view fewer (2005) Condor Birdbath - web service interface to Condor. Presented at: UNSPECIFIED.

Chen, P; Zhou, S; (2005) The Universal Urban Multi-info System. Computer Engineering , 31 (02)

Chen, XP; He, WX; Jin, B; (2005) Symmetric boundary knot method for membrane vibrations under mixed-type boundary conditions. International Journal of Nonlinear Sciences and Numerical Simulation , 6 (4) pp. 421-424.

Cheng, P; Ran, S; Luo, N; Zhou, S; (2005) The DigiM-GZ Project -Digital Metropolis Of Guangzhou. In: (pp. pp. 1-7).

Chiappa, S; Barber, D; (2005) generative independent component analysis for EEG classification. Presented at: UNSPECIFIED.

Chio, CD; Poli, R; Langdon, WB; (2005) Evolution of Forces for Particle Swarm Optimisation using Genetic Programming. In: CEC-2005.

Chio, CD; Poli, R; Langdon, WB; (2005) Evolution of Force-Generating Equations for PSO using GP. In: Manzoni, S and Palmonari, M and Sartori, F, (eds.) AI*IA Workshop on Evolutionary Computation, Evoluzionistico GSICE05. : University of Milan Bicocca, Italy.

Choe, R; Corlu, A; Lee, K; Durduran, T; Konecky, SD; Grosicka-Koptyra, M; Arridge, SR; Choe, R; Corlu, A; Lee, K; Durduran, T; Konecky, SD; Grosicka-Koptyra, M; Arridge, SR; Czerniecki, BJ; Fraker, DL; DeMichele, A; Chance, B; Rosen, MA; Yodh, AG; - view fewer (2005) Diffuse optical tomography of breast cancer during neoadjuvant chemotherapy: A case study with comparison to MRI. MED PHYS , 32 (4) 1128 - 1139. 10.1118/1.1869612.

Chown, T; Jiang, S; O'Hanlon, P; Bound, J; (2005) Guidelines for IP version independence in GGF specifications. Open Grid Forum

Chu, W; Ghahramani, Z; (2005) Preference Learning with Gaussian Processes. Presented at: UNSPECIFIED.

Clark, D; Hunt, S; Malacaria, P; (2005) Quantified Interference for a While Language. Electr. Notes Theor. Comput. Sci. , 112 pp. 149-166. 10.1016/j.entcs.2004.01.018.

Coelho, EM; MacIntyre, B; Julier, SJ; (2005) Supporting interaction in augmented reality in the presence of uncertain spatial knowledge. In: (pp. pp. 111-114).

Collinson, M; Pym, D; Robinson, E; (2005) On bunched polymorphism. In: (pp. pp. 36-50).

Connelly, KH; Siek, K; Rogers, Y; Jones, J; Kraus, M; Perkins, S; Trevino, L; Connelly, KH; Siek, K; Rogers, Y; Jones, J; Kraus, M; Perkins, S; Trevino, L; Welch, J; - view fewer (2005) Designing a PDA Interface for Dialysis Patients to Monitor Diet in their Everyday Life. In: Proceedings of HCI International 2005.

Cook, B; (2005) Finding Bugs in Device Drivers with Static Driver Verifier. In: (pp. p. 71).

Cook, B; Gonthier, G; (2005) Using Stålmarck's Algorithm to Prove Inequalities. In: Lau, K-K and Banach, R, (eds.) (pp. pp. 330-344). Springer

Cook, B; Kroening, D; Sharygina, N; (2005) Cogent: Accurate Theorem Proving for Program Verification. In: Etessami, K and Rajamani, SK, (eds.) (pp. pp. 296-300). Springer

Cook, B; Kroening, D; Sharygina, N; (2005) Symbolic Model Checking for Asynchronous Boolean Programs. In: Godefroid, P, (ed.) (pp. pp. 75-90). Springer

Cook, B; Podelski, A; Rybalchenko, A; (2005) Abstraction Refinement for Termination. In: Hankin, C and Siveroni, I, (eds.) (pp. pp. 87-101). Springer

Cook, PA; Bai, Y; Hall, MG; Nedjati-Gilani, S; Seunarine, KK; Alexander, DC; (2005) Camino: diffusion MRI reconstruction and processing. Presented at: UNSPECIFIED.

Cook, PA; Boulby, PA; Symms, MR; Alexander, DC; (2005) Optimal acquisition order of diffusion-weighted measurements on a sphere. Presented at: 13th Scientific Meeting of the International Society for Magnetic Resonance in Medicine.

Cook, PA; Boulby, PA; Symms, MR; Alexander, DC; (2005) Optimal acquisition order of diffusion-weighted measurements on a sphere. Presented at: ISMRM 13th Scientific Meeting and Exhibition.

Cook, PA; Zhang, H; Avants, BB; Yushkevich, P; Alexander, BC; Gee, JC; Ciccarelli, O; Cook, PA; Zhang, H; Avants, BB; Yushkevich, P; Alexander, BC; Gee, JC; Ciccarelli, O; Thompson, AJ; - view fewer (2005) An automated approach to connectivity-based partitioning of brain structures. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , 3749 L pp. 164-171.

Cook, PA; Zhang, H; Avants, BB; Yushkevich, P; Alexander, DC; Gee, JC; Ciccarelli, O; Cook, PA; Zhang, H; Avants, BB; Yushkevich, P; Alexander, DC; Gee, JC; Ciccarelli, O; Thompson, AJ; - view fewer (2005) An automated approach to connectivity-based partitioning of brain structures. In: Duncan, JS and Gerig, G, (eds.) MEDICAL IMAGE COMPUTING AND COMPUTER-ASSISTED INTERVENTION - MICCAI 2005, PT 1. (pp. 164 - 171). SPRINGER-VERLAG BERLIN

Corlu, A; Choe, R; Durduran, T; Lee, K; Schweiger, M; Arridge, SR; Hillman, EMC; Corlu, A; Choe, R; Durduran, T; Lee, K; Schweiger, M; Arridge, SR; Hillman, EMC; Yodh, AG; - view fewer (2005) Diffuse optical tomography with spectral constraints and wavelength optimization. APPLIED OPTICS , 44 (11) 2082 - 2093.

Corney, DPA; Byrne, EL; Buxton, BF; Jones, DT; (2005) A Logical Framework for Template Creation and Information Extraction. Presented at: Foundations of Semantic Oriented Data and Web Mining workshop, part of the Fifth IEEE International Conference on Data Mining.

Courtois, N; (2005) The Best Differential Characteristics and Subtleties of the Biham-Shamir Attacks on DES. UNSPECIFIED

Courtois, N; (2005) Cryptanalysis of Sfinks. IACR Cryptology ePrint Archive , 2005 243 - 243.

Courtois, N; (2005) Feistel Schemes and Bi-Linear Cryptanalysis. IACR Cryptology ePrint Archive , 2005 251 - 251.

Courtois, N; (2005) Method and System for Securing Point to Point Connections. EP 76.0989/PR.

Courtois, N; (2005) Nicolas T. Courtois answers a few questions about this month's fast moving front in the field of Computer Science. Fast Moving Fronts in Computer Science, ISI Essential Science Indicators, Internet Publication by Thomson Scientific

Courtois, N; (2005) Cryptanalysis of Sfinks. Presented at: UNSPECIFIED.

Courtois, N; Debraize, B; Garrido, E; (2005) On Exact Algebraic [Non-]Immunity of S-boxes Based on Power Functions. IACR Cryptology ePrint Archive , 2005 203 - 203.

Courtois, N; Goubin, L; (2005) An Algebraic Masking Method to Protect AES Against Power Attacks. IACR Cryptology ePrint Archive , 2005 204 - 204.

Courtois, N; Goubin, L; (2005) An Algebraic Masking Method to Protect AES Against Power Attacks. Presented at: UNSPECIFIED.

Cox, BT; Arridge, SR; Kostli, KP; Beard, PC; (2005) Quantitative photoacoustic imaging: fitting a model of light transport to the initial pressure distribution. In: Oraevsky, AA and Wang, LV, (eds.) Photons Plus Ultrasound: Imaging and Sensing 2005. (pp. 49 - 55). SPIE-INT SOC OPTICAL ENGINEERING

Cox, I; Petricek, V; Han, H; Council, IG; Giles, CL; (2005) Modeling theautor Bias between two online Computer Science Citation Databases. Presented at: WWW.

Cox, IJ; Kalker, T; Lee, HK; (2005) Lecture Notes in Computer Science: Preface. Lecture Notes in Computer Science , 3304

Cox, IJ; Vinay, V; Milic-Frayling, N; Wood, K; (2005) Evaluating Relevance Feedback Algorithms for Searching on Small Displays. Presented at: 27th European Conference on IR Research, ECIR 2005.

Curran, K.M.; (2005) Orientation matching for diffusion tensor image registration. Doctoral thesis, University of London.

Curran, KM; Alexander, DC; (2005) Comparison of similarity measures for driving diffusion tensor registration. Presented at: UNSPECIFIED.

D

Danezis, G; (2005) The traffic analysis of continuous-time mixes. Lecture Notes in Computer Science , 3424 pp. 35-50.

Danezis, G; Anderson, R; (2005) The economics of resisting censorship. IEEE Security and Privacy , 3 (1) pp. 45-50. 10.1109/MSP.2005.29.

Danezis, G; Díaz, C; (2005) Improving the Decoding Efficiency of Private Search. Presented at: UNSPECIFIED.

Danezis, G; Lesniewski-Laas, C; Kaashoek, MF; Anderson, R; (2005) Sybil-resistant DHT routing. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , 3679 L pp. 305-318. 10.1007/11555827_18.

Danezis, G; Lewis, S; Anderson, RJ; (2005) How Much Is Location Privacy Worth? In: WEIS.

Dawid, AP; (2005) Probability and statistics in law. Presented at: Tenth International Workshop on Artificial Intelligence and Statistics, Barbados.

De, SR; Kim, J; Lim, YJ; Srinivasan, MA; (2005) The point collocation-based method of finite spheres (PCMFS) for real time surgery simulation. In: (Proceedings) 2nd MIT Conference on Computational Fluid and Solid Mechanics. (pp. pp. 1515-1525). PERGAMON-ELSEVIER SCIENCE LTD

DeFigueiredo, DDB; Barr, ET; (2005) TrustDavis: A Non-Exploitable Online Reputation System. Presented at: UNSPECIFIED.

Del Bue, A; Lladó, X; Agapito, L; (2005) Non-rigid face modelling using shape priors. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , 3723 L pp. 97-108.

Denaro, G; Polini, A; Emmerich, W; (2005) Performance Testing of Distributed Component Architectures. In: Beydeda, S and Gruhn, V, (eds.) Building Quality into COTS Components - Testing and Debugging. (pp. 294-314). Springer

Desmedt, Y; (2005) Potential Impacts of a Growing Gap Between Theory and Practice in Information Security. Presented at: UNSPECIFIED.

Desmedt, Y; (2005) Analyzing Survivable Computation in Critical Infrastructures. In: Kumar, V and Srivastava, J and Lazarevic, A, (eds.) Managing Cyber Threats: Issues, Approaches and Challenges. (pp. 267-280). Springer

Desmedt, Y; (2005) Access structure. In: Tilborg, HCAV, (ed.) Encyclopedia of Cryptography and Security. Springer

Desmedt, Y; (2005) Covert Channels. In: Tilborg, HCAV, (ed.) Encyclopedia of Cryptography and Security. Springer

Desmedt, Y; (2005) Deniable encryption. In: Tilborg, HCAV, (ed.) Encyclopedia of Cryptography and Security. Springer

Desmedt, Y; (2005) ElGamal Public Key Encryption. In: Tilborg, HCAV, (ed.) Encyclopedia of Cryptography and Security. Springer

Desmedt, Y; (2005) Fiat-Shamir Identification Protocol And The Fiat-Shamir Signature Scheme. In: Tilborg, HCAV, (ed.) Encyclopedia of Cryptography and Security. Springer

Desmedt, Y; (2005) Knapsack cryptographic schemes. In: Tilborg, HCAV, (ed.) Encyclopedia of Cryptography and Security. Springer

Desmedt, Y; (2005) Man-in-the-Middle Attack. In: Tilborg, HCAV, (ed.) Encyclopedia of Cryptography and Security. Springer

Desmedt, Y; (2005) Relay Attack. In: Tilborg, HCAV, (ed.) Encyclopedia of Cryptography and Security. Springer

Desmedt, Y; (2005) Station-to-Station Protocol. In: Tilborg, HCAV, (ed.) Encyclopedia of Cryptography and Security. Springer

Desmedt, Y; (2005) Threshold Cryptography. In: Tilborg, HCAV, (ed.) Encyclopedia of Cryptography and Security. Springer

Desmedt, Y; (2005) Trojan Horses, Computer Viruses and Worms. In: Tilborg, HCAV, (ed.) Encyclopedia of Cryptography and Security. Springer

Desmedt, Y; (2005) UNSPECIFIED Presented at: Robust Operations.

Desmedt, Y; Kurosawa, K; (2005) UNSPECIFIED Presented at: Electronic Voting: Starting Over?.

Desmedt, Y; Kurosawa, K; (2005) Electronic voting: Starting over? In: Zhou, J and Lopez, J and Deng, RH and Bao, F, (eds.) INFORMATION SECURITY, PROCEEDINGS. (pp. 329 - 343). SPRINGER-VERLAG BERLIN

Desmedt, Y; Wang, Y; (2005) UNSPECIFIED Presented at: Survey of Models for Critical Infrastructures and Methods to Measure Robustness.

Desmedt, Y; Wang, Y; (2005) UNSPECIFIED Presented at: Identifying which Infrastructures are Critical.

Desmedt, Y; Wang, Y; Burmester, M; (2005) UNSPECIFIED Presented at: A Complete Characterization of Tolerable Adversary Structures for Secure Point-to-Point Transmissions Without Feedback.

Desmedt, Y; Wang, Y; Safavi, R; Wang, H; (2005) UNSPECIFIED Presented at: Radio Networks with Reliable Communication.

Desmedt, Y; Wang, YG; Burmester, M; (2005) A complete characterization of tolerable adversary structures for secure point-to-point transmissions without feedback. In: Deng, X and Du, D, (eds.) ALGORITHMS AND COMPUTATION. (pp. 277 - 287). SPRINGER-VERLAG BERLIN

Desmedt, Y; Wang, YG; Safavi-Naini, R; Wang, HX; (2005) Radio networks with reliable communication. In: Wang, LH, (ed.) COMPUTING AND COMBINATORICS, PROCEEDINGS. (pp. 156 - 166). SPRINGER-VERLAG BERLIN

Di Matteo, T; Aste, T; Hyde, ST; Ramsden, S; (2005) Interest rates hierarchical structure. In: (Proceedings) 1st Bonzenfreies Colloquium on Market Dynamics and Quantitative Economics. (pp. pp. 21-33). ELSEVIER SCIENCE BV

Dix, A; Friday, A; Koleva, B; Rodden, T; Muller, H; Randell, C; Steed, A; (2005) Managing Multiple Spaces. In: Turner, P and Davenport, E, (eds.) Space, Spatiality and Technologies. Springer

Dove, MT; Artacho, E; White, TO; Bruin, RP; Tucker, MG; Murray-Rust, P; Allan, RJ; Dove, MT; Artacho, E; White, TO; Bruin, RP; Tucker, MG; Murray-Rust, P; Allan, RJ; Kleese van Dam, K; Smith, W; Tyer, RP; Todorov, I; Emmerich, W; Chapman, C; Parker, SC; Marmier, A; Alexandrov, V; Lewis, GJ; Hasan, SM; Thandavan, A; Wright, K; Catlow, CRA; Blanchard, M; de Leeuw, NH; Du, Z; Price, DG; Brodholt, J; Alfredsson, M; - view fewer (2005) The eMinerals project: developing the concept of the virtual organisation to support collaborative work on molecular-scale environmental simulations. Presented at: UNSPECIFIED.

Dove, MT; White, TO; Bruin, RP; Tucker, MG; Calleja, M; Artacho, E; Murray-Rust, P; Dove, MT; White, TO; Bruin, RP; Tucker, MG; Calleja, M; Artacho, E; Murray-Rust, P; Tyer, RP; Todorov, I; Allan, RJ; Kleese van Dam, K; Smith, W; Chapman, C; Emmerich, W; Marmier, A; Parker, SC; Lewis, GJ; Hasan, SM; Thandavan, A; Alexandrov, V; Blanchard, M; Wright, K; Catlow, CRA; Du, Z; de Leeuw, NH; Alfredsson, M; Price, GD; Brodholt, J; - view fewer (2005) eScience usability: the eMinerals experience. Presented at: UNSPECIFIED.

Doërr, G; (2005) Security Issue and Collusion Attacks in Video Watermarking. Doctoral thesis, UNSPECIFIED.

Doërr, G; Dugelay, J-L; (2005) Problématique de la Collusion en Tatouage Vidéo. Traitement du Signal , 22 (6) pp. 563-574.

Doërr, G; Dugelay, J-L; (2005) Problématique de la Collusion en Tatouage Vidéo - Attaques et Ripostes. Presented at: COmpression et REprésentation des Signaux Audiovisuels.

Doërr, G; Dugelay, J-L; (2005) Signal Coherent Watermarking in Video. Presented at: 6th International Workshop on Image Analysis for Multimedia Interactive Services.

Doërr, G; Dugelay, J-L; (2005) A countermeasure to resist block replacement attacks. Presented at: UNSPECIFIED.

Doërr, G; Dugelay, J-L; (2005) How to Combat Block Replacement Attacks? Presented at: UNSPECIFIED.

Doërr, G; Dugelay, J-L; (2005) Collusion issue in video watermarking. Presented at: UNSPECIFIED.

Doërr, G; Rey, C; Dugelay, J-L; (2005) Watermark Resynchronization based on Elastic Graph Matching. Presented at: 3rd International Conference on Sciences of Electronic, Technologies of Information and Telecommunications.

Doërr, GJ; Dugelay, J-L; (2005) Countermeasures for Collusion Attacks Exploiting Host Signal Redundancy. Presented at: UNSPECIFIED.

Drobnjak, I; Gavaghan, D; Suli, E; Jenkinson, M; (2005) Application of an FMRI simulator in modeling the spin history effects. Presented at: UNSPECIFIED.

Duboc, L; Wicks, T; Emmerich, W; (2005) Experience with Lightweight Distributed Component Technologies in Business Intelligence Systems. In: Mascolo, C and Gschwind, T, (eds.) Proceedings of the 4th International Workshop on Software Engineering and Middleware, Linz, Austria. (pp. 214-229). Springer Verlag

Díaz, C; Danezis, G; Grothoff, C; Pfitzmann, A; Syverson, P; (2005) Panel discussion - Mix cascades versus Peer-to-Peer: Is one concept superior? Lecture Notes in Computer Science , 3424 242-.

E

Emmerich, W; Butchart, B; Chen, L; Wassermann, B; Price, SL; (2005) Grid Service Orchestration using the Business Process Execution Language (BPEL). UCL-CS Research Note RN/05/07: London, UK.

F

Faisal, S; Cairns, P; Blandford, A; (2005) InfoViz Experience Enhancement Through Mediated Interaction. Presented at: Workshop on Multimodal Interaction for the Visualization and Exploration of Scientific Data, Trento, Italy.

Farbiz, F; Cheok, AD; Wei, L; ZhiYing, Z; Ke, X; Prince, S; Billinghurst, M; Farbiz, F; Cheok, AD; Wei, L; ZhiYing, Z; Ke, X; Prince, S; Billinghurst, M; Kato, H; - view fewer (2005) Live three-dimensional content for augmented reality. IEEE Transactions on Multimedia , 7 (3) pp. 514-523. 10.1109/TMM.2005.846787.

Festin, CAM; Sorensen, S-A; (2005) Utility-based buffer management for networks. Presented at: UNSPECIFIED.

Fields, B; Keith, S; Blandford, A; (2005) Designing for expert information finding strategies. In: Fincher, S and Markopoulos, P and Moore, D and Ruddle, R, (eds.) People and Computers XVIII ? Design for Life. (pp. 89-102). Springer London: London.

Finkelstein, A; (2005) Business Data Validation: lessons from practice. WWV , DSIC-I p. 1.

Flechais, I.; (2005) The development of secure and usable systems. Doctoral thesis, University of London.

Fleet, L; Blandford, AE; (2005) Requirements of time management tools for outpatient physiotherapy practice. Health Informatics Journal , 11 (3) pp. 179-199. 10.1177/1460458205055684.

Freeman, D; Dunn, G; Garety, PA; Bebbington, P; Slater, M; Kuipers, E; Fowler, D; Freeman, D; Dunn, G; Garety, PA; Bebbington, P; Slater, M; Kuipers, E; Fowler, D; Green, C; Jordan, J; Ray, K; - view fewer (2005) The psychology of persecutory ideation I: A questionnaire survey. Journal of Nervous and Mental Disease , 193 (5) pp. 302-308. 10.1097/01.nmd.0000161687.12931.67.

Freeman, R; Steed, A; Zhou, B; (2005) Rapid Scene Modelling, Alignment and Specification for Mixed Reality Systems. Presented at: ACM Virtual Reality Software and Technology 2005.

Freeman, RM; Steed, A; Zhou, B; (2005) Rapid scene modelling, registration and specification for mixed reality systems. In: Singh, G and Lau, RWH and Chrysanthou, Y and Darken, RP, (eds.) (pp. pp. 147-150). ACM

Friedman, D; Brogni, A; Antley, A; Guger, C; Slater, M; (2005) Sharing and Analysing Presence Experiments Data. Presented at: UNSPECIFIED.

Frisoli, A; Jansson, G; Bergamasco, M; Loscos, C; (2005) Evaluation of the Pure-Form Haptic Displays Used for Exploration of Works of Art at Museums. Presented at: World haptics conference.

G

Galindo, MJO; Pérez, JAN; Ramírez, JRA; Macías, VB; (2005) Ground Nonmonotonic Modal Logic S5: New Results. J. Log. Comput. , 15 (5) pp. 787-813. 10.1093/logcom/exi042.

Galmiche, D; Méry, D; Pym, D; (2005) The semantics of BI and resource tableaux. Mathematical Structures in Computer Science , 15 (6) pp. 1033-1088. 10.1017/S0960129505004858.

Gelfand, N; Mitra, NJ; Guibas, LJ; Pottmann, H; (2005) Robust Global Registration. Presented at: UNSPECIFIED.

Gibson, AP; Austin, T; Everdell, N; Meek, JH; Wyatt, JS; Schweiger, M; Arridge, SR; Gibson, AP; Austin, T; Everdell, N; Meek, JH; Wyatt, JS; Schweiger, M; Arridge, SR; Delpy, DT; Hebden, JC; - view fewer (2005) 3D optical tomography of the neonatal brain. In: (pp. pp. 1-7).

Gold, N; Systä, T; Tjortjis, C; Di Penta, M; (2005) Message from the program chairs. In:

Goonatilake, C; Chapman, C; Emmerich, W; Farrellee, M; Tannenbaum, T; Livny, M; Calleja, M; Goonatilake, C; Chapman, C; Emmerich, W; Farrellee, M; Tannenbaum, T; Livny, M; Calleja, M; Dove, M; - view fewer (2005) UNSPECIFIED Presented at: Condor Birdbath - web service interface to Condor.

Gordon, T.G.W.; (2005) Exploiting development to enhance the scalability of hardware evolution. Doctoral thesis, University of London.

Gordon, TGW; Bentley, PJ; (2005) Development brings scalability to hardware evolution. In: (pp. pp. 272-279).

Gordon, TGW; Bentley, PJ; (2005) Bias and scalability in evolutionary development. Presented at: UNSPECIFIED.

Greenhalgh, A; Hailes, S; (2005) A summary of the complex behaviour from simple power conserving protocols. Presented at: UNSPECIFIED.

Greenhalgh, A; Handley, M; Huici, F; (2005) Using Routing and Tunneling to Combat DoS Attacks. Presented at: Usenix workshop on Steps to Reducing Unwanted Traffic on the Internet.

Griffin, LD; (2005) Deduction of feature categories from colour images. Presented at: UNSPECIFIED.

Griffin, LD; (2005) Feature classes for 1D, 2nd order image structure arise from natural image maximum likelihood statistics. NETWORK-COMPUTATION IN NEURAL SYSTEMS , 16 (2-3) 301 - 320. 10.1080/09548980500289874.

Griffin, LD; (2005) editorial for special issue on Scale Space '03. International Journal of Computer Vision , 64 (2-3) pp. 95-96.

Griffin, LD; Lillholm, M; (2005) Image Features and the 1-D, 2nd Order Gaussian Derivative Jet. Presented at: UNSPECIFIED.

Groth, J; (2005) Non-interactive zero-knowledge arguments for voting. In: Ioannidis, J and Keromytis, A and Yung, M, (eds.) APPLIED CRYPTOGRAPHY AND NETWORK SECURITY, PROCEEDINGS. (pp. 467 - 482). SPRINGER-VERLAG BERLIN

Guo, Q; Hierons, RM; Harman, M; Derderian, K; (2005) Constructing multiple unique input/output sequences using metaheuristic optimisation techniques. IEE P-SOFTW , 152 (3) 127 - 140. 10.1049/ip-sen:20045001.

H

Hailes, S; (2005) Has Anyone Seen my Computer? IEE Communications Engineer

Hailes, S; Lad, M; Bhatti, S; Kirstein, P; (2005) Enabling Coalition-Based Community Networking. Presented at: London Communications Symposium 2005 (LCS 2005),.

Hammond, P; Hutton, TJ; Allanson, JE; Buxton, B; Campbell, LE; Clayton-Smith, J; Donnai, D; Hammond, P; Hutton, TJ; Allanson, JE; Buxton, B; Campbell, LE; Clayton-Smith, J; Donnai, D; Karmiloff-Smith, A; Metcalfe, K; Murphy, KC; Patton, M; Pober, B; Prescott, K; Scambler, P; Shaw, A; Smith, ACM; Stevens, AF; Temple, IK; Hennekam, R; Tassabehji, M; - view fewer (2005) Discriminating power of localized three-dimensional facial morphology. American Journal of Human Genetics , 77 (6) pp. 999-1010. 10.1086/498396.

Handley, M; Greenhalgh, A; (2005) The Case for Pushing DNS. Presented at: ACM Workshop on Hot Topics in Networking (Hotnets).

Handley, M; Kohler, E; Ghosh, A; Hodson, O; Radoslavov, P; (2005) Designing Extensible IP Router Software. Presented at: UNSPECIFIED.

Harman, M; Binkley, D; Krinke, J; (2005) 05451 Executive Summary -- Beyond Program Slicing Dagstuhl Seminar. Presented at: UNSPECIFIED.

Haroon, HA; Luzzi, S; Alexander, DC; Ciccarelli, O; Wheeler-Kingshott, CAM; Lambon-Ralph, MA; Parker, GJM; (2005) Probabilistic tractography analysis of superior temporal gyrus connectivity to Wernicke's and Broca's areas. Presented at: International Society for Magnetic Resonance in Medicine (ISMRM), Miami Beach, Florida, USA.

Haroun Mahdavi, SAB; P, J; (2005) Innately adaptive robotics through embodied evolution. (extended version). Journal of Adaptive Robotics

Harte, C; Sandler, MB; Abdallah, SA; Gómez, E; (2005) Symbolic Representation of Musical Chords: A Proposed Syntax for Text Annotations. In: ISMIR. (pp. 66 - 71).

Heiskala, J; Kotilahti, K; Nissila, I; (2005) An application of perturbation Monte Carlo in optical tomography. Presented at: UNSPECIFIED.

Heiskala, J; Nissilä, I; Neuvonen, T; Järvenpää, S; Somersalo, E; (2005) Modeling anisotropic light propagation in a realistic model of the human head. Applied Optics , 44 (11) pp. 2049-2057.

Heldal, I; Schroeder, R; Steed, A; Axelsson, A-S; Spante, M; Wideström, J; (2005) Immersiveness and symmetry in copresent scenarios. Presented at: UNSPECIFIED.

Heldal, I; Steed, A; Schroeder, R; (2005) Evaluating Collaboration in Distributed Virtual Environments for a Puzzle-solving Task. Presented at: HCI International 2005, the 11th International Conference on Human Computer Interaction.

Heldal, I; Steed, A; Spante, M; Schroeder, R; Bengtsson, S; Partanen, M; (2005) Successes and Failures in Co-Present Situations. Presence , 14 (5) pp. 563-579. 10.1162/105474605774918679.

Henderson, M; Shawe-Taylor, J; Zerovnik, J; (2005) Mixture of Vector Experts. In: Jain, S and Simon, H-U and Tomita, E, (eds.) (pp. pp. 386-398). Springer

Hirsch, L; Saeedi, M; Hirsch, R; (2005) Evolving rules for document classification. Lecture Notes in Computer Science , 3447 pp. 85-95.

Hirsch, L; Saeedi, M; Hirsch, R; (2005) Evolving text classification rules with genetic programming. Applied Artificial Intelligence , 19 (7) pp. 659-676. 10.1080/08839510590967307.

Hirsch, R; (2005) The class of representable ordered monoids has a recursively enumerable, universal axiomatisation but it is not finitely axiomatisable. Logic Journal of the IGPL , 13 (2) pp. 159-171. 10.1093/jigpal/jzi012.

Hu, S; Buxton, BF; (2005) Using Temporal Coherence for Gait Pose Estimation From a Monocular Camera View. Presented at: BMVC2005, The British Machine Vision Conference 2005.

I

Inglesant, PG; Sasse, MA; (2005) Situating the transient user: overcoming challenges in the design of e-government systems. In: Følstad, A and Krogstie, J and Oppermann, R and Svanæs, D, (eds.) SINTEF report STF90 A05110. Sintef: Oslo, Norway.

Izadi, S; Rogers, Y; Brignull, H; Rodden, T; Fitzpatrick, G; Lindley, S; (2005) The iterative design and study of a large display for shared and sociable spaces. In: Proc. Designing for User experience (DUX'05).

J

Jacobs, K; Nahmias, J-D; Angus, C; Martinez, AR; Loscos, C; Steed, A; (2005) Automatic generation of consistent shadows for augmented reality. Presented at: UNSPECIFIED.

Jacobs, K; Ward, G; Loscos, C; (2005) Automatic HDRI generation of dynamic environments. Presented at: UNSPECIFIED.

Jakimoski, G; Desmedt, Y; (2005) On Resistance of DES to Related-Key Differential Cryptanalysis. IACR Cryptology ePrint Archive , 2005 p. 84.

Jamieson, K; Hull, B; Miu, A; Balakrishnan, H; (2005) Understanding the real-world performance of carrier sense. In: (pp. pp. 52-57). ACM Press: New York, NY.

Jiang, S; O'Hanlon, P; Kirstein, PT; (2005) The Combination of IPv6 and Grid Systems. Daily News and Information for the Global Grid Community , 4 (2)

Jiang, S.; (2005) Make Grid systems IPv6-enabled and provide mobility support in Grid systems based on mobile IPv6. Doctoral thesis, University of London.

Jin, B; Zheng, Y; (2005) Boundary knot method for some inverse problems associated with the Helmholtz equation. International Journal for Numerical Methods in Engineering , 62 (12) pp. 1636-1651. 10.1002/nme.1240.

Jin, B; Zheng, Y; (2005) Boundary knot method for the Cauchy problem associated with the inhomogeneous Helmholtz equation. Engineering Analysis with Boundary Elements , 29 (10) pp. 925-935. 10.1016/j.enganabound.2005.05.005.

K

Kaewkamnerdpong, BAB; P, J; (2005) UNSPECIFIED Presented at: Intelligent Processing and Manufacturing of Materials (IPMM) 2005.

Kim, Y-J; Govindan, R; Karp, B; Shenker, S; (2005) Geographic Routing Made Practical. Presented at: UNSPECIFIED.

Kim, Y-J; Govindan, R; Karp, B; Shenker, S; (2005) On the Pitfalls of Geographic Face Routing. Presented at: UNSPECIFIED.

Kindberg, T; Spasojevic, M; Fleck, R; Sellen, A; (2005) The ubiquitous camera: an in-depth study of camera phone use. IEEE Pervasive Computing , 4 (2) pp. 42-50. 10.1109/MPRV.2005.42.

Kindberg, T; Spasojevic, M; Fleck, R; Sellen, A; (2005) I saw this and thought of you: some social uses of camera phones. In: Veer, GCVD and Gale, C, (eds.) CHI Extended Abstracts. (pp. 1545 - 1548). ACM

King, B; Desmedt, Y; (2005) Securing Abstention in an Electronic Legislature. Presented at: UNSPECIFIED.

Knoche, H; (2005) A user-centred mobile television consumption paradigm. Presented at: Human Centred Technology Postgraduate Workshop.

Knoche, H; McCarthy, J; (2005) Good news for mobile TV. Presented at: WWRF14.

Knoche, H; McCarthy, JD; (2005) Design Requirements for Mobile TV. Presented at: UNSPECIFIED.

Knoche, H; McCarthy, JD; Sasse, MA; (2005) Can small be beautiful? assessing image resolution requirements for mobile TV. In: Proceedings of the 13th ACM International Conference on Multimedia. (pp. 829 - 838).

Knoche, H; de Meer, H; Kirsh, D; (2005) Compensating for low frame rates. Presented at: UNSPECIFIED.

Kolmogorov, V; (2005) Primal-dual Algorithm for Convex Markov Random Fields. Microsoft Research

Kolmogorov, V; Criminisi, A; Blake, A; Cross, G; Rother, C; (2005) Bi-Layer Segmentation of Binocular Stereo Video. Presented at: UNSPECIFIED.

Kolmogorov, V; Wainwright, MJ; (2005) On the Optimality of Tree-reweighted Max-product Message-passing. Presented at: UNSPECIFIED.

Kolmogorov, V; Zabih, R; (2005) Graph Cut Algorithms for Binocular Stereo with Occlusions. In: Paragios, N and Chen, Y and Faugeras, O, (eds.) Mathematical Models in Computer Vision: The Handbook. Springer

Kostkova, P; Adams, A; (2005) HDL 2005 - The 3 rd Healthcare Digital Libraries Workshop: Held in conjunction with ECDL 2005, Vienna, Austria, 22 September 2005. D-Lib Magazine , 11 (11) 10.1045/november2005-adams.

Krinke, J; (2005) Program slicing. In: Handbook of Software Engineering and Knowledge Engineering: Vol 3: Recent Advances. (pp. 307-332).

Krinke, J; Breu, S; (2005) Aspect mining based on control-flow. Presented at: 7. Workshop Software Reengineering (WSR 2005), Bad Honnef, Germany.

Krinke, J; Roos, M; (2005) Erfahrungen mit dem Open-Access-Journal “eleed (e-learning and education)”. Presented at: Knowledge eXtended, Jülich, Germany.

Kwon, J; Wellings, AJ; King, S; (2005) Ravenscar-Java: a high-integrity profile for real-time Java. Concurrency - Practice and Experience , 17 (5-6) pp. 681-713. 10.1002/cpe.843.

L

Lad, M; Bhatti, S; Hailes, S; Kirstein, P; (2005) Enabling Coalition-Based Community Networking. Presented at: The London Communications Symposium 2005 (LCS 2005).

Lahiri, SK; Ball, T; Cook, B; (2005) Predicate Abstraction via Symbolic Decision Procedures. In: Etessami, K and Rajamani, SK, (eds.) (pp. pp. 24-38). Springer

Langdon, WB; (2005) ’Pure theatre’ at Lakeside: Review of "Look Back in Anger". Wyvern Extra

Langdon, WB; (2005) Pfeiffer - A Distributed Open-ended Evolutionary System. Presented at: UNSPECIFIED.

Langdon, WB; (2005) The Distribution of Amorphous Computer Outputs. Presented at: The Grand Challenge in Non-Classical Computation: International Workshop..

Langdon, WB; Banzhaf, W; (2005) Repeated Sequences in Linear Genetic Programming Genomes. Complex Systems , 15 (4) pp. 285-306.

Langdon, WB; Banzhaf, W; (2005) Repeated patterns in tree genetic programming. In: Keijzer, M and Tettamanzi, A and Collet, P, (eds.) Genetic Programming: 8th European Conference, EuroGP 2005, Lausanne, Switzerland, March 30 - April 1, 2005. Proceedings. (pp. 190-202). Springer-Verlag GmbH

Langdon, WB; Gustafson, S; (2005) Genetic Programming and Evolvable Machines:five years of reviews. Genetic Programming and Evolvable Machines , 6 (2) pp. 221-228.

Langdon, WB; Poli, R; (2005) Evolutionary Solo Pong Players. : Colchester, UK.

Langdon, WB; Poli, R; (2005) On Turing complete T7 and MISC F-4 program fitness landscapes. : UK.

Langdon, WB; Poli, R; Stephens, CR; (2005) Kernel methods for PSOs. : UK.

Lano, K; Androutsopoulos, K; Clark, D; (2005) Refinement Patterns for UML. Electronic Notes in Theoretical Computer Science , 137 (2) 131 - 149. 10.1016/j.entcs.2005.04.028.

Lawson, K.L.; (2005) Knowledge-based web services for context adaptation. Doctoral thesis, University of London.

Leeb, R; Keinrath, C; Friedman, D; Guger, C; Neuper, C; Garau, M; Antley, A; Leeb, R; Keinrath, C; Friedman, D; Guger, C; Neuper, C; Garau, M; Antley, A; Steed, A; Slater, M; Pfurtscheller, G; - view fewer (2005) Walking from thoughts: Not the muscles are crucial, but the brain waves! Presented at: 8th Annual International Workshop on Presence, Presence 2005.

Letier, E; Kramer, J; Magee, J; Uchitel, S; (2005) Fluent temporal logic for discrete-time event-based models. In: (pp. pp. 70-79).

Letier, E; Kramer, J; Magee, J; Uchitel, S; (2005) Monitoring and control in scenario-based requirements analysis. In: ICSE 05: 27th International Conference on Software Engineering, Proceedings. (pp. 382 - 391). ASSOC COMPUTING MACHINERY

Li, P; Chan, KL; Fu, S; Krishnan, SM; (2005) An Abnormal ECG Beat Detection Approach for Long-Term Monitoring of Heart Patients Based on Hybrid Kernel Machine Ensemble. Presented at: UNSPECIFIED.

Li, P; Chan, KL; Krishnan, SM; (2005) Learning a Multi-Size Patch-Based Hybrid Kernel Machine Ensemble for Abnormal Region Detection in Colonoscopic Images. Presented at: UNSPECIFIED.

Li, P; Sun, H-R; Chan, KL; Zhou, L-H; Krishnan, S-M; (2005) Stacking of SVMs for abnormal region screening in endoscopic images using multisize patches. Presented at: UNSPECIFIED.

Li, Q; Cox, IJ; (2005) Using perceptual models to improve fidelity and provide invariance to valumetric scaling for quantization index modulation watermarking. ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings , II 10.1109/ICASSP.2005.1415326.

Li, S; Shawe-Taylor, J; (2005) Comparison and fusion of multiresolution features for texture classification. Pattern Recognition Letters , 26 (5) pp. 633-638. 10.1016/j.patrec.2004.09.013.

Li, SYW; Blandford, A; Cairns, P; Young, RM; (2005) Post-completion errors in problem solving. Presented at: UNSPECIFIED.

Lim, M; Greenhalgh, A; Chesterfield, J; Crowcroft, J; (2005) Landmark guided forwarding. In: (pp. pp. 169-178).

Lin, L; Doërr, G; Cox, IJ; Miller, ML; (2005) An efficient algorithm for informed embedding of dirty-paper trellis codes for watermarking. In: (pp. pp. 697-700).

Lise, S; Jones, DT; (2005) Sequence patterns associated with disordered regions in proteins. Proteins , 58 (144) 159-.

Lladó, X; Del Bue, A; Agapito, L; (2005) Non-rigid 3D factorization for projective reconstruction. BMVC 2005 - Proceedings of the British Machine Vision Conference 2005 10.5244/C.19.32.

Lomuscio, A; (2005) UNSPECIFIED Presented at: Journal of Applied Logic.

Lomuscio, A; (2005) UNSPECIFIED Presented at: Electronic Lecture Notes in Theoretical Computer Science.

Lomuscio, A; Nute, D; (2005) Foreword - DEON 2004. Journal of Applied Logic , 3 (3-4)

M

Mascolo, C; Capra, L; Emmerich, W; (2005) Principles of Mobile Computing Middleware. In: Middleware for Communications. (pp. 261-280).

McKeown, N; Wischik, DJ; (2005) Part I: Buffer sizes for core routers. ACM/SIGCOMM Computer Communications Review , 35 (3) pp. 75-78. 10.1145/1070873.1070884.

Menchetti, S; Costa, F; Frasconi, P; Pontil, M; (2005) Wide coverage natural language processing using kernel methods and neural networks for structured data. PATTERN RECOGNITION LETTERS , 25 (12) 1896 - 1906. 10.1016/j.patrec.2005.03.011.

Meng, A; Shawe-Taylor, J; (2005) An Investigation of Feature Models for Music Genre Classification Using the Support Vector Classifier. Presented at: UNSPECIFIED.

Meng, H; Hardoon, DR; Shawe-Taylor, J; Szedmak, S; (2005) Generic object recognition by combining distinct features in machine learning. Presented at: UNSPECIFIED.

Mertens, T; Kautz, J; Bekaert, P; Reeth, FV; Seidel, H-P; (2005) Efficient Rendering of Local Subsurface Scattering. Comput. Graph. Forum , 24 (1) pp. 41-49. 10.1111/j.1467-8659.2005.00827.x.

Micchelli, CA; Pontil, M; (2005) Kernels for multi-task learning. In:

Micchelli, CA; Pontil, M; Wu, Q; Zhou, DX; (2005) Error bounds for learning the kernel. UNSPECIFIED

Milewski, M; Roberts, G; (2005) The Model Weaving Description Language (MWDL) - towards a formal Aspect Oriented Language for MDA model transformations. Presented at: First Workshop on Models and Aspects, ECOOP 2005.

Miller, K; Taylor, Z; Nowinski, WL; (2005) Towards computing brain deformations for diagnosis, prognosis and neurosurgical simulation. Journal of Mechanics in Medicine and Biology , 5 (1) pp. 105-121.

Minocha, S; Dawson, LH; Blandford, A; Millard, N; (2005) Providing value to customers in e-commerce environments: The customer's perspectiv. In: Contemporary Research in E-Marketing. (pp. 119-146).

Morgan, G; Parkin, S; Molina-Jimenez, C; Skene, J; (2005) Monitoring middleware for service level agreements in heterogeneous environments. In: (pp. pp. 79-93).

Musolesi, M; Hailes, S; Mascolo, C; (2005) Adaptive routing for intermittently connected mobile ad hoc networks. Presented at: IEEE International Syposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM).

Musolesi, M; Hailes, S; Mascolo, C; (2005) Social networks based ad hoc mobility models. In: Proceedings of the 3rd UK-UbiNet Workshop. Unknown

Musolesi, M; Hailes, S; Mascolo, C; (2005) Social networks based ad hoc mobility models. Presented at: 3rd UK-UbiNet Workshop.

Muñoz, E; Del Bue, A; Buenaposada, JM; Baumela, L; Agapito, L; (2005) Automatic modelling and efficient tracking of deformable objects. IEE Conference Publication (2005-1) pp. 267-274.

Mylonas, GP; Stoyanov, D; Deligianni, F; Darzi, A; Yang, GZ; (2005) Gaze-contingent soft tissue deformation tracking for minimally invasive robotic surgery. Medical image computing and computer-assisted intervention : MICCAI ... International Conference on Medical Image Computing and Computer-Assisted Intervention , 8 (Pt 1) pp. 843-850.

Mylonas, GP; Stoyanov, D; Deligianni, F; Darzi, A; Yang, GZ; (2005) Gaze-contingent soft tissue deformation tracking for minimally invasive robotic surgery. In: Duncan, JS and Gerig, G, (eds.) MEDICAL IMAGE COMPUTING AND COMPUTER-ASSISTED INTERVENTION - MICCAI 2005, PT 1. (pp. 843 - 850). SPRINGER-VERLAG BERLIN

N

Nahmias, J-D; Steed, A; Buxton, B; (2005) Evaluation of Modern Dynamic Programming Algorithms for Realtime Active Stereo Systems. Presented at: UNSPECIFIED.

Nahmias, JD; Steed, A; Buxton, B; (2005) Analysis of cost functions and structured light patterns for modern dynamic programming stereo algorithms. Presented at: UNSPECIFIED.

Nakayama, Y; Mian, IS; Kohwi-Shigematsu, T; Ogawa, T; (2005) A nuclear targeting determinant for SATB1, a genome organizer in the T cell lineage. Cell Cycle , 4 (8) pp. 1099-1106.

Nedjati-Gilani, S; Cook, PA; Parker, GJ; Alexander, DC; (2005) Voxel-Based Classification of White Matter Fibre Complexity in Diffusion MRI. Presented at: International Society for Megnetic Resonance in Medicine (ISMRM) - British Chapter.

Nedjati-Gilani, S; Cook, PA; Parker, GJM; Alexander, DC; (2005) UNSPECIFIED Presented at: Medical Image Understanding and Analysis.

Nentwich, C.; (2005) Managing the consistency of distributed documents. Doctoral thesis, University of London.

Newsome, J; Karp, B; Song, D; (2005) Polygraph: Automatically Generating Signatures for Polymorphic Worms. Presented at: UNSPECIFIED.

Nissila, I; Noponen, T; Kotilahti, K; Katila, T; Lipiainen, L; Tarvainen, T; Schweiger, M; Nissila, I; Noponen, T; Kotilahti, K; Katila, T; Lipiainen, L; Tarvainen, T; Schweiger, M; Arridge, S; - view fewer (2005) Instrumentation and calibration methods for the multichannel measurement of phase and amplitude in optical tomography. REV SCI INSTRUM , 76 (4) 10.1063/1.1884193.

Nunes, RG; Drobnjak, I; Clare, S; Jezzard, P; Jenkinson, M; (2005) Quantitative Simulation of Affine Registration for Correction of Eddy Current Distortions in Diffusion-Weighted Images. Presented at: UNSPECIFIED.

O

O'Hanlon, P; Jiang, S; Sorensen, S; Kirstein, PT; (2005) The Combination of IPv6 and Grid Systems. In: Christ, P and Ford, M and Palet, J, (eds.) IPv6 and Broadband, IPv6 cluster. (pp. 54-64).

O'Hearn, PW; (2005) Scalable Specification and Reasoning: Challenges for Program Logic. In: Meyer, B and Woodcock, J, (eds.) VSTTE. (pp. 116 - 133). Springer

Obradovic, B; Bugarski, B; Todosijevic, Z; Nedovic, V; Bugarski, D; Vunjak-Novakovic, G; (2005) Mathematical modeling of cell distribution in alginate microbeads. In: (pp. pp. 531-536).

Osorio, M; Navarro Pérez, JA; Arrazola, J; (2005) Safe beliefs for propositional theories. Annals of Pure and Applied Logic , 134 (1 SPEC) pp. 63-82. 10.1016/j.apal.2004.06.012.

Otero, N; Rogers, Y; Du Boulay, B; (2005) Learning interaction patterns using diagrams varying in level and type of interactivity. Presented at: UNSPECIFIED.

Oxtoby, NP; Warszawski, P; Wiseman, HM; Sun, H-B; Polkinghorne, RES; (2005) Quantum trajectories for the realistic measurment of a solid-state charge qubit. Phys. Rev. B , 71 p. 165317.

Oyekoya, O; Stentiford, F; (2005) An eye tracking interface for image search. In: (pp. 40-).

Oyekoya, O; Stentiford, FWM; (2005) A performance comparison of eye tracking and mouse interfaces in a target image identification task. In: (pp. pp. 139-144).

P

Pagtzis, T; Chakravorty, R; Crowcroftt, J; Hailes, S; Kirstein, P; (2005) Proactive mobile IPv6 for context-aware all-IP wireless access networks. In: (pp. pp. 1017-1022).

Paiement, J-F; Eck, D; Bengio, S; Barber, D; (2005) A graphical model for chord progressions embedded in a psychoacoustic space. In: Raedt, LD and Wrobel, S, (eds.) ICML. (pp. 641 - 648). ACM

Pan, R; Prabhakar, B; Psounis, K; Wischik, D; (2005) SHRiNK: a method for enabling scaleable performance prediction and efficient network simulation. IEEE/ACM Transactions on Networking , 13 (5) pp. 975-988.

Parker, GJM; Alexander, DC; (2005) Probabilistic Anatomical Connectivity Derived from the Microscopic Persistent Angular Structure of Cerebral Tissue. Presented at: UNSPECIFIED.

Patriarca, M; Chakraborti, A; Kaski, K; Germano, G; (2005) Kinetic theory models for the distribution of wealth: power law from overlap of exponentials. In: Chatterjee, A and Yarlagadda, S and Chakrabarti, BK, (eds.) Econophysics of Wealth Distributions: Econophys-Kolkata I: Part II. (pp. 93-110). Springer Milan: Milan, Italy.

Pauly, M; Mitra, NJ; Giesen, J; Gross, MH; Guibas, LJ; (2005) Example-Based 3D Scan Completion. Presented at: UNSPECIFIED.

Pearl, F; Todd, A; Sillitoe, I; Dibley, M; Redfern, O; Lewis, T; Bennett, C; Pearl, F; Todd, A; Sillitoe, I; Dibley, M; Redfern, O; Lewis, T; Bennett, C; Marsden, R; Grant, A; Lee, D; Akpor, A; Maibaum, M; Harrison, A; Dallman, T; Reeves, G; Diboun, I; Addou, S; Lise, S; Johnston, C; Sillero, A; Thornton, J; Orengo, C; - view fewer (2005) The CATH Domain Structure Database and related resources Gene3D and DHS provide comprehensive domain family information for genome analysis. Nucleic Acids Research , 33 pp. 247-251.

Perrone, V; Bolchini, D; (2005) Designing Communication Intensive Web Applications: experience and lessons from a real case study. Journal of Computer Science and Technology , 5 (2)

Perrone, V; Bolchini, D; Paolini, P; (2005) A stakeholders centered approach for conceptual modeling of communication-intensive applications. Presented at: UNSPECIFIED.

Perrone, V; Bolchini, D; Rastellini, A; Dragone, L; (2005) Shaping requirements for institutional Web applications: experience from an industrial project. Presented at: UNSPECIFIED.

Petricek, V; Cox, IJ; Han, H; Councill, IG; Giles, CL; (2005) Modeling the author bias between two on-line computer science citation databases. In: (pp. pp. 1062-1063).

Poli, R; Langdon, WB; (2005) Backward-chaining Genetic Programming. (Technical Reports CSM 42 ). Department of Computing and Electronic Systems, University of Essex: Colchester, UK.

Poli, R; Langdon, WB; (2005) An elementary formulation of Riemann’s Zeta function. : UK.

Ponstingl, H; Kabir, T; Gorse, D; Thornton, JM; (2005) Morphological aspects of oligomeric protein structures. Progress in Biophysics and Molecular Biology , 89 (1) pp. 9-35. 10.1016/j.pbiomolbio.2004.07.010.

Pouwelse, J; van Slobbe, M; Wang, J; Reinders, MJT; Sips, H; (2005) P2P-based PVR Recommendation using Friends, Taste Buddies and Superpeers. Presented at: Proceedings of Beyond Personalization 2005, the Workshop on the Next Stage of Recommender Systems Research(IUI2005).

Prince, S; David, S; Gallant, J; Elder, J; (2005) A geometric model of V1 neurons. Presented at: UNSPECIFIED.

Prince, S; Elder, J; Olevskiy, Y; (2005) Learning pose-invariant vectors for face recognition. Presented at: UNSPECIFIED.

Przulj, N; Corneil, DG; (2005) 2-Tree probe interval graphs have a large obstruction set. Discrete Applied Mathematics , 150 (1-3) pp. 216-231. 10.1016/j.dam.2004.06.015.

Pym, D; (2005) Journal of Logic and Computation: Editorial. Journal of Logic and Computation , 15 (6) 1-. 10.1093/logcom/exh054.

Pérez, JAN; Voronkov, A; (2005) Generation of Hard Non-Clausal Random Satisfiability Problems. In: Veloso, MM and Kambhampati, S, (eds.) AAAI 2005. (pp. 436 - 442). AAAI Press / The MIT Press

Q

Quercia, D; Hailes, S; (2005) UNSPECIFIED In: (Proceedings) Risk Aware Decision Framework for Trusted Mobile Interactions.

Quercia, D; Hailes, S; (2005) UNSPECIFIED In: (Proceedings) MOTET: Mobile Transactions using Electronic Tickets. (pp. pp. 374-383).

R

Raimondi, F; Lomuscio, A; (2005) Automatic verification of deontic interpreted systems by model checking via OBDD's. Journal of Applied Logic

Raimondi, F; Lomuscio, A; (2005) Towards Symbolic Model Checking for Multi-agent Systems via obdd’s. Presented at: UNSPECIFIED.

Raimondi, F; Pecheur, C; Lomuscio, A; (2005) UNSPECIFIED Presented at: Applications of model checking for multi-agent systems: verification of diagnosability and recoverability.

Raina, G; Towsley, D; Wischik, D; (2005) Part II: Control theory for buffer sizing. ACM/SIGCOMM Computer Communications Review

Raina, G; Wischik, D; (2005) Buffer sizes for large multiplexers: TCP queueing theory and instability analysis. Presented at: UNSPECIFIED.

Rhea, S; Godfrey, B; Karp, B; Kubiatowicz, J; Ratnasamy, S; Shenker, S; Stoica, I; Rhea, S; Godfrey, B; Karp, B; Kubiatowicz, J; Ratnasamy, S; Shenker, S; Stoica, I; Yu, H; - view fewer (2005) OpenDHT: A Public DHT Service and Its Uses. Presented at: UNSPECIFIED.

Riedel, S; Klein, E; (2005) Genic interaction extraction with semantic and syntactic chains. Presented at: UNSPECIFIED.

Roberts, G; Winder, R; (2005) Developing Java Software, 3rd Edition. [Book]. (Vol.1). (3 ed.). John Wiley & Sons Ltd.

Rodrigues, G; Rosenblum, D; Uchitel, S; (2005) Sensitivity Analysis for a Scenario-Based Reliability Prediction Model. In: Proceedings ICSE 2005 Workshop on Architecting Dependable Systems. (pp. 73-77). ACM Press: USA.

Rodrigues, G; Rosenblum, D; Uchitel, S; (2005) Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems. In: Cerioli, M, (ed.) Proc. ETAPS 2005 International Conference on Fundamental Approaches to Software Engineering - FASE 2005. (pp. 111-126). Springer

Rodrigues, GN; Rosenblum, DS; Uchitel, S; (2005) Sensitivity analysis for a scenario-based reliability prediction model. Presented at: UNSPECIFIED.

Rodrigues, GN; Rosenblum, DS; Uchitel, S; (2005) Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems. Presented at: Fundamental Approaches to Software Engineering 2005 (ETAPS/FASE).

Rodrigues, GN; Rosenblum, DS; Uchitel, S; (2005) Reliability Support in Model-Driven Development. Presented at: Proc. ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS/UML 2005).

Rodrigues, GN; Rosenblum, DS; Uchitel, S; (2005) Reliability prediction in model-driven development. In: Briand, L and Williams, C, (eds.) UNSPECIFIED (339 - 354). SPRINGER-VERLAG BERLIN

Rodrigues, GN; Rosenblum, DS; Uchitel, S; (2005) Using scenarios to predict the reliability of concurrent component-based software systems. Springer-Verlag, Berlin / Heidelberg, Germany.

Rogers, Y; (2005) Book Review: Computer-Supported Collaboration with Applications to Software Development, Fadi P. Deek and James A. M. McHugh, The Kluwer International Series in Engineering and Computer Science, 2003, 264 pp, ISBN 1-4020-7385-2. Computer Supported Cooperative Work , 14 (3) pp. 297-299. 10.1007/s10606-005-1905-1.

Rogers, Y; Price, S; (2005) Extending and augmenting scientific enquiry through pervasive learning environments. Children, Youth and Environments , 14 (2) pp. 67-83.

Rogers, Y; Price, S; Randell, C; Stanton-Fraser, D; Weal, M; Fitzpatrick, G; (2005) Ubi-learning: Integrating outdoor and indoor learning experiences. CACM , 48 (1) 55 - 59.

Rogers, Y; Scaife, M; Rizzo, A; (2005) Interdisciplinarity: an Emergent or Engineered Process? (Derry, S ; Schunn, CD ; Gernsbacher, MA, Trans.). Interdisciplinary Collaboration: An Emerging Cognitive Science. 265 - 286.

Rosenblum, DS; (2005) Fundamental Research Issues in Software Testing. Presented at: Proceedings of a European Commission Workshop on Fundamental Research in Software Engineering.

Precache Inc. (2005) Method for storing boolean functions to enable evaluation, modification, reuse, and delivery over a network. US 6,910,033 B2.

Rosner, P; Black, S; (2005) Measuring Ripple Effect for the Object Oriented Paradigm. Presented at: UNSPECIFIED.

Roussou, M; (2005) Can Interactivity in Virtual Environments Enable Conceptual Learning? Presented at: 7th Virtual Reality International Conference (VRIC), First International VR-Learning Seminar.

Roussou, M; Drettakis, G; (2005) Can VR be Useful and Usable in Real-World Contexts? Observations from the Application and Evaluation of VR in Realistic Usage Conditions. Presented at: HCI International 2005, 1st International Conference on Virtual Reality.

Roussou, M; Slater, M; (2005) A Virtual Playground for the Study of the Role of Interactivity in Virtual Learning Environments. Presented at: PRESENCE 2005: The 8th Annual International Workshop on Presence.

Rousu, J; Saunders, C; Szedmak, S; Shawe-Taylor, J; (2005) UNSPECIFIED Presented at: Learning Hierarchical Multi-Category Text Classification Models.

Rousu, J; Saunders, C; Szedmák, S; Shawe-Taylor, J; (2005) Learning hierarchical multi-category text classification models. Presented at: UNSPECIFIED.

Rousu, J; Shawe-Taylor, J; (2005) Efficient Computation of Gapped Substring Kernels on Large Alphabets. Journal of Machine Learning Research , 6 pp. 1323-1344.

Ruskov, M; (2005) Dialogue management systems for interactive storytelling. Masters thesis, UNSPECIFIED.

Ruto, A; Buxton, BF; (2005) Application of a robust and efficient ICP algorithm for fitting a deformable 3D human torso model to noisy data. Presented at: UNSPECIFIED.

S

Saadatfar, M; Kabla, A; Senden, TJ; Aste, T; (2005) The geometry and the number of contacts of monodisperse sphere packs using X-ray tomography. Powders and Grains 2005 - Proceedings of the 5th International Conference on Micromechanics of Granular Media , 1 pp. 33-36.

Sadlo, F; Weyrich, T; Peikert, R; Gross, M; (2005) A practical structured light acquisition system for point-based geometry and texture. Presented at: UNSPECIFIED.

Sasse, MA; (2005) Usability and Trust in Information Systems. In: Mansell, R and Collins, B, (eds.) Trust and Crime in Information Societies. (319 - 348). Edward Elgar: Cheltenham, UK.

Sasse, MA; Flechais, I; (2005) Usable Security: Why Do We Need It? How Do We Get It? In: Cranor, LF and Garfinkel, S, (eds.) Security and Usability: Designing secure systems that people can use. (13 - 30). O'Reilly: Sebastopol, US.

Scaife, M; Rogers, Y; (2005) External cognition, innovative technologies, and effective learning. In: (Proceedings) Cognition, Education and Communication Technology. (pp. 181 - 202).

Schlessinger, E; Bentley, P; Lotto, R; (2005) Analysing the efficacy of structure mutations on the evolvability of A-Life neural network agents. In: (Proceedings) Proceedings of the European Conference on Artificial Life (ECAL 2005). (pp. pp. 312-321).

Schlessinger, E; Bentley, P; Lotto, RB; (2005) Mosaic World: An Artificial-Life model for investigating the ecological basis of colour vision. In: (Proceedings) Proceedings of Genetic and Evolutionary Computation Conference (GECCO 2005). (pp. pp. 115-120).

Schulze, JP; Forsberg, AS; Slater, M; (2005) Analysis of subject behavior in a virtual reality user study,. Presented at: UNSPECIFIED.

Schweiger, M; Arridge, SR; Nissila, I; (2005) Gauss-Newton method for image reconstruction in diffuse optical tomography. PHYS MED BIOL , 50 (10) 2365 - 2386. 10.1088/0031-9155/50/10/013.

Shao, Y; Wang, Z; Han, J; Liu, T; (2005) Modifying Spectral Envelope to Synthetically Adjust Voice Quality and Articulation Parameters for Emotional Speech Synthesis. Presented at: UNSPECIFIED.

Shawe-Taylor, J; Meng, A; (2005) UNSPECIFIED Presented at: AN INVESTIGATION OF FEATURE MODELS FOR MUSIC GENRE CLASSIFICATION USING THE SUPPORT VECTOR CLASSIFIER.

Shawe-Taylor, J; Williams, CKI; Cristianini, N; Kandola, JS; (2005) On the eigenspectrum of the gram matrix and the generalization error of kernel-PCA. IEEE Trans. Information Theory , 51 (7) pp. 2510-2522. 10.1109/TIT.2005.850052.

Siek, KA; Rogers, Y; Connelly, KH; (2005) Fat finger worries: How older and younger users physically interact with PDAs. In: (pp. pp. 267-280).

Silver, D; (2005) Cooperative pathfinding. In: (pp. pp. 117-122).

Skene, J; Emmerich, W; (2005) Engineering Runtime Requirements-Monitoring Systems using MDATechnologies. In: IFIP Symposium on Trustworthy Global Computing. (pp. 319-333). Springer

Slater, M; (2005) Editorial notes. Presence: Teleoperators and Virtual Environments , 14 (5)

Slater, M; (2005) Presence 2005: The 8th Annual International Workshop on Presence. University College London, London.

Slater, M; Durlach, NI; (2005) Editorial Notes. Presence , 14 (5) iii-iii. 10.1162/105474605774918660.

Smeraldi, F; Del Bue, A; Agapito, L; (2005) Tracking points on deformable objects with ranklets. Proceedings - International Conference on Image Processing, ICIP , 3 pp. 121-124. 10.1109/ICIP.2005.1530343.

Snelson, E; Ghahramani, Z; (2005) Compact approximations to Bayesian predictive distributions. Presented at: UNSPECIFIED.

Spanlang, B; Vassilev, TI; Walters, J; Buxton, BF; (2005) A Virtual Clothing System for Retail and Design. Research Journal of Textile and Apparel , 9 (1) pp. 74-87.

Steed, A; Brogni, A; Vinayagamoorthy, V; (2005) UNSPECIFIED Presented at: Using Breaks in Presence to Identify Usability Issues.

Steed, A; Frecon, E; (2005) Construction of Collaborative Virtual Environments. In: Sánchez Segura, M, (ed.) UNSPECIFIED (pp. 235-268). Ideas Group

Steed, A; Roberts, D; Schroeder, R; Heldal, I; (2005) Interaction Between Users of Immersion Projection Technology Systems. Presented at: HCI International 2005, the 11th International Conference on Human Computer Interaction.

Steed, A; Vinayagamoorthy, V; Brogni, A; (2005) Using Breaks in Presence to Identify Usability Issues. Presented at: HCI International 2005, the 11th International Conference on Human Computer Interaction.

Stelmaszewska, H; Blandford, A; Buchanan, G; (2005) Designing to change users' information seeking behaviour: a case study. In: Chen, S and Magoulas, G, (eds.) Adaptable and Adaptive Hypermedia Systems. (pp. 1-18). Ideas Group Publishing

Stepney, SL; Braunstein, JA; Clark, A; Tyrrell, A; Adamatzky, A; Smith, RE; Addis, T; Stepney, SL; Braunstein, JA; Clark, A; Tyrrell, A; Adamatzky, A; Smith, RE; Addis, T; Johnson, C; Timmis, J; Welch, P; Milner, R; Partridge, D; - view fewer (2005) Journeys in non-classical computation I: A grand challenge for computing research. International Journal of Parallel, Emergent and Distributed Systems , 20 (1) pp. 5-19. 10.1080/17445760500033291.

Stoyanov, D; Darzi, A; Yang, GZ; (2005) Laparoscope self-calibration for robotic assisted minimally invasive surgery. Medical image computing and computer-assisted intervention : MICCAI ... International Conference on Medical Image Computing and Computer-Assisted Intervention , 8 (Pt 2) pp. 114-121.

Stoyanov, D; Darzi, A; Yang, GZ; (2005) Laparoscope self-calibration for robotic assisted minimally invasive surgery. In: Duncan, JS and Gerig, G, (eds.) MEDICAL IMAGE COMPUTING AND COMPUTER-ASSISTED INTERVENTION - MICCAI 2005, PT 2. (pp. 114 - 121). SPRINGER-VERLAG BERLIN

Stoyanov, D; Mylonas, GP; Deligianni, F; Darzi, A; Yang, GZ; (2005) Soft-tissue motion tracking and structure estimation for robotic assisted MIS procedures. Medical image computing and computer-assisted intervention : MICCAI ... International Conference on Medical Image Computing and Computer-Assisted Intervention , 8 (Pt 2) pp. 139-146.

Stoyanov, D; Yang, GZ; (2005) Removing specular reflection components for robotic assisted laparoscopic surgery. In: (pp. pp. 632-635).

Stoyanov, D; Yang, GZ; (2005) Removing specular reflection components for robotic assisted laparoscopic surgery. In: 2005 International Conference on Image Processing (ICIP), Vols 1-5. (pp. 3729 - 3732). IEEE

Swapp, D; Pawar, V; Loscos, C; (2005) Interaction with haptic feedback and co-location in virtual reality. In: Slater, M, (ed.) (pp. pp. 359-360). Department of Computer Science, UCL (University College London): London, UK.

Szedmak, S; Shawe-Taylor, J; (2005) Multiclass Learning at One-class Complexity. UNSPECIFIED

T

Tarvainen, T; Kolehmainen, V; Vauhkonen, M; Vanne, A; Gibson, AP; Schweiger, M; Arridge, SR; Tarvainen, T; Kolehmainen, V; Vauhkonen, M; Vanne, A; Gibson, AP; Schweiger, M; Arridge, SR; Kaipio, JP; - view fewer (2005) Computational calibration method for optical tomography. APPLIED OPTICS , 44 (10) 1879 - 1888.

Tarvainen, T; Vauhkonen, M; Kolehmainen, V; Arridge, SR; Kaipio, JP; (2005) Coupled radiative transfer equation and diffusion approximation model for photon migration in turbid medium with low-scattering and non-scattering regions. PHYS MED BIOL , 50 (20) 4913 - 4930. 10.1088/0031-9155/50/20/011.

Tarvainen, T; Vauhkonen, M; Kolehmainen, V; Kaipio, JP; (2005) Coupled radiative transfer equation and diffusion approximation. In:

Taylor, Z; Miller, K; (2005) Using numerical approximation as an intermediate step in analytical derivations: some observations from biomechanics. Journal of Biomechanics , 38 pp. 2497-2502.

Tonella, P; Antoniol, G; Krinke, J; (2005) Message from the chairs. Proceedings - Fifth IEEE International Workshop on Source Code Analysis and Manipulation, SCAM 2005 10.1109/SCAM.2005.17.

Tsampouka, P; Shawe-Taylor, J; (2005) Perceptron-like Large Margin Classifiers. UNSPECIFIED

Tsampouka, P; Shawe-Taylor, J; (2005) Analysis of Generic Perceptron-Like Large Margin Classifiers. In: Gama, J and Camacho, R and Brazdil, P and Jorge, A and Torgo, L, (eds.) ECML. (pp. 750 - 758). Springer

Tzanis, E; (2005) Hybrid Logic with operations on nominals. Presented at: Methods for Modalities 4.

Tzanis, E; (2005) Hybrid logic with operations on nominals. Presented at: Proceedings of the 5th Panhellenic Logic Symposium.

V

Vinay, V; Wood, K; Milic-Frayling, N; Cox, IJ; (2005) Comparing relevance feedback algorithms for web search. In: (pp. pp. 1052-1053).

Vinayagamoorthy, V; Steed, A; Slater, M; (2005) UNSPECIFIED Presented at: Building Characters: Lessons Drawn from Virtual Environments.

Vinayagamoorthy, V; Steed, A; Slater, M; (2005) Building Characters: Lessons Drawn from Virtual Environments. Presented at: Toward Social Mechanisms of Android Science: A CogSci 2005 Workshop.

W

Wang, J; Achanta, R; Kankanhalli, MS; Reinders, MJT; (2005) A sensor fusion approach for tracking faces in compressed video. Presented at: Eleventh annual conference of the Advanced School for Computing and Imaging.

Wang, J; Reinders, MJT; Lagendijk, RL; Pouwelse, J; (2005) Distributed collaborative filtering for peer-to-peer file sharing systems. Presented at: Eleventh annual conference of the Advanced School for Computing and Imaging.

Wang, J; Reinders, MJT; Lagendijk, RL; Pouwelse, J; (2005) Self-organizing distributed collaborative filtering. In: (pp. pp. 659-660).

Wang, J; Reinders, MJT; Pouwelse, J; Lagendijk, RL; (2005) Wi-Fi Walkman: A wireless handhold that shares and recommends music on peer-to-peer networks. Presented at: UNSPECIFIED.

Warwick, C; Blandford, A; Buchanan, G; (2005) User Centred Interactive Search: a Study of Humanities Researchers in a Digital Library Environment. Presented at: ACH/ALLC.

Warwick, C; Blandford, A; Buchanan, G; (2005) User Centred Interactive Search: a Study of Humanities Researchers in a Digital Library Environment. Presented at: The Association for Computers and the Humanities-Association for Literary and Linguistic Computing, University of Victoria, Canada, June 15 - June 18 2005.

Weyrich, T; Matusik, W; Pfister, H; Gross, M; (2005) Measuring Skin Reflectance and Subsurface Scattering.

Weyrich, T; Matusik, W; Pfister, H; Lee, J; Ngan, A; Jensen, HW; Gross, M; (2005) A Measurement-Based Skin Reflectance Model for Face Rendering and Editing.

Weyrich, T; Pfister, H; Gross, M; (2005) Rendering Deformable Surface Reflectance Fields. In IEEE Transactions on Computer Graphics and Visualization , 11 (1) pp. 48-58. 10.1109/TVCG.2005.14.

White, TO; Bruin, RP; Wakelin, J; Chapman, C; Osborn, D; Murray-Rust, P; Artacho, E; White, TO; Bruin, RP; Wakelin, J; Chapman, C; Osborn, D; Murray-Rust, P; Artacho, E; Dove, MT; Calleja, M; - view fewer (2005) eScience methods for the combinatorial chemistry problem of adsorption of pollutant organic molecules on mineral surfaces. Presented at: UNSPECIFIED.

Wilczkowiak, M; Brostow, GJ; Tordoff, B; Cipolla, R; (2005) Hole filling through photomontage. Presented at: UNSPECIFIED.

Wokoma, I; Shum, L; Sacks, L; Marshall, I; (2005) A biologically-inspired clustering algorithm dependent on spatial data in sensor networks. In: Cayirci, E and Baydere, S and Havinga, P, (eds.) (pp. pp. 386-390). IEEE Computer Society: Piscataway, US.

Wong, KY; Thyvetil, M-A; Machaira, A; Loscos, C; (2005) System for Simulating Dynamic Features of Crowd Behavior. Presented at: UNSPECIFIED.

Woolf, M; Arrowsmith, D; Mondragon, RJ; Pitts, J; Zhou, S; (2005) Dynamical Modelling of TCP Packet Traffic on Scale-Free Networks. Institut Mittag-Leffler, The Royal Swedish Academy of Sciences

Wozna, B; Lomuscio, A; (2005) A Logic for Knowledge, Correctness, and Real TimeDesign and Verification of Distributed Tasking Supervisors for Concurrent Programming Languages. In: Proceedings of the 5th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA'04). (pp. 1-15). Springer-Verlag

Wozna, B; Lomuscio, A; (2005) A combination of explicit and deductive knowledge with branching time: completeness and decidability results. Presented at: International Workshop on Concurrency, Specification and Programming (CS&P'05).

Wozna, B; Lomuscio, A; Penczek, W; (2005) UNSPECIFIED Presented at: Bounded Model Checking for knowledge over real time.

Wozna, B; Lomuscio, A; Penczek, W; (2005) Bounded model checking for deontic interpreted systems. Electronic Notes in Theoretical Computer Science (Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems (2004)) , 126 pp. 93-114. 10.1016/j.entcs.2004.11.015.

Y

Yan, WQ; Kankanhalli, MS; Wang, J; (2005) Analogies based video editing. Multimedia Systems , 11 (1) pp. 3-18. 10.1007/s00530-005-0186-3.

Yan, WQ; Wang, J; Kankanhalli, MS; (2005) Automatic video logo detection and removal. Multimedia Systems , 10 (5) pp. 379-391. 10.1007/s00530-005-0167-6.

Yasin, I; Bishop, DVM; (2005) An Objective Measure of Hemispheric Differences in Processing Dichotic Meaningful Words and Meaningless Pseudowords as Indexed by Mismatch Negativity. In: (Proceedings) ISCA Workshop on Plasticity in Speech Perception (PSP2005) Senate House, London, UK June 15-17, 2005. (pp. 63-).

Yasin, I; Plack, CJ; (2005) The limit of human high-frequency hearing. In: (Proceedings) Quarterly Journal of Experimental Psychology, Section A: Human Experimental Psychology. (pp. 1538-). Psychology Press

Yushkevich, PA; Zhang, H; Gee, JC; (2005) Parametric medial shape representation in 3-D via the poisson partial differential equation with non-linear boundary conditions. Lecture Notes in Computer Science , 3565 162 - 173.

Z

Zachariadis, S; Bhatti, S; Fritsche, W; Gessler, G; Kirstein, P; Mayer, K; Sacks, L; (2005) UNSPECIFIED Presented at: London Communications Symposium.

Zeller, A; Krinke, J; (2005) Essential open source toolset - programming with Eclipse, JUnit, CVS, Bugzilla, Ant, Tcl/Tk and more. Wiley

Zhaoping, L; (2005) The primary visual cortex creates a bottom-up saliency map. In: Itti, L and Rees, G and Tsotsos, J, (eds.) Neurobiology of Attention. (pp. 570-575). Academic Press: Burlington.

Zhou, S; Mondragon, RJ; (2005) Topological discrepancies among Internet measurements using different sampling methodologies. In: Kim, C, (ed.) UNSPECIFIED (207 - 214). SPRINGER-VERLAG BERLIN

Zhou, S; Mondragón, RJ; (2005) The positive-feedback preference model of the AS-level Internet topology. In: (pp. pp. 163-167).