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

Article

Abascal, JFPJ; Lionheart, WRB; Arridge, SR; Schweiger, M; Atkinson, D; Holder, DS; (2011) Electrical impedance tomography in anisotropic media with known eigenvectors. INVERSE PROBL , 27 (6) , Article 065004. 10.1088/0266-5611/27/6/065004.

Alglave, J; Maranget, L; (2011) Stability in weak memory models. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , 6806 L pp. 50-66. 10.1007/978-3-642-22110-1_6.

Andonov, R; Malod-Dognin, N; Yanev, N; (2011) Maximum Contact Map Overlap Revisited. Journal of Computational Biology , 18 (1) pp. 27-41. 10.1089/cmb.2009.0196.

Argyriou, A; Baldassarre, L; Morales, J; Pontil, M; (2011) A General Framework for Structured Sparsity via Proximal Optimization. CoRR , abs/1106.5236

Argyriou, A; Micchelli, CA; Pontil, M; Shen, L; Xu, Y; (2011) Efficient First Order Methods for Linear Composite Regularizers. CoRR , abs/11

Arridge, SR; (2011) Methods in diffuse optical imaging. PHILOS T R SOC A , 369 (1955) 4558 - 4576. 10.1098/rsta.2011.0311.

Asthana, H; Fu, R; Cox, IJ; (2011) On the Feasibility of Unstructured Peer-to-Peer Information Retrieval. ADVANCES IN INFORMATION RETRIEVAL THEORY , 6931 pp. 125-138.

Azzopardi, L; Song, D; Kazai, G; Robertson, S; Rüger, SM; Shokouhi, M; Yilmaz, E; (2011) Introduction to special issue on the second international conference on the theory of information retrieval. Inf. Retr. , 14 (1) pp. 1-4. 10.1007/s10791-010-9142-8.

Barber, D; Laar, PVD; (2011) Variational Cumulant Expansions for Intractable Distributions. CoRR , abs/1105.5455

Bencomo, N; Letier, E; Finkelstein, A; Whittle, J; Welsh, K; (2011) Foreword: 2nd workshop requirements@run.time. Proceedings of the 2011 2nd International Workshop on Requirements@Run.Time, RE@RunTime 2011 10.1109/ReRunTime.2011.6046240.

Bertolino, A; Harman, M; (2011) Message from the doctoral symposium chairs. SIGSOFT/FSE 2011 - Proceedings of the 19th ACM SIGSOFT Symposium on Foundations of Software Engineering

Beyer, HG; Langdon, WB; (2011) FOGA'11 - Proceedings of the 2011 ACM/SIGEVO Foundations of Genetic Algorithms XI: Preface. FOGA'11 - Proceedings of the 2011 ACM/SIGEVO Foundations of Genetic Algorithms XI

Binkley, DW; Harman, M; Lakhotia, K; (2011) FlagRemover: A Testability Transformation for Transforming Loop-Assigned Flags. ACM T SOFTW ENG METH , 20 (3) , Article 12. 10.1145/2000791.2000796.

Bird, J; (2011) The phenomenal challenge of designing transparent technologies. Interactions , 18 (6) pp. 20-23. 10.1145/2029976.2029983.

Boness, K; Finkelstein, A; Harrison, R; (2011) A method for assessing confidence in requirements analysis. INFORM SOFTWARE TECH , 53 (10) 1084 - 1096. 10.1016/j.infsof.2011.05.003.

Brandão, FGSL; Datta, N; (2011) One-shot rates for entanglement manipulation under non-entangling maps. IEEE Transactions on Information Theory , 57 (3) pp. 1754-1760. 10.1109/TIT.2011.2104531.

Brotherston, J; Simpson, A; (2011) Sequent calculi for induction and infinite descent. Journal of Logic and Computation , 21 (6) pp. 1177-1216. 10.1093/logcom/exq052.

Cai, Y; Lamare, RCD; Fa, R; (2011) Switched Interleaving Techniques with Limited Feedback for Interference Mitigation in DS-CDMA Systems. IEEE Trans. Communications , 59 (7) pp. 1946-1956. 10.1109/TCOMM.2011.051711.090120A.

Calcagno, C; Distefano, D; O'Hearn, PW; Yang, H; (2011) Compositional Shape Analysis by Means of Bi-Abduction. J. ACM , 58 (6) p. 26. 10.1145/2049697.2049700.

Carlson, T; Hogendoorn, H; Fonteijn, H; Verstraten, FAJ; (2011) Spatial coding and invariance in object-selective cortex. CORTEX , 47 (1) 14 - 22. 10.1016/j.cortex.2009.08.015.

Casaccino, A; Mancini, S; Severini, S; (2011) Entanglement manipulation via dynamics in multiple quantum spin systems. QUANTUM INF PROCESS , 10 (1) 107 - 121. 10.1007/s11128-010-0182-1.

Cepolina, EM; Tyler, N; Boussard, C; Farina, A; Holloway, C; (2011) Modelling of urban pedestrian environments for simulation of the motion of small vehicles. International Conference on Harbour, Maritime and Multimodal Logistics Modelling and Simulation , 1 pp. 52-56.

Cepolina, EM; Tyler, N; Boussard, C; Farina, A; Holloway, C; (2011) Modelling of urban pedestrian environments for simulation of the motion of small vehicles. 13th Int. Conference on Harbor, Maritime and Multimodal Logistics Modeling and Simulation, HMS 2011, Held at the International Mediterranean and Latin American Modeling Multiconference, I3M 2011 pp. 52-56.

Chu, C; Mourao-Miranda, J; Chiu, YC; Kriegeskorte, N; Tan, G; Ashburner, J; (2011) Utilizing temporal information in fMRI decoding: Classifier using kernel regression methods. NEUROIMAGE , 58 (2) 560 - 571. 10.1016/j.neuroimage.2011.06.053.

Clancy, NT; Stoyanov, D; Maier-Hein, L; Groch, A; Yang, GZ; Elson, DS; (2011) Spectrally encoded fiber-based structured lighting probe for intraoperative 3D imaging. Biomed Opt Express , 2 (11) pp. 3119-3128. 10.1364/BOE.2.003119.

Clark, D; Giacobazzi, R; Mu, C; (2011) Foreword: programming language interference and dependence. Mathematical Structures in Computer Science , 21 (6) pp. 1109-1110. 10.1017/S0960129511000168.

Codish, M; Gonopolskiy, I; Ben-Amram, AM; Fuhs, C; Giesl, J; (2011) SAT-Based Termination Analysis Using Monotonicity Constraints over the Integers. CoRR , abs/11

Codish, M; Gonopolskiy, I; Ben-Amram, AM; Fuhs, C; Giesl, J; (2011) SAT-based termination analysis using monotonicity constraints over the integers. TPLP , 11 (4-5) pp. 503-520. 10.1017/S1471068411000147.

Cook, B; Podelski, A; Rybalchenko, A; (2011) Proving program termination. Commun. ACM , 54 (5) pp. 88-98. 10.1145/1941487.1941509.

Courtois, N; (2011) Algebraic Complexity Reduction and Cryptanalysis of GOST. IACR Cryptology ePrint Archive , 2011 626 - 626.

Courtois, N; (2011) Security Evaluation of GOST 28147-89 In View Of International Standardisation. IACR Cryptology ePrint Archive , 2011 211 - 211.

Courtois, N; Hulme, D; Mourouzis, T; (2011) Solving Circuit Optimisation Problems in Cryptography and Cryptanalysis. IACR Cryptology ePrint Archive , 2011 475 - 475.

Courtois, N; Misztal, M; (2011) Differential Cryptanalysis of GOST. IACR Cryptology ePrint Archive , 2011 312 - 312.

Cubitt, TS; Chen, J; Harrow, AW; (2011) Superactivation of the asymptotic zero-error classical capacity of a quantum channel. IEEE Transactions on Information Theory , 57 (12) pp. 8114-8126. 10.1109/TIT.2011.2169109.

Cuff, AL; Sillitoe, I; Lewis, T; Clegg, AB; Rentzsch, R; Furnham, N; Pellegrini-Calace, M; (2011) Extending CATH: increasing coverage of the protein structure universe and linking structure with function. NUCLEIC ACIDS RES , 39 D420 - D426. 10.1093/nar/gkq1001. Gold open access

Cvrček, D; Danezis, G; (2011) Fighting the 'good' internet war. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , 6615 L pp. 3-11. 10.1007/978-3-642-22137-8_2.

Dalpiaz, F; Chopra, AK; Lim, SL; (2011) The first international workshop on requirements engineering for social computing. 2011 1st International Workshop on Requirements Engineering for Social Computing, RESC'11 1-. 10.1109/RESC.2011.6046710.

Danezis, G; (2011) Covert communications despite traffic data retention. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , 6615 L pp. 198-214. 10.1007/978-3-642-22137-8_27.

Danezis, G; (2011) Covert communications despite traffic data retention (transcript of discussion). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , 6615 L pp. 215-219. 10.1007/978-3-642-22137-8_28.

Danezis, G; Kohlweiss, M; Rial, A; (2011) Differentially Private Billing with Rebates. IACR Cryptology ePrint Archive , 2011 p. 134.

Danezis, G; Kohlweiss, M; Rial, A; (2011) Differentially private billing with rebates. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , 6958 L pp. 148-162. 10.1007/978-3-642-24178-9_11.

Danezis, G; Livshits, B; (2011) Towards ensuring client-side computational integrity (A position paper). Proceedings of the ACM Conference on Computer and Communications Security pp. 125-129. 10.1145/2046660.2046683.

Danicic, S; Barraclough, RW; Harman, M; Howroyd, JD; Kiss, A; Laurence, MR; (2011) A unifying theory of control dependence and its application to arbitrary program structures. THEOR COMPUT SCI , 412 (49) pp. 6809-6842. 10.1016/j.tcs.2011.08.033.

Dillig, I; Dillig, T; Aiken, A; (2011) Cuts from proofs: A complete and practical technique for solving linear inequalities over integers. Formal Methods in System Design , 39 (3) pp. 246-260. 10.1007/s10703-011-0127-z.

Dini, DH; Mandic, DP; Julier, SJ; (2011) A widely linear complex unscented kalman filter. IEEE Signal Processing Letters , 18 (11) pp. 623-626. 10.1109/LSP.2011.2166259.

Doupé, A; Egele, M; Caillat, B; Stringhini, G; Yakin, G; Zand, A; Cavedon, L; (2011) Hit 'em where it hurts: A live security exercise on Cyber Situational Awareness. ACM International Conference Proceeding Series pp. 51-61. 10.1145/2076732.2076740.

Drobnjak, I; Alexander, DC; (2011) Optimising time-varying gradient orientation for microstructure sensitivity in diffusion-weighted MR. J MAGN RESON , 212 (2) 344 - 354. 10.1016/j.jmr.2011.07.017.

Drobnjak, I; Zhang, H; Hall, MG; Alexander, DC; (2011) The matrix formalism for generalised gradients with time-varying orientation in diffusion NMR. Journal of Magnetic Resonance , 210 (1) pp. 151-157. 10.1016/j.jmr.2011.02.022.

Drobnjak, I; Zhang, H; Hall, MG; Alexander, DC; (2011) The matrix formalism for generalised gradients with time-varying orientation in diffusion NMR. J MAGN RESON , 210 (1) 151 - 157. 10.1016/j.jmr.2011.02.022.

Drobnjak, I; Zhang, H; Hall, MG; Alexander, DC; (2011) The matrix formalism for generalised gradients with time-varying orientation in diffusion NMR. Journal of Magnetic Resonance , 210 (1) pp. 151-157. 10.1016/j.jmr.2011.02.022.

Ducros, N; Bassi, A; Valentini, G; Schweiger, M; Arridge, S; D'Andrea, C; (2011) Multiple-view fluorescence optical tomography reconstruction using compression of experimental data. OPT LETT , 36 (8) pp. 1377-1379.

Efstathiou, V; Hunter, A; (2011) Algorithms for generating arguments and counterarguments in propositional logic. INT J APPROX REASON , 52 (6) 672 - 704. 10.1016/j.ijar.2011.01.005.

Fayad, J; Russell, C; Agapito, L; (2011) Automated articulated structure and 3D shape recovery from point correspondences. Proceedings of the IEEE International Conference on Computer Vision pp. 431-438. 10.1109/ICCV.2011.6126272.

Fenz, S; Parkin, SE; Moorsel, APAV; (2011) A Community Knowledge Base for IT Security. IT Professional , 13 (3) pp. 24-30. 10.1109/MITP.2011.35.

Fu, H; Zhou, S; Liu, L; Mitra, NJ; (2011) Animated Construction of Line Drawings. ACM TRANSACTIONS ON GRAPHICS , 30 (6) 10.1145/2024156.2024167.

Fuhs, C; Giesl, J; Parting, M; Schneider-Kamp, P; Swiderski, S; (2011) Proving Termination by Dependency Pairs and Inductive Theorem Proving. J. Autom. Reasoning , 47 (2) pp. 133-160. 10.1007/s10817-010-9215-9.

Furmston, T; Barber, D; (2011) Effcient inference in Markov control problems. Proceedings of the 27th Conference on Uncertainty in Artificial Intelligence, UAI 2011 pp. 221-229.

Garg, R; Pizarro, L; Rueckert, D; Agapito, L; (2011) Dense multi-frame optic flow for non-rigid objects using subspace constraints. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , 6495 L (PART 4) pp. 460-473. 10.1007/978-3-642-19282-1_37.

Giotsas, V; Zhou, S; (2011) Inferring AS Relationships from BGP Attributes. CoRR , abs/11

Giovannetti, V; Severini, S; (2011) The Kirchhoff's Matrix-Tree Theorem revisited: counting spanning trees with the quantum relative entropy. CoRR , abs/11

Glowacka, D; Shawe-Taylor, J; Clark, A; de la Higuera, C; Johnson, M; (2011) Introduction to the Special Topic on Grammar Induction, Representation of Language and Language Learning. J MACH LEARN RES , 12 pp. 1425-1428. Gold open access

Gotsman, A; Berdine, J; Cook, B; (2011) Precision and the Conjunction Rule in Concurrent Separation Logic. Electr. Notes Theor. Comput. Sci. , 276 pp. 171-190. 10.1016/j.entcs.2011.09.021.

