UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Browse by UCL Departments and Centres

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Author | Type
Number of items: 428.

Article

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

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

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

Barr, ET; Bishop, M; Gondree, M; (2007) Fixing federal e-voting standards. Commun. ACM , 50 (3) pp. 19-24. 10.1145/1226736.1226754.

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

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

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

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

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

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

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

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

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

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

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

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

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

Bue, AD; Liadó, X; Agapito, L; (2007) Segmentation of rigid motion from non-rigid 2D trajectories. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , 4477 L (PART 1) pp. 491-498.

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

Chiappa, S; Barber, D; (2007) Bayesian Factorial Linear Gaussian State-Space Models for Biosignal Decomposition. Signal Processing Letters , 14 (4) pp. 267-270. 10.1109/LSP.2006.881515. Green open access
file

Chiappa, S; 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 pp. 446-451. 10.1109/ISPA.2007.4383735.

Clark, D; Danicic, S; Giacobazzi, R; (2007) Special issue on Programming Language Interference and Dependence. J. Log. Algebr. Program. , 72 (2) p. 123. 10.1016/j.jlap.2007.02.006.

Clark, D; Hunt, S; Malacaria, P; (2007) A static analysis for quantifying information flow in a simple imperative language. Journal of Computer Security , 15 (3) pp. 321-371.

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

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

Cook, B; Sebastiani, R; (2007) Preface and Foreword. Electr. Notes Theor. Comput. Sci. , 174 (8) pp. 3-6. 10.1016/j.entcs.2007.05.021.

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

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

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

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

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

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

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

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

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

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

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

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

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

Durlach, N; Slater, M; (2007) Editorial notes: Changes in presence. Presence: Teleoperators and Virtual Environments , 16 (1) 10.1162/pres.16.1.iii.

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

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

Elder, JH; Prince, SJD; Hou, Y; Sizintsev, M; 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; Aoyama, M; Sventek, J; (2007) The Impact of Research on Middleware Technology. ACM SIGSOFT Software Engineering Notes , 32 (1) pp. 21-46. 10.1145/1226816.1226829.

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

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

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

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

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

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

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

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

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

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

Hirsch, R; (2007) Relation algebra reducts of cylindric algebras and complete representations. J. Symb. Log. , 72 (2) pp. 673-703. 10.2178/jsl/1185803629.

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

Hirsch, R; Mikulás, S; (2007) Representable semilattice-ordered monoids. Algebra Universalis , 57 (3) pp. 333-370. 10.1007/s00012-007-2055-8.

Hormozdiari, F; Berenbrink, P; Przulj, N; Sahinalp, SC; (2007) Not All Scale-Free Networks Are Born Equal: The Role of the Seed Graph in PPI Network Evolution. PLoS Computational Biology , 3 (7) 10.1371/journal.pcbi.0030118.

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

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

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

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

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

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

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

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

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

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

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

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

Lahiri, SK; Ball, T; Cook, B; (2007) Predicate Abstraction via Symbolic Decision Procedures. Logical Methods in Computer Science , 3 (2) 10.2168/LMCS-3(2:1)2007.

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

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

Lano, K; Clark, D; (2007) Direct Semantics of Extended State Machines. Journal of Object Technology , 6 (9) pp. 35-51. 10.5381/jot.2007.6.9.a2.

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

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

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

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

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

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

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

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

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

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

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

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

Mountney, P; Lo, B; Thiemjarus, S; Stoyanov, D; Zhong-Yang, G; (2007) A probabilistic framework for tracking deformable soft tissue in minimally invasive surgery. Medical image computing and computer-assisted intervention : MICCAI ... International Conference on Medical Image Computing and Computer-Assisted Intervention , 10 (Pt 2) pp. 34-41.

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

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

Mylonas, GP; Stoyanov, D; Darzi, A; Yang, GZ; (2007) Assessment of perceptual quality for gaze-contingent motion stabilization in robotic assisted minimally invasive surgery. Medical image computing and computer-assisted intervention : MICCAI ... International Conference on Medical Image Computing and Computer-Assisted Intervention , 10 (Pt 2) pp. 660-667.

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

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

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

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

Przulj, N; (2007) Biological network comparison using graphlet degree distribution. Bioinformatics , 23 (2) pp. 177-183. 10.1093/bioinformatics/btl301.

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

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

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

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

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

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

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

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

