UCL Discovery

Article

Alexander, DC and Jiang, T and Westin, C-F (2007) Guest editorial special issue on computational diffusion MRI. IEEE Transactions on Medical Imaging , 26 (11) 1425 - 1426.

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

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

Archambeau, C and Cornford, D and Opper, M and Shawe-Taylor, J (2007) Gaussian Process Approximations of Stochastic Differential Equations. Journal of Machine Learning Research - Proceedings Track , 1 1 - 16.

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

Aste, T and Di Matteo, T (2007) Correlations and aggregate statistics in granular packs. Eur Phys J E Soft Matter , 22 (3) 235 - 240. 10.1140/epje/e2007-00033-x.

Aste, T and Di Matteo, T and Saadatfar, M and Senden, TJ and Schröter, M and Swinney, HL (2007) An invariant distribution in static granular media. EPL , 79 (2)

Aste, T and Matteo, TD (2007) A deductive statistical mechanics approach for granular matter. Phys. Rev. E 77 (2008) 021309 10.1103/PhysRevE.77.021309.

Avants, BB and Duda, JT and Zhang, H and Gee, JC (2007) Multivariate normalization with symmetric diffeomorphisms for multivariate studies. Med Image Comput Comput Assist Interv , 10 (Pt 1) 359 - 366.

Awate, SP and Zhang, H and 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) 1525 - 1536. 10.1109/TMI.2007.907301.

Awate, SP and Zhang, H and Gee, JC (2007) Fuzzy nonparametric DTI segmentation for robust cingulum-tract extraction. Med Image Comput Comput Assist Interv , 10 (Pt 1) 294 - 301.

Barr, ET and Bishop, M and Gondree, M (2007) Fixing federal e-voting standards. Commun. ACM , 50 , Article 3. 10.1145/1226736.1226754.

Bartolozzi, M and Mellen, C and Di Matteo, T and Aste, T (2007) Multi-scale correlations in different futures markets. European Physical Journal B , 58 (2) 207 - 220.

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

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

Betcke, MM and 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) 267 - 284.

Black, E and Hunter, A (2007) A generative inquiry dialogue system. Proceedings of the International Conference on Autonomous Agents 1014 - 1021.

Blandford, A and Keith, S and Butterworth, R and Fields, B and Furniss, D (2007) Disrupting digital library development with scenario informed design. INTERACT COMPUT , 19 (1) 70 - 82. 10.1016/j.intcom.2006.07.003. An open access version is available from UCL Discovery

Braunstein, SL and Ghosh, S and 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 and Vinayagamoorthy, V and Steed, A and Slater, M (2007) Responses of Participants During an Immersive Virtual Environment Experience. IJVR , 6 , Article 2.

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

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

Cardinale, M and Ferrari, M and Quaresima, V (2007) Gastrocnemius medialis and vastus lateralis oxygenation during whole-body vibration exercise. Med Sci Sports Exerc , 39 (4) 694 - 700. 10.1249/mss.0b013e31803084d8.

Cardinale, M and Leiper, J and Farajian, P and Heer, M (2007) Whole-body vibration can reduce calciuria induced by high protein intakes and may counteract bone resorption: A preliminary study. J Sports Sci , 25 (1) 111 - 119. 10.1080/02640410600717816.

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

Chen, C and Clack, C and Nagl, SB (2007) Context sensitivity in individual-based modeling. BMC Systems Biology , 1 (Suppl 1) 44 - ?. 10.1186/1752-0509-1-S1-P44. An open access publication

Cheong, J and Niculescu, SI and Annaswamy, A and Srinivasan, MA (2007) Synchronization control for physics-based collaborative virtual environments with shared haptics. ADV ROBOTICS , 21 (9) 1001 - 1029.

Chiappa, S and Barber, D (2007) Bayesian Factorial Linear Gaussian State-Space Models for Biosignal Decomposition. Signal Processing Letters , 14 (4) 267 - 270. 10.1109/LSP.2006.881515. An open access version is available from UCL Discovery

Chiappa, S and Barber, D (2007) Output grouping using dirichlet mixtures of linear Gaussian state-space models. ISPA 2007 - Proceedings of the 5th International Symposium on Image and Signal Processing and Analysis 446 - 451.

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

Cook, PA and Symms, M and Boulby, PA and 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 and Choe, R and Durduran, T and Rosen, MA and Schweiger, M and Arridge, SR and Schnall, MD and Yodh, AG (2007) Three-dimensional in vivo fluorescence diffuse optical tomography of breast cancer in humans. OPT EXPRESS , 15 (11) 6696 - 6716. An open access publication

Courtois, N and Bard, GV and Wagner, D (2007) Algebraic and Slide Attacks on KeeLoq. IACR Cryptology ePrint Archive , 2007 62 - 62.

Cox, BT and Arridge, SR and 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 and Kara, S and Arridge, SR and 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.

Curzon, P and Ruk nas, R and Blandford, A (2007) An approach to formal verification of human-computer interaction. Formal Aspects of Computing , 19 (4) 513 - 550. 10.1007/s00165-007-0035-6.

Di Matteo, T and Aste, T (2007) "No worries": Trends in Econophysics. European Physical Journal B , 55 (2) 121 - 122.

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

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

Durlach, NI and Slater, M (2007) Editorial Notes: Changes in Presence. Presence , 16 , Article 1. 10.1162/pres.16.1.iii.

Dyrby, TB and Sogaard, LV and Parker, GJ and Alexander, DC and Lind, NM and Baare, WFC and Hay-Schmidt, A and Eriksen, N and Pakkenberg, B and Paulson, OB and Jelsing, J (2007) Validation of in vitro probabilistic tractography. NEUROIMAGE , 37 (4) 1267 - 1277. 10.1016/j.neuroimage.2007.06.022.

El Gawhary, O and Severini, S (2007) Lorentz beams as a basis for a new class of rectangularly symmetric optical fields. OPT COMMUN , 269 (2) 274 - 284. 10.1016/j.optcom.2006.08.007.

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

Elder, JH and Prince, SJD and Hou, Y and Sizintsev, M and Olevskiy, E (2007) Pre-attentive and attentive detection of humans in wide-field scenes. INTERNATIONAL JOURNAL OF COMPUTER VISION , 72 (1) 47 - 66. 10.1007/s11263-006-8892-7.

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

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

Erskine, J and Smillie, I and Leiper, J and Ball, D and Cardinale, M (2007) Neuromuscular and hormonal responses to a single session of whole body vibration exercise in healthy young men. Clin Physiol Funct Imaging , 27 (4) 242 - 248. 10.1111/j.1475-097X.2007.00745.x.

Everdell, JCHJBTCBDPAPGANL (2007) An electrically-activated dynamic tissue-equivalent phantom for assessment of diffuse optical imaging systems. Physics in Medicine and Biology , 53 (2) 329 - 337. 10.1088/0031-9155/53/2/002.

Evgeniou, T and Pontil, M and 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.

Fenoglio, L and Severini, S and Cena, P and Migliore, E and Bracco, C and Pomero, F and Panzone, S and Cavallero, GB and Silvestri, A and Brizio, R and Borghi, F (2007) Common bile duct schwannoma: A case report and review of literature. WORLD J GASTROENTERO , 13 (8) 1275 - 1278. An open access publication

Flechais, I and Mascolo, C and 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. An open access version is available from UCL Discovery

Fonteijn, HMJ and Verstraten, FAJ and Norris, DG (2007) Probabilistic inference on Q-ball Imaging data. IEEE T MED IMAGING , 26 (11) 1515 - 1524. 10.1109/TMI.2007.907297.

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

Garlaschelli, D and Di Matteo, T and Aste, T and Caldarelli, G and Loffredo, MI (2007) Interplay between topology and dynamics in the World Trade Web. European Physical Journal B , 57 (2) 159 - 164.

Garzotto, F and Perrone, V (2007) Industrial acceptability of web design methods: An empirical study. J WEB ENG , 6 (1) 73 - 96.

Gorogiannis, N and Ryan, M (2007) Minimal refinements of specifications in modal and temporal logics. Formal Asp. Comput. , 19 , Article 4. 10.1007/s00165-007-0040-9.

Green, P and Kautz, J and 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 T PATTERN ANAL , 29 (8) 1355 - 1366. 10.1109/TPAMI.2007.1066.

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

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

Hardoon, DR and Mourao-Miranda, J and Brammer, M and 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 and Mourão-Miranda, J and Brammer, M and Shawe-Taylor, J (2007) Unsupervised analysis of fMRI data using kernel canonical correlation. NeuroImage , 37 (4) 1250 - 1259.

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

Hipwell, JH and Tanner, C and Crum, WR and Schnabel, JA and 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, R (2007) Peirce Algebras and Boolean Modules. J. Log. Comput. , 17 , Article 2. 10.1093/logcom/exl037.

Hirsch, R (2007) Relation algebra reducts of cylindric algebras and complete representations. J. Symb. Log. , 72 , Article 2.

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

Hirsch, R and Mikulás, S (2007) Representable semilattice-ordered monoids. Algebra Universalis , 57 (3) 333 - 370.

Hou, QH and Mansour, T and Severini, S (2007) Partial transpose of permutation matrices.

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

