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
Jump to: A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | V | W | X | Y | Z | Ü
Number of items: 326.


Adluru, N; Zhang, H; Fox, AS; Shelton, SE; Ennis, CM; Bartosic, AM; Oler, JA; (2012) A diffusion tensor brain template for rhesus macaques. Neuroimage , 59 (1) pp. 306-318. 10.1016/j.neuroimage.2011.07.029.

Afshari, M; Barr, ET; Su, Z; (2012) Liberating the Programmer with Prorogued Programming. Presented at: UNSPECIFIED.

Alexander, DC; Dyrby, TB; (2012) Compensation for bias from unwanted gradient contributions in STEAM diffusion MRI. In: (Proceedings) International Society for Magnetic Resonance in Medicine. (pp. 1884 - 1884). ISMRM

Alglave, J; (2012) A formal hierarchy of weak memory models. Formal Methods in System Design pp. 1-33.

Alglave, J; Maranget, L; Sarkar, S; Sewell, P; (2012) Fences in weak memory models (extended version). Formal Methods in System Design , 40 (2) pp. 170-205. 10.1007/s10703-011-0135-z.

Alshahwan, N; (2012) Utilizing Output in Web Application Server-Side Testing. Doctoral thesis, UCL (University College London). Green open access

Alshahwan, N; Harman, M; (2012) State aware test case regeneration for improving web application test suite coverage and fault detection. In: (pp. pp. 45-55).

Alshahwan, N; Harman, M; Marchetto, A; Tiella, R; Tonella, P; (2012) Crawlability metrics for web applications. In: (pp. pp. 151-160).

Alsisan, S; Mitra, NJ; (2012) Variation-Factored Encoding of Facade Images. In: Andújar, C and Puppo, E, (eds.) (pp. pp. 37-40). Eurographics Association

Alzarooni, KMA; (2012) Malware variant detection. Doctoral thesis, UCL (University College London). Green open access

Arridge, SR; Betcke, T; Smigaj, W; Schweiger, MJ; (2012) BEM++. [Software].

Aste, T; Gramatica, R; Di Matteo, T; (2012) Exploring complex networks via topological embedding on surfaces. Phys Rev E Stat Nonlin Soft Matter Phys , 86 (3 Pt 2) 036109-. 10.1103/PhysRevE.86.036109.

Asthana, H; Cox, IJ; (2012) PAC'nPost: A framework for a micro-blogging social network in an unstructured P2P network. Presented at: UNSPECIFIED.

Averkiou, M; Mitra, NJ; (2012) Automatic Alignment of Shape Collections. Presented at: UNSPECIFIED.


Babić, D; Cook, B; Hu, AJ; Rakamarić, Z; (2012) Proving termination of nonlinear command sequences. Formal Aspects of Computing 1 - 15.

Bachour, K; Bird, J; Kalnikaité, V; Rogers, Y; Villar, N; Kreitmayer, S; (2012) Fast and frugal shopping challenge. In: Konstan, JA and Chi, EH and Höök, K, (eds.) CHI Extended Abstracts. (pp. 1459 - 1460). ACM

Bachrach, Y; Graepel, T; Kasneci, G; Kosinski, M; Gael, JV; (2012) Crowd IQ: aggregating opinions to boost performance. In: Hoek, WVD and Padgham, L and Conitzer, V and Winikoff, M, (eds.) AAMAS. (pp. 535 - 542). IFAAMAS

Baldassarre, L; Morales, J; Argyriou, A; Pontil, M; (2012) A general framework for structured sparsity via proximal optimization. In: (pp. pp. 82-90).

Baldassarre, L; Morales, JM; Pontil, M; (2012) Incorporating additional constraints in sparse estimation. IFAC Proceedings Volumes (IFAC-PapersOnline) , 16 (PART 1) pp. 959-964. 10.3182/20120711-3-BE-2027.00185.

Baldassarre, L; Mourão-Miranda, J; Pontil, M; (2012) Structured sparsity models for brain decoding from fMRI data. In: (pp. pp. 5-8).

Banterle, F; Artusi, A; Aydin, TO; Didyk, P; Eisemann, E; Gutierrez, D; Mantiuk, R; (2012) Mapping Images to Target Devices: Spatial, Temporal, Stereo, Tone, and Color. In: Pajarola, R and Spagnuolo, M, (eds.) Eurographics Association

Barak, B; Brandão, FGSL; Harrow, AW; Kelner, J; Steurer, D; Zhou, Y; (2012) Hypercontractivity, sum-of-squares proofs, and their applications. In: (pp. pp. 307-326).

Barak, B; Brandão, FGSL; Harrow, AW; Kelner, JA; Steurer, D; Zhou, Y; (2012) Hypercontractivity, Sum-of-Squares Proofs, and their Applications. CoRR , abs/1205.4484

Barber, D; (2012) Clique Matrices for Statistical Graph Decomposition and Parameterising Restricted Positive Definite Matrices. CoRR , abs/1206.3237

Barr, ET; Bird, C; Rigby, PC; Hindle, A; German, DM; Devanbu, P; (2012) Cohesive and isolated development with branches. In: de Lara, J and Zisman, A, (eds.) Fundamental Approaches to Software Engineering: 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings. (pp. 316 - 331). Springer Verlag: Berlin/ Heidelberg, Germany.

Bartsch, S; Sasse, MA; (2012) Guiding decisions on authorization policies: A participatory approach to decision support. In: SAC '12 Proceedings of the 27th Annual ACM Symposium on Applied Computing. (pp. 1502 - 1507). Association for Computer Machinery: New York. Green open access

Bartsch, S; Sasse, MA; (2012) How Users Bypass Access Control and Why: The Impact of Authorization Problems on Individuals and the Organization. (Research Notes RN/12/06 ). UCL Department of Computer Science: London, UK. Green open access

Bayer, S; Groth, J; (2012) Efficient Zero-Knowledge Argument for Correctness of a Shuffle. Presented at: UNSPECIFIED.

Belanger, D; Passos, A; Riedel, S; McCallum, A; (2012) MAP inference in chains using column generation. In: (pp. pp. 1844-1852).

Belanger, D; Passos, A; Riedel, S; McCallum, A; (2012) Speeding up MAP with Column Generation and Block Regularization. Presented at: UNSPECIFIED.

Belanger, D; Passos, A; Riedel, S; McCallum, A; (2012) MAP Inference in Chains using Column Generation. In: Bartlett, PL and Pereira, FCN and Burges, CJC and Bottou, L and Weinberger, KQ, (eds.) (pp. pp. 1853-1861).

Benque, D; Bourton, S; Cockerton, C; Cook, B; Fisher, J; Ishtiaq, S; Piterman, N; (2012) Bma: Visual Tool for Modeling and Analyzing Biological Networks. In: Madhusudan, P and Seshia, SA, (eds.) (pp. pp. 686-692). Springer

Bentley, K; CLACK, CD; Cox, EJ; (2012) Diatom colony formation: A computational study predicts a single mechanism can produce both linkage and separation valves due to an environmental switch. Journal of Phycology , 48 (3) pp. 716-728. 10.1111/j.1529-8817.2012.01176.x.

Bentley, PJ; (2012) Digitized. Oxford University Press, USA

Berdine, J; Calcagno, C; O'Hearn, PW; (2012) Verification Condition Generation and Variable Conditions in Smallfoot. CoRR , abs/1204.4804

Berta, M; Christandl, M; Brandao, FGSL; Wehner, S; IEEE, ; (2012) Entanglement Cost of Quantum Channels. In: (pp. pp. 900-904).

Black, AP; O'Hearn, PW; (2012) Presentation of the SIGPLAN distinguished achievement award to Sir Charles Antony Richard Hoare, FRS, FREng, FBCS; and interview. In: Field, J and Hicks, M, (eds.) POPL. (pp. 1 - 2). ACM

Black, E; Hunter, A; (2012) Executable logic for dialogical argumentation. In: (pp. pp. 15-20).

Black, J; Furniss, DJ; Myketiak, C; Curzon, P; McOwan, P; (2012) Microwave Racing: An Interactive Activity to Enthuse Students About HCI. Presented at: CHI 2012: the 30th ACM Conference on Human Factors in Computing Systems: Workshop: A Contextualised Curriculum for HCI, Austin, Texas. Green open access

Blandford, A; Brown, S; Dobson, T; Faisal, S; Fiorentino, C; Frizzera, L; Giacometti, A; (2012) Designing Interactive Reading Environments for the Online Scholarly Edition. In: (Proceedings) Digital Humanities 2012.

Blandford, AE; Ruecker, S; Rockwell, G; Sondheim, D; et al, ; (2012) The Beginning, the Middle, and the End: New Tools for the Scholarly Edition. Scholarly and Research Communication , 3 (4) Green open access