Slater, M; 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) pp. 2778-2784. 10.1364/AO.46.002778.

Stoyanov, D; Yang, GZ; (2007) Stabilization of image motion for robotic assisted beating heart surgery. Medical image computing and computer-assisted intervention : MICCAI ... International Conference on Medical Image Computing and Computer-Assisted Intervention , 10 (Pt 1) pp. 417-424.

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

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

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

Tomassini, M; Luthi, L; Giacobini, M; Langdon, WB; (2007) The Structure of the Genetic Programming Collaboration Network. Genetic Programming and Evolvable Machines , 8 (1) pp. 97-103. 10.1007/s10710-006-9018-2.

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

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

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

Weyrich, T; Heinzle, S; Aila, T; Fasnacht, D; Oetiker, S; Botsch, M; Flaig, C; (2007) A Hardware Architecture for Surface Splatting. ACM Trans. on Graphics (Proc. SIGGRAPH 2007) , 26 (3) 90:1-90:11.

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

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

Xue, F; 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; Detre, JA; Mechanic-Hamilton, D; Fernández-Seara, MA; Tang, KZ; Hoang, A; Korczykowski, M; (2007) Hippocampus-specific fMRI group activation analysis using the continuous medial representation. Neuroimage , 35 (4) pp. 1516-1530. 10.1016/j.neuroimage.2007.01.029.

Zhang, H; Yushkevich, PA; Rueckert, D; 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; May, KA; (2007) Psychophysical tests of the hypothesis of a bottom-up saliency map in primary visual cortex. PLoS Computational Biology , 3 (4) , Article e62. 10.1371/journal.pcbi.0030062. Green open access
file

Zhaoping, L; May, KA; (2007) Psychophysical tests of the hypothesis of a bottom-up saliency map in primary visual cortex. PLoS Computational Biology , 3 (4) , Article e62. 10.1371/journal.pcbi.0030062. Green open access
file

Zhou, S; Mondragon, RJ; (2007) Structural constraints in complex networks. NEW J PHYS , 9 , Article 173. 10.1088/1367-2630/9/6/173. Green open access
file

Zhou, S; Zhang, GQ; 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. [Book]. Springer-Verlag New York Inc

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

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

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

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

Book chapter

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

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

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

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

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

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

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

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

SHAWE-TAYLOR, J; Fortuna, B; 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).

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

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

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

Wassermann, B; Emmerich, W; (2007) Reliable Scientific Service Compositions. In: Workshop Proceedings of the 4th Int. Conf. on Service Oriented Computing (ICSOC 2006), Chicago, IL. (pp. 14-25). Springer Green open access
file

Wassermann, B; Emmerich, W; Butchart, B; Cameron, N; Chen, L; 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. (pp. 428-449). Springer

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

Zhou, S; (2007) Rich-club phenomenon of the Internet topology. In: Encyclopedia of Internet Technologies and Applications. (pp. 469-472). Green open access
file

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

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

Proceedings paper

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