Hussain, Z and Laviolette, F and Marchand, M and Shawe-Taylor, J and Brubaker, SC and 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. An open access publication

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

Julier, SJ and LaViola, JJ (2007) On Kalman Filtering with Nonlinear Equality Constraints. IEEE Transactions on Signal Processing , 55 (6) 2774 - 2784. 10.1109/TSP.2007.893949. An open access version is available from UCL Discovery

Julier, SJ and Uhlmann, JK (2007) Using covariance intersection for SLAM. Robotics and Autonomous Systems , 55 (1) 3 - 20.

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

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

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

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

Kim, J and Bentley, PJ and Aickelin, U and Greensmith, J and Tedesco, G and Twycross, J (2007) Immune system approaches to intrusion detection - A review. Natural Computing , 6 (4) 413 - 466.

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

Kim, J and Choi, C and De, S and Srinivasan, MA (2007) Virtual surgery simulation for medical training using multi-resolution organ models. INT J MED ROBOT COMP , 3 (2) 149 - 158. 10.1002/rcs.140.

Koene, AR and 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. An open access publication

Kolmogorov, V and 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 and Savolainen, P and Heiskala, J and Kähkönen, S (2007) Excitation threshold of the motor cortex estimated with transcranial magnetic stimulation electroencephalography. NeuroReport , 18 (1) 13 - 16.

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

Leeb, R and Friedman, D and Muller-Putz, GR and Scherer, R and Slater, M and Pfurtscheller, G (2007) Self-Paced (Asynchronous) BCI Control of a Wheelchair in Virtual Environments: A Case Study with a Tetraplegic. Computational Intelligence and Neuroscience , 2007 10.1155/2007/79642. An open access publication

Li, Q and 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, Y and Shawe-Taylor, J (2007) Advanced learning algorithms for cross-language patent retrieval and classification. INFORM PROCESS MANAG , 43 (5) 1183 - 1199. 10.1016/j.ipm.2006.11.005.

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

Makri, S and Blandford, A and 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 1 - 22. 10.1016/j.ipm.2007.05.001.

Makri, S and Blandford, A and Gow, J and Rimmer, J and Warwick, C and Buchanan, G (2007) A library or just another information resource? A case study of users' mental models of traditional and digital libraries. Journal of the American Society for Information Science and Technology , 58 (3) 433 - 445. 10.1002/asi.20510. An open access version is available from UCL Discovery

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

Mansour, T and Schork, M and 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.

Mesot, B and Barber, D (2007) Switching Linear Dynamical Systems for Noise Robust Speech Recognition. IEEE Transactions on Audio, Speech & Language Processing , 15 , Article 6. 10.1109/TASL.2007.901312.

Micchelli, CA and 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 and Steed, A (2007) Mapping carbon monoxide using GPS tracked sensors. ENVIRON MONIT ASSESS , 124 (1-3) 1 - 19. 10.1007/s10661-006-9488-y.

Minneci, F and Janahmadi, M and Migliore, M and Dragicevic, N and Avossa, D and Cherubini, E (2007) Signaling properties of stratum oriens interneurons in the hippocampus of transgenic mice expressing EGFP in a subset of somatostatin-containing cells. HIPPOCAMPUS , 17 (7) 538 - 553. 10.1002/hipo.20291.

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

Mitra, NJ and Guibas, LJ and Pauly, M (2007) Symmetrization. ACM SIGGRAPH 2007 Papers - International Conference on Computer Graphics and Interactive Techniques

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

Murray, N and Roberts, D and Steed, A and Sharkey, P and Dickerson, P and 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 and Mascolo, C (2007) Designing Mobility Models based on Social Network Theory. ACM SIGMOBILE Mobile Computing and Communications Review , 11 (3) 59 - 70.

Nagy, Z and Weiskopf, N and Alexander, DC and 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. An open access publication

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

Navarro-Pérez, JA and Voronkov, A (2007) Encodings of bounded LTL model checking in effectively propositional logic. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , 4603 LNAI 346 - 361.

Navarro-Pérez, JA and Voronkov, A (2007) Encodings of problems in effectively propositional logic. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , 4501 LNCS 3 - 3.

Ng, J and Bharath, A and Zhaoping, L (2007) A survey of architecture and function of the primary visual cortex (V1). EURASIP Journal on Applied Signal Processing , 2007 (1) 124 - ?. 10.1155/2007/97961. An open access version is available from UCL Discovery

Ng, J and Bharath, AA and 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.

O'Hearn, PW (2007) Resources, concurrency, and local reasoning. Theor. Comput. Sci. , 375 , Article 1-3. 10.1016/j.tcs.2006.12.035.

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

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

Oyekoya, O and Stentiford, F (2007) Perceptual image retrieval using eye movements. Int. J. Comput. Math. , 84 , Article 9. 10.1080/00207160701242268.

Peters, CJ and Nugent, T and Perry, LA and Davies, K and Morel, Y and Drake, WM and Savage, MO and Johnston, LB (2007) Cosegregation of a novel homozygous CYP11B1 mutation with the phenotype of non-classical congenital adrenal hyperplasia in a consanguineous family. Hormone Research , 67 (4) 189 - 193.

Petricek, V and Cox, IJ and Han, H and Councill, IG and Giles, CL (2007) A Comparison of On-Line Computer Science Citation Databases. CoRR , abs/cs/0703043

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

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

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

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

Rogers, Y (2007) Reflections on the EPSRC-funded Equator Interdisciplinary Research Collaboration (IRC)2001-2006. Interfaces , 69 8 - 10.

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

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. An open access version is available from UCL Discovery

Sato, JR and Fujita, A and Jr, EA and Miranda, JM and Morettin, PA and Brammer, MJ (2007) DWT-CEM: an algorithm for scale-temporal clustering in fMRI. Biological Cybernetics , 97 , Article 1. 10.1007/s00422-007-0154-4.

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

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

Slater, M and Frisoli, A and Tecchia, F and Guger, C and Lotto, B and Steed, A and Pfurtscheller, G and Leeb, R and Reiner, M and Sanchez-Vives, MV and Verschure, P and Bernardet, U (2007) Understanding and realizing presence in the Presenccia project. IEEE COMPUT GRAPH , 27 (4) 90 - 93.

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

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

Soloviev, VY and McGinty, J and Tahir, KB and Neil, MAA and Sardini, A and Hajnal, JV and Arridge, SR and French, PMW (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 and Tahir, KB and McGinty, J and Elson, DS and Neil, MAA and French, PMW and Arridge, SR (2007) Fluorescence lifetime imaging by using time-gated data acquisition. APPL OPTICS , 46 (30) 7384 - 7391.

Sun, H and Yushkevich, PA and Zhang, H and Cook, PA and Duda, JT and Simon, TJ and Gee, JC (2007) Evaluation of shape-based normalization in the corpus callosum for white matter connectivity analysis. Med Image Comput Comput Assist Interv , 10 (Pt 2) 777 - 784.

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

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

Tan, HZ and Srinivasan, MA and Reed, CM and Durlach, NI (2007) Discrimination and Identification of Finger Joint-Angle Position Using Active Motion. ACM TRANS APPL PERCE , 4 (2) , Article 10. 10.1145/1265957.1265959.

Tanner, C and Schnabel, JA and Hill, DLG and Hawkes, DJ and Degenhard, A and Leach, MO and Hose, DR and Hall-Craggs, MA and Usiskin, SI (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 and Ester, W and Auriol, F and Molinas, C and Fauvel, J and Caliebe, J and Nugent, T and Fryklund, L and Ranke, MB and Savage, MO and Clark, AJL and Johnston, LB and Hokken-Koelega, ACS (2007) GH responsiveness in a large multinational cohort of SGA children with short stature (NESTEGG) is related to the exon 3 GHR polymorphism. Clinical Endocrinology , 67 (3) 457 - 461.

Taylor, ZA and Kirk, TB and 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) 307 - 316.

Taylor, ZA and Kirk, TB and 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) 327 - 336.

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

Tress, ML and Martelli, PL and Frankish, A and Reeves, GA and Wesselink, JJ and Yeats, C and Olason, PI and Albrecht, M and Hegyi, H and Giorgetti, A and Raimondo, D and Lagarde, J and Laskowski, RA and Lopez, G and Sadowski, MI and Watson, JD and Fariselli, P and Rossi, I and Nagy, A and Kai, W and Storling, Z and Orsini, M and Assenov, Y and Blankenburgh, H and Huthmacher, C and Ramirez, F and Schlicker, A and Denoued, F and Jones, P and Kerrien, S and Orchard, S and Antonarakis, SE and Reymond, A and Birney, E and Brunak, S and Casadio, R and Guigo, R and Harrow, J and Hermjakob, H and Jones, DT and Lengauer, T and Orengo, CA and Patthy, L and Thornton, JM and Tramontano, A and Valencia, A (2007) The implications of alternative splicing in the ENCODE protein complement. P NATL ACAD SCI USA , 104 (13) 5495 - 5500. 10.1073/pnas.0700800104.

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

Tumminello, M and Di Matteo, T and Aste, T and Mantegna, RN (2007) Correlation based networks of equity returns sampled at different time horizons. European Physical Journal B , 55 (2) 209 - 217.

