Search research publications and outputs

  1. 2019
  2. The role of gaming during difficult life experiences

    Iacovides, I. & Mekler, E. D., 2 May 2019, CHI 2019 - Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery (ACM)

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

  3. Solving the Multi-Objective Flexible Job-Shop Scheduling Problem with Alternative Recipes for a Chemical Production Process

    Dziurzanski, P., Zhao, S., Swan, J., Soares Indrusiak, L., Scholze, S. & Krone, K., 24 Apr 2019, Applications of Evolutionary Computation - 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Proceedings. Kaufmann, P. & Castillo, P. A. (eds.). p. 33-48 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11454 LNCS).

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

  4. Value-driven Manufacturing Planning using Cloud-based Evolutionary Optimisation

    Zhao, S., Dziurzanski, P. & Soares Indrusiak, L., 18 Apr 2019, (Accepted/In press) 10th International Conference on Manufacturing Science and Technology.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  5. On Learning in Collective Self-adaptive Systems: State of Practice and a 3D Framework

    Gerasimou, S., D’Angelo, M., Ghahremani, S., Grohmann, J., Nunes, I., Pournaras, E. & Tomforde, S., 22 Mar 2019, (Accepted/In press) 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems.

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

  6. Cloud-based Dynamic Distributed Optimisation of Integrated Process Planning and Scheduling in Smart Factories

    Zhao, S., Dziurzanski, P., Przewozniczek, M., Komarnicki, M. & Soares Indrusiak, L., 21 Mar 2019, (Accepted/In press) The Genetic and Evolutionary Computation Conference.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  7. Deep Reinforcement Learning Based Parameter Control in Differential Evolution

    Sharma, M., Komninos, A., López-Ibáñez, M. & Kazakov, D. L., 20 Mar 2019, (Accepted/In press) GECCO '19: Proceedings of the Genetic and Evolutionary Computation Conference. ACM

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

  8. Perpetual Assurances for Self-Adaptive Systems

    Weyns, D., Bencomo, N., Calinescu, R., Cámara, J., Ghezzi, C., Grassi, V., Grunske, L., Inverardi, P., Jézéquel, J-M., Malek, S., Mirandola, R., Mori, M. & Tamburrelli, G., 12 Mar 2019, Software Engineering for Self-Adaptive Systems III. Assurances. SPRINGER, p. 31-63 33 p. (Lecture Notes in Computer Science; vol. 9640).

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

  9. Detecting Causal Links between Financial News and Stocks

    Qu, H. & Kazakov, D. L., 14 Feb 2019, (Accepted/In press) Proceedings of IEEE Conference on Computational Intelligence for Financial Engineering and Economics: (CIFEr 2019). Shenzhen, China, 9 p.

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

  10. Pointers inside lambda closure objects in OpenMP target offload regions

    Truby, D., Bertolli, C., Wright, S. A., Bercea, G-T., O'Brien, K. & Jarvis, S., 11 Feb 2019, Proceedings of LLVM-HPC 2018: 5th Workshop on the LLVM Compiler Infrastructure in HPC, Held in conjunction with SC 2018: The International Conference for High Performance Computing, Networking, Storage and Analysis. Institute of Electrical and Electronics Engineers Inc., p. 10-17 8 p. 8639410. (Technical Consortium on High Performance Computing).

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

  11. A Team Based Player Versus Player Recommender Systems Framework For Player Improvement

    Joshi, R., Gupta, V., Li, X., Cui, Y., Wang, Z., Ravari, Y., klabjan, D., Sifa, R., Parsaianen, A., Drachen, A. & Demediuk, S. P., 29 Jan 2019, (Accepted/In press) Proceedings of ACSW.

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

  12. Socio-Cyber-Physical Systems: Models, Opportunities, Open Challenges

    Calinescu, R. C., Camara Moreno, J. & Paterson, C., 2019, (Accepted/In press) 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems.

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

  13. Using Unstructured Data to Improve the Continuous Planning of Critical Processes Involving Humans

    Paterson, C., Calinescu, R. C., Wang, D. & Manandhar, S. K., 2019, (Accepted/In press) 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems.

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

  14. 2018
  15. Finding All Bayesian Network Structures within a Factor of Optimal

    Liao, Z., Sharma, C., Cussens, J. & van Beek, P., 10 Dec 2018, (Accepted/In press) The Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19). AAAI Press

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

  16. Verifying a Copying Garbage Collector in GP 2

    Plump, D. & Wulandari, G., 6 Dec 2018, Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Revised Selected Papers. Mazzara, M., Ober, L. & Salaün, G. (eds.). Springer, p. 479--494 16 p. (Lecture Notes in Computer Science).

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

  17. Will you be happier? Designing a game that employs gifting to non-player characters

    Li, S., Ursu, M., Williams, D. & Kegel, I., 4 Dec 2018, HAI 2018 - Proceedings of the 6th International Conference on Human-Agent Interaction. Association for Computing Machinery, Inc, p. 338-340 3 p.

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

  18. Closed frequent itemset mining with arbitrary side constraints

    Kocak, G., Akgun, O., Miguel, I. J. & Nightingale, P. W., 17 Nov 2018, Workshop proceedings (OEDM 2018) of the 2018 IEEE International Conference on Data Mining (ICDM). IEEE Computer Society, 9 p.

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

  19. Implementing Digital Twins of Smart Factories with Interval Algebra

    Dziurzanski, P., Swan, J., Soares Indrusiak, L. & Ramos, J., 15 Nov 2018, (Accepted/In press) IEEE International Conference on Industrial Technology. 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  20. Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra

    Foster, S. D., Ye, K., Cavalcanti, A. L. C. & Woodcock, JAMES. C. P., 1 Nov 2018, Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Proceedings. Guttmann, W., Desharnais, J. & Joosten, S. (eds.). Lecture Notes in Computer Science, Vol. 11194. p. 205-224 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11194 LNCS).

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

  21. Analysing RoboChart with probabilities

    Conserva Filho, M. S., Marinho, R., Mota, A. & Woodcock, J., 24 Oct 2018, Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Proceedings. Massoni, T. & Mousavi, M. R. (eds.). Springer Verlag, p. 198-214 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11254 LNCS).

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

  22. Scheduling of Smart Factories using Edge Computing and Clouds

    Dziurzanski, P., Swan, J. & Soares Indrusiak, L., 20 Oct 2018, (Accepted/In press) 1st International Workshop on Trustworthy and Real-time Edge Computing for Cyber-Physical Systems (TREC4CPS). 4 p.

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

  23. TACO: An industrial case study of Test Automation for COverage

    Lesage, B. M. J-R., Law, S. A. & Bate, I. J., 10 Oct 2018, Proceedings of the 26th International Conference on Real-Time Networks and Systems. ACM, p. 114-124 11 p. (RTNS'18).

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

  24. Automating Verification of State Machines with Reactive Designs and Isabelle/UTP

    Foster, S. D., Baxter, J. E., Cavalcanti, A. L. C., Miyazawa, A. H. & Woodcock, JAMES. C. P., 5 Oct 2018, 15th International Conference on Formal Aspects of Component Software. Ölveczky, P. C. & Bae, K. (eds.). Springer, p. 137-155 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11222 LNCS).

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

  25. A Game that Makes You Question...” Exploring the Role of Reflection for the Player Experience

    Mekler, E., Iacovides, I. & Bopp, J., Oct 2018, Proceedings of the annual ACM Conference CHI Play 2018. ACM

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

  26. Service Level Agreements for Safe and Configurable Production Environments

    Ashjaei, M., Clegg, K., Corneo, L., Hawkins, R. D., Jaradat, O. T. S., Gulisano, V. & Nikolakopoulos, Y., 7 Sep 2018, International Conference on Emerging Technologies and Factory Automation: Work in Progress Session (ETFA-WiP'18). IEEE, p. 1-4 4 p.

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

  27. Performance Assessment of Recursive Probability Matching for Adaptive Operator Selection in Differential Evolution

    Sharma, M., López-Ibáñez, M. & Kazakov, D. L., Sep 2018, 15th Intl Conf. on Parallel Problem Solving from Nature: (PPSN 2018). SPRINGER-VERLAG BERLIN, p. 321-333 13 p. (LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapter

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