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

A

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
file

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
file

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.

B

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

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
file

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
file

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

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
file

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
file

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
file

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.

C

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.

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
file

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.

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.

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
file

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
file

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.

D

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
file

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

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
file

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.

E

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

F

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
file

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

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
file

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
file

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
file

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.

G

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
file

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
file

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
file

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

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

H

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.

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

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
file

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.

I

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.

J

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
file

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.

K

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
file

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

L

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.

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

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.

M

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
file

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
file

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.

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
file

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

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
file

N

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

O

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.

P

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.

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
file

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
file

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
file

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

Q

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

R

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
file

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.

S

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

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

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.

T

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

V

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
file

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.

W

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
file

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
file

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

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.

X

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

Y

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
file

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
file

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.

Z

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 Dec 4 05:38:37 2016 GMT.