Valmaggia, LR and Freeman, D and Green, C and Garety, P and Swapp, D and Antley, A and Prescott, C and Fowler, D and Kuipers, E and Bebbington, P and Slater, M and Broome, M and McGuire, PK (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 and Freeman, D and Green, C and Garety, P and Swapp, D and Antley, A and Prescott, C and Fowler, D and Kuipers, E and Bebbington, P and Slater, M and Broome, M and McGuire, PK (2007) Virtual reality and paranoid ideations in people with an 'at-risk mental state' for psychosis. Br J Psychiatry Suppl , 51 s63 - s68. 10.1192/bjp.191.51.s63.

Wells, JCK and Treleaven, P and Cole, TJ (2007) BMI compared with 3-dimensional body shape: the UK National Sizing Survey. AM J CLIN NUTR , 85 (2) 419 - 425.

Weyrich, T and Deng, J and Barnes, C and Rusinkiewicz, S and Finkelstein, A (2007) Digital Bas-Relief from 3D Scenes. ACM Trans. on Graphics (Proc. ACM SIGGRAPH 2007) , 26 , Article 3.

Weyrich, T and Heinzle, S and Aila, T and Fasnacht, D and Oetiker, S and Botsch, M and Flaig, C and Mall, S and Rohrer, K and Felber, N and Kaeslin, H and Gross, M (2007) A Hardware Architecture for Surface Splatting. ACM Trans. on Graphics (Proc. SIGGRAPH 2007) , 26 , Article 3.

Wischik, D and Ganesh, AJ (2007) The calculus of Hurstiness. Queueing Systems - Theory and Applications (QUESTA) , 55

Wolff, R and Roberts, DJ and Steed, A and Otto, O (2007) A review of telecollaboration technologies with respect to closely coupled collaboration. IJCAT , 29 , Article 1. 10.1504/IJCAT.2007.014056.

Xiong, HY and Curzon, P and Tahar, S and Blandford, A (2007) Providing a formal linkage between MDG and HOL. Formal Methods in System Design , 30 (2) 83 - 116. 10.1007/s10703-006-0017-y.

Xue, F and Yan, L (2007) Formal approach to fault diagnosis in distributed discrete event systems with OBDD. Innovations in Systems and Software Engineering: A NASA Journal , 3

Yan, L (2007) On Teaching Ubiquitous Computing. IEEE Distributed Systems Online , 8 (7) 10.1109/MDSO.2007.45.

Yushkevich, PA and Detre, JA and Mechanic-Hamilton, D and Fernández-Seara, MA and Tang, KZ and Hoang, A and Korczykowski, M and Zhang, H and Gee, JC (2007) Hippocampus-specific fMRI group activation analysis using the continuous medial representation. Neuroimage , 35 (4) 1516 - 1530. 10.1016/j.neuroimage.2007.01.029.

Yushkevich, PA and Zhang, H and Simon, TJ and Gee, JC (2007) Structure-specific statistical mapping of white matter tracts using the continuous medial representation. Proceedings of the IEEE International Conference on Computer Vision

Zhang, H and Avants, BB and Yushkevich, PA and Woo, JH and Wang, S and McCluskey, LF and Elman, LB and Melhem, ER and Gee, JC (2007) High-dimensional spatial normalization of diffusion tensor images improves the detection of white matter differences: an example study using amyotrophic lateral sclerosis. IEEE Trans Med Imaging , 26 (11) 1585 - 1597. 10.1109/TMI.2007.906784.

Zhang, H and Yushkevich, PA and Rueckert, D and Gee, JC (2007) Unbiased white matter atlas construction using diffusion tensor images. Med Image Comput Comput Assist Interv , 10 (Pt 2) 211 - 218.

Zhaoping, L (2007) Colour categories, colour constancy, and lightness perception from information theory. PERCEPTION , 36 201 - 202.

Zhaoping, L and Guyader, N (2007) Interference with bottom-up feature detection by higher-level object recognition. CURR BIOL , 17 (1) 26 - 31. 10.1016/j.cub.2006.10.050.

Zhaoping, L and May, KA (2007) Psychophysical tests of the hypothesis of a bottom-up saliency map in primary visual cortex. PLoS Computational Biology , 3 (4) e62 - ?. 10.1371/journal.pcbi.0030062. An open access publication. A version is also available from UCL Discovery.

Zhaoping, L and May, KA (2007) Psychophysical tests of the hypothesis of a bottom-up saliency map in primary visual cortex. PLOS COMPUT BIOL , 3 (4) , Article e62. 10.1371/journal.pcbi.0030062. An open access publication

Zhou, S and Mondragon, RJ (2007) Structural constraints in complex networks. NEW J PHYS , 9 , Article 173. 10.1088/1367-2630/9/6/173. An open access publication. A version is also available from UCL Discovery.

Zhou, S and Zhang, GQ and Zhang, GQ (2007) Chinese Internet AS-level topology. IET COMMUN , 1 (2) 209 - 214. 10.1049/iet-com:20060518.

Book

Bryan-Kinns, N and Blandford, A and Curzon, P and Nigay, L (Eds). (2007) People and computers XX. Springer-Verlag New York Inc

Ming, M and Steed, A and Sherman, B (Eds). (2007) Proceedings of IEEE Virtual Reality 2007.

Aste, T (2007) Granular And Complex Materials. World Scientific Publishing Company Incorporated

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

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

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

Book chapter

Back, J and Cheng, W and Dann, R and Curzon, P and 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. (151 - 157). Springer London: London.

Beeharee, AK and Steed, A (2007) Exploiting real world knowledge in ubiquitous applications. In: UNSPECIFIED (429 - 437).

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

Blandford, A and Gow, J and Buchanan, G and Warwick, C and Rimmer, J (2007) Creators, composers and consumers: experiences of designing a digital library. In: Human-Computer Interaction - INTERACT 2007. (239 - 242). Springer: Berlin / Heidelberg. An open access version is available from UCL Discovery

Cristianini, N and Shawe-Taylor, J and 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. (1 - 40). IDEA Group Publishing

de Vallejo, IL and Hailes, S and Conroy-Dalton, R and 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

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

Leeb, R and Scherer, R and Friedman, D and Lee, FY and Keinrath, K and Bischof, H and Slater, M and Pfurtscheller, G (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..

Perez-Cruz, F and Ghahramani, Z and 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

Rukšėnas, R and Curzon, P and Back, J and 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.

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

SHAWE-TAYLOR, J and Fortuna, B and Cristianini, N (2007) A Kernel Canonical Correlation Analysis for Learning the Semantics of Text. In: Rojo-Alvarez, G and In Camps-Valls, G and Rojo-Alvarez, J and Martinez-Ramon, M, (eds.) Kernel Methods in Bioengineering, Signal and Image Processing. (263 - 282).

Togelius, J and Lucas, SM and 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

Wang, J and de Vries, AP and Reinders, MJT (2007) Wi-Fi Walkman. In: Encyclopedia of Wireless and Mobile Communications. Auerbach Publishers Inc.

Wassermann, B and Emmerich, W (2007) Reliable Scientific Service Compositions. In: Workshop Proceedings of the 4th Int. Conf. on Service Oriented Computing (ICSOC 2006), Chicago, IL. (14 - 25). Springer An open access version is available from UCL Discovery

Wassermann, B and Emmerich, W and Butchart, B and Cameron, N and Chen, L and Patel, J (2007) Sedna: A BPEL-based environment for visual scientific workflow modelling. In: Taylor, IJ and Deelman, E and Gannon, DB and Shields, M, (eds.) Workflows for e-Science. (428 - 449). Springer

Weyrich, T and Gross, M (2007) Preprocessing and Filtering of Point Models. In: Gross, M and Pfister, H, (eds.) Point-based graphics. (188 - 206). Morgan Kaufmann Pub

Zhou, S (2007) Positive-Feedback Preference Model of the Internet Topology. In: Freire, M and Pereira, M, (eds.) Encyclopedia of Internet Technologies and Applications. (407 - 410). Information Science Reference: Hershey/New York.

Conference item

Attfield, S and 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.

Makri, S. and Blandford, A. and 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. An open access version is available from UCL Discovery

Other

Courtois, N (2007) CTC2 and Fast Algebraic Attacks on Block Ciphers Revisited. UNSPECIFIED

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

Wang, Z and Shawe-Taylor, J and Szedmak, S (2007) Kernel regression based machine translation. Association for Computational Linguistics, Rochester, NY, USA East Stroudsburg, PA, USA.

Weyrich, T and Lawrence, J and Lensch, H and Rusinkiewicz, S and Zickler, T (2007) Principles of appearance acquisition and representation. UNSPECIFIED

Patent

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

Proceedings paper

UNSPECIFIED (2007) Advances in Intelligent Data Analysis VII, 7th International Symposium on Intelligent Data Analysis, IDA 2007, Ljubljana, Slovenia, September 6-8, 2007, Proceedings. In: Berthold, MR and Shawe-Taylor, J and Lavrac, N, (eds.) IDA. Springer

UNSPECIFIED (2007) UNSPECIFIED In: Emmerich, W and Rothermel, G, (eds.) (Proceedings) Proc. of the 29th Int. Conference on Software Engineering, Minneapolis, USA, May 20-26, 2007. IEEE Computer Society Press

UNSPECIFIED (2007) IEEE Virtual Reality Conference, VR 2007, 10-14 March 2007, Charlotte, NC, USA, Proceedings. In: Sherman, WR and Lin, MC and Steed, A, (eds.) VR. IEEE Computer Society

Abascal, JFPJ and Arridge, SR and Lionheart, WRB and Bayford, RH and 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 and Arridge, SR and Lionheart, WRB and Bayford, RH and 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

Ai, JQ and Sun, XM and Liu, YH and Cox, IJ and Sun, G and 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

Alexander, DC (2007) Axon radius measurements in vivo from diffusion MRI: A feasibility study. In: Proceedings of the IEEE International Conference on Computer Vision. An open access version is available from UCL Discovery

Alexander, DC and 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 and Jones, DK (2007) Limits on measuring axon diameters in vivo using diffusion MRI. In: International Society for Magnetic Resonance in Medicine 15th Annual Scientific Meeting and Exhibition: 2007 Proceedings. (pp. 1541 - 1541). International Society for Magnetic Resonance in Medicine: Berkeley, US.

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

Ambroladze, A and Parrado-Hernández, E and Shawe-Taylor, J (2007) Tighter PAC-Bayes bounds. In: Advances in Neural Information Processing Systems. (pp. 9 - 16).

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

Argyriou, A and Evgeniou, T and Pontil, M (2007) Multi-task feature learning. In: Advances in Neural Information Processing Systems. (pp. 41 - 48).

Atallah, L and ElHelw, M and Pansiot, J and Stoyanov, D and Wang, L and Lo, B and 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 and Bhatti, S and Hailes, S (2007) Mobility as an Integrated Service Through the Use of Naming. In: MobiArch '07: Proceedings of 2nd ACM/IEEE international workshop on Mobility in the evolving internet architecture. (pp. 1:1 - 1:6). ACM Press: New York, US.

Atkinson, RJ and Bhatti, S and Hailes, S (2007) A proposal for unifying mobility with multi-homing, NAT, & security. In: Zomaya, AY and Zeadally, S, (eds.) MOBIWAC. (pp. 74 - 83). ACM

Back, J and Blandford, A and Curzon, P (2007) Recognising Erroneous and Exploratory Interactions. In: (Proceedings) Interact 2007. (pp. 127 - 140). An open access version is available from UCL Discovery

Back, J and Blandford, A and Curzon, P (2007) Slip errors and cue salience. In: (Proceedings) ECCE 2007.

Back, J and Furniss, D and Blandford, A (2007) Cognitive Resilience: Reflection-in-action and on-action. In: Woltjer, R and Johansson, B and Lundberg, J, (eds.) (pp. 1 - 6). Linköpings Universitet: Linköpings, Sweden. An open access version is available from UCL Discovery

Bard, GV and Courtois, N and Jefferson, C (2007) Efficient Methods for Conversion and Solution of Sparse Systems of Low-Degree Multivariate Polynomials over GF(2) via SAT-Solvers. In: IACR Cryptology ePrint Archive. (pp. 24 - 24).

Bas, P and 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.) Information Hiding: 9th International Workshop, IH 2007, Saint Malo, France, June 11-13, 2007, Revised Selected Papers. (pp. 174 - 188). Springer-Verlag: Berlin/Heidelberg, Germany.

Beeharee, A and 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 and Steed, A (2007) Minimising Pedestrian Navigational Ambiguities Through Geoannotation and Temporal Tagging. In: Jacko, JA, (ed.) HCI (2). (pp. 748 - 757). Springer

Berdine, J and Calcagno, C and Cook, B and Distefano, D and O'Hearn, PW and Wies, T and Yang, H (2007) Shape Analysis for Composite Data Structures. In: Damm, W and Hermanns, H, (eds.) CAV. (pp. 178 - 192). Springer

Berdine, J and Chawdhary, A and Cook, B and Distefano, D and O'Hearn, PW (2007) Variance analyses from invariance analyses. In: Hofmann, M and Felleisen, M, (eds.) POPL. (pp. 211 - 224). ACM

Bhalla, N and Bentley, PJ and 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.) Unconventional Computing 2007. (pp. 167 - 198). Luniver Press: Frome, UK.

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

