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 | F | G | H | L | N | P | R | T | V
Number of items: 28.

A

Austin, T; Gibson, AP; Branco, G; Yusof, R; Arridge, SR; Meek, JH; Wyatt, JS; (2006) Three dimensional optical imaging of blood volume and oxygenation in the neonatal brain. Neuroimage , 31 (4) 1426 - 1433.

B

Bahsoon, R.K.; (2006) Evaluating architectural stability with real options theory. Doctoral thesis, University of London. Green open access
file

Ball, T; Bounimova, E; Cook, B; Levin, V; Lichtenberg, J; McGarvey, C; Ondrusek, B; (2006) Thorough static analysis of device drivers. In: Berbers, Y and Zwaenepoel, W, (eds.) (pp. pp. 73-85). ACM

Bentley, K.; (2006) Adaptive behaviour through morphological plasticity in natural and artificial systems. Doctoral thesis, University of London. Green open access
file

Berman, L; Danicic, S; Gallagher, K; Gold, N; (2006) The sound of software: Using sonification to aid comprehension. In: (pp. pp. 225-226).

Blandford, A; (2006) Interacting with information resources: designing libraries for learning. International Journal of Learning Technologies , 2 (2-3) 185 - 202. Green open access
file

Blandford, A; Furniss, D; (2006) DiCoT: a methodology for applying distributed cognition to the design of team working systems. In: Gilroy, S and Harrison, M, (eds.) (pp. 26 - 38). Springer Berlin: Heidelberg, Germany.

Blandford, A; Furniss, D; (2006) DiCoT: A methodology for applying Distributed Cognition to the design of teamworking systems. In: Gilroy, SW and Harrison, MD, (eds.) INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION. (pp. 26 - 38). SPRINGER-VERLAG BERLIN Green open access
file

Bonhard, P; Sasse, MA; (2006) 'Knowing me, knowing you' - using profiles and social networking to improve recommender systems. BT TECHNOL J , 24 (3) 84 - 98. 10.1007/s10550-006-0080-3.

Bull, L.; (2006) Point based graphics rendering with unified scalability solutions. Doctoral thesis, University of London. Green open access
file

C

Collinson, M; Pym, D; (2006) Bunching for Regions and Locations. Electronic Notes in Theoretical Computer Science , 158 (1) pp. 171-197. 10.1016/j.entcs.2006.04.010.

Cook, B; Kroening, D; Sharygina, N; (2006) Over-Approximating Boolean Programs with Unbounded Thread Creation. In: (pp. pp. 53-59). IEEE Computer Society

Cook, B; Podelski, A; Rybalchenko, A; (2006) Terminator: Beyond Safety. In: Ball, T and Jones, RB, (eds.) (pp. pp. 415-418). Springer

Cook, B; Podelski, A; Rybalchenko, A; (2006) Termination proofs for systems code. In: Schwartzbach, MI and Ball, T, (eds.) (pp. pp. 415-426). ACM

Cook, P.A.; (2006) Modelling uncertainty in brain fibre orientation from diffusion-weighted magnetic resonance imaging. Doctoral thesis, University of London. Green open access
file

D

Dingwall-Smith, A.R.; (2006) Run-time monitoring of goal-oriented requirements specification. Doctoral thesis, University of London. Green open access
file

F

Führmann, C; Pym, D; (2006) Order-enriched categorical models of the classical sequent calculus. Journal of Pure and Applied Algebra , 204 (1) pp. 21-78. 10.1016/j.jpaa.2005.03.016.

G

Gotsman, A; Berdine, J; Cook, B; (2006) Interprocedural Shape Analysis with Separated Heap Abstractions. In: Yi, K, (ed.) (pp. pp. 240-260). Springer

Griesmayer, A; Bloem, R; Cook, B; (2006) Repair of Boolean Programs with an Application to C. In: Ball, T and Jones, RB, (eds.) (pp. pp. 358-371). Springer

H

Hormozdiari, F; Berenbrink, P; Przulj, N; Sahinalp, SC; (2006) Not All Scale Free Networks Are Born Equal: The Role of the Seed Graph in PPI Network Emulation. In: Ideker, T and Bafna, V, (eds.) (pp. pp. 1-13). Springer

L

Lahiri, SK; Ball, T; Cook, B; (2006) Predicate Abstraction via Symbolic Decision Procedures. CoRR , abs/cs

N

Novakovic, G; (2006) Electronic cruelty. In: Engineering Nature: Art and Consciousness in the Post-Biological Era. (pp. 103-107).

P

Pagtzis, T.; (2006) Advanced IPV6 mobility management for next generation wireless access networks. Doctoral thesis, University of London. Green open access
file

Pym, DJ; (2006) Journal of Logic and Computation: Editorial. Journal of Logic and Computation , 16 (1) pp. 1-3. 10.1093/logcom/exi069.

R

Ritschel, T; Botsch, M; Müller, S; (2006) Multiresolution GPU Mesh Painting. In: Fellner, DW and Hansen, CD, (eds.) (pp. pp. 17-20). Eurographics Association

T

Tan, C.W.; (2006) Using machine learning for decoy discrimination in protein tertiary structure prediction. Doctoral thesis, University of London. Green open access
file

V

Vauhkonen, M; Tarvainen, T; Kolehmainen, V; Kaipio, JP; (2006) Finite element approximations for the radiative transfer equation. In:

Vinayagamoorthy, V.; (2006) Participant responses to virtual agents in immersive virtual environments. Doctoral thesis, University of London. Green open access
file

This list was generated on Sun Apr 30 05:10:15 2017 BST.