Search research publications and outputs

  1. 2018
  2. Local termination criteria for Swarm Intelligence: a comparison between local Stochastic Diffusion Search and ant nest-site selection

    Martin, A. O., Bishop, J. M., Robinson, E. J. H. & Myatt, D. R., 18 Dec 2018, Transactions on Computational Collective Intelligence. Berlin, Heidelberg: Springer-Verlag, Vol. XXXII. p. 140-166 27 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  3. Wing Loss for Robust Facial Landmark Localisation with Convolutional Neural Networks

    Feng, Z., Kittler, J., Awais, M., Huber, P. & Wu, X-J., 14 Dec 2018, Proceedings - 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2018. IEEE Computer Society, p. 2235-2245 11 p. 8578336

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

  4. Centaurs of the mind: Imagination and Fiction-making in the Work of Fulke Greville

    Sierhuis, F., 11 Dec 2018, Fulke Greville and the Literary Culture of the English Renaissance. Leo, R., Roeder, K. & Sierhuis, F. (eds.). Oxford University Press, p. 99-118

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

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

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

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

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

  9. Causation and Proportional Recovery

    Merkin, R. & Steele, J. C., 29 Nov 2018, Apportionment in Private Law. Barker, K. & Grantham, R. (eds.). Hart Publishing, 12. (Hart Studies in Private Law).

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

  12. Production and spectroscopic characterization of lytic polysaccharide monooxygenases

    Hemsworth, G. R., Ciano, L., Davies, G. J. & Walton, P. H., 15 Nov 2018, Methods in Enzymology . p. 63-90 28 p. (Methods in enzymology).

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

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

  14. Continuous Time Modelling Based on an Exact Discrete Time Representation

    Chambers, M., Thornton, M. A. & McCrorie, R., 2 Nov 2018, Continuous Time Modeling in the Behavioral and Related Sciences. van Montfort, K., Oud, J. & Voelkle, M. (eds.). Springer, p. 317 - 357 40 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

  17. Memory Effects and Experimental Design

    Evans, K. & Haygood, T., Nov 2018, The Handbook of Medical Image Perception & Techniques. Krupinski, E. & Samei, E. (eds.). Cambridge University Press

    Research output: Chapter in Book/Report/Conference proceedingChapter

  18. The first moments of medical image perception

    Wolfe, J., Evans, K. & Drew, T., Nov 2018, The Handbook of Medical Image Perception and Techniques. Krupinski, E. & Samei, E. (eds.). Cambridge University Press

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  47. Ageism and sexism amongst young computer scientists

    Petrie, H., 11 Jul 2018, Computers Helping people with Special Needs: Proceedings of 16th International Conference, ICCHP 2018. Miesenberger, K. & Kouroupetroglou, G. (eds.). Cham, Switerland: Springer, Vol. LNCS 10897. p. 421-425 4 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  48. Assistive technology abandonment: research realities and potentials

    Petrie, H., Carmien, S. & Lewis, A. W., 11 Jul 2018, Proceedings of the 16th International Conference on Computers Helping People with Special Needs (ICCHP 2018). LNCS 10897.. Cham, Switzerland: Springer

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

Previous 1 2 3 Next