Blake, A and Criminisi, A and Cross, C and Kolmogorov, V and 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 and Benedyk, R and Berthouze, N and Cox, A and 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). An open access version is available from UCL Discovery

Blandford, A and Benedyk, R and Berthouze, N and Cox, A and 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 and Gow, J and Buchanan, G and Warwick, C and 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

Blaze, M and Anderson, R and Clayton, R and Stajano, FR and Aura, T and Danezis, G and Desmedt, Y and Zugenmaier, A and Christianson, B (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 and Fonteijn, HMJ and Shumskaya, E and Schwarzbach, J and Norris, DG (2007) Functional Hierarchy of the Visual System as Revealed by Resting-State Connectivity. In: International Society for Magnetic Resonance in Medicine 15th Annual Scientific Meeting and Exhibition: 2007 Proceedings. (pp. 1989 - 1989). International Society for Magnetic Resonance in Medicine: Berkeley, US.

Bond, M and Anderson, R and Aura, T and Christianson, B and Stajano, F and Blaze, M and Danezis, G and Roe, M and Zugenmaier, A and Desmedt, Y and Laurie, B (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

Bonhard, P and Sasse, MA and Harries, C (2007) "The devil you know knows best": how online recommendations can benefit from social networking. In: Ormerod, TC and Sas, C, (eds.) BCS HCI (1). (pp. 77 - 86). BCS

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

Brotherston, J (2007) Formalised inductive reasoning in the logic of bunched implications. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). (pp. 87 - 103).

Brotherston, J and Simpson, A (2007) Complete sequent calculi for induction and infinite descent. In: Proceedings - Symposium on Logic in Computer Science. (pp. 51 - 60).

Buchanan, G and Gow, J and Blandford, A and Rimmer, J and 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 An open access version is available from UCL Discovery

Bulterman, DCA and Cesar, P and Jansen, AJ and Knoche, H and Seager, W (2007) Enabling Pro-Active User-Centered Recommender Systems: An Initial Evaluation. In: Ninth IEEE International Symposium on Multimedia Workshops, 2007: ISMW '07. (pp. 195 - 200). IEEE Computer Society Press: Los Alamitos, US.

Bunyakiati, P and Finkelstein, A and 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

Calcagno, C and Distefano, D and O'Hearn, PW and Yang, H (2007) Footprint Analysis: A Shape Analysis That Discovers Preconditions. In: Nielson, HR and Filé, G, (eds.) SAS. (pp. 402 - 418). Springer

Calcagno, C and O'Hearn, PW and Yang, H (2007) Local Action and Abstract Separation Logic. In: LICS. (pp. 366 - 378). IEEE Computer Society

Calegari, R and Musolesi, M and Raimondi, F and 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. 415 - 424). ACM Press: New York, NY, USA.

Calegari, R and Musolesi, M and Raimondi, F and Mascolo, C (2007) CTG: a connectivity trace generator for testing the performance of opportunistic mobile systems. In: Crnkovic, I and Bertolino, A, (eds.) ESEC/SIGSOFT FSE. (pp. 415 - 424). ACM

Campbell, NDF and Vogiatzis, G and Hernández, C and Cipolla, R (2007) Automatic 3D Object Segmentation in Multiple Views using Volumetric Graph-Cuts. In: 18th British Machine Vision Conference. (pp. 530-539 - 530-539).

Capra, L (2007) MaLM: Machine learning middleware to tackle ontology heterogeneity. In: Proceedings - Fifth Annual IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2007. (pp. 449 - 454). An open access version is available from UCL Discovery

Chandran, N and Groth, J and 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 and Musolesi, M and Emmerich, W and Mascolo, C (2007) Predictive Resource Scheduling in Computational Grids. In: Proc. of the $21^st$ Int. Parallel and Distributed Processing Symposium, Long Beach, CA. (pp. 1 - 10). IEEE Computer Society Press

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

Chen, C and Nagl, S and 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. 35 - 51). EPNACS'2007 within ECCS'07: Dresden.

Chen, CC and Nagl, SB and Clack, CD (2007) Specifying, Detecting and Analysing Emergent Behaviours in Multi-Level Agent-Based Simulations. In: Proceedings of the 2007 Summer Computer Simulation Conference : SCSC '07. (pp. 969 - 976). Society for Computer Simulation International: San Diego, US.

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

Cheng, L and Jean, K and Ocampo, R and Galis, A and Kersch, P and Szabo, R (2007) Secure Bootstrapping of Distributed Hash Tables in Dynamic Wireless Networks. In: 2007 IEEE International Conference on Communications: Glasgow, Scotland, 24-28 June 2007. (pp. 1917 - 1922). IEEE Computer Society: Piscataway, US.

