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 proceeding › Conference contribution

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 proceeding › Conference contribution

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 proceeding › Conference contribution

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 proceeding › Conference contribution

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 proceeding › Conference contribution

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 proceeding › Conference contribution

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 proceeding › Conference contribution

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 proceeding › Conference contribution

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 proceeding › Conference contribution

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 proceeding › Conference contribution

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 proceeding › Conference contribution

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 proceeding › Conference contribution

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 proceeding › Conference contribution

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 proceeding › Conference contribution

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 proceeding › Conference contribution

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 proceeding › Conference contribution

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 proceeding › Conference contribution

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 proceeding › Conference contribution

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 proceeding › Conference contribution

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 proceeding › Conference contribution

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 proceeding › Conference contribution

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 proceeding › Conference contribution

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 proceeding › Conference contribution

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 proceeding › Conference contribution

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 proceeding › Conference contribution

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 proceeding › Conference contribution

Forensic speaker comparison: the role of linguistic analysis

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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 proceeding › Conference contribution

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 proceeding › Conference contribution

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 proceeding › Conference contribution

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 proceeding › Conference contribution

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 proceeding › Conference contribution

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 proceeding › Conference contribution

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 proceeding › Conference contribution

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 proceeding › Conference contribution

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 proceeding › Conference contribution

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 proceeding › Conference contribution

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 proceeding › Conference contribution

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 proceeding › Conference contribution

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 proceeding › Conference contribution

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 proceeding › Conference contribution

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 proceeding › Conference contribution

Measurement of the ²⁴⁴Cm and ²⁴⁶Cm 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 proceeding › Conference contribution

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 proceeding › Conference contribution

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 proceeding › Conference contribution

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 proceeding › Conference contribution

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 proceeding › Conference contribution

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 proceeding › Conference contribution

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 proceeding › Conference contribution

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 proceeding › Conference contribution