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: 622.

Article

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

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

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

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

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.

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

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

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

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

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.

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

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

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

Bentley, 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.

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

Black, E; Hunter, A; (2007) A generative inquiry dialogue system. 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.

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

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

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

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.

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

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

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

Cardinale, M; Leiper, J; Farajian, P; 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) pp. 111-119. 10.1080/02640410600717816.

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

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

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

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.

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

Clark, D; 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.

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

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

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.

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

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

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.

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

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

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.

Di Matteo, T; Aste, T; (2007) "No worries": Trends in Econophysics. European Physical Journal B , 55 (2) pp. 121-122. 10.1140/epjb/e2007-00047-1.

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

Elaloufi, R; Arridge, S; Pierrat, R; Carminati, R; (2007) Light propagation in multilayered scattering media beyond the diffusive regime. Appl Opt , 46 (13) pp. 2528-2539.

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.

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

Erskine, J; Smillie, I; Leiper, J; Ball, D; 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) pp. 242-248. 10.1111/j.1475-097X.2007.00745.x.

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

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

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

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

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.

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

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

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

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.

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

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

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

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

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

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

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.

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

Hirsch, 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.

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

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

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

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

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

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

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; LaViolar, JJ; (2007) On Kalman filtering with nonlinear equality constraints. IEEE Transactions on Signal Processing , 55 (6 II) pp. 2774-2784. 10.1109/TSP.2007.893949.

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

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. ACM Transactions on Graphics , 26 (3) 10.1145/1276377.1276457.

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

Kim, HK; Carmena, JM; Biggs, SJ; Hanson, TL; Nicolelis, MAL; Srinivasan, MA; (2007) The muscle activation method: An approach to impedance control of brain-machine interfaces through a musculoskeletal model of the arm. IEEE 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 (4) pp. 413-466. 10.1007/s11047-006-9026-4.

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.

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

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

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

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.

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

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

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.

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

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

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.

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

Mitra, NJ; 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

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

Mountney, P; Lo, B; Thiemjarus, S; Stoyanov, D; Zhong-Yang, G; (2007) A probabilistic framework for tracking deformable soft tissue in minimally invasive surgery. 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.

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

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

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

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

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

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

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.

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

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

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

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

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

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

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

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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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.

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

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

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.

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

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

Taylor, ZA; 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.

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

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

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

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

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

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

Valmaggia, LR; Freeman, D; Green, C; Garety, P; Swapp, D; Antley, A; Prescott, C; (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; Treleaven, P; 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; 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.

Xiong, H; Curzon, P; Tahar, S; Blandford, A; (2007) Providing a formal linkage between MDG and HOL. FORMAL METHODS IN SYSTEM DESIGN , 30 (2) pp. 83-116. 10.1007/s10703-006-0017-y.

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; Avants, BB; Yushkevich, PA; Woo, JH; Wang, S; McCluskey, LF; Elman, LB; (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) pp. 1585-1597. 10.1109/TMI.2007.906784.

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; (2007) Colour categories, colour constancy, and lightness perception from information theory. PERCEPTION , 36 201 - 202.

Zhaoping, L; 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; 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.

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

Book chapter

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

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

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

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

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..

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

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

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

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

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

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

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

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

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

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).

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

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

Aura, T; Roe, M; Murdoch, SJ; IEEE, ; (2007) Securing network location awareness with authenticated DHCP. In: (pp. pp. 391-402).

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

Austin, T; (2007) Optical imaging of the neonatal brain. In: (pp. F238-F241).

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) Recognising erroneous and exploratory interactions. In: Baranauskas, C and Palanque, P and Abascal, J and Barbosa, SDJ, (eds.) Human-Computer Interaction - INTERACT 2007, Pt 2, Proceedings. (pp. 127 - 140). SPRINGER-VERLAG BERLIN

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

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

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

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

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

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

Blandford, A; Gow, J; Buchanan, G; Warwick, C; Rimmer, J; (2007) Creators, composers and consumers: Experiences of designing a digital library. In: 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; Anderson, R; Clayton, R; Stajano, FR; Aura, T; Danezis, G; Desmedt, Y; (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

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

Bond, M; Anderson, R; Aura, T; Christianson, B; Stajano, F; Blaze, M; Danezis, G; (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

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

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

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).

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

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

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

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

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

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

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

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

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

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

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).

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

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) 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) Position statement in RFID S&P panel: From relative security to perceived secure. In: Dietrich, S and Dhamija, R, (eds.) FINANCIAL CRYPTOGRAPHY AND DATA SECURITY. (pp. 53 - 56). SPRINGER-VERLAG BERLIN

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

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

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

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

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

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

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).

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

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

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

