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 | U | V | W | X | Y | Z
Number of items: 642.

A

Abad, PC; Lewis, J; Mian, IS; Knowles, DW; Sturgis, J; Badve, S; Xie, J; (2007) NuMA influences higher order chromatin organization in human mammary epithelium. MOLECULAR BIOLOGY OF THE CELL , 18 (2) pp. 348-361. 10.1091/mbc.E06-06-0551.

Abascal, JFPJ; Arridge, SR; Lionheart, WRB; Bayford, RH; Holder, DS; (2007) Validation of a finite-element solution for electrical impedance tomography in an anisotropic medium. In: PHYSIOLOGICAL MEASUREMENT. (pp. S129 - S140). IOP PUBLISHING LTD

Abascal, JFPJ; Arridge, SR; Lionheart, WRB; Bayford, RH; Holder, DS; (2007) Validation of a finite element solution for electrical impedance tomography in an anisotropic medium. In: Scharfetter, H and Merwa, R, (eds.) 13TH INTERNATIONAL CONFERENCE ON ELECTRICAL BIOIMPEDANCE AND THE 8TH CONFERENCE ON ELECTRICAL IMPEDANCE TOMOGRAPHY 2007. (pp. 372 - 375). SPRINGER

Adams, R; David, AS; (2007) Patterns of anterior cingulate activation in schizophrenia: a selective review. Neuropsychiatr Dis Treat , 3 (1) pp. 87-101. 10.2147/nedt.2007.3.1.87. Gold open access

Ai, JQ; Sun, XM; Liu, YH; Cox, IJ; Sun, G; Luo, Y; (2007) A stern-based collusion-secure software watermarking algorithm and its implementation. In: Kim, SS and Park, JH and Pissinou, N and Kim, TH and Fang, WC and Slezak, D and Arabnia, HR and Howard, D, (eds.) MUE: 2007 International Conference on Multimedia and Ubiquitous Engineering, Proceedings. (pp. 813 - 818). IEEE COMPUTER SOC

Aiken, A; Bugrara, S; Dillig, I; Dillig, T; Hackett, B; Hawkins, P; (2007) An overview of the saturn project. In: (pp. pp. 43-48).

Alexander, DC; (2007) Axon radius measurements in vivo from diffusion MRI: A feasibility study. In: Green open access
file

Alexander, DC; Hall, MG; (2007) Making the most of synthetic data: modelling vs simulation. In: (Proceedings) SNDS bi-national workshop on MRI of brain connectivity and microstructure: measuremennt and validation.

Alexander, DC; Jiang, T; Westin, CF; (2007) Guest editorial special issue on computational diffusion MRI. IEEE Transactions on Medical Imaging , 26 (11) pp. 1425-1426. 10.1109/TMI.2007.909944.

Alexander, DC; Jiang, T; Westin, CF; (2007) Special issue on computational diffusion MRI. IEEE T MED IMAGING , 26 (11) 1425 - 1427. 10.1109/TMI.2007.909944.

Alexander, DC; Jones, DK; (2007) Limits on measuring axon diameters in vivo using diffusion MRI. In: (pp. p. 1541). International Society for Magnetic Resonance in Medicine: Berkeley, US.

Altun, H; Shawe-Taylor, J; Polat, G; (2007) New feature selection frameworks in emotion recognition to evaluate the informative power of speech related features. In:

Altun, H; Shawe-Taylor, J; Polat, G; (2007) New feature selection frameworks in emotion recognition to evaluate the informative power of speech related features. In: (Proceedings) 9th International Symposium on Signal Processing and its Applications. (pp. 564-+). IEEE

Ambroladze, A; Parrado-Hernandez, E; Shawe-Taylor, J; (2007) Complexity of pattern classes and the Lipschitz property. THEORETICAL COMPUTER SCIENCE , 382 (3) pp. 232-246. 10.1016/j.tcs.2007.03.047.

Ambroladze, A; Parrado-Hernández, E; Shawe-Taylor, J; (2007) Tighter PAC-Bayes bounds. In: (pp. pp. 9-16).

Anikeenko, AV; Medvedev, NN; Di Matteo, T; Delaney, GW; Aste, T; (2007) Delaunay simplex analysis of the structure of equal sized sphere packings. In: Aste, T and DiMatteo, T and Tordesillas, A, (eds.) (Proceedings) 20th Canberra International Physics Summer School and Workshop on Granular Materials. (pp. 27-+). WORLD SCIENTIFIC PUBL CO PTE LTD

Annen, T; Mertens, T; Bekaert, P; Seidel, H-P; Kautz, J; (2007) Convolution Shadow Maps. In: Kautz, J and Pattanaik, SN, (eds.) (pp. pp. 51-60). Eurographics Association

Archambeau, C; Cornford, D; Opper, M; Shawe-Taylor, J; (2007) Gaussian Process Approximations of Stochastic Differential Equations. Gaussian Processes in Practice , 1 pp. 1-16.

Argyriou, A; Evgeniou, T; Pontil, M; (2007) Multi-task feature learning. In: (pp. pp. 41-48).

Arzen, K-E; Bicchi, A; Dini, G; Hailes, S; Johansson, KH; Lygeros, J; Tzes, A; (2007) A component-based approach to the design of networked control systems. EUROPEAN JOURNAL OF CONTROL , 13 (2-3) pp. 261-279. 10.3166/EJC.13.261-279.

Aslam, JA; Yilmaz, E; (2007) Inferring document relevance from incomplete information. In: Silva, MJ and Laender, AHF and Baeza-Yates, RA and McGuinness, DL and Olstad, B and Olsen, ØH and Falcão, AO, (eds.) (pp. pp. 633-642). ACM

Aste, T; Di Matteo, T; (2007) Correlations and aggregate statistics in granular packs. EUROPEAN PHYSICAL JOURNAL E , 22 (3) pp. 235-240. 10.1140/epje/e2007-00033-x.

Aste, T; Di Matteo, T; Saadatfar, M; Senden, TJ; Schroeter, M; Swinney, HL; (2007) An invariant distribution in static granular media. EPL , 79 (2) 10.1209/0295-5075/79/24003.

Atallah, L; ElHelw, M; Pansiot, J; Stoyanov, D; Wang, L; Lo, B; Yang, GZ; (2007) Behaviour profiling with ambient and wearable sensing. In: Leonhardt, S and Falck, T and Mahonen, P, (eds.) 4th International Workshop on Wearable and Implantable Body Sensor Networks (BSN 2007). (pp. 133 - 138). SPRINGER

Atkinson, R; Bhatti, S; Hailes, S; (2007) Mobility as an Integrated Service Through the Use of Naming. In: (pp. 1:1-1:6). ACM Press: New York, US.

Atkinson, R; Bhatti, S; Hailes, S; (2007) A Proposal for Unifying Mobility with Multi-Homing, NAT, & Security. In: (Proceedings) 5th ACM International Workshop on Mobility Management and Wireless Access (MobiWac 2007). (pp. pp. 74-83). ASSOC COMPUTING MACHINERY

Attfield, S; Blandford, A; (2007) Sensemaking in a large-scale corporate fraud investigation: Some problems of communication. Presented at: Collaborative Sensemaking Workshop, The 24th Annual Human-Computer Interaction Lab (HCIL) Symposium, University of Maryland, College Park, US.

Aura, T; Roe, M; Murdoch, SJ; (2007) Securing network location awareness with authenticated DHCP. In: (Proceedings) 3rd International Conference on Security and Privacy in Communication Networks and Workshops. (pp. 391-+). IEEE

Austin, T; (2007) Optical imaging of the neonatal brain. In: (pp. pp. 70-71). WILEY-BLACKWELL

Austin, T; (2007) Optical imaging of the neonatal brain. In: (pp. pp. 238-241). B M J PUBLISHING GROUP

Avants, BB; Duda, JT; Zhang, H; Gee, JC; (2007) Multivariate normalization with symmetric diffeomorphisms for multivariate studies. In: UNSPECIFIED (pp. 359-366).

Awate, SP; Zhang, H; Gee, JC; (2007) Fuzzy nonparametric DTI segmentation for robust cingulum-tract extraction. In: UNSPECIFIED (pp. 294-301).

Awate, SP; Zhang, H; Gee, JC; (2007) A fuzzy, nonparametric segmentation framework for DTI and MRI analysis: with applications to DTI-tract extraction. IEEE Trans Med Imaging , 26 (11) pp. 1525-1536. 10.1109/TMI.2007.907301.

B

BENTLEY, PJ; (2007) Generic Evolutionary Design of Solid Objects using a Genetic Algorithm. Doctoral thesis , UNSPECIFIED.

Baader, F; Cook, B; Giesl, J; Nieuwenhuis, R; (2007) 07401 Abstracts Collection -- Deduction and Decision Procedures. In: Baader, F and Cook, B and Giesl, J and Nieuwenhuis, R, (eds.) Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany

Baader, F; Cook, B; Giesl, J; Nieuwenhuis, R; (2007) 07401 Executive Summary -- Deduction and Decision Procedures. In: Baader, F and Cook, B and Giesl, J and Nieuwenhuis, R, (eds.) Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany

Babić, D; Hu, AJ; Rakamarić, Z; Cook, B; (2007) Proving termination by divergence. In: (pp. pp. 93-102).

Back, J; Blandford, A; Curzon, P; (2007) Recognising erroneous and exploratory interactions. In: (pp. pp. 127-140). Green open access
file

Back, J; Blandford, A; Curzon, P; (2007) Recognising erroneous and exploratory interactions. In: Baranauskas, C and Palanque, P and Abascal, J and Barbosa, SDJ, (eds.) Human-Computer Interaction - INTERACT 2007, Pt 2, Proceedings. (pp. 127 - 140). SPRINGER-VERLAG BERLIN

Back, J; Blandford, A; Curzon, P; (2007) Slip errors and cue salience. In: Brinkman, W-P and Ham, D-H and Wong, BLW, (eds.) Proceedings of the 14th European conference on Cognitive ergonomics: invent! explore! (pp. 221 - 224). ACM: New York, NY, USA.

Back, J; Cheng, W; Dann, R; Curzon, P; Blandford, A; (2007) Does being motivated to avoid procedural errors influence their systematicity? In: Bryan-Kinns, N and Blandford, A and Curzon, P and Nigay, L, (eds.) People and Computers XX ? Engage. (pp. 151-157). Springer London: London.

Back, J; Furniss, D; Blandford, A; (2007) Cognitive Resilience: Reflection-in-action and on-action. In: Woltjer, R and Johansson, B and Lundberg, J, (eds.) (pp. pp. 1-6). Linköpings Universitet: Linköpings, Sweden. Green open access
file

Ball, LJ; Sasse, MA; Sas, C; Ormerod, TC; Dix, A; Bagnall, P; McEwan, T; (2007) Preface: "HCI... but not as we know it". People and Computers XXI HCI.But Not as We Know It - Proceedings of HCI 2007: The 21st British HCI Group Annual Conference , 1

Barr, E; Bishop, M; Gondree, M; (2007) Fixing federal E-voting standards - Without a threat model and a system model, voting standards cannot ensure the integrity or accuracy of the voting process. COMMUNICATIONS OF THE ACM , 50 (3) pp. 19-24. 10.1145/1226736.1226754.

Barry, JG; Hardiman, MJ; Line, W; K, Y; I, B; D, VM; (2007) Duration of auditory sensory memory in parents of children with SLI: A mismatch negativity study. Brain and Language , 104 pp. 75-88.

Barry, JG; Yasin, I; Bishop, DVM; (2007) Heritable risk factors associated with language impairments. GENES BRAIN BEHAV , 6 (1) 66 - 76. 10.1111/j.1601-183X.2006.00232.x.

Bartolozzi, M; Mellen, C; Di Matteo, T; Aste, T; (2007) Multi-scale correlations in different futures markets. EUROPEAN PHYSICAL JOURNAL B , 58 (2) pp. 207-220. 10.1140/epjb/e2007-00216-2.

Bas, P; Doërr, G; (2007) Practical Security Analysis of Dirty Paper Trellis Watermarking. In: Furon, T and Cayre, F and Doërr, G and Bas, P, (eds.) (pp. pp. 174-188). Springer-Verlag: Berlin/Heidelberg, Germany.

Beeharee, A; Steed, A; (2007) Exploiting real world knowledge in ubiquitous applications. PERSONAL AND UBIQUITOUS COMPUTING , 11 (6) 429 - 437. 10.1007/s00779-006-0091-6.

Beeharee, A; Steed, A; (2007) Minimising pedestrian navigational ambiguities through geoannotation and temporal tagging. In: Jacko, JA, (ed.) HUMAN-COMPUTER INTERACTION, PT 2, PROCEEDINGS. (pp. 748 - 757). SPRINGER-VERLAG BERLIN

Beeharee, AK; Steed, A; (2007) Minimising Pedestrian Navigational Ambiguities Through Geoannotation and Temporal Tagging. In: Jacko, JA, (ed.) (pp. pp. 748-757). Springer

Bellon, S; Koschke, R; Antoniol, G; Krinke, J; Merlo, E; (2007) Comparison and evaluation of clone detection tools. IEEE T SOFTWARE ENG , 33 (9) 577 - 591. 10.1109/TSE.2007.70725.

Bentley, P; (2007) Homo Sapiens Facticius. In: Ethical Futures. Royal Society for the encouragement of Arts, Manufactures & Commerce: London.

Bentley, PJ; (2007) Systemic computation: A model of interacting systems with natural characteristics. International Journal of Parallel, Emergent and Distributed Systems , 22 (2) pp. 103-121. 10.1080/17445760601042803.

Berdine, J; Calcagno, C; Cook, B; Distefano, D; O'Hearn, PW; Wies, T; Yang, H; (2007) Shape analysis for composite data structures. In: Damm, W and Hermanns, H, (eds.) (Proceedings) 19th International Conference on Computer Aided Verification. (pp. pp. 178-192). SPRINGER-VERLAG BERLIN

Berdine, J; Chawdhary, A; Cook, B; Distefano, D; O'Hearn, P; (2007) Variance Analyses from Invariance Analyses. In: (Proceedings) 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. (pp. pp. 211-224). ASSOC COMPUTING MACHINERY

Berisha, F; Johnston, A; McOwan, P; (2007) Spatial location of critical facial motion information for PCA-based performance-driven mimicry. In: (pp. 495-).

Bernabeu, MO; Vidal, AM; (2007) The symmetric tridiagonal eigenvalue problem: A heterogeneous parallel approach. WSEAS Transactions on Mathematics , 6 (4) pp. 587-594.

Betcke, M; (2007) Iterative projection methods for symmetric nonlinear eigenvalue problems with applications. [Book]. Dissertationen. Dissertation.de: Berlin, Germany.

Betcke, MM; Lochmann, V; Voss, H; (2007) Computing interior eigenvalues of nonlinear Hermitean eigenvalue problems. (Technical Report Institut fuer Numerische Simulation, Hamburg University of Technology, Ham- burg, Germany 113 ). : Institut fuer Numerische Simulation, Hamburg University of Technology, Ham- burg, Germany.

Betcke, MM; Voss, H; (2007) Stationary Schrödinger equations governing electronic states of quantum dots in the presence of spin-orbit splitting. Applications of Mathematics , 52 (3) pp. 267-284. 10.1007/s10492-007-0014-5.

Bhalla, N; Bentley, PJ; Jacob, C; (2007) Mapping Virtual Self-assembly Rules to Physical Systems. In: Adamatzky, A and Bull, L and De Lacy Costello, B and Stepney, S and Teuscher, C, (eds.) (pp. pp. 167-198). Luniver Press: Frome, UK.

Binkley, D; Gold, N; Harman, M; (2007) An empirical study of static program slice size. ACM T SOFTW ENG METH , 16 (2) , Article 8. 10.1145/1217295.1217297.

Black, E; Hunter, A; (2007) A generative inquiry dialogue system. In: Durfee, EH and Yokoo, M and Huhns, MN and Shehory, O, (eds.) (pp. p. 241). IFAAMAS

Black, E.; (2007) A generative framework for argumentation-based inquiry dialogues. Doctoral thesis , University of London. Green open access
file

Blake, A; Criminisi, A; Cross, C; Kolmogorov, V; Rother, C; (2007) Fusion of stereo, colour and contrast. In: Thrun, S and Brooks, R and DurrantWhyte, H, (eds.) Robotics Research. (pp. 295 - 304). SPRINGER-VERLAG BERLIN

Blandford, A; Benedyk, R; Berthouze, N; Cox, A; Dowell, J; (2007) The challenges of creating connections and raising awareness: Experience from UCLIC. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). (pp. 682 - 683). Green open access
file

Blandford, A; Benedyk, R; Berthouze, N; Cox, A; Dowell, J; (2007) The challenges of creating connections and raising awareness: Experience from UCLIC. In: Baranauskas, C and Palanque, P and Abascal, J and Barbosa, SDJ, (eds.) Human-Computer Interaction - INTERACT 2007, Pt 2, Proceedings. (pp. 682 - 683). SPRINGER-VERLAG BERLIN

Blandford, A; Gow, J; Buchanan, G; Warwick, C; Rimmer, J; (2007) Creators, composers and consumers: Experiences of designing a digital library. In: UNSPECIFIED (pp. 239-242). Green open access
file

Blandford, A; Gow, J; Buchanan, G; Warwick, C; Rimmer, J; (2007) Creators, composers and consumers: Experiences of designing a digital library. In: Baranauskas, C and Palanque, P and Abascal, J and Barbosa, SDJ, (eds.) Human-Computer Interaction - INTERACT 2007, Pt 1, Proceedings. (pp. 239 - 242). SPRINGER-VERLAG BERLIN

Blandford, A; Keith, S; Butterworth, R; Fields, B; Furniss, D; (2007) Disrupting digital library development with scenario informed design. INTERACT COMPUT , 19 (1) 70 - 82. 10.1016/j.intcom.2006.07.003. Green open access
file

