Search research publications and outputs

  1. 2014
  2. The gaming involvement and informal learning framework

    Iacovides, I., McAndrew, P., Scanlon, E. & Aczel, J., 17 Dec 2014

    Article in Simulation & Gaming

  3. Quantum channels and memory effects

    Caruso, F., Giovannetti, V., Lupo, C. & Mancini, S., 10 Dec 2014

    Article in Reviews of Modern Physics

  4. Airborne observations of IEPOX-derived isoprene SOA in the Amazon during SAMBBA

    Allan, J. D., Morgan, W. T., Darbyshire, E., Flynn, M. J., Williams, P. I., Oram, D. E., Artaxo, P., Brito, J., Lee, J. D. & Coe, H., 29 Oct 2014

    Article in Atmospheric Chemistry and Physics

  5. Early Levallois technology and the Lower to Middle Paleolithic transition in the Southern Caucasus

    Adler, D. S., Wilkinson, K. N., Blockley, S., Mark, D. F., Pinhasi, R., Schmidt-Magee, B. A., Nahapetyan, S., Mallol, C., Berna, F., Glauberman, P. J., Raczynski-Henk, Y., Wales, N., Frahm, E., Jöris, O., MacLeod, A., Smith, V. C., Cullen, V. L. & Gasparian, B., 26 Sep 2014

    Article in Science

  6. Image retrieval based on query by saliency content

    Papushoy, A. & Bors, A. G., 26 Sep 2014, (E-pub ahead of print)

    Article in Digital Signal Processing

  7. Entanglement typicality

    Dahlsten, O. C. O., Lupo, C., Mancini, S. & Serafini, A., 12 Sep 2014

    Article in Journal of Physics A: Mathematical and Theoretical

  8. Magic angle–enhanced MRI of fibrous microstructures in sclera and cornea with and without intraocular pressure loading

    Ho, L. C., Sigal, I. A., Jan, N-J., Squires, A., Tse, Z., Wu, E. X., Kim, S-G., Schuman, J. S. & Chan, K. C., 1 Sep 2014

    Article in Investigative Ophthalmology and Visual Science

  9. Infusion device standardisation and dose error reduction software

    Iacovides, I., Blandford, A., Cox, A. L., Franklin, B. D., Lee, P. & Vincent, C. J., 28 Aug 2014

    Article in British Journal of Nursing

  10. Robust quantum data locking from phase modulation

    Lupo, C., Wilde, M. M. & Lloyd, S., 25 Aug 2014

    Article in Physical Review A

  11. Using formal reasoning on a model of tasks for FreeRTOS

    Woodcock, J. C. P., Cheng, S. & D'Souza, D., 20 Aug 2014, (E-pub ahead of print)

    Article in Formal Aspects of Computing

  12. Investigating affect in algorithmic composition systems

    Williams, D., Kirke, A., Miranda, E. R., Roesch, E., Daly, I. & Nasuto, S., 15 Aug 2014

    Article in Psychology of Music

  13. A survey and comparison of transformation tools based on the transformation tool contest

    Edgar, J., Buchwald, S., Wagelaar, D., Li, D., Hegedüs, Á., Herrmannsdoerfer, M., Horn, T., Kalnina, E., Krause, C., Lano, K., Lepper, M., Rensink, A., Rose, L. M., Wätzoldt, S. & Mazanek, S., 1 Jun 2014

    Article in Science of Computer Programming

  14. Generating custom propagators for arbitrary constraints

    Gent, I., Jefferson, C., Linton, S., Miguel, I. & Nightingale, P., 1 Jun 2014

    Article in Artificial Intelligence

  15. PROXIMA: A Probabilistic Approach to the Timing Behaviour of Mixed-Criticality Systems

    Davis, R. I., Vardanega, T., Andersson, J., Vatrinet, F., Pearce, M., Broster, I., Azkarate-Askasua, M., Wartel, F., Cucu-Grosjean, L., Patte, M., Farrall, G. & Cazorla, F. J., Jun 2014

    Article in Ada User Journal

  16. Approximate von Neumann entropy for directed graphs

    Ye, C., Wilson, R. C., Comin, C. H., Costa, L. D. F. & Hancock, E. R., 12 May 2014

    Article in Physical Review E

  17. A quantum Jensen-Shannon graph kernel for unattributed graphs

    Bai, L., Rossi, L., Torsello, A. & Hancock, E. R., 4 Apr 2014, (E-pub ahead of print)

    Article in Pattern Recognition

  18. Qualitative modelling via constraint programming

    Kelsey, T. W., Kotthoff, L., Jefferson, C. A., Linton, S. A., Miguel, I. J., Nightingale, P. W. & Gent, I. P., 1 Apr 2014

    Article in Journal of Constraints

  19. Graph and model transformation tools for model migration

    Rose, L., Herrmannsdoerfer, M., Mazanek, S., Van Gorp, P., Buchwald, S., Horn, T., Kalnina, E., Koch, A., Lano, K., Schätz, B. & Wimmer, M., Feb 2014

    Article in Software and Systems Modeling

  20. Exploring Citizen Psych-Science and the Motivations of Errordiary Volunteers

    Jennett, C., Furniss, D. J., Iacovides, I., Wiseman, S., Gould, S. J. J. & Cox, A. L., 2014

    Article in Human Computation

  21. Quantum enigma machines and the locking capacity of a quantum channel

    Guha, S., Hayden, P., Krovi, H., Lloyd, S., Lupo, C., Shapiro, J. H., Takeoka, M. & Wilde, M. M., 2014

    Article in Physical Review X