Chinchapatnam, PP and Rhode, KS and King, A and Gao, G and Mat, Y and Schaeffter, T and Hawkes, D and Razavi, RS and Hill, DLG and Arridge, S and Sermesant, M (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 and 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 and Handley, M (2007) Fairer TCP-friendly congestion control protocol for multimedia streaming applications. In: Kurose, J and Schulzrinne, H, (eds.) CoNEXT. (pp. 54 - 54). ACM

Clements, M and de Vries, AP and Pouwelse, J and Wang, J and 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, DJ and Smith, RE (2007) Why is parity hard for estimation of distribution algorithms? In: GECCO '07: Proceedings of the 9th Annual Conference on Genetic and Evolutionary Computation. (pp. 624 - 624). ACM Press: New York, US.

Costa, P and Coulson, G and Gold, R and Lad, M and Mascolo, C and Mottola, L and Picco, GP and Sivaharan, T and Weerasinghe, N and Zachariadis, S (2007) The RUNES middleware for networked embedded systems and its application in a disaster management scenario. In: Fifth Annual IEEE International Conference on Pervasive Computing and Communications, Proceedings. (pp. 69 - 78). IEEE COMPUTER SOC An open access version is available from UCL Discovery

Costa, P and Coulson, G and Gold, R and Lad, M and Mascolo, C and Mottola, L and Picco, GP and Sivaharan, T and Weerasinghe, N and Zachariadis, S (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. 69 - 78). IEEE Computer Society Press

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.) Symmetric Cryptography. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany

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

Courtois, N and 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.) WEWoRC. (pp. 100 - 113). Springer

Cox, BT and Arridge, SR and 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, I and Doërr, G and Furon, T (2007) Watermarking is not Cryptography. In: (Proceedings) Proceedings of the 5th International Workshop on Digital Watermarking. (pp. 1 - 15).

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

Crandall, JR and Zinn, D and Byrd, M and Barr, ET and East, R (2007) ConceptDoppler: a weather tracker for internet censorship. In: Ning, P and Vimercati, SDCD and Syverson, PF, (eds.) ACM Conference on Computer and Communications Security. (pp. 352 - 365). ACM

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

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

Dünser, A and Hornecker, E (2007) Lessons from an AR Book study. In: TEI'07 (Tangible and Embedded Interaction 2007). (pp. 179 - 182). ACM

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

de Medeiros, B and Stajano, F and Clayton, R and Laurie, B and Burmester, M and Christianson, B and Desmedt, Y and Roe, M and Li, J (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 Nardi, R and 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

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 and 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 and 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 and Lange, T and 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 and Pieprzyk, J and Steinfeld, R and 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

Diethe, T and Bentley, P (2007) Modelling the Effects of Colony Age on the Foraging Behaviour of Harvester Ants. In: Almeida e Costa, F, (ed.) Lecture Notes in Computer Science. (pp. 706 - 715). Springer: Berlin / Heidelberg.

Diethe, T and 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.) ECAL. (pp. 706 - 715). Springer

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

Dong, Z and Kautz, J and Theobalt, C and Seidel, H-P (2007) Interactive global illumination using implicit visibility. In: Proceedings - Pacific Conference on Computer Graphics and Applications. (pp. 77 - 86).

Douiri, A and Schweiger, M and Riley, J and 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

Dowell, J and Gladisch, T (2007) Design of argument diagramming for case-based group learning. In: Brinkman, W-P and Ham, D-H and Wong, BLW, (eds.) ECCE. (pp. 99 - 105). ACM

Duboc, L and Rosenblum, D and Wicks, T (2007) A framework for characterization and analysis of software system scalability. In: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering. (pp. 375 - 384). ACM Press: New York, US.

Duke, J and Clack, CD (2007) Evolutionary simulation of hedging pressure in futures markets. In: 2007 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-10, PROCEEDINGS. (pp. 782 - 789). IEEE

Duke, J and 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

Egi, N and Greenhalgh, A and Handley, M and Hoerdt, M and Mathy, L and Schooley, T (2007) Evaluating Xen for Router Virtualization. In: ICCCN. (pp. 1256 - 1261). IEEE

Faisal, S and Cairns, P and Blandford, A (2007) Building for users not for experts: Designing a visualization of the literature domain. In: Banissi, E and Burkhard, RA and Grinstein, G and Cvek, U and Trutschl, M and Stuart, L and Wyeld, TG and Andrienko, G and Dykes, J and Jern, M and Groth, D and Ursyn, A, (eds.) 11th International Conference Information Visualization. (pp. 707 - 712). IEEE COMPUTER SOC

Faisal, S and Cairns, P and Blandford, A (2007) Building for users not for experts: designing a visualization of the literature domain. In: Banissi, E and Burkhard, RA and Grinstein, G and Stuart, L and Wyeld, TG and Andrienko, G and Dykes, J and Jern, M and Faiola, A and Groth, D and Ursyn, A and Cowell, AJ and Hou, M, (eds.) 11th International Conference Information Visualization, IV 2007, 4-6 July 2007, Zurich, Switzerland. (pp. 707 - 712). IEEE Computer Society Press: Los Alamitos, US.

Faisal, S and Cairns, PA and Blandford, A (2007) Challenges of evaluating the information visualisation experience. In: Ormerod, TC and Sas, C, (eds.) BCS HCI (2). (pp. 167 - 170). BCS

Fauqueur, J and Brostow, G and 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

Ferreira, D and Zacarias, M and Malheiros, M and Ferreira, P (2007) Approaching process mining with sequence clustering: Experiments and findings. In: BUSINESS PROCESS MANAGEMENT, PROCEEDINGS. (pp. 360 - 374).

Fonseca, R and Gnawali, O and Jamieson, K and Levis, P (2007) Four-Bit Wireless Link Estimation. In: Sixth Workshop on Hot Topics in Networks (HotNets-VI): November 14 & 15, 2007, in Atlanta, Georgia, USA. (pp. ? - ?). ACM SIGCOMM: New York, US.

Foster, H and Emmerich, W and Kramer, J and Magee, J and Rosenblum, D and 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. 225 - 234). ACM Press

Freeman, RM and Julier, SJ and Steed, AJ (2007) A method for predicting marker tracking error. In: 2007 6th IEEE and ACM International Symposium on Mixed and Augmented Reality, ISMAR. An open access version is available from UCL Discovery

Friedman, D and Leeb, R and Dikovsky, L and Reiner, M and Pfurtscheller, G and 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 Vázquez, P-P and Pereira, JM, (eds.) GRAPP (AS/IE). (pp. 83 - 90). INSTICC - Institute for Systems and Technologies of Information, Control and Communication

Friedman, D and Steed, A and Slater, M (2007) Spatial Social Behavior in Second Life. In: Pelachaud, C and Martin, J-C and André, E and Chollet, G and Karpouzis, K and Pelé, D, (eds.) IVA. (pp. 252 - 263). Springer

Friedman, D and Suji, K and Slater, M (2007) SuperDreamCity: An Immersive Virtual Reality Experience That Responds to Electrodermal Activity. In: Paiva, A and Prada, R and Picard, RW, (eds.) ACII. (pp. 570 - 581). Springer

Fuhs, C and Giesl, J and Middeldorp, A and Schneider-Kamp, P and Thiemann, R and Zankl, H (2007) SAT Solving for Termination Analysis with Polynomial Interpretations. In: Marques-Silva, J and Sakallah, KA, (eds.) SAT. (pp. 340 - 354). Springer

Furniss, D and Blandford, A and 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.) ECCE. (pp. 253 - 256). ACM An open access version is available from UCL Discovery

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

Gandhe, A and Yu, S-H and Mehra, R and Smith, RE (2007) Fused, Multi-Spectral Automatic Target Recognition with XCS. In: Thierens, D, (ed.) GECCO '07 Proceedings of the 9th annual conference on Genetic and evolutionary computation. (pp. 1874 - 1874). ACM Press: New York, US.

Gelly, S and Silver, D (2007) Combining online and offline knowledge in UCT. In: ACM International Conference Proceeding Series. (pp. 273 - 280).

Gelly, S and Silver, D (2007) Combining Online and Offline Learning in UCT. In: 24th International Conference on Machine Learning. (pp. 273-280 - 273-280).

Griffin, LD and Lillholm, M (2007) Feature category systems for 2nd order local image structure induced by natural image statistics and otherwise. In: (Proceedings) Human Vision and Electronic Imaging XII. (pp. 49209 - 49209). SPIE

Griffin, LD and 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 and Slater, M and Tamke, M and Ramsgard-Thomsen, M (2007) Spinoff - Transferring Energy between Real and Virtual Worlds. In: (Proceedings) Eurographics 2007. : Prague, Czech Republic.

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 and 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 and 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 and Ostrovsky, R (2007) Cryptography in the multi-string model. In: Menezes, A, (ed.) ADVANCES IN CRYPTOLOGY - CRYPTO 2007, PROCEEDINGS. (pp. 323 - 341). SPRINGER-VERLAG BERLIN

Grunewalder, S and Hochreiter, S and 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

Guo, Y and Chen, C and Zhou, S (2007) Inferring and visualizing topological structures of large-scale complex network. In: Li, J and Lee, W-C and Silvestri, F, (eds.) Infoscale. (pp. 3 - 3). ACM

Hall, MG and 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.