(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

(2007) Verification, Model Checking, and Abstract Interpretation, 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings. In: Cook, B and Podelski, A, (eds.) Springer

(2007) Interactive Systems. Design, Specification, and Verification, 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers. In: Doherty, GJ and Blandford, A, (eds.) DSV-IS. Springer

(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

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

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

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

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

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

Babic, D; Hu, AJ; Rakamaric, Z; Cook, B; (2007) Proving Termination by Divergence. In: (pp. pp. 93-102). IEEE Computer Society

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

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

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

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

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

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

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

Brotherston, J; (2007) Formalised inductive reasoning in the logic of bunched implications. In: (pp. pp. 87-103).

Brotherston, J; Simpson, A; (2007) Complete sequent calculi for induction and infinite descent. In: (pp. pp. 51-60).

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

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

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

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

Cook, B; (2007) Bringing Hardware and Software Closer Together with Termination Analysis. In: (pp. p. 201). IEEE Computer Society

Cook, B; (2007) Automatically Proving Program Termination. In: Damm, W and Hermanns, H, (eds.) (pp. p. 1). Springer

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

Cook, B; Podelski, A; Rybalchenko, A; (2007) Proving thread termination. In: Ferrante, J and McKinley, KS, (eds.) (pp. pp. 320-330). ACM

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

Dan, H; Hierons, RM; Counsell, S; (2007) Thread-based analysis of Sequence Diagrams. In: Proceedings of the 27th IFIP International Conference on Formal Methods for Networked and Distributed Systems. (pp. 19-34 - 19-34).

Dan, H; Hierons, RM; Counsell, S; (2007) A Thread-tag based semantics for Sequence Diagram. In: Proceedings of the 5th IEEE International Conference on Software Engineering and Formal Methods. (pp. 173-182 - 173-182).

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

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

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

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

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

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

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

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

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

Friedman, D; Leeb, R; Dikovsky, L; Reiner, M; Pfurtscheller, G; Slater, M; (2007) Controlling a virtual body by thought in a highly-immersive virtual environment : A case study in using a brain-computer interface in a virtual-reality cave-like system. In: (pp. pp. 83-90).

Friedman, D; Steed, A; Slater, M; (2007) Spatial social behavior in second life. In: (pp. pp. 252-263).

Friedman, D; Suji, K; Slater, M; (2007) SuperDreamCity: An immersive virtual reality experience that responds to electrodermal activity. In: (pp. pp. 570-581).

Gotsman, A; Berdine, J; Cook, B; Rinetzky, N; Sagiv, M; (2007) Local Reasoning for Storable Locks and Threads. In: Shao, Z, (ed.) (pp. pp. 19-37). Springer

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

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

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

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

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

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

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

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

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

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

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

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

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

Hirsch, L; Hirsch, R; Saeedi, M; (2007) Evolving Lucene search queries for text classification. In: (pp. pp. 1604-1611).

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

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

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

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

Jamieson, K; Balakrishnan, H; (2007) PPR: Partial Packet Recovery for Wireless Networks. In: (pp. pp. 409-420). ACM Press: New York, US.

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

Khanna, P; Slater, M; Mortensen, J; 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.

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

Kirstein, P; Lambrinos, L; (2007) Integrating Voice over IP Services in IPv4 and IPv6 Networks. In: Proceedings of the International Multi-Conference on Computing in the Global Information Technology. IEEE Green open access
file

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

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

Magill, S; Berdine, J; Clarke, EM; Cook, B; (2007) Arithmetic Strengthening for Shape Analysis. In: Nielson, HR and Filé, G, (eds.) (pp. pp. 419-436). Springer

Manevich, R; Berdine, J; Cook, B; Ramalingam, G; Sagiv, M; (2007) Shape Analysis by Graph Decomposition. In: Grumberg, O and Huth, M, (eds.) (pp. pp. 3-18). Springer

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

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

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

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

Mortensen, J; Khanna, P; Yu, I; 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; Khanna, P; Yu, I; Slater, M; (2007) A visibility field for ray tracing. In: (pp. pp. 54-61).

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

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

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

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

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

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

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

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

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

Parkin, SE; Ingham, D; 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

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

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

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

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

Qi, G; Hunter, A; (2007) Measuring incoherence in description logic-based ontologies. In: (pp. pp. 381-394).

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

Raimond, Y; Abdallah, SA; Sandler, MB; 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; (2007) Fast GPU-based Visibility Computation for Natural Illumination of Volume Data Sets. In: Cignoni, P and Sochor, J, (eds.) (pp. pp. 57-60). Eurographics Association

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Towner, H; Slater, M; (2007) Reconstruction and recognition of occluded facial expressions using PCA. In: (pp. pp. 36-47).

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

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

Yasin, I; Fantini, DA; Plack, CJ; (2007) The magnitude of masking release and its relation to flanker band position and symmetry of signal excitation patterns. In: (pp. p. 641).

Yasin, I; Plack, CJ; (2007) Neural correlates of auditory streaming with unresolved harmonics. In: (pp. 3092-).

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

Zhou, S; (2007) Structural constraints in the internet topology. In:

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

Report

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

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

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

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

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

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

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

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

Conference item

(2007) UNSPECIFIED Presented at: Proc. of the 29th Int. Conference on Software Engineering, Minneapolis, USA, May 20-26, 2007.

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

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

Alexander, DC; Jones, DK; (2007) Limits on measuring axon diameters in vivo using diffusion MRI. Presented at: UNSPECIFIED.

Annen, T; Mertens, T; Bekaert, P; Seidel, H-P; Kautz, J; (2007) Convolution Shadow Maps. Presented at: UNSPECIFIED.

Aslam, JA; Yilmaz, E; (2007) Inferring document relevance from incomplete information. Presented at: UNSPECIFIED.

Atkinson, R; Bhatti, S; Hailes, S; (2007) Mobility as an Integrated Service Through the Use of Naming. Presented at: UNSPECIFIED.

Atkinson, RJ; Bhatti, S; Hailes, S; (2007) A proposal for unifying mobility with multi-homing, NAT, & security. Presented at: UNSPECIFIED.

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

Auletta, V; Blundo, C; De Cristofaro, E; (2007) A J2ME transparent middleware to support HTTP connections over Bluetooth. Presented at: UNSPECIFIED, IEEE.

Back, J; Blandford, A; Curzon, P; (2007) Recognising erroneous and exploratory interactions. Presented at: UNSPECIFIED. Green open access
file

Back, J; Furniss, D; Blandford, A; (2007) Cognitive Resilience: Reflection-in-action and on-action. Presented at: UNSPECIFIED. Green open access
file

Bard, GV; Courtois, N; Jefferson, C; (2007) Efficient Methods for Conversion and Solution of Sparse Systems of Low-Degree Multivariate Polynomials over GF(2) via SAT-Solvers. Presented at: UNSPECIFIED.

Bas, P; Doërr, G; (2007) Practical Security Analysis of Dirty Paper Trellis Watermarking. Presented at: UNSPECIFIED.

Beeharee, AK; Steed, A; (2007) Minimising Pedestrian Navigational Ambiguities Through Geoannotation and Temporal Tagging. Presented at: UNSPECIFIED.

Bhalla, N; Bentley, PJ; Jacob, C; (2007) Mapping Virtual Self-assembly Rules to Physical Systems. Presented at: UNSPECIFIED.

Black, E; Hunter, A; (2007) A generative inquiry dialogue system. Presented at: UNSPECIFIED.

Bleeker, EJW; Fonteijn, HMJ; Shumskaya, E; Schwarzbach, J; Norris, DG; (2007) Functional Hierarchy of the Visual System as Revealed by Resting-State Connectivity. Presented at: UNSPECIFIED.

Blundo, C; De Cristofaro, E; (2007) A Bluetooth-based JXME infrastructure. Presented at: UNSPECIFIED.

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

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

Bulterman, DCA; Cesar, P; Jansen, AJ; Knoche, H; Seager, W; (2007) Enabling Pro-Active User-Centered Recommender Systems: An Initial Evaluation. Presented at: UNSPECIFIED.

Calcagno, C; O'Hearn, PW; Yang, H; (2007) Local Action and Abstract Separation Logic. Presented at: UNSPECIFIED.

Calegari, R; Musolesi, M; Raimondi, F; Mascolo, C; (2007) CTG: a connectivity trace generator for testing the performance of opportunistic mobile systems. Presented at: Proc. of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering.

Calegari, R; Musolesi, M; Raimondi, F; Mascolo, C; (2007) CTG: a connectivity trace generator for testing the performance of opportunistic mobile systems. Presented at: UNSPECIFIED.

Chapman, C; Musolesi, M; Emmerich, W; Mascolo, C; (2007) Predictive Resource Scheduling in Computational Grids. Presented at: UNSPECIFIED.

Chapman, C; Musolesi, M; Emmerich, W; Mascolo, C; (2007) Predictive Resource Scheduling in Computational Grids. Presented at: UNSPECIFIED.

Chen, C; Nagl, S; Clack, C; (2007) A calculus for multi-level emergent behaviours in component-based systems and simulations. Presented at: Emergent Properties in Natural and Artificial Complex Systems (EPNACS'2007), in ECCS'07 European Conference on Complex Systems.

Chen, CC; Nagl, SB; Clack, CD; (2007) Specifying, detecting and analysing emergent behaviours in multi-level agent-based simulations. Presented at: UNSPECIFIED.

Cheng, L; (2007) 2007 Global IEEE Telecommunications Conference (GLOBECOM \'07). Presented at: Bridging distributed hash tables in wireless ad-hoc networks.

Cheng, L; Jean, K; Ocampo, R; Galis, A; Kersch, P; Szabo, R; (2007) Secure Bootstrapping of Distributed Hash Tables in Dynamic Wireless Networks. Presented at: UNSPECIFIED.

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

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

Coffin, DJ; Smith, RE; (2007) Why is parity hard for estimation of distribution algorithms? Presented at: UNSPECIFIED.

Costa, P; Coulson, G; Gold, R; Lad, M; Mascolo, C; Mottola, L; Picco, GP; (2007) The RUNES Middleware for Networked Embedded Systems and its Application in a Disaster Management Scenario. Presented at: Proc. of the 5th IEEE Int. Conf. on Pervasive Computing and Communications (Percom07), White Plains, NY.

Courtois, N; (2007) How Fast can be Algebraic Attacks on Block Ciphers?. Presented at: UNSPECIFIED.

Courtois, N; Bard, GV; (2007) Algebraic Cryptanalysis of the Data Encryption Standard. Presented at: UNSPECIFIED.

Courtois, N; Debraize, B; (2007) Specific S-Box Criteria in Algebraic Attacks on Block Ciphers with Several Known Plaintexts. Presented at: UNSPECIFIED.

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

Crandall, JR; Zinn, D; Byrd, M; Barr, ET; East, R; (2007) ConceptDoppler: a weather tracker for internet censorship. Presented at: UNSPECIFIED.

De Cristofaro, E; (2007) A secure and privacy-protecting aggregation scheme for sensor networks. Presented at: UNSPECIFIED, IEEE.

Diethe, T; Bentley, P; (2007) Modelling the Effects of Colony Age on the Foraging Behaviour of Harvester Ants. Presented at: 9th European Conference on Artificial Life.

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

Dowell, J; Gladisch, T; (2007) Design of argument diagramming for case-based group learning. Presented at: UNSPECIFIED.

Duboc, L; Rosenblum, D; Wicks, T; (2007) A framework for characterization and analysis of software system scalability. Presented at: UNSPECIFIED.

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

Ferreira, D; Zacarias, M; Malheiros, M; Ferreira, P; (2007) Approaching process mining with sequence clustering: Experiments and findings. Presented at: UNSPECIFIED.

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

Fuhs, C; Giesl, J; Middeldorp, A; Schneider-Kamp, P; Thiemann, R; Zankl, H; (2007) SAT Solving for Termination Analysis with Polynomial Interpretations. Presented at: UNSPECIFIED.

Furniss, D; Blandford, A; Curzon, P; (2007) Usability evaluation methods in practice: Understanding the context in which they are embedded. Presented at: UNSPECIFIED.

Furniss, D; Blandford, A; Curzon, P; (2007) Usability evaluation methods in practice: understanding the context in which they are embedded. Presented at: UNSPECIFIED. Green open access
file

Gallagher, K; Hall, T; Black, S; (2007) Reducing Regression Test Size by Exclusion. Presented at: UNSPECIFIED.

Gandhe, A; Yu, S-H; Mehra, R; Smith, RE; (2007) Fused, Multi-Spectral Automatic Target Recognition with XCS. Presented at: UNSPECIFIED.

Gelly, S; Silver, D; (2007) Combining Online and Offline Learning in UCT. Presented at: UNSPECIFIED.

Griffin, LD; Lillholm, M; (2007) Feature category systems for 2nd order local image structure induced by natural image statistics and otherwise. Presented at: Human Vision and Electronic Imaging XII.

Groenegress, C; Slater, M; Tamke, M; Ramsgard-Thomsen, M; (2007) Spinoff - Transferring Energy between Real and Virtual Worlds. Presented at: Eurographics 2007.

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

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

Herbster, MJ; Galeano, SR; (2007) A fast method to predict the labeling of a tree. Presented at: Graph Labeling Workshop (Graphlab'07), 18th European Conference on Machine Learning (ECML'07).

Herbster, MJ; Pontil, M; (2007) Prediction on a Graph with the Perceptron. Presented at: Advances in Neural Information Processing Systems (NIPS).

Hirsch, R; Tzanis, ; E, ; (2007) A Logic for Probabilistic XML Documents with Applications to Updates. Presented at: Computability in Europe 2007: Computation and Logic in the Real World.

Huang, Y; Bhatti, S; Sorensen, S; (2007) Adaptive MANET Routing for Low Overhead. Presented at: UNSPECIFIED.

Huang, Y; Bhatti, S; Sorensen, S-A; (2007) Analyzing the impact of topology update strategies on the performance of a proactive MANET routing protocol. Presented at: UNSPECIFIED.

Jiang, Q; Alexander, DC; Ding, GL; Zhang, ZG; Pourabdollah, S; Nejad, D; Zhang, L; (2007) White matter reorganization after stroke measured by Gaussian DTI, q-ball, and PAS MRI. Presented at: UNSPECIFIED.

Jiang, RESAMK; (2007) MILCS: A Mutual Information Learning Classifier System. Presented at: International Workshop on Learning Classifier Systems. Green open access
file

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

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

Kirstein, P; Varakliotis, S; O’Hanlon, P; (2007) The SUMOVER project: Media Tools’ present and future. Presented at: Access Grid Retreat, Chicago, US. Gold open access
file

Krinke, J; (2007) Changes to Code Clones in Evolving Software. Presented at: UNSPECIFIED.

Krinke, J; (2007) Information flow and taint analysis with dependence graphs. Presented at: 3rd International Workshop on Code Based Security Assessments (CoBaSSA), Vancouver, Canada.

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

Lillholm, M; Griffin, LD; (2007) Maximum likelihood metameres for local 2nd order image structure of natural images. Presented at: UNSPECIFIED.

Liu, H; Nazir, A; Sorensen, S; (2007) Resource Management Support for Smooth Application Execution in a Dynamic and Competitive Environment. Presented at: SKG2007.

Lomuscio, A; Pecheur, C; Raimondi, F; (2007) Automatic verification of knowledge and time with NuSMV. Presented at: UNSPECIFIED. Green open access
file

Ma, J; Liu, W; Hunter, A; (2007) Incomplete statistical information fusion and its application to clinical trials data. Presented at: UNSPECIFIED.

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

Mancini, S; Severini, S; (2007) The Quantum Separability Problem for Gaussian States. Presented at: UNSPECIFIED.

Marco, AD; Mascolo, C; (2007) Performance analysis and prediction of physically mobile systems. Presented at: UNSPECIFIED.

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

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

Mitra, NJ; Flöry, S; Ovsjanikov, M; Gelfand, N; Guibas, LJ; Pottmann, H; (2007) Dynamic geometry registration. Presented at: UNSPECIFIED.

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

Mostéfaoui, GK; Narendra, NC; Maamar, Z; Thiran, P; (2007) On Modeling and Developing Self-Healing Web Services Using Aspects. Presented at: UNSPECIFIED.

Mudigonda, P; Kolmogorov, V; Torr, PHS; (2007) An Analysis of Convex Relaxations for MAP Estimation. Presented at: UNSPECIFIED.

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

Nedjati-Gilani, S; Parker, GJ; Alexander, DC; (2007) Sub-voxel reconstruction of fibre orientations. Presented at: Medical Image Understanding and Analysis (MIUA).

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

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

Pan, X; Slater, M; (2007) A Preliminary Study Of Shy Males Interacting With A Virtual Female. Presented at: Presence 2007: The 10th Annual International Workshop on Presence.

Polys, NF; Steed, A; Behr, J; Brutzman, DP; (2007) Workshop 1: The Future Standards for Immersive VR. Presented at: UNSPECIFIED.

Pourabdollah-Nejad, S; Bagher-Ebadian, H; Jiang, Q; Noll, DC; Alexander, DC; Ewing, JR; Jafari-Khouzani, K; (2007) Information extraction from ischemic stroke MR images using independent component analysis technique. Presented at: UNSPECIFIED.

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

Ritschel, T; Grosch, T; Kautz, J; Müller, S; (2007) Interactive Illumination with Coherent Shadow Maps. Presented at: UNSPECIFIED.

Rodrigues, GN; Rosenblum, DS; Wolf, J; (2007) Reliability Analysis of Concurrent Systems using LTSA. Presented at: ICSE 2007: 29th International Conference on Software Engineering, Minneapolis, USA. Green open access
file

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

Rogers, M; Bhatti, S; (2007) A lightweight mechanism for dependable communication in untrusted networks. Presented at: UNSPECIFIED.

Rogers, M; Bhatti, S; (2007) An adaptive routing protocol for censorship-resistant communication. Presented at: UNSPECIFIED.

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

Rondini, E; Hailes, S; (2007) Distributed Computation in Wireless Ad Hoc Grids with Bandwidth Control. Presented at: 5th ACM Conference on Embedded Networked Sensor Systems (SenSys 2007). Sydney, Australia. 6-9 November 2007..

Rondini, E; Hailes, S; (2007) Distributed computation in wireless ad hoc grids with bandwidth control. Presented at: UNSPECIFIED.

Rukšenas, R; Curzon, P; Blandford, A; (2007) Detecting Cognitive Causes of Confidentiality Leaks. Presented at: UNSPECIFIED. Green open access
file

Rukšėnas, R; Curzon, P; Blandford, A; (2007) Detecting cognitive causes of confidentiality leaks. Presented at: UNSPECIFIED.

Safavi-Naini, R; Wang, S; Desmedt, Y; (2007) Unconditionally secure ring authentication. Presented at: UNSPECIFIED.

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

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

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

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

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

Shepherd, T; Alexander, DC; (2007) Supervised MS Lesion Segmentation. Presented at: Medical Image Understanding and Analysis.

Silva, LAL; Buxton, BF; Campbell, JA; (2007) Enhanced Case-Based Reasoning trough Use of Argumentation and Numerical Taxonomy. Presented at: UNSPECIFIED.

Silva, R; Heller, KA; Ghaharamani, Z; (2007) Analogical reasoning with relational Bayesian sets. Presented at: AISTATS 2007, San Juan, Puerto Rico.

Skene, J; Skene, A; Crampton, J; Emmerich, W; (2007) The Monitorability of Service-Level Agreements for Application-Service Provision. Presented at: UNSPECIFIED.

Smith, RE; Jiang, MK; (2007) MILCS: A Mutual Information Learning Classifier System. Presented at: UNSPECIFIED.

Spiro, N; Gold, N; Rink, J; (2007) In Search of Motive: Identification of Repeated Patterns in Performance and Their Structural Context. Presented at: UNSPECIFIED.

Spiro, N; Gold, N; Rink, J; (2007) Performance motives: analysis and comparison of performance timing repetitions using pattern matching and Formal Concept Analysis. Presented at: UNSPECIFIED.

Srinivasan, MA; (2007) From Haptic Interface to Brain Interface. Presented at: UNSPECIFIED.

Tzanis, E; (2007) A note on Probabilistic Logics. Presented at: PAul2007: Probabilistic Automata and Logics. LICS2007 Workshop..

Varma, M; Ray, D; (2007) Learning the Discriminative Power-Invariance Trade-Off. Presented at: UNSPECIFIED.

Vénot, S; Yan, L; (2007) On-demand mobile peer-to-peer Streaming over the JXTA Overlay. Presented at: UNSPECIFIED.

Vénot, S; Yan, L; (2007) Peer-to-Peer Media Streaming Application Survey. Presented at: UNSPECIFIED.

Wang, C; Doërr, G; Cox, IJ; (2007) Trellis Coded Modulation to Improve Dirty Paper Trellis Watermarking. Presented at: Security, Steganography and Watermarking of Multimedia Contents IX, Proceedings of SPIE 6505.

Wang, Z; Elbaum, S; Rosenblum, DS; (2007) Automated generation of context-aware tests. Presented at: UNSPECIFIED.

Wang, Z; Shawe-Taylor, J; Szedmák, S; (2007) Kernel Regression Based Machine Translation. Presented at: UNSPECIFIED. Green open access
file

Weyrich, T; (2007) Reassembling The Thera Frescoes. Presented at: Proc. of Dagstuhl Seminar 07171 on Visual Computing, Dagstuhl, Germany.

Wong, KY; Thyvetil, M-A; Machaira, A; Loscos, C; (2007) Density Distribution and local behaviour for realistic crowd simulation. Presented at: UNSPECIFIED.

Yan, L; Bacon, J; (2007) Exploring the application domain and middleware issues for a phone-centric information monitoring environment. Presented at: UNSPECIFIED.

Yan, L; Sere, K; (2007) Dependability Aspects of Ubiquitous Computing. Presented at: UNSPECIFIED.

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

Yue, A; Liu, W; Hunter, A; (2007) Approaches to constructing a stratified merged knowledge base. Presented at: UNSPECIFIED.

Yushkevich, PA; Zhang, H; Simon, TJ; Gee, JC; (2007) Structure-specific statistical mapping of white matter tracts using the continuous medial representation. Presented at: UNSPECIFIED.

Zhou, X; Yan, L; Lilius, J; (2007) Function Inlining in Embedded Systems with Code Size Limitation. Presented at: UNSPECIFIED.

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

Thesis

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

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

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

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

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

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

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

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

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

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

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

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

Software

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

Patent

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

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

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

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

Scholarly edition

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

Other

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

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

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

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

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

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

This list was generated on Sun Sep 25 06:02:16 2016 BST.