Grant, J; Hunter, A; (2011) Measuring consistency gain and information loss in stepwise inconsistency resolution. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , 6717 L pp. 362-373. 10.1007/978-3-642-22152-1_31.

Grunewalder, S; Obermayer, K; (2011) The optimal unbiased value estimator and its relation to LSTD, TD and MC. MACH LEARN , 83 (3) 289 - 330. 10.1007/s10994-010-5220-9.

Hahn, T; Marquand, AF; Ehlis, AC; Dresler, T; Kittel-Schneider, S; Jarczok, TA; Lesch, KP; (2011) Integrating Neurobiological Markers of Depression. ARCH GEN PSYCHIAT , 68 (4) 361 - 368. 10.1001/archgenpsychiatry.2010.178.

Hall, BX; Shawe-Taylor, J; Johnston, A; (2011) Employing The Complete Face in AVSR to Recover from Facial Occlusions. WAPA , 17 pp. 33-40.

Harman, M; (2011) Refactoring as testability transformation. Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011 pp. 414-421. 10.1109/ICSTW.2011.38.

Harman, M; Korel, B; (2011) Message from the program chairs. Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation, ICST 2011 10.1109/ICST.2011.5.

Hirsch, R; Hodkinson, I; Maddux, R; (2011) Weak representations of relation algebras and relational bases. The Journal of Symbolic Logic , 76 (3) 870 - 882.

Hirsch, R; Mikulás, S; (2011) Axiomatizability of representable domain algebras. Journal of Logic and Algebraic Programming , 80 (2) pp. 75-91. 10.1016/j.jlap.2010.07.019.

Hirsch, R; Mikulás, S; (2011) Positive fragments of relevance logic and algebras of binary relations. Review of Symbolic Logic , 4 (1) pp. 81-105. 10.1017/S1755020310000249.

Hussain, Z; Shawe-Taylor, J; (2011) Improved loss bounds for multiple kernel learning. Journal of Machine Learning Research , 15 pp. 370-377. Gold open access

Hussain, Z; Shawe-Taylor, J; (2011) A Note on Improved Loss Bounds for Multiple Kernel Learning. CoRR , abs/11

Hutson, S; Lim, SL; Bentley, PJ; Bianchi-Berthouze, N; Bowling, A; (2011) Investigating the suitability of social robots for the wellbeing of the elderly. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , 6974 L (PART 1) pp. 578-587. 10.1007/978-3-642-24600-5_61.

Janssen, CP; Brumby, DP; Dowell, J; Chater, N; Howes, A; (2011) Identifying Optimum Performance Trade-Offs Using a Cognitively Bounded Rational Analysis Model of Discretionary Task Interleaving. TOP COGN SCI , 3 (1) 123 - 139. 10.1111/j.1756-8765.2010.01125.x.

Jawaheer, G; Kostkova, P; (2011) Web crawlers on a health related portal: Detection, characterisation and implications. Proceedings - 4th International Conference on Developments in eSystems Engineering, DeSE 2011 pp. 24-29. 10.1109/DeSE.2011.83.

Ju, Z; Zhu, X; Liu, H; (2011) Empirical copula-Based Templates to Recognize Surface EMG signals of Hand Motions. I. J. Humanoid Robotics , 8 (4) pp. 725-741. 10.1142/S0219843611002630.

Julià, C; Paladini, M; Garg, R; Puig, D; Agapito, L; (2011) Automatic estimation of the number of deformation modes in non-rigid SfM with missing data. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , 6688 L pp. 381-392. 10.1007/978-3-642-21227-7_36.

Kano, Y; Björne, J; Ginter, F; Salakoski, T; Buyko, E; Hahn, U; Cohen, KB; (2011) U-Compare bio-event meta-service: compatible BioNLP event extraction services. BMC Bioinformatics , 12 481-. 10.1186/1471-2105-12-481.

Kanovich, M; Vauzeilles, J; (2011) Linear logic as a tool for planning under temporal uncertainty. Theoretical Computer Science , 412 (20) pp. 2072-2092. 10.1016/j.tcs.2010.12.027.

Kim, MH; Ritschel, T; Kautz, J; (2011) Edge-Aware Color Appearance. ACM T GRAPHIC , 30 (2) , Article 13. 10.1145/1944846.1944853.

Kirkland, S; Severini, S; (2011) Spin-system dynamics and fault detection in threshold networks. PHYS REV A , 83 (1) , Article 012310. 10.1103/PhysRevA.83.012310.

Kleinsmith, A; Bianchi-Berthouze, N; Steed, A; (2011) Automatic Recognition of Non-Acted Affective Postures. IEEE Trans. Systems, Man, and Cybernetics, Part B , 41 (4) pp. 1027-1038. 10.1109/TSMCB.2010.2103557.

Kokkinara, E; Oyekoya, O; Steed, A; (2011) Modelling selective visual attention for autonomous virtual characters. COMPUT ANIMAT VIRT W , 22 (4) 361 - 369. 10.1002/cav.425.

Kuchaiev, O; Przulj, N; (2011) Integrative network alignment reveals large regions of global network similarity in yeast and human. Bioinformatics , 27 (10) pp. 1390-1396. 10.1093/bioinformatics/btr127.

Kuchaiev, O; Stevanovic, A; Hayes, W; Przulj, N; (2011) GraphCruch 2: Software tool for network modeling, alignment and clustering. BMC Bioinformatics , 12 p. 24. 10.1186/1471-2105-12-24.

Kursawe, K; Danezis, G; Kohlweiss, M; (2011) Privacy-friendly aggregation for the smart-grid. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , 6794 L pp. 175-191. 10.1007/978-3-642-22263-4_10.

Langdon, WB; Arno, MJ; (2011) More Mouldy Data: Another mycoplasma gene jumps the silicon barrier into the human genome. ArXiv e-prints

Le Martelot, E; Bentley, PJ; (2011) Novel visualisation and analysis of natural and complex systems using systemic computation. INFORM VISUAL , 10 (1) 1 - 31. 10.1057/ivs.2010.8.

Lease, M; Carvalho, VR; Yilmaz, E; (2011) Crowdsourcing for search and data mining. SIGIR Forum , 45 (1) pp. 18-24. 10.1145/1988852.1988856.

Lease, M; Yilmaz, E; (2011) Crowdsourcing for information retrieval. SIGIR Forum , 45 (2) pp. 66-75. 10.1145/2093346.2093356.

Li, P; Lamare, RCD; Fa, R; (2011) Multiple Feedback Successive Interference Cancellation Detection for Multiuser MIMO Systems. IEEE Trans. Wireless Communications , 10 (8) pp. 2434-2439. 10.1109/TWC.2011.060811.101962.

Li, S; Lamare, RCD; Fa, R; (2011) Reduced-Rank Linear Interference Suppression for DS-UWB Systems Based on Switched Approximations of Adaptive Basis Functions. IEEE Trans. Vehicular Technology , 60 (2) pp. 485-497. 10.1109/TVT.2010.2090545.

Li, Y; Zheng, Q; Sharf, A; Cohen-Or, D; Chen, B; Mitra, NJ; (2011) 2D-3D fusion for layer decomposition of urban facades. Proceedings of the IEEE International Conference on Computer Vision 882 - 889.

Lise, S; Buchan, D; Pontil, M; Jones, DT; (2011) Predictions of Hot Spot Residues at Protein-Protein Interfaces Using Support Vector Machines. PLOS ONE , 6 (2) , Article e16774. 10.1371/journal.pone.0016774. Green open access
file

Livan, G; Alfarano, S; Scalas, E; (2011) Fine structure of spectral properties for random correlation matrices: An application to financial markets. Physical Review E - Statistical, Nonlinear, and Soft Matter Physics , 84 (1) 10.1103/PhysRevE.84.016113.

Livan, G; Vivo, P; (2011) Moments of wishart-laguerre and jacobi ensembles of random matrices: Application to the quantum transport problem in chaotic cavities. Acta Physica Polonica B , 42 (5) pp. 1081-1104. 10.5506/APhysPolB.42.1081.

Lladó, X; Del Bue, A; Oliver, A; Salvi, J; Agapito, L; (2011) Reconstruction of non-rigid 3D shapes from stereo-motion. Pattern Recognition Letters , 32 (7) pp. 1020-1028. 10.1016/j.patrec.2011.02.010.

Mahmood, S; Desmedt, Y; (2011) Preliminary Analysis of Google+'s Privacy. CoRR , abs/11

Makri, S; Blandford, A; Cox, AL; (2011) This is what I'm doing and why: Methodological reflections on a naturalistic think-aloud study of interactive information behaviour. INFORM PROCESS MANAG , 47 (3) pp. 336-348. 10.1016/j.ipm.2010.08.001.

Makri, S; Blandford, A; Cox, AL; Attfield, S; Warwick, C; (2011) Evaluating the Information Behaviour methods: Formative evaluations of two methods for assessing the functionality and usability of electronic information resources. INT J HUM-COMPUT ST , 69 (7-8) 455 - 482. 10.1016/j.ijhcs.2011.04.004.

Marchetto, A; Tiella, R; Tonella, P; Alshahwan, N; Harman, M; (2011) Crawlability metrics for automated web testing. International Journal on Software Tools for Technology Transfer , 13 (2) pp. 131-149. 10.1007/s10009-010-0177-3.

Martin, E; Behn, U; Germano, G; (2011) First-passage and first-exit times of a Bessel-like stochastic process. Physical Review E , 83 (5) , Article 051115. 10.1103/PhysRevE.83.051115.

Maurer, A; Pontil, M; (2011) Structured Sparsity and Generalization. CoRR , abs/1108.3476

McCrae, J; Singh, K; Mitra, NJ; (2011) Slices: A Shape-proxy Based on Planar Sections. ACM TRANSACTIONS ON GRAPHICS , 30 (6) 10.1145/2024156.2024202.

Mitra, NJ; Sorkine, O; Shamir, A; Tal, A; (2011) Special Issue: SHAPE MODELING INTERNATIONAL (SMI) CONFERENCE 2011 Preface. COMPUT GRAPH-UK , 35 (3) 441 - 442. 10.1016/j.cag.2011.04.003.

Mohan, PS; Soloviev, VY; Arridge, SR; (2011) Discontinuous Galerkin method for the forward modelling in optical diffusion tomography. INT J NUMER METH ENG , 85 (5) 562 - 574. 10.1002/nme.2974.

Mohan, PS; Tarvainen, T; Schweiger, M; Pulkkinen, A; Arridge, SR; (2011) Variable order spherical harmonic expansion scheme for the radiative transport equation using finite elements. J COMPUT PHYS , 230 (19) 7364 - 7383. 10.1016/j.jcp.2011.06.004.

Molina-Markham, A; Danezis, G; Fu, K; Shenoy, PJ; Irwin, DE; (2011) Designing Privacy-preserving Smart Meters with Low-cost Microcontrollers. IACR Cryptology ePrint Archive , 2011 p. 544.

Moravec, K; Cox, IJ; (2011) A comparison of extended fingerprint hashing and locality sensitive hashing for binary audio fingerprints. Proceedings of the 1st ACM International Conference on Multimedia Retrieval, ICMR'11 10.1145/1991996.1992027.

Mu, C; Clark, D; (2011) A tool: Quantitative analyser for programs. Proceedings of the 2011 8th International Conference on Quantitative Evaluation of Systems, QEST 2011 pp. 145-146. 10.1109/QEST.2011.25.

Nguyen, CD; Miles, S; Perini, A; Tonella, P; Harman, M; Luck, M; (2011) Evolutionary testing of autonomous software agents. Autonomous Agents and Multi-Agent Systems 1 - 24.

Normand, JM; Giannopoulos, E; Spanlang, B; Slater, M; (2011) Multisensory Stimulation Can Induce an Illusion of Larger Belly Size in Immersive Virtual Reality. PLOS ONE , 6 (1) , Article e16128. 10.1371/journal.pone.0016128. Green open access
file

Nugent, T; Ward, S; Jones, DT; (2011) The MEMPACK alpha-helical transmembrane protein structure prediction server. BIOINFORMATICS , 27 (10) 1438 - 1439. 10.1093/bioinformatics/btr096.

Nunes, RG; Drobnjak, I; Clare, S; Jezzard, P; Jenkinson, M; (2011) Performance of single spin-echo and doubly refocused diffusion-weighted sequences in the presence of eddy current fields with multiple components. MAGN RESON IMAGING , 29 (5) 659 - 667. 10.1016/j.mri.2011.02.015.

Otero, N; Milrad, M; Rogers, Y; Santos, AJ; Veríssimo, M; Torres, N; (2011) Challenges in designing seamless-learning scenarios: Affective and emotional effects on external representations. International Journal of Mobile Learning and Organisation , 5 (1) pp. 15-27. 10.1504/IJMLO.2011.038689.

Papas, M; Jarosz, W; Jakob, W; Rusinkiewicz, S; Matusik, W; Weyrich, T; (2011) Goal-Based Caustics. Computer Graphics Forum (Proc. Eurographics 2010) , 30 (2) pp. 503-511.

Patterson, DJ; Rogers, Y; Xie, X; Landay, J; Shi, Y; (2011) UbiComp'11 - Proceedings of the 2011 ACM Conference on Ubiquitous Computing: Foreword. UbiComp'11 - Proceedings of the 2011 ACM Conference on Ubiquitous Computing

Peel, L; (2011) Estimating Network Parameters for Selecting Community Detection Algorithms. Journal of Advances in Information Fusion , 6 (2) 119 - 130.

Przulj, N; (2011) Introduction to the Special Issue on Biological Networks. Internet Mathematics , 7 (4) pp. 207-208. 10.1080/15427951.2011.621769.

Quercia, D; Ellis, J; Capra, L; Crowcroft, J; (2011) In the mood being influential on twitter mood. Proceedings - 2011 IEEE International Conference on Privacy, Security, Risk and Trust and IEEE International Conference on Social Computing, PASSAT/SocialCom 2011 pp. 307-314. 10.1109/PASSAT/SocialCom.2011.27.

Rae, JP; Steptoe, W; Roberts, DJ; (2011) Some implications of eye gaze behavior and perception for the design of immersive telecommunication systems. Proceedings - IEEE International Symposium on Distributed Simulation and Real-Time Applications pp. 108-114. 10.1109/DS-RT.2011.37.