Hardoon, DR and Shawe-Taylor, J and Ajanki, A and Puolamäki, K and Kaski, S (2007) Information retrieval by inferring implicit queries from eye movements. In: Journal of Machine Learning Research. (pp. 179 - 186). An open access publication

Herbster, M and Pontil, M (2007) Prediction on a graph with a perceptron. In: Advances in Neural Information Processing Systems. (pp. 577 - 584).

Herbster, MJ and 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. 9 - 15).

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

Hernandez, C and Vogiatzis, G and Brostow, GJ and Stenger, B and 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

Hirsch, L and Hirsch, R and Saeedi, M (2007) Evolving Lucene search queries for text classification. In: Proceedings of GECCO 2007: Genetic and Evolutionary Computation Conference. (pp. 1604 - 1611).

Hirsch, R and Tzanis, and 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.) Quaderni del Dipartimento di Scienze Matematiche e Informatiche. University of Siena.: Siena..

Horesh, L and Bollhofer, M and Schweiger, M and Arridge, SR and 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 and Schweiger, M and Arridge, SR and 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

Hornecker, E (2007) Learning about Interactivity from Physical Toys. In: (Proceedings) NORDES 2007 (Nordic Design Research Conference),.

Hornecker, E (2007) Physical Affordances considered Harmful? In: (Proceedings) 2nd International Workshop on Physicality 2007.

Hornecker, E and Marshall, P and Rogers, Y (2007) From entry to access: how shareability comes about. In: Koskinen, I and Keinonen, T, (eds.) DPPI. (pp. 328 - 342). ACM

Huang, Y and Bhatti, S and Sorensen, S (2007) Adaptive MANET Routing for Low Overhead. In: IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, 2007 (WoWMoM 2007). IEEE Computer Society Press: Los Alamitos, US.

Huang, Y and Bhatti, S and Sorensen, S-A (2007) Analyzing the impact of topology update strategies on the performance of a proactive MANET routing protocol. In: 27th International Conference on Distributed Computing Systems Workshops, Toronto, Canada, 22 & 29 June 2007. (pp. 13 - 13). IEEE Computer Society Press: Piscataway, U.S..

Hulme, DJ and Hirsch, R and Buxton, BF and 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: Proceedings of the National Conference on Artificial Intelligence. (pp. 66 - 71).

Jamieson, K and Balakrishnan, H (2007) PPR: Partial Packet Recovery for Wireless Networks. In: SIGCOMM '07: Proceedings of the 2007 conference on Applications, technologies, architectures, and protocols for computer communications. (pp. 409 - 420). ACM Press: New York, US.

Jiang, Q and Alexander, DC and Ding, GL and Zhang, ZG and Pourabdollah, S and Nejad, D and Zhang, L and Li, L and Hu, J and Bagherebadian, H and Ewing, JR and Chopp, M (2007) White matter reorganization after stroke measured by Gaussian DTI, q-ball, and PAS MRI. In: International Society for Magnetic Resonance in Medicine 15th Annual Scientific Meeting and Exhibition: 2007 Proceedings. (pp. 66 - 66). International Society for Magnetic Resonance in: Berkeley, US.

Jiang, RESAMK (2007) MILCS: A Mutual Information Learning Classifier System. In: (Proceedings) International Workshop on Learning Classifier Systems. (pp. 2945 - 2951). An open access version is available from UCL Discovery

Johnson, M and Brostow, GJ and Shotton, J and Kwatra, V and 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 and Laurie, B and Desmedt, Y and Anderson, R and Christianson, B and Roe, M and Bond, M and Aura, T and Lomas, M and Clayton, R and Stajano, F and Nikander, P and de Medeiros, B (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

Julier, S and Beeharee, A and MacIntyre, B and 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 and Beeharee, A and MacIntyre, B and 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).

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

Khanna, P and Slater, M and Mortensen, J and Yu, I (2007) A Non-parametric Guide for Radiance Sampling in Global Illumination. In: CGIV ’07: Proceedings of the Computer Graphics, Imaging and Visualisation. (pp. 41 - 48). IEEE Computer Society: Washington, DC, USA.

Khanna, P and Slater, M and Mortensen, J and 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 and Mitra, NJ and Pottmann, H (2007) Geometric modeling in shape space. In: ACM TRANSACTIONS ON GRAPHICS. (pp. ? - ?). ASSOC COMPUTING MACHINERY

Kirstein, P and Frese, H and 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.

Kolmogorov, V and Boykov, Y and 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

Kozlowski, O and 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

Lathia, N and Hailes, S and 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 and Bentley, PJ and Lotto, RB (2007) A systemic computation platform for the modelling and analysis of processes with natural characteristics. In: Proceedings of GECCO 2007: Genetic and Evolutionary Computation Conference, Companion Material. (pp. 2809 - 2816).

Li, QO and 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

Lillholm, M and Griffin, LD (2007) Maximum likelihood metameres for local 2nd order image structure of natural images. In: Sgallari, F and Murli, A and Paragios, N, (eds.) Scale Space and Variational Methods in Computer Vision: First International Conference, SSVM 2007, Ischia, Italy, May 30 - June 2, 2007: Proceedings. (pp. 394 - 405). Springer-Verlag: Berlin/Heidelberg, Germany.

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

Liu, Q and Prakash, EC and Srinivasan, MA (2007) Interactive deformable geometry maps. In: VISUAL COMPUTER. (pp. 119 - 131). SPRINGER

Lomuscio, A and Pecheur, C and Raimondi, F (2007) Automatic verification of knowledge and time with NuSMV. In: Veloso, M, (ed.) Proceedings of the Twentieth International Joint Conference on Artificial Intelligence. (pp. 1384 - 1389). IJCAI/ AAAI Press: Menlo Park, US. An open access version is available from UCL Discovery

Ma, J and Liu, W and Hunter, A (2007) Incomplete statistical information fusion and its application to clinical trials data. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). (pp. 89 - 103).

Mancini, S and Severini, S (2007) The Quantum Separability Problem for Gaussian States. In: Electr. Notes Theor. Comput. Sci. (pp. 121 - 131).

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

Mathieu, B and Song, M and Galis, A and Cheng, L and Jean, K and 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 An open access version is available from UCL Discovery

Mattmann, C and Perrone, V and Kelly, S and Crichton, D and Finkelstein, A and 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 and Perrone, V and Kelly, S and Crichton, DJ and Finkelstein, A and 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 and Mitchell, V and Piper, J and Hanna, L and Hailes, S and 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.

McNamara, L and Mascolo, C and 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 and Mascolo, C and Capra, L (2007) Content source selection in bluetooth networks. In: Proceedings of the 4th Annual International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MobiQuitous 2007.

Mertens, T and Kautz, J and Van Reeth, F (2007) Exposure fusion. In: Proceedings - Pacific Conference on Computer Graphics and Applications. (pp. 382 - 390).

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

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

Mohammed, U and Prince, SJD and Kautz, J (2007) Stochastic generation of realistic image content. In: IET Conference Publications.

Mortensen, J and Khanna, P and 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 and Khanna, P and Yu, I and Slater, M (2007) A visibility field for ray tracing. In: Computer Graphics, Imaging and Visualisation: New Advances, CGIV 2007. (pp. 54 - 61).

Mortensen, J and Khanna, P and Yu, I and Slater, M (2007) Real-time global illumination in the CAVE. In: VRST ’07: Proceedings of the 2007 ACM symposium on Virtual reality software and technology. (pp. 145 - 148). ACM: New York, NY, USA.

Mortensen, J and Khanna, P and Yu, IS and 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

Mountney, P and Lo, B and Thiernjarus, S and Stoyanov, D and 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, P and Kolmogorov, V and Torr, PHS (2007) An Analysis of Convex Relaxations for MAP Estimation. In: Platt, JC and Koller, D and Singer, Y and Roweis, ST, (eds.) NIPS. Curran Associates, Inc.

Mukhija, A and Dingwall-Smith, A and 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

Mylonas, GP and Stoyanov, D and Darzi, A and 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

Nazir, A and Liu, H and 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. 89 - 96). ISRST

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

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

Nivre, J and Hall, J and Kübler, S and McDonald, R and Nilsson, J and Riedel, S and Yuret, D (2007) The CoNLL 2007 shared task on dependency parsing. In: EMNLP-CoNLL 2007 - Proceedings of the 2007 Joint Conference on Empirical Methods in Natural Language Processing and Computational Natural Language Learning. (pp. 915 - 932).

O'Hearn, PW (2007) Separation logic and concurrent resource management. In: Morrisett, G and Sagiv, M, (eds.) ISMM. (pp. 1 - 1). ACM

Olsen, A and Rogers, Y and Sharp, H (2007) The Snap Method. In: (Proceedings) Beyond Current User Research: Designing Methods for New Users, Technologies, and Design Processes, CHI'07.

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

Pan, X and Gillies, M and Sezgin, TM and Loscos, C (2007) Expressing Complex Mental States Through Facial Expressions. In: Paiva, A and Prada, R and Picard, RW, (eds.) ACII. (pp. 745 - 746). Springer

Pan, X and 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. 101 - 108).

