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 | P | R | S | T | V | W | X | Y | Z
Number of items: 209.


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.

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

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

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.

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

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

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

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

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

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

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.

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

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.

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.

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

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

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

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, R; (2012) Designing for Reflection, Sustainability and Simplicity. Presented at: Workshop on Simple, Sustainable living, CHI2012, Austin, Texas. Green open access

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

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:

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

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

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.


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.


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

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

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

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


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

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

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


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

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.

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.

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.

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

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.


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


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.

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

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.

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


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.

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

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


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

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

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


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.


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

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.

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

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.

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

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.

This list was generated on Sun Mar 26 05:58:23 2017 BST.