Rahman, F; Posnett, D; Hindle, A; Barr, E; Devanbu, P; (2011) BugCache for inspections : Hit or miss? SIGSOFT/FSE 2011 - Proceedings of the 19th ACM SIGSOFT Symposium on Foundations of Software Engineering pp. 322-331. 10.1145/2025113.2025157.

Raiciu, C; Barre, S; Pluntke, C; Greenhalgh, A; Wischik, D; Handley, M; (2011) Improving Datacenter Performance and Robustness with Multipath TCP. COMPUTER COMMUNICATION REVIEW , 41 (4) 266 - 277. 10.1145/2043164.2018467.

Ralph, JF; Oxtoby, NP; (2011) Quantum Filtering One Bit at a Time. Physical Review Letters , 107 (26) , Article 260503. 10.1103/PhysRevLett.107.260503. Green open access
file

Reid, CB; Betcke, MM; Chana, D; Speller, RD; (2011) The development of a pseudo-3D imaging system (tomosynthesis) for security screening of passenger baggage. Nuclear Instruments and Methods in Physics Research, Section A: Accelerators, Spectrometers, Detectors and Associated Equipment , 652 (1) pp. 108-111. 10.1016/j.nima.2010.08.081.

Riedel, S; Sãtre, R; Chun, HW; Takagi, T; Tsujii, J; (2011) Bio-molecular event extraction with Markov logic. Computational Intelligence , 27 (4) pp. 558-582. 10.1111/j.1467-8640.2011.00400.x.

Rogers, Y; (2011) Interaction design gone wild: Striving for wild theory. Interactions , 18 (4) pp. 58-62. 10.1145/1978822.1978834.

Russell, C; Setti, F; Agapito, L; (2011) Efficient second order multi-target tracking with exclusion constraints. BMVC 2011 - Proceedings of the British Machine Vision Conference 2011 10.5244/C.25.13.

Seldin, Y; Auer, P; Laviolette, F; Shawe-Taylor, J; Ortner, R; (2011) PAC-Bayesian analysis of contextual bandits. Advances in Neural Information Processing Systems 24: 25th Annual Conference on Neural Information Processing Systems 2011, NIPS 2011

Seldin, Y; Cesa-Bianchi, N; Auer, P; Laviolette, F; Shawe-Taylor, J; (2011) PAC-Bayes-Bernstein Inequality for Martingales and its Application to Multiarmed Bandits. CoRR , abs/1110.6755

Seldin, Y; Cesa-Bianchi, N; Laviolette, F; Auer, P; Shawe-Taylor, J; Peters, J; (2011) PAC-Bayesian Analysis of the Exploration-Exploitation Trade-off. CoRR , abs/1105.4585

Seldin, Y; Laviolette, F; Shawe-Taylor, J; Peters, J; Auer, P; (2011) PAC-Bayesian Analysis of Martingales and Multiarmed Bandits. CoRR , abs/1105.2416

Shen, Y; Grünewälder, S; Obermayer, K; (2011) A Unified Framework for Risk-sensitive Markov Decision Processes with Finite State and Action Spaces. CoRR , abs/11

Shmatikov, V; Danezis, G; (2011) CCS 2011 program chairs' welcome. Proceedings of the ACM Conference on Computer and Communications Security

Shokri, R; Theodorakopoulos, G; Danezis, G; Hubaux, JP; Le Boudec, JY; (2011) Quantifying location privacy: The case of sporadic location exposure. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , 6794 L pp. 57-76. 10.1007/978-3-642-22263-4_4.

Soloviev, VY; Arridge, SR; (2011) Fluorescence lifetime optical tomography in weakly scattering media in the presence of highly scattering inclusions. J OPT SOC AM A , 28 (7) 1513 - 1523.

Soloviev, VY; Bassi, A; Fieramonti, L; Valentini, G; D'Andrea, C; Arridge, SR; (2011) Angularly selective mesoscopic tomography. Phys Rev E Stat Nonlin Soft Matter Phys , 84 (5 Pt 1) 051915-. 10.1103/PhysRevE.84.051915.

Stoyanov, D; (2011) Surgical Vision. Annals of Biomedical Engineering pp. 1-14.

Suzuki, T; Uchiyama, H; Holloway, C; Tyler, N; (2011) Load on shoulder and elbow joints during autonomous hand-cycling. Journal of Biomechanical Science and Engineering , 6 (4) pp. 236-247. 10.1299/jbse.6.236.

Szomszor, M; Kostkova, P; (2011) Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering: Preface. Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering , 69 LNI

Szomszor, M; Kostkova, P; Cattuto, C; Van Den Broeck, W; Barrat, A; Alani, H; (2011) Providing enhanced social interaction services for industry exhibitors at large medical conferences. Proceedings - 4th International Conference on Developments in eSystems Engineering, DeSE 2011 pp. 42-45. 10.1109/DeSE.2011.113.

Tarvainen, T; Kolehmainen, V; Arridge, SR; Kaipio, JP; (2011) Image reconstruction in diffuse optical tomography using the coupled radiative transport-diffusion model. J QUANT SPECTROSC RA , 112 (16) 2600 - 2608. 10.1016/j.jqsrt.2011.07.008.

Todd, PM; Rogers, Y; Payne, SJ; (2011) Nudging the trolley in the supermarket: How to deliver the right information to shoppers. International Journal of Mobile Human Computer Interaction , 3 (2) pp. 20-34. 10.4018/jmhci.2011040102.

Treude, C; Storey, M-AD; Deursen, AV; Begel, A; Black, S; (2011) Workshop report from Web2SE 2011: 2nd international workshop on web 2.0 for software engineering. ACM SIGSOFT Software Engineering Notes , 36 (5) pp. 24-29. 10.1145/2020976.2020977.

Troncoso, C; Danezis, G; Kosta, E; Balasch, J; Preneel, B; (2011) PriPAYD: Privacy-friendly pay-as-you-drive insurance. IEEE Transactions on Dependable and Secure Computing , 8 (5) pp. 742-755. 10.1109/TDSC.2010.71.

Tsai, Y; Rose, C; Song, R; Mian, IS; (2011) An additive exponential noise channel with a transmission deadline. IEEE International Symposium on Information Theory - Proceedings pp. 718-722. 10.1109/ISIT.2011.6034227.

Veness, J; Ng, KS; Hutter, M; Uther, WTB; Silver, D; (2011) A Monte-Carlo AIXI Approximation. J. Artif. Intell. Res. (JAIR) , 40 pp. 95-142. 10.1613/jair.3125.

Welling, U; Germano, G; (2011) Efficiency of linked cell algorithms. Computer Physics Communications , 182 (3) pp. 611-615. 10.1016/j.cpc.2010.11.002. Green open access
file

Wells, JCK; Charoensiriwath, S; Treleaven, P; (2011) Reproduction, Aging, and Body Shape by Three-Dimensional Photonic Scanning in Thai Men and Women. AM J HUM BIOL , 23 (3) 291 - 298. 10.1002/ajhb.21151.

Xiao, K; Fu, C; Mylonas, D; Karatzas, D; Wuerger, S; (2011) Unique hue data for colour appearance models. Part II: Chromatic adaptation transform. Color Research and Application

Xu, F; Liu, Y; Stoll, C; Tompkin, J; Bharaj, G; Dai, Q; Seidel, H-P; (2011) Video-based Characters - Creating New Human Performances from a Multi-view Video Database. ACM TRANSACTIONS ON GRAPHICS , 30 (4) 10.1145/1964921.1964927.

Yang, Q; Desmedt, Y; (2011) Efficient 2-Round General Perfectly Secure Message Transmission: A Minor Correction to Yang and Desmedt's Protocol. IACR Cryptology ePrint Archive , 2011 p. 265.

Yang, Y-L; Yang, Y-J; Pottmann, H; Mitra, NJ; (2011) Shape Space Exploration of Constrained Meshes. ACM TRANSACTIONS ON GRAPHICS , 30 (6) 10.1145/2024156.2024158.

Yoshikawa, K; Hirao, T; Riedel, S; Asahara, M; Matsumoto, Y; (2011) Coreference based event extraction on biomedical text. Transactions of the Japanese Society for Artificial Intelligence , 26 (2) pp. 318-323. 10.1527/tjsai.26.318. Gold open access

Yoshikawa, K; Riedel, S; Hirao, T; Asahara, M; Matsumoto, Y; (2011) Coreference based event-argument relation extraction on biomedical text. J Biomed Semantics , 2 Supp S6-. 10.1186/2041-1480-2-S5-S6.

Yoshikawa, K; Riedel, S; Hirao, T; Asahara, M; Matsumoto, Y; (2011) Coreference based event-argument relation extraction on biomedical text. J. Biomedical Semantics , 2 (S-5) S6-S6.

Zhang, GQ; Quoitin, B; Zhou, S; (2011) Phase changes in the evolution of the IPv4 and IPv6 AS-Level Internet topologies. COMPUT COMMUN , 34 (5) 649 - 657. 10.1016/j.comcom.2010.06.004.

Zhang, GQ; Zhou, S; Wang, D; Yan, G; Zhang, GQ; (2011) Enhancing network transmission capacity by efficiently allocating node capability. PHYSICA A , 390 (2) 387 - 391. 10.1016/j.physa.2010.09.022.

Zhang, H; Dyrby, TB; Alexander, DC; (2011) Axon diameter mapping in crossing fibers with diffusion MRI. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , 6892 L (PART 2) pp. 82-89. 10.1007/978-3-642-23629-7_11.

Zhang, H; Hubbard, PL; Parker, GJM; Alexander, DC; (2011) Axon diameter mapping in the presence of orientation dispersion with diffusion MRI. NEUROIMAGE , 56 (3) 1301 - 1315. 10.1016/j.neuroimage.2011.01.084.

Zhang, H; Hubbard, PL; Parker, GJM; Alexander, DC; (2011) Axon diameter mapping in the presence of orientation dispersion with diffusion MRI. NeuroImage , 56 (3) pp. 1301-1315. 10.1016/j.neuroimage.2011.01.084.

Zhang, YY; Harman, M; Finkelstein, A; Mansouri, SA; (2011) Comparing the performance of metaheuristics for the analysis of multi-stakeholder tradeoffs in requirements optimisation. INFORM SOFTWARE TECH , 53 (7) pp. 761-773. 10.1016/j.infsof.2011.02.001.

Zhao, K; Halu, A; Severini, S; Bianconi, G; (2011) Entropy rate of nonequilibrium growing networks. Phys Rev E Stat Nonlin Soft Matter Phys , 84 (6 Pt 2) 066113-. 10.1103/PhysRevE.84.066113.

Zhao, LY; Zhaoping, L; (2011) Understanding Auditory Spectro-Temporal Receptive Fields and Their Changes with Input Statistics by Efficient Coding Principles. PLoS Computational Biology , 7 (8) , Article e1002123. 10.1371/journal.pcbi.1002123. Green open access
file

Zhaoping, L; Frith, U; (2011) A Clash of Bottom-Up and Top-Down Processes in Visual Search: The Reversed Letter Effect Revisited. J EXP PSYCHOL HUMAN , 37 (4) 997 - 1006. 10.1037/a0023099.

Book

Rogers, Y; Sharp, H; Preece, J; (2011) Interaction Design: Beyond Human-Computer Interaction. (3rd ed.). John Wiley

Book chapter

Bahsoon, R; Emmerich, W; (2011) Economics-driven Architecting for Non-functional Requirements in the Presence of Middleware. In: Relating Software Requirements and Architectures. Springer

CLACK, C; (2011) High frequency trading - bugs, glitches, false liquidity and open warfare. In: Kaur, P, (ed.) Buy-side intelligence - the Euromoney guide to securities trading. (21 - 26). Euromoney Trading Limited

COURTOIS, N; (2011) Self-similarity Attacks on Block Ciphers and Application to KeeLoq. In: Naccache, D, (ed.) Quisquater Festschrift. (In press).

Desmedt, Y; (2011) Access Structure. In: Tilborg, HCAV and Jajodia, S, (eds.) Encyclopedia of Cryptography and Security (2nd Ed.). (p. 20). Springer

Desmedt, Y; (2011) Covert Channels. In: Tilborg, HCAV and Jajodia, S, (eds.) Encyclopedia of Cryptography and Security (2nd Ed.). (pp. 265-266). Springer

Desmedt, Y; (2011) Deniable Encryption. In: Tilborg, HCAV and Jajodia, S, (eds.) Encyclopedia of Cryptography and Security (2nd Ed.). (pp. 322-323). Springer

Desmedt, Y; (2011) ElGamal Public Key Encryption. In: Tilborg, HCAV and Jajodia, S, (eds.) Encyclopedia of Cryptography and Security (2nd Ed.). (p. 396). Springer

Desmedt, Y; (2011) Fiat-Shamir Identification Protocol and the Feige-Fiat-Shamir Signature Scheme. In: Tilborg, HCAV and Jajodia, S, (eds.) Encyclopedia of Cryptography and Security (2nd Ed.). (pp. 457-458). Springer

Desmedt, Y; (2011) Knapsack Cryptographic Schemes. In: Tilborg, HCAV and Jajodia, S, (eds.) Encyclopedia of Cryptography and Security (2nd Ed.). (pp. 695-704). Springer

Desmedt, Y; (2011) Man-in-the-Middle Attack. In: Tilborg, HCAV and Jajodia, S, (eds.) Encyclopedia of Cryptography and Security (2nd Ed.). (p. 759). Springer

Desmedt, Y; (2011) Relay Attack. In: Tilborg, HCAV and Jajodia, S, (eds.) Encyclopedia of Cryptography and Security (2nd Ed.). (p. 1042). Springer

Desmedt, Y; (2011) Station-to-Station Protocol. In: Tilborg, HCAV and Jajodia, S, (eds.) Encyclopedia of Cryptography and Security (2nd Ed.). (p. 1256). Springer

Desmedt, Y; (2011) Threshold Cryptography. In: Tilborg, HCAV and Jajodia, S, (eds.) Encyclopedia of Cryptography and Security (2nd Ed.). (pp. 1288-1293). Springer