Pansiot, J and Stoyanov, D and McIlwraith, D and Lo, BPL and 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 and Hong, S and Son, K-H and Kwon, J (2007) A Component Model supporting Decomposition and Composition of Consumer Electronics Software Product Lines. In: SPLC. (pp. 181 - 192). IEEE Computer Society

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

Parkin, SE and Ingham, D and Morgan, G (2007) A Message Oriented Middleware Solution Enabling Non-repudiation Evidence Generation for Reliable Web Services. In: Malek, M and Reitenspieß, M and Moorsel, APAV, (eds.) ISAS. (pp. 9 - 19). Springer

Parkinson, M and Bornat, R and O'Hearn, P (2007) Modular verification of a non-blocking stack. In: Conference Record of the Annual ACM Symposium on Principles of Programming Languages. (pp. 297 - 302).

Patel, S and Clack, CD (2007) ALPS evaluation in financial portfolio optimisation. In: 2007 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-10, PROCEEDINGS. (pp. 813 - 819). IEEE An open access version is available from UCL Discovery

Pelckmans, K and Shawe-Taylor, J and Suykens, JAK and De Moor, B (2007) Margin based transductive graph cuts using linear programming. In: Journal of Machine Learning Research. (pp. 363 - 370). An open access publication

Perrone, V and 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 and 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

Polys, NF and Steed, A and Behr, J and Brutzman, DP (2007) Workshop 1: The Future Standards for Immersive VR. In: Sherman, WR and Lin, MC and Steed, A, (eds.) VR. (pp. 322 - 323). IEEE Computer Society

Pourabdollah-Nejad, S and Bagher-Ebadian, H and Jiang, Q and Noll, DC and Alexander, DC and Ewing, JR and Jafari-Khouzani, K and Chopp, M (2007) Information extraction from ischemic stroke MR images using independent component analysis technique. In: International Society for Magnetic Resonance in Medicine 15th Annual Scientific Meeting and Exhibition: 2007 Proceedings. (pp. 2275 - 2275). International Society for Magnetic Resonance in Medicine: Berkeley, US.

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

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

Prince, SJD and Aghajanian, J and Mohammed, U and 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 and 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

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

Qi, G and Hunter, A (2007) Measuring incoherence in description logic-based ontologies. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). (pp. 381 - 394).

Quercia, D and Hailes, S and 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 and Hailes, S and Capra, L (2007) TRULLO - Local trust bootstrapping for ubiquitous devices. In: Proceedings of the 4th Annual International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MobiQuitous 2007.

Quercia, D and Hailes, S and 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. An open access version is available from UCL Discovery

Raimond, Y and Abdallah, SA and Sandler, MB and Giasson, F (2007) The Music Ontology. In: Dixon, S and Bainbridge, D and Typke, R, (eds.) ISMIR. (pp. 417 - 422). Austrian Computer Society

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

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

Rodrigues, GN and Rosenblum, DS and Wolf, J (2007) Reliability Analysis of Concurrent Systems using LTSA. In: ICSE 2007 Companion. 29th International Conference on Software Engineering. (pp. 63 - 64). IEEE Computer Society: Minneapolis, USA. An open access version is available from UCL Discovery

Rogers, M and Bhatti, S (2007) A lightweight mechanism for dependable communication in untrusted networks. In: Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN '07, Edinburgh, UK, June 25-28 2007. (pp. 430 - 439). IEEE Computer Society: Los Alamitos, US.

Rogers, M and 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 and Bhatti, S (2007) An adaptive routing protocol for censorship-resistant communication. In: Shoniregun, CA and Logvynovskiy, A, (eds.) Proceedings of the International Conference on Information Society (i-Society 2007). (pp. 222 - 229). e-Centre for Infonomics: UK.

Rogers, Y (2007) Do tangible interfaces enhance learning? In: Tangible and Embedded interaction (TEI'07).

Rogers, Y and Connelly, K and Tedesco, L and Hazlewood, WR and Kurtz, A and Hall, RE and Hursey, J and Toscos, T (2007) Why It's Worth the Hassle: The Value of In-Situ Studies When Designing Ubicomp. In: Krumm, J and Abowd, GD and Seneviratne, A and Strang, T, (eds.) Ubicomp. (pp. 336 - 353). Springer

Rogers, Y and Dünser, A and Hornecker, E (2007) An Observational Study of Children Interacting with an Augmented Story Book. In: (Proceedings) Edutainment 2007. (pp. 305 - 315). Springer

Rogers, Y and Marshall, P and Hornecker, E (2007) Are Tangible Interfaces Really Any Better Than Other Kinds of Interfaces? In: (Proceedings) Tangible Interfaces in Context and Theory, CHI'07.

Rondini, E and 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 and 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. 437 - 438). ACM: New York, NY, USA.

Rondini, E and Hailes, S (2007) Distributed computation in wireless ad hoc grids with bandwidth control. In: Jha, S, (ed.) SenSys. (pp. 437 - 438). ACM

Rother, C and Kolmogorov, V and Lempitsky, V and 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 and Curzon, P and Back, J and Blandford, A (2007) Formal Modelling of Cognitive Interpretation. In: Doherty, G and Blandford, A, (eds.) Interactive Systems: Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006: Revised Papers. (pp. 123 - 136). Springer-Verlag: Berlin/Heidelberg, Germany. An open access version is available from UCL Discovery

Ruksenas, R and Curzon, P and Blandford, A (2007) Detecting Cognitive Causes of Confidentiality Leaks. In: (Proceedings) FMIS 2007. An open access version is available from UCL Discovery

Ruksenas, R and Curzon, P and Blandford, A and Back, J (2007) Combining Human Error Verification and Timing Analysis. In: Gulliksen, J and Harning, MB and Palanque, PA and Veer, GCVD and Wesson, J, (eds.) EHCI/DS-VIS. (pp. 18 - 35). Springer An open access version is available from UCL Discovery

Rukšėnas, R and Curzon, P and Blandford, A (2007) Detecting cognitive causes of confidentiality leaks. In: Cerone, A and Curzon, P, (eds.) Proceedings of the First International Workshop on Formal Methods for Interactive Systems (FMIS 2006). (pp. 21 - 38). Elsevier B.V.: Amsterdam, The Netherlands.

Ruskov, M and Nikolov, R (2007) Learning Production Management with ”The Clock Manufacturing Game”. In: Learning with Games 2007 - LG2007 Conference.

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

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

Senanayake, CR and Alexander, DC (2007) Colour transfer by feature based histogram registration. In: Proceedings of the British Machine Vision Conference 2007. British Machine Vision Association: Malvern, UK.

Seunarine, KK and Cook, PA and Hall, MG and Embleton, K and Parker, GJ and 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 and Cook, PA and Hall, MG and Embleton, KV and Parker, GJM and 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 and Cook, PA and Hall, MG and Embleton, KV and Parker, GJM and Alexander, DC (2007) Exploiting peak anisotropy for tracking through fanning structures. In: (Proceedings) Proc ISMRM. (pp. 901 - ?).

