Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. 2019
  2. A Calculus of Space, Time, and Causality: its Algebra, Geometry, Logic

    Hoare, T., Struth, G. & Woodcock, J. C. P., 4 Nov 2019, Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings. Ribeiro, P. & A. S. (eds.). Lecture Notes in Computer Science, Vol. 11885.

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

  3. Probabilistic Semantics for RoboChart A Weakest Completion Approach

    Woodcock, JAMES. C. P., Cavalcanti, A. L. C., Foster, S. D. & Mota, A., 4 Nov 2019, Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings. Ribeiro, P. & Sampaio, A. (eds.). Lecture Notes in Computer Science, Vol. 11885.

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

  4. Realistic and Textured Terrain Generation using GANs

    Spick, R. J. & Walker, J. A., 15 Oct 2019, (Accepted/In press) The 16th ACM SIGGRAPH European Conference on Visual Media Production (CVMP). ACM

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

  5. Integrating Existing Safety Analyses into SysML

    Clegg, K. D., McDermid, J. A., Grigg, A. & Mole, L., 11 Oct 2019, Model-Based Safety and Assessment (IMBSA) 2019: Lecture Notes in Computer Science. Papadopoulos, Y., Aslansefat, K. & Katsaros, P. (eds.). 2019 ed. Springer Nature , Vol. 11842. p. 63-77 15 p.

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

  6. Matter over Mind: The Resurrected Body in Rubens’ ‘Great Last Judgement’

    Van Wyhe, C. H., 10 Oct 2019, La Sovrabbondanza nel Barocco Atti del convegno tenutosi a Palermo il 22 Giugno 2018. La Delfa, R., Scordato, C. & Viola, V. (eds.). Siké Edizioni, p. 248-287

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

  7. Extreme ultra-violet laser ablation of solid targets

    Tallents, G. J., Wilson, S. A., Aslanyan, V., West, A., Rossall, A. K., Solis Meza, E., Wagenaars, E., Menoni, C. & Rocca, J., 19 Sep 2019, Proc. SPIE conference series. Vol. 11111. 7 p.

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

  8. Testing the distinctiveness of intonational tunes: Evidence from imitative productions in American English

    Chodroff, E. & Cole, J., 15 Sep 2019, Proceedings of INTERSPEECH 2019. International Speech Communication Association, p. 1966-1970 (Interspeech).

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

  9. Synthesizing Real-Time Schedulability Tests using Evolutionary Algorithms: A Proof of Concept

    Dziurzanski, P., Davis, R. I. & Soares Indrusiak, L., 7 Sep 2019, (Accepted/In press) Proceedings of the 40th IEEE Real-Time Systems Symposium.

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

  10. Collaborative mobile industrial manipulator: a review of system architecture and applications

    Yang, M., Yang, E. F., Zante, R. C., Post, M. A. & Liu, X. F., 6 Sep 2019, Proceedings of the 25th International Conference on Automation & Computing, Newcastle University, Newcastle upon Tyne, UK. 6 p.

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

  11. Computing Optimal Assignments in Linear Time for Approximate Graph Matching

    Kriege, N., Giscard, P-L., Bause, F. & Wilson, R. C., 6 Sep 2019, (Accepted/In press) International Conference on Data Mining. IEEE Computer Society, 10 p.

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

  12. Measurements and Power Balance Modelling of the Shielding Effectiveness of Partitioned Equipment Enclosures

    Marvin, A. C., Parker, S. L., Dawson, J. F. & Robinson, M. P., 2 Sep 2019, 2019 International Symposium on Electromagnetic Compatibility - EMC EUROPE. p. 158-162 5 p. (EMC Europe).

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

  13. Accommodating Learners with Specific Learning Difficulties in Educational Settings: Problems and Solutions

    Indrarathne, B., 1 Sep 2019, Pan Commonwealth Forum. Commonwealth of Learning, 7 p. 72

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

  14. Predicting Visual Memory Schemas with Variational Autoencoders

    Kyle-Davidson, C. P., Bors, A. G. & Evans, K., Sep 2019, Proc. British Machine Vision Conference (BMVC).

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

  15. 7Be(n,p)7 Li Cross Section Measurement for the Cosmological Lithium Problem at the n_TOF Facility at CERN

    The n-TOF Collaboration, 20 Aug 2019, Nuclei in the Cosmos XV. Gialanella, L., Imbriani, G., Formicola, A. & Junker, M. (eds.). Springer Science and Business Media, LLC, Vol. 219. p. 25-32 8 p.

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

  16. Data for the s Process from n_TOF

    The n-TOF Collaboration, 20 Aug 2019, Nuclei in the Cosmos XV. Gialanella, L., Imbriani, G., Formicola, A. & Junker, M. (eds.). Springer Science and Business Media, LLC, Vol. 219. p. 63-70 8 p.

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

  17. “One of the baddies all along”: Moments that Challenge a Player’s Perspective

    Whitby, M. A., Deterding, C. S. & Iacovides, I., 20 Aug 2019, (Accepted/In press) CHI PLAY 2019. ACM

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

  18. Secure Delegation to a Single Malicious Server: Exponentiation in RSA-type Groups

    Kahrobaei, D., Di Crescenzo, G., Khodjaeva, M. & Shpilrain, V., 19 Aug 2019, 2019 IEEE Conference on Communications and Network Security (CNS): Workshops: SPC: 5th IEEE Workshop on Security and Privacy in the Cloud 2019.

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

  19. Ethereum Crypto-Games: Mechanics, Prevalence and Gambling Similarities

    Scholten, O. J., Hughes, N. G. J., Deterding, C. S., Drachen, A., Walker, J. A. & Zendle, D. I., 16 Aug 2019, (Accepted/In press) CHI PLAY 2019. ACM

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

  20. The Role of Uncertainty in Moment-to-Moment Player Motivation: A Grounded Theory

    Kumari, S., Deterding, C. S. & Freeman, J., 16 Aug 2019, (Accepted/In press) CHI PLAY'19. ACM

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

  21. “Horror, guilt and shame” - Uncomfortable Experiences in Digital Games

    Gowler, C. & Iacovides, I., 16 Aug 2019, (Accepted/In press) CHI PLAY 2019.

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

  22. Towards a Framework for Safety Assurance of Autonomous Systems

    McDermid, J. A., Jia, Y. & Habli, I., 11 Aug 2019, Artificial Intelligence Safety 2019. Espinoza, H., Yu, H., Huang, X., Lecue, F., Chen, C., Hernandex-Orallo, J., o hEigeartaigh, S. & Mallah, R. (eds.). CEUR Workshop Proceedings, Vol. 2419. p. 1-7 8 p.

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

  23. Athanor: High-Level Local Search Over Abstract Constraint Specifications in Essence

    Attieh, S. W. A., Dang, N., Jefferson, C., Miguel, I. & Nightingale, P., 10 Aug 2019, Proceedings of the 28th International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence, p. 1056-1063 8 p.

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

  24. A SysML Profile for Fault Trees: Linking Safety Models to System Design

    Clegg, K. D., McDermid, J. A., Grigg, A. & Mole, L., 8 Aug 2019, Computer Safety, Reliability, and Security: SAFECOMP 2019. Romanovsky, A. & Troubitsyna, E. (eds.). Springer Nature , Vol. 11698. p. 85-93 (Lecture Notes in Computer Science).

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

  25. Modeling Voiced Stop Consonants Using the 3D Dynamic Digital Waveguide Mesh Vocal Tract Model

    Gully, A. J. & Tucker, B., 6 Aug 2019, Proceedings of the International Congress of Phonetic Sciences 2019. Australasian Speech Science and Technology Association Inc., 5 p. (International Congress of Phonetic Sciences).

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

  26. Developing a Safety Case for Electronic Prescribing

    Jia, Y., Lawton, T., White, S. P. & Habli, I., Aug 2019, Studies in Health Technology and Informatics: MEDINFO2019. Vol. 264. p. 629-633 5 p.

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

  27. CONNER: A Concurrent ILP Learner in Description Logic

    Algahtani, E. & Kazakov, D. L., 26 Jul 2019, (Accepted/In press) Inductive Logic Programming: 29th International Conference, ILP 2019. Springer, (LNAI; no. 11770).

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

  28. Decentralised Gambling: Data Abundance and Technical Concerns

    Scholten, O. J., Zendle, D. & Walker, J. A., 22 Jul 2019, Current Advances in Gambling Research Conference 2019. Society for the Study of Addiction

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

  29. Switching Parameters Characterization of Aged IGBTs by Thermo-Electrical Overstress

    Dimech, E. & Dawson, J. F., 14 Jul 2019, (Accepted/In press) IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society. Lisbon, Portugal

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

  30. Incorporating Robustness and Resilience into Mixed-Criticality Scheduling Theory

    Baruah, S. & Burns, A., 11 Jul 2019, 2019 IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC). IEEE, p. 155-162 8 p. (nternational Symposium on Real-Time Distributed Computing (ISORC)).

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

  31. Industrial Application of a Partitioning Scheduler to Support Mixed Criticality Systems

    Law, S. A., Bate, I. J. & Lesage, B. M. J-R., 8 Jul 2019, Proceedings of the 31st Euromicro Conference on Real-Time Systems (ECRTS 2019).

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

  32. An XML-based Factory Description Language for Smart Manufacturing Plants in Industry 4.0: Factory Description Language

    Zhao, S., Dziurzanski, P. & Soares Indrusiak, L., 3 Jul 2019, International Workshop on Reconfigurable and Communication-centric Cyber-Physical Systems.

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

  33. Integrated Process Planning and Scheduling in Commercial Smart Kitchens

    Dziurzanski, P., Zhao, S. & Soares Indrusiak, L., 3 Jul 2019, International Workshop on Reconfigurable and Communication-centric Cyber-Physical Systems (ReCoCyPS 2019). 6 p.

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

  34. Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints

    Ansótegui, C., Bofill, M., Coll, J., Dang, N., Esteban, J. L., Miguel, I. J., Nightingale, P., Salamon, A. Z., Suy, J. & Villaret, M., 1 Jul 2019, (Accepted/In press) Proceedings of the 25th International Conference on Principles and Practice of Constraint Programming. Springer

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

  35. Evolving Graphs with Horizontal Gene Transfer

    Plump, D., Atkinson, T. & Stepney, S., Jul 2019, Proceedings Genetic and Evolutionary Computation Conference (GECCO 2019). ACM, p. 968-976

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

  36. Fundamental Rights and Indeterminate Sentencing in England and Wales: The importance of the post-tariff distinction

    O'Loughlin, A. & Annison, H., 27 Jun 2019, Fundamental Rights and Legal Consequences of Criminal Conviction. Meijer, S., Annison, H. & O'Loughlin, A. (eds.). Hart Publishing, (Oñati International Series in Law and Society).

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

  37. On-the-fly Translation and Execution of OCL-like Queries on Simulink Models

    Sanchez Pina, B. A., Zolotas, A., Hoyos Rodriguez, H., Kolovos, D. & Paige, R. F., 19 Jun 2019, (Accepted/In press) Proceedings of the ACM/IEEE 22th International Conference on Model Driven Engineering Languages and Systems.

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

  38. Fading Star: Towards understanding the effects of acidification on organic remains (wood) at Star Carr

    High, K. E., Penkman, K. E. H., Milner, N. & Panter, I., 18 Jun 2019, Proceedings of the 12th ICOM-CC Group on Wet Organic Archaeological Materials Conference, Istanbul 2013. Grant, T. & Cook, C. (eds.). ICOM-CC, p. 28-35

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

  39. Confidence Arguments for Evidence of Performance in Machine Learning for Highly Automated Driving Functions

    Burton, S., Gauerhof, L., Hawkins, R. D., Habli, I. & Sethy, B., 6 Jun 2019, (Accepted/In press) Safecomp 2019 - Workshop on Artificial Intelligence Safety Engineering (Waise) of the 38th International Conference on Computer Safety, Reliability and Security.

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

  40. Stepping Through Remixed: Exploring the Limits of Linear Video in a Participatory Mental Health Film

    Manni, S., Ursu, M. & Hook, J. D., 4 Jun 2019, TVX '19 Proceedings of the 2019 ACM International Conference on Interactive Experiences for TV and Online Video. Association for Computing Machinery (ACM), p. 83-94 12 p.

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

  41. Evaluating a continuous sonic interaction: comparing a performable acoustic and digital everyday sound

    Keenan, F. & Pauletto, S., 29 May 2019, SMC 2019 : Proceedings of the 16th Sound & Music Computing Conference. Barbancho, I., Tardón, L. J., Peinado, A. & Barbancho, A. M. (eds.). p. 127-134 8 p. (Proceedings of the Sound and Music Computing Conferences.).

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

  42. Forensic speaker comparison: the role of linguistic analysis

    French, J. P., 24 May 2019, InterFORENSICS Conference 2019.

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

  43. How Online Reviews in a Year Predict Online Sales in the Next on Expedia.com + Agoda.com + Hotels.com? A Panel Study of Hotels

    Banerjee, S. & Bonfield, S., 17 May 2019, 2019 5th International Conference on Information Management (ICIM). IEEE, 5 p.

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

  44. Robots of Leisure

    Kirman, B. J. & Linehan, C., 5 May 2019, CHI4Evil Workshop: Creative Speculation on the Negative Effects of HCI Research.

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

  45. Virtual Hubs: Understanding Relational Aspects and Remediating Incubation

    Luik, J. E., Ng, J. P-S. & Hook, J. D., 4 May 2019, Proceedings of the ACM CHI 2019 Conference on Human Factors in Computing Systems. Association for Computing Machinery (ACM)

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

  46. Influencers in Multiplayer Online Shooters Evidence of Social Contagion in Playtime and Social Play

    Canossa, A., Azadvar, A., Harteveld, C., Drachen, A. & Deterding, C. S., 2 May 2019, CHI '19 Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems. New York : ACM, 12 p.

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

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

  48. Feature selection method for image steganalysis based on weighted inner-inter class distance and dispersion criterion

    Ma, Y., Luo, X., Li, Z., Zhang, Y. & Bors, A. G., May 2019, Proc. ACM Turing Celebration Conference - China. ACM, 5 p. 66

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

  49. A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems

    Picardi, C., Hawkins, R. D., Paterson, C. & Habli, I., 30 Apr 2019, (Accepted/In press) 38th International Conference on Computer Safety, Reliability and Security – SafeComp 2019.

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

  50. Modelling extreme ultraviolet ablation interactions

    Lolley, J., Wilson, S. A. & Tallents, G. J., 24 Apr 2019, Proceedings Volume 11035, Optics Damage and Materials Processing by EUV/X-ray Radiation VII; 110350R (2019). SPIE, Vol. 11035. p. R1- R8 8 p.

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

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

  52. KNOWLEDGE-BASED SELF-RECONFIGURATION AND SELF-AWARE DEMONSTRATION FOR MODULAR SATELLITE ASSEMBLY

    Post, M. A. & Austin, J., 11 Apr 2019, (Accepted/In press) 10th International Workshop on Satellite Constellations & Formation Flying 2019. Glasgow UK

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

  53. What can automatic accent recognition technology bring to language analysis in the asylum process (LAAP)? A demonstration using spoken Arabic dialect data. Workshop on Arabic and language analysis in asylum procedures

    Brown, G., Alhussein Almbark, R., French, J. P. & Hellmuth, S., 9 Apr 2019, Workshop on Arabic and language analysis in asylum procedures.

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

  54. FocusNet: An attention-based Fully Convolutional Network for Medical Image Segmentation

    Kaul, C., Manandhar, S. K. & Pears, N. E., Apr 2019, International Symposium on Biomedical Imaging (ISBI). Venice

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

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

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

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

  58. Combining 3D Morphable Models: A Large scale Face-and-Head Model

    Ploumpis, S., Wang, H., Pears, N. E., Smith, W. A. P. & Zafeiriou, S., 11 Mar 2019, (Accepted/In press) IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) 2019.

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

  59. Depth from a polarisation + RGB stereo pair

    Zhu, D. & Smith, W. A. P., 11 Mar 2019, (Accepted/In press) IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) 2019.

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

  60. InverseRenderNet: Learning single image inverse rendering

    Yu, Y. & Smith, W. A. P., 11 Mar 2019, (Accepted/In press) IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR).

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

  61. The psychosocial impact of having diabetes alongside severe mental illness: Comparing results from the Diabetes Attitudes, Wishes and Needs‐Severe Mental Illness (DAWN‐SMI) and Diabetes Attitudes, Wishes and Needs Second (DAWN2) studies

    Taylor, J., Lister, J. E., Boehnke, J., Holt, R., Phillips, A., Peyrot, M., Stubbs, B., Stuckey, H. & Siddiqi, N., 5 Mar 2019, Diabetic Medicine. 376

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

  62. Overview of the P2715 WG - IEEE Guide for the Characterization of the shielding effectiveness of planar material: Free Space and Absorber Box Methods of Planar Shielding Measurement

    Dawson, J. & Pissoort, D., 26 Feb 2019, (Accepted/In press) Electromagnetic Compatibility (EMC), 2019 IEEE International Symposium on. (IEEE Symposium on Electromagnetic Compatibility, Signal Integrity and Power Integrity).

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

  63. Overview of the P2715 WG - IEEE Guide for the Characterization of the shielding effectiveness of planar material: Overview of Planar Shielding Results and Methods

    Dawson, J., Arien, Y. & Pissoort, D., 26 Feb 2019, (Accepted/In press) Electromagnetic Compatibility (EMC), 2019 IEEE International Symposium on. 19 p. (IEEE Symposium on Electromagnetic Compatibility, Signal Integrity and Power Integrity).

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

  64. DeepFault: Fault Localization for Deep Neural Networks

    Gerasimou, S., Eniser, H. F. & Sen, A., 15 Feb 2019, 22nd International Conference on Fundamental Approaches to Software Engineering. Springer-Verlag

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

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

  66. Effects of formant settings and channel mismatch on semi-automatic systems in forensic voice comparison

    Hughes, V., Harrison, P. T., Foulkes, P., French, J. P. & Gully, A. J., 12 Feb 2019, (Accepted/In press) Proceedings of the 19th International Congress of Phonetic Sciences (ICPhS).

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

  67. Forensic voice comparison using long-term acoustic measures of voice quality

    Cardoso, A., Foulkes, P., French, J. P., Gully, A. J., Harrison, P. T. & Hughes, V., 12 Feb 2019, (Accepted/In press) Proceedings of the 19th International Congress of Phonetic Sciences (ICPhS).

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

  68. The effect of speaker sampling on system validity in likelihood ratio based forensic voice comparison

    Wang, X., Hughes, V. & Foulkes, P., 12 Feb 2019, (Accepted/In press) Proceedings of the 19th International Congress of Phonetic Sciences (ICPhS).

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

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

  70. Institute of Historical Research Blog post for "On History": The market imperfections of business, shoppers and consumerism: Esther Peterson and the legacies of the National Consumers' League

    Black, L. E. I., 1 Feb 2019, On History. Institute of Historical Research, University of London

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

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

  72. Challenging AI: Evaluating the Effect of MCTS-Driven Dynamic Difficulty Adjustment on Player Enjoyment

    Demediuk, S. P., Tamassia, M., Li, X. & Raffe, W., 29 Jan 2019, Proceedings of ACSW.

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

  73. Measurement of the 244Cm and 246Cm neutron-induced cross sections at the n_TOF facility

    Alcayne, V., Kimura, A., Mendoza, E., Cano-Ott, D., Aberle, O., Amaducci, S., Andrzejewski, J., Audouin, L., Babiano-Suarez, V., Bacak, M., Barbagallo, M., Bécares, V., Bečvář, F., Bellia, G., Berthoumieux, E., Billowes, J., Bosnar, D., Brown, A. S., Busso, M., Caamaño, M. & 105 others, Caballero, L., Calviani, M., Calviño, F., Casanovas, A., Cerutti, F., Chen, Y. H., Chiaveri, E., Colonna, N., Cortés, G. P., Cortés-Giraldo, M. A., Cosentino, L., Cristallo, S., Damone, L. A., Diakaki, M., Dietz, M., Domingo-Pardo, C., Dressler, R., Dupont, E., Durán, I., Eleme, Z., Fernández-Domíngez, B., Ferrari, A., Ferro-Goncalves, I., Finocchiaro, P., Furman, V., Gawlik, A., Gilardoni, S., Glodariu, T., Göbel, K., González-Romero, E., Guerrero, C., Gunsing, F., Heinitz, S., Heyse, J., Jenkins, D. G., Kadi, Y., Käppeler, F., Kivel, N., Kokkoris, M., Kopatch, Y., Krtička, M., Kurtulgil, D., Ladarescu, I., Lederer-Woods, C., Lerendegui-Marco, J., Meo, S. L., Lonsdale, S. J., Macina, D., Manna, A., Martínez, T., Masi, A., Massimi, C., Mastinu, P. F., Mastromarco, M., Matteucci, F., Maugeri, E., Mazzone, A., Mengoni, A., Michalopoulou, V., Milazzo, P. M., Mingrone, F., Musumarra, A., Negret, A., Nolte, R., Ogállar, F., Oprea, A., Patronis, N., Pavlik, A., Perkowski, J., Piersanti, L., Porras, I., Praena, J., Quesada, J. M., Radeck, D., Doval, D. R., Rausher, T., Reifarth, R., Rochman, D., Rubbia, C., Sabaté-Gilarte, M., Saxena, A., Schillebeeckx, P., Schumann, D., Smith, A. G., Sosnin, N., Stamatopoulos, A., Tagliente, G., Tain, J. L., Talip, Z., Tarifeño-Saldivia, A. E., Tassan-Got, L., Tsinganis, A., Ulrich, J., Urlass, S., Valenta, S., Vannini, G., Variale, V., Vaz, P., Ventura, A., Vlachoudis, V., Vlastou, R., Wallner, A., Woods, P. J., Wright, T. J. & Žugec, P., 1 Jan 2019, Basic Concepts in Nuclear Physics: Theory, Experiments and Applications - 2018 La Rábida International Scientific Meeting on Nuclear Physics. García-Ramos, J-E., Pérez-Bernal, F., Andrés, M. V., Moro, A. M. & Valera, J. A. (eds.). Springer Science and Business Media, LLC, Vol. 225. p. 117-122 6 p.

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

  74. Algorithmic music curation in audio branding: Commercial and critical perspectives on an international research and innovation project

    Edwards, J. & Egermann, H. W., 2019, Algorithmic Music: Value, Creativity and Artificial Intelligence A One-day Symposium.

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

  75. An Interactive Spatial Audio Experience for Children with Autism Spectrum Disorder

    Johnston, D. I., Egermann, H. W. & Kearney, G. C., 2019, Proceedings of the 2019 AES International Conference on Immersive and Interactive Audio. Audio Engineering Society

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

  76. Constraints on variability in the voice onset time of L2 English stop consonants

    Chodroff, E. R. & Baese-Berk, M., 2019, Proceedings of the 19th International Congress of Phonetic Sciences. 734. (Proceedings of the International Congress of Phonetic Sciences).

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

  77. Learning Aligned-Spatial Graph Convolutional Networks for Graph Classification

    Bai, L., Cui, L., Jiao, Y. & Hancock, E. R., 2019, European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Würzburg, Germany, 16th - 20th of September 2019.

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

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

  79. Student talk in whole-class teaching: findings from a teacher development intervention

    Hardman, J., 2019, BAAL 2018: Taking Risks in Applied Linguistics. Meddegama, I., Danjo, C., Prudhoe, J., Walz, L. & Wicaksono, R. (eds.). BAAL/Continuum, p. 32-35 4 p.

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

  80. The phonological and phonetic encoding of information status in American English nuclear accents

    Chodroff, E. R. & Cole, J., 2019, Proceedings of the 19th International Congress of Phonetic Sciences. 187. (Proceedings of the International Congress of Phonetic Sciences).

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

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

  82. Voice as a design material: sociophonetic inspired design strategies in Human-Computer Interaction

    Sutton, S., Foulkes, P., Kirk, D. & Lawson, S., 2019, CHI Conference on Human Factors in Computing Systems Proceedings (CHI 2019). ACM: New York, (CHI Conference on Human Factors in Computing Systems Proceedings).

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

  83. 2018
  84. 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

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

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

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

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

  89. How we lost ourselves. Nature of being and constructions of self in autochthonous Andean society under the imposition of Spanish colonialism in the Americas.

    Currie, E. J., Dec 2018, (Unpublished) AfriScoN.

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

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

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

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

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

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

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

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

  97. Predicting Skill Learning in a Large, Longitudinal MOBA Dataset

    Aung, M., Bonometti, V., Cowling, P., Kokkinakis, A. V., Yoder, C. & Wade, A., 11 Oct 2018, Proceedings of the 2018 IEEE Conference on Computational Intelligence and Games, CIG 2018. IEEE Computer Society, Vol. 2018-August. 8490431

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

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

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

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

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

  102. Innovative HIV prevention services for asylum seekers

    Mason-Jones, A. J., Moyo, W. & Hill, E., 12 Sep 2018, Public Health England 2018.

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

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