Desmedt, Y; (2011) Trojan Horses, Computer Viruses, and Worms. In: Tilborg, HCAV and Jajodia, S, (eds.) Encyclopedia of Cryptography and Security (2nd Ed.). (pp. 1319-1320). Springer

Desmedt, Y; Jakimoski, G; (2011) Broadcast Authentication from an Information Theoretic Perspective. In: Tilborg, HCAV and Jajodia, S, (eds.) Encyclopedia of Cryptography and Security (2nd Ed.). (pp. 170-171). Springer

Desmedt, Y; Jakimoski, G; (2011) Stream and Multicast Authentication. In: Tilborg, HCAV and Jajodia, S, (eds.) Encyclopedia of Cryptography and Security (2nd Ed.). (pp. 1260-1263). Springer

Desmedt, Y; Yang, Q; (2011) Perfectly Secure Message Transmission. In: Tilborg, HCAV and Jajodia, S, (eds.) Encyclopedia of Cryptography and Security (2nd Ed.). (pp. 922-924). Springer

GOLD, N; RINK, J; SPIRO, N; (2011) Motive, gesture, and the analysis of performance. In: Gritten, A and King, E, (eds.) New Perspectives on Music and Gesture. (? - ?).

Lim, SL; Finkelstein, A; (2011) Anticipating Change in Requirements Engineering. In: Avgeriou, P and Grundy, J and Hall, JG and Lago, P and Mistrík, I, (eds.) Relating Software Requirements and Architectures. (pp. 17-34). Springer

Zhang, H; Dyrby, TB; Alexander, DC; (2011) Axon diameter mapping in crossing fibers with diffusion MRI. In: UNSPECIFIED (pp. 82-89).

Proceedings paper

(2011) Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011. In: Chen, Y and Danezis, G and Shmatikov, V, (eds.) ACM Conference on Computer and Communications Security. ACM

(2011) JVRC11: Joint Virtual Reality Conference of EGVE - EuroVR, Nottingham, UK, 2011. Proceedings. In: Coquillart, S and Steed, A and Welch, G, (eds.) EGVE/EuroVR. Eurographics Association

(2011) Theory of Quantum Computation, Communication, and Cryptography - 5th Conference, TQC 2010, Leeds, UK, April 13-15, 2010, Revised Selected Papers. In: Dam, WV and Kendon, VM and Severini, S, (eds.) TCQ. Springer

(2011) CIGPU 2011 Computational Intelligence on Consumer Games and Graphics Hardware. In: Harding, S and Langdon, WB and Lewis, T and Wong, ML and Wilson, G, (eds.) ACM: Dublin.

(2011) UbiComp 2011: Ubiquitous Computing, 13th International Conference, UbiComp 2011, Beijing, China, September 17-21, 2011, Proceedings. In: Landay, JA and Shi, Y and Patterson, DJ and Rogers, Y and Xie, X, (eds.) UbiComp. ACM

(2011) Advances in Neural Information Processing Systems 24: 25th Annual Conference on Neural Information Processing Systems 2011. Proceedings of a meeting held 12-14 December 2011, Granada, Spain. In: Shawe-Taylor, J and Zemel, RS and Bartlett, PL and Pereira, FCN and Weinberger, KQ, (eds.) NIPS.

Aidemark, J; Askenäs, L; (2011) Patient-Centered Care as a Learning Process. In: Kostkova, P and Szomszor, M and Fowler, D, (eds.) (pp. pp. 85-92). Springer

Alves, B; Schumacher, M; (2011) An Agile Methodology for IHE-Enabled Deployments. In: Kostkova, P and Szomszor, M and Fowler, D, (eds.) (pp. pp. 17-25). Springer

BEEHAREE, AK; Fremont, G; Grazzini, S; Vaccaro, A; Rodriguez, JL; (2011) Cooperative End to End User Services in SafeTRIP. In: Proceedings of 8th ITS European Congress.

BEEHAREE, AK; Niemann, B; Titomanlio, S; Grau, G; (2011) SafeTRIP - A Green Architecture for an Open ITS Platform. In: Proceedings of 8th ITS European Congress.

BETCKE, M; LIONHEART, W; (2011) Two-Sheet Surface Rebinning Algorithm for Real Time Cone Beam Tomography. In: Proceedings of 11th International Meeting on Fully Three-Dimensional Image Reconstruction in Radiology and Nuclear Medicine.

Baldwin, A; Pym, D; Sadler, M; Shiu, S; (2011) Information stewardship in cloud ecosystems: Towards models, economics, and delivery. In: (pp. pp. 784-791).

Beeharee, AK; Laqua, S; Sasse, A; (2011) Navigating haystacks at 70mph: intelligent search for intelligent in-car services. In: (Proceedings) 3rd International Multimodal Interfaces for Automobile Applications (MIAA) workshop at IUI 2011. Green open access
file

Beijnum, B-JV; Pawar, P; Elloumi, L; Hermens, HJ; (2011) Towards Delivering Disease Support Processes for Patient Empowerment Using Mobile Virtual Communities. In: Kostkova, P and Szomszor, M and Fowler, D, (eds.) (pp. pp. 158-161). Springer

Bentley, PJ; (2011) Natural Born Computing. In: Kotásek, Z and Bouda, J and Cerná, I and Sekanina, L and Vojnar, T and Antos, D, (eds.) MEMICS. (pp. 20 - 36). Springer

Berdine, J; Cook, B; Ishtiaq, S; (2011) SLAyer: Memory Safety for Systems-Level Code. In: Gopalakrishnan, G and Qadeer, S, (eds.) (pp. pp. 178-183). Springer

Betkaoui, B; Thomas, DB; Luk, W; Przulj, N; (2011) A framework for FPGA acceleration of large graph problems: Graphlet counting case study. In: Tessier, R, (ed.) (pp. pp. 1-8). IEEE

Blandford, A; De Pietro, G; Gallo, L; Gimblett, A; Oladimeji, P; Thimbleby, H; (2011) Engineering interactive computer systems for medicine and healthcare (EICS4Med). In: (pp. pp. 341-342).

Bracegirdle, C; Barber, D; (2011) Switch-reset models: Exact and approximate inference. In: (pp. pp. 190-198). Gold open access

Branavan, SRK; Silver, D; Barzilay, R; (2011) Learning to win by reading manuals in a Monte-Carlo framework. In: (pp. pp. 268-277).

Branavan, SRK; Silver, D; Barzilay, R; (2011) Non-linear Monte-Carlo search in civilization II. In: (pp. pp. 2404-2410).

Brogni, A; Caldwell, DG; Slater, M; (2011) Touching sharp virtual objects produces a haptic illusion. In: (pp. pp. 234-242).

Brotherston, J; Distefano, D; Petersen, RL; (2011) Automated cyclic entailment proofs in separation logic. In: (pp. pp. 131-146).

Brumby, DP; Davies, SCE; Janssen, CP; Grace, JJ; (2011) Fast or safe? How performance objectives determine modality output choices while interacting on the move. In: (pp. pp. 473-482).

Bursa, M; Lhotská, L; Chudácek, V; Huptych, M; Spilka, J; Janku, P; Huser, M; (2011) Obstetric Medical Record Processing and Information Retrieval. In: Kostkova, P and Szomszor, M and Fowler, D, (eds.) (pp. pp. 26-33). Springer

Böhmer, W; Grünewälder, S; Nickisch, H; Obermayer, K; (2011) Regularized Sparse Kernel Slow Feature Analysis. In: Gunopulos, D and Hofmann, T and Malerba, D and Vazirgiannis, M, (eds.) ECML/PKDD (1). (pp. 235 - 248). Springer

COURTOIS, N; Hulme, D; Mourouzis, T; (2011) Solving Optimisation Problems in Cryptography, Its Implementation and Cryptanalysis,. In: CD-ROM and web proceedings of 2nd IMA Mathematics in Defence 2011. Institute of Mathematics and its Applications (In press).

Campbell, NDF; Vogiatzis, G; Hernández, C; Cipolla, R; (2011) Automatic Object Segmentation from Calibrated Images. In: CVMP 2011: The Eighth European Conference on Visual Media Production. (pp. pp. 126-137). IEEE: USA. Green open access
file

Cazals, F; Malod-Dognin, N; (2011) Shape Matching by Localized Calculations of Quasi-Isometric Subsets, with Applications to the Comparison of Protein Binding Patches. In: Loog, M and Wessels, LFA and Reinders, MJT and Ridder, DD, (eds.) (pp. pp. 272-283). Springer

Challis, E; Barber, D; (2011) Concave Gaussian variational approximations for inference in large-scale Bayesian linear models. In: Gordon, G and Dunson, D, (eds.) Proceedings of the Fourteenth International Conference on Artificial Intelligence and Statistics. (pp. 199 - 207). Journal of Machine Learning Research Green open access
file

Charpentier, A; Fontaine, C; Furon, T; Cox, IJ; (2011) An Asymmetric Fingerprinting Scheme Based on Tardos Codes. In: Filler, T and Pevný, T and Craver, S and Ker, AD, (eds.) Information Hiding. (pp. 43 - 58). Springer

Chen, J-R; Steed, A; (2011) Planning Plausible Human Animation with Environment-Aware Motion Sampling. In: Allbeck, JM and Faloutsos, P, (eds.) MIG. (pp. 51 - 62). Springer

Cheng, J; Ghosh, A; Jiang, T; Deriche, R; (2011) Diffeomorphism Invariant Riemannian Framework for Ensemble Average Propagator Computing. In: Fichtinger, G and Martel, AL and Peters, TM, (eds.) (pp. pp. 98-106). Springer

Clancy, NT; Stoyanov, D; Yang, GZ; Elson, DS; (2011) An endoscopic structured lighting probe using spectral encoding. In: Sterenborg, HJCM and Vitkin, IA, (eds.) NOVEL BIOPHOTONIC TECHNIQUES AND APPLICATIONS. (pp. ? - ?). SPIE-INT SOC OPTICAL ENGINEERING

Clark, H; Kirsh, D; Goldin-Meadow, S; Rogers, Y; (2011) Interactivity and Thought. In: (Proceedings) Proceedings of Cognitive Science Conference’11.. (pp. 290 - 291).

Clarkson, MJ; Modat, M; Han, L; Ourselin, S; Hawkes, DJ; Alexander, DC; Cardoso, MJ; (2011) The UCL Centre for Medical Image Computing (CMIC): An integrated suite of open source software tools to support imaging research in Neurosciences, Oncology and Cardiovascular Sciences. In: (Proceedings) ECR 2011 EIBIR IMAGINE workshop..

Coleman, A; Herselman, M; Potass, D; (2011) E-Health Readiness Assessment for E-Health Framework for Africa: A Case Study of Hospitals in South Africa. In: Kostkova, P and Szomszor, M and Fowler, D, (eds.) (pp. pp. 162-169). Springer

Collier, N; Doan, S; (2011) Syndromic Classification of Twitter Messages. In: Kostkova, P and Szomszor, M and Fowler, D, (eds.) (pp. pp. 186-195). Springer

Cook, B; (2011) Advances in Proving Program Termination and Liveness. In: Bjørner, N and Sofronie-Stokkermans, V, (eds.) (pp. p. 4). Springer

Cook, B; Fisher, J; Krepska, E; Piterman, N; (2011) Proving Stabilization of Biological Systems. In: Jhala, R and Schmidt, DA, (eds.) VMCAI. (pp. 134 - 149). Springer

Cook, B; Koskinen, E; (2011) Making prophecies with decision predicates. In: Ball, T and Sagiv, M, (eds.) POPL. (pp. 399 - 410). ACM

Cook, B; Koskinen, E; Vardi, MY; (2011) Temporal Property Verification as a Program Analysis Task. In: Gopalakrishnan, G and Qadeer, S, (eds.) CAV. (pp. 333 - 348). Springer

Coughlan, T; Adams, A; Rogers, Y; Davies, SJ; (2011) Enabling live dialogic and collaborative learning between field and indoor contexts. In: (pp. pp. 88-98).

Courtois, N; Misztal, M; (2011) First Differential Attack on Full 32-Round GOST. In: Qing, S and Susilo, W and Wang, G and Liu, D, (eds.) ICICS. (pp. 216 - 227). Springer

Courtois, N; Mourouzis, T; (2011) Black-box Collision Attacks on the Compression Function of the GOST Hash Function. In: Lopez, J and Samarati, P, (eds.) SECRYPT. (pp. 325 - 332). SciTePress

Courtois, NT; Bard, GV; (2011) Random Permutation Statistics and An Improved Slide-Determine Attack on KeeLoq. In: Naccache, D, (ed.) Festschrift Jean-Jacques Quisquater. Springer-Verlag: Berlin/Heidelberg, Germany. (In press). Green open access
file

Cox, IJ; Hosseini, M; Milic-Frayling, N; Sweeting, T; Vinay, V; (2011) Prioritizing relevance judgments to improve the construction of IR test collections. In: Proceedings of the 20th ACM international conference on Information and knowledge management. (pp. 641 - 646). ACM

Dan, H; Hierons, RM; (2011) Conformance Testing from Message Sequence Charts. In: Proceedings of the 4th IEEE International Conference on Software Testing, Verification and Validation. (pp. 279 - 288).

De Quincey, E; Kostkova, P; Jawaheer, G; (2011) Promoting e-health resources: Lessons learned. In: (pp. pp. 103-110).

Dillig, I; Dillig, T; Aiken, A; (2011) Precise reasoning for programs using containers. In: (pp. pp. 187-200).

Dillig, I; Dillig, T; Aiken, A; Sagiv, M; (2011) Precise and compact modular procedure summaries for heap manipulating programs. In: (pp. pp. 567-577).

Doan, S; Vo, B-KH; Collier, N; (2011) An Analysis of Twitter Messages in the 2011 Tohoku Earthquake. In: Kostkova, P and Szomszor, M and Fowler, D, (eds.) (pp. pp. 58-66). Springer

Duan, R; Severini, S; Winter, A; IEEE, ; (2011) Zero-error communication via quantum channels and a quantum Lovasz theta-function. In: (pp. pp. 64-68).

Eiring, Ø; Slaughter, L; (2011) An Assessment of the Potential for Personalization in Patient Decision Aids. In: Kostkova, P and Szomszor, M and Fowler, D, (eds.) (pp. pp. 51-57). Springer