Bozkurt, M; Harman, M; (2012) Optimised realistic test input generation using web services. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , 7515 L pp. 105-120. 10.1007/978-3-642-33119-0_9.

Bracegirdle, C; Barber, D; (2012) Bayesian conditional cointegration. In: Proceedings of the 29th International Conference on Machine Learning (ICML 2012). (pp. 1095 - 1102). International Conference on Machine Learning: Edinburgh, UK. Green open access

Brand ao, FGSL; Oppenheim, J; (2012) The quantum one-time pad in the presence of an eavesdropper. Physical Review Letters , 108 (4) , Article 040504. 10.1103/PhysRevLett.108.040504. Green open access

Brand ao, FGSL; Oppenheim, J; Strelchuk, S; (2012) When does noise increase the quantum capacity? Physical Review Letters , 108 (4) , Article 040501. 10.1103/PhysRevLett.108.040501. Green open access

Brandão, FGSL; Christandl, M; (2012) Detection of multiparticle entanglement: Quantifying the search for symmetric extensions. Physical Review Letters , 109 (16) 10.1103/PhysRevLett.109.160502.

Brandão, FGSL; Christandl, M; Yard, J; (2012) Erratum to: Faithful Squashed Entanglement (Commun. Math. Phys., (2012), 306, (805-830)). Communications in Mathematical Physics , 316 (1) pp. 287-288. 10.1007/s00220-012-1584-y.

Brotherston, J; (2012) Bunched Logics Displayed. STUDIA LOGICA , 100 (6) 1223 - 1254. 10.1007/s11225-012-9449-0.

Brotherston, J; Gorogiannis, N; Petersen, RL; (2012) A generic cyclic theorem prover. In: (pp. pp. 350-367).

Brown, B; Laken, L; Dutré, P; Gool, LV; Rusinkiewicz, S; Weyrich, T; (2012) Tools for Virtual Reassembly of Fresco Fragments. International Journal of Heritage in the Digital Era , 1 (2) pp. 313-330. 10.1260/2047-4970.1.2.313.


COURTOIS, N; (2012) Security Evaluation of GOST 28147-89 In View Of International Standardisation. Cryptologia , 36 (Issue ) pp. 2-13. 10.1080/01611194.2011.632807.

Caccioli, F; Bouchaud, J-P; Farmer, JD; (2012) Impact-adjusted valuation and the criticalty of leverage. Risk , 2012 (Decemb) 74-.

Capra, L; Quercia, D; (2012) Middleware for social computing: a roadmap. J. Internet Services and Applications , 3 (1) pp. 117-125. 10.1007/s13174-011-0045-8.

Carterette, B; Kanoulas, E; Yilmaz, E; (2012) Incorporating variability in user behavior into systems based evaluation. Presented at: UNSPECIFIED.

Carterette, B; Kanoulas, E; Yilmaz, E; (2012) Advances on the development of evaluation measures. Presented at: UNSPECIFIED.

Cha, M; Pérez, JAN; Haddadi, H; (2012) The spread of media content through blogs. Social Network Analysis and Mining , 2 (3) 249 - 264. 10.1007/s13278-011-0040-x. Green open access

Chaabane, A; De Cristofaro, E; Kaafar, M-A; Uzun, E; (2012) Privacy in Content-Oriented Networking: Threats and Countermeasures. Computer Communication Review , 43 (3) pp. 25-33.

Challis, E; Barber, D; (2012) Affine Independent Variational Inference. Neural Information Processing Systems 2195-2203 - 2195-2203.

Challis, E; Barber, D; (2012) Affine independent variational inference. Advances in Neural Information Processing Systems , 3 pp. 2186-2194.

Chan, S; Capra, L; (2012) From online browsing to offline purchases: Analyzing contextual information in the retail business. CEUR Workshop Proceedings , 889

Chase, M; Kohlweiss, M; Lysyanskaya, A; Meiklejohn, S; (2012) Malleable Proof Systems and Applications. IACR Cryptology ePrint Archive , 2012 p. 12.

Chase, M; Kohlweiss, M; Lysyanskaya, A; Meiklejohn, S; (2012) Malleable proof systems and applications. In: (pp. pp. 281-300).

Chase, M; Kohlweiss, M; Lysyanskaya, A; Meiklejohn, S; (2012) Succinct Malleable NIZKs and an Application to Compact Shuffles. IACR Cryptology ePrint Archive , 2012 p. 506.

Chase, M; Kohlweiss, M; Lysyanskaya, A; Meiklejohn, S; (2012) Verifiable Elections That Scale for Free. IACR Cryptology ePrint Archive , 2012 p. 697.

Chen, XA; Marquardt, N; Tang, A; Boring, S; Greenberg, S; (2012) Extending a mobile device's interaction space through body-centric interaction. In: (pp. pp. 151-160).

Cheney, J; Finkelstein, A; Ludäscher, B; Vansummeren, S; (2012) Principles of Provenance (Dagstuhl Seminar 12091). Dagstuhl Reports , 2 (2) pp. 84-113. 10.4230/DagRep.2.2.84.

Cinnéide, MO; Tratt, L; Harman, M; Counsell, S; Moghadam, IH; (2012) Experimental assessment of software metrics using automated refactoring. In: (pp. pp. 49-58).

Clancy, NT; Sauvage, V; Saso, S; Stoyanov, D; Corless, DJ; Boyd, M; Noakes, DE; (2012) Registration and analysis of multispectral images acquired during uterine transplantation surgery. In:

Clancy, NT; Stoyanov, D; Yang, GZ; Elson, DS; (2012) Stroboscopic illumination scheme for seamless 3D endoscopy. Presented at: UNSPECIFIED.

Clark, D; Hierons, RM; (2012) Squeeziness: An information theoretic measure for avoiding fault masking. Information Processing Letters , 112 (8-9) pp. 335-340. 10.1016/j.ipl.2012.01.004.

Collinson, M; Pym, D; Taylor, B; (2012) A framework for modelling security architectures in services ecosystems. In: (pp. pp. 64-79).

Conti, N; Jennett, C; Maestre, J; Sasse, MA; (2012) When did my mobile turn into a 'sellphone'?: a study of consumer responses to tailored smartphone ads. In: Proceedings of the 26th Annual BCS Interaction Specialist Group Conference on People and Computers. (pp. 215 - 220). British Computer Society: Swinton, UK. Green open access

Cook, B; Koskinen, E; Vardi, M; (2012) Temporal property verification as a program analysis task. FORMAL METHODS IN SYSTEM DESIGN , 41 (1) pp. 66-82. 10.1007/s10703-012-0153-5.

Cortes-Cornax, M; Matei, A; Letier, E; Dupuy-Chessa, S; Rieu, D; (2012) Intentional fragments: Bridging the gap between organizational and intentional levels in business processes. In: (pp. pp. 110-127).

Coughlan, T; Collins, TD; Adams, A; Rogers, Y; Haya, PA; Martn, E; (2012) The conceptual framing, design and evaluation of device ecologies for collaborative activities. International Journal of Human Computer Studies , 70 (10) pp. 765-779. 10.1016/j.ijhcs.2012.05.008.

Courtois, N; (2012) An Improved Differential Attack on Full GOST. [Digital scholarly resource]. http://eprint.iacr.org/2012/138

Courtois, N; Gupta, K; Hulme, D; (2012) Building and Transport Cards: Attacks and Defences. Presented at: Chip to Cloud Security Forum, Nice, France. Green open access

Courtois, N; Misztal, M; (2012) Aggregated Differentials and Cryptanalysis of PP-1 and GOST. Periodica Mathematica Hungarica , 65 (2) pp. 177-192. 10.1007/s10998-012-2983-8.

Courtois, N; Mourouzis, T; Hulme, D; (2012) Multiplicative Complexity and Solving Generalized Brent Equations With SAT Solvers. In: Ullrich, T and Lorenz, P, (eds.) (Proceedings) COMPUTATION TOOLS 2012, The Third International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking. (pp. 22 - 27). IARIA

Courtois, N; Sepherdad, P; Susil, P; Vaudenay, S; (2012) ElimLin Algorithm Revisited. In: Canteaut, A, (ed.) FSE 2012, Fast Software Encryption - 19th International Workshop. (pp. 306 - 325). Springer Berlin Heidelberg

Cubitt, TS; Eisert, J; Wolf, MM; (2012) The Complexity of Relating Quantum Channels to Master Equations. Communications in Mathematical Physics , 310 (2) pp. 383-418. 10.1007/s00220-011-1402-y.


Dan, H; Hierons, RM; (2012) Controllability Problems in MSC-based Testing. The Computer Journal , 55 , Article 11.

