Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

Advanced search options

Reset

to
1 - 25 out of 5,668Page size: 25
  1. 2018

  2. Performance Analysis of a 3D Wireless Massively Parallel Computer

    Crispin-Bailey, C., Kamali Sarvestani, A. M. & Austin, J. 19 Apr 2018

    Special issue in Journal of Sensor and Actuator Networks

  3. Stateful-Failure Reactive Designs in Isabelle/UTP

    Foster, S. D., Baxter, J. E., Cavalcanti, A. L. C. & Woodcock, J. A. M. E. S. C. P. 17 Apr 2018

    Research output: Working paper

  4. Feedback-Based Admission Control for Firm Real-Time Task Allocation with Dynamic Voltage and Frequency Scaling

    Dziurzanski, P. & Singh, A. K. 16 Apr 2018

    Article in Computers

  5. FIFO with Offsets: High Schedulability with Low Overheads

    Nasri, M., Davis, R. I. & Brandenburg, B. 11 Apr 2018 12 p.

    Research output: Contribution to conference › Paper

  6. Mixed Criticality Systems with Varying Context Switch Costs

    Davis, R. I., Altmeyer, S. & Burns, A. 11 Apr 2018 12 p.

    Research output: Contribution to conference › Paper

  7. Response-time analysis for fixed-priority systems with a write-back cache

    Davis, R. I., Altmeyer, S. & Reineke, J. 11 Apr 2018

    Article in Real-Time Systems

  8. Analysing and Patching SPEKE in ISO/IEC

    Hao, F., Metere, R., Shahandashti, S. F. & Dong, C. 10 Apr 2018

    Article in Information Forensics and Security, IEEE Transactions on

  9. Generalised Reactive Processes in Isabelle/UTP

    Foster, S. D. & Canham, S. J. 6 Apr 2018 56 p.

    Research output: Working paper

  10. Reactive Designs in Isabelle/UTP

    Foster, S. D., Baxter, J. E., Cavalcanti, A. L. C., Woodcock, J. A. M. E. S. C. P. & Canham, S. J. 6 Apr 2018 108 p.

    Research output: Working paper

  11. Theory of Designs in Isabelle/UTP

    Foster, S. D., Nemouchi, Y. & Zeyda, F. 6 Apr 2018 47 p.

    Research output: Working paper

  12. Kleene Algebra in Unifying Theories of Programming

    Foster, S. D. 5 Apr 2018 6 p.

    Research output: Working paper

  13. Channel Simulation in Quantum Metrology

    Laurenza, R., Lupo, C., Spedalieri, G., Braunstein, S. L. & Pirandola, S. 4 Apr 2018

    Article in Quantum Measurements and Quantum Metrology

  14. Isabelle/UTP: Mechanised Theory Engineering for the UTP

    Foster, S. D., Zeyda, F., Nemouchi, Y., Ribeiro, P. & Wolff, B. 4 Apr 2018 162 p.

    Research output: Working paper

  15. Curvature-based spectral signatures for non-rigid shape retrieval

    Limberger, F. A. & Wilson, R. C. 1 Apr 2018

    Article in Computer Vision and Image Understanding

  16. A practical approach to measuring user engagement with the refined user engagement scale (UES) and new UES short form

    O'Brien, H., Cairns, P. A. & Hall, M. Apr 2018

    Article in International journal of human-Computer studies

  17. Compositional Assume-Guarantee Reasoning of Control Law Diagrams using UTP

    Ye, K., Foster, S. D. & Woodcock, J. A. M. E. S. C. P. Apr 2018 202 p.

    Research output: Working paper

  18. What Moves Players? Visual Data Exploration of Twitter and Gameplay Data

    Drescher, C., Wallner, G., Krieglstein, S., Sifa, R., Drachen, A. & Pohl, M. Apr 2018 Proceedings of the CHI Conference Human Factors in Computing Systems. (Proceedings of the CHI Conference Human Factors in Computing Systems)

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  19. Directed and Undirected Network Evolution from Euler-Lagrange Dynamics

    Wang, J., Wilson, R. C. & Hancock, E. R. 30 Mar 2018

    Article in Pattern Recognition Letters

  20. Quantum information vs. black hole physics: Deep firewalls from narrow assumptions

    Braunstein, S. L. & Pirandola, S. 23 Mar 2018

    Article in PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY OF LONDON SERIES A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES

  21. Emotion in Video Game Soundtracking

    Williams, D. A. H. & Lee, N. 21 Mar 2018 1 ed. New York: Springer. 180 p. (International Series on Computer Entertainment and Media Technology)

    Research output: Book/Report › Book

  22. Evaluating cloud database migration options using workload models

    Ellison, M., Calinescu, R. & Paige, R. F. 15 Mar 2018

    Article in Journal of Cloud Computing: Advances, Systems and Applications (JoCCASA)

  23. Continuous-variable quantum key distribution in fast fading channels

    Papanastasiou, P., Weedbrook, C. & Pirandola, S. 12 Mar 2018

    Article in Physical Review A

  24. How the Business Model of Customisable Card Games Influences Player Engagement

    Hodge, V. J., Sephton, N. J., Devlin, S. M., Cowling, P. I., Goumagias, N., Shao, J., Purvis, K., Cabras, I., Fernandes, K. & Li, F. 12 Mar 2018

    Article in IEEE Transactions on Games

  25. Quantum enhanced measurements without entanglement

    Braun, D., Adesso, G., Benatti, F., Floreanini, R., Marzolino, U., Mitchell, M. W. & Pirandola, S. 8 Mar 2018

    Article in Reviews of Modern Physics

  26. Postreproductive lifespans are rare in mammals

    Ellis, S., Franks, D. W., Nattrass, S., Cant, M. A., Bradley, D. L., Giles, D., Balcomb, K. C. & Croft, D. 5 Mar 2018

    Article in Ecology and Evolution

Previous 1 2 3 4 5 6 7 8 ...227 Next