Blaze, M; Anderson, R; Clayton, R; Stajano, FR; Aura, T; Danezis, G; Desmedt, Y; ... Christianson, B; + view all (2007) Listen too closely and you may be confused. In: Christianson, B and Crispo, B and Malcolm, JA and Roe, M, (eds.) SECURITY PROTOCOLS. (pp. 250 - 257). SPRINGER-VERLAG BERLIN

Bleeker, EJW; Fonteijn, HMJ; Shumskaya, E; Schwarzbach, J; Norris, DG; (2007) Functional Hierarchy of the Visual System as Revealed by Resting-State Connectivity. In: (pp. p. 1989). International Society for Magnetic Resonance in Medicine: Berkeley, US.

Boccolini, G; Luise, M; Garnier, B; Merour, J-M; Brunelle, A; Titomanlio, S; Mignone, V; (2007) TV-Centric technologies to provide remote areas with two-way satellite broadband access. Presented at: WRECOM 2007 conference Wireless Rural and Emergency Communications, Univ. of Rome Tor Vergata Rome, Italy. Green open access
file

Boccolini, G; Luise, M; Garnier, B; Merour, J-M; Brunelle, A; Titomanlio, S; Mignone, V; (2007) A two-way interactive broadband satellite architecture to break the digital divide barrier. In: (Proceedings) 16th Ka and broadband communications conference. Green open access
file

Bond, M; Anderson, R; Aura, T; Christianson, B; Stajano, F; Blaze, M; Danezis, G; ... Laurie, B; + view all (2007) The dining freemasons (security protocols for secret societies). In: Christianson, B and Crispo, B and Malcolm, JA and Roe, M, (eds.) SECURITY PROTOCOLS. (pp. 266 - 275). SPRINGER-VERLAG BERLIN

Bond, M; Danezis, G; (2007) The dining freemasons (security protocols for secret societies). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , 4631 L pp. 258-265.

Bond, M; Danezis, G; (2007) A pact with the devil. Proceedings New Security Paradigms Workshop pp. 77-82. 10.1145/1278940.1278952.

Bonhard, P; Sasse, MA; Harries, C; (2007) "The devil you know knows best" - How online recommendations can benefit from social networking. In:

Borisov, N; Danezis, G; Mittal, P; Tabriz, P; (2007) Denial of service or denial of security? Proceedings of the ACM Conference on Computer and Communications Security pp. 92-102. 10.1145/1315245.1315258.

Borisov, N; Danezis, G; Tabriz, P; (2007) Byzantine attacks on anonymity systems. In: Digital Privacy: Theory, Technologies, and Practices. (pp. 73-93).

Bouillon, P; Krinke, J; Meyer, N; Steimann, F; (2007) EZUNIT: A framework for associating failed unit tests with potential programming errors. In: Concas, G and Damiani, E and Scotto, M and Succi, G, (eds.) Agile Processes in Software Engineering and Extreme Programming, Proceedings. (pp. 101 - 104). SPRINGER-VERLAG BERLIN

Boulos, S; Edwards, D; Lacewell, JD; Kniss, J; Kautz, J; Shirley, P; Wald, I; (2007) Packet-based whitted and distribution ray tracing. In: (pp. pp. 177-184).

Bowman, D; Julier, S; (2007) Message from the general chairs. UNSPECIFIED

Brandão, FGSL; (2007) Entanglement activation and the robustness of quantum correlations. Physical Review A - Atomic, Molecular, and Optical Physics , 76 (3) 10.1103/PhysRevA.76.030301.

Brandão, FGSL; Horodecki, M; Plenio, MB; Virmani, S; (2007) Remarks on the equivalence of full additivity and monotonicity for the entanglement cost. Open Systems and Information Dynamics , 14 (3) pp. 333-339. 10.1007/s11080-007-9056-0.

Brandäo, FGSL; Hartmann, MJ; Plenio, MB; (2007) Quantum phase transitions in coupled arrays of cavities. AIP Conference Proceedings , 963 (2) pp. 744-747. 10.1063/1.2836197.

Braunstein, SL; Ghosh, S; Severini, S; (2007) Estimation of pure qubits on circles. J PHYS A-MATH THEOR , 40 (8) 1809 - 1834. 10.1088/1751-8113/40/8/009.

Brogni, A; Vinayagamoorthy, V; Steed, A; Slater, M; (2007) Responses of Participants During an Immersive Virtual Environment Experience. IJVR , 6 (2) pp. 1-10.

Brotherston, J; (2007) Formalised inductive reasoning in the logic of bunched implications. In: Nielson, HR and File, G, (eds.) (Proceedings) 14th International Symposium on Static Analysis. (pp. pp. 87-103). SPRINGER-VERLAG BERLIN

Brotherston, J; Simpson, A; (2007) Complete sequent calculi for induction and infinite descent. In: (Proceedings) 22nd Annual IEEE Symposium on Logic in Computer Science. (pp. 51-+). IEEE COMPUTER SOC

Bryson, K; Cozzetto, D; Jones, DT; (2007) Computer-assisted protein domain boundary prediction using the Dom-Pred server. CURRENT PROTEIN & PEPTIDE SCIENCE , 8 (2) 181 - 188.

Buchanan, G; Gow, J; Blandford, A; Rimmer, J; Warwick, C; (2007) Representing Aggregate Works in the Digital Library. In: Larson, R and Rasmussen, E and Sugimoto, S and Toms, E, (eds.) PROCEEDINGS OF THE 7TH ACM/IEE JOINT CONFERENCE ON DIGITAL LIBRARIES. (pp. 247 - 256). ASSOC COMPUTING MACHINERY Green open access
file

Bulterman, DCA; Cesar, P; Jansen, AJ; Knoche, H; Seager, W; (2007) Enabling Pro-Active User-Centered Recommender Systems: An Initial Evaluation. In: (pp. pp. 195-200). IEEE Computer Society Press: Los Alamitos, US.

Bunyakiati, P; Finkelstein, A; Rosenblum, D; (2007) The certification of software tools with respect to software standards. In: Chang, W and Joshi, JBD, (eds.) IRI 2007: Proceedings of the 2007 IEEE International Conference on Information Reuse and Integration. (pp. 724 - 729). IEEE

C

Calcagno, C; Distefano, D; O'Hearn, PW; Yang, H; (2007) Footprint analysis: A shape analysis that discovers preconditions. In: Nielson, HR and File, G, (eds.) (Proceedings) 14th International Symposium on Static Analysis. (pp. 402-+). SPRINGER-VERLAG BERLIN

Calcagno, C; O'Hearn, PW; Yang, H; (2007) Local action and abstract separation logic. In: (Proceedings) 22nd Annual IEEE Symposium on Logic in Computer Science. (pp. 366-+). IEEE COMPUTER SOC

Calder, RB; Beems, RB; van Steeg, H; Mian, IS; Lohman, PHM; Vijg, J; (2007) MPHASYS: a mouse phenotype analysis system. BMC BIOINFORMATICS , 8 (ARTN 183) 10.1186/1471-2105-8-183. Gold open access

Calegari, R; Musolesi, M; Raimondi, F; Mascolo, C; (2007) CTG: A connectivity trace generator for testing the performance of opportunistic mobile systems. In: (pp. pp. 415-424).

Calegari, R; Musolesi, M; Raimondi, F; Mascolo, C; (2007) CTG: a connectivity trace generator for testing the performance of opportunistic mobile systems. In: (Proceedings) Proc. of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. (pp. pp. 415-424). ACM Press: New York, NY, USA.

Cameron, PJ; Montanaro, A; Newman, MW; Severini, S; Winter, A; (2007) On the quantum chromatic number of a graph. ELECTRON J COMB , 14 (1) , Article R81. Gold open access

Campbell, NDF; Vogiatzis, G; Hernández, C; Cipolla, R; (2007) Automatic 3D Object Segmentation in Multiple Views using Volumetric Graph-Cuts. In: Rajpoot, NM and Bhalerao, AH, (eds.) Proceedings of the British Machine Vision Conference 2007. British Machine Vision Association: Warwick, UK. Green open access
file

Capra, L; (2007) MaLM: Machine learning middleware to tackle ontology heterogeneity. In: (pp. pp. 449-454). Green open access
file

Carlson, TA; Hogendoorn, H; Fonteijn, H; Verstraten, F; (2007) Categorical selectivity and positional invariance in fusiform face area (FFA). PERCEPTION , 36 pp. 134-135.

Cesa-Bianchi, N; Grunwald, P; Gunn, S; Sebag, M; Shawe-Taylor, J; Triggs, B; (2007) Managing a Large network of excellence: Case Study of the PASCAL Network. (Report of the PASCAL Network of Excellence for the European Commission ).

Chandran, N; Groth, J; Sahai, A; (2007) Ring signatures of sub-linear size without random oracles. In: Arge, L and Cachin, C and Jurdzinski, T and Tarlecki, A, (eds.) Automata, Languages and Programming, Proceedings. (pp. 423 - 434). SPRINGER-VERLAG BERLIN

Chapman, C; Musolesi, M; Emmerich, W; Mascolo, C; (2007) Predictive Resource Scheduling in Computational Grids. In: (pp. pp. 1-10). IEEE Computer Society Press

Chapman, C; Musolesi, M; Emmerich, W; Mascolo, C; (2007) Predictive resource scheduling in computational grids. In:

Chen, C; Clack, C; Nagl, SB; (2007) Context sensitivity in individual-based modeling. BMC Systems Biology , 1 (Suppl ) , Article 44. 10.1186/1752-0509-1-S1-P44. Green open access
file

