Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

Advanced search options

Reset

to
1 - 50 out of 77Page size: 50
Sort by: Title

  1. Zermelo Navigation and a Speed Limit to Quantum Information Processing

    Russell, B. J. & Stepney, S., 2 Jul 2014

    Article in Physical Review A (Atomic, Molecular, and Optical Physics)

  2. When does a physical system compute?

    Horsman, C., Stepney, S., Wagner, R. C. & Kendon, V., Sep 2014

    Article in Proceedings of the Royal Society of London. Series A, Mathematical and Physical Sciences

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

  4. Two-way quantum cryptography at different wavelengths

    Weedbrook, C., Ottaviani, C. & Pirandola, S., 10 Jan 2014

    Article in Physical Review A

  5. The gaming involvement and informal learning framework

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

    Article in Simulation & Gaming

  6. Test-Data Generation for Control Coverage by Proof

    Cavalcanti, A. L. C., King, S., O'Halloran, C. & Woodcock, J. C. P., Jul 2014

    Article in Formal Aspects of Computing

  7. System of Systems Acquisition Trade-offs

    Burton, F. R., Paige, R. F., Poulding, S. M. & Smith, S., 2014

    Article in Procedia CS

  8. Spiral-structured fiber Bragg grating for contact force sensing through direct power measurement

    Ge, J., Feng, H., Chen, Y., Tse, Z. T. H. & Fok, M. P., 22 May 2014

    Article in Optics Express

  9. Spherical and hyperbolic embeddings of data

    Wilson, R. C., Hancock, E. R., Pekalska, E. & Duin, R. P. W., 11 Apr 2014

    Article in IEEE Transactions on Pattern Analysis and Machine Intelligence

  10. Solving the physical traveling salesman problem: Tree search and macro actions

    Perez, D., Powley, E. J., Whitehouse, D., Rohlfshagen, P., Samothrakis, S., Cowling, P. I. & Lucas, S. M., 2014

    Article in Computational Intelligence and AI in Games, IEEE Transactions on

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

  12. Short-term prediction of traffic flow using a binary neural network

    Hodge, V. J., Krishnan, R., Austin, J., Polak, J. & Jackson, T., Dec 2014

    Article in Neural computing & applications

  13. Robust quantum data locking from phase modulation

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

    Article in Physical Review A

  14. Ricci flow embedding for rectifying non-Euclidean dissimilarity data

    Xu, W., Hancock, E. R. & Wilson, R. C., 2014

    Article in Pattern Recognition

  15. Resource redistribution in polydomous ant nest networks: local or global?

    Ellis, S., Franks, D. W. & Robinson, E. J. H., Sep 2014

    Article in Behavioral Ecology

  16. Refinement-based verification of implementations of Stateflow charts

    Miyazawa, A. H. & Cavalcanti, A. L. C., 2014

    Article in Formal Aspects of Computing

  17. Redesigning photo-id to improve unfamiliar face matching performance

    White, D., Burton, A. M., Jenkins, R. & Kemp, R. I., 21 Apr 2014

    Article in Journal of Experimental Psychology: Applied

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

  19. Quantum decision tree classifier

    Lu, S. & Braunstein, S. L., Mar 2014

    Article in Quantum Information Processing

  20. Quantum channels and memory effects

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

    Article in Reviews of Modern Physics

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

  22. Probability, uncertainty and artificial intelligence

    Cussens, J., Nov 2014

    Article in Metascience

  23. Private browsing: a window of forensic opportunity

    Chivers, H. R., Mar 2014

    Article in Digital Investigation

  24. Player Preference and Style in a Leading Mobile Card Game

    Cowling, P. I., Devlin, S., Powley, E., Whitehouse, D. & Rollason, J., 11 Sep 2014

    Article in Computational Intelligence and AI in Games, IEEE Transactions on

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

  26. Optimality of Gaussian Discord

    Pirandola, S., Spedalieri, G., Braunstein, S. L., Cerf, N. J. & Lloyd, S., 3 Oct 2014

    Article in Physical Review Letters

  27. On the Fine-Structure of Regular Algebra

    Foster, S. D. & Struth, G., 3 Dec 2014

    Article in Journal of Automated Reasoning

  28. On integrating confidentiality and functionality in a formal method

    Jacob, J. L. & Banks, M. J., 2014

    Article in Formal Aspects of Computing

  29. On Lacunary Series with Random Gaps

    Raseta, M., Oct 2014

    Article in Acta Mathematica Hungarica

  30. Modelling biological behaviours with the unified modelling language: an immunological case study and critique

    Read, M. N., Andrews, PAUL. S., Timmis, J. & Kumar, V., 6 Oct 2014

    Article in Interface

  31. Modeling social-ecological problems in coastal ecosystems: a case study

    Forrester, J. M., Taylor, R., Greaves, R. B. & Noble, H., Jul 2014

    Article in Complexity

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

  33. Local and global models of physics and computation

    Stepney, S., 2014

    Article in International Journal of General Systems

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

  35. Interrogating social presence in games with experiential vignettes

    Hudson, M. & Cairns, P., May 2014

    Article in Entertainment Computing

  36. Integer Programming for Bayesian Network Structure Learning

    Cussens, J., Mar 2014

    Article in Quality Technology and Quantitative Management

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

  38. Information capture and reuse strategies in Monte Carlo Tree Search, with applications to games of hidden information.

    Powley, E. J., Cowling, P. I. & Whitehouse, D., Dec 2014

    Article in Artificial Intelligence

  39. Improved Maximum Likelihood Reconstruction of Complex Multi-generational Pedigrees

    Sheehan, N., Bartlett, M. & Cussens, J., Nov 2014

    Article in Theoretical Population Biology

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

  41. Guest editorial to the special issue on Success Stories in Model Driven Engineering

    Ruscio, D. D., Paige, R. F. & Pierantonio, A., Sep 2014

    Article in Science of Computer Programming

  42. Guest Editorial Special Issue on Facial Biometrics in the Wild

    Farag, AA., Bhanu, B., Hancock, E., Medioni, G. & Yang, J., 2014

    Article in Information Forensics and Security, IEEE Transactions on

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

  44. Generating custom propagators for arbitrary constraints

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

    Article in Artificial Intelligence

  45. Gaming and the limits of digital embodiment

    Farrow, R. & Iacovides, I., 1 Jul 2014

    Article in Philosophy and Technology

  46. Fixing the cracks in the crystal ball: a maturity model for quantitative risk assessment

    Rae, A. J., Alexander, R. & McDermid, J. A., May 2014

    Article in Reliability Engineering and System Safety

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

  48. Explicit Reservation of Cache Memory in a Predictable, Preemptive Multitasking Real-time System

    Whitham, J. D., Audsley, N. C. & Davis, R. I., Jul 2014

    Article in ACM Transactions in Embedded Computing Systems

  49. Evolving Robust Networks for Systems-of-Systems: is it Viable for Large Networks?

    Aitken, J. M., Alexander, R., Kelly, T. & Poulding, S. M., Oct 2014

    Article in Empirical Software Engineering

  50. Evaluation of Contemporary Graph Databases for Efficient Persistence of Large-Scale Models

    Barmpis, K. & Kolovos, D., Jul 2014

    Article in Journal of Object Technology

Previous 1 2 Next