Search research publications and outputs

  1. 2018
  2. 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

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

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

  5. User-centric JT-CoMP for high altitude platforms

    Zakaria, M. D. B., Grace, D., Mitchell, P. D. & Al-Shami, T., 3 Dec 2018, International Conference on Software, Telecommunications and Computer Networks (SOFTCOM) 13/09/18 → 15/09/18.

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

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

  7. Medium Access Control Protocol for Wireless Sensor Networks in Harsh Environments with Directional Antennas

    Chau, A., Dawson, J. F., Mitchell, P. D. & Loh, T. H., 12 Nov 2018, Loughborough Antennas Propagation Conference (LAPC 2018). Loughborough, UK, 5 p.

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

  8. A Hormone-Inspired Arbitration System For Self Identifying Abilities Amongst A Heterogeneous Robot Swarm

    Wilson, J., Timmis, J. & Tyrrell, A., 1 Nov 2018, IEEE International Conference on Evolvable Systems. Bengaluru, India

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

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

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

  11. Electrical Parameters Characterization of Aged IGBTs by Thermo-Electrical Overstress

    Dimech, E. & Dawson, J. F., 21 Oct 2018, IECON 2018 - 44th Annual Conference of the IEEE Industrial Electronics Society. p. 5924-5929 6 p.

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

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

  13. Unsynchronised dual-hop scheduling for practical data gathering in underwater sensor networks

    Morozs, N., Mitchell, P. D. & Zakharov, Y., 18 Oct 2018, Underwater Communications and Networking (UCOMMS).

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

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

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

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

  17. Recreating Sheffield's Medieval Castle in situ using Outdoor Augmented Reality

    Hadley, D., Leach, M., Maddock, S., Butterworth, C., Moreland, J., Dean, G., Mackinder, R., Pach, K., Bax, N., Mckone, M. & Fleetwood, D., 26 Sep 2018, Virtual Reality and Augmented Reality: 15th EuroVR International Conference, EuroVR 2018, London, UK, October 22–23, 2018, Proceedings. SPRINGER, p. 213-29 (Lecture Notes in Computer Science).

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

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

  19. The actions of peripheral linguistic objects: clicks

    Ogden, R. A., Sep 2018, Proceedings of Laughter Workshop 2018. Ginzburg, J. & Pelachaud, C. (eds.). Sorbonne Université, p. 2-5 4 p.

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

  20. TZDKS: A New TrustZone-based Dual-CriticalitySystem with Balanced Performance

    Dong, P., Burns, A., Jiang, Z. & Liao, X., 31 Aug 2018, Proceeding IEEE 24th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) . IEEE Xplore: IEEE, p. 59-64 6 p.

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

  21. An Investigation into Alternatives to the CISPR 12 Full Vehicle Measurement Method

    Paterson, M. & Dawson, J. F., 27 Aug 2018, 2018 International Symposium on Electromagnetic Compatibility - EMC EUROPE. Amsterdam, p. 885-889 5 p. (EMC Europe).

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

  22. Automatic discovery and exploitation of promising subproblems for tabulation

    Akgun, O., Gent, I. P., Jefferson, C. A., Miguel, I. J., Nightingale, P. W. & Salamon, A. Z., 27 Aug 2018, Principles and Practice of Constraint Programming: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings. Hooker, J. (ed.). Netherlands: Springer, p. 3-12 10 p. (Lecture Notes in Computer Science).

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

  23. Design and Evaluation of a Broadband Source Stirring Antenna for use in a Reverberation Chamber

    Marvin, A. C., Franks, L., Dawson, J. F. & Robinson, M., 27 Aug 2018, 2018 International Symposium on Electromagnetic Compatibility - EMC EUROPE. Amsterdam, p. 666-670 5 p.

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

  24. On the Meaning of Enclosure Shielding Effectiveness

    Dawson, J. F., Marvin, A. C., Robinson, M. & Flintoft, I. D., 27 Aug 2018, 2018 International Symposium on Electromagnetic Compatibility - EMC EUROPE. Amsterdam, Vol. 2018-August. p. 746-751 6 p. 8485121. (EMC Europe).

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

  25. Metamorphic testing of constraint solvers

    Akgun, O., Gent, I. P., Jefferson, C. A., Miguel, I. J. & Nightingale, P. W., 23 Aug 2018, Principles and Practice of Constraint Programming: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings. Hooker, J. (ed.). Netherlands: Springer, p. 727-736 10 p. (Lecture Notes in Computer Science).

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

  26. The Visual Inheritance Structure to Support the Design of Visual Notations

    Selviandro, N., Kelly, T. & Hawkins, R. D., 17 Aug 2018, (Accepted/In press) Third International Workshop on Human Factors in Modeling (HuFaMo’18). 8 p.

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

  27. A Conformal Thin Boundary Model for FDTD

    Bourke, S., Dawson, J., Robinson, M. & Porter, S., 8 Aug 2018, 2018 IEEE MTT-S International Conference on Numerical Electromagnetic and Multiphysics Modeling and Optimization for RF, Microwave, and Terahertz Applications (NEMO) (NEMO2018). 4 p. 8503410

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

  28. Curious Users of Casual Creators

    Nelson, M. J., Gaudl, S. E., Colton, S. & Deterding, C. S., 7 Aug 2018, FDG'18: Proceedings of the 13th International Conference on the Foundations of Digital Games. New York: ACM, 61

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

  29. Why Game Designers Should Study Magic

    Kumari, S., Deterding, C. S. & Kuhn, G., 7 Aug 2018, Proceedings of the 13th International Conference on the Foundations of Digital Games, FDG 2018. Deterding, S., Khandaker, M., Risi, S., Font, J., Dahlskog, S., Salge, C. & Olsson, C. M. (eds.). New York, NY: ACM Press, 30

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

  30. AirTight: A Resilient Wireless Communication Protocol for Mixed-Criticality Systems

    Burns, A., Harbin, J. R., Soares Indrusiak, L., Bate, I. J., Davis, R. I. & Griffin, D. J., 1 Aug 2018, IEEE Embedded and Real-Time Computing Systems and Applications: RTCSA. 11 p.

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

  31. Intrinsic Elicitation: A Model and Design Approach for Games Collecting Human Subject Data

    Gundry, D. E. & Deterding, C. S., 1 Aug 2018, Proceedings of the 13th International Conference on the Foundations of Digital Games, FDG 2018. Deterding, S., Khandaker, M., Risi, S., Font, J., Dahlskog, S., Salge, C. & Olsson, C. M. (eds.). New York: ACM, 38

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

  32. Estimating reverberant electromagnetic fields in populated enclosures by using the diffusion model

    Yan, J., Dawson, J. & Marvin, A., 30 Jul 2018, Electromagnetic Compatibility (EMC), 2018 IEEE International Symposium on. Long Beach, CA, p. 363-367 5 p. (IEEE EMC International Symposium).

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

  33. Indifferentiable Authenticated Encryption

    Barbosa, M. & Farshim, P., 25 Jul 2018, Advances in Cryptology – CRYPTO 2018. Vol. 10991. p. 187-220 24 p.

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

  34. Towards a Hierarchical-Control Architecture for Distributed Autonomous Systems

    Calinescu, R. C. & Yonbawi, S. R., 18 Jul 2018, Workshop on Verification and Validation of Autonomous Systems.

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

  35. A framework for constraint based local search using ESSENCE

    Akgun, O., Attieh, S. W. A., Gent, I. P., Jefferson, C. A., Miguel, I. J., Nightingale, P. W., Salamon, A. Z., Spracklen, P. & Wetter, J. P., 13 Jul 2018, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. Lang, J. (ed.). International Joint Conferences on Artificial Intelligence, p. 1242-1248 7 p.

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

  36. Complexity of n-Queens completion (extended abstract)

    Gent, I. P., Jefferson, C. A. & Nightingale, P. W., 13 Jul 2018, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. Lang, J. (ed.). International Joint Conferences on Artificial Intelligence, p. 5608-5611 4 p.

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

  37. Detection of the abnormal GIST in the prior mammograms even with no overt sign of breast cancer

    Gandomkar, Z., Ekpo, E. U., Lewis, S. J., Evans, K. K., Tapia, K., Trieu, P. D., Wolfe, J. M. & Brennan, P. C., 6 Jul 2018, 14th International Workshop on Breast Imaging (IWBI 2018). SPIE, Vol. 10718. 1071804

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

  38. AdaptMC: A Control-Theoretic Approach for Achieving Resilience in Mixed-Criticality Systems

    Papadopoulos, A., Bini, E., Baruah, S. & Burns, A., 4 Jul 2018, Proceeding ECRTS Conference. Altmeyer, S. (ed.). Dagstuhl: LIPICS, p. 14:1-14:22 22 p. 14

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

  39. Dependent input sampling strategies: using metaheuristics for generating parameterised random sampling regimes

    Srivisut, K., Clark, J. A. & Paige, R. F., 2 Jul 2018, GECCO 2018 - Proceedings of the 2018 Genetic and Evolutionary Computation Conference. Association for Computing Machinery, Inc, p. 1451-1458 8 p.

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

  40. Smartphone-Assessed Movement Predicts Music Properties: Towards Integrating Embodied Music Cognition into Music Recommender Services via Accelerometer

    Irrgang, M., Steffens, J. & Egermann, H. W., 28 Jun 2018, Proceedings of the 5th International Conference on Movement and Computing, MOCO 2018. ACM Digital Library, 4 p. 31. (ACM Proceedings).

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

  41. Facts, Interactivity and Videotape: Exploring the Design Space of Data in Interactive Video Storytelling

    Hook, J. D., 25 Jun 2018, TVX 2018 - Proceedings of the 2018 ACM International Conference on Interactive Experiences for TV and Online Video. Association for Computing Machinery (ACM), p. 43-55 13 p.

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

  42. Likely to be Liked? A Study of Facebook Images

    Banerjee, S. & Pal, A., 25 Jun 2018, 2018 4th International Conference on Information Management, ICIM 2018. IEEE, p. 53-56 4 p.

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

  43. Narrative Bytes: Data-Driven Content Production in Esports

    Block, F. O., Hodge, V. J., Hobson, S. J., Sephton, N., Devlin, S. M., Ursu, M., Cowling, P. I. & Drachen, A., 25 Jun 2018, TVX 2018 - Proceedings of the 2018 ACM International Conference on Interactive Experiences for TV and Online Video. New York, NY: ACM Press, p. 29-41 13 p.

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

  44. Parallel model validation with epsilon

    Madani, S., Kolovos, D. S. & Paige, R. F., 25 Jun 2018, Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Proceedings. Springer-Verlag, Vol. 10890 LNCS. p. 115-131 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10890 LNCS).

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

  45. Rumors and Rumor Corrections on Twitter: Studying Message Characteristics and Opinion Leadership

    Chua, A. Y. K. & Banerjee, S., 25 Jun 2018, 2018 4th International Conference on Information Management (ICIM). IEEE, p. 210-214 5 p.

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

  46. Towards automatic generation of UML profile graphical editors for papyrus

    Zolotas, A., Wei, R., Gerasimou, S., Hoyos Rodriguez, H., Kolovos, D. S. & Paige, R. F., 25 Jun 2018, Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Proceedings. Springer-Verlag, Vol. 10890 LNCS. p. 12-27 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10890 LNCS).

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

  47. Tracing the Growth of IMDb Reviewers in terms of Rating, Readability and Usefulness

    Banerjee, S. & Chua, A. Y. K., 25 Jun 2018, 2018 4th International Conference on Information Management (ICIM). IEEE, p. 57-61 5 p.

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

  48. Authoring Object-Based Video Narratives

    Smith, D., Hook, J. D. & Ursu, M., 21 Jun 2018, Adjunct Proceedings of ACM TVX 2018.

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

  49. Probabilistic Graph Programs for Randomised and Evolutionary Algorithms

    Atkinson, T., Plump, D. & Stepney, S., 19 Jun 2018, Proceedings 11th International Conference on Graph Transformation (ICGT 2018). Lambers, L. & Weber, J. (eds.). Springer, 15 p. (Lecture Notes in Computer Science; vol. 10887).

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

  50. Low-complexity UAC modem and data packet structure

    Zakharov, Y., Yuan, F., Mitchell, P. D., Morozs, N., Henson, B. T., Shen, L. & Tozer, T. C., 11 Jun 2018, (Accepted/In press) Underwater Communications and Networking (UCOMMS).

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

  51. Q-learning based adaptive channel selection for underwater sensor networks

    Pottier, A., Mitchell, P. D., Socheleau, F. & Laot, C., 11 Jun 2018, (Accepted/In press) Underwater Communications and Networking (UCOMMS).

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

Previous 1 2 3 Next