Search research publications and outputs

  1. Control/Architecture co-design for cyber-physical systems

    Chang, W., Zhang, L., Roy, D. & Chakraborty, S., 2017, Handbook of hardware/software codesign. Ha, S. & Teich, J. (eds.). SPRINGER

    Research output: Chapter in Book/Report/Conference proceedingChapter

  2. Curiously Motivated: Profiling Curiosity with Self-Reports and Behaviour Metrics in the Game "Destiny"

    Schaekermann, M., Nacke, L. E., Johnson, D., Drachen, A., Sifa, R., Wallner, G. & Krieglstein, S., 2017, Proceedings of the Annual Symposium on Computer-Human Interaction in Play (CHI-PLAY). p. 143-156

    Research output: Chapter in Book/Report/Conference proceedingChapter

  3. Deadline, Energy and Buffer-Aware Task Mapping Optimization in NoC-Based SoCs Using Genetic Algorithms

    Bruch, J. V., Alves da Silva, E., Zeferino, C. A. & Soares Indrusiak, L., 23 Nov 2017, VII Brazilian Symposium on Computing Systems Engineering (SBESC). IEEE, p. 86-93 (Brazilian Symposium on Computing Systems Engineering (SBESC) ).

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

  4. Deep Convolutional Neural Networks for left ventricle segmentation

    Molaei, S., Shiri, M., Horan, K., Kahrobaei, D., Nallamothu, B. & Najarian, K., Jul 2017, 2017 39th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). Vol. 2017. p. 668-671 4 p. (Conference proceedings : ... Annual International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE Engineering in Medicine and Biology Society. Annual Conference).

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

  5. Deep Face Model Compression Using Entropy-based Filter Selection

    Han, B., Zhang, Z., Xu, C., Wang, B., Hu, G., Bai, L., Hong, Q. & Hancock, E. R., 13 Oct 2017, Proceedings ICIAP 2017: Lecture Notes in Computer Science. Springer Berlin / Heidelberg, Vol. 10485. p. 127-136

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

  6. Deep Parameter Tuning of Concurrent Divide and Conquer Algorithms in Akka

    White, D. R., Joffe, L., Bowles, E. & Swan, J., 25 Mar 2017, Applications of Evolutionary Computation: 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part II. Squillero, G. & Sim, K. (eds.). Cham: Springer International Publishing Switzerland, p. 35-48 14 p.

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

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

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

  9. Developing the Safety Case for MediPi: An Open-Source Platform for Self Management

    Habli, I., Carr, A., Murphy, D., Dugdale, I., Dyson, A. & Robinson, R., Apr 2017, Informatics for Health : Connected Citizen-Led Wellness and Population Health. Randell, R., Cornet, R., McCowan, C., Peek, N. & J. Scott, P. (eds.). IOS Press, p. 78-82 5 p. (Studies in Health Technology and Informatics; vol. 235).

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

  10. Dynamic attention-controlled cascaded shape regression exploiting training data augmentation and fuzzy-set sample weighting

    Feng, Z., Kittler, J., Christmas, W., Huber, P. & Wu, X-J., 6 Nov 2017, Proceedings - 30th IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2017. Institute of Electrical and Electronics Engineers Inc., p. 3681-3686 6 p.

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

  11. Evaluating the Onboarding Phase of Free-to-Play Mobile Games: A Mixed-Methods Approach

    Thomsen, L. E., Petersen, F. W., Drachen, A. & Mirza-babaei, P., 2017, Proceedings of the Annual Symposium on Computer-Human Interaction in Play (CHI-PLAY). p. 377-388

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

  13. Exploring the Notion of Hazards for Health IT

    Habli, I., White, S. P., Harrison, S. & Pujara, M., Apr 2017, Informatics for Health 2017.

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

  14. Fault-Based Testing for Refinement in CSP

    Cavalcanti, A. L. C. & Simao, A., 30 Sep 2017, 29th IFIP WG 6.1 International Conference on Testing Software and Systems. Yevtushenko, N., Cavalli, A. R. & Yenigun, H. (eds.). Springer, Vol. 10533. p. 21-37 17 p. (Lecture Notes in Computer Science).

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

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

  16. Formalising Cosimulation Models

    Zeyda, F., Ouy, J., Foster, S. D. & Cavalcanti, A. L. C., Sep 2017, 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems (CoSim-CPS 2017). 15 p.

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

  17. GPIOCP: Timing-accurate general purpose I/O controller for many-core real-time systems

    Jiang, Z. & Audsley, N. C., 11 May 2017, Proceedings of the 2017 Design, Automation and Test in Europe, DATE 2017. Institute of Electrical and Electronics Engineers Inc., p. 806-811 6 p. 7927099

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

  18. Human Group Activity Recognition based on Modelling Moving Regions Interdependencies

    Stephens, K. & Bors, A. G., 27 Apr 2017, Proc. of International Conference on Pattern Recognition (ICPR). IEEE, p. 2116-2121 6 p.

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

  19. Image Retrieval Based on Query by Saliency Content, Chapter 8

    Bors, A. G. & Papushoy, A., Aug 2017, Visual Content Indexing and Retrieval with Psycho-Visual Models. Benois-Pineau, J. & Le Callet, P. (eds.). Springer, p. 171-209 38 p. (Multimedia Systems and Applications).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  20. Introduction to Unconventional Computing

    Stepney, S., 2017, Guide to Unconventional Computing for Music. Miranda, E. R. (ed.). Springer, p. 1-21 21 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

  23. Java in the Safety-Critical Domain

    Cavalcanti, A., Miyazawa, A., Wellings, A., Woodcock, J. & Zhao, S., 6 Apr 2017, Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures. Bowen, J., Liu, Z. & Zhang, Z. (eds.). Springer, Vol. 10215. p. 110-150 41 p. (Lecture Notes in Computer Science).

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

  24. Learning from Ordinal Data with Inductive Logic Programming in Description Logic

    Qomariyah, N. N. & Kazakov, D. L., Sep 2017, Online proceedings of the 27th conference on Inductive Logic Programming.

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

  25. Linear Differential Constraints for Photo-polarimetric Height Estimation

    Tozza, S., Smith, W. A. P., Zhu, D., Ramamoorthi, R. & Hancock, E. R., 17 Jul 2017, (Accepted/In press) 2017 IEEE International Conference on Computer Vision (ICCV) . IEEE Computer Society Press, 9 p.

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