Search research publications and outputs

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

  2. The gaming involvement and informal learning framework

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

    Article in Simulation & Gaming

  3. Size distribution, mixing state and source apportionment of black carbon aerosol in London during winter time

    Liu, D., Allan, J. D., Young, D. E., Coe, H., Beddows, D., Fleming, Z. L., Flynn, M. J., Gallagher, M. W., Harrison, R. M., Lee, J., Prevot, A. S. H., Taylor, J. W., Yin, J., Williams, P. I. & Zotter, P., 22 Sep 2014

    Article in Atmospheric Chemistry and Physics

  4. Robust quantum data locking from phase modulation

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

    Article in Physical Review A

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

  6. Quantum channels and memory effects

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

    Article in Reviews of Modern Physics

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

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

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

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

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

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

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

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

Previous 1 2 Next