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
Jump to: A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | V | W | Y | Z
Number of items: 346.

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. Green open access
file

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. Green open access
file

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

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. Green open access
file

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

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.

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. Green open access
file

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. Green open access
file

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; (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; (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

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.

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 Green open access
file

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

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 Green open access
file

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. Green open access
file

C

Calleja, M; Bruin, R; Tucker, MG; Dover, MT; Tyer, R; Blanshard, L; Dam, KKV; (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. Green open access
file

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.

Chapman, C; Goonatilake, C; Emmerich, W; Farrellee, M; Tannenbaum, T; Livny, M; Calleja, M; (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)

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.

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; (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: ISMRM 13th Scientific Meeting and Exhibition.

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; Zhang, H; Avants, BB; Yushkevich, P; Alexander, BC; Gee, JC; Ciccarelli, O; (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.

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, 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. Green open access
file

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

D

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

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 Green open access
file

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: Identifying which Infrastructures are Critical.

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

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

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; (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; (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 Green open access
file

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; (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. Green open access
file

Freeman, D; Dunn, G; Garety, PA; Bebbington, P; Slater, M; Kuipers, E; Fowler, D; (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.

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

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; (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. Green open access
file

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) editorial for special issue on Scale Space '03. International Journal of Computer Vision , 64 (2-3) pp. 95-96.

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),.

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.

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.

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.

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. Green open access
file

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. Green open access
file

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; 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

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

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. Green open access
file

Leeb, R; Keinrath, C; Friedman, D; Guger, C; Neuper, C; Garau, M; Antley, A; (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) Monitoring and control in scenario-based requirements analysis. In: ICSE 05: 27th International Conference on Software Engineering, Proceedings. (pp. 382 - 391). ASSOC COMPUTING MACHINERY Green open access
file

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.

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.

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

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 Green open access
filefile

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.

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.

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. Green open access
file

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

Nissila, I; Noponen, T; Kotilahti, K; Katila, T; Lipiainen, L; Tarvainen, T; Schweiger, M; (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).

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. Green open access
file

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; (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. Gold open access

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) Gold open access

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).

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 Green open access
file

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; (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. Green open access
file

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 Green open access
file

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; 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. Green open access
file

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. Gold open access

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

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. Green open access
file

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. Green open access
file

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.

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. Green open access
file

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

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; (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.

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; 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; (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. Green open access
file

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.

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. Green open access
file

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

This list was generated on Sun Dec 4 05:37:58 2016 GMT.