Search research publications and outputs

  1. 2017
  2. Designing Robust Software Systems through Parametric Markov Chain Synthesis

    Calinescu, R. C., Ceska, M., Gerasimou, S., Kwiatkowska, M. & Paoletti, N., Apr 2017, IEEE International Conference on Software Architecture (ICSA 2017). IEEE, p. 1-10 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Investigating Uncertainty in Digital Games and its Impact on Player Immersion

    Kumari, S., Power, C. D. & Cairns, P. A., Apr 2017, ACM CHI 2017. ACM, p. 503-509

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. Clyde: A deep reinforcement learning DOOM playing agent

    Ratcliffe, D., Devlin, S., Kruschwitz, U. & Citi, L., 4 Feb 2017, What's Next For AI In Games: AAAI 2017 Workshop.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  5. Replicating HPC I/O workloads with proxy applications

    Dickson, J., Wright, S., Maheswaran, S., Herdman, A., Miller, M. C. & Jarvis, S. A., 2 Feb 2017, Proceedings of PDSW-DISCS 2016: 1st Joint International Workshop on Parallel Data Storage and Data Intensive Scalable Computing Systems - Held in conjunction with SC16: The International Conference for High Performance Computing, Networking, Storage and Analysis. Institute of Electrical and Electronics Engineers Inc., p. 13-18 6 p. 7836562

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. Predictive Evaluation of Partitioning Algorithms through Runtime Modelling

    Bunt, R. A., Wright, S. A., Jarvis, S. A., Ho, Y. K. & Street, M. J., 1 Feb 2017, Proceedings - 23rd IEEE International Conference on High Performance Computing, HiPC 2016. Institute of Electrical and Electronics Engineers Inc., p. 351-361 11 p. 7839701. (IEEE International Conference on High Performance Computing).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. Towards Verification of Cyber-Physical Systems with UTP and Isabelle/HOL

    Foster, S. D. & Woodcock, JAMES. C. P., 9 Jan 2017, Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday. Lecture Notes in Computer Science, Vol. 10160. p. 39-64 25 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. Towards a UTP semantics for modelica

    Foster, S., Thiele, B., Cavalcanti, A. & Woodcock, J., 1 Jan 2017, Unifying Theories of Programming - 6th International Symposium, UTP 2016, Revised Selected Papers. Bowen, J. P. & Zhu, H. (eds.). Springer Verlag, p. 44-64 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10134 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  9. A Nested Alignment Graph Kernel through the Dynamic Time Warping Framework

    Bai, L., Rossi, L., Cui, L. & Hancock, E. R., 2017, Graph-Based Representations in Pattern Recognition - 11th IAPR-TC-15 International Workshop, GbRPR 2017, Anacapri, Italy, May 16-18, 2017, Proceedings. Springer Berlin / Heidelberg, p. 59-69 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. A Smart Contract for Boardroom Voting with Maximum Voter Privacy

    McCorry, P., Shahandashti, S. F. & Hao, F., 2017, Financial Cryptography and Data Security - 21st International Conference, FC 2017, Revised Selected Papers: 21st International Conference, FC 2017, Sliema, Malta, April 3-7, 2017, Revised Selected Papers. Kiayias, A. (ed.). Springer, p. 357-375 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10322 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  11. Adaptive Feature Selection Based on the Most Informative Graph-Based Features

    Lu, B., Cui, L., Rossi, L. & Hancock, E. R., 2017, Graph-Based Representations in Pattern Recognition - 11th IAPR-TC-15 International Workshop, GbRPR 2017, Anacapri, Italy, May 16-18, 2017, Proceedings. Springer Berlin / Heidelberg, p. 276-287 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  12. Analysis and Optimization of Message Acceptance Filter Configurations for Controller Area Network (CAN)

    Pölzlbauer, F., Bate, I. J. & Davis, R. I., 2017, International Conference on Real-Time Networks and Systems. ACM, p. 247-256

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  13. Assured Reinforcement Learning for Safety-Critical Applications

    Mason, G. R., Calinescu, R. C., Kudenko, D. & Banks, A., 2017, Doctoral Consortium at the 10th International Conference on Agents and Artificial Intelligence. SciTePress, 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  14. Assured Reinforcement Learning with Formally Verified Abstract Policies

    Mason, G. R., Calinescu, R. C., Kudenko, D. & Banks, A., 2017, 9th International Conference on Agents and Artificial Intelligence (ICAART).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  15. Detecting Alzheimer's Disease using Directed Graphs

    Wang, J., Wilson, R. C. & Hancock, E. R., 2017, Graph-Based Representations in Pattern Recognition - 11th IAPR-TC-15 International Workshop, GbRPR 2017, Anacapri, Italy, May 16-18, 2017, Proceedings. Springer Berlin / Heidelberg, p. 94-104 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  16. Exploration and Skill Acquisition in a Major Online Game

    Stafford, T., Devlin, S., Sifa, R. & Drachen, A., 2017, The 39th Annual Meeting of the Cognitive Science Society (CogSci).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  17. Forecast-Based Interference: Modelling Multicore Interference from Observable Factors

    Griffin, D. J., Lesage, B. M. J-R., Bate, I. J., Soboczenski, F. & Davis, R. I., 2017, International Conference on Real-Time Networks and Systems. ACM, p. 198-207

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  18. Issues of using wireless sensor network to monitor urban air quality

    Fang, X. & Bate, I. J., 2017, International Workshop on the Engineering of Reliable, Robust, and Secure Embedded Wireless Sensing Systems (FAILSAFE). ACM, 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  19. Minimising Entropy Changes in Dynamic Network Evolution

    Wang, J., Wilson, R. C. & Hancock, E. R., 2017, Graph-Based Representations in Pattern Recognition - 11th IAPR-TC-15 International Workshop, GbRPR 2017, Anacapri, Italy, May 16-18, 2017, Proceedings. Springer Berlin / Heidelberg, p. 255-265 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  20. New Schedulability Analysis for MrsP

    Zhao, S., Garrido, J., Burns, A. & Wellings, A. J., 2017, 2017 IEEE 23rd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA). IEEE, p. 1 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  21. Predicting Victory in a Hybrid Online Competitive Game: The Case of Destiny

    Norouzzadeh, Y. R., Spronck, P., Sifa, R. & Drachen, A., 2017, Proceedings of the Thirteenth Artificial Intelligence and Interactive Digital Entertainment International Conference (AIIDE). p. 207-214 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  22. RODES: A Robust-Design Synthesis Tool for Probabilistic Systems

    Calinescu, R. C., Ceska, M., Gerasimou, S., Kwiatkowska, M. & Paoletti, N., 2017, RODES: A Robust-Design Synthesis Tool for Probabilistic Systems. p. 304-308 5 p. (14th International Conference on Quantitative Evaluation of Systems).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  23. Shape Simplification Through Graph Sparsification

    Escolano, F., Curado, M., Biasotti, S. & Hancock, E. R., 2017, Graph-Based Representations in Pattern Recognition - 11th IAPR-TC-15 International Workshop, GbRPR 2017, Anacapri, Italy, May 16-18, 2017, Proceedings. Springer Berlin / Heidelberg, p. 13-22 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  24. 2016
  25. Optimisation of a Molecular Dynamics Simulation of Chromosome Condensation

    Law, T. R., Hancox, J., Cheng, T. M. K., Chaleil, R. A. G., Wright, S. A., Bates, P. A. & Jarvis, S. A., 16 Dec 2016, Proceedings - 28th IEEE International Symposium on Computer Architecture and High Performance Computing, SBAC-PAD 2016. IEEE Computer Society Press, p. 126-133 8 p. 7789332

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  26. Electoral Systems Used around the World

    Shahandashti, S. F., 13 Dec 2016, Real-World Electronic Voting: Design, Analysis and Deployment. Hao, F. & Ryan, P. Y. A. (eds.). CRC Press, (Series in Security, Privacy and Trust).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  27. Attributed Graph Transformation via Rule Schemata: Church-Rosser Theorem

    Plump, D. & Hristakiev, I., 3 Dec 2016, Software Technologies: Applications and Foundations : STAF 2016 Collocated Workshops, Revised Selected Papers. Milazzo, P., Wimmer, M. & Varró, D. (eds.). Springer, Vol. 9946. p. 145-160 16 p. (Lecture Notes in Computer Science; vol. 9946).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

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