Evans, CA; (2007) The effectiveness of m-learning in the form of podcast revision lectures in higher education. In: (Proceedings) Biennial Conference on Computer Assisted Learning (CAL 07).

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

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

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).

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

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) A ton-interactive shuffle with pairing based verifiability. In: Kurosawa, K, (ed.) ADVANCES IN CRYPTOLOGY - ASIACRYPT 2007. (pp. 51 - 67). SPRINGER-VERLAG BERLIN

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

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

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

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) The current state and future of search based software engineering. In: Briand, LC and Wolf, AL, (eds.) FOSE 2007: FUTURE OF SOFTWARE ENGINEERING. (pp. 342 - 357). IEEE COMPUTER SOC

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

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

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

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

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

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

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

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

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

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).

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

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

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

Johnson, M; Laurie, B; Desmedt, Y; Anderson, R; Christianson, B; Roe, M; Bond, M; (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

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.

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

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

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

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

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

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

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

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

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

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

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).

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

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

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

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

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

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

Mertens, T; Kautz, J; Van Reeth, F; (2007) Exposure fusion. In: (pp. pp. 382-390).

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

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

Mortensen, J; Khanna, P; Yu, I; Slater, M; (2007) Real-time global illumination in the CAVE. In: 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).

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

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

Murdoch, SJ; Zielinski, P; (2007) Sampled traffic analysis by Internet-eXchange-level adversaries. In: (pp. pp. 167-183).

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

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

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.

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

Powell, HWR; Parker, GJM; Alexander, DC; Symms, MR; Wheeler-Kingshott, CAM; Boulby, PA; Barker, GJ; (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, SJD; Aghajanian, J; Mohammed, U; Sahani, M; (2007) Latent identity variables: Biometric matching without explicit identity estimation. In: Lee, SW and Li, SZ, (eds.) Advances in Biometrics, Proceedings. (pp. 424 - 434). SPRINGER-VERLAG BERLIN

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

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

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:

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Soloviev, VY; Tahir, KB; McGinty, J; Elson, DS; Neil, M; Sardini, A; Hajnal, J; (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

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

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

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

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

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

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

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).

Williams, M; Hunter, A; (2007) Harnessing ontologies for argument-based decision-making in breast cancer. In: (pp. pp. 254-261).

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

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

Yan, W; 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; 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; Kyung, KU; Srinivasan, MA; Kwon, DS; (2007) Development of quantitative tactile display device to provide both pin-array-type tactile feedback and thermal feedback. In: (Proceedings) 2nd Joint EuroHaptics Conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems. (pp. pp. 578-579). IEEE COMPUTER SOC

Yogarajah, M; Powell, HWR; Parker, GJM; Alexander, DC; Symms, MR; Boulby, P; Wheeler-Kingshott, CA; (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; 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

Yoo, S; Harman, M; (2007) Pareto efficient multi-objective test case selection. In: (pp. pp. 140-150).

Zhang, J; Cox, IJ; 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

Zhang, YY; Harman, M; Mansouri, SA; (2007) The Multi-Objective Next Release Problem. In: GECCO 2007: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2. (pp. 1129 - 1136). ASSOC COMPUTING MACHINERY

Zheng, L; 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:

Zhou, S; Cox, I; 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; Cox, IJ; Petricek, V; (2007) Characterising Web Site Link Structure. In: Huang, S and Penta, MD, (eds.) (pp. pp. 73-80). IEEE Computer Society

de Medeiros, B; Stajano, F; Clayton, R; Laurie, B; Burmester, M; Christianson, B; Desmedt, Y; (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

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 ).

Dolia, AN; Harris, CJ; Shawe-Taylor, JS; 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.

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.

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: 5th IEEE International Conference on Pervasive Computing and Communications, White Plains, NY. Green open access
file

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.

Drimer, S; Murdoch, SJ; USENIX, ; (2007) Keep your enemies close: Distance bounding against smartcard relay attacks. Presented at: UNSPECIFIED.

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

Duke, J; Clack, CD; (2007) Evolutionary simulation of hedging pressure in futures markets. Presented at: IEEE Congress on Evolutionary Computation, Singapore, SINGAPORE.

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

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

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

Fonseca, R; Gnawali, O; Jamieson, K; Levis, P; (2007) Four-Bit Wireless Link Estimation. 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.

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

Jamieson, K; Balakrishnan, H; (2007) PPR: Partial Packet Recovery for Wireless Networks. Presented at: UNSPECIFIED, Kyoto, Japan.

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.

Liu, Q; Prakash, EC; Srinivasan, MA; (2007) Interactive deformable geometry maps. Presented at: 2005 HAPTEX Workshop, Hannover, GERMANY.

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.

Patel, S; Clack, CD; (2007) ALPS evaluation in financial portfolio optimisation. Presented at: IEEE Congress on Evolutionary Computation, Singapore, SINGAPORE. Green open access
file

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.

Sutton, RS; Koop, A; Silver, D; (2007) On the role of tracking in stationary environments. 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)