Chen, C; Nagl, S; Clack, C; (2007) A calculus for multi-level emergent behaviours in component-based systems and simulations. In: Aziz-Alaoui, MA and Bertelle, C and Cotsaftis, M and Duchamp, GHE, (eds.) (Proceedings) Emergent Properties in Natural and Artificial Complex Systems (EPNACS'2007), in ECCS'07 European Conference on Complex Systems. (pp. pp. 35-51). EPNACS'2007 within ECCS'07: Dresden.

Chen, CC; Nagl, SB; Clack, CD; (2007) Specifying, detecting and analysing emergent behaviours in multi-level agent-based simulations. In: (pp. pp. 969-976).

Cheng, L; (2007) 2007 Global IEEE Telecommunications Conference (GLOBECOM \'07). In: (Proceedings) Bridging distributed hash tables in wireless ad-hoc networks. (pp. pp. 5159-5163). IEEE: Washington, DC, USA.

Cheng, L; Jean, K; Ocampo, R; Galis, A; Kersch, P; Szabo, R; (2007) Secure Bootstrapping of Distributed Hash Tables in Dynamic Wireless Networks. In: (pp. pp. 1917-1922). IEEE Computer Society: Piscataway, US.

Cheong, J; Niculescu, S-I; Annaswamy, A; Srinivasan, MA; (2007) Synchronization control for physics-based collaborative virtual environments with shared haptics. ADVANCED ROBOTICS , 21 (9) pp. 1001-1029. 10.1163/156855307781035628.

Chiappa, S; Barber, D; (2007) Bayesian factorial linear Gaussian state-space models for biosignal decomposition. IEEE Signal Processing Letters , 14 (4) pp. 267-270. Green open access
file

Chiappa, S; Barber, D; (2007) Output grouping using Dirichlet Mixtures of Linear Gaussian State-Space models. PROCEEDINGS OF THE 5TH INTERNATIONAL SYMPOSIUM ON IMAGE AND SIGNAL PROCESSING AND ANALYSIS 446-+.

Chin, KW; Doërr, G; Cox, I; (2007) Trellis coded modulation to improve dirty paper trellis watermarking. In:

Chinchapatnam, PP; Rhode, KS; King, A; Gao, G; Mat, Y; Schaeffter, T; Hawkes, D; ... Sermesant, M; + view all (2007) Anisotropic wave propagation and apparent conductivity estimation in a fast electrophysiological model: Application to XMR interventional imaging. In: Ayache, N and Ourselin, S and Maeder, A, (eds.) MEDICAL IMAGE COMPUTING AND COMPUTER-ASSISTED INTERVENTION - MICCAI 2007, PT 1, PROCEEDINGS. (pp. 575 - 583). SPRINGER-VERLAG BERLIN

Chiotis, T; Clack, CD; (2007) Nonlinearity Linkage Detection for Financial Time Series Analysis. In: GECCO 2007: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2. (pp. 1179 - 1186). ASSOC COMPUTING MACHINERY

Choi, SH; Handley, M; (2007) Fairer TCP-friendly congestion control protocol for multimedia streaming applications. In:

Clarisse, L; Ghosh, S; Severini, S; Sudbery, A; (2007) The disentangling power of unitaries. PHYS LETT A , 365 (5-6) 400 - 402. 10.1016/j.physleta.2007.02.001.

Clark, D; Hunt, S; (2007) Non-Interference For Interactive Programs. UNSPECIFIED, Kongens Lyngby, Denmark.

Clements, M; de Vries, AP; Pouwelse, J; Wang, J; Reinders, MJT; (2007) Evaluation of Neighbourhood Selection Methods in Decentralized Recommendation Systems. In: (Proceedings) ACM SIGIR Workshop on Large Scale Distributed Systems for Information Retrieval (LSDS-IR).

Coffin, D; Smith, RE; (2007) Why Is Parity Hard for Estimation of Distribution Algorithms? In: (Proceedings) Annual Conference of Genetic and Evolutionary Computation Conference. (pp. p. 624). ASSOC COMPUTING MACHINERY

Collinson, M; Pym, D; Tofts, C; (2007) Erratum: Errata for Formal Aspects of Computing (2006) 18:495-517 and their consequences (Formal Aspects of Computing (2006) 18 (495-517)). Formal Aspects of Computing , 19 (4) pp. 551-554. 10.1007/s00165-007-0047-2.

Cook, B; (2007) Automatically Proving Concurrent Programs Correct. In: (pp. pp. 269-272). IEEE Computer Society

Cook, B; (2007) Automatically proving program termination. In: (pp. 1-).

Cook, B; (2007) Bringing hardware and software closer together with termination analysis. In: (pp. 201-).

Cook, B; Gotsman, A; Podelski, A; Rybalchenko, A; Vardi, MY; (2007) Proving that programs eventually do something good. In: (pp. pp. 265-276).

Cook, B; Kroening, D; Sharygina, N; (2007) Verification of Boolean programs with unbounded thread creation. Theoretical Computer Science , 388 (1-3) pp. 227-242. 10.1016/j.tcs.2007.07.050.

Cook, B; Podelski, A; Rybalchenko, A; (2007) Proving thread termination. In: (pp. pp. 320-330).

Cook, B; Sebastiani, R; (2007) Preface and Foreword. Electronic Notes in Theoretical Computer Science , 174 (8) pp. 3-6. 10.1016/j.entcs.2007.05.021.

Cook, PA; Symms, M; Boulby, PA; Alexander, DC; (2007) Optimal acquisition orders of diffusion-weighted MRI measurements. J MAGN RESON IMAGING , 25 (5) 1051 - 1058. 10.1002/jmri.20905.

Corlu, A; Choe, R; Durduran, T; Rosen, MA; Schweiger, M; Arridge, SR; Schnall, MD; (2007) Three-dimensional in vivo fluorescence diffuse optical tomography of breast cancer in humans. OPT EXPRESS , 15 (11) 6696 - 6716. Gold open access

Costa, P; Coulson, G; Gold, R; Lad, M; Mascolo, C; Mottola, L; Picco, GP; ... Zachariadis, S; + view all (2007) The RUNES Middleware for Networked Embedded Systems and its Application in a Disaster Management Scenario. In: (Proceedings) Proc. of the 5th IEEE Int. Conf. on Pervasive Computing and Communications (Percom07), White Plains, NY. (pp. pp. 69-78). IEEE Computer Society Press

Costa, P; Coulson, G; Gold, R; Lad, M; Mascolo, C; Mottola, L; Picco, GP; ... Zachariadis, S; + view all (2007) The RUNES middleware for networked embedded systems and its application in a disaster management scenario. In: (Proceedings) 5th IEEE International Conference on Pervasive Computing and Communications. (pp. 69-+). IEEE COMPUTER SOC Green open access
file

Courtois, N; (2007) How Fast can be Algebraic Attacks on Block Ciphers?. In: Biham, E and Handschuh, H and Lucks, S and Rijmen, V, (eds.) Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany

Courtois, N; Bard, GV; (2007) Algebraic Cryptanalysis of the Data Encryption Standard. In: Galbraith, SD, (ed.) (pp. pp. 152-169). Springer

Courtois, N; Debraize, B; (2007) Specific S-Box Criteria in Algebraic Attacks on Block Ciphers with Several Known Plaintexts. In: Lucks, S and Sadeghi, A-R and Wolf, C, (eds.) (pp. pp. 100-113). Springer

Cox, BT; Arridge, SR; Beard, PC; (2007) Gradient-based quantitative photoacoustic image reconstruction for molecular imaging. In:

Cox, BT; Arridge, SR; Beard, PC; (2007) Photoacoustic tomography with a limited-aperture planar sensor and a reverberant cavity. INVERSE PROBL , 23 (6) S95 - S112. 10.1088/0266-5611/23/6/S08.

Cox, BT; Arridge, SR; Beard, PC; (2007) Gradient-based quantitative photoacoustic image reconstruction for molecular imaging - art. no. 64371T. In: Oraevsky, AA and Wang, LV, (eds.) Photons Plus Ultrasound: Imaging and Sensing 2007. (pp. T4371 - T4371). SPIE-INT SOC OPTICAL ENGINEERING

Cox, BT; Kara, S; Arridge, SR; Beard, PC; (2007) k-space propagation models for acoustically heterogeneous media: Application to biomedical photoacoustics. J ACOUST SOC AM , 121 (6) 3453 - 3464. 10.1121/1.2717409.

Cox, I; Doërr, G; Furon, T; (2007) Watermarking is not Cryptography. In: (Proceedings) Proceedings of the 5th International Workshop on Digital Watermarking. (pp. pp. 1-15).

Cozzetto, D; Kryshtafovych, A; Ceriani, M; Tramontano, A; (2007) Assessment of predictions in the model quality assessment category. In: PROTEINS-STRUCTURE FUNCTION AND BIOINFORMATICS. (pp. 175 - 183). WILEY-LISS

Craft, B.R.; (2007) A sketching-oriented design method for information visualization software. Doctoral thesis , University of London. Green open access
file

Crandall, JR; Zinn, D; Byrd, M; Barr, E; East, R; (2007) ConceptDoppler: A weather tracker for internet censorship. In: (pp. pp. 352-365).

Cristianini, N; Shawe-Taylor, J; Saunders, C; (2007) Kernel Methods: A Paradigm for Pattern Analysis. In: In Camps-Valls, G and Rojo-Alvarez, J and Martinez-Ramon, M, (eds.) Kernel Methods in Bioengineering, Signal and Image Processing. (pp. 1-40). IDEA Group Publishing

Crosier, M; Griffin, LD; (2007) Zipf's law in image coding schemes. In:

Crosier, MS; Griffin, LD; (2007) Zipf's law distribution of local structure in natural images. In: PERCEPTION. (pp. 303 - 303). PION LTD

Curzon, P; Ruksenas, R; Blandford, A; (2007) An approach to formal verification of human-computer interaction. FORMAL ASPECTS OF COMPUTING , 19 (4) pp. 513-550. 10.1007/s00165-007-0035-6.

D

Damgard, I; Desmedt, Y; Fitzi, M; Nielsen, JB; (2007) Secure protocols with asymmetric trust. In: Kurosawa, K, (ed.) ADVANCES IN CRYPTOLOGY - ASIACRYPT 2007. (pp. 357 - 375). SPRINGER-VERLAG BERLIN

Danezis, G; (2007) Breaking four mix-related schemes based on Universal Re-encryption. International Journal of Information Security , 6 (6) pp. 393-402. 10.1007/s10207-007-0033-y.

Danezis, G; Clayton, R; (2007) Introducing traffic analysis. In: Digital Privacy: Theory, Technologies, and Practices. (pp. 95-116).

Danezis, G; Diaz, C; (2007) Space-efficient private search with applications to rateless codes. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , 4886 L pp. 148-162.

Danezis, G; Diaz, C; Faust, S; Kasper, E; Troncoso, C; Preneel, B; (2007) Efficient negative databases from cryptographic hash functions. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , 4779 L pp. 423-436.

Danezis, G; Diaz, C; Troncoso, C; (2007) Two-sided statistical disclosure attack. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , 4776 L pp. 30-44.

Danicic, S; Harman, M; Hierons, R; Howroyd, J; Laurence, MR; (2007) Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time. THEOR COMPUT SCI , 373 (1-2) 1 - 18. 10.1016/j.tcs.2006.10.001.

Danicic, S; Harman, M; Howroyd, J; Ouarbya, L; (2007) A non-standard semantics for program slicing and dependence analysis. J LOGIC ALGEBR PROGR , 72 (2) 191 - 206. 10.1016/j.jlap.2007.02.010.

Davies, GR; Hadjiprocopis, A; Altmann, DR; Chard, DT; Griffin, CM; Rashid, W; Parker, GJ; ... Miller, DH; + view all (2007) Normal-appearing grey and white matter T-1 abnormality in early relapsing-remitting multiple sclerosis: a longitudinal study. MULT SCLER , 13 (2) 169 - 177. 10.1177/1352458506070726.

De Lucia, M; Parker, GJM; Embleton, K; Newton, JM; Walsh, V; (2007) Diffusion tensor MRI-based estimation of the influence of brain tissue anisotropy on the effects of transcranial magnetic stimulation. NEUROIMAGE , 36 (4) 1159 - 1170. 10.1016/j.neuroimage.2007.03.062.

De Meo, P; Palopoli, L; Quattrone, G; Ursino, D; (2007) Combining description logics with synopses for inferring complex knowledge patterns from XML sources. INFORMATION SYSTEMS , 32 (8) pp. 1184-1224. 10.1016/j.is.2007.03.003.

De Meo, P; Quattrone, G; Terracina, G; Ursino, D; (2007) An XML-based multiagent system for supporting online recruitment services. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS , 37 (4) pp. 464-480. 10.1109/TSMCA.2007.897696.

De Meo, P; Quattrone, G; Terracina, G; Ursino, D; (2007) Semantics-guided clustering of heterogeneous XML schemas. In: Spaccapietra, S, (ed.) (Proceedings) International Conference on CoopIS/C and O/ODBASE 2005. (pp. 39-+). SPRINGER-VERLAG BERLIN

De Nardi, R; Holland, O; (2007) UltraSwarm: A further step towards a flock of miniature helicopters. In: Sahin, E and Spears, WM and Winfield, AFT, (eds.) Swarm Robotics. (pp. 116 - 128). SPRINGER-VERLAG BERLIN

Degabriele, JP; Pym, D; (2007) Economic aspects of a utility computing service. In:

Del Bue, A; Llado, X; Agapito, L; (2007) Segmentation of rigid motion from non-rigid 2D trajectories. PATTERN RECOGNITION AND IMAGE ANALYSIS, PT 1, PROCEEDINGS , 4477 491-+.

Del Bue, A; Smeraldi, F; Agapito, L; (2007) Non-rigid structure from motion using ranklet-based tracking and non-linear optimization. IMAGE AND VISION COMPUTING , 25 (3) pp. 297-310. 10.1016/j.imavis.2005.10.004.

Delaney, GW; Inagaki, S; Aste, T; (2007) Fine tuning DEM simulations to perform virtual experiments with three-dimensional granular packings. In: Aste, T and DiMatteo, T and Tordesillas, A, (eds.) (Proceedings) 20th Canberra International Physics Summer School and Workshop on Granular Materials. (pp. pp. 169-185). WORLD SCIENTIFIC PUBL CO PTE LTD

Desmedt, Y; (2007) Understanding why some network protocols are user-unfriendly. In: Christianson, B and Crispo, B and Malcolm, JA and Roe, M, (eds.) SECURITY PROTOCOLS. (pp. 220 - 227). SPRINGER-VERLAG BERLIN

Desmedt, Y; (2007) Understanding why some network protocols are user-unfriendly. In: Christianson, B and Crispo, B and Malcolm, JA and Roe, M, (eds.) SECURITY PROTOCOLS. (pp. 215 - 219). SPRINGER-VERLAG BERLIN

Desmedt, Y; (2007) Position statement in RFID S&P panel: From relative security to perceived secure. In: Dietrich, S and Dhamija, R, (eds.) FINANCIAL CRYPTOGRAPHY AND DATA SECURITY. (pp. 53 - 56). SPRINGER-VERLAG BERLIN

Desmedt, Y; Jakimoski, G; (2007) Non-degrading erasure-tolerant information authentication with an application to multicast stream authentication over lossy channels. In: Abe, M, (ed.) Topics in Cryptology - CT-RSA 2007, Proceedings. (pp. 324 - 338). SPRINGER-VERLAG BERLIN

Desmedt, Y; Kurosawa, K; (2007) A generalization and a variant of two threshold cryptosystems based on factoring. In: Garay, JA and Lenstra, AK and Mambo, M and Peralta, R, (eds.) Information Security, Proceedings. (pp. 351 - 361). SPRINGER-VERLAG BERLIN

Desmedt, Y; Lange, T; Burmester, M; (2007) Scalable authenticated tree based group key exchange for ad-hoc groups. In: Dietrich, S and Dhamija, R, (eds.) FINANCIAL CRYPTOGRAPHY AND DATA SECURITY. (pp. 104 - 118). SPRINGER-VERLAG BERLIN

Desmedt, Y; Pieprzyk, J; Steinfeld, R; Wang, HX; (2007) On secure multi-party computation in black-box groups. In: Menezes, A, (ed.) ADVANCES IN CRYPTOLOGY - CRYPTO 2007, PROCEEDINGS. (pp. 591 - 612). SPRINGER-VERLAG BERLIN

Di Matteo, T; Aste, T; (2007) "No worries": Trends in econophysics. EUROPEAN PHYSICAL JOURNAL B , 55 (2) pp. 121-122. 10.1140/epjb/e2007-00047-1.

Di Penta, M; Harman, M; Antoniol, G; Qureshi, F; (2007) The effect of communication overhead on software maintenance project staffing: A search-based approach. In: (pp. pp. 315-324).

Di Penta, M; Harman, M; Antoniol, G; Qureshi, F; (2007) The effect of communication overhead on software maintenance project staffing: a search-based approach. In: 2007 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE. (pp. 64 - 73). IEEE

Diall, H; Raja, K; Daskalopoulos, I; Hailes, S; Roussos, G; Torfs, T; Van Hoof, C; (2007) Sensor Cube: A Mular, Ultra-Compat, Power Aware Platform for Sensor Networks. IPSJ Journal

Diaz, C; Troncoso, C; Danezis, G; (2007) Does additional information always reduce anonymity? WPES'07 - Proceedings of the 2007 ACM Workshop on Privacy in Electronic Society pp. 72-75. 10.1145/1314333.1314347.

Diethe, T; Bentley, P; (2007) Modelling the effects of colony age on the foraging behaviour of harvester ants. In: Costa, FAE and Rocha, LM and Costa, E and Harvey, I and Coutinho, A, (eds.) (Proceedings) 9th European Conference on Artificial Life. (pp. 706-+). SPRINGER-VERLAG BERLIN

Diethe, T; Bentley, PJ; (2007) Modelling the Effects of Colony Age on the Foraging Behaviour of Harvester Ants. In: Costa, FAE and Rocha, LM and Costa, E and Harvey, I and Coutinho, A, (eds.) (pp. pp. 706-715). Springer

Diethe, T; Shawe-Taylor, J; (2007) Linear Programming Boosting for the Classification of Musical Genre. In: (Proceedings) Neural Information Processing Systems 2007 Workshop: Music, Brain & Cognition.

Dillig, I; Dillig, T; Aiken, A; (2007) Static error detection using semantic inconsistency inference. In: (pp. pp. 435-445).

Dillig, I; Dillig, T; Aiken, A; (2007) Static error detection using semantic inconsistency inference. ACM SIGPLAN Notices , 42 (6) pp. 435-445.

Dingwall-Smith, A; Finkelstein, A; (2007) Checking complex compositions of web services against policy constraints. Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS 2007; In Conjunction with ICEIS 2007 pp. 94-103.

Doherty, G; Blandford, A; (2007) Lecture Notes in Comuter Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes: Preface. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , 4323 L

Doherty, G; Blandford, A; (2007) Proc. DSVIS 2006. [Book]. Lecture Notes in Computer Science: Vol.4323. Springer: Berlin / Heidelberg.

Dolia, A; Harris, C; Shawe-Taylor, J; Titterington, M; (2007) Kernal Ellipsoid Trimming. Computational Statistics and Data Analysis , 52 (1) pp. 309-324.

Dolia, AN; Harris, CJ; Shawe-Taylor, JS; Titterington, DM; (2007) Kernel ellipsoidal trimming. ELSEVIER SCIENCE BV

Dong, Z; Kautz, J; Theobalt, C; Seidel, HP; (2007) Interactive global illumination using implicit visibility. In: (pp. pp. 77-86).

Douiri, A; Schweiger, M; Riley, J; Arridge, SR; (2007) Anisotropic diffusion regularization methods for diffuse optical tomography using edge prior information. In: MEASUREMENT SCIENCE & TECHNOLOGY. (pp. 87 - 95). IOP PUBLISHING LTD

Douiri, A; Schweiger, M; Riley, J; Arridge, SR; (2007) Anisotropic diffusion regularization methods for diffuse optical tomography using edge prior information. Measurement Science and Technology , 18 (1) pp. 87-95. 10.1088/0957-0233/18/1/011.

Dowell, J; (2007) Digital games and learning gains. (Videogames and education ). Organisation for Economic Cooperation and Development: Paris.

Dowell, J; Gladisch, T; (2007) Design of argument diagramming for case-based group learning. In: (pp. pp. 99-106).

Drimer, S; Murdoch, SJ; (2007) Keep your enemies close: Distance bounding against smartcard relay attacks. In: (Proceedings) 16th USENIX Security Symposium. (pp. pp. 87-102). USENIX ASSOC

Duboc, L; Rosenblum, D; Wicks, T; (2007) A framework for characterization and analysis of software system scalability. In: (pp. pp. 375-384). ACM Press: New York, US.

Duke, J; Clack, CD; (2007) Evolutionary simulation of hedging pressure in futures markets. In: (Proceedings) IEEE Congress on Evolutionary Computation. (pp. pp. 782-789). IEEE

Duke, J; Clack, CD; (2007) Using an Evolutionary Agent-Based Simulation to Explore Hedging Pressure in Futures Markets. In: GECCO 2007: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2. (pp. 2257 - 2257). ASSOC COMPUTING MACHINERY

Dunn, S; Gold, N; Hughes, L; (2007) CHIMERA: A Service Oriented Computing Approach for Archaeological Research. In: : Berlin.

Durlach, N; Slater, M; (2007) Editorial notes: Changes in presence. PRESENCE-TELEOPERATORS AND VIRTUAL ENVIRONMENTS , 16 (1) III-IV. 10.1162/pres.16.1.iii.

Dyrby, TB; Sogaard, LV; Parker, GJ; Alexander, DC; Lind, NM; Baare, WFC; Hay-Schmidt, A; ... Jelsing, J; + view all (2007) Validation of in vitro probabilistic tractography. NEUROIMAGE , 37 (4) 1267 - 1277. 10.1016/j.neuroimage.2007.06.022.

de Koning, TCM; Veldhoven, P; Knoche, H; Kooij, RE; (2007) Of MOS and men: bridging the gap between objective and subjective quality measurements in mobile TV. In: (pp. 65070P-65070P).

de Medeiros, B; Stajano, F; Clayton, R; Laurie, B; Burmester, M; Christianson, B; Desmedt, Y; ... Li, J; + view all (2007) Community-centric vanilla-rollback access, or: How I stopped worrying and learned to love my computer. In: Christianson, B and Crispo, B and Malcolm, JA and Roe, M, (eds.) SECURITY PROTOCOLS. (pp. 238 - 244). SPRINGER-VERLAG BERLIN

de Vallejo, IL; Hailes, S; Conroy-Dalton, R; Penn, A; (2007) The Introduction of Location Technologies into an Office Environment: the Nationwide Case Study. In: The Internet of Things: from RFID to Pervasive Networked Systems. Auerbach Publications, CRC Press

E

Egi, N; Greenhalgh, A; Handley, M; Hoerdt, M; Mathy, L; Schooley, T; (2007) Evaluating Xen for router virtualization. In: (Proceedings) 16th International Conference on Computer Communications and Networks. (pp. 1256-+). IEEE

Eisert, J; Brandão, FGSL; Audenaert, KMR; (2007) Quantitative entanglement witnesses. New Journal of Physics , 9 10.1088/1367-2630/9/3/046. Gold open access

Elaloufi, R; Arridge, S; Pierrat, R; Carminati, R; (2007) Light propagation in multilayered scattering media beyond the diffusive regime. APPLIED OPTICS , 46 (13) pp. 2528-2539. 10.1364/AO.46.002528.

Emmerich, W; Aoyama, M; Sventek, J; (2007) The Impact of Research on Middleware Technology. ACM SIGSOFT Software Engineering Notes , 32 (1) pp. 21-46. 10.1145/1226816.1226829.

Enfield, LC; Gibson, AP; Everdell, NL; Delpy, DT; Schweiger, M; Arridge, SR; Richardson, C; ... Hebden, JC; + view all (2007) Three-dimensional time-resolved optical mammography of the uncompressed breast. APPL OPTICS , 46 (17) 3628 - 3638.

Evans, C; Gibbons, NJ; (2007) The interactivity effect in multimedia learning. COMPUTERS & EDUCATION , 49 (4) pp. 1147-1160. 10.1016/j.compedu.2006.01.008.

Evgeniou, T; Pontil, M; Toubia, O; (2007) A convex optimization approach to modeling consumer heterogeneity in conjoint estimation. MARKET SCI , 26 (6) 805 - 818. 10.1287/mksc.1070.0291.

F

Fa, R; Sharif, BS; Tsimenidis, CC; (2007) Downlink MC-2D-CDMA over time-variant frequency-selective Rayleigh fading channels. In: (Proceedings) IEEE International Conference on Communications (ICC 2007). (pp. pp. 2956-2960). IEEE

Fa, R; Sharif, BS; Tsimenidis, CC; (2007) Iterative detection and phase recovery for downlink DS and MC-CDDAAFlat rayleigh fading channels. In: (Proceedings) 65th IEEE Vehicular Technology Conference. (pp. pp. 2315-2319). IEEE

Faisal, S; Cairns, P; Blandford, A; (2007) Challenges of evaluating the Information Visualisation experience. In:

Fauqueur, J; Brostow, G; Cipolla, R; (2007) Assisted video object labeling by joint tracking of regions and keypoints. In: 2007 IEEE 11TH INTERNATIONAL CONFERENCE ON COMPUTER VISION, VOLS 1-6. (pp. 2309 - 2315). IEEE

Fawcett, TW; Kuijper, B; Pen, I; Weissing, FJ; (2007) Should attractive males have more sons? Behavioral Ecology , 18 (1) pp. 71-80. 10.1093/beheco/arl052.

Ferreira, D; Zacarias, M; Malheiros, M; Ferreira, P; (2007) Approaching process mining with sequence clustering: Experiments and findings. In: Alonso, G and Dadam, P and Rosemann, M, (eds.) (Proceedings) 5th International Conference on Business Process Management. (pp. 360-+). SPRINGER-VERLAG BERLIN

Finkelstein, A; (2007) Modelling-in-the-Large. In: IEEE Computer Society

Flechais, I; Mascolo, C; Sasse, MA; (2007) Integrating security and usability into the requirements and design process. International Journal of Electronic Security and Digital Forensics , 1 (1) 12 - 26. 10.1504/IJESDF.2007.013589. Green open access
file

Fonseca, R; Gnawali, O; Jamieson, K; Levis, P; (2007) Four-Bit Wireless Link Estimation. In: Dovrolis, C and Paxson, V and Savage, S, (eds.) ACM SIGCOMM

Fonteijn, HMJ; Verstraten, FAJ; Norris, DG; (2007) Probabilistic inference on Q-ball Imaging data. IEEE TRANSACTIONS ON MEDICAL IMAGING , 26 (11) pp. 1515-1524. 10.1109/TMI.2007.907297.

Foster, H; Emmerich, W; Kramer, J; Magee, J; Rosenblum, D; Uchitel, S; (2007) Model checking service compositions under resource constraints. In: (Proceedings) Proc. of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. (pp. pp. 225-234). ACM Press

Freeman, RM; Julier, SJ; Steed, AJ; (2007) A method for predicting marker tracking error. In: Green open access
file

Freeman, RM; Steed, A; (2007) Interactive modeling for augmented reality. In: Alexa, M and Finkelstein, A, (eds.) (pp. p. 19). ACM

Friedman, D; Leeb, R; Dikovsky, L; Reiner, M; Pfurtscheller, G; Slater, M; (2007) Controlling a virtual body by thought in a highly-immersive virtual environment - A case study in using a brain-computer interface in a virtual-reality cave-like system. In: Braz, J and Vazquez, PP and Pereira, JM, (eds.) (Proceedings) 2nd International Conference on Computer Graphics Theory and Applications/2nd International Conference on Computer Vision Theory and Applications. (pp. 83-+). INSTICC-INST SYST TECHNOLOGIES INFORMATION CONTROL & COMMUNICATION

Friedman, D; Leeb, R; Guger, C; Steed, A; Pfurtscheller, G; Slater, M; (2007) Navigating virtual reality by thought: What is it like? PRESENCE-TELEOP VIRT , 16 (1) 100 - 110.

Friedman, D; Steed, A; Slater, M; (2007) Spatial social behavior in second life. In: Pelachaud, C and Martin, JC and Andre, E and Chollet, G and Karpouzis, K and Pele, D, (eds.) (Proceedings) 7th International Conference on Intelligent Virtual Agents. (pp. 252-+). SPRINGER-VERLAG BERLIN

Friedman, D; Suji, K; Slater, M; (2007) SuperDreamCity: An immersive virtual reality experience that responds to electrodermal activity. In: Paiva, A and Prada, R and Picard, RW, (eds.) (Proceedings) 2nd International Conference on Affective Computing and Intellegent Interaction. (pp. 570-+). SPRINGER-VERLAG BERLIN

Fuehrmann, C; Pym, D; (2007) On categorical models of classical logic and the Geometry of Interaction. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE , 17 (5) pp. 957-1027. 10.1017/S0960129507006287.

Fuhs, C; Giesl, J; Middeldorp, A; Schneider-Kamp, P; Thiemann, R; Zankl, H; (2007) SAT solving for termination analysis with polynomial interpretations. In: MarquesSilva, J and Sakallah, KA, (eds.) (Proceedings) 10th International Conference on Theory and Applications of Satisfiability Testing. (pp. 340-+). SPRINGER-VERLAG BERLIN

Furniss, D; Blandford, A; Curzon, P; (2007) Usability evaluation methods in practice: Understanding the context in which they are embedded. In: (pp. pp. 253-256).

Furniss, D; Blandford, A; Curzon, P; (2007) Usability evaluation methods in practice: understanding the context in which they are embedded. In: Brinkman, W-P and Ham, D-H and Wong, BLW, (eds.) (pp. pp. 253-256). ACM Green open access
file

G

Gabriel, AT; Meyer, T; Germano, G; (2007) Qt-based Molecular Graphics Application (QMGA). [Software]. QMGA / SourceForge Gold open access

Gallagher, K; Hall, T; Black, S; (2007) Reducing Regression Test Size by Exclusion. In: (pp. pp. 154-163). IEEE Computer Society

Gandhe, A; Yu, SH; Mehra, R; Smith, RE; (2007) Fused, multi-spectral automatic target recognition with XCS. In: (pp. 1874-).

Garlaschelli, D; Di Matteo, T; Aste, T; Caldarelli, G; Loffredo, MI; (2007) Interplay between topology and dynamics in the World Trade Web. EUROPEAN PHYSICAL JOURNAL B , 57 (2) pp. 159-164. 10.1140/epjb/e2007-00131-6.

Garzotto, F; Perrone, V; (2007) Industrial acceptability of web design methods: An empirical study. JOURNAL OF WEB ENGINEERING , 6 (1) pp. 73-96.

Gelly, S; Silver, D; (2007) Combining online and offline knowledge in UCT. In: (pp. pp. 273-280).

Gorogiannis, N; Ryan, M; (2007) Minimal refinements of specifications in modal and temporal logics. FORMAL ASPECTS OF COMPUTING , 19 (4) pp. 417-444. 10.1007/s00165-007-0040-9.

Gotsman, A; Berdine, J; Cook, B; Rinetzky, N; Sagiv, M; (2007) Local reasoning for storable locks and threads. In: (pp. pp. 19-37).

Gotsman, A; Berdine, J; Cook, B; Sagiv, M; (2007) Thread-modular shape analysis. In: (pp. pp. 266-277).

Green, P; Kautz, J; Durand, F; (2007) Efficient reflectance and visibility approximations for environment map rendering. COMPUTER GRAPHICS FORUM , 26 (3) 495 - 502.

Griffin, LD; (2007) The second order local-image-structure solid. IEEE Transactions on Pattern Analysis and Machine Intelligence , 29 (8) 1355 - 1366. 10.1109/TPAMI.2007.1066. Green open access
file

Griffin, LD; Lillholm, M; (2007) Feature category systems for 2nd order local image structure induced by natural image statistics and otherwise - art. no. 649209. In: Rogowitz, BE and Pappas, TN and Daly, SJ, (eds.) HUMAN VISION AND ELECTRONIC IMAGING XII. (pp. 49209 - 49209). SPIE-INT SOC OPTICAL ENGINEERING

Groenegress, C; Slater, M; Tamke, M; Ramsgard-Thomsen, M; (2007) Spinoff - Transferring Energy between Real and Virtual Worlds. In: (Proceedings) Eurographics 2007. : Prague, Czech Republic.

Gross, T; Marquardt, N; (2007) CollaborationBus: An editor for the easy configuration of ubiquitous computing environments. In: (pp. pp. 307-314).

Groth, J; (2007) Fully anonymous group signatures without random oracles. In: Kurosawa, K, (ed.) ADVANCES IN CRYPTOLOGY - ASIACRYPT 2007. (pp. 164 - 180). SPRINGER-VERLAG BERLIN

Groth, J; Lu, S; (2007) A ton-interactive shuffle with pairing based verifiability. In: Kurosawa, K, (ed.) ADVANCES IN CRYPTOLOGY - ASIACRYPT 2007. (pp. 51 - 67). SPRINGER-VERLAG BERLIN

Groth, J; Lu, S; (2007) Verifiable shuffle of large size ciphertexts. In: Okamoto, T and Wang, X, (eds.) Public Key Cryptography - PKC 2007. (pp. 377 - 392). SPRINGER-VERLAG BERLIN

Groth, J; Ostrovsky, R; (2007) Cryptography in the multi-string model. In: Menezes, A, (ed.) Advances in Cryptology - CRYPTO 2007. (pp. 323 - 341). Springer Berlin Heidelberg Green open access
file

Grunewalder, S; Hochreiter, S; Obermayer, K; (2007) Optimality of LSTD and its relation to MC. In: 2007 IEEE INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS, VOLS 1-6. (pp. 338 - 343). IEEE

Guger, C; Leeb, R; Friedman, D; Vinayagamoorthy, V; Edlinger, G; Slater, M; (2007) Controlling virtual environments by thoughts. Clinical Neurophysiology , 118 (4) , Article e36. 10.1016/j.clinph.2006.11.093.

Guo, Q; Hierons, RA; Harman, M; Derderian, K; (2007) Heuristics for fault diagnosis when testing from finite state machines. SOFTW TEST VERIF REL , 17 (1) 41 - 57. 10.1002/stvr.352.

Guo, Y; Chen, C; Zhou, S; (2007) Inferring and visualizing topological structures of largescale complex network. In:

Guo, Y; Chen, C; Zhou, S; (2007) Topology visualisation tool for large-scale communications networks. ELECTRON LETT , 43 (10) 597 - 598. 10.1049/el:20070514.

H

Hackworth, T; Treleaven, P; (2007) Modelling terrorism. In: (Proceedings) IEEE International Conference on Networking, Sensing and Control. (pp. pp. 255-260). IEEE

Hall, MG; Alexander, DC; (2007) Covalidation of a Monte-Carlo and an analytical model of diffusion for synthetic diffusion-weighted MR data. In: (Proceedings) SNDS bi-national workshop on MRI of brain connectivity and microstructure: measurement and validation.

Hammer, C; Krinke, J; Nodes, F; (2007) Intransitive noninterference in dependence graphs. In: (pp. pp. 119-128).

Handley, M; Kouvelas, I; Speakman, T; Vicisano, L; (2007) RFC 5015: Bidirectional Protocol Independent Multicast (BIDIR-PIM). IETF

Handley, ME; Rasaiyaah, J; Barnett, J; Thakker, M; Pollara, G; Katz, DR; Chain, BM; (2007) Expression and function of mixed lineage kinases in dendritic cells. INT IMMUNOL , 19 (8) 923 - 933. 10.1093/intimm/dxm050.

Handley, ME; Rasaiyaah, J; Chain, BM; Katz, DR; (2007) Mixed lineage kinases (MLKs): a role in dendritic cells, inflammation and immunity? INT J EXP PATHOL , 88 (2) 111 - 126. 10.1111/j.1365-2613.2007.00531.x. Gold open access

Hardoon, DR; Mourao-Miranda, J; Brammer, M; Shawe-Taylor, J; (2007) Unsupervised analysis of fMRI data using kernel canonical correlation. NEUROIMAGE , 37 (4) 1250 - 1259. 10.1016/j.neuroimage.2007.06.017.

Hardoon, DR; Mourão-Miranda, J; Brammer, M; Shawe-Taylor, J; (2007) Unsupervised analysis of fMRI data using kernel canonical correlation. NeuroImage , 37 (4) pp. 1250-1259. 10.1016/j.neuroimage.2007.06.017.

Hardoon, DR; Shawe-Taylor, J; Ajanki, A; Puolamäki, K; Kaski, S; (2007) Information retrieval by inferring implicit queries from eye movements. In: (pp. pp. 179-186). Gold open access

Harman, M; (2007) Automated test data generation using search based software engineering. In:

Harman, M; (2007) A message from the TAIC PART 2007 and mutation 2007 general chair. Proceedings - Testing: Academic and Industrial Conference Practice and Research Techniques, TAIC PART-Mutation 2007 10.1109/TAICPART.2007.4344089.

Harman, M; (2007) The current state and future of search based software engineering. In: Briand, LC and Wolf, AL, (eds.) FOSE 2007: FUTURE OF SOFTWARE ENGINEERING. (pp. 342 - 357). IEEE COMPUTER SOC

Harman, M; (2007) Search based software engineering for program comprehension. In: Wong, K and Stroulia, E and Tonella, P, (eds.) ICPC 2007: 15TH IEEE INTERNATIONAL CONFERENCE ON PROGRAM COMPREHENSION, PROCEEDINGS. (pp. 3 - 13). IEEE COMPUTER SOC

Harman, M; Hassoun, Y; Lakhotia, K; McMinn, P; Wegener, J; (2007) The impact of input domain reduction on search-based test data generation. In: (pp. pp. 155-164).

Harman, M; Lakhotia, K; McMinn, P; (2007) A Multi-Objective Approach To Search-Based Test Data Generation. In: GECCO 2007: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2. (pp. 1098 - 1105). ASSOC COMPUTING MACHINERY

Harman, M; McMinn, P; (2007) A theoretical & empirical znalysis of evolutionary testing and hill climbing for structural test data generation. In: (pp. pp. 73-83).

Harman, M; Tratt, L; (2007) Pareto Optimal Search Based Refactoring at the Design Level. In: GECCO 2007: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2. (pp. 1106 - 1113). ASSOC COMPUTING MACHINERY

Hartmann, MJ; Brandão, FGSL; Plenio, MB; (2007) Effective Spin systems in coupled microcavities. Physical Review Letters , 99 (16) 10.1103/PhysRevLett.99.160501.

Hartmann, MJ; Brandão, FGSL; Plenio, MB; (2007) Strongly interacting polaritons in coupled arrays of cavities. Conference on Lasers and Electro-Optics Europe - Technical Digest 10.1109/CLEOE-IQEC.2007.4386794.

Hassabis, D; Kumaran, D; Maguire, EA; (2007) Using imagination to understand the neural basis of episodic memory. J NEUROSCI , 27 (52) 14365 - 14374. 10.1523/JNEUROSCI.4549-07.2007. Gold open access

Hassabis, D; Kumaran, D; Vann, SD; Maguire, EA; (2007) Patients with hippocampal amnesia cannot imagine new experiences. P NATL ACAD SCI USA , 104 (5) 1726 - 1731. 10.1073/pnas.0610561104. Gold open access

Hassabis, D; Maguire, EA; (2007) Deconstructing episodic memory with construction. TRENDS COGN SCI , 11 (7) 299 - 306. 10.1016/j.tics.2007.05.001.

Heiskala, J; Neuvonen, T; Grant, PE; Nissilä, I; (2007) Significance of tissue anisotropy in optical tomography of the infant brain. Applied Optics , 46 (10) pp. 1633-1640.

Henning, GB; Yasin, I; Witton, C; (2007) Remote masking and the binaural masking-level difference. In: Kollmeier, B and Hohmann, V and Mauermann, M and Verhey, J and Klump, G and Langemann, U and Uppenkamp, S, (eds.) HEARING - FROM SENSORY PROCESSING TO PERCEPTION. (pp. 457 - 466). SPRINGER-VERLAG BERLIN

Herbrich, R; Minka, T; Graepel, T; (2007) TrueSkill ™: A Bayesian skill rating system. In: (pp. pp. 569-576).

Herbster, M; Pontil, M; (2007) Prediction on a graph with a perceptron. In: (pp. pp. 577-584).

Herbster, MJ; Galeano, SR; (2007) A fast method to predict the labeling of a tree. In: Castillo, C and Davison, BD and Denoyer, L and Gallinari, P, (eds.) (Proceedings) Graph Labeling Workshop (Graphlab'07), 18th European Conference on Machine Learning (ECML'07). (pp. pp. 9-15).

Herbster, MJ; Pontil, M; (2007) Prediction on a Graph with the Perceptron. In: (Proceedings) Advances in Neural Information Processing Systems (NIPS). (pp. pp. 41-48). MIT Press

Hernandez, C; Vogiatzis, G; Brostow, GJ; Stenger, B; Cipolla, R; (2007) Non-rigid photometric stereo with colored lights. In: 2007 IEEE 11TH INTERNATIONAL CONFERENCE ON COMPUTER VISION, VOLS 1-6. (pp. 873 - 880). IEEE

Hetherington, J; Bogle, IDL; Saffrey, P; Margoninski, O; Li, L; Rey, MV; Yamaji, S; ... Warner, A; + view all (2007) Addressing the challenges of multiscale model management in systems biology. In: (pp. pp. 962-979).

Hetherington, J; Bogle, IDL; Saffrey, P; Margoninski, O; Li, L; Rey, MV; Yamaji, S; ... Warner, A; + view all (2007) Addressing the challenges of multiscale model management in systems biology. In: COMPUTERS & CHEMICAL ENGINEERING. (pp. 962 - 979). PERGAMON-ELSEVIER SCIENCE LTD

Hipwell, JH; Tanner, C; Crum, WR; Schnabel, JA; Hawkes, DJ; (2007) A new validation method for x-ray mammogram registration algorithms using a projection model of breast x-ray compression. IEEE T MED IMAGING , 26 (9) 1190 - 1200. 10.1109/TMI.2007.903569.

Hirsch, L; Hirsch, R; Saeedi, M; (2007) Evolving Lucene Search Queries for Text Classification. In: (Proceedings) Annual Conference of Genetic and Evolutionary Computation Conference. (pp. 1604-+). ASSOC COMPUTING MACHINERY

Hirsch, R; (2007) Peirce Algebras and Boolean Modules. J. Log. Comput. , 17 (2) pp. 255-283.

Hirsch, R; (2007) Peirce algebras and boolean modules. JOURNAL OF LOGIC AND COMPUTATION , 17 (2) pp. 255-283. 10.1093/logcom/exl037.

Hirsch, R; (2007) Relation algebra reducts of cylindric algebras and complete representations. JOURNAL OF SYMBOLIC LOGIC , 72 (2) pp. 673-703. 10.2178/jsl/1185803629.

Hirsch, R; Hodkinson, I; (2007) Games in Algebraic Logic: Axiomatisations and Beyond. Studies in Logic , 11

Hirsch, R; Mikulas, S; (2007) Representable semilattice-ordered monoids. ALGEBRA UNIVERSALIS , 57 (3) pp. 333-370. 10.1007/s00012-007-2055-8.

Hirsch, R; Tzanis, ; E, ; (2007) A Logic for Probabilistic XML Documents with Applications to Updates. In: Cooper, SB and Kent, TF and Löwe, B and and, SA, (eds.) (Proceedings) Computability in Europe 2007: Computation and Logic in the Real World. University of Siena.: Siena..

Horesh, L; Bollhofer, M; Schweiger, M; Arridge, SR; Holder, DS; (2007) Novel Large-Scale 3D Electrical Impedance Tomography Modeling of the Human Head. In: Kim, SI and Suh, TS, (eds.) WORLD CONGRESS ON MEDICAL PHYSICS AND BIOMEDICAL ENGINEERING 2006, VOL 14, PTS 1-6. (pp. 3858 - 3861). SPRINGER-VERLAG BERLIN

Horesh, L; Schweiger, M; Arridge, SR; Holder, DS; (2007) Large-Scale Non-Linear 3D Reconstruction Algorithms for Electrical Impedance Tomography of the Human Head. In: Kim, SI and Suh, TS, (eds.) WORLD CONGRESS ON MEDICAL PHYSICS AND BIOMEDICAL ENGINEERING 2006, VOL 14, PTS 1-6. (pp. 3862 - 3865). SPRINGER-VERLAG BERLIN

Hormozdiari, F; Berenbrink, P; Przulj, N; Sahinalp, C; (2007) 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.) (Proceedings) RECOMB Satellite Conference on Systems Biology and Computational Proteomics. (pp. 1-+). SPRINGER-VERLAG BERLIN

Hormozdiari, F; Berenbrink, P; Przulj, N; Sahinalp, SC; (2007) Not all scale-free networks are born equal: The role of the seed graph in PPI network evolution. PLOS COMPUTATIONAL BIOLOGY , 3 (7) pp. 1373-1384. 10.1371/journal.pcbi.0030118.

Hornecker, E; Marshall, P; Rogers, Y; (2007) From entry to access - How shareability comes about. In: (pp. pp. 328-342).

Hu, M; Penney, G; Edwards, P; Figl, M; Hawkes, D; (2007) 3D reconstruction of internal organ surfaces for Minimal Invasive Surgery. In: Ayache, N and Ourselin, S and Maeder, A, (eds.) (Proceedings) 10th International Conference on Medical Image Computing and Computer-Assisted Intervention (MICCAI 2007). (pp. 68-+). SPRINGER-VERLAG BERLIN

Huang, Y; Bhatti, S; Sorensen, S; (2007) Adaptive MANET Routing for Low Overhead. In: IEEE Computer Society Press: Los Alamitos, US.

Huang, Y; Bhatti, S; Sorensen, S-A; (2007) Analyzing the impact of topology update strategies on the performance of a proactive MANET routing protocol. In: (pp. p. 13). IEEE Computer Society Press: Piscataway, U.S..

Huang, Y.; (2007) Improving signalling performance of proactive MANET routing protocols. Doctoral thesis , University of London. Green open access
file

Huici, F; Handley, M; (2007) An edge-to-edge filtering architecture against DoS. ACM SIGCOMM COMPUTER COMMUNICATION REVIEW , 37 (2) pp. 41-50.

Hulme, DJ; Hirsch, R; Buxton, BF; Lotto, RB; (2007) A new reduction from 3SAT to n-partite graphs. In: 2007 IEEE Symposium on Foundations of Computational Intelligence, Vols 1 and 2. (pp. 235 - 238). IEEE

Hunter, A; (2007) Real arguments are approximate arguments. In: (pp. pp. 66-71).

Hunter, A; (2007) Elements of argumentation. (Vol.4724). SPRINGER-VERLAG BERLIN

Hussain, Z; Laviolette, F; Marchand, M; Shawe-Taylor, J; Brubaker, SC; Mullin, MD; (2007) Revised loss bounds for the set covering machine and sample-compression loss bounds for imbalanced data. J MACH LEARN RES , 8 2533 - 2549. Gold open access

I

Inglesant, P; Sasse, MA; (2007) Usability is the best policy: Public policy and the lived experience of transport systems in London. In: Green open access
file

J

Jacobs, K.; (2007) Illumination for mixed reality of complex-to-model scenes. Doctoral thesis , University of London. Green open access
file

Jamieson, K; Balakrishnan, H; (2007) PPR: Partial packet recovery for wireless networks. In: (pp. pp. 409-420).

Jansen, S; Brinkkernper, S; Finkelstein, A; (2007) Providing transparency in the business of software: A modeling technique for software supply networks. Establishing the Foundation of Collaborative Networks , 243 677 - 686.

Jansen, S; Finkelstein, A; Brinkkemper, S; (2007) Analyzing the Business of Software: A Modelling Technique for Software Supply Networks. CAiSE Forum , 247

Jiang, Q; Alexander, DC; Ding, GL; Zhang, ZG; Pourabdollah, S; Nejad, D; Zhang, L; ... Chopp, M; + view all (2007) White matter reorganization after stroke measured by Gaussian DTI, q-ball, and PAS MRI. In: (pp. p. 66). International Society for Magnetic Resonance in: Berkeley, US.

Jin, B; (2007) Conjugate gradient method for the Robin inverse problem associated with the Laplace equation. INTERNATIONAL JOURNAL FOR NUMERICAL METHODS IN ENGINEERING , 71 (4) pp. 433-453. 10.1002/nme.1949.

Jin, B; Marin, L; (2007) The method of fundamental solutions for inverse source problems associated with the steady-state heat conduction. INTERNATIONAL JOURNAL FOR NUMERICAL METHODS IN ENGINEERING , 69 (8) pp. 1570-1589. 10.1002/nme.1826.

Johnson, M; Brostow, GJ; Shotton, J; Kwatra, V; Cipolla, R; (2007) Semantic photo synthesis - art. no. 64920X. In: Rogowitz, BE and Pappas, TN and Daly, SJ, (eds.) HUMAN VISION AND ELECTRONIC IMAGING XII. (pp. X4920 - X4920). SPIE-INT SOC OPTICAL ENGINEERING

Johnson, M; Laurie, B; Desmedt, Y; Anderson, R; Christianson, B; Roe, M; Bond, M; ... de Medeiros, B; + view all (2007) Implementing a multi-hat PDA (Transcript of discussion). In: Christianson, B and Crispo, B and Malcolm, JA and Roe, M, (eds.) SECURITY PROTOCOLS. (pp. 308 - 314). SPRINGER-VERLAG BERLIN

Jones, DT; (2007) Improving the accuracy of transmembrane protein topology prediction using evolutionary information. BIOINFORMATICS , 23 (5) 538 - 544. 10.1093/bioinformatics/btl677.

Julier, S; Beeharee, A; MacIntyre, B; Steed, A; (2007) MRUI Adaptation in the Presence of Uncertainty. In: (Proceedings) MRUI'07: 2nd International Workshop at the IEEE Virtual Reality 2007 Conference.

Julier, SJ; Beeharee, A; MacIntyre, B; Steed, A; (2007) MRUI Adaptation in the Presence of Uncertainty. In: (Proceedings) The 2nd Mixed Reality User Interfaces: Specification, Authoring, Adaptation Workshop 2007 (MRUI'07).

Julier, SJ; LaViola, JJ; (2007) On Kalman Filtering with Nonlinear Equality Constraints. IEEE Transactions on Signal Processing , 55 (6) pp. 2774-2784. 10.1109/TSP.2007.893949. Green open access
file

Julier, SJ; LaViolar, JJ; (2007) On Kalman filtering with nonlinear equality constraints. IEEE Transactions on Signal Processing , 55 (6 II) pp. 2774-2784. 10.1109/TSP.2007.893949.

Julier, SJ; Uhlmann, JK; (2007) Using covariance intersection for SLAM. Robotics and Autonomous Systems , 55 (1) pp. 3-20. 10.1016/j.robot.2006.06.011.

K

Kaden, E; Knoesche, TR; Anwander, A; (2007) Parametric spherical deconvolution: Inferring anatomical connectivity using diffusion MR imaging. NEUROIMAGE , 37 (2) pp. 474-488. 10.1016/j.neuroimage.2007.05.012.

Kaewkamnerdpong, B; Bentley, PJ; Bhalla, N; (2007) Programming nanotechnology: Learning from nature. In: UNSPECIFIED (1 - 37). ELSEVIER ACADEMIC PRESS INC

Kanovich, M; (2007) A note on rewriting proofs and Fibonacci numbers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , 4514 L pp. 284-292.

Kanovich, M; (2007) The two-way rewriting in action: Removing the mystery of Euler-Glaisher's map. Discrete Mathematics , 307 (15) pp. 1909-1935. 10.1016/j.disc.2006.10.005.

Kanovich, M; Rowe, P; Scedrov, A; (2007) Collaborative planning with privacy. Proceedings - IEEE Computer Security Foundations Symposium pp. 265-278. 10.1109/CSF.2007.12.

Kanovich, M; Vauzeilles, J; (2007) Strong planning under uncertainty in domains with numerous but identical elements (a generic approach). Theoretical Computer Science , 379 (1-2) pp. 84-119. 10.1016/j.tcs.2007.01.022.

Kautz, J; Boulos, S; Durand, F; (2007) Interactive editing and Modeling of bidirectional texture functions. In: ACM TRANSACTIONS ON GRAPHICS. (pp. ? - ?). ASSOC COMPUTING MACHINERY

Kautz, J; Boulos, S; Durand, F; (2007) Interactive editing and modeling of bidirectional texture functions. Proceedings of the ACM SIGGRAPH Conference on Computer Graphics 10.1145/1275808.1276443.

Kervella, M; Tarvainen, T; Humeau, A; L'Huillier, JP; (2007) Comparison between two hybrid models for photon migration in biological tissues. ITBM-RBM , 28 (2) pp. 80-85. 10.1016/j.rbmret.2007.05.001.

Khanna, P; Slater, M; Mortensen, J; Yu, I; (2007) A Non-parametric Guide for Radiance Sampling in Global Illumination. In: (pp. pp. 41-48). IEEE Computer Society: Washington, DC, USA.

Khanna, P; Slater, M; Mortensen, J; Yu, I; (2007) A non-parametric guide for radiance sampling in global illumination. In: Banissi, E and Sarfraz, M and Dejdumrong, N, (eds.) COMPUTER GRAPHICS, IMAGING AND VISUALISATION: NEW ADVANCES. (pp. 41 - 48). IEEE COMPUTER SOC

Kilian, M; Mitra, NJ; Pottmann, H; (2007) Geometric modeling in shape space. In: ACM TRANSACTIONS ON GRAPHICS. (pp. ? - ?). ASSOC COMPUTING MACHINERY

Kilian, M; Mitra, NJ; Pottmann, H; (2007) Geometric modeling in shape space. ACM Transactions on Graphics , 26 (3) 10.1145/1276377.1276457.

Kilian, M; Mitra, NJ; Pottmann, H; (2007) Geometric modeling in shape space. Proceedings of the ACM SIGGRAPH Conference on Computer Graphics 10.1145/1275808.1276457.

Kim, HK; Carmena, JM; Biggs, SJ; Hanson, TL; Nicolelis, MAL; Srinivasan, MA; (2007) The muscle activation method: An approach to impedance control of brain-machine interfaces through a musculoskeletal model of the arm. IEEE TRANSACTIONS ON BIOMEDICAL ENGINEERING , 54 (8) pp. 1520-1529. 10.1109/TBME.2007.900818.

Kim, J; Bentley, PJ; Aickelin, U; Greensmith, J; Tedesco, G; Twycross, J; (2007) Immune system approaches to intrusion detection - A review. Natural Computing , 6 (4) pp. 413-466. 10.1007/s11047-006-9026-4.

Kim, J; Choi, C; De, S; Srinivasan, MA; (2007) Virtual surgery simulation for medical training using multi-resolution organ models. INTERNATIONAL JOURNAL OF MEDICAL ROBOTICS AND COMPUTER ASSISTED SURGERY , 3 (2) pp. 149-158. 10.1002/rcs.140.

Kirstein, P; Frese, H; Janz, R; (2007) Experiences of the Silk community with the Silk-2 Project. In: Ji, Y, (ed.) Proceedings of APAN Network Research Workshop 2007. (pp. 1 - 8). Asia-Pacific Advanced Network (APAN): Beijing, China.

Knoche, H; Papaleo, M; Sasse, MA; Vanelli-Coralli, A; (2007) The kindest cut: Enhancing the user experience of mobile tv through adequate zooming. In: Proceedings of the ACM International Multimedia Conference and Exhibition. (pp. 87 - 96). ACM Green open access
file

Koene, AR; Zhaoping, L; (2007) Feature-specific interactions in salience from combined feature contrasts: Evidence for a bottom-up saliency map in V1. J VISION , 7 (7) , Article 6. 10.1167/7.7.6. Gold open access

Kohlwein, SD; Petschnigg, J; (2007) Lipid-induced cell dysfunction and cell death: Lessons from yeast. CURRENT HYPERTENSION REPORTS , 9 (6) pp. 455-461. 10.1007/s11906-007-0084-5.

Kokkinos, I; Yuille, A; (2007) Unsupervised learning of object deformation models. In:

Kokkinos, I; Yuille, A; (2007) Unsupervised learning of object deformation models. In: (Proceedings) 11th IEEE International Conference on Computer Vision. (pp. pp. 282-289). IEEE

Kolmogorov, V; Boykov, Y; Rother, C; (2007) Applications of parametric maxflow in computer vision. In: 2007 IEEE 11TH INTERNATIONAL CONFERENCE ON COMPUTER VISION, VOLS 1-6. (pp. 644 - 651). IEEE

Kolmogorov, V; Rother, C; (2007) Minimizing nonsubmodular functions with graph cuts - A review. IEEE T PATTERN ANAL , 29 (7) 1274 - 1279. 10.1109/TPAMI.2007.1031.

Komssi, S; Savolainen, P; Heiskala, J; Kähkönen, S; (2007) Excitation threshold of the motor cortex estimated with transcranial magnetic stimulation electroencephalography. NeuroReport , 18 (1) pp. 13-16.

Kozlowski, O; Kautz, J; (2007) Is Accurate Occlusion of Glossy Reflections Necessary? In: Spencer, SN, (ed.) APGV 2007: SYMPOSIUM ON APPLIED PERCEPTION IN GRAPHICS AND VISUALIZATION, PROCEEDINGS. (pp. 91 - +). ASSOC COMPUTING MACHINERY

Krinke, J; (2007) Information flow and taint analysis with dependence graphs. In: (Proceedings) 3rd International Workshop on Code Based Security Assessments (CoBaSSA). (pp. pp. 6-9).

Krinke, J; (2007) A study of consistent and inconsistent changes to code clones. In: DiPenta, M and Maletic, JI, (eds.) 14TH WORKING CONFERENCE ON REVERSE ENGINEERING, PROCEEDINGS. (pp. 170 - 178). IEEE COMPUTER SOC

Krinke, J; (2007) Statement-level cohesion metrics and their visualization. In: Korel, B and Godfrey, MW, (eds.) SEVENTH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS. (pp. 37 - 46). IEEE COMPUTER SOC

Kumaran, D; Hassabis, D; Spiers, HJ; Vann, SD; Vargha-Khadem, F; Maguire, EA; (2007) Impaired spatial and non-spatial configural learning in patients with hippocampal pathology. NEUROPSYCHOLOGIA , 45 (12) 2699 - 2711. 10.1016/j.neuropsychologia.2007.04.007. Gold open access

Kumaran, D; Maguire, EA; (2007) Match-mismatch processes underlie human hippocampal responses to associative novelty. J NEUROSCI , 27 (32) 8517 - 8524. 10.1523/JNEUROSCI.1677-07.2007. Gold open access

Kumaran, D; Maguire, EA; (2007) Which computational mechanisms operate in the hippocampus during novelty detection? HIPPOCAMPUS , 17 (9) 735 - 748. 10.1002/hipo.20326.

Kwon, J; (2007) Method of and Apparatus for Managing Memory. U.S. Patent 20070192388.

L

Lahiri, SK; Ball, T; Cook, B; (2007) Predicate abstraction via symbolic decision procedures. Logical Methods in Computer Science , 3 (2) 10.2168/LMCS-3(2:1)2007.

Langdon, WB; (2007) The Cg Tutorial, Fernando and Kilgard, Addison-Wesley nVidia ISBN 0-321-19496-9. Computer Graphics Forum , 26 (4) p. 853.

Langdon, WB; (2007) PRNG Random Numbers on GPU. : University of Essex Wivenhoe Park, Colchester CO4 3SQ, UK.

Langdon, WB; (2007) A SIMD interpreter for Genetic Programming on GPU Graphics Cards. : Colchester, UK.

Langdon, WB; Poli, R; (2007) Evolving Problems to Learn about Particle Swarm Optimisers and other Search Algorithms. IEEE Transactions on Evolutionary Computation , 11 (5) pp. 561-578. 10.1109/TEVC.2006.886448.

Laqua, S; Ogbechie, N; Sasse, MA; (2007) Contextualizing the blogosphere: A comparison of traditional and novel user interfaces for the web. In: Green open access
file

Larsen, L; Griffin, LD; Grassel, D; Witte, OW; Axer, H; (2007) Polarized light imaging of white matter architecture. MICROSC RES TECHNIQ , 70 (10) 851 - 863. 10.1002/jemt.20488.

Lathia, N; Hailes, S; Capra, L; (2007) Private Distributed Collaborative Filtering Using Estimated Concordance Measures. In: RECSYS 07: PROCEEDINGS OF THE 2007 ACM CONFERENCE ON RECOMMENDER SYSTEMS. (pp. 1 - 8). ASSOC COMPUTING MACHINERY

Le Martelot, E; Bentley, PJ; Lotto, RB; (2007) A systemic computation platform for the modelling and analysis of processes with natural characteristics. In: (pp. pp. 2809-2816).

Leeb, R; Friedman, D; Müller-Putz, GR; Scherer, R; Slater, M; Pfurtscheller, G; (2007) Self-paced (asynchronous) BCI control of a wheelchair in virtual environments: a case study with a tetraplegic. Comput Intell Neurosci 79642-. 10.1155/2007/79642. Gold open access

Leeb, R; Scherer, R; Friedman, D; Lee, FY; Keinrath, K; Bischof, H; Slater, M; (2007) Combining BCI and Virtual Reality: Scouting Virtual Worlds. In: Dornhege, G and del R Millán, J and Hinterberger, T and McFarland, DJ and Muller, K-R, (eds.) Toward Brain-Computer Interfacing. MIT Press: Cambridge, MA..

Lewis-Bowen, J.; (2007) Modelling grid architecture. Doctoral thesis , University of London. Green open access
file

Li, Q; Cox, IJ; (2007) Using perceptual models to improve fidelity and provide resistance to valumetric scaling for quantization index modulation watermarking. IEEE T INF FOREN SEC , 2 (2) 127 - 139. 10.1109/TIFS.2007.897266.

Li, QO; Cox, IJ; (2007) Improved spread transform dither modulation using a perceptual model: Robustness to amplitude scaling and JPEG compression. In: 2007 IEEE International Conference on Acoustics, Speech, and Signal Processing, Vol II, Pts 1-3. (pp. 185 - 188). IEEE

Li, Y; Shawe-Taylor, J; (2007) Advanced learning algorithms for cross-language patent retrieval and classification. INFORMATION PROCESSING & MANAGEMENT , 43 (5) pp. 1183-1199. 10.1016/j.ipm.2006.11.005.

Li, Z; Harman, M; Hierons, RM; (2007) Search algorithms for regression test case prioritization. IEEE T SOFTWARE ENG , 33 (4) 225 - 237.

Lillholm, M; Griffin, LD; (2007) Maximum likelihood metameres for local 2(nd) order image structure of natural images. In: Sgallari, F and Murli, A and Paragios, N, (eds.) (Proceedings) 1st International Conference on Scale Space and Variational Methods in Computer Vision. (pp. 394-+). SPRINGER-VERLAG BERLIN

Liu, H; Nazir, A; Sorensen, S; (2007) Resource Management Support for Smooth Application Execution in a Dynamic and Competitive Environment. In: (Proceedings) SKG2007. (pp. pp. 438-441). IEEE

Liu, Q; Prakash, EC; Srinivasan, MA; (2007) Interactive deformable geometry maps : Efficient modeling for interactive deformation of non-rigid 3D objects. Visual Computer , 23 (2) pp. 119-131. 10.1007/s00371-006-0033-3.

Lobley, A; Swindells, MB; Orengo, CA; Jones, DT; (2007) Inferring function using patterns of native disorder in proteins. PLOS COMPUT BIOL , 3 (8) , Article e162. 10.1371/journal.pcbi.0030162. Green open access
file

Lomuscio, A; Pecheur, C; Raimondi, F; (2007) Automatic verification of knowledge and time with NuSMV. In: Veloso, M, (ed.) (pp. pp. 1384-1389). IJCAI/ AAAI Press: Menlo Park, US. Green open access
file

Luo, X; Calderhead, B; Liu, H; Li, W; (2007) On the initial configurations of collapsible channel flow. In: (Proceedings) 4th MIT Conference on Computational Fluid and Solid Mechanics. (pp. pp. 977-987). PERGAMON-ELSEVIER SCIENCE LTD

M

Ma, J; Liu, W; Hunter, A; (2007) Incomplete statistical information fusion and its application to clinical trials data. In: Prade, H and Subrahmanian, VS, (eds.) (Proceedings) 1st International Conference on Scalable Uncertainty Management. (pp. 89-+). SPRINGER-VERLAG BERLIN

Magill, S; Berdine, J; Clarke, E; Cook, B; (2007) Arithmetic strengthening for shape analysis. In: (pp. pp. 419-436).

Mahdavi, K; Gold, N; Li, Z; Harman, M; (2007) Allowing Overlapping Boundaries in Source Code using a Search Based Approach to Concept Binding. In: Koschke, R and Merlo, E and Walenstein, A, (eds.) Duplication, Redundancy, and Similarity in Software: Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany: Dagstuhl, Germany. Green open access
file

Makri, S; Blandford, A; Cox, AL; (2007) Investigating the information-seeking behaviour of academic lawyers: From Ellis's model to digital law library design. Information Processing and Management , 43 pp. 1-22. 10.1016/j.ipm.2007.05.001.

Makri, S; Blandford, A; Gow, J; Rimmer, J; Warwick, C; Buchanan, G; (2007) A library or just another information resource? A case study of users' mental models of traditional and digital libraries. J AM SOC INF SCI TEC , 58 (3) 433 - 445. 10.1002/asi.20510. Green open access
file

Makri, S; Blandford, A; Gow, J; Rimmer, J; Warwick, C; Buchanan, G; (2007) A library or just another information resource? A case study of users' mental models of traditional and digital libraries. J AM SOC INF SCI TEC , 58 (3) 433 - 445. 10.1002/asi.20510.

Makri, S.; Blandford, A.; Cox, A.L.; (2007) ‘I’ll just Google it!’: Should lawyers’ perceptions of Google inform the design of electronic legal resources? Presented at: Web Information-Seeking and Interaction Workshop 2007 (WISI2007), Amsterdam, The Netherlands. Green open access
file

Manevich, R; Berdine, J; Cook, B; Ramalingam, G; Sagiv, M; (2007) Shape analysis by graph decomposition. In: (pp. pp. 3-18).

Mansour, T; Schork, M; Severini, S; (2007) Wick's theorem for q-deformed boson operators. J PHYS A-MATH THEOR , 40 (29) 8393 - 8401. 10.1088/1751-8113/40/29/014.

Mansour, T; Schork, M; Severini, S; (2007) A generalization of boson normal ordering. PHYS LETT A , 364 (3-4) 214 - 220. 10.1016/j.physleta.2006.12.016.

Marco, AD; Mascolo, C; (2007) Performance analysis and prediction of physically mobile systems. In: Cortellessa, V and Uchitel, S and Yankelevich, D, (eds.) (pp. pp. 129-132). ACM

Marquardt, N; Greenberg, S; (2007) Distributed physical interfaces with shared phidgets. In: (pp. pp. 13-20).

Mathieu, B; Song, M; Galis, A; Cheng, L; Jean, K; Ocampo, R; (2007) Self-management of context-aware overlay ambient networks. In: 2007 10TH IFIP/IEEE INTERNATIONAL SYMPOSIUM ON INTEGRATED NETWORK MANAGEMENT (IM 2009), VOLS 1 AND 2. (pp. 749 - 752). IEEE Green open access
file

Mattmann, C; Perrone, V; Kelly, S; Crichton, D; Finkelstein, A; Medvidovic, N; (2007) UNSPECIFIED In: (Proceedings) A Reference Framework for Requirements and Architecture in Biomedical Grid Systems, IEEE Conference on Information Reuse and Integration (IRI 2007). (pp. 418-422-). IEEE: Las Vegas, Nevada.

Mattmann, CA; Perrone, V; Kelly, S; Crichton, DJ; Finkelstein, A; Medvidovic, N; (2007) A reference framework for requirements and architecture in biomedical grid systems. In: Chang, W and Joshi, JBD, (eds.) IRI 2007: Proceedings of the 2007 IEEE International Conference on Information Reuse and Integration. (pp. 418 - 422). IEEE

May, A; Mitchell, V; Piper, J; Hanna, L; Hailes, S; Koumpis, K; (2007) Opportunities and Challenges for Configurable Sensor Networks for Enabling Effective Fire-inTunnel Response. In: (Proceedings) 14th Annual Conference of the International Emergency Management Society.

McCusker, G; Pym, D; (2007) A games model of bunched implications. In: (pp. pp. 573-588).

McNamara, L; Mascolo, C; Capra, L; (2007) Content source selection in Bluetooth networks. In: 2007 FOURTH ANNUAL INTERNATIONAL CONFERENCE ON MOBILE AND UBIQUITOUS SYSTEMS: NETWORKING & SERVICES. (pp. 122 - 129). IEEE

McNamara, L; Mascolo, C; Capra, L; (2007) Content source selection in bluetooth networks. In:

Mertens, T; Kautz, J; Van Reeth, F; (2007) Exposure fusion. In: Alexa, M and Gortler, S and Ju, T, (eds.) (Proceedings) 15th Pacific Conference on Computer Graphics and Applications (Pacific Graphics 2007). (pp. 382-+). IEEE

Mesot, B; Barber, D; (2007) Switching Linear Dynamical Systems for Noise Robust Speech Recognition. IEEE Trans. Audio, Speech & Language Processing , 15 (6) pp. 1850-1858.

Micchelli, CA; Pontil, M; (2007) Feature space perspectives for learning the kernel. MACH LEARN , 66 (2-3) 297 - 319. 10.1007/s10994-006-0679-0.

Milton, R; Steed, A; (2007) Mapping carbon monoxide using GPS tracked sensors. ENVIRON MONIT ASSESS , 124 (1-3) 1 - 19. 10.1007/s10661-006-9488-y.

Mitra, NJ; Flöry, S; Ovsjanikov, M; Gelfand, N; Guibas, LJ; Pottmann, H; (2007) Dynamic geometry registration. In: Belyaev, AG and Garland, M, (eds.) (pp. pp. 173-182). Eurographics Association

Mitra, NJ; Guibas, LJ; Pauly, M; (2007) Symmetrization. In: ACM TRANSACTIONS ON GRAPHICS. (pp. ? - ?). ASSOC COMPUTING MACHINERY

Mitra, NJ; Guibas, LJ; Pauly, M; (2007) Symmetrization. Proceedings of the ACM SIGGRAPH Conference on Computer Graphics 10.1145/1275808.1276456.

Mitra, NJ; Guibas, LJ; Pauly, M; (2007) Symmetrization. Proceedings of the ACM SIGGRAPH Conference on Computer Graphics 10.1145/1275808.1276456.

Mobbs, D; Petrovic, P; Marchant, JL; Hassabis, D; Weiskopf, N; Seymour, B; Dolan, RJ; (2007) When fear is near: Threat imminence elicits prefrontal-periaqueductal gray shifts in humans. SCIENCE , 317 (5841) 1079 - 1083. 10.1126/science.1144298. Gold open access

Mohammed, U; Prince, SJD; Kautz, J; (2007) Stochastic generation of realistic image content. In:

Mortensen, J; Khanna, P; Slater, M; (2007) Light Field Propagation and Rendering on the GPU. In: Spencer, SN, (ed.) AFRIGRAPH 2007: 5TH INTERNATIONAL CONFERENCE ON VIRTUAL REALITY, COMPUTER GRAPHICS, VISUALIZATION AND INTERACTION IN AFRICA. (pp. 15 - 23). ASSOC COMPUTING MACHINERY

Mortensen, J; Khanna, P; Yu, I; Slater, M; (2007) Real-time global illumination in the CAVE. In: (pp. pp. 145-148). ACM: New York, NY, USA.

Mortensen, J; Khanna, P; Yu, I; Slater, M; (2007) A visibility field for ray tracing. In: Banissi, E and Sarfraz, M and Dejdumrong, N, (eds.) (Proceedings) Conference on Computer Graphics, Imaging and Visualisation. (pp. 54-+). IEEE COMPUTER SOC

Mortensen, J; Khanna, P; Yu, IS; Slater, M; (2007) Real-time Global Illumination in the CAVE. In: VRST 2007: ACM SYMPOSIUM ON VIRTUAL REALITY SOFTWARE AND TECHNOLOGY, PROCEEDINGS. (pp. 145 - 148). ASSOC COMPUTING MACHINERY

Mouao-Miranda, J; Friston, KJ; Brammer, M; (2007) Dynamic discrimination analysis: A spatial-temporal SVM. NEUROIMAGE , 36 (1) 88 - 99. 10.1016/j.neuroimage.2007.02.020.

Mountney, P; Lo, B; Thiemjarus, S; Stoyanov, D; Zhong-Yang, G; (2007) A probabilistic framework for tracking deformable soft tissue in minimally invasive surgery. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , 4792 L (PART 2) pp. 34-41.

Mountney, P; Lo, B; Thiernjarus, S; Stoyanov, D; Zhong-Yang, G; (2007) A Probabilistic framework for tracking deformable soft tissue in minimally invasive surgery. In: Ayache, N and Ourdelin, S and Maeder, A, (eds.) Medical Image Computing and Computer-Assisted Intervention- MICCAI 2007, Pt 2, Proceedings. (pp. 34 - 41). SPRINGER-VERLAG BERLIN

Mudigonda, PK; Kolmogorov, V; Torr, PHS; (2007) An Analysis of Convex Relaxations for MAP Estimation. In: Platt, JC and Koller, D and Singer, Y and Roweis, ST, (eds.) (pp. pp. 1041-1048). Curran Associates, Inc.

Mukhija, A; Dingwall-Smith, A; Rosenblum, DS; (2007) QoS-aware service composition in Dino. In: Zimmermann, W and KonigRies, B and Pahl, C, (eds.) ECOWS 07: PROCEEDING OF THE 5TH IEEE EUROPEAN CONFERENCE ON WEB SERVICES. (pp. 3 - 12). IEEE COMPUTER SOC

Murdoch, SJ; Anderson, R; (2007) Shifting borders. Index on Censorship , 36 (4) pp. 156-159. 10.1080/03064220701740525.

Murdoch, SJ; Zielinski, P; (2007) Sampled traffic analysis by Internet-eXchange-level adversaries. In: Borisov, N and Golle, P, (eds.) (Proceedings) 7th International Symposium on Privacy Enhancing Technologies (PET 2007). (pp. 167-+). SPRINGER-VERLAG BERLIN

Murray, N; Roberts, D; Steed, A; Sharkey, P; Dickerson, P; Rae, J; (2007) An assessment of eye-gaze potential within immersive virtual environments. ACM T MULTIM COMPUT , 3 (4) , Article 26. 10.1145/1314303.1314311.

Musolesi, M; Mascolo, C; (2007) Designing mobility models based on social network theory. Mobile Computing and Communications Review , 11 (3) pp. 59-70.

Musolesi, M.; (2007) Context-aware adaptive routing for delay tolerant networking. Doctoral thesis , University of London. Green open access
file

Mylonas, GP; Stoyanov, D; Darzi, A; Yang, GZ; (2007) Assessment of perceptual quality for gaze-contingent motion stabilization in robotic assisted minimally invasive surgery. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , 4792 L (PART 2) pp. 660-667.

Mylonas, GP; Stoyanov, D; Darzi, A; Yang, GZ; (2007) Assessment of perceptual quality for gaze-contingent motion stabilization in robotic assisted minimally invasive surgery. In: Ayache, N and Ourdelin, S and Maeder, A, (eds.) Medical Image Computing and Computer-Assisted Intervention- MICCAI 2007, Pt 2, Proceedings. (pp. 660 - 667). SPRINGER-VERLAG BERLIN

N

Nagy, Z; Weiskopf, N; Alexander, DC; Deichmann, R; (2007) A method for improving the performance of gradient systems for diffusion-weighted MRI. MAGN RESON MED , 58 (4) 763 - 768. 10.1002/mrm.21379. Gold open access

Nasrallah, A.J.; (2007) Statistics of gradient directions in natural images. Doctoral thesis , University of London. Green open access
file

Nasrallah, AJ; Griffin, LD; (2007) Gradient direction dependencies in natural images. SPATIAL VISION , 20 (3) 277 - 299.

Navarro-Pérez, JA; Voronkov, A; (2007) Encodings of bounded LTL model checking in effectively propositional logic. In: Automated Deduction – CADE-21. 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings. (346 - 361). Springer Berlin Heidelberg Green open access
file

Navarro-Pérez, JA; Voronkov, A; (2007) Encodings of problems in effectively propositional logic. In: Theory and Applications of Satisfiability Testing – SAT 2007. 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings. (3 - 3). Springer Berlin Heidelberg Green open access
file

Nazir, A; Liu, H; Sorensen, S; (2007) On-demand Resource Allocation Policies for Computational Steering Support in Grids. In: (Proceedings) International Conference on High Performance Computing,Networking and Communication Systems. (pp. pp. 89-96). ISRST

Nedjati-Gilani, S; Parker, GJ; Alexander, DC; (2007) Sub-voxel reconstruction of fibre orientations. In: (Proceedings) Medical Image Understanding and Analysis (MIUA). (pp. pp. 186-190).

Nedjati-Gilani, S; Parker, GJ; Hall, MG; Alexander, DC; (2007) UNSPECIFIED In: (Proceedings) International Society for Megnetic Resonance in Medicine (ISMRM) - British Chapter. (pp. 45-).

Ng, J; Bharath, AA; Zhaoping, L; (2007) A survey of architecture and function of the primary visual cortex (V1). Eurasip Journal on Advances in Signal Processing , 2007 10.1155/2007/97961. Green open access
file

Ng, J; Bharath, AA; Zhaoping, L; (2007) A survey of architecture and function of the primary visual cortex (V1). EURASIP J ADV SIG PR , Article 97961. 10.1155/2007/97961.

Nivre, J; Hall, J; Kübler, S; McDonald, R; Nilsson, J; Riedel, S; Yuret, D; (2007) The CoNLL 2007 shared task on dependency parsing. In: (pp. pp. 915-932).

O

O'Hearn, P; (2007) Separation logic and concurrent resource management. In: (pp. 1-).

O'Hearn, PW; (2007) Resources, concurrency, and local reasoning. THEORETICAL COMPUTER SCIENCE , 375 (1-3) pp. 271-307. 10.1016/j.tcs.2006.12.035.

Orso, A; Do, H; Rothermel, G; Harrold, MJ; Rosenblum, DS; (2007) Using Component Metadata to Regression Test Component-based Software. Journal of Software Testing Verification and Reliability (JSTVR) , 17 (2) pp. 61-94. 10.1002/stvr.v17:2.

Orso, A; Do, H; Rothermel, G; Harrold, MJ; Rosenblum, DS; (2007) Using component metadata to regression test component-based software. SOFTW TEST VERIF REL , 17 (2) 61 - 94. 10.1002/stvr.344.

Ortega-Arjona, J.L.; (2007) Architectural patterns for Parallel Programming: models for performance estimation. Doctoral thesis , University of London. Green open access
file

Oxtoby, NP; (2007) "Keeping it real": A quantum trajectory approach to realistic measurement of solid-state quantum systems. Doctoral thesis , UNSPECIFIED.

Oyekoya, O; Gao, X; (2007) Visualization of Volume Information from PET Data. In: (Proceedings) Medical Imaging and Informatics (MIMI 2007).

Oyekoya, O; Stentiford, F; (2007) Perceptual image retrieval using eye movements. Int. J. Comput. Math. , 84 (9) pp. 1379-1391.

Oyekoya, Oyekoya; (2007) Eye Tracking: A Perceptual Interface for Content Based Image Retrieval. Doctoral thesis , UCL (University College London). Green open access
file

P

Pan, X; Gillies, M; Sezgin, TM; Loscos, C; (2007) Expressing complex mental states through facial expressions. In: Paiva, A and Prada, R and Picard, RW, (eds.) (Proceedings) 2nd International Conference on Affective Computing and Intellegent Interaction. (pp. 745-+). SPRINGER-VERLAG BERLIN

Pan, X; Slater, M; (2007) A Preliminary Study Of Shy Males Interacting With A Virtual Female. In: Ijsselsteijn, W, (ed.) (Proceedings) Presence 2007: The 10th Annual International Workshop on Presence. (pp. pp. 101-108).

Pansiot, J; Stoyanov, D; McIlwraith, D; Lo, BPL; Yang, GZ; (2007) Ambient and wearable sensor fusion for activity recognition in healthcare monitoring systems. In: Leonhardt, S and Falck, T and Mahonen, P, (eds.) 4th International Workshop on Wearable and Implantable Body Sensor Networks (BSN 2007). (pp. 208 - 212). SPRINGER

Park, C-M; Hong, S; Son, K-H; Kwon, J; (2007) A Component Model supporting Decomposition and Composition of Consumer Electronics Software Product Lines. In: (pp. pp. 181-192). IEEE Computer Society

Parkin, SE; Andras, P; Morgan, G; (2007) Evolutionary optimization of parameters for distributed virtual environments. In: (pp. pp. 1390-1397). IEEE

Parkinson, M; Bornat, R; O'Hearn, P; (2007) Modular verification of a non-blocking stack. In: (pp. pp. 297-302).

Patel, S; Clack, CD; (2007) ALPS evaluation in financial portfolio optimisation. In: (Proceedings) IEEE Congress on Evolutionary Computation. (pp. pp. 813-819). IEEE Green open access
file

Patriarca, M; Chakraborti, A; Heinsalu, E; Germano, G; (2007) Relaxation in statistical many-agent economy models. European Physical Journal B , 57 (2) pp. 219-224. 10.1140/epjb/e2007-00122-7. Green open access
file

Pelckmans, K; Shawe-Taylor, J; Suykens, JAK; De Moor, B; (2007) Margin based transductive graph cuts using linear programming. In: (pp. pp. 363-370). Gold open access

Penney, GP; Edwards, PJ; Hipwell, JH; Slomczykowski, M; Revie, I; Hawkes, DJ; (2007) Postoperative calculation of acetabular cup position using 2-D-3-D registration. IEEE T BIO-MED ENG , 54 (7) 1342 - 1348. 10.1109/TBME.2007.890737.

Perez-Cruz, F; Ghahramani, Z; Pontil, M; (2007) Conditional graphical models. In: Bakir, G and Hofmann, T and Schölkopf, B and Smola, AJ and Taskar, B and Vishwanathan, SVN, (eds.) Predicting Structured Data. MIT Press

Perrone, V; Finkelstein, A; (2007) UNSPECIFIED In: (Proceedings) Analyzing Requirements for a Large Scale System for Cancer Research, 20th IEEE International Symposium on Computer Based Medical Systems (CBMS 2007). (pp. 103-108-). IEEE CS Press: Maribor, Slovenia.

Perrone, V; Finkelstein, A; (2007) Analyzing requirements for a large scale system for cancer research. In: Kokol, P and Podgorelec, V and MiceticTurk, D and Zorman, M and Verlic, M, (eds.) Twentieth IEEE International Symposium on Computer-Based Medical Systems, Proceedings. (pp. 103 - 108). IEEE COMPUTER SOC

Peters, CJ; Nugent, T; Perry, LA; Davies, K; Morel, Y; Drake, WM; Savage, MO; (2007) Cosegregation of a novel homozygous CYP11B1 mutation with the phenotype of non-classical congenital adrenal hyperplasia in a consanguineous family. Horm Res , 67 (4) pp. 189-193. 10.1159/000097244.

Pfister, H; Weyrich, T; Gross, M; (2007) Rendering Deformable and Animated Surface Reflectance Fields. US7230620.

Pilgrim, S; Steed, A; Aguado, A; (2007) Progressive skinning for character animation. COMPUTER ANIMATION AND VIRTUAL WORLDS , 18 (4-5) 473 - 481. 10.1002/cav.181.

Poli, R; Langdon, WB; McPhee, NF; Koza, JR; (2007) Genetic Programming An Introductory Tutorial and a Survey of Techniques and Applications. : UK.

Polys, NF; Steed, A; Behr, J; Brutzman, D; (2007) The future standards for immersive VR. In: Sherman, W and Lin, M and Steed, A, (eds.) (Proceedings) IEEE Virtual Reality 2007 Conference. (pp. 322-+). IEEE

Pourabdollah-Nejad, S; Bagher-Ebadian, H; Jiang, Q; Noll, DC; Alexander, DC; Ewing, JR; Jafari-Khouzani, K; (2007) Information extraction from ischemic stroke MR images using independent component analysis technique. In: (pp. p. 2275). International Society for Magnetic Resonance in Medicine: Berkeley, US.

Powell, HWR; Parker, GJM; Alexander, DC; Symms, MR; Boulby, PA; Wheeler-Kingshott, CAM; Barker, GJ; ... Duncan, JS; + view all (2007) Abnormalities of language networks in temporal lobe epilepsy. NEUROIMAGE , 36 (1) 209 - 221. 10.1016/j.neuroimage.2007.02.028.

Powell, HWR; Parker, GJM; Alexander, DC; Symms, MR; Wheeler-Kingshott, CAM; Boulby, PA; Barker, GJ; ... Duncan, JS; + view all (2007) Abnormalities of language networks in temporal lobe epilepsy. In: JOURNAL OF NEUROLOGY NEUROSURGERY AND PSYCHIATRY. (pp. 215 - 215). B M J PUBLISHING GROUP

Price, G; Cercignani, M; Parker, GJM; Altmann, DR; Barnes, TRE; Barker, GJ; Joyce, EM; (2007) Abnormal brain connectivity in first-episode psychosis: A diffusion MRI tractography study of the corpus callosum. Neuroimage , 35 (2) 458 - 466. 10.1016/j.neuroimage.2006.12.019. Green open access
file

Price, G; Cercignani, M; Parker, GJM; Altmann, DR; Barnes, TRE; Barker, GJ; Joyce, EM; (2007) Abnormal brain connectivity in first-episode psychosis: A diffusion MRI tractography study of the corpus callosum. NeuroImage , 35 (2) pp. 458-466. 10.1016/j.neuroimage.2006.12.019.

Price, G; Cercignani, M; Parker, GJM; Altmann, DR; Barnes, TRE; Barker, GJ; Joyce, EM; (2007) Corrigendum to “Abnormal brain connectivity in first-episode psychosis: A diffusion MRI tractography study of the corpus callosum” [NeuroImage 35 (2007) 458–466]. [Corrigendum]. Neuroimage , 38 (4) 766 - 766. 10.1016/j.neuroimage.2007.05.064. Green open access
file

Prince, S; Arridge, S; (2007) Estimating spatial and temporal factors in optical diffusion tomography. In:

Prince, SJD; Aghajanian, J; Mohammed, U; Sahani, M; (2007) Latent identity variables: Biometric matching without explicit identity estimation. In: Lee, SW and Li, SZ, (eds.) Advances in Biometrics, Proceedings. (pp. 424 - 434). SPRINGER-VERLAG BERLIN

Prince, SJD; Elder, JH; (2007) Probabilistic Linear Discriminant Analysis for Inferences About Identity. In: (pp. pp. 1-8). IEEE Computer Society

Prince, SJD; Elder, JH; (2007) Probabilistic linear discriminant analysis for inferences about identity. In: 2007 IEEE 11TH INTERNATIONAL CONFERENCE ON COMPUTER VISION, VOLS 1-6. (pp. 1751 - 1758). IEEE

Prokopowicz, Z; Chain, BM; Katz, DR; (2007) Dendritic cell antigen processing of chlorinated protein antigens. In: FEBS JOURNAL. (pp. 371 - 371). BLACKWELL PUBLISHING

Przulj, N; (2007) Biological network comparison using graphlet degree distribution. BIOINFORMATICS , 23 (2) E177-E183. 10.1093/bioinformatics/btl301.

Pržulj, N; (2007) Geometrie local structure in biological networks. In: (pp. pp. 402-407).

Pym, D; Taylor, R; Tofts, C; (2007) Public services innovation through technology. In: (pp. pp. 2736-2739).

Pym, D; Tofts, C; (2007) Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic. Electronic Notes in Theoretical Computer Science , 172 pp. 545-587. 10.1016/j.entcs.2007.02.020.

Q

Qi, G; Hunter, A; (2007) Measuring incoherence in description logic-based ontologies. In: Aberer, K and Choi, KS and Noy, N and Allemang, D and Lee, KI and Nixon, L and Golbeck, J and Mika, P and Maynard, D and Mizoguchi, R and Schreiber, G and CudreMauroux, P, (eds.) (Proceedings) 6th International Semantic Web Conference/2nd Asian Semantic Web Conference (ISWC 2007/ASWC 2007). (pp. 381-+). SPRINGER-VERLAG BERLIN

Quercia, D; Hailes, S; (2007) MATE: Mobility and Adaptation with Trust and Expected-utility. International Journal of Internet Technology and Secured Transactions , 1 (1)

Quercia, D; Hailes, S; Capra, L; (2007) TRULLO - Local trust bootstrapping for ubiquitous devices. In:

Quercia, D; Hailes, S; Capra, L; (2007) TRULLO - local trust bootstrapping for ubiquitous devices. In: 2007 FOURTH ANNUAL INTERNATIONAL CONFERENCE ON MOBILE AND UBIQUITOUS SYSTEMS: NETWORKING & SERVICES. (pp. 211 - 219). IEEE

Quercia, D; Hailes, S; Capra, L; (2007) Lightweight distributed trust propagation. In: Ramakrishnan, N and Zaiane, OR and Shi, Y and Clifton, CW and Wu, XD, (eds.) ICDM 2007: PROCEEDINGS OF THE SEVENTH IEEE INTERNATIONAL CONFERENCE ON DATA MINING. (pp. 282 - 291). IEEE COMPUTER SOC: Los Alamitos, US. Green open access
file

R

Rasaiyaah, J; Yong, K; Katz, DR; Kellam, P; Chain, BM; (2007) Dendritic cells and myeloid leukaemias: plasticity and commitment in cell differentiation. BRIT J HAEMATOL , 138 (3) 281 - 290. 10.1111/j.1365-2141.2007.06622.x.

Ravichandran, B; Gandhe, A; Smith, R; Mehra, R; (2007) Robust automatic target recognition using learning classifier systems. Information Fusion , 8 (3) pp. 252-265. 10.1016/j.inffus.2006.03.001.

Reske, A; Pollara, G; Krummenacher, C; Chain, BM; Katz, DR; (2007) Understanding HSV-1 entry glycoproteins. REV MED VIROL , 17 (3) 205 - 215. 10.1002/rmv.531.

Ritschel, T; Grosch, T; Kautz, J; Müller, S; (2007) Interactive Illumination with Coherent Shadow Maps. In: Kautz, J and Pattanaik, SN, (eds.) (pp. pp. 61-72). Eurographics Association

Robson, S; Buxton, BF; Clark, A; (2007) Close Range Colour Artefact Scanning. In: (Proceedings) Remote Sensing and Photogrammetric Society, Annual Conference, Newcastle, September 2007. Remote Sensing and Photogrammetry Society: Newcastle, UK.

Rodrigues, GN; Rosenblum, DS; Wolf, J; (2007) Reliability Analysis of Concurrent Systems using LTSA. In: (Proceedings) ICSE 2007: 29th International Conference on Software Engineering. (pp. pp. 63-64). IEEE Computer Society: Minneapolis, USA. Green open access
file

Rogers, M; Bhatti, S; (2007) How to Disappear Completely: A Survey of Private Peer-to-Peer Networks. In: (Proceedings) First International Workshop on Sustaining Privacy in Autonomous Collaborative Environments (SPACE 2007).

Rogers, M; Bhatti, S; (2007) A lightweight mechanism for dependable communication in untrusted networks. In: (pp. pp. 430-439). IEEE Computer Society: Los Alamitos, US.

Rogers, M; Bhatti, S; (2007) An adaptive routing protocol for censorship-resistant communication. In: Shoniregun, CA and Logvynovskiy, A, (eds.) (pp. pp. 222-229). e-Centre for Infonomics: UK.

Rogers, Y; Connelly, K; Tedesco, L; Hazlewood, W; Kurtz, A; Hall, RE; Hursey, J; (2007) Why it's worth the hassle: The value of in-situ studies when designing ubicomp. In: (pp. pp. 336-353).

Rondini, E; Hailes, S; (2007) A Contiki-based Prototype for Creating Wireless Ad Hoc Grids. In: (Proceedings) Contiki Hands-On Workshop 2007. SICS, Kista, Stocholm, Sweden. 26-27 March 2007..

Rondini, E; Hailes, S; (2007) Distributed Computation in Wireless Ad Hoc Grids with Bandwidth Control. In: (Proceedings) 5th ACM Conference on Embedded Networked Sensor Systems. (pp. pp. 437-438). ASSOC COMPUTING MACHINERY

Rondini, E; Hailes, S; (2007) Distributed Computation in Wireless Ad Hoc Grids with Bandwidth Control. In: (Proceedings) 5th ACM Conference on Embedded Networked Sensor Systems (SenSys 2007). Sydney, Australia. 6-9 November 2007.. (pp. pp. 437-438). ACM: New York, NY, USA.

Rother, C; Kolmogorov, V; Lempitsky, V; Szummer, M; (2007) Optimizing binary MRFs via extended roof duality. In: 2007 IEEE CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION, VOLS 1-8. (pp. 1784 - 1791). IEEE

Ruksenas, R; Curzon, P; Back, J; Blandford, A; (2007) Formal modelling of cognitive interpretation. In: Doherty, G and Blandford, A, (eds.) Interactive Systems: Design, Specification, and Verification. (pp. 123 - 136). SPRINGER-VERLAG BERLIN

Rukšenas, R; Curzon, P; Back, J; Blandford, A; (2007) Formal modelling of cognitive interpretation. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). (pp. 123 - 136). Green open access
file

Rukšenas, R; Curzon, P; Blandford, A; (2007) Detecting Cognitive Causes of Confidentiality Leaks. In: (pp. pp. 21-38). Green open access
file

Rukšėnas, R; Curzon, P; Back, J; Blandford, A; (2007) Formal modelling of cognitive interpretation. In: Doherty, G and Blandford, A, (eds.) Interactive Systems. Design, Specification, and Verification. (123 - 136). Springer London: Heidelberg.

Ruskov, M; Nikolov, R; (2007) Learning Production Management with ”The Clock Manufacturing Game”. In:

S

Sadowski, MI; Jones, DT; (2007) Benchmarking template selection and model quality assessment for high-resolution comparative modelling. PROTEINS , 69 (3) 476 - 485. 10.1002/prot.21531.

Safavi-Naini, R; Wang, S; Desmedt, Y; (2007) Unconditionally secure ring authentication. In: Bao, F and Miller, S, (eds.) (pp. pp. 173-181). ACM

Saffrey, P; Margoninski, O; Hetherington, J; Varela-Rey, M; Yamaji, S; Finkelstein, A; Bogie, D; (2007) End-to-end information management for systems biology. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , 4780 L pp. 77-91.

Sasse, MA; (2007) Red-eye blink, bendy shuffle, and the yuck factor - A user experience of biometric airport systems. IEEE Security and Privacy Magazine , 5 (3) 78 - 81. 10.1109/MSP.2007.69. Green open access

Sato, JR; Fujita, A; Jr, EA; Miranda, JM; Morettin, PA; Brammer, MJ; (2007) DWT-CEM: an algorithm for scale-temporal clustering in fMRI. Biological Cybernetics , 97 (1) pp. 33-45.

Saxena, N; Severini, S; Shparlinski, IE; (2007) Parameters of integral circulant graphs and periodic quantum dynamics. INT J QUANTUM INF , 5 (3) 417 - 430.

Scalas, E; Martin, E; Germano, G; (2007) Ehrenfest urn revisited: playing the game on a realistic fluid model. Physical Review E , 76 (1) , Article 011104. 10.1103/PhysRevE.76.011104.

Schmid, F; Germano, G; Wolfsheimer, S; Schilling, T; (2007) Fluctuating interfaces in liquid crystals. Macromolecular Symposia , 252 (1) pp. 110-118. 10.1002/masy.200750611. Green open access
file

Schneider-Kamp, P; Fuhs, C; Thiemann, R; Giesl, J; Annov, E; Codish, M; Middeldorp, A; (2007) Implementing RPO and POLO using SAT. In: Baader, F and Cook, B and Giesl, J and Nieuwenhuis, R, (eds.) Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany

Schweiger, M; Nissila, I; Boas, DA; Arridge, SR; (2007) Image reconstruction in optical tomography in the presence of coupling errors. APPL OPTICS , 46 (14) 2743 - 2756.

Seager, W; Knoche, H; (2007) "It's going to be havoc": Shared control of a TV display. In: (Proceedings) Sharable interfaces workshop.

Seager, W; Knoche, H; Sasse, MA; (2007) TV-centricity - requirements gathering for triple play services. In: Lugmayr, AG, (ed.) (Proceedings) EuroITV. (pp. 274 - 278). Green open access
file

Seghir, MN; Podelski, A; (2007) ACSAR: Software model checking with transfinite refinement. In: Bosnacki, D and Edelkamp, S, (eds.) (Proceedings) 11th International Conference on Developments in Language Theory. (pp. 274-+). SPRINGER-VERLAG BERLIN

Segura, I; Essmann, CL; Weinges, S; Acker-Palmer, A; (2007) Grb4 and GIT1 transduce ephrinB reverse signals modulating spine morphogenesis and synapse formation. NATURE NEUROSCIENCE , 10 (3) pp. 301-310. 10.1038/nn1858.

Seleznyov, A; Ahmed, M; Hailes, S; (2007) Co-operation in the Digital Age. In: Steventon, A and Wright, S, (eds.) Intelligent Spaces - The Application of Pervasive ICT. (pp. 141-154). Springer

Senanayake, CR; Alexander, DC; (2007) Colour transfer by feature based histogram registration. In:

Seunarine, KK; Cook, PA; Hall, MG; Embleton, K; Parker, GJ; Alexander, DC; (2007) Validation of generalised PICo tractography using bootstrap measurements. In: (Proceedings) SNDS bi-national woprkshop on brain connectivity and microstructure: measurement and validation.

Seunarine, KK; Cook, PA; Hall, MG; Embleton, KV; Parker, GJM; Alexander, DC; (2007) Exploiting peak anisotropy for tracking through complex structures. In: 2007 IEEE 11TH INTERNATIONAL CONFERENCE ON COMPUTER VISION, VOLS 1-6. (pp. 2649 - 2656). IEEE

Seunarine, KK; Cook, PA; Hall, MG; Embleton, KV; Parker, GJM; Alexander, DC; (2007) Exploiting peak anisotropy for tracking through fanning structures. In: (Proceedings) Proc ISMRM. (pp. 901-).

Seunarine, KK; Cook, PA; Hall, MG; Embleton K, P; G J, A; D, C; (2007) Exploiting Peak anisotropy for tracking through complex structures. In: (Proceedings) IEEE computer society workshop on Mathematical methods in medical image analysis.

Sharma, A; Enfield, L; Gibson, AP; Everdell, NL; Schweiger, M; Arridge, S; Delpy, DT; ... Douek, M; + view all (2007) Breast optical tomography: sensitivities and specificities for the detection of cancer. In: BREAST CANCER RESEARCH AND TREATMENT. (pp. S49 - S49). SPRINGER

Shawe-Taylor, J; Dolia, A; (2007) A framework for probability density estimation. In: (pp. pp. 468-475). Gold open access

Shayani, H; Bentley, PJ; (2007) A more bio-plausible approach to the evolutionary inference of finite state machines. In: (pp. pp. 2937-2944).

Shen, Y; Archambeau, C; Cornford, D; Opper, M; Shawe-Taylor, J; Barillec, R; (2007) Evaluation of variational and Markov Chain Monte Carlo methods for inference in partially observed stochastic dynamic systems. In: (pp. pp. 306-311).

Shepherd, T; Alexander, DC; (2007) Supervised MS Lesion Segmentation. In: Zwiggelaar, R and Labrosse, F, (eds.) (Proceedings) Medical Image Understanding and Analysis. (pp. pp. 191-195).

Siek, KA; Connelly, KH; Rogers, Y; Rohwer, P; Lambert, D; Welch, JL; (2007) When do we eat? An evaluation of food items input into an electronic food monitoring application. In:

Silva, A; Rutten, J; (2007) Behavioural differential equations and coinduction for binary trees. In: (pp. pp. 322-336).

Silva, LAL; Buxton, BF; Campbell, JA; (2007) Enhanced case-based reasoning through use of argumentation and numerical taxonomy. In: (pp. pp. 423-428).

Silva, R; Airoldi, A; Heller, KA; (2007) Small sets of interacting proteins suggest latent linkage mechanisms through analogical reasoning. (Gatsby Computational Neuroscience Unit Technical Report GCNU TR ).

Silva, R; Heller, KA; Ghaharamani, Z; (2007) Analogical reasoning with relational Bayesian sets. In: Meila, M and Shen, X, (eds.) (Proceedings) AISTATS 2007.

Silver, D; Sutton, R; Müller, M; (2007) Reinforcement learning of local shape in the game of go. In: (pp. pp. 1053-1058).

Skene, J; Skene, A; Crampton, J; Emmerich, W; (2007) The Monitorability of Service-Level Agreements for Application-Service Provision. In: (pp. pp. 3-14). ACM Press: New York, US.

Slater, M; Frisoli, A; Tecchia, F; Guger, C; Lotto, B; Steed, A; Pfurtscheller, G; ... Bernardet, U; + view all (2007) Understanding and realizing presence in the Presenccia project. IEEE COMPUT GRAPH , 27 (4) 90 - 93.

Slater, M; Garau, M; (2007) The use of questionnaire data in presence studies: Do not seriously likert. PRESENCE-TELEOP VIRT , 16 (4) 447 - 456.

Smith, RE; Jiang, MK; (2007) MILCS: A mutual information learning classifier system. In: (pp. pp. 2945-2952). Green open access
file

Smith, RE; Jiang, MK; (2007) MILCS: A Mutual Information Learning Classifier System. In: Thierens, D, (ed.) (pp. pp. 2945-2951). ACM Press: New York, US.

Sofronie-Stokkermans, V; Ihlemann, C; Jacobs, S; (2007) Local Theory Extensions, Hierarchical Reasoning and Applications to Verification. In: Baader, F and Cook, B and Giesl, J and Nieuwenhuis, R, (eds.) Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany

Soloviev, VY; (2007) Tomographic bioluminescence imaging with varying boundary conditions. Applied Optics , 46 (14) pp. 2778-2784. 10.1364/AO.46.002778.

Soloviev, VY; McGinty, J; Tahir, KB; Neil, MAA; Sardini, A; Hajnal, JV; Arridge, SR; (2007) Fluorescence lifetime tomography of live cells expressing enhanced green fluorescent protein embedded in a scattering medium exhibiting background autofluorescence. OPT LETT , 32 (14) 2034 - 2036.

Soloviev, VY; Tahir, KB; McGinty, J; Elson, DS; Neil, M; Sardini, A; Hajnal, J; ... French, PMW; + view all (2007) Fluorescence lifetime imaging through turbid media reconstructed in the Fourier domain using time-gated imaging data - art. no. 66291V. In: Pogue, BW and Cubeddu, R, (eds.) Diffuse Optical Imaging of Tissue. (pp. V6291 - V6291). SPIE-INT SOC OPTICAL ENGINEERING

Soloviev, VY; Tahir, KB; McGinty, J; Elson, DS; Neil, MAA; French, PMW; Arridge, SR; (2007) Fluorescence lifetime imaging by using time-gated data acquisition. APPL OPTICS , 46 (30) 7384 - 7391.

Son, K; Kwon, J; (2007) Method and System for Determining Interface Compatibility Based on Component Model. U.S. Patent 10-2007-0098764.

Son, K; Kwon, J; (2007) System and Method for Software Product Manager with a Component Model. US Pat. 10-2007-0099917.

Spiro, N; Gold, N; Rink, J; (2007) In Search of Motive: Identification of Repeated Patterns in Performance and Their Structural Context. In: (pp. pp. 152-154). : Sydney, Australia.

Spiro, N; Gold, N; Rink, J; (2007) Performance motives: analysis and comparison of performance timing repetitions using pattern matching and Formal Concept Analysis. In: Williamon, A and Coimbra, D, (eds.) (pp. pp. 175-180). : Porto.

Srinivasan, MA; (2007) From Haptic Interface to Brain Interface. In: (pp. p. 291). IEEE

Stanley, RL; Fleck, RA; Becker, DL; Goodship, AE; Ralphs, JR; Patterson-Kane, JC; (2007) Gap junction protein expression and cellularity: Comparison of immature and adult equine digital tendons. J ANAT , 211 (3) 325 - 334. 10.1111/j.1469-7580.2007.00781.x.

Stern, D; Herbrich, R; Graepel, T; (2007) Learning to solve game trees. In: (pp. pp. 839-846).

Stoyanov, D; Yang, GZ; (2007) Stabilization of image motion for robotic assisted beating heart surgery. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , 4791 L (PART 1) pp. 417-424.

Stoyanov, D; Yang, GZ; (2007) Stabilization of image motion for robotic assisted beating heart surgery. In: Ayache, N and Ourselin, S and Maeder, A, (eds.) Medical Image Computing and Computer-Assisted Intervention - MICCAI 2007, Pt 1, Proceedings. (pp. 417 - 424). SPRINGER-VERLAG BERLIN

Sun, H; Yushkevich, PA; Zhang, H; Cook, PA; Duda, JT; Simon, TJ; Gee, JC; (2007) Evaluation of shape-based normalization in the corpus callosum for white matter connectivity analysis. In: UNSPECIFIED (pp. 777-784).

Sun, H; Yushkevich, PA; Zhang, H; Cook, PA; Duda, JT; Simon, TJ; Gee, JC; (2007) Shape-based normalization of the corpus callosum for DTI connectivity analysis. IEEE Trans Med Imaging , 26 (9) pp. 1166-1178. 10.1109/TMI.2007.900322.

Sun, ZY; Finkelstein, A; Ashmore, J; (2007) Using ontology with semantic web services to support modeling in systems biology. In: Weske, M and Hacid, MS and Godart, C, (eds.) WEB INFORMATION SYSTEMS ENGINEERING - WISE 2007 WORKSHOPS. (pp. 41 - 51). SPRINGER-VERLAG BERLIN

Sutton, RS; Koop, A; Silver, D; (2007) On the role of tracking in stationary environments. In: (pp. pp. 871-878).

Szedmak, S; Shawe-Taylor, J; (2007) Synthesis of maximum margin and multiview learning using unlabeled data. NEUROCOMPUTING , 70 (7-9) pp. 1254-1264. 10.1016/j.neucom.2006.11.012.

T

Tan, HZ; Srinivasan, MA; Reed, CM; Durlach, NI; (2007) Discrimination and Identification of Finger Joint-Angle Position Using Active Motion. ACM TRANSACTIONS ON APPLIED PERCEPTION , 4 (2) 10.1145/1265957.1265959.

Tanner, C; Schnabel, JA; Hill, DLG; Hawkes, DJ; Degenhard, A; Leach, MO; Hose, DR; ... Usiskin, SI; + view all (2007) Quantitative evaluation of free-form deformation registration for dynamic contrast-enhanced MR mammography. MED PHYS , 34 (4) 1221 - 1233. 10.1118/1.2712040.

Tauber, M; Ester, W; Auriol, F; Molinas, C; Fauvel, J; Caliebe, J; Nugent, T; ... NESTEGG group, ; + view all (2007) GH responsiveness in a large multinational cohort of SGA children with short stature (NESTEGG) is related to the exon 3 GHR polymorphism. Clin Endocrinol (Oxf) , 67 (3) pp. 457-461. 10.1111/j.1365-2265.2007.02911.x.

Taylor, ZA; Cheng, M; Ourselin, S; (2007) Real-time nonlinear finite element analysis for surgical simulation using graphics processing units. In: Ayache, N and Ourselin, S and Maeder, A, (eds.) Medical Image Computing and Computer-Assisted Intervention - MICCAI 2007, Pt 1, Proceedings. (pp. 701 - 708). SPRINGER-VERLAG BERLIN

Taylor, ZA; Kirk, TB; Miller, K; (2007) Confocal arthroscopy-based patient- specific constitutive models of cartilaginous tissues – I: development of a microstructural model. Computer Methods in Biomechanics and Biomedical Engineering , 10 (4) pp. 307-316.

Taylor, ZA; Kirk, TB; Miller, K; (2007) Confocal arthroscopy-based patient-specific constitutive models of cartilaginous tissues – II: prediction of reaction force history of meniscal cartilage specimens. Computer Methods in Biomechanics and Biomedical Engineering , 10 (5) pp. 327-336.

Tecchia, Franco; (2007) An image-based approach to the rendering of crowds in real-time. Doctoral thesis , UCL (University College London). Green open access
file

Thiemann, R; Giesl, J; Schneider-Kamp, P; (2007) Decision Procedures for Loop Detection. In: Baader, F and Cook, B and Giesl, J and Nieuwenhuis, R, (eds.) Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany

Togelius, J; De Nardi, R; Lucas, SM; (2007) Towards automatic personalised content creation for racing games. In: 2007 IEEE Symposium on Computational Intelligence and Games. (pp. 252 - 259). IEEE

Togelius, J; De Nardi, R; Marques, H; Newcombe, R; Lucas, SM; Holland, O; (2007) Nonlinear Dynamics Modelling for Controller Evolution. In: GECCO 2007: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2. (pp. 324 - 331). ASSOC COMPUTING MACHINERY

Togelius, J; Lucas, SM; De Nardi, R; (2007) Computational Intelligence in Racing Games. In: Baba, N and Jain, LC and Handa, H, (eds.) Advanced Intelligent Paradigms in Computer Games. Springer

Towner, H; Slater, M; (2007) Reconstruction and recognition of occluded facial expressions using PCA. In: Paiva, A and Prada, R and Picard, RW, (eds.) (Proceedings) 2nd International Conference on Affective Computing and Intellegent Interaction. (pp. 36-+). SPRINGER-VERLAG BERLIN

Treleaven, P; Wells, J; (2007) 3D body scanning and healthcare applications. COMPUTER , 40 (7) 28-+. 10.1109/MC.2007.225.

Tress, ML; Martelli, PL; Frankish, A; Reeves, GA; Wesselink, JJ; Yeats, C; Olason, PI; ... Valencia, A; + view all (2007) The implications of alternative splicing in the ENCODE protein complement. P NATL ACAD SCI USA , 104 (13) 5495 - 5500. 10.1073/pnas.0700800104.

Troncoso, C; Danezis, G; Kosta, E; Preneel, B; (2007) PriPAYD: Privacy friendly pay-as-you-drive insurance. WPES'07 - Proceedings of the 2007 ACM Workshop on Privacy in Electronic Society pp. 99-107. 10.1145/1314333.1314353.

Tsampouka, P; Shawe-Taylor, J; (2007) Approximate maximum margin algorithms with rules controlled by the number of mistakes. ACM International Conference Proceeding Series , 227 pp. 903-910. 10.1145/1273496.1273610.

Tsampouka, P; Shawe-Taylor, J; (2007) Approximate maximum margin algorithms with rules controlled by the number of mistakes. (Machine Learning, Proceedings of the Twenty-Fourth International Conference (ICML 2007), Corvallis, Oregon, USA, June 20-24, 2007 , pp. pp. 903-910 ). ACM

Tulone, C; Tsang, J; Prokopowicz, Z; Grosvenor, N; Chain, B; (2007) Natural cathepsin E deficiency in the immune system of C57BL/6J mice. Immunogenetics , 59 (12) pp. 927-935. 10.1007/s00251-007-0256-0.

Tulone, C; Tsang, J; Prokopowicz, Z; Grosvenor, N; Chain, B; (2007) Natural cathepsin E deficiency in the immune system of C57BL/6J mice. IMMUNOGENETICS , 59 (12) pp. 927-935. 10.1007/s00251-007-0256-0.

Tulone, C; Uchiyama, Y; Novelli, M; Grosvenor, N; Saftig, P; Chain, BM; (2007) Haematopoietic development and immunological function in the absence of cathepsin D. BMC Immunology , 8 , Article 22. 10.1186/1471-2172-8-22. Green open access
file

Tumminello, M; Di Matteo, T; Aste, T; Mantegna, RN; (2007) Correlation based networks of equity returns sampled at different time horizons. EUROPEAN PHYSICAL JOURNAL B , 55 (2) pp. 209-217. 10.1140/epjb/e2006-00414-4.

Tzanis, E; (2007) A note on Probabilistic Logics. In: Baier, C and Groesser, M, (eds.) (Proceedings) PAul2007: Probabilistic Automata and Logics. LICS2007 Workshop.. (pp. pp. 33-43). : Wroclaw, Poland.

U

Uldall-Espersen, T; Frøkjær, E; Blandford, A; Jokela, T; (2007) Increasing the impact of usability work in software development. In: (pp. pp. 2873-2876).

V

Valmaggia, LR; Freeman, D; Green, C; Garety, P; Swapp, D; Antley, A; Prescott, C; ... McGuire, PK; + view all (2007) Virtual reality and paranoid ideations in people with an 'at-risk mental state' for psychosis. BRIT J PSYCHIAT , 191 S63 - S68. 10.1192/bjp.191.51.s63.

Valmaggia, LR; Freeman, D; Green, C; Garety, P; Swapp, D; Antley, A; Prescott, C; ... McGuire, PK; + view all (2007) Virtual reality and paranoid ideations in people with an 'at-risk mental state' for psychosis. Br J Psychiatry Suppl , 51 s63-s68.