Farmer, G; Janssen, CP; Brumby, DP; (2011) How Long Have I Got? Making Optimal Visit Durations in a Dual-Task Setting. In: Carlson, LA and Hölscher, C and Shipley, TF, (eds.) cognitivesciencesociety.org

Fernando, J; Peters, N; (2011) Wireless Computer Games and Applications in the Medical Education Curriculum: Adventures in Pedagogy. In: Kostkova, P and Szomszor, M and Fowler, D, (eds.) (pp. pp. 93-96). Springer

Finkelstein, A; (2011) Ten Open Challenges at the Boundaries of Software Engineering and Information Systems. In: Mouratidis, H and Rolland, C, (eds.) (pp. p. 1). Springer

Finkelstein, A; (2011) Keynote: Engineering Challenges of New Business Models in Software. In: Regnell, B and VanDeWeerd, I and DeTroyer, O, (eds.) SOFTWARE BUSINESS. (pp. 1 - 1). SPRINGER-VERLAG BERLIN

Furniss, D; Blandford, A; Curzon, P; (2011) Confessions from a Grounded Theory PhD: Experiences and lessons learnt. In: (pp. pp. 113-122).

Furniss, D; Blandford, AE; Rajkomar, A; Vincent, C; Mayer, A; (2011) The visible and the invisible: Distributed Cognition for medical devices. In: Blandford, A and De Pietro, G and Gallo, L and Gimblett, A and Oladimeji, P and Thimbleby, H, (eds.) EICS4Med 2011: Proceedings of the 1st International Workshop on Engineering Interactive Computing Systems for Medicine and Health Care: Pisa, Italy: June, 2011. (pp. pp. 1-6). CEUR Green open access
file

Furniss, DJ; Blandford, A; Mayer, A; (2011) Unremarkable errors: low-level disturbances in infusion pump use. In: Proceedings of the 25th British Computer Society Conference on Human-Computer Interaction, BCS-HCI 2011, Newcastle Upon Tyne, United Kingdom, 4-8 July 2011. (pp. pp. 197-204). BCS: Swindon, UK. Green open access
file

Gattnar, E; Ekinci, O; Detschew, V; (2011) Health Care Performance Monitoring Using an Inpatient Reference Process Model and Clinical KPIs. In: Kostkova, P and Szomszor, M and Fowler, D, (eds.) (pp. pp. 34-42). Springer

Gergondet, P; Druon, S; Kheddar, A; Hintermüller, C; Guger, C; Slater, M; (2011) Using brain-computer interface to steer a humanoid robot. In: (pp. pp. 192-197).

Ghosh, A; Deriche, R; (2011) Extracting geometrical features & peak fractional anisotropy from the ODF for white matter characterization. In: (pp. pp. 266-271). IEEE

Ghosh, A; Wassermann, D; Deriche, R; (2011) A Polynomial Approach for Maxima Extraction and Its Application to Tractography in HARDI. In: Székely, G and Hahn, HK, (eds.) (pp. pp. 723-734). Springer

Gold, N; (2011) Knitting music and programming: Reflections on the frontiers of source code analysis. In: 2011 11th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM). (pp. 10 - 14). IEEE Green open access
file

Gold, N; Krinke, J; Harman, M; Binkley, D; (2011) Cloning in Max/MSP Patches. In: Michigan Publishing

Gold, NE; Dannenberg, RB; (2011) A Reference Architecture and Score Representation for Popular Music Human-Computer Music Performance Systems. In: Jensenius, AR and Tveit, A and Godøy, RI and Overholt, D, (eds.) Proceedings of the International Conference on New Interfaces for Musical Expression, 30 May - 1 June 2011, Oslo, Norway. (pp. 36 - 39). Department of Musicology, University of Oslo / Norwegian Academy of Music: Oslo, Norway. Green open access
file

Gorse, D; (2011) Application of stochastic recurrent reinforcement learning to index trading. In: ESANN 2011 proceedings, European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning. ESANN Green open access
file

Guy, S; Ratzki-Leewing, A; Bahati, RM; Gwadry-Sridhar, F; (2011) Social Media: A Systematic Review to Understand the Evidence and Application in Infodemiology. In: Kostkova, P and Szomszor, M and Fowler, D, (eds.) (pp. pp. 1-8). Springer

Guy, S; Ratzki-Leewing, A; Gwadry-Sridhar, F; (2011) Evaluation of a Web-Based Patient Portal for Chronic Disease Management. In: Kostkova, P and Szomszor, M and Fowler, D, (eds.) (pp. pp. 114-121). Springer

Handley, MJ; Raiciu, C; Niculescu, D; Braun, M; (2011) Opportunistic Mobility with Multipath TCP. In: (Proceedings) ACM MobiArch 2011.

Harman, M; (2011) The SBSE Approach to Automated Optimization of Verification and Testing. In: Namjoshi, K and Zeller, A and Ziv, A, (eds.) HARDWARE AND SOFTWARE: VERIFICATION AND TESTING. (pp. 3 - 3). SPRINGER-VERLAG BERLIN

Hoare, CAR; Hussain, A; Möller, B; O'Hearn, PW; Petersen, RL; Struth, G; (2011) On Locality and the Exchange Law for Concurrent Processes. In: Katoen, J-P and König, B, (eds.) CONCUR. (pp. 250 - 264). Springer

Huang, H; Ruksenas, R; Ament, M; Curzon, P; Cox, AL; Blandford, A; Brumby, DP; (2011) Capturing the distinction between task and device errors in a formal model of user behaviour. In: ECEASST.

Huang, J; Boubekeur, T; Ritschel, T; Holländer, M; Eisemann, E; (2011) Separable Approximation of Ambient Occlusion. In: Avis, N and Lefebvre, S, (eds.) (pp. pp. 29-32). Eurographics Association

Humayun, A; Mac Aodha, O; Brostow, GJ; (2011) Learning to Find Occlusion Regions. In: 2011 IEEE CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION (CVPR). (pp. ? - ?). IEEE

Hunter, RF; Davis, M; Tully, MA; Kee, F; (2011) The Physical Activity Loyalty Card Scheme: Development and Application of a Novel System for Incentivizing Behaviour Change. In: Kostkova, P and Szomszor, M and Fowler, D, (eds.) (pp. pp. 170-177). Springer

Inglesant, P; Sasse, MA; (2011) Information security as organizational power: A framework for re-thinking security policies. In: 1st Workshop on Socio-Technical Aspects in Security and Trust (STAST). (pp. 9 - 16). IEEE Green open access
file

Jennett, C; Brostoff, S; Malheiros, M; Sasse, MA; (2011) Investigating loan applicants' perceptions of alternative data items and the effect of incentives on disclosure. In: Privacy and Usability Methods Pow-wow (PUMP) 2010: Proceedings. British Computer Society (In press). Green open access
file

Jennings, B; Finkelstein, A; (2011) Implicit Social Production: Utilising Socially Generated Data By-Products. In: ZurMuehlen, M and Su, JW, (eds.) BUSINESS PROCESS MANAGEMENT WORKSHOPS. (pp. 359 - 371). SPRINGER-VERLAG BERLIN

Jeong, W-K; Johnson, MK; Yu, I; Kautz, J; Pfister, H; Paris, S; (2011) Display-aware Image Editing. In: International Conference on Computational Photography.

Jeong, WK; Johnson, MK; Yu, I; Kautz, J; Pfister, H; Paris, S; (2011) Display-aware image editing. In:

Jhawar, R; Inglesant, P; Courtois, N; Sasse, MA; (2011) Make mine a quadruple: Strengthening the security of graphical one-time PIN authentication. In: (pp. pp. 81-88). Green open access
file

Jia, K; Desmedt, Y; Han, L; Wang, X; (2011) Pseudo-cryptanalysis of Luffa. In: (pp. pp. 187-198).

Johnson, R; O'Hara, K; Sellen, A; Cousins, C; Criminisi, C; (2011) Exploring the Potential for Touchless Interaction in Image-Guided Interventional Radiology. In: 29th International Conference on Human Factors in Computing Systems. ACM CHI 2011. (pp. 3323 - 3332). ACM Press

KWON, J; Hailes, S; (2011) A Pragmatic Approach to Component-Based Control Software Reuse – Dealing with Dynamic, Non-Functional Adaptation Issues. In: Proceedings of the 2011 IEEE International Conference on Computer Control and Automation(ICCCA 2011). IEEE: US. (In press).

Kasneci, G; Van Gael, J; Stern, D; Graepel, T; (2011) CoBayes: Bayesian knowledge corroboration with assessors of unknown areas of expertise. In: (pp. pp. 465-474).

Kostkova, P; Szomszor, M; (2011) The FEM wiki project: A conversion of a training resource for field epidemiologists into a collaborative web 2.0 portal. In: (pp. pp. 119-126).

Krampf, J; Bromuri, S; Schumacher, MI; Ruiz, J; (2011) An Agent Based Pervasive Healthcare System: A First Scalability Study. In: Kostkova, P and Szomszor, M and Fowler, D, (eds.) (pp. pp. 128-137). Springer

Krinke, J; (2011) Is cloned code older than non-cloned code? In: (pp. pp. 28-33).

Kumar, S; Liu, G; Srinivasan, MA; (2011) Flexible membrane tactile sensor for contact traction distribution measurement on a microscale. In: (pp. pp. 627-632).

Kunz, N; Zhang, H; O'brien, KR; Assaf, Y; Alexander, DC; Lazeyras, F; Hüppi1, PS; (2011) Probing microstructural information using the CHARMED model in the non-myelinated human newborn brain at 3T. In: Abbott, DF and Ackermann, JH, (eds.) Proceedings of the International Society for Magnetic Resonance in Medicine (ISMRM 2011): 19th Annual Meeting and Exhibition. (pp. 2489 - 2489). ISMRM: Berkeley, US. Green open access
file

Küssner, M; Gold, NE; Tidhar, D; Prior, HM; Leech-Wilkinson, D; (2011) Synaesthetic Traces: Digital Acquisition of Musical Shapes. In: Proceedings of Supporting Digital Humanities 2011.

Lagani, V; Kontogiannis, V; Argyropaidas, P; Chronaki, CE; (2011) Use of SMS for Tsunami Early Warnings at a Table Top Exercise. In: Kostkova, P and Szomszor, M and Fowler, D, (eds.) (pp. pp. 76-79). Springer

Lahav, O; Schloerb, DW; Srinivasan, MA; (2011) Virtual environment support orientation skills of newly blind. In:

Langdon, WB; (2011) Debugging CUDA. In: (pp. pp. 415-422).

Laqua, S; Sasse, MA; Greenspan, S; Gates, C; (2011) Do you knowdis? A user study of a knowledge discovery tool for organizations. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. (pp. 2887 - 2896). ACM Green open access
file

Lathia, N; Capra, L; (2011) How smart is your smartcard? Measuring travel behaviours, perceptions, and incentives. In: (pp. pp. 291-300).

Lathia, N; Capra, L; (2011) Mining mobility data to minimise travellers'spending on public transport. In: (pp. pp. 1181-1189).

Lathia, N; Quercia, D; Capra, L; Crowcroft, J; (2011) Recsys'11 workshop outline PeMA 2011: personalization in mobile applications. In: Mobasher, B and Burke, RD and Jannach, D and Adomavicius, G, (eds.) (pp. pp. 391-392). ACM

Li, Y; Oladimeji, P; Monroy, C; Cauchi, A; Thimbleby, H; Furniss, D; Vincent, C; (2011) Design of interactive medical devices: Feedback and its improvement. In: ITME 2011 - Proceedings: 2011 IEEE International Symposium on IT in Medicine and Education. (pp. 204 - 208). IEEE: Piscataway, US. Green open access
file

Li, Y; Zheng, Q; Sharf, A; Cohen-Or, D; Chen, B; Mitra, NJ; (2011) 2D-3D fusion for layer decomposition of urban facades. In: (pp. pp. 882-889).

Linge, JP; Mantero, J; Fuart, F; Belyaeva, J; Atkinson, M; Goot, EVD; (2011) Tracking Media Reports on the Shiga Toxin-Producing Escherichia coli O104: H4 Outbreak in Germany. In: Kostkova, P and Szomszor, M and Fowler, D, (eds.) (pp. pp. 178-185). Springer

Lovas, T; Wieczynski, A; Baczyncka, M; Perski, A; Kertesz, I; Berenyi, A; Barsi, A; (2011) Positioning for Next Generation Intelligent Transport Systems Services in SafeTRIP. In: Proceedings.

Lu, Y; Desmedt, Y; (2011) Improved Distinguishing Attack on Rabbit. In: Burmester, M and Tsudik, G and Magliveras, S and Ilic, I, (eds.) INFORMATION SECURITY. (pp. 17 - 23). SPRINGER-VERLAG BERLIN

MORGAN, GL; Zhang, H; Whitcher, B; Alexander, DC; (2011) A framework for modelling the regional variation of white matter microstructure. In: Abbott, DF and Ackermann, JH, (eds.) Proceedings of the International Society for Magnetic Resonance in Medicine (ISMRM 2011): 19th Annual Meeting and Exhibition. (pp. 1929 - 1929). ISMRM: Berkeley, US. Green open access
file

Mahmood, S; Desmedt, Y; (2011) Poster: preliminary analysis of Google+'s privacy. In: Chen, Y and Danezis, G and Shmatikov, V, (eds.) (pp. pp. 809-812). ACM

Malheiros, M; Jennett, C; Seager, W; Sasse, MA; (2011) Trusting to learn: Trust and privacy issues in serious games. In: Trust and Trustworthy Computing. (pp. 116 - 130). Springer: Berlin. Green open access
file

Malod-Dognin, N; Boudic-Jamin, ML; Kamath, P; Andonov, R; (2011) Using Dominances for Solving the Protein Family Identification Problem. In: Przytycka, TM and Sagot, M-F, (eds.) (pp. pp. 201-212). Springer

Mancini, C; Rogers, Y; Thomas, K; Joinson, NA; Price, BA; Bandaram, AK; Jedrzejczyk, L; (2011) In the Best Families: Tracking and Relationships. In: 29th International Conference on Human Factors in Computing Systems. ACM CHI 2011. (pp. 2419 - 2428). ACM Press

Marquardt, N; Jota, R; Greenberg, S; Jorge, JA; (2011) The continuous interaction space: Interaction techniques unifying touch and gesture on and above a digital surface. In: (pp. pp. 461-476).

