Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. 2019
  2. Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods

    Nemouchi, Y., Foster, S. D., Gleirscher, M. & Kelly, T. P., 22 Nov 2019, Integrated Formal Methods: Proceedings of the 15th International Conference. Springer International Publishing, Vol. 11918. p. 379-398 20 p. (LNCS).

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

  3. Naive Mesh-to-Mesh Coloured Model Generation using 3D GANs

    Spick, R. J., Demediuk, S. P. & Walker, J. A., 11 Nov 2019, (Accepted/In press) Proceedings of Australasian Computer Science Week (ACSW’20). ACM

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

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

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

  6. “Horror, guilt and shame” – Uncomfortable Experiences in Digital Games

    Gowler, C. P. R. & Iacovides, I., 17 Oct 2019, CHI PLAY 2019 - Proceedings of the Annual Symposium on Computer-Human Interaction in Play. Association for Computing Machinery, Inc, p. 325-337 13 p. (CHI PLAY 2019 - Proceedings of the Annual Symposium on Computer-Human Interaction in Play).

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

  7. “One of the baddies all along”: Moments that challenge a player’s perspective

    Whitby, M. A., Deterding, S. & Iacovides, I., 17 Oct 2019, CHI PLAY 2019 - Proceedings of the Annual Symposium on Computer-Human Interaction in Play. Association for Computing Machinery, Inc, p. 339-350 12 p. (CHI PLAY 2019 - Proceedings of the Annual Symposium on Computer-Human Interaction in Play).

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

  8. Medium access and power control protocol for wireless sensor networks with directional antennas

    Chau, A. C-Y., Dawson, J. F. & Mitchell, P. D., 16 Oct 2019, IEEE International Conference on Information and Communication Technology (ICTC) October 16-19 2019. IEEE, 5 p.

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

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

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

  11. Sampling real algebraic varieties for topological data analysis

    Dufresne, E. S., Edwards, P. B., Harrington, H. A. & Hauenstein, J. D., 7 Oct 2019, (Accepted/In press) ICMLA 2019 conference proceedings . IEEE, 6 p.

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

  12. 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., 30 Sep 2019, Proceedings of the 25th International Conference on Principles and Practice of Constraint Programming. Springer, p. 20-36 17 p.

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

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

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

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

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

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

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

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

    Indrarathne, B., 1 Sep 2019, Pan Commonwealth Forum 9 (PCF9). Commonwealth of Learning, 7 p. 72

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

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

  21. Characterization and first test of an i-TED prototype at CERN n_TOF

    nToF, 31 Aug 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, p. 169-173 5 p. (Springer Proceedings in Physics; vol. 225).

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

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

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

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

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

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

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

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

  29. Three Reasons Why: Framing the Challenges of Assuring AI

    Johnson, N. L. & Fang, X., 9 Aug 2019, Three Reasons Why: Framing the Challenges of Assuring AI.

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

  30. 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; vol. 11698).

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

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

  32. The ARE Robot Fabricator: How to (Re)produce Robots that Can Evolve in the Real World

    Hale, M., Buchanan Berumen, E., Winfield, A., Timmis, J., HART, E., Eiben, G., Li, W. & Tyrrell, A., 1 Aug 2019, International Society for Artificial Life : ALIFE2019. p. 95-102 8 p.

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

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

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

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

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

  37. Deep Reinforcement Learning Based Parameter Control in Differential Evolution

    Sharma, M., Komninos, A., López-Ibáñez, M. & Kazakov, D. L., 13 Jul 2019, GECCO '19: Proceedings of the Genetic and Evolutionary Computation Conference. ACM, p. 709-717 (ACM Proceedings).

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

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

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

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

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

  42. Omni-Pi-tent: An Omnidirectional Modular Robot with Genderless Docking

    Peck, R., Timmis, J. & Tyrrell, A., 1 Jul 2019, Towards Autonomous Robotic Systems: TAROS2019. London, p. 307-318 (Lecture Notes in Computer Science).

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

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

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

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

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

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

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

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

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

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

Previous 1 2 Next