Search research publications and outputs

  1. 2016
  2. Group Activity Recognition on Outdoor Scenes

    Stephens, K. & Bors, A. G., Aug 2016, IEEE International Conference on Advanced Video and Signal-based Surveillance (AVSS). IEEE, p. 59-65 7 p.

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

  3. Hardware-accelerated parallel genetic algorithm for fitness functions with variable execution times

    Ma, Y. & Indrusiak, L. S., 20 Jul 2016, GECCO 2016 - Proceedings of the 2016 Genetic and Evolutionary Computation Conference. Association for Computing Machinery, Inc, p. 829-836 8 p.

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

  4. Energy-aware resource allocation in multi-mode automotive applications with hard real-time constraints

    Dziurzanski, P., Singh, A. K. & Indrusiak, L. S., 18 Jul 2016, Proceedings - 2016 IEEE 19th International Symposium on Real-Time Distributed Computing, ISORC 2016. Institute of Electrical and Electronics Engineers Inc., p. 100-107 8 p. 7515617

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

  5. Value and energy aware adaptive resource allocation of soft real-time jobs on many-core HPC data centers

    Singh, A. K., Dziurzanski, P. & Indrusiak, L. S., 18 Jul 2016, Proceedings - 2016 IEEE 19th International Symposium on Real-Time Distributed Computing, ISORC 2016. Institute of Electrical and Electronics Engineers Inc., p. 190-197 8 p. 7515628

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

  6. Types of problems elicited by verbal protocols for blind and sighted participants

    Savva, A., Petrie, H. & Power, C. D., 13 Jul 2016, Proceedings of the 15th International Conference on Computers Helping People with Special Needs. Springer, (Lecture Notes in Computer Science; vol. 9758).

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

  7. Stress-Testing Centralised Model Stores

    García-Domínguez, A., Barmpis, K., Kolovos, D. S., Wei, R. & Paige, R. F., 23 Jun 2016, Modelling Foundations and Applications - 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings. SPRINGER, p. 48-63 16 p.

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

  8. Language engineering: Challenges, opportunities and potential disasters for interactive systems

    Paige, R. F., 21 Jun 2016, EICS 2016 - 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems. Association for Computing Machinery, Inc, p. 3 1 p.

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

  9. Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project

    Larsen, P. G., Fitzgerald, J., Woodcock, J., Fritzson, P., Brauer, J., Kleijn, C., Lecomte, T., Pfeil, M., Green, O., Basagiannis, S. & Sadovykh, A., 20 Jun 2016, 2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS, CPS Data 2016. Institute of Electrical and Electronics Engineers Inc., 7496424

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

  10. Evolving Carbon Nanotube Reservoir Computers

    Dale, M. N., Miller, J. F., Stepney, S. & Trefzer, M. A., 15 Jun 2016, Unconventional Computation and Natural Computation: 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings. Amos, M. & Condon, A. (eds.). Springer, p. 49-61 13 p. (Lecture Notes in Computer Science; vol. 9726).

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

  11. Gamification design for motivating and measuring modal shift

    Minear, M., Deterding, C. S. & Devlin, S., 6 Jun 2016, 11th ITS European Congress. Glasgow, EU-TP0275

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

  12. Flow, Intrinsic Motivation, and Developer Experience in Software Engineering

    Kuusinen, K., Petrie, H., Fagerholm, F. & Mikkonen, T., 24 May 2016, Proceedings of the International Conference on Agile Software Development: Agile Processes in Software Engineering and Extreme Programming (XP 2016). Springer, (Lecture Notes in Business Information Processing ; vol. 251).

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

  13. Integrating Time Series with Social Media Data in an Ontology for the Modelling of Extreme Financial Events

    Qu, H., Sardelich Nascimento, M., Qomariyah, N. N. & Kazakov, D. L., 23 May 2016, LREC 2016 Proceedings. Khan, F., Vintar, Š., Araúz, P. L., Faber, P., Frontini, F., Parvizi, A., Simeunović, L. G. & Unger, C. (eds.). European Language Resources Association (ELRA), Vol. Joint Second Workshop on Language and Ontology & Terminology and Knowledge Structures. p. 57-63

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

  14. Technology for disabled and older people: what have we achieve, where are we going?

    Petrie, H. & Weber, G., 7 May 2016, Proceedings of the 2016 CHI Conference Extended Abstracts on Human Factors in Computing Systems (CHI EA '16). . ACM, p. 1-3 3 p.

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

  15. 3D Mesh Steganalysis using local shape features

    Li, Z. & Bors, A. G., May 2016, Proc. IEEE Int. Conf. on Acoustics, Speech and Signal Processing (ICASSP). IEEE, p. 2144-2148 5 p.

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

  16. Feedback-based admission control for hard real-time task allocation under dynamic workload on many-core systems

    Dziurzanski, P., Singh, A. K. & Indrusiak, L. S., 26 Mar 2016, Architecture of Computing Systems -- ARCS 2016: 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings. Springer-Verlag, p. 157-169 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9637).

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

  17. Value and energy optimizing dynamic resource allocation in many-core HPC systems

    Singh, A. K., Dziurzanski, P. & Indrusiak, L. S., 1 Feb 2016, 2015 IEEE 7th International Conference on Cloud Computing Technology and Science (CloudCom). Institute of Electrical and Electronics Engineers Inc., p. 180-185 6 p. 7396154

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

  18. A Multiresolution 3D Morphable Face Model and Fitting Framework

    Huber, P., Hu, G., Tena, R., Mortazavian, P., Koppen, W. P., Christmas, W., Rätsch, M. & Kittler, J., Feb 2016, Proceedings of the 11th Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications. SciTePress, Vol. 4. p. 79-86

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

  19. POSE: A mathematical and visual modelling tool to guide energy aware code optimisation

    Roberts, S., Wright, S., Lecomber, D., January, C., Byrd, J., Oro, X. & Jarvis, S. A., 26 Jan 2016, 2015 6th International Green and Sustainable Computing Conference. Institute of Electrical and Electronics Engineers Inc., 7393705

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

  20. A Lightweight Hat: simple type-preserving instrumentation for self-tracing lazy functional programs

    Chitil, O., Faddegon, M. & Runciman, C., 2016, Proceedings of 28th Symposium on Implementation and Application of Functional Languages. ASSOC COMPUTING MACHINERY, 10

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

  21. An Axiomatic Value Model for Isabelle/UTP

    Zeyda, F., Foster, S. D. & Freitas, L., 2016, (Accepted/In press) 6th International Symposium on Unifying Theories of Programming. p. 1-20 20 p.

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

  22. Augmenting Live Coding with Evolved Patterns

    Hickinbotham, S. J. & Stepney, S., 2016, International Conference on Evolutionary and Biologically Inspired Music and Art; EvoMusArt 2016. Springer, Vol. 9596. p. 31–46 (Lecture Notes in Computer Science (LNCS)).

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

  23. Behavioural Models for FMI Co-simulations

    Cavalcanti, A. L. C., Woodcock, J. C. P. & Amalio, N., 2016, International Colloquium on Theoretical Aspects of Computing. Sampaio, A. C. A. & Wang, F. (eds.). Springer, Vol. 9965. p. 255-273 19 p. (Lecture Notes in Computer Science).

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

  24. Compiling Graph Programs to C

    Bak, C. P. & Plump, D., 2016, Proceedings 9th International Conference on Graph Transformation (ICGT 2016). Echahed, R. & Minas, M. (eds.). Springer, p. 102-117 15 p. (Lecture Notes in Computer Science; vol. 9761).

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

  25. DRE-ip: A Verifiable E-Voting Scheme without Tallying Authorities

    Shahandashti, S. F. & Hao, F., 2016, ESORICS 2016: Computer Security – ESORICS 2016. Switzerland, Vol. 9879. p. 223-240 13 p.

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

  26. Design Frictions for Mindful Interactions: The Case for Microboundaries

    Cox, A. L., Gould, S. J. J., Cecchinato, M. E., Iacovides, I. & Renfree, I., 2016, CHI'16 Extended Abstracts on Human Factors in Computing Systems - CHI EA '16. ACM, p. 1389-1397 9 p.

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

Previous 1...5 6 7 8 9 10 11 12 ...14 Next