Seunarine, KK and Cook, PA and Hall, MG and Embleton K, P and G J, A and 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 and Enfield, L and Gibson, AP and Everdell, NL and Schweiger, M and Arridge, S and Delpy, DT and Hebden, JC and Keshtgar, M and Sainsbury, RS and Douek, M (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 and Dolia, A (2007) A framework for probability density estimation. In: Journal of Machine Learning Research. (pp. 468 - 475). An open access publication

Shayani, H and Bentley, PJ (2007) A more bio-plausible approach to the evolutionary inference of finite state machines. In: Proceedings of GECCO 2007: Genetic and Evolutionary Computation Conference, Companion Material. (pp. 2937 - 2944).

Shen, Y and Archambeau, C and Cornford, D and Opper, M and Shawe-Taylor, J and Barillec, R (2007) Evaluation of variational and Markov Chain Monte Carlo methods for inference in partially observed stochastic dynamic systems. In: Machine Learning for Signal Processing 17 - Proceedings of the 2007 IEEE Signal Processing Society Workshop, MLSP. (pp. 306 - 311).

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

Silva, LAL and Buxton, BF and Campbell, JA (2007) Enhanced Case-Based Reasoning trough Use of Argumentation and Numerical Taxonomy. In: Wilson, D and Sutcliffe, G, (eds.) FLAIRS Conference. (pp. 423 - 428). AAAI Press

Silva, R and Heller, KA and Ghaharamani, Z (2007) Analogical reasoning with relational Bayesian sets. In: Meila, M and Shen, X, (eds.) Proceedings of the 11th International Conference on Artifical Intelligence and Statistics.

Silver, D and Sutton, RS and Müller, M (2007) Reinforcement Learning of Local Shape in the Game of Go. In: Veloso, MM, (ed.) IJCAI. (pp. 1053 - 1058).

Skene, J and Skene, A and Crampton, J and Emmerich, W (2007) The Monitorability of Service-Level Agreements for Application-Service Provision. In: Proceedings of the WOSP '07: Sixth International Workshop on Software and Performance: February 5-8, 2007, Buenos Aires, Argentina. (pp. 3 - 14). ACM Press: New York, US.

Smith, RE and Jiang, MK (2007) MILCS: A Mutual Information Learning Classifier System. In: Thierens, D, (ed.) GECCO 2007: Genetic And Evolutionary Computation Conference. (pp. 2945 - 2951). ACM Press: New York, US.

Soloviev, VY and Tahir, KB and McGinty, J and Elson, DS and Neil, M and Sardini, A and Hajnal, J and Arridge, SR and French, PMW (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

Srinivasan, MA (2007) From Haptic Interface to Brain Interface. In: RO-MAN. (pp. 291 - 291). IEEE

Stoyanov, D and 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

Sutton, RS and Koop, A and Silver, D (2007) On the role of tracking in stationary environments. In: ACM International Conference Proceeding Series. (pp. 871 - 878).

Taylor, ZA and Cheng, M and 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

Togelius, J and De Nardi, R and 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 and De Nardi, R and Marques, H and Newcombe, R and Lucas, SM and 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

Towner, H and Slater, M (2007) Reconstruction and Recognition of Occluded Facial Expressions Using PCA. In: Paiva, A and Prada, R and Picard, RW, (eds.) ACII. (pp. 36 - 47). Springer

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

Varma, M and Ray, D (2007) Learning the Discriminative Power-Invariance Trade-Off. In: IEEE 11th International Conference on Computer Vision, 2007: ICCV 2007. IEEE Computer Society: Los Alamitos, US.

Vénot, S and Yan, L (2007) On-demand mobile peer-to-peer Streaming over the JXTA Overlay. In: International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, 2007: UBICOMM '07. (pp. 131 - 136). IEEE Computer Society: Los Alamitos, US.

Vénot, S and Yan, L (2007) Peer-to-Peer Media Streaming Application Survey. In: Dini, C and Hokstad, LM and Jelinek, I and Meghanathan, N and Prasolova-Førland, E and Roman, D and Saha, GK, (eds.) Proceedings: UBICOMM 2007: International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies: 4-9 November 2007, Papeete, French Polynesia. (pp. 139 - 148). IEEE Computer Society: Los Alamitos, US.

Wang, C and Doërr, G and Cox, IJ (2007) Trellis Coded Modulation to Improve Dirty Paper Trellis Watermarking. In: (Proceedings) Security, Steganography and Watermarking of Multimedia Contents IX, Proceedings of SPIE 6505. (pp. 0G1 - 0G10).

Wang, Z and Elbaum, S and Rosenblum, DS (2007) Automated generation of context-aware tests. In: Proceedings of the 29th International Conference on Software Engineering, ICSE 2007, 20-26 May 2007, Minneapolis, Minnesota. (pp. 406 - 415). IEEE Computer Society Press: Los Alamitos, US.

Wang, Z and Shawe-Taylor, J and Szedmák, S (2007) Kernel Regression Based Machine Translation. In: Sidner, CL and Schultz, T and Stone, M and Zhai, C, (eds.) HLT-NAACL (Short Papers). (pp. 185 - 188). The Association for Computational Linguistics An open access version is available from UCL Discovery

Weyrich, T (2007) Reassembling The Thera Frescoes. In: (Proceedings) Proc. of Dagstuhl Seminar 07171 on Visual Computing.

Williams, M and Hunter, A (2007) Harnessing ontologies for argument-based decision-making in breast cancer. In: Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI. (pp. 254 - 261).

Wong, KY and Thyvetil, M-A and Machaira, A and Loscos, C (2007) Density Distribution and local behaviour for realistic crowd simulation. In: dos Reis, AP and Blashki, K and Xiao, Y, (eds.) IADIS International Conference Computer Graphics and Visualization 2007. (pp. 11 - 18). International Association for Development of the Information Society: Amsterdam, The Netherlands.

Wright, S and Schweiger, M and Arridge, SR (2007) Reconstruction in optical tomography using the P-N approximations. In: MEASUREMENT SCIENCE & TECHNOLOGY. (pp. 79 - 86). IOP PUBLISHING LTD

Xie, Y and Griffin, LD (2007) A 'portholes' experiment for probing perception of small patches of natural images. In: PERCEPTION. (pp. 315 - 315). PION LTD

Yan, L and Bacon, J (2007) Exploring the application domain and middleware issues for a phone-centric information monitoring environment. In: Al-Begain, K and Bohnert, TM, (eds.) Proceedings: The 2007 International Conference on Next Generation Mobile Applications, Services and Technologies: NGMAST 2007. (pp. 173 - 178). IEEE Computer Society Press: Los Alamitos, US.

Yan, L and Sere, K (2007) Dependability Aspects of Ubiquitous Computing. In: ARES 2007: the Second International Conference on Availability, Reliability and Security: 10-13 April, 2007, Vienna, Austria. (pp. 451 - 453). IEEE Computer Society Press: Los Alamitos, US.

Yan, W and Clack, CD (2007) Diverse Committees Vote for Dependable Profits. In: GECCO 2007: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2. (pp. 2226 - 2233). ASSOC COMPUTING MACHINERY

Yan, W and Clack, CD (2007) Evolving Robust GP Solutions for Hedge Fund Stock Selection in Emerging Markets. In: GECCO 2007: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2. (pp. 2234 - 2241). ASSOC COMPUTING MACHINERY

Yang, GH and Kyung, KU and Srinivasan, MA and Kwon, DS (2007) Development of quantitative tactile display device to provide both pin-array-type tactile feedback and thermal feedback. In: World Haptics 2007: Second Joint EuroHaptics Conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems, Proceedings. (pp. 578 - 579). IEEE COMPUTER SOC

Yang, J and Wang, J and Clements, M and Pouwelse, J and de Vries, A and Reinders, M (2007) An Epidemic-based P2P Recommender System. In: (Proceedings) ACM SIGIR Workshop on Large Scale Distributed Systems for Information Retrieval (LSDS-IR).

Yogarajah, M and Powell, HWR and Parker, GJM and Alexander, DC and Symms, MR and Boulby, P and Wheeler-Kingshott, CA and Barker, CJ and Koepp, MJ and Duncan, JS (2007) Atrophy of medial temporal lobe connections in unilateral temporal lobe epilepsy: A tractography based study. In: JOURNAL OF NEUROLOGY NEUROSURGERY AND PSYCHIATRY. (pp. 1033 - 1033). B M J PUBLISHING GROUP

Yogarajah, M and Powell, R and Parker, G and Alexander, D and Symms, M and Boulby, P and Wheeler-Kingshott, C and Barker, G and Thompson, P and Koepp, M and Duncan, J (2007) Tractography of the parahippocampal gyrus and material specific memory impairment in unilateral temporal lobe epilepsy. In: EPILEPSIA. (pp. 135 - 135). BLACKWELL PUBLISHING

Yue, A and Liu, W and Hunter, A (2007) Approaches to constructing a stratified merged knowledge base. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). (pp. 54 - 65).

Zhang, J and Cox, IJ and Doerr, G (2007) Steganalysis for LSB matching in images with high-frequency noise. In: 2007 IEEE NINTH WORKSHOP ON MULTIMEDIA SIGNAL PROCESSING. (pp. 385 - 388). IEEE

Zheng, L and Cox, IJ (2007) JPEG based conditional entropy coding for correlated steganography. In: 2007 IEEE INTERNATIONAL CONFERENCE ON MULTIMEDIA AND EXPO, VOLS 1-5. (pp. 1251 - 1254). IEEE

Zhou, S (2007) Structural constraints in the internet topology. In: (Proceedings) European Conference on Complex Systems (ECCS'07). (pp. 133 - ?).

Zhou, S and Cox, I and Petricek, V (2007) Characterising web site link structure. In: Huang, S and DiPenta, M, (eds.) WSE 2007: NINTH IEEE INTERNATIONAL SYMPOSIUM ON WEB SITE EVOLUTION, PROCEEDINGS. (pp. 73 - 80). IEEE COMPUTER SOC

Zhou, S and Cox, IJ and Petricek, V (2007) Characterising Web Site Link Structure. In: Huang, S and Penta, MD, (eds.) WSE. (pp. 73 - 80). IEEE Computer Society

Zhou, X and Yan, L and Lilius, J (2007) Function Inlining in Embedded Systems with Code Size Limitation. In: Lee, Y-H and Kim, H-N and Kim, J and Park, Y and Yang, LT and Won Kim, SW, (eds.) Embedded Software and Systems: Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007: Proceedings. (pp. 154 - 161). Springer-Verlag: Berlin/Heidelberg, Germany.

Report

Betcke, MM and Lochmann, V and 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 , pp. ? - ? ). : Institut fuer Numerische Simulation, Hamburg University of Technology, Ham- burg, Germany.

Cesa-Bianchi, N and Grunwald, P and Gunn, S and Sebag, M and Shawe-Taylor, J and 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 ).

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

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

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

Tsampouka, P and 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. 903 - 910 ). ACM

Scholarly edition

Kautz, J and Pattanaik, SN (Eds). (2007) Proceedings of the Eurographics Symposium on Rendering Techniques, Grenoble, France, 2007. [Scholarly edition]. Eurographics Association

Thesis

Murray, I (2007) Advances in Markov chain Monte Carlo methods. Doctoral thesis, UNSPECIFIED.

Oyekoya, O (2007) Eye Tracking: A Perceptual Interface for Content Based Image Retrieval. Doctoral thesis, University of London. An open access version is available from UCL Discovery