Marquardt, N; Kiemer, J; Ledo, D; Boring, S; Greenberg, S; (2011) Designing user-, hand-, and handpart-aware tabletop interactions with the TOUCHID toolkit. In: (pp. pp. 21-30).

Martelli, F; Del Bianco, S; Zaccanti, G; Liemert, A; Kienle, A; Schweiger, M; Arridge, SR; (2011) Comparison of independent forward solvers for photon migration through layered media. In: OPTICAL TOMOGRAPHY AND SPECTROSCOPY OF TISSUE IX.

Mashhadi, AJ; Capra, L; (2011) Quality control for real-time ubiquitous crowdsourcing. In: (pp. pp. 5-8).

Mathew, A; Rogers, Y; Lloyd, P; (2011) Post-it note art: evaluating public creativity at a user generated art installation. In: Goel, AK and Harrell, DF and Magerko, B and Nagai, Y and Prophet, J, (eds.) Creativity & Cognition. (pp. 61 - 70). ACM

Meiklejohn, S; Mowery, K; Checkoway, S; Shacham, H; (2011) The Phantom Tollbooth: Privacy-Preserving Electronic Toll Collection in the Presence of Driver Collusion. In: USENIX Association

Mohibullah, W; Julier, SJ; (2011) Stigmergic search for a lost target in wilderness. In:

Mondal, M; Rahman, MS; Saha, RK; Roy, CK; Krinke, J; Schneider, KA; IEEE, ; (2011) An Empirical Study of the Impacts of Clones in Software Maintenance. In: (pp. pp. 242-245).

Mowery, K; Meiklejohn, S; Savage, S; (2011) Heat of the Moment: Characterizing the Efficacy of Thermal Camera-Based Attacks. In: Brumley, D and Zalewski, M, (eds.) (pp. pp. 46-53). USENIX Association

Naidu, PCRJ; Yechangunja, R; Prosperetti, A; Srinivasan, MA; (2011) Challenges in development of sub-millimeter resolution thermofluidic actuator based wearable tactile display system for blind individuals. In: (pp. pp. 345-354).

Naidu, PCRJ; Yechangunja, R; Srinivasan, MA; (2011) Configuration of a novel sub-millimeter resolution piezoelectric actuator based wearable tactile display system for blind individuals. In: (pp. pp. 355-364).

Noulas, A; Scellato, S; Mascolo, C; Pontil, M; (2011) Exploiting semantic annotations for clustering geographic areas and users in location-based social networks. In: (pp. pp. 32-35).

Noulas, A; Scellato, S; Mascolo, C; Pontil, M; (2011) An Empirical Study of Geographic User Activity Patterns in Foursquare. In: Adamic, LA and Baeza-Yates, RA and Counts, S, (eds.) ICWSM. The AAAI Press

O'Hearn, PW; (2011) Algebra, Logic, Locality, Concurrency. In: Jouannaud, J-P and Shao, Z, (eds.) CPP. (pp. 3 - 4). Springer

O'Hearn, PW; (2011) Reasoning about Programs Using a Scientific Method. In: Qin, S and Qiu, Z, (eds.) ICFEM. (pp. 14 - 14). Springer

O'Hearn, PW; (2011) Algebra, Logic, Locality, Concurrency. In: Yang, H, (ed.) APLAS. (pp. 17 - 18). Springer

O'Reilly, MT; Roth, A; Häusser, M; Griffin, LD; (2011) A circle-based method for detection of neural fibre cross-sections in classically stained 2D electron micrographs. In: Sixth International Workshop on Microscopic Image Analysis with Applications in Biology (MIAAB), Heidelberg. Green open access
file

O'Reilly, RD; Healy, PD; Morrison, JP; Boylan, GB; (2011) An agent framework for the analysis of streaming physiological data. In: (pp. pp. 311-318).

Ogunsina, I; Keung, SNLC; Zhao, L; Langford, G; Tyler, E; Arvanitis, TN; (2011) Modelling a User Authorisation and Data Access Framework for Multi-specialty Research Systems in Secondary Health Care. In: Kostkova, P and Szomszor, M and Fowler, D, (eds.) (pp. pp. 105-108). Springer

Oh, J; Harman, M; Yoo, S; (2011) Transition coverage testing for simulink/stateflow models using messy genetic algorithms. In: (pp. pp. 1851-1858).

Oxtoby, N; Ralph, JF; Durniak, C; Samsonov, D; (2011) Myriad target tracking in a dusty plasma. In: FUSION. (pp. 1 - 6). IEEE

Pan, X; Slater, M; (2011) Confronting a moral dilemma in virtual reality: A pilot study. In: (pp. pp. 46-51).

Papíková, V; Zvolský, M; (2011) Cardio Online Reader/COR: A Web 2.0-Based Tool Aimed at Clinical Decision-Making Support in Cardiology. In: Kostkova, P and Szomszor, M and Fowler, D, (eds.) (pp. pp. 122-127). Springer

Pece, F; Kautz, J; Weyrich, T; (2011) Adapting standard video codecs for depth streaming. In: Joint Virtual Reality Conference of EGVE 2011 - The 17th Eurographics Symposium on Virtual Environments, EuroVR 2011 - The 8th EuroVR (INTUITION) Conference. (pp. 59 - 66).

Peel, L; (2011) Topological Feature Based Classification. In: CoRR.

Petke, J; Jeavons, P; (2011) The Order Encoding: From Tractable CSP to Tractable SAT. In: Sakallah, KA and Simon, L, (eds.) (pp. pp. 371-372). Springer

Quattrone, G; Capra, L; De Meo, P; Ferrara, E; Ursino, D; (2011) Effective retrieval of resources in folksonomies using a new tag similarity measure. In: (pp. pp. 545-550).

Quattrone, G; Capra, L; Meo, PD; Ferrara, E; Ursino, D; (2011) Effective retrieval of resources in folksonomies using a new tag similarity measure. In: Macdonald, C and Ounis, I and Ruthven, I, (eds.) (pp. pp. 545-550). ACM

Quattrone, G; Ferrara, E; De Meo, P; Capra, L; (2011) Measuring similarity in large-scale folksonomies. In: (pp. pp. 385-391).

Quattrone, G; Ferrara, E; Meo, PD; Capra, L; (2011) Measuring Similarity in Large-scale Folksonomies. In: (pp. pp. 385-391). Knowledge Systems Institute Graduate School

Quercia, D; Ellis, J; Capra, L; Crowcroft, J; (2011) In the Mood for Being Influential on Twitter. In: (pp. pp. 307-314). IEEE

Quincey, ED; Hocking, A; O'Gorman, J; Walker, S; Bacon, L; (2011) The Use of Social Bookmarking by Health Care Students to Create Communities of Practice. In: Kostkova, P and Szomszor, M and Fowler, D, (eds.) (pp. pp. 146-153). Springer

Quinn, D; Chen, L; Mulvenna, MD; (2011) An Examination of the Behaviour of Young and Older Users of Facebook. In: Kostkova, P and Szomszor, M and Fowler, D, (eds.) (pp. pp. 9-16). Springer

Rajkomar, A; Blandford, A; (2011) Distributed cognition for evaluating healthcare technology. In: Little, L and Coventry, LM, (eds.) BCS-HCI '11 Proceedings of the 25th BCS Conference on Human-Computer Interaction. (pp. 341 - 350). ACM/ British Computer Society: Swindon, UK. Green open access
file

Rentea, V; Vasilateanu, A; Ioanitescu, R; Serbanati, L-D; (2011) Software Engineering-Inspired Approach to Prevention Healthcare. In: Kostkova, P and Szomszor, M and Fowler, D, (eds.) (pp. pp. 109-113). Springer

Ruskov, M; Seager, W; (2011) What Can Bits Teach about Leadership: A Study of the Application of Variation Theory in Serious Games. In: Second International Conference on Serious Games Development and Applications.

Russell, C; Fayad, J; Agapito, L; (2011) Energy based multiple model fitting for non-rigid structure from motion. In: (pp. pp. 3009-3016).

SIOW, B; Cleary, JO; Greene, ND; Daga, P; Modat, M; Ordidge, R; Ourselin, S; (2011) Mouse Embryo Phenotyping with Contrast-enhanced micro-Diffusion Tensor Imaging. In: (Proceedings) 19th meeting of the International Society for Magnetic Resonance in Medicine.

SIOW, B; Drobnjak, I; Lythgoe, MF; Alexander, DC; (2011) Optimised Gradient Waveform Spin-Echo sequence for Diffusion Weighted MR in a Microstructure Phantom. In: (Proceedings) 19th meeting of the International Society for Magnetic Resonance in Medicine.

Sakellariou, C; Bentley, PJ; (2011) Introducing the FPGA-Based Hardware Architecture of Systemic Computation (HAoS). In: Kotásek, Z and Bouda, J and Cerná, I and Sekanina, L and Vojnar, T and Antos, D, (eds.) MEMICS. (pp. 179 - 190). Springer

Sharma, R; Dillig, I; Dillig, T; Aiken, A; (2011) Simplifying loop invariant generation using splitter predicates. In: (pp. pp. 703-719).

Sherbondy, AJ; Dyrby, TB; Rowe, MC; Ptito, M; Wandell, B; Alexander, DC; (2011) Microstructure Tracking (Microtrack): an algorithm for estimating a multiscale hierarchical white matter model from diffusion-weighted MRI. In: (Proceedings) International Society for Magnetic Resonance in Medicine. (pp. 679 - 679). ISMRM

Smedberg, Å; Sandmark, H; (2011) Web-Based Stress Management System Goes Mobile: Considerations of the Design of a Mobile Phone App. In: Kostkova, P and Szomszor, M and Fowler, D, (eds.) (pp. pp. 67-75). Springer

Soloviev, VY; Arridge, SR; (2011) Optical projection tomography for light scattering media. In: Hielscher, AH and Taroni, P, (eds.) DIFFUSE OPTICAL IMAGING III. (pp. ? - ?). SPIE-INT SOC OPTICAL ENGINEERING

Szomszor, M; Kostkova, P; De Quincey, E; (2011) #Swineflu: Twitter predicts swine flu outbreak in 2009. In: (pp. pp. 18-26).

Szomszor, M; Kostkova, P; St Louis, C; (2011) Twitter informatics: Tracking and understanding public reaction during the 2009 Swine Flu pandemic. In: (pp. pp. 320-323).

Tompkin, J; Pece, F; Subr, K; Kautz, J; (2011) Towards Moment Images: Automatic Cinemagraphs. In: Proceedings of the 8th European Conference on Visual Media Production (CVMP 2011). (pp. TBD - TBD).

Tompkin, J; Pece, F; Subr, K; Kautz, J; (2011) Towards moment imagery: Automatic cinemagraphs. In: (pp. pp. 87-93).

Trojer, T; Katt, B; Schabetsberger, T; Mair, R; Breu, R; (2011) The Process of Policy Authoring of Patient-Controlled Privacy Preferences. In: Kostkova, P and Szomszor, M and Fowler, D, (eds.) (pp. pp. 97-104). Springer

Tullio, ED; Grasso, F; (2011) A Model for a Motivational System Grounded on Value Based Abstract Argumentation Frameworks. In: Kostkova, P and Szomszor, M and Fowler, D, (eds.) (pp. pp. 43-50). Springer

Tyson, G; Taweel, A; Miles, S; Luck, M; Staa, TV; Delaney, B; (2011) An Agent-Based Approach to Real-Time Patient Identification for Clinical Trials. In: Kostkova, P and Szomszor, M and Fowler, D, (eds.) (pp. pp. 138-145). Springer

Van Der Linden, J; Rogers, Y; Oshodi, M; Spiers, A; McGoran, D; Cronin, R; O apos Dowd, P; (2011) Haptic reassurance in the pitch black for an immersive theatre experience. In: (pp. pp. 143-152).

Vincent, C; Blandford, A; (2011) Designing for safety and usability: user-centered techniques in medical device design practice. In: Proceedings of the Human Factors and Ergonomics Society Annual Meeting. (pp. 793 - 797). SAGE Publications Green open access
file

Vos, TEJ; Tonella, P; Wegener, J; Harman, M; Prasetya, W; Puoskari, E; Buchbinder, YN; (2011) Future Internet Testing with FITTEST. In: (pp. pp. 355-358).

Wang, H; Julier, SJ; (2011) Path planning in partially known environments. In: Proceedings of the 2nd IASTED International Conference on Robotics, Robo 2011. (pp. 317 - 323).

Wang, YG; Desmedt, Y; (2011) Edge-colored graphs with applications to homogeneous faults. In: INFORM PROCESS LETT. (pp. 634 - 641). ELSEVIER SCIENCE BV

Weerasinghe, D; Lazareck, L; Kostkova, P; Farrell, D; (2011) Evaluation of popularity of multi-lingual educational web games - Do all children speak english? In: (pp. pp. 44-53).

Will, J; Peel, L; Claxton, C; (2011) Fast Maritime Anomaly Detection using KD Tree Gaussian Processes. In: 2nd IMA Conference on Maths in Defence.

Wischik, D; Raiciu, C; Greenhalgh, A; Handley, M; (2011) Design, implementation and evaluation of congestion control for multipath TCP. In: NSDI'11: Proceedings of the 8th USENIX conference on Networked systems design and implementation. (pp. pp. 99-112). USENIX Association: Berkeley, CA, USA. Green open access
file

Xiao, K; Mylonas, D; Fu, C; Karatzas, D; Wuerger, S; (2011) Locating unique hues under mixed illumination conditions in CIECAM02. In: (pp. pp. 94-97).

Yang, G; Hipwell, JH; Hawkes, DJ; Arridge, SR; (2011) Unconstrained Simultaneous Scheme to Fully Couple Reconstruction and Registration for Digital Breast Tomosynthesis: A Feasible Study. In: Schnabel, J and Tanner, C and Karssemeijer, N and Nielsen, M and Giger, M and Hawkes, C, (eds.) Proceedings of the Workshop on Breast Image Analysis: In conjunction with the 14th International Conference on Medical Image Computing and Computer Assisted Intervention (MICCAI 2011). (pp. 25 - 32). Department of Computer Science (DIKU), University of Copenhagen: Copenhagen, Denmark. Green open access
file