Dan, H; Hierons, RM; (2012) SMT-C: A Semantic Mutation Testing Tools for C. In: 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation. (pp. 654 - 663). IEEE

Dan, H; Hierons, RM; (2012) Semantic Mutation Analysis of Floating-point Comparison. In: Proceedings of the 5th IEEE International Conference on Software Testing, Verification and Validation. (pp. 290-299 - 290-299).

Dan, H; Hierons, RM; Counsell, S; (2012) A framework for pathologies of message sequence charts. Information and Software Technology , 54 (11) 1283 - 1295-1283 - 1295. 10.1016/j.infsof.2012.06.010.

Danezis, G; (2012) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , 7035 L

Danezis, G; (2012) Trust as a methodological tool in security engineering. In: Trust, Computing, and Society. (pp. 68-92).

Danezis, G; Kohlweiss, M; Livshits, B; Rial, A; (2012) Private client-side profiling with random forests and hidden markov models. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , 7384 L pp. 18-37. 10.1007/978-3-642-31680-7_2.

De Cristofaro, E; Di Pietro, R; (2012) Preserving Query Privacy in Urban Sensing Systems. Presented at: UNSPECIFIED.

De Cristofaro, E; Faber, S; Gasti, P; Tsudik, G; (2012) GenoDroid: Are Privacy-Preserving Genomic Tests Ready for Prime Time? Presented at: UNSPECIFIED.

De Cristofaro, E; Gasti, P; Tsudik, G; (2012) Fast and Private Computation of Cardinality of Set Intersection and Union. Presented at: UNSPECIFIED.

De Cristofaro, E; Soriente, C; Tsudik, G; Williams, A; (2012) Hummingbird: Privacy at the time of Twitter. Presented at: UNSPECIFIED, IEEE.

De Cristofaro, E; Tsudik, G; (2012) Experimenting with Fast Private Set Intersection. Presented at: UNSPECIFIED.

Del Prete, M.L.; (2012) Personalised service discovery in mobile environments. Doctoral thesis, UCL (University College London). Green open access

Dermeval, D; Pimentel, J; Silva, CTLL; Castro, J; Santos, E; Guedes, G; Lucena, M; (2012) STREAM-ADD - Supporting the Documentation of Architectural Design Decisions in an Architecture Derivation Process. In: Bai, X and Belli, F and Bertino, E and Chang, CK and Elçi, A and Seceleanu, CC and Xie, H and Zulkernine, M, (eds.) (pp. pp. 602-611). IEEE Computer Society

Desmedt, Y; (2012) A Brief Survey of Research Jointly with Jean-Jacques Quisquater. In: Naccache, D, (ed.) (pp. pp. 8-12). Springer

Desmedt, Y; Pieprzyk, J; Steinfeld, R; (2012) Active Security in Multiparty Computation over Black-Box Groups. In: Visconti, I and Prisco, RD, (eds.) (pp. pp. 503-521). Springer

Di Chio, C; Agapitos, A; Cagnoni, S; Cotta, C; De Vega, FF; Di Caro, G; Drechsler, R; (2012) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , 7248 L

Dillig, I; Dillig, T; Aiken, A; (2012) Automated error diagnosis using abductive inference. Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) pp. 181-191. 10.1145/2254064.2254087.

Dillig, I; Dillig, T; McMillan, KL; Aiken, A; (2012) Minimum satisfying assignments for SMT. In: (pp. pp. 394-409).

Diriye, A; Tombros, A; Blandford, A; (2012) A little interaction can go a long way: Enriching the query formulation process. Presented at: UNSPECIFIED.

Dorard, L.R.M.; (2012) Bandit algorithms for searching large spaces. Doctoral thesis, UCL (University College London). Green open access

Dowell, J; (2012) Review of evaluations of argument diagramming tools in collaborative learning. In: Pinkwart, N and McLaren, B, (eds.) Educational Technologies for Teaching Argumentation Skills. (56 - 70). Bentham Science: Bussum Holland.

Duarte Rosa, M.J.; (2012) Development and application of model selection methods for investigating brain function. Doctoral thesis, UCL (University College London). Green open access

Ducros, N; Bassi, A; D'Andrea, C; Valentini, G; Schweiger, M; Arridge, SR; (2012) Virtual source patterns for fluorescence tomography. In: (pp. pp. 82-85). IEEE

Díez-Fernández, M; Teleña, SA; Gorse, D; (2012) Construction of emerging markets exchange traded funds using multiobjective particle swarm optimisation. Presented at: UNSPECIFIED.


Erotokritou, S; Desmedt, Y; (2012) Human Perfectly Secure Message Transmission Protocols and Their Applications. In: Visconti, I and Prisco, RD, (eds.) (pp. pp. 540-558). Springer


Fa, R; Nandi, AK; Gong, L; (2012) Clustering analysis for gene expression data: A methodological review. In: (pp. pp. 1-6). IEEE

Feng, X.; (2012) Forensic detection of re-quantization and re-sampling. Doctoral thesis, UCL (University College London).

Figini, M; Alexander, DC; Fasano, F; Farina, L; Baselli, G; Tagliavini, F; Bizzi, A; (2012) Mathematical models of diffusion in prion disease. In: (Proceedings) Italian chapter of the international society for magnetic resonance in medicine.

Fitzgerald, CEB; (2012) Structured Discussion and Early Failure Prediction in Feature Requests. Doctoral thesis, UCL (University College London). Green open access

Fleck, B; Heber, B; Vourlidas, A; van Driel-Gesztelyi, L; Mandrini, CH; Leibacher, J; (2012) Preface. Solar Physics , 281 (1) pp. 1-2. 10.1007/s11207-012-0120-8.

Fleck, R; (2012) Designing for Reflection, Sustainability and Simplicity. Presented at: Workshop on Simple, Sustainable living, CHI2012, Austin, Texas. Green open access

Fleck, R; (2012) Rating reflection on experience: A case study of teachers' and tutors' reflection around images. Interacting with Computers , 24 (6) pp. 439-449. 10.1016/j.intcom.2012.07.003.

Fletcher, T; Shawe-Taylor, J; (2012) Multiple Kernel Learning with Fisher Kernels for High Frequency Currency Prediction. Computational Economics pp. 1-24.

Fletcher, T.S.B.; (2012) Machine learning for financial market prediction. Doctoral thesis, UCL (University College London). Green open access

Fleury, C; Duval, T; Gouranton, V; Steed, A; (2012) Evaluation of remote collaborative manipulation for scientific data analysis. In: Green, M and Stuerzlinger, W and Latoschik, ME and Kapralos, B, (eds.) VRST. (pp. 129 - 136). ACM

Fu, R; (2012) The Quality of Probabilistic Search in Unstructured Distributed Information Retrieval Systems. Doctoral thesis, UCL (University College London). Green open access

Fuhs, C; Kop, C; (2012) Polynomial Interpretations for Higher-Order Rewriting. CoRR , abs/12

