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 | F | G | J | L | N | P | R | S | T | Y
Number of items: 30.

A

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.

Alves, C.F.; (2005) Managing mismatches in COTS-based development. Doctoral thesis, University of London. 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

Brostoff, A.; (2005) Improving password system effectiveness. Doctoral thesis, University of London. 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, 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

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

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

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

F

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

G

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

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

J

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

L

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

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

N

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

P

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.

R

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

S

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

T

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

Y

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.

This list was generated on Sun May 28 05:59:55 2017 BST.