Yang, G; Hipwell, JH; Tanner, C; Hawkes, DJ; Arridge, SR; (2011) Alternating Reconstruction and Registration for Digital Breast Tomosynthesis. In: Denton, E, (ed.) Proceedings of the UK Radiological Congress 2011: 6-8 June 2011, Manchester UK. (pp. 62 - 63). The British Institute of Radiology: London, UK.

Yu, QZ; Neyret, F; Steed, A; (2011) Feature-based vector simulation of water waves. In: COMPUTER ANIMATION AND VIRTUAL WORLDS. (pp. 91 - 98). WILEY-BLACKWELL

ZHANG, H; Barazany, D; Assaf, Y; Lundell, HM; Alexander, DC; Dyrby, T; (2011) A comparative study of axon diameter imaging techniques using diffusion MRI. In: Abbott, DF and Ackermann, JH, (eds.) Proceedings of the International Society for Magnetic Resonance in Medicine (ISMRM 2011): 19th Annual Meeting and Exhibition. (pp. 83 - 83). ISMRM: Berkeley, US. Green open access
file

ZHANG, H; Hubbard, PL; Parker, GJM; Alexander, DC; (2011) Axon diameter mapping in the presence of orientation dispersion using diffusion MRI. In: Abbott, DF and Ackermann, JH, (eds.) Proceedings of the International Society for Magnetic Resonance in Medicine (ISMRM 2011): 19th Annual Meeting and Exhibition. (pp. 74 - 74). ISMRM: Berkeley, US. Green open access
file

Zaizi, NJM; Burger, A; (2011) Towards Spatial Description-Based Integration of Biomedical Atlases. In: Kostkova, P and Szomszor, M and Fowler, D, (eds.) (pp. pp. 196-203). Springer

Zhang, J; Hunter, A; Zhou, YH; (2011) Bioprocess data and knowledge framework for chromatography design. In: ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY. (pp. ? - ?). AMER CHEMICAL SOC

Zhang, J; Hunter, A; Zhou, YH; (2011) Systematic Data and Knowledge Utilization to Speed up Bioprocess Design. In: Pistikopoulos, EN and Georgiadis, MC and Kokossis, AC, (eds.) 21ST EUROPEAN SYMPOSIUM ON COMPUTER AIDED PROCESS ENGINEERING. (pp. 1351 - 1355). ELSEVIER SCIENCE BV

van der Linden, J; Johnson, R; Bird, J; Rogers, Y; Schoonderwaldt, E; (2011) Buzzing to Play: Lessons learned from an in the wild study of real-time vibrotactile feedback. In: 29th International Conference on Human Factors in Computing Systems. ACM CHI 2011. (pp. 533 - 542). ACM Press

Report

Arnell, S; Beautement, A; Inglesant, P; Monahan, B; Pym, D; Sasse, MA; (2011) Systematic Decision Making in Security Management Modelling Password Usage and Support. (HP Laboratories Technical Reports ). HP Laboratories: Pisa, Italy.

Blandford, AE; (2011) When I get older: Interaction design for medical devices. BCS

Courtois, N; Bard, GV; Hulme, D; (2011) A New General-Purpose Method to Multiply 3x3 Matrices Using Only 23 Multiplications.

Grünewälder, S; Baldassarre, L; Pontil, M; Gretton, A; Lever, G; (2011) Modeling transition dynamics in MDPs with RKHS embeddings of conditional distributions.

Langdon, WB; (2011) Minimising Testing in Genetic Programming. : Gower Street, London WC1E 6BT, UK.

Langdon, WB; Arno, MJ; (2011) More Mouldy Data: Virtual Infection of the Human Genome. : London WC1E 6BT, UK.

Langdon, WB; Yoo, S; Harman, M; (2011) Non-Recursive Beam Search on GPU for Formal Concept Analysis. : London WC1E 6BT, UK.

Xiong, J; JAMIESON, KAS; (2011) ArrayTrack: A Fine-Grained Indoor Location System. (UCL Computer Science Research Notes RN/11/19 , pp. pp. 1-14 ). UCL CS: London.

YOO, S; Harman, M; Clark, D; (2011) FLINT: Fault Localisation using Information Theory. Department of Computer Science, University College London: UK.

YOO, S; Harman, M; Ur, S; (2011) Highly Scalable Multi-Objective Test Suite Minimisation Using Graphics Card. Department of Computer Science, University College London: UK.

Working / discussion paper

Bozkurt, M; Harman, M; (2011) Generating realistic inputs using web services. (CS Research Notes RN/ 11). UCL Department of Computer Science: London, UK. Green open access
file

Hosseini, M; Cox, I; (2011) Prioritizing relevance judgments to improve the construction of IR test collections. (CS Research Notes ). UCL Department of Computer Science: London, UK. Green open access
file

Yoo, S; (2011) SBSE As Gaming. (The 3rd International Symposium on Search-Based Software Engineering ).

Zhang, Y; Harman, M; Lim, S; (2011) Search based optimization of requirements interaction management. (CS Research Notes ). UCL Department of Computer Science: London, UK.

Conference item

Abe, M; Groth, J; Haralambiev, K; Ohkubo, M; (2011) Optimal Structure-Preserving Signatures in Asymmetric Bilinear Groups. Presented at: UNSPECIFIED.

Abe, M; Groth, J; Ohkubo, M; (2011) Separating Short Structure-Preserving Signatures from Non-interactive Assumptions. Presented at: UNSPECIFIED.

Adams, A; Coughlan, T; Lea, J; Rogers, Y; Davies, S; Collins, T; (2011) Designing interconnected distributed resources for collaborative inquiry based science education. Presented at: UNSPECIFIED.

Ateniese, G; De Cristofaro, E; Tsudik, G; (2011) (If) size matters: size-hiding private set intersection. Presented at: UNSPECIFIED.

Baars, AI; Harman, M; Hassoun, Y; Lakhotia, K; McMinn, P; Tonella, P; Vos, TEJ; (2011) Symbolic search-based testing. Presented at: UNSPECIFIED.

Baldi, P; Baronio, R; De Cristofaro, E; Gasti, P; Tsudik, G; (2011) Countering GATTACA: efficient and secure testing of fully-sequenced human genomes. Presented at: UNSPECIFIED, ACM.

Bellogín, A; Wang, J; Castells, P; (2011) Structured collaborative filtering. Presented at: UNSPECIFIED, ACM.

Bellogín, A; Wang, J; Castells, P; (2011) Text Retrieval Methods for Item Ranking in Collaborative Filtering. Presented at: UNSPECIFIED.

Ben Abdesslem, F; Henderson, T; Brostoff, S; Sasse, MA; (2011) Context-based Personalised Settings for Mobile Location Sharing. Presented at: ACM Recommender Systems 2011 (RecSys): Workshop on Personalization in Mobile Applications, Chicago, Illinois, US. Green open access
file

Benedyk, R; Furniss, DJ; (2011) Using Digital Stories to enhance course induction for HCI students. Presented at: British HCI 2011: Health, Wealth and Happiness: HCI Educators Workshop, Newcastle-upon-Tyne, UK. Green open access
file

Bennett, PN; Radlinski, F; White, RW; Yilmaz, E; (2011) Inferring and using location metadata to personalize web search. Presented at: UNSPECIFIED.

Blandford, A; Cauchi, A; Curzon, P; Eslambolchilar, P; Furniss, D; Gimblett, A; Huang, H; (2011) Comparing actual practice and user manuals:A case study based on programmable infusion pumps. Presented at: UNSPECIFIED.

Bozkurt, M; Harman, M; (2011) Automatically generating realistic test input from web services. Presented at: UNSPECIFIED.

Brotherston, J; Goré, R; (2011) Craig interpolation in displayable logics. Presented at: UNSPECIFIED.

Buchanan, G; Back, J; Furniss, D; Blandford, AE; (2011) Attention: Can appropriation be linked to an individual's resilience? Proc. Workshop on Appropriation and Creative Use. Presented at: CHI Workshop on Appropriation and Creative Use.

Carterette, B; Kanoulas, E; Yilmaz, E; (2011) Simulating simple user behavior for system effectiveness evaluation. Presented at: UNSPECIFIED.

Carvalho, VR; Lease, M; Yilmaz, E; (2011) Crowdsourcing for search and data mining. Presented at: UNSPECIFIED.

Castells, P; Vargas, S; Wang, J; (2011) Novelty and diversity metrics for recommender systems: choice, discovery and relevance. Presented at: UNSPECIFIED.

Castells, P; Wang, J; Lara, R; Zhang, D; (2011) Workshop on novelty and diversity in recommender systems-DiveRS 2011. Presented at: UNSPECIFIED, ACM.

Castelluccia, C; De Cristofaro, E; Francillon, A; Kaafar, M-A; (2011) EphPub: Toward Robust Ephemeral Publishing. Presented at: UNSPECIFIED, http://arxiv.org/abs/1003.5510.

Cinnéide, MO; Boyle, D; Moghadam, IH; (2011) Automated refactoring for testability. Presented at: UNSPECIFIED.

Codish, M; Fekete, Y; Fuhs, C; Schneider-Kamp, P; (2011) Optimal Base Encodings for Pseudo-Boolean Constraints. Presented at: UNSPECIFIED.

Coughlan, T; Davies, S; Adams, A; Lea, J; Collins, T; Rogers, Y; (2011) Working with'mission control' in scientific fieldwork: Supporting interactions between in situ and distanced collaborators. Presented at: UNSPECIFIED.

De Cristofaro, E; Durussel, A; Aad, I; (2011) Reclaiming privacy for smartphone applications. Presented at: UNSPECIFIED, IEEE.

De Cristofaro, E; Lu, Y; Tsudik, G; (2011) Efficient techniques for privacy-preserving sharing of sensitive information. Presented at: UNSPECIFIED.

De Cristofaro, E; Soriente, C; (2011) PEPSI—privacy-enhanced participatory sensing infrastructure. Presented at: UNSPECIFIED, ACM.

Druin, A; Russell, D; Knell, G; Mynett, E; Soloway, E; Thurnau, AF; Rogers, Y; (2011) The future of child-computer interaction. Presented at: UNSPECIFIED.

Feng, X; Cox, IJ; Doerr, G; IEEE, ; (2011) AN ENERGY-BASED METHOD FOR THE FORENSIC DETECTION OF RE-SAMPLED IMAGES. Presented at: UNSPECIFIED.

Fuhs, C; Kop, C; (2011) Harnessing First Order Termination Provers Using Higher Order Dependency Pairs. Presented at: UNSPECIFIED.

Funkhouser, T; Shin, H; Toler-Franklin, C; García Castañeda, A; Brown, B; Dobkin, D; Rusinkiewicz, S; (2011) Learning How to Match Fresco Fragments. Presented at: UNSPECIFIED.

Furmston, T; Barber, D; (2011) Efficient Inference in Markov Control Problems. Presented at: UNSPECIFIED.

Furniss, D; (2011) Microwave racing. Presented at: UNSPECIFIED.

Furniss, D; Back, J; Blandford, AE; (2011) Unwritten rules for safety and performance in an oncology daycare unit: testing the Resilience Markers Framework. Presented at: Fourth Symposium on Resilience Engineering.

Furniss, D; Blandford, AE; Mayer, A; (2011) Considering Unremarkable Computing for Healthcare. Presented at: Workshop on Interactive Systems in Healthcare (WISH), Workshop at AMIA 2011 Annual Symposium.

Furniss, DJ; Benedyk, R; (2011) Boundaries and Three Points on a Virtuous Circle: Digital stories, public engagement, and teaching students. Presented at: CHI 2011: the 29th ACM Conference on Human Factors in Computing Systems: Workshop: Video Interaction - Making Broadcasting a Successful Social Media, Vancouver, Canada. Green open access
file

García Castañeda, A; Brown, B; Rusinkiewicz, S; Funkhouser, T; Weyrich, T; (2011) Global consistency in the automatic assembly of fragmented artefacts. Presented at: International Symposium on Virtual Reality, Archaeology and Cultural Heritage, Prato, Italy.

Giotsas, V; Zhou, S; (2011) Exposing the Complexity of AS Relationships. Presented at: CAIDA Workshop on BGP and Traceroute data.

Gorogiannis, N; Kanovich, M; O'Hearn, PW; (2011) The complexity of abduction for separated heap abstractions. Presented at: UNSPECIFIED.

Grant, J; Hunter, A; (2011) Measuring the good and the bad in inconsistent information. Presented at: UNSPECIFIED.

Groth, J; (2011) Efficient Zero-Knowledge Arguments from Two-Tiered Homomorphic Commitments. Presented at: UNSPECIFIED.

Gu, Z; Barr, ET; Su, Z; (2011) BQL: capturing and reusing debugging knowledge. Presented at: UNSPECIFIED.

Harman, M; McMinn, P; De Souza, JT; Yoo, S; (2011) Search based software engineering: Techniques, taxonomy, tutorial. Presented at: UNSPECIFIED.

Herbster, M; Pasteris, S; Vitale, F; (2011) Efficient Prediction for Tree Markov Random Fields in a Streaming Model. Presented at: NIPS Workshop on Discrete Optimization (DiscML)..

Honda, M; Nishida, Y; Raiciu, C; Greenhalgh, A; Handley, M; Tokuda, H; (2011) Is it still possible to extend TCP? Presented at: UNSPECIFIED.

Ioannidis, C; Pym, DJ; Williams, J; (2011) Fixed Costs, Investment Rigidities, and Risk Aversion in Information Security: A Utility-theoretic Approach. Presented at: UNSPECIFIED.

JANSSEN, C; (2011) Understanding Multitasking as an Adaptive Strategy Selection Process. Presented at: SIGCHI conference on human factors in computing systems, Vancouver, BC, Canada.

Janssen, CP; Brumby, DP; (2011) Design and Make Aware: Virtues and Limitations of Designing for Natural Breakpoints in Multitasking Settings. Presented at: Automotive UI 2011: Workshop on Cognitive Load and In-Vehicle Human-Machine Interaction, Salzburg, Austria.

Johnson, R; Van Der Linden, J; Rogers, Y; (2011) Real-time feedback for learning the violin. Presented at: UNSPECIFIED.