Fuhs, C; Kop, C; (2012) Polynomial Interpretations for Higher-Order Rewriting. In: Tiwari, A, (ed.) Proceedings of the Conference on Rewriting Techniques and Applications (RTA'12). (pp. 176 - 192). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik Green open access

Furmston, T; Barber, D; (2012) Efficient Inference in Markov Control Problems. CoRR , abs/1202.3720

Furmston, T; Barber, D; (2012) A Unifying Perspective of Parametric Policy Search Methods for Markov Decision Processes. In: Advances in Neural Information Processing Systems 25 (NIPS 2012). (pp. 2726 - 2734). Neural Information Processing Systems Foundation Green open access

Furniss, D; Back, J; Blandford, A; (2012) Cognitive resilience: Can we use Twitter to make strategies more tangible? In: Turner, P and Turner, S, (eds.) ACM International Conference Proceeding Series. (pp. 96 - 99). Proceedings of the 30th European Conference on Cognitive Ergonomics: Edinburgh, UK.


Galanis, D; Lampouras, G; Androutsopoulos, I; (2012) Extractive Multi-Document Summarization with Integer Linear Programming and Support Vector Regression. In: Kay, M and Boitet, C, (eds.) (pp. pp. 911-926). Indian Institute of Technology Bombay

Garcia Cifuentes, C; Sturzel, M; Jurie, F; Brostow, GJ; (2012) Motion Models That Only Work Sometimes. Presented at: British Machine Vision Conference, Surrey, UK.

Ghosh, A; Deriche, R; (2012) Fast and Analytical EAP Approximation from a 4th-Order Tensor. Int. J. Biomedical Imaging , 2012 192730:1-192730:1. 10.1155/2012/192730.

Giesl, J; Ströder, T; Schneider-Kamp, P; Emmes, F; Fuhs, C; (2012) Symbolic Evaluation Graphs and Term Rewriting - A General Methodology for Analyzing Logic Programs. Presented at: UNSPECIFIED.

Giesl, J; Ströder, T; Schneider-Kamp, P; Emmes, F; Fuhs, C; (2012) Symbolic evaluation graphs and term rewriting: a general methodology for analyzing logic programs. In: Schreye, DD and Janssens, G and King, A, (eds.) PPDP. (pp. 1 - 12). ACM Green open access

Giotsas, V; Zhou, S; IEEE, ; (2012) Valley-free violation in Internet routing - Analysis based on BGP Community data. In:

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

Gliozzo, G; Vitos, M; Stevens, M; (2012) From education to action: How technology enables public participation in the context of environmental conservation. Presented at: Conference on Public Participation in Scientific Research (PPSR2012), Portland, Oregon, USA. Green open access

Glowacka, D; (2012) Learning from interaction: models and applications. Doctoral thesis, UCL (University College London). Green open access

Gning, A; Mihaylova, L; Ristic, B; Abdallah, F; (2012) Particle Filtering Combined with Interval Methods for Tracking Applications. In: Mallick, M and Krishna- murthy, V and Vo, B, (eds.) Integrated Tracking, Classification, and Sensor Management. John Wiley & Sons

Gold, NE; (2012) A Framework to Evaluate the Adoption Potential of Interactive Performance Systems for Popular Music. In: Proceedings of the 9th Sound and Music Computing Conference: Copenhagen, Denmark, 12 – 14 July 2012. (pp. pp. 284-289). SMC Network Green open access

Gould, SJJ; Cox, AL; Blandford, A; (2012) Using wikis to encourage collaborative writing and learning. In: : CHI 2012 Workshop: A Contextualised Curriculum for HCI.

Greenberg, S; Carpendale, MST; Marquardt, N; Buxton, B; (2012) The narrative storyboard: telling a story about use and context over time. Interactions , 19 (1) pp. 64-69. 10.1145/2065327.2065340.

Greenhalgh, A.P.; (2012) Power efficient communications in low power ad hoc radio networks. Doctoral thesis, UCL (University College London). Green open access

Groth, J; Ostrovsky, R; Sahai, A; (2012) New Techniques for Noninteractive Zero-Knowledge. J. ACM , 59 (3) p. 11. 10.1145/2220357.2220358.

Groth, J; Sahai, A; (2012) Efficient Noninteractive Proof Systems for Bilinear Groups. SIAM J. Comput. , 41 (5) pp. 1193-1232. 10.1137/080725386.

Grünewälder, S; Lever, G; Baldassarre, L; Patterson, S; Gretton, A; Pontil, M; (2012) Conditional mean embeddings as regressors. Proceedings of the 29th International Conference on Machine Learning, ICML 2012 , 2 pp. 1823-1830.

Grünewälder, S; Lever, G; Baldassarre, L; Patterson, S; Gretton, A; Pontil, M; (2012) Conditional mean embeddings as regressors - supplementary. CoRR , abs/12

Grünewälder, S; Lever, G; Baldassarre, L; Pontil, M; Gretton, A; (2012) Modelling transition dynamics in MDPs with RKHS embeddings. In: icml.cc / Omnipress

Gu, Z; Barr, ET; Schleck, D; Su, Z; (2012) Reusing debugging knowledge via trace-based bug search. Presented at: UNSPECIFIED.

Guan, N; Tao, D; Luo, Z; Shawe-Taylor, J; (2012) MahNMF: Manhattan Non-negative Matrix Factorization. CoRR , abs/1207.3438


Harrison, C; Jamieson, K; (2012) Power-aware rateless codes in mobile wireless communication. In: Kandula, S and Padhye, J and Sirer, EG and Govindan, R, (eds.) (pp. pp. 25-30). ACM

Heiskala, J; Kolehmainen, V; Tarvainen, T; Kaipio, JP; Arridge, SR; (2012) Approximation error method can reduce artifacts due to scalp blood flow in optical brain activation imaging. J Biomed Opt , 17 (9) pp. 96012-96011. 10.1117/1.JBO.17.9.096012.

Herbster, M; Pasteris, S; Vitale, F; (2012) Online Sum-Product Computation Over Trees. Presented at: UNSPECIFIED.

Hindi, R.; (2012) Discrimination of near-native decoy structures using statistical potentials. Doctoral thesis, UCL (University College London). Green open access

Hindle, A; Barr, ET; Su, Z; Gabel, M; Devanbu, PT; (2012) On the naturalness of software. In: Glinz, M and Murphy, GC and Pezzè, M, (eds.) (pp. pp. 837-847). IEEE Computer Society

Hirsch, R; Hodkinson, I; (2012) Completions and Complete Representability for Cylindric Algebras. In: Andreka, H and Nemeti, I and Ferenczki, M, (eds.) Cylindric-like algebras and Algebraic Logic. (pp. 61-89). Springer Verlag: Berlin/ Heidelberg, Germany. Green open access

Hristova, D; Mashhadi, A; Quattrone, G; Capra, L; (2012) Mapping community engagement with urban crowd-sourcing. AAAI Workshop - Technical Report , WS-12- pp. 14-19.

Huang, J; Alexander, D; (2012) Probabilistic event cascades for Alzheimer's disease. Advances in Neural Information Processing Systems , 4 pp. 3095-3103.


Ianus, A; Siow, B; Drobnjak, I; Zhang, H; Alexander, DC; (2012) Gaussian Phase Distribution Approximations of the Square Wave Oscillating Gradient Spin-Echo (SWOGSE) Diffusion Signal. In: (Proceedings) International society for magnetic resonance in medicine.

Ioannidis, C; Pym, D; Williams, J; (2012) Information security trade-offs and optimal patching policies. European Journal of Operational Research , 216 (2) pp. 434-444. 10.1016/j.ejor.2011.05.050.


Jain, A; Thormählen, T; Ritschel, T; Seidel, H-P; (2012) Exploring Shape Variations by 3D-Model Decomposition and Part-based Recombination. Comput. Graph. Forum , 31 (2) pp. 631-640. 10.1111/j.1467-8659.2012.03042.x.

Jambor, T; Wang, J; Lathia, N; (2012) Using control theory for stable and efficient recommender systems. In: (pp. pp. 11-20).

Janssen, CP; (2012) The Quest for a Unified Theory of Multitasking. COGN SYST RES , 13 (1) 95 - 97. 10.1016/j.cogsys.2011.03.001.

Janssen, CP; (2012) Understanding Strategic Adaptation in Dual-Task Situations as Cognitively Bounded Rational Behavior. Doctoral thesis, UCL (University College London). Green open access

Janssen, CP; Brumby, DP; Howes, A; (2012) Towards a better understanding of adaptive multitasking by individuals. In: Konstan, JA and Chi, EH and Höök, K, (eds.) CHI Extended Abstracts. (pp. 2525 - 2530). ACM

Janssen, CP; Gray, WD; (2012) When, what, and how much to reward in reinforcement learning-based models of cognition. Cogn Sci , 36 (2) pp. 333-358. 10.1111/j.1551-6709.2011.01222.x.

Janssen, CP; Howes, A; Brumby, DP; (2012) Towards optimal payoff manipulations. Presented at: UNSPECIFIED.

Jeavons, P; Petke, J; (2012) Local Consistency and SAT-Solvers. J. Artif. Intell. Res. (JAIR) , 43 pp. 329-351. 10.1613/jair.3531.

Jennett, C; Malheiros, M; Brostoff, S; Angela Sasse, M; (2012) Privacy for loan applicants versus predictive power for loan providers: Is it possible to bridge the gap? In: European Data Protection: In Good Health? (pp. 35-51).

Johnson, R; Rogers, Y; Van Der Linden, J; Bianchi-Berthouze, N; (2012) Being in the thick of in-the-wild studies: The challenges and insights of researcher participation. In: (pp. pp. 1135-1144).

Johnson, R; Rogers, Y; van der Linden, J; Bianchi-Berthouze, N; (2012) Being in the thick of in-the-wild studies: The challenges and insights of researcher participation. In: (Proceedings) Proceedings of the 2012 ACM annual conference on Human Factors in Computing Systems (CHI'12). (pp. pp. 1135-1144).

Julier, SJ; (2012) Fusion of dependent information in posegraphs. Presented at: UNSPECIFIED.


Kamsin, A; Blandford, A; Cox, AL; (2012) Personal task management: My tools fall apart when I'm very busy! Presented at: UNSPECIFIED.

Kanovich, M; (2012) Light linear logics with controlled weakening: Expressibility, confluent strong normalization. Annals of Pure and Applied Logic , 163 (7) pp. 854-874. 10.1016/j.apal.2011.09.012.

Kargupta, S; Black, S; (2012) A Novel Approach for Service Performance Analysis and Forecast. J. Web Eng. , 11 (2) pp. 146-176.

Kazai, G; Craswell, N; Yilmaz, E; Tahaghoghi, SMM; (2012) An analysis of systematic judging errors in information retrieval. Presented at: UNSPECIFIED.

Kirstein, P; (2012) IPv6 Status and Uses. International Journal of Informatics Society (IJIS) , 4 (1) 3 - 29. Green open access

Kolehmainen, V; Schweiger, M; Nissilä, I; Tarvainen, T; Arridge, SR; Kaipio, JP; (2012) Approximation errors and model reduction in three-dimensional diffuse optical tomography. In:

Kowalska, K; Peel, L; (2012) Maritime Anomaly Detection using Gaussian Process Active Learning. In: Information Fusion.

Krinke, J; Roy, CK; (2012) Message from the program co-chairs. 2012 6th International Workshop on Software Clones, IWSC 2012 - Proceedings 10.1109/IWSC.2012.6227859.

Krohn, J; Gorse, D; (2012) Extracting key gene regulatory dynamics for the direct control of mechanical systems. Presented at: UNSPECIFIED.

Krol, K; Moroz, M; Sasse, MA; (2012) Don't work. Can't work? Why it's time to rethink security warnings. In: Risk and Security of Internet and Systems (CRiSIS), 2012 7th International Conference on. (pp. 1 - 8).

Kwok, PP; Ciccarelli, O; Chard, DT; Miller, DH; Alexander, DC; (2012) Predicting clinically definite multiple sclerosis from onset using SVM. Presented at: UNSPECIFIED.

Kwon, JY; Ghodasra, DH; Karp, KA; Ying, GS; Wilson, CM; Huang, J; Mills, MD; (2012) Retinal vessel changes after laser treatment for retinopathy of prematurity. J AAPOS , 16 pp. 350-353. 10.1016/j.jaapos.2012.04.002.

Kyung, KU; Lee, JY; Park, J; Srinivasan, MA; (2012) wUbi-Pen: Sensory feedback stylus interacting with graphical user interface. Presence: Teleoperators and Virtual Environments , 21 (2) pp. 142-155.

Küssner, MB; Prior, HM; Gold, NE; Leech-Wilkinson, D; (2012) Getting the shapes “right” at the expense of creativity? How musicians’ and non-musicians’ visualizations of sound differ. In: Proceedings of 12th International Conference on Music Perception and Cognition (ICMPC)/8th Triennial Conference of the European Society for the Cognitive Sciences of Music (ESCOM).


Lahav, O; Schloerb, DW; Kumar, S; Srinivasan, MA; (2012) A Virtual Environment for People Who Are Blind - A Usability Study. J Assist Technol , 6 (1) 10.1108/17549451211214346.

Lahav, O; Schloerb, DW; Srinivasan, MA; (2012) Newly blind persons using virtual environment system in a traditional orientation and mobility rehabilitation program: a case study. Disabil Rehabil Assist Technol , 7 (5) pp. 420-435. 10.3109/17483107.2011.635327.

Lampos, V; (2012) On voting intentions inference from Twitter content: a case study on UK 2010 General Election.

Langdon, WB; (2012) Creating and debugging performance CUDA C. In: UNSPECIFIED (pp. 7-50).

Langdon, WB; (2012) Distilling GeneChips with Genetic Programming on the Emerald GPU supercomputer. SIGEvolution newsletter of the ACM Special Interest Group on Genetic and Evolutionary Computation , 6 (1) pp. 15-21. 10.1145/2384697.2384699.

Langdon, WB; (2012) Genetic improvement of programs. Mendel pp. 605-610.

Langdon, WB; (2012) The Halting Problem in the Clear Light of Probability. Communications of the ACM , 55 (6) p. 6. 10.1145/2184319.2184321.

Langdon, WB; (2012) Initial experiences of the Emerald: e-Infrastructure South GPU supercomputer. : Department of Computer Science, University College London.

Langdon, WB; Harman, M; (2012) Genetically Improving 50000 Lines of C++. : Department of Computer Science, University College London.

Lansdall-Welfare, T; Lampos, V; Cristianini, N; (2012) Nowcasting the mood of the nation. Significance , 9 (4) pp. 26-28. 10.1111/j.1740-9713.2012.00588.x.

Ledo, D; Nacenta, MA; Marquardt, N; Boring, S; Greenberg, S; (2012) The haptictouch toolkit: Enabling exploration of haptic interactions. In: (pp. pp. 115-122).

Lehtikangas, O; Tarvainen, T; Kim, AD; (2012) Modeling light propagation in tissues using the corrected diffusion approximation. In:

Leung, MH; Bryson, K; Freystatter, K; Pichon, B; Edwards, G; Charalambous, BM; Gillespie, SH; (2012) Sequetyping: serotyping Streptococcus pneumoniae by a single PCR sequencing strategy. J Clin Microbiol , 50 (7) pp. 2419-2427. 10.1128/JCM.06384-11. Gold open access

Lever, G; Diethe, T; Shawe-Taylor, J; (2012) Data dependent kernels in nearly-linear time. AISTATS , 22 pp. 685-693.

Lim, SL; Harman, M; Susi, A; (2012) Using genetic algorithms to search for key stakeholders in large-scale software projects. pp. 118-134. 10.4018/978-1-4666-2199-2.ch007.

Linden, JVD; Braun, T; Rogers, Y; Oshodi, M; Spiers, A; McGoran, D; Cronin, R; (2012) Haptic lotus: a theatre experience for blind and sighted audiences. In: Konstan, JA and Chi, EH and Höök, K, (eds.) CHI Extended Abstracts. (pp. 1471 - 1472). ACM

Liu, C; Huot, S; Diehl, J; Mackay, WE; Beaudouin-Lafon, M; (2012) Evaluating the benefits of real-time feedback in mobile augmented reality with hand-held devices. In: Konstan, JA and Chi, EH and Höök, K, (eds.) (pp. pp. 2973-2976). ACM

Livan, G; Inoue, JI; Scalas, E; (2012) On the non-stationarity of financial time series: Impact on optimal portfolio selection. Journal of Statistical Mechanics: Theory and Experiment , 2012 (7) 10.1088/1742-5468/2012/07/P07025.

Livan, G; Rebecchi, L; (2012) Asymmetric correlation matrices: An analysis of financial data. European Physical Journal B , 85 (6) 10.1140/epjb/e2012-30085-3.


Mac Aodha, O; Campbell, NDF; Nair, A; Brostow, GJ; (2012) Patch based synthesis for single depth image super-resolution. In: Computer Vision – ECCV 2012. (pp. 71 -84). Springer-Verlag Berlin Heidelberg: Germany. Green open access

MacDonald, C; Wang, J; Clarke, C; (2012) 2nd international workshop on diversity in Document Retrieval (DDR 2012). Presented at: UNSPECIFIED.

Macdonald, C; Clarke, C; Wang, J; (2012) The 1st international workshop on diversity in document retrieval. Presented at: UNSPECIFIED.

Mahmood, S; Desmedt, Y; (2012) Your Facebook Deactivated Friend or a Cloaked Spy (Extended Abstract). CoRR , abs/12

Mahmood, S; Desmedt, Y; (2012) Your Facebook deactivated friend or a cloaked spy. In: (pp. pp. 367-373). IEEE Computer Society

Mahmood, S; Desmedt, Y; (2012) Online Social Networks, a Criminals Multipurpose Toolbox (Poster Abstract). In: Balzarotti, D and Stolfo, SJ and Cova, M, (eds.) (pp. pp. 374-375). Springer

Mahmood, S; Desmedt, Y; (2012) Usable Privacy by Visual and Interactive Control of Information Flow. In: Christianson, B and Malcolm, JA and Stajano, F and Anderson, J, (eds.) (pp. pp. 181-188). Springer

Malheiros, M; Brostoff, S; Jennett, C; Sasse, A; (2012) Would You Sell Your Mother's Data? Personal Data Disclosure in a Simulated Credit Card Application. In: 11th Annual Workshop on the Economics of Information Security. WEIS: Berlin. Green open access

Malheiros, M; Jennett, C; Patel, S; Brostoff, S; Sasse, MA; (2012) Too close for comfort: A study of the effectiveness and acceptability of rich-media personalized advertising. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. (pp. 579 - 588). Association for Computer Machinery Green open access

Marazzina, D; Germano, G; Fusai, G; (2012) Pricing credit derivatives in a Wiener-Hopf framework. In: Cummins, M and Murphy, F and Miller, JJH, (eds.) Topics in Numerical Methods for Finance. (pp. 139-154). Springer US: New York, NY, USA.

Marquardt, N; Greenberg, S; (2012) Informing the design of proxemic interactions. IEEE Pervasive Computing , 11 (2) pp. 14-23. 10.1109/MPRV.2012.15.

Martin, W; Abdallah, D; El-Abiary, A; Dalbah, Y; Julier, S; Terras, M; Iliffe, R; (2012) Newton Spectrum: Nonlinear Text Browsing of a Large Corpus. Presented at: UNSPECIFIED.

Masci, P; Furniss, D; Curzon, P; Harrison, MD; Blandford, A; (2012) Supporting field investigators with PVS: A case study in the healthcare domain. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , 7527 L pp. 150-164. 10.1007/978-3-642-33176-3_11.

Maurer, A; Pontil, M; (2012) Transfer learning in a heterogeneous environment. 2012 3rd International Workshop on Cognitive Information Processing, CIP 2012 10.1109/CIP.2012.6232893.

McMillan, C; Brun, C; Siddiqui, S; Churgin, M; Libon, D; Yushkevich, P; Zhang, H; (2012) The Contribution of White Matter Neuroimaging to Multimodal Diagnosis of Frontotemporal Lobar Degeneration. Presented at: UNSPECIFIED.

Meiklejohn, S; Erway, CC; Küpçü, A; Hinkle, T; Lysyanskaya, A; (2012) ZKPDL: A Language-Based System for Efficient Zero-Knowledge Proofs and Electronic Cash. IACR Cryptology ePrint Archive , 2012 p. 226.

Mirghaemi, M.; (2012) Bayesian learning in financial markets: economic news and high-frequency European sovereign bond markets. Doctoral thesis, UCL (University College London).

Mishari, MA; De Cristofaro, E; El Defrawy, K; Tsudik, G; (2012) Harvesting SSL Certificate Data to Identify Web-Fraud. International Journal of Network Security (IJSN)

Mitra, N; Cheng, M; Zhang, G; Huang, X; Hu, S; (2012) Region contrast-based saliency detection approach.

Moghadam, IH; Cinnéide, MO; (2012) Automated refactoring using design differencing. Presented at: UNSPECIFIED.

Molina-Markham, A; Danezis, G; Fu, K; Shenoy, P; Irwin, D; (2012) Designing privacy-preserving smart meters with low-cost microcontrollers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , 7397 L pp. 239-253. 10.1007/978-3-642-32946-3_18.

Mondal, M; Roy, CK; Rahman, MS; Saha, RK; Krinke, J; Schneider, KA; (2012) Comparative stability of cloned and non-cloned code: An empirical study. In: (pp. pp. 1227-1234).

Montoya-Martínez, J; Artés-Rodriguez, A; Hansen, LK; Pontil, M; (2012) Structured sparsity regularization approach to the EEG inverse problem. 2012 3rd International Workshop on Cognitive Information Processing, CIP 2012 10.1109/CIP.2012.6232898.

Morales, JM; (2012) Structured sparsity with convex penalty functions. Doctoral thesis, UCL (University College London). Green open access

Morgan, GL; (2012) Regional variation models of white matter microstructure. Doctoral thesis, UCL (University College London). Green open access

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

Morton, A; Sasse, MA; (2012) Privacy is a process, not a PET: a theory for effective privacy practice. In: NSPW '12 Proceedings of the 2012 workshop on New Security Paradigms. (pp. 87 - 104). Association for Computer Machinery: New York. Green open access

Mourão-Miranda, J; Almeida, JR; Hassel, S; de Oliveira, L; Versace, A; Marquand, AF; Sato, JR; (2012) Pattern recognition analyses of brain activation elicited by happy and neutral faces in unipolar and bipolar depression. Bipolar Disord , 14 (4) pp. 451-460. 10.1111/j.1399-5618.2012.01019.x. Gold open access

Mourão-Miranda, J; Oliveira, L; Ladouceur, CD; Marquand, A; Brammer, M; Birmaher, B; Axelson, D; (2012) Pattern recognition and functional neuroimaging help to discriminate healthy adolescents at risk for mood disorders from low risk adolescents. PLoS One , 7 (2) , Article e29482. 10.1371/journal.pone.0029482. Green open access

Muller, J; Hunter, A; (2012) An argumentation-based approach for decision making. Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI , 1 pp. 564-571. 10.1109/ICTAI.2012.82.

Mylonas, D; Macdonald, L; (2012) Colour naming for colour communication. In: Colour Design: Theories and Applications. (pp. 254-270).


Naradowsky, J; Riedel, S; Smith, DA; (2012) Improving NLP through marginalization of hidden syntactic structure. In: (pp. pp. 810-820).

Nguyen, CH; Ritschel, T; Myszkowski, K; Eisemann, E; Seidel, H-P; (2012) 3D Material Style Transfer. Comput. Graph. Forum , 31 (2) pp. 431-438. 10.1111/j.1467-8659.2012.03022.x.

Niemann, B; Heyn, T; Vargas, A; Titomanlio, S; Grau, G; Beeharee, AK; (2012) SafeTRIP - Interactive Satellite Services for Automotive Applications and Road Safety. In: Heppner, J and Heuberger, A and Kirsch, K and Elst, G and Hanke, R, (eds.) Microelectronic Systems. (? - ?). Springer

Nugent, T; Jones, DT; (2012) Membrane protein structural bioinformatics. Journal of Structural Biology , 179 (3) pp. 327-337. 10.1016/j.jsb.2011.10.008.

Nugent, T; Jones, DT; (2012) Membrane protein structural bioinformatics. J Struct Biol , 179 (3) pp. 327-337. 10.1016/j.jsb.2011.10.008.


Oxtoby, NP; Ralph, JF; Durniak, C; Samsonov, D; (2012) Tracking shocked dust: State estimation for a complex plasma during a shock wave. Physics of Plasmas , 19 (1) 013708-013708. 10.1063/1.3678201.


Panagiotaki, E; Siow, B; Hall, MG; Alexander, DC; Schneider, T; Lythgoe, MF; (2012) Compartment models of the diffusion MR signal in brain white matter: A taxonomy and comparison. NeuroImage , 59 (3) 2241 - 2254. 10.1016/j.neuroimage.2011.09.081.

Parkin, SE; Morgan, G; (2012) Toward reusable SLA monitoring capabilities. Softw., Pract. Exper. , 42 (3) pp. 261-280. 10.1002/spe.1060.

Parrado-Hernández, E; Gómez-Verdejo, V; Martínez-Ramón, M; Shawe-Taylor, J; Alonso, P; Pujol, J; Menchón, JM; (2012) Voxel selection in MRI through bagging and conformal analysis: Application to detection of obsessive compulsive disorder. Proceedings - 2012 2nd International Workshop on Pattern Recognition in NeuroImaging, PRNI 2012 pp. 49-52. 10.1109/PRNI.2012.30.

Pavlou, M; Kanegaonkar, RG; Swapp, D; Bamiou, DE; Slater, M; Luxon, LM; (2012) The effect of virtual reality on visual vertigo symptoms in patients with peripheral vestibular dysfunction: a pilot study. J Vestib Res , 22 (5-6) pp. 273-281. 10.3233/VES-120462.

Peel, L; (2012) Supervised Blockmodelling. CoRR , abs/1209.5561

Pengiran Salleh Ab Rahaman, PA; (2012) A Human-Centred Approach to National Identity Management Systems. Doctoral thesis, UCL (University College London). Green open access

Perez-Marcos, D; Sanchez-Vives, MV; Slater, M; (2012) Is my hand connected to my body? The impact of body continuity and arm alignment on the virtual hand illusion. Cogn Neurodyn , 6 (4) pp. 295-305. 10.1007/s11571-011-9178-5.

Perez-Marcos, D; Solazzi, M; Steptoe, W; Oyekoya, O; Frisoli, A; Weyrich, T; Steed, A; (2012) A fully immersive set-up for remote interaction and neurorehabilitation based on virtual body ownership. Front Neurol , 3 110-. 10.3389/fneur.2012.00110. Gold open access

Pimentel, J; Castro, J; Santos, E; Finkelstein, A; (2012) Towards Requirements and Architecture Co-evolution. In: Bajec, M and Eder, J, (eds.) (pp. pp. 159-170). Springer

Pimentel, J; Santos, E; Dermeval, D; Castro, J; Finkelstein, A; (2012) Towards Architectural Evolution through Model Transformations. In: (pp. pp. 448-451). Knowledge Systems Institute Graduate School

Porter, C; Sasse, MA; Letier, E; (2012) Designing acceptable user registration processes for e-services. In: Proceedings of HCI 2012 The 26th BCS Conference on Human Computer Interaction. BISL Green open access

Powell, S; Leung, TS; (2012) Acousto-optic monitoring of high-intensity focused ultrasound lesion formation with fibre-coupled autocorrelation detection. Proceedings of Meetings on Acoustics , 15 10.1121/1.4803866.

Powell, S; Leung, TS; (2012) Highly parallel Monte-Carlo simulations of the acousto-optic effect in heterogeneous turbid media. Journal of Biomedical Optics , 17 (4) 045002-1-045002-11. 10.1117/1.JBO.17.4.045002. Green open access

Prince, SJD; (2012) Computer Vision: Models, Learning and Inference. Cambridge University Press

Probst, C; Angela Sasse, M; Pieters, W; Dimkov, T; Luysterborg, E; Arnaud, M; (2012) Privacy penetration testing: How to establish trust in your cloud provider. In: European Data Protection: In Good Health? (pp. 251-266).


Quercia, D; Ellis, J; Capra, L; Crowcroft, J; (2012) Tracking "gross community happiness" from tweets. In: Poltrock, SE and Simone, C and Grudin, J and Mark, G and Riedl, J, (eds.) (pp. pp. 965-968). ACM


Rahaman, A; Sasse, MA; (2012) Designing National Identity: An Organisational Perspective on Requirements for National Identity Management Systems. In: Lloret Mauri, J and Martinez, G and Berntzen, L and Smedberg, Å, (eds.) ICDS 2012, The Sixth International Conference on Digital Society. (pp. 40 - 49). International Academy, Research, and Industry Association (IARIA): Valencia, Spain.

Rajkomar, A; Blandford, A; (2012) A distributed cognition model for analysing interruption resumption during infusion administration. Presented at: UNSPECIFIED.

Rajkomar, A; Blandford A, ; Mayer, A; (2012) Situated Interactions of Lay Users With Home Hemodialysis Technology: Influence of Broader Context of Use. In: Proceedings of the 2012 Symposium on Human Factors and Ergonomics in Health Care.

Rial, A; Danezis, G; (2012) Privacy-preserving smart metering. ISSE 2012 Securing Electronic Business Processes: Highlights of the Information Security Solutions Europe 2012 Conference pp. 105-115. 10.1007/978-3-658-00333-3_11.

Riedel, S; Smith, D; McCallum, A; (2012) Parse, price and cut-delayed column and row generation for graph based parsers. In: (pp. pp. 732-743).

Ritschel, T; Eisemann, E; (2012) A Computational Model of Afterimages. Comput. Graph. Forum , 31 (2) pp. 529-534. 10.1111/j.1467-8659.2012.03053.x.

Rogers, Y; (2012) HCI Theory: Classical, Modern, and Contemporary. Synthesis Lectures on Human-Centered Informatics. Morgan & Claypool Publishers

Rogers, Y; Sharp, H; Preece, J; (2012) Interaction Design - Beyond Human-Computer Interaction, 3rd Edition. Wiley

Romera-Paredes, B; Argyriou, A; Bianchi-Berthouze, N; Pontil, M; (2012) Exploiting unrelated tasks in multi-task learning. In: (pp. pp. 951-959).

Rondina, JM; Shawe-Taylor, J; Mourão-Miranda, J; (2012) A new feature selection method based on stability theory - Exploring parameters space to evaluate classification accuracy in neuroimaging data. In: (pp. pp. 51-59).

Roussos, A; Russell, C; Garg, R; Agapito, L; (2012) Dense multibody motion estimation and reconstruction from a handheld camera. ISMAR 2012 - 11th IEEE International Symposium on Mixed and Augmented Reality 2012, Science and Technology Papers pp. 31-40. 10.1109/ISMAR.2012.6402535.

Rowe, MC; Zhang, H; Alexander, DC; (2012) Utilising measures of fiber dispersion in white matter tractography. In: Proceedings of the MICCAI 2012 Workshop for Computational Diffusion MRI. (pp. 2 - 12). UCL (University College London): London, UK. Green open access

Ruskov, M; Celdran, JM; Ekblom, P; Sasse, MA; (2012) Unlocking the next level of crime prevention: development of a game prototype to teach the conjunction of criminal opportunity. Information Technologies and Control , 10 (3) pp. 15-21.

Russell, C; Fayad, J; Agapito, L; (2012) Dense non-rigid structure from motion. In: (pp. pp. 509-516).


SHILSTON, RT; (2012) Blur perception: An evaluation of focus measures. Doctoral thesis, UCL (University College London).

Santos, E; Pimentel, J; Castro, J; Finkelstein, A; (2012) On the Dynamic Configuration of Business Process Models. In: Bider, I and Halpin, TA and Krogstie, J and Nurcan, S and Proper, E and Schmidt, R and Soffer, P and Wrycza, S, (eds.) (pp. pp. 331-346). Springer

Sasse, MA; Kirlappos, I; (2012) Familiarity Breeds Con-victims: Why We Need More Effective Trust Signaling. In: Wakeman, I and Gudes, E and Jensen, CD and Crampton, J, (eds.) Trust Management V. (? - ?). Springer-Verlag New York Inc

Sato, JR; Rondina, JM; Mourão-Miranda, J; (2012) Measuring abnormal brains: building normative rules in neuroimaging using one-class support vector machines. Front Neurosci , 6 178-. 10.3389/fnins.2012.00178.

Schmid, A; Yechangunja, R; Thalhammer, S; Srinivasan, MA; (2012) Human-operated 3D micro-manipulator with haptic feedback. Haptics Symposium 2012, HAPTICS 2012 - Proceedings pp. 517-522. 10.1109/HAPTIC.2012.6183840.

Schöning, J; Rogers, Y; Bird, J; Capra, L; McCann, JA; Prendergast, D; Sheridan, C; (2012) Intel Collaborative Research Institute - Sustainable Connected Cities. Presented at: UNSPECIFIED.

Seldin, Y; Cesa-Bianchi, N; Auer, P; Laviolette, F; Shawe-Taylor, J; (2012) PAC-Bayes-Bernstein Inequality for Martingales and its Application to Multiarmed Bandits. ICML On-line Trading of Exploration and Exploitation , 26 pp. 98-111.

Seldin, Y; Laviolette, F; Cesa-Bianchi, N; Shawe-Taylor, J; Auer, P; (2012) PAC-Bayesian Inequalities for Martingales. IEEE Trans. Information Theory , 58 (12) pp. 7086-7093. 10.1109/TIT.2012.2211334.

Seldin, Y; Laviolette, F; Cesa-Bianchi, N; Shawe-Taylor, J; Auer, P; (2012) PAC-Bayesian Inequalities for Martingales. Presented at: UNSPECIFIED.

Shin, H; Doumas, C; Funkhouser, T; Rusinkiewicz, S; Steglitz, K; Vlachopoulos, A; Weyrich, T; (2012) Analyzing and Simulating Fracture Patterns of Theran Wall Paintings. To appear in ACM Journal of Computing and Cultural Heritage (JOCCH) , 5 (3) 10:1-10:14. 10.1145/2362402.2362404.

Silver, D; Ciosek, K; (2012) Compositional planning using optimal option models. Presented at: UNSPECIFIED.

Siow, BMCW; Drobnjak, I; Ianus, A; Christie, IN; Alexander, DA; (2012) Pore Size Estimation with Oscillating Gradient Spin Echo (OGSE) Diffusion NMR. In: (Proceedings) 11th International Bologna Conference on Magnetic Resonance in Porous Media.

Siow, BMCW; Ianus, A; Drobnjak, I; Christie, IN; Lythgoe, MF; Alexander, DC; (2012) Optimised oscillating gradient diffusion MRI for the estimation of axon radius in an ex vivo rat brain. In: (Proceedings) 20th Annual Meeting of The International Society for Magnetic Resonance in Medicine.

Skarlatidou, A.; (2012) Trust in web geographical information systems for public participation. Doctoral thesis, UCL (University College London).

Sloan, M; Wang, J; (2012) Dynamical Information Retrieval modelling: A Portfolio-Armed Bandit machine approach. In: (pp. pp. 603-604).

Smith, C; Quercia, D; Capra, L; (2012) Anti-gravity Underground? Presented at: Workshop on Pervasive Urban Applications, Newcastle, UK.

Song, R; Rose, C; Tsai, YL; Mian, IS; (2012) Wireless signaling with identical quanta. IEEE Wireless Communications and Networking Conference, WCNC pp. 699-703. 10.1109/WCNC.2012.6214459.

Song, WM; Di Matteo, T; Aste, T; (2012) Building complex networks with Platonic solids. Phys Rev E Stat Nonlin Soft Matter Phys , 85 (4-2) 046115-.

Staines, J; Barber, D; (2012) Variational Optimization. CoRR , abs/1212.4507

Stringhini, G; Egele, M; Kruegel, C; Vigna, G; (2012) Poultry markets: on the underground economy of twitter followers. Computer Communication Review , 42 (4) pp. 527-532. 10.1145/2377677.2377781.

Subr, K; Bradbury, G; (2012) Two-frame stereo photography in low-light settings: a preliminary study. 10.1145/2414688.2414699.

Sun, H; Nallanathan, A; Tan, B; Thompson, JS; Jiang, J; Poor, HV; (2012) Relaying technologies for smart grid communications. IEEE Wireless Commun. , 19 (6) pp. 52-59. 10.1109/MWC.2012.6393518.


Tahat, L; Korel, B; Harman, M; Ural, H; (2012) Regression test suite prioritization using system models. Software Testing Verification and Reliability , 22 (7) pp. 481-506. 10.1002/stvr.461.

Tarvainen, T; Kolehmainen, V; Arridge, SR; Kaipio, JP; (2012) Utilising approximation error modelling in linear reconstruction in diffuse optical tomography. In:

Tonella, P; Marchetto, A; Nguyen, CD; Jia, Y; Lakhotia, K; Harman, M; (2012) Finding the optimal balance between over and under approximation of models inferred from execution logs. In: (pp. pp. 21-30).


Vicente, S; Agapito, L; (2012) Soft inextensibility constraints for template-free non-rigid reconstruction. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , 7574 L (PART 3) pp. 426-440. 10.1007/978-3-642-33712-3_31.

Vincent, C; Blandford, A; Li, Y; (2012) QOC-E: A mediating representation to support the development of shared rationale and integration of Human Factors advice. In: Proceedings of the 2012 Symposium on Human Factors and Ergonomics in Health Care: March 12-14, 2012 Baltimore, Maryland USA. (pp. 212 - 218). Human Factors and Ergonomics Society: Santa Monica, US. Green open access

Visentini-Scarzanella, M; Stoyanov, D; Yang, G-Z; (2012) Metric depth recovery from monocular images using Shape-from-Shading and specularities. Presented at: UNSPECIFIED.

Visentini-Scarzanella, M; Stoyanov, D; Yang, GZ; (2012) Metric depth recovery from monocular images using Shape-from-Shading and specularities. In: (pp. pp. 25-28).

Vlassis, N; Littman, ML; Barber, D; (2012) On the Computational Complexity of Stochastic Controller Optimization in POMDPs. TOCT , 4 (4) p. 12. 10.1145/2382559.2382563.

Vlassis, N; Littman, ML; Barber, D; (2012) On the computational complexity of stochastic controller optimization in POMDPs. ACM Transactions on Computation Theory , 4 (4) 10.1145/2382559.2382563.

Vos, T; Tonella, P; Wegener, J; Harman, M; Prasetya, W; Ur, S; (2012) Testing of future internet applications running in the cloud. pp. 305-321. 10.4018/978-1-4666-2536-5.ch014.


Wang, J; Chen, B; (2012) Selling futures online advertising slots via option contracts. In: (pp. pp. 627-628).

Wang, Y; Desmedt, Y; (2012) Edge-Colored Graphs with Applications To Homogeneous Faults. CoRR , abs/12

Wassermann, B; (2012) Data-Driven Detection and Diagnosis of System-Level Failures in Middleware-Based Service Compositions. Doctoral thesis, UCL (University College London). Green open access

Wells, JC; Treleaven, P; Charoensiriwath, S; (2012) Body shape by 3-D photonic scanning in Thai and UK adults: comparison of national sizing surveys. Int J Obes (Lond) , 36 (1) pp. 148-154. 10.1038/ijo.2011.51.

Werth, J; Furniss, D; (2012) Medical Equipment Library design: Revealing issues and best practice using DiCoT. In: IHI'12 - Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium. (pp. 583 - 592). ACM Press: New York, US. Green open access

West, J; Bianconi, G; Severini, S; Teschendorff, AE; (2012) Differential network entropy reveals cancer system hallmarks. Sci Rep , 2 , Article 802. 10.1038/srep00802. Green open access

West, J; Lacasa, L; Severini, S; Teschendorff, A; (2012) Approximate entropy of network parameters. Phys Rev E Stat Nonlin Soft Matter Phys , 85 (4-2) 046111-.

Wiseman, S; Gould, S; Furniss, DJ; Cox, A; (2012) Errordiary: Support for Teaching Human Error. Presented at: CHI 2012: the 30th ACM Conference on Human Factors in Computing Systems: Workshop: A Contextualised Curriculum for HCI, Austin, Texas. Green open access

Wohlers, I; Malod-Dognin, N; Andonov, R; Klau, GW; (2012) CSA: comprehensive comparison of pairwise protein structure alignments. Nucleic Acids Research , 40 (Web-Serv) pp. 303-309. 10.1093/nar/gks362.


Xiong, J; Jamieson, K; (2012) Towards fine-grained radio-based indoor location. In: Borriello, G and Balan, RK, (eds.) (pp. p. 13). ACM


YAN, W; (2012) New Algorithms for Evolving Robust Genetic Programming Solutions in Dynamic Environments with a Real World Case Study in Hedge Fund Stock Selection. Doctoral thesis, UCL (University College London).

Yao, L; Riedel, S; McCallum, A; (2012) Probabilistic Databases of Universal Schema. Presented at: UNSPECIFIED.

Yilmaz, E; Kazai, G; Craswell, N; Tahaghoghi, SMM; (2012) On judgments obtained from a commercial search engine. Presented at: UNSPECIFIED.

Yingsaeree, C; (2012) Algorithmic Trading: Model of Execution Probability and Order Placement Strategy. Doctoral thesis, UCL (University College London). Green open access

Yoo, S; (2012) Evolving human competitive spectra-based fault localisation techniques. In: (pp. pp. 244-258).

Yoo, S; Kapfhammer, GM; (2012) Welcome from the chairs. Proceedings - IEEE 5th International Conference on Software Testing, Verification and Validation, ICST 2012 10.1109/ICST.2012.216.

Yu, I.; (2012) A graphics processing unit based method for dynamic real-time global illumination. Doctoral thesis, UCL (University College London). Green open access

Yu, Q; Steed, A; (2012) Example-based Road Network Synthesis. In: Andújar, C and Puppo, E, (eds.) (pp. pp. 53-56). Eurographics Association

Yuan, S; Abidin, A; Sloan, M; Wang, J; (2012) Internet Advertising: An Interplay among Advertisers, Online Publishers, Ad Exchanges and Web Users. [Digital scholarly resource]. http://arxiv.org/abs/1206.1754

Yue, A; Liu, W; Hunter, A; (2012) Imprecise probabilistic query answering using measures of ignorance and degree of satisfaction. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE , 64 (2-3) 145 - 183. 10.1007/s10472-012-9286-x.

Yue, A; Liu, W; Hunter, A; (2012) Imprecise probabilistic query answering using measures of ignorance and degree of satisfaction. Annals of Mathematics and Artificial Intelligence , 64 (2-3) 145 - 183. 10.1007/s10472-012-9286-x.


Zhang, H; Dyrby, TB; Alexander, DC; (2012) Axon diameter mapping in crossing fibers with diffusion MRI. Presented at: International society for magnetic resonance in medicine, Melbourne.

Zhang, H; Schneider, T; Wheeler-Kingshott, CA; Alexander, DC; (2012) NODDI: practical in vivo neurite orientation dispersion and density imaging of the human brain. Neuroimage , 61 (4) 1000 - 1016. 10.1016/j.neuroimage.2012.03.072.

Zhang, M; Jennett, C; Malheiros, M; Sasse, MA; (2012) Data after death: User requirements and design challenges for SNSs and email providers. In: (Proceedings) Memento Mori: Technology Design for the End of Life (CHI Workshop 2012).

Zhang, Y; Zhou, S; Zhang, Z; Guan, J; Zhou, S; Chen, G; (2012) Traffic Fluctuations on Weighted Networks. IEEE CIRCUITS AND SYSTEMS MAGAZINE , 12 (1) pp. 33-44. 10.1109/MCAS.2011.2181075.

Zhao, X; Tang, C-C; Yang, Y-L; Pottmann, H; Mitra, N; (2012) Intuitive Design Exploration of Constrained Meshes. In: (Proceedings) Advances in Architectural Geometry.

Zuccon, G; Azzopardi, L; Zhang, D; Wang, J; (2012) Top-k retrieval using facility location analysis. In: (pp. pp. 305-316).


Üney, M; Clark, DE; Julier, SJ; (2012) Distributed sensor registration based on random finite set representations. Presented at: UNSPECIFIED.

This list was generated on Sun Oct 23 05:51:05 2016 BST.