Search research publications and outputs

  1. 3D Steganalysis Using LaplacianSmoothing at Various Levels

    Li, Z., Liu, F. & Bors, A. G., 2018, Proc. International Conference on Cloud Computing and Security (ICCCS). Springer, Vol. 11068. p. 223-232 (Lecture Notes in Computer Science).

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

  2. 3D Steganalysis Using the Extended Local Feature Set

    Li, Z., Gong, D., Liu, F. & Bors, A. G., 2018, Proc. of IEEE International Conference on Image Processing. IEEE, p. 1683-1687 5 p.

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

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

  4. A Data-augmented 3D Morphable Model of the Ear

    Dai, H., Pears, N. E. & Smith, W. A. P., 15 May 2018, The 13th IEEE International Conference on AUTOMATIC FACE AND GESTURE RECOGNITION (FG 2018) . IEEE, 5 p.

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

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

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

  7. A Methodological Template to Construct Ground Truth of Authentic and Fake Online Reviews

    Banerjee, S., 2018, 2018 IEEE International Conference on Data Science and Advanced Analytics. IEEE, p. 641-648 8 p.

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

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

  9. Abstraction/Representation Theory and the Natural Science of Computation

    Horsman, D., Kendon, V. & Stepney, S., 17 May 2018, Physical Perspectives on Computation, Computational Perspectives on Physics. Cuffaro, M. E. & Fletcher, S. C. (eds.). CAMBRIDGE UNIV PRESS, p. 127-149

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

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

  11. Addressing the skills gap for facilitating renewable energy entrepreneurship- an analysis of the wind energy sector.

    Baruah, B. J., Ward, A. E., Gbadebo, A. A. & Jackson, N., 19 Mar 2018, Majan International Conference. MIC 2018. Muscat (Oman), 7 p.

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

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

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

  14. Alpha Decay and Beta-Delayed Fission: Tools for Nuclear Physics Studies

    Andreev, A. & Van Duppen, P., 5 Apr 2018, The Euroschool on Exotic Beams. Scheidenberger, C. & Pfutzner, M. (eds.). Springer, Vol. vol.5, Chapter 3. p. 65-116 52 p. (Lecture Notes in Physics, LPN, vol. 948; vol. 948).

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

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

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

  17. Analysis of the use of genetic algorithms for indoor localisation via cloud point matching

    Boland, M. & Soares Indrusiak, L., 24 Mar 2018, (Accepted/In press) Proceedings of the Genetic and Evolutionary Computation Conference. 8 p.

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

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

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

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

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

  22. Axially and Radially Expandable Pneumatic Helical Soft Actuator for Robotic Implantables

    Roberto P. G. E., E., Nejus, S., Yan, X., Miyashita, S., Liu, Y. & Damian, D., 2018, ICRA 2018.

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

  23. Bragg Diffraction Patterns as Graph Characteristics

    Escolano, F. & Hancock, E. R., 22 Mar 2018, Eleventh International Conference on Energy Minimisation Methods in Computer Vision and Pattern Recognition. Springer Nature , Vol. 10746. p. 59-72 13 p. (Lecture Notes in Computer Science).

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

  24. Buffer-aware bounds to multi-point progressive blocking in priority-preemptive NoCs

    Soares Indrusiak, L., Burns, A. & Nikolic, B., Mar 2018, Proceedings of the 2018 Design, Automation & Test in Europe Conference (DATE). p. 219-224

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

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

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

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

  28. Cheap Remarks about Concurrent Programs

    Walker, M. & Runciman, C., 22 Jan 2018, (Accepted/In press) Proceedings of 14th International Symposium on Functional and Logic Programming. Springer, 15 p.

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

  29. Checking Graph Programs for Confluence

    Plump, D. & Hristakiev, I., 23 Jan 2018, Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Revised Selected Papers. Seidl, M. & Zschaler, S. (eds.). Springer, p. 92-108 16 p. (Lecture Notes in Computer Science; vol. 10748).

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

  30. Children of the crisis: Fiscal councils in Portugal, Spain and Ireland

    Horvath, M., 29 Jan 2018, Independent Fiscal Councils: Watchdogs or lapdogs?. Beetsma, R. & Debrun, X. (eds.). London: Centre for Economic Policy Research, p. 125-133

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

  32. Commodities carried in amphorae AD 600-1200. New research from Sicily

    Drieu, L., Carver, M. O. H. & Craig, O. O., 2018, Archeologia Medievale, XLV, 2018: I contenitori da trasporto altomedievali e medievali (VIII-XII secolo) nel Mediterraneo. Centri produttori, contenuti, reti di scambio. Gelichi, S. & Molinari, A. (eds.). Vol. 45. p. 269-274 (Archeologia Medievale).

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

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

  34. Connecting Students with the workplace

    Mishu, M. P., 2018, Shaping Higher Education with Students ways to connect Research and Teaching. Tong, V. C. H., Standen, A. & Sotiriou, M. (eds.). UCL Press, p. 75-77 4 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

  36. Controlling the Crucible: A Novel PvP Recommender Systems Framework for Destiny

    Sifa, R., Zhai, K., Pawlakos, E., Jha, R., Narayanan, S., Klabjan, D. & Drachen, A., 29 Jan 2018, Proceedings of Australian Computer Science Week, Interactive Entertainment. Association for Computing Machinery (ACM)

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

  37. Correlated Input Strategies: Using Metaheuristics for Generating Parameterised Random Sampling Regimes

    Srivisut, K., Paige, R. F. & Clark, J. A., 25 Mar 2018, (Accepted/In press) Proceedings of the Genetic and Evolutionary Computation Conference (GECCO) 2018. ACM, 8 p.

    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. Data, open science, and methodological reform in second language acquisition research.

    Marsden, E. J. & Plonsky, L., 19 Jan 2018, (Accepted/In press) Critical reflections on data in second language acquisition.. Gudmestad, A. & Edmonds, A. (eds.). Philadelphia, PA: John Benjamins

    Research output: Chapter in Book/Report/Conference proceedingChapter

  40. Definitions of Role-Playing Games

    Zagal, J. P. & Deterding, C. S., 18 Apr 2018, Role-Playing Game Studies: Transmedia Foundations. Zagal, J. P. & Deterding, S. (eds.). Routledge , p. 19-52 34 p.

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

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

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

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

  44. Deterioration and Conservation

    High, K. E., Penkman, K. E. H., Milner, N., Boreham, S., Boreham, J., Needham, A., Panter, I., Felter, M., Knight, B., Elliott, B., Bamforth, M., Taylor, M. & Rowley, C. C. A., 16 Apr 2018, Star Carr Volume 2: Studies in Technology, Subsistence and Environment. Milner, N., Conneller, C. & Taylor, B. (eds.). White Rose University Press, p. 175 192 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  45. Developing and Using a Geometric Multigrid, Unstructured Grid Mini-Application to Assess Many-Core Architectures

    Owenson, A., Wright, S., Bunt, R., Jarvis, S., Ho, Y. & Street, M., 6 Jun 2018, Proceedings - 26th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2018. Institute of Electrical and Electronics Engineers Inc., p. 68-76 9 p.

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

  46. Dialect formation and dialect change in the Industrial Revolution: British vernacular English in the nineteenth century

    Kerswill, P., 1 Jul 2018, Southern English Varieties Then and Now. Wright, L. (ed.). Mouton de Gruyter, p. 8-38 30 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  47. Discovering the Language of Wine Reviews: A Text Mining Account

    Lefever, E., Hendrickx, I., Croijmans, I., Van den Bosch, A. & Majid, A., 7 May 2018, Proceedings of the Eleventh International Conference on Language Resources and Evaluation (LREC 2018). Calzolari, N., Choukri, K., Cieri, C., Declerck, T., Goggi, S., Hasida, K., Isahara, H., Maegaard, B., Mariani, J., Mazo, H., Moreno, A., Odijk, J., Piperidis, S. & Tokunaga, T. (eds.). Miyazaki,Japan: LREC, p. 3297-3302 6 p.

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

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

  49. Engineering bidirectional transformations

    Paige, R. F., 28 Mar 2018, Bidirectional Transformations: International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures. Gibbons, J. & Stevens, P. (eds.). Springer-Verlag, Vol. 9715 LNCS. p. 151-187 37 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9715 LNCS).

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

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

Previous 1 2 3 Next