Kalnikaite, V; Rogers, Y; Bird, J; Villar, N; Bachour, K; Payne, S; Todd, PM; (2011) How to nudge in situ: Designing lambent devices to deliver salient information in supermarkets. Presented at: UNSPECIFIED.

Klinger, R; Riedel, S; McCallum, A; (2011) Inter-Event Dependencies support Event Extraction from Biomedical Literature. Presented at: UNSPECIFIED.

Krauss, A; Sternagel, C; Thiemann, R; Fuhs, C; Giesl, J; (2011) Termination of Isabelle Functions via Termination of Rewriting. Presented at: UNSPECIFIED.

Langdon, WB; (2011) Generalisation in genetic programming. Presented at: UNSPECIFIED.

Langdon, WB; (2011) Performing with CUDA. Presented at: UNSPECIFIED.

Langdon, WB; Yoo, S; Harman, M; (2011) Formal concept analysis on graphics hardware. Presented at: UNSPECIFIED.

Lathia, N; Hailes, S; Capra, L; (2011) Temporal defenses for robust recommendations. Presented at: UNSPECIFIED.

Letier, E; (2011) Simulating and Optimizing Design Decisions in Goal-Oriented Requirements Models. Presented at: UNSPECIFIED.

MORGAN, GL; Zhang, H; Whitcher, B; Alexander, DC; (2011) Regional variation models of white matter microstructure. Presented at: Human Brain Mapping, Quebec City, Quebec, Canada.

Makri, S; Toms, EG; McCay-Peet, L; Blandford, A; (2011) Encouraging serendipity in interactive systems. Presented at: UNSPECIFIED.

Marquardt, N; (2011) Proxemic interactions in ubiquitous computing ecologies. Presented at: UNSPECIFIED.

Marshall, P; Morris, R; Rogers, Y; Kreitmayer, S; Davies, M; (2011) Rethinking 'multi-user': an in-the-wild study of how groups approach a walk-up-and-use tabletop interface. Presented at: UNSPECIFIED.

Marshall, P; Rogers, Y; Pantidi, N; (2011) Using F-formations to analyse spatial patterns of interaction in physical environments. Presented at: UNSPECIFIED.

Masci, P; Curzon, P; Blandford, A; Furniss, D; (2011) Modelling Distributed Cognition Systems in PVS. Presented at: UNSPECIFIED.

Masci, P; Curzon, P; Huang, H; Rukšenas, R; Blandford, A; Furniss, D; Rajkomar, A; (2011) Towards a formal framework for reasoning about the resilience of dynamic interactive systems. Presented at: UNSPECIFIED.

Mashhadi, AJ; Capra, L; (2011) Priority scheduling for participatory delay tolerant networks. Presented at: UNSPECIFIED.

Moghadam, IH; (2011) Multi-level automated refactoring using design exploration. Presented at: UNSPECIFIED.

Moghadam, IH; Cinnéide, MO; (2011) Code-Imp: A tool for automated search-based refactoring. Presented at: UNSPECIFIED.

Morgan, GL; Zhang, H, ; Whitcher, B, ; Alexander, DC, ; (2011) A Bayesian framework for modelling the regional variation of white matter microstructure. Presented at: Medical Image Understanding and Analysis, London, UK.

Oyekoya, O; Steed, A; Pan, X; (2011) Short paper: Exploring the object relevance of a gaze animation model. Presented at: UNSPECIFIED.

Parsley, MP; Julier, SJ; (2011) Exploiting prior information in GraphSLAM. Presented at: UNSPECIFIED.

Pedemonte, S; Bousse, A; Hutton, BF; Arridge, S; Ourselin, S; (2011) 4-D generative model for PET/MRI reconstruction. Presented at: UNSPECIFIED, Germany.

Quercia, D; Ellis, J; Capra, L; Crowcroft, J; (2011) In the Mood for Being Influential on Twitter. Presented at: 3rd IEEE International Conference on Social Computing, MIT, Boston, USA.

Radlinski, F; Bennett, PN; Yilmaz, E; (2011) Detecting duplicate web documents using clickthrough data. Presented at: UNSPECIFIED.

Reynolds, M; Dobos, J; Peel, L; Weyrich, T; Brostow, GJ; (2011) Capturing Time-of-Flight data with confidence. Presented at: UNSPECIFIED.

Riedel, S; McCallum, A; (2011) Robust Biomedical Event Extraction with Dual Decomposition and Minimal Domain Adaptation. Presented at: UNSPECIFIED.

Riedel, S; McClosky, D; Surdeanu, M; Manning, CD; McCallum, A; (2011) Model Combination for Event Extraction in BioNLP 2011. Presented at: UNSPECIFIED.

Sasse, MA; Kirlappos, I; (2011) Familiarity breeds con-victims: Why we need more effective trust signaling. Presented at: UNSPECIFIED.

Schneider, T; Thomas, DL; Kachramanoglou, C; Ciccarelli, O; Alexander, DC; Wheeler-Kingshott, C; (2011) Fuzzy partial volume correction of spinal cord DTI parameters. Presented at: International Society for Magnetic Resonance in Medicine (ISMRM), Montreal, Canada.

Stringhini, G; Holz, T; Stone-Gross, B; Kruegel, C; Vigna, G; (2011) BOTMAGNIFIER: Locating Spambots on the Internet. Presented at: UNSPECIFIED.

Ströder, T; Emmes, F; Schneider-Kamp, P; Giesl, J; Fuhs, C; (2011) A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog. Presented at: UNSPECIFIED.

Szummer, M; Yilmaz, E; (2011) Semi-supervised learning to rank with preference regularization. Presented at: UNSPECIFIED.

Toscos, T; Connelly, K; Rogers, Y; (2011) What's your number?: A survey of how parents and teens cope with diabetes in the context of technology support. Presented at: UNSPECIFIED.

Totz, J; Mountney, P; Stoyanov, D; Yang, GZ; (2011) Dense surface reconstruction for enhanced navigation in MIS. Presented at: UNSPECIFIED.

Treude, C; Storey, M-AD; Deursen, AV; Begel, A; Black, S; (2011) Second international workshop on web 2.0 for software engineering: (Web2SE 2011). Presented at: UNSPECIFIED.

Tse, E; Beckwith, R; Schöning, J; Rogers, Y; Huber, J; Mühlhäuser, M; Marentette, L; (2011) Child Computer Interaction: Workshop on UI technologies and educational pedagogy. Presented at: UNSPECIFIED.

Uney, M; Clark, DE; Julier, SJ; (2011) Information measures in distributed multitarget tracking. Presented at: UNSPECIFIED.

Van Der Linden, J; Rogers, Y; Taylor, C; Dalgleish, M; (2011) Technology inspired design for pervasive healthcare. Presented at: UNSPECIFIED.

Vincent, C; Blandford, AE; (2011) Maintaining the Standard: Challenges in Adopting Best Practice when Designing Medical Devices and Systems. Presented at: Workshop on Interactive Systems in Healthcare (WISH), Workshop at AMIA 2011 Annual Symposium.

Wang, C; Yilmaz, E; Szummer, M; (2011) Relevance feedback exploiting query-specific document manifolds. Presented at: UNSPECIFIED.

Wang, H; Julier, SJ; (2011) Path planning in partially known environments. Presented at: UNSPECIFIED.

Wang, J; Collins-Thompson, K; (2011) ECIR2011 Tutorial: Risk Management in Information Retrieval. Presented at: UNSPECIFIED.

Wang, J; Collins-Thompson, K; (2011) Statistical information retrieval modelling: from the probability ranking principle to recent advances in diversity, portfolio theory, and beyond. Presented at: UNSPECIFIED, ACM.

Wang, Y; Desmedt, Y; (2011) Homogeneous Faults, Colored Edge Graphs, and Cover Free Families. Presented at: UNSPECIFIED.

Yoo, S; Nilsson, R; Harman, M; (2011) Faster Fault Finding at Google Using Multi Objective Regression Test Optimisation. Presented at: ESEC/FSE, Szeged, Hungary.

Zanardi, V; Capra, L; (2011) Dynamic updating of online recommender systems via feed-forward controllers. Presented at: UNSPECIFIED.

Zanardi, V; Capra, L; (2011) A scalable tag-based recommender system for new users of the social web. Presented at: UNSPECIFIED.

Zhang, J; Hunter, A; Zhou, Y; (2011) Systematic Data and Knowledge Utilization to Speed up Bioprocess Design. Presented at: UNSPECIFIED.

Zhang, P; Song, D; Wang, J; Zhao, X; Hou, Y; (2011) On modeling rank-independent risk in estimating probability of relevance. Presented at: UNSPECIFIED.

Thesis

Ackemann, T.; (2011) A peer-to-peer incentives mechanism for sharing small and rare files. Doctoral thesis, UCL (University College London). Green open access
file

Aghajanian, J.; (2011) Patch-based models for visual object classes. Doctoral thesis, UCL (University College London). Green open access
file

Ament, M.G.A.; (2011) The role of goal relevance in the occurrence of systematic slip errors in routine procedural tasks. Doctoral thesis, UCL (University College London). Green open access
file

Bahrami, M.; (2011) Doppler-aided single-frequency real-time kinematic satellite positioning in the urban environment. Doctoral thesis, UCL (University College London).

Behzadan, B.; (2011) MINES: Mutual Information Neuro-Evolutionary System. Doctoral thesis, UCL (University College London). Green open access
file

Choi, S.-H.; (2011) Congestion control for real-time interactive multimedia streams. Doctoral thesis, UCL (University College London). Green open access
file

Corzo, F.A.; (2011) Abstraction and structure in knowledge discovery in databases. Doctoral thesis, UCL (University College London).

De Cristofaro, E; (2011) Sharing Sensitive Information with Privacy DISSERTATION. Doctoral thesis, UNSPECIFIED.

Efstathiou, V.; (2011) Algorithms for computational argumentation in artificial intelligence. Doctoral thesis, UCL (University College London). Green open access
file

Elisee, J.P.; (2011) Innovative boundary integral and hybrid methods for diffuse optical imaging. Doctoral thesis, UCL (University College London). Green open access
file

Freeman, R.M.; (2011) Rapid interactive modelling and tracking for mixed and augmented reality. Doctoral thesis, UCL (University College London).

Gomes Vicente, S.A.; (2011) Global optimisation techniques for image segmentation with higher order models. Doctoral thesis, UCL (University College London). Green open access
file

Hewer, T.D.; (2011) High performance simulation and modelling of wireless vehicular ad hoc networks. Doctoral thesis, UCL (University College London). Green open access
file

Higgs, M.C.; (2011) Approximate inference for state-space models. Doctoral thesis, UCL (University College London). Green open access
file

Jahanbakhsh Mashhadi, A.; (2011) Content dissemination in participatory delay tolerant networks. Doctoral thesis, UCL (University College London). Green open access
file

Knoche, H.O.; (2011) Quality of experience in digital mobile multimedia services. Doctoral thesis, UCL (University College London). Green open access
file

Lever, G.; (2011) Exploiting structure defined by data in machine learning: some new analyses. Doctoral thesis, UCL (University College London). Green open access
file

Lim, SL; (2011) Social Networks and Collaborative Filtering for Large-Scale Requirements Elicitation. Doctoral thesis, University of New South Wales. Green open access
file

Mohd Nazir, M.A.N.; (2011) Cost-effective resource management for distributed computing. Doctoral thesis, UCL (University College London). Green open access
file

Moore, A.P.; (2011) Superpixel lattices. Doctoral thesis, UCL (University College London). Green open access
file

Mortensen, J.; (2011) Virtual light fields for global illumination in computer graphics. Doctoral thesis, UCL (University College London). Green open access
file

Panagiotaki, E.; (2011) Geometric models of brain white matter for microstructure imaging with diffusion MRI. Doctoral thesis, UCL (University College London). Green open access
file

Parsley, M.P.; (2011) Simultaneous localisation and mapping with prior information. Doctoral thesis, UCL (University College London). Green open access
file

Roden, D.L.; (2011) High specificity automatic function assignment for enzyme sequences. Doctoral thesis, UCL (University College London). Green open access
file

Rogers, M.J.; (2011) Private and censorship-resistant communication over public networks. Doctoral thesis, UCL (University College London). Green open access
file

Sama, M.; (2011) Context-driven methodologies for context-aware and adaptive systems. Doctoral thesis, UCL (University College London). Green open access
file

Seunarine, K.K.; (2011) Estimating uncertainty in multiple fibre reconstructions. Doctoral thesis, UCL (University College London). Green open access
file

Weber, P.; (2011) Location intelligence: a decision support system for business site selection. Doctoral thesis, UCL (University College London). Green open access
file

Whelan, A.J.; (2011) The development of a warhead into an integrated weapon system to provide an advanced battlefield capability. Doctoral thesis, UCL (University College London). Green open access
file

Yang, Q.; (2011) Secure message transmission in the general adversary model. Doctoral thesis, UCL (University College London). Green open access
file

Zanardi, V.; (2011) Addressing the cold start problem in tag-based recommender systems. Doctoral thesis, UCL (University College London). Green open access
file

Zheng, L.; (2011) Lossy index compression. Doctoral thesis, UCL (University College London).

Software

Mylonas, D; Stutters, J; (2011) Colornamer (beta). (Version 1.0). [Software]. Colornamer: Online.

Patent

Betcke, MM; Lionheart, WRB; Morton, EJ; (2011) System and method for image reconstruction by using multi-sheet surface rebinning.

Scholarly edition

Makri, S; Toms, EG; McCay-Peet, L; Blandford, A; (2011) Proceedings of the 1st International Workshop on Encouraging Serendipity in Interactive Systems. [Scholarly edition].

Other

Di Giammarino, PJ; Hills, S; CLACK, C; (2011) Consultation response to ‘Office of Financial Research; Statement on Legal Entity Identification for Financial Contracts’ from JWG Group and the BBA. UNSPECIFIED

Ford, A; Raiciu, C; Handley, M; Barre, S; Iyengar, J; (2011) RFC 6182, Architectural Guidelines for Multipath TCP Development. Internet Engineering Task Force

Raiciu, C; Handley, M; Wischik, D; (2011) RFC 6356, Coupled Congestion Control for Multipath Transport Protocols. Internet Engineering Task Force

This list was generated on Sun Sep 25 06:03:58 2016 BST.