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

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.

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

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

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.

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

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.

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

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.

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; (2007) Positive-feedback preference model of the Internet topology. pp. 407-410. 10.4018/978-1-59140-993-9.ch057.

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

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

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.) CAV. (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.) POPL. (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).

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

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

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

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

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

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

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

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

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.

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

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

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

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

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

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

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

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

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

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

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: 2007 IEEE 11TH INTERNATIONAL CONFERENCE ON COMPUTER VISION, VOLS 1-6. (pp. 1751 - 1758). IEEE

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

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.

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

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

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

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

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

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

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.

Aura, T; Roe, M; Murdoch, SJ; IEEE, ; (2007) Securing network location awareness with authenticated DHCP. Presented at: UNSPECIFIED.

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.

Brotherston, J; Simpson, A; (2007) Complete sequent calculi for induction and infinite descent. 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.

Capra, L; (2007) MaLM: Machine learning middleware to tackle ontology heterogeneity. Presented at: UNSPECIFIED. Green open access
file

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.

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

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.

Dong, Z; Kautz, J; Theobalt, C; Seidel, HP; (2007) Interactive global illumination using implicit visibility. Presented at: UNSPECIFIED.

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.

Egi, N; Greenhalgh, A; Handley, M; Hoerdt, M; Mathy, L; Schooley, T; (2007) Evaluating Xen for Router Virtualization. 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.

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

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.

Guo, Y; Chen, C; Zhou, S; (2007) Inferring and visualizing topological structures of large-scale complex network. Presented at: UNSPECIFIED.

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.

Hammer, C; Krinke, J; Nodes, F; (2007) Intransitive noninterference in dependence graphs. Presented at: UNSPECIFIED.

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

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

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, L; Hirsch, R; Saeedi, M; (2007) Evolving Lucene search queries for text classification. Presented at: UNSPECIFIED.

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.

Hornecker, E; Marshall, P; Rogers, Y; (2007) From entry to access - How shareability comes about. Presented at: UNSPECIFIED.

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.

Hunter, A; (2007) Real arguments are approximate arguments. 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

Le Martelot, E; Bentley, PJ; Lotto, RB; (2007) A systemic computation platform for the modelling and analysis of processes with natural characteristics. Presented at: UNSPECIFIED.

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.

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

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.

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

Park, C-M; Hong, S; Son, K-H; Kwon, J; (2007) A Component Model supporting Decomposition and Composition of Consumer Electronics Software Product Lines. Presented at: UNSPECIFIED.

Parkinson, M; Bornat, R; O'Hearn, P; (2007) Modular verification of a non-blocking stack. Presented at: UNSPECIFIED.

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.

Prince, SJD; Elder, JH; (2007) Probabilistic Linear Discriminant Analysis for Inferences About Identity. Presented at: UNSPECIFIED.

Qi, G; Hunter, A; (2007) Measuring incoherence in description logic-based ontologies. Presented at: UNSPECIFIED.

Quercia, D; Hailes, S; Capra, L; (2007) TRULLO - Local trust bootstrapping for ubiquitous devices. 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.

Schneider-Kamp, P; Fuhs, C; Thiemann, R; Giesl, J; Annov, E; Codish, M; Middeldorp, A; (2007) Implementing RPO and POLO using SAT. 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.

Shawe-Taylor, J; Dolia, A; (2007) A framework for probability density estimation. Presented at: UNSPECIFIED. Gold open access

Shayani, H; Bentley, PJ; (2007) A more bio-plausible approach to the evolutionary inference of finite state machines. Presented at: UNSPECIFIED.

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

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. Presented at: UNSPECIFIED.

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

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

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.

Williams, M; Hunter, A; (2007) Harnessing ontologies for argument-based decision-making in breast cancer. Presented at: UNSPECIFIED.

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, S; (2007) Structural constraints in the internet topology. Presented at: UNSPECIFIED.

Zhou, S; Cox, IJ; Petricek, V; (2007) Characterising Web Site Link Structure. Presented at: UNSPECIFIED.

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

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

Thesis

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

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

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

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

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

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

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

Software

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

Patent

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

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

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

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

Scholarly edition

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

Other

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

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

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

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

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

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

This list was generated on Sun Apr 24 07:24:02 2016 BST.