Research Output

Filter
Conference contribution
2020

Accuracy, Training Time and Hardware Efficiency Trade-Offs for Quantized Neural Networks on FPGAs

Bacchus, P., Stewart, R. & Komendantskaya, E., 2020, Applied Reconfigurable Computing. Architectures, Tools, and Applications: ARC 2020. Springer, p. 121-135 15 p. (Lecture Notes in Computer Science; vol. 12083).

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

A Decentralised Strategy for Heterogeneous AUV Missions via Goal Distribution and Temporal Planning

Carreno, Y., Pairet, È., Petillot, Y. & Petrick, R. P. A., 1 Jun 2020, Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling. AAAI Press, p. 431-439 9 p. (Proceedings of the International Conference on Automated Planning and Scheduling; vol. 30).

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

Open Access

Applying the Participatory Design Workshop Method to Explore how Socially Assistive Robots Could Assist Stroke Survivors

Georgiou, T., Baillie, L., Ross, M. K. & Broz, F., 23 Mar 2020, HRI '20: Companion of the 2020 ACM/IEEE International Conference on Human-Robot Interaction. Association for Computing Machinery, p. 203–205 3 p.

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

Open Access
File
3 Downloads (Pure)

Auditory and Haptic Feedback in a Socially Assistive Robot Memory Game

Nault, E., Baillie, L. & Broz, F., 23 Mar 2020, HRI '20: Companion of the 2020 ACM/IEEE International Conference on Human-Robot Interaction. Association for Computing Machinery, p. 369–371 3 p.

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

Open Access
File
1 Downloads (Pure)

Checkpointing Kernel Executions of MPI+CUDA Applications

Baird, M., Scholz, S-B., Šinkarovs, A. & Bautista-Gomez, L., 2020, Euro-Par 2019: Parallel Processing Workshops. Euro-Par 2019. Springer, p. 694-706 13 p. (Lecture Notes in Computer Science; vol. 11997).

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

Computing degree apprenticeships: An opportunity to address gender imbalance in the IT sector?

Berg, T., Smith, S., Taylor-Smith, E., Fabian, K., Zarb, M., Paterson, J., Barr, M., Cutting, D. & Young, T., 30 Jun 2020, (Accepted/In press) 2020 IEEE Frontiers in Education Conference (FIE). IEEE

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

Demonstration of A Social Robot for Control of Remote Autonomous Systems

Lopes, J., Robb, D. A., Liu, X. & Hastie, H., 23 Mar 2020, HRI '20: Companion of the 2020 ACM/IEEE International Conference on Human-Robot Interaction. Association for Computing Machinery, p. 75 1 p.

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

Open Access
File

Dispute Resolution in Voting

Basin, D., Radomirovic, S. & Schmid, L., 17 Apr 2020, (Accepted/In press) CSF 2020 - 33rd IEEE Computer Security Foundations Symposium. IEEE

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

Evolutionary Learning for Soft Margin Problems: A Case Study on Practical Problems with Kernels

Wang, W., Pang, W., Bingham, P. A., Mania, M., Chen, T-Y. & Perry, J. J., 20 Mar 2020, (Accepted/In press) IEEE World Congress on Computational Intelligence (WCCI) 2020. IEEE, 7 p.

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

Open Access
File
13 Downloads (Pure)

Exploring the Modeling of Attack Strategies for STPA

Altawairqi, A. & Maarek, M., 2020, Proceedings of the International Seminar on Safety and Security of Autonomous Vessels (ISSAV) and European STAMP Workshop and Conference (ESWC) 2019. Warsaw, Poland: Sciendo, p. 249-260 12 p.

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

Open Access
File
25 Downloads (Pure)

FreezeML: Complete and easy type inference for first-class polymorphism

Emrich, F., Lindley, S., Stolarek, J., Cheney, J. & Coates, J., 11 Jun 2020, PLDI 2020: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery, p. 423-437 15 p.

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

Open Access

Informing the Design of a Robotic Coach through Systematic Observations

Ross, M. K., Broz, F. & Baillie, L., 23 Mar 2020, HRI '20: Companion of the 2020 ACM/IEEE International Conference on Human-Robot Interaction. Association for Computing Machinery, p. 412-414 3 p.

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

Open Access
File

Multimodal Representation Learning for Human Robot Interaction

Sheppard, E. & Lohan, K. S., 23 Mar 2020, HRI '20: Companion of the 2020 ACM/IEEE International Conference on Human-Robot Interaction. Association for Computing Machinery, p. 445–446 2 p.

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

Open Access
File
2 Downloads (Pure)

Neural-Guided Particle Swarm Optimization

Benhalem, A. M. & Lones, M. A., 20 Mar 2020, (Accepted/In press) 2020 IEEE Congress on Evolutionary Computation (CEC). IEEE

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

Open Access
File
1 Downloads (Pure)

Optimising Optimisers with Push GP

Lones, M. A., 9 Apr 2020, Genetic Programming: EuroGP 2020. Springer, p. 101-117 17 p. (Lecture Notes in Computer Science; vol. 12101).

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

Refining Process Descriptions from Execution Data in Hybrid Planning Domain Models

Lindsay, A., Franco, S., Reba, R. & McCluskey, T. L., 1 Jun 2020, Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling . AAAI Press, p. 469-477 9 p. (Proceedings of the International Conference on Automated Planning and Scheduling; vol. 30).

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

Open Access

Relative Robustness of Quantized Neural Networks Against Adversarial Attacks

Duncan, K., Komendantskaya, E., Stewart, R. & Lones, M., 15 Mar 2020, (Accepted/In press) 2020 IEEE International Joint Conference on Neural Networks. IEEE

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

Open Access
File

Robots in the Danger Zone: Exploring Public Perception through Engagement

Robb, D. A., Ahmad, M. I., Tiseo, C., Aracri, S., McConnell, A. C., Page, V., Dondrup, C., Garcia, F. J. C., Nguyen, H-N., Pairet, È., Ardón Ramírez, P., Semwal, T., Taylor, H. M., Wilson, L. J., Lane, D., Hastie, H. & Lohan, K., 9 Mar 2020, HRI '20: Proceedings of the 2020 ACM/IEEE International Conference on Human-Robot Interaction. Association for Computing Machinery, p. 93–102 10 p.

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

Open Access
File
6 Downloads (Pure)

Self-Assessment of Grasp Affordance Transfer

Ardon, P., Pairet Artau, È., Petillot, Y., Petrick, R. P. A., Ramamoorthy, S. & Lohan, K. S., 2 Jul 2020, (Accepted/In press) 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

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

Small Robots With Big Tasks: A Proof of Concept Implementation Using a MiRo for Fall Alert

Georgiou, T., Singh, K., Baillie, L. & Broz, F., 23 Mar 2020, HRI '20: Companion of the 2020 ACM/IEEE International Conference on Human-Robot Interaction. Association for Computing Machinery, p. 206-208 3 p.

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

Open Access
File
17 Downloads (Pure)

Social Robot for STEM Education

Ahmad, M., Khordi-moodi, M. & Lohan, K. S., 23 Mar 2020, HRI '20: Companion of the 2020 ACM/IEEE International Conference on Human-Robot Interaction. Association for Computing Machinery, p. 90-92 3 p.

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

Towards a Multimodal Measure for Physiological Behaviours to Estimate Cognitive Load

Ahmad, M. I., Robb, D. A., Keller, I. & Lohan, K., 10 Jul 2020, Engineering Psychology and Cognitive Ergonomics. Mental Workload, Human Physiology, and Human Energy. HCII 2020. Harris, D. & Li, W. C. (eds.). Springer, p. 3-13 11 p. (Lecture Notes in Computer Science; vol. 12186).

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

Uncertainty in robot assisted second language conversation practice

Cumbal, R., Lopes, J. & Engwall, O., 23 Mar 2020, HRI '20: Companion of the 2020 ACM/IEEE International Conference on Human-Robot Interaction. Association for Computing Machinery, p. 171-173 3 p.

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

Video: Learning traffic rules with a social robot in Pakistan

Ahmad, M. I., Abid, M., Shahrukh, M., Iftikhar, Y., Zainab, T., Hussain, S. M. & Shahid, S., 23 Mar 2020, HRI '20: Companion of the 2020 ACM/IEEE International Conference on Human-Robot Interaction. IEEE, p. 637 1 p.

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

Vision: Investigating Web API Developer Experience in Relation to Terms of Service and Privacy Policies

Ichario, A. & Maarek, M., 19 Jun 2020, (Accepted/In press) 2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW). IEEE, 6 p.

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

Open Access

YewPar: Skeletons for Exact Combinatorial Search

Archibald, B., Maier, P., Stewart, R. & Trinder, P., 25 Feb 2020, PPoPP '20: Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. Association for Computing Machinery, p. 292–307 16 p.

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

Open Access
File
2 Citations (Scopus)
1 Downloads (Pure)
2019

A Cellular Automata-Based Path-Planning for a Cooperative and Decentralized Team of Robots

Oliveira, G. M. B., Silva, R. G. O., Ferreira, G. B. S., Couceiro, M. S., Do Amaral, L. R., Vargas, P. A. & Martins, L. G. A., 8 Aug 2019, 2019 IEEE Congress on Evolutionary Computation (CEC). IEEE, p. 739-746 8 p.

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

1 Citation (Scopus)

A Crowd-based Evaluation of Abuse Response Strategies in Conversational Agents

Cercas Curry, A. & Rieser, V., 2019, Proceedings of the 20th Annual SIGdial Meeting on Discourse and Dialogue. Association for Computational Linguistics, p. 361–366

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

A deep learning approach for slice to volume biomedical image integration

Almogadwy, B., McLeod, K. & Burger, A., 29 May 2019, ICBBT'19 Proceedings of the 2019 11th International Conference on Bioinformatics and Biomedical Technology. Association for Computing Machinery, p. 62-68 7 p.

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

A Digital Twin for Human-Robot Interaction

Pairet, È., Ardon, P., Liu, X., Lopes, J., Hastie, H. & Lohan, K. S., 25 Mar 2019, 2019 14th ACM/IEEE International Conference on Human-Robot Interaction (HRI). IEEE, p. 372-372 1 p. (ACM/IEEE International Conference on Human-Robot Interaction (HRI)).

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

Open Access
File
2 Citations (Scopus)
86 Downloads (Pure)

A Hexagonal Cell Automaton Model to Imitate Physarum Polycephalum Competitive Behaviour

Awad, A., Pang, W., Lusseau, D. & Coghill, G. M., Jul 2019, ALIFE 2019: The 2019 Conference on Artificial Life. MIT Press, p. 203-210 8 p. (Artificial Life Conference Proceedings; no. 31).

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

Open Access
File
1 Downloads (Pure)

A Physarum-Inspired Competition Algorithm for Solving Discrete Multi-Objective Optimization Problems

Awad, A., Usman, M., Lusseau, D., Coghill, G. M. & Pang, W., 13 Jul 2019, GECCO '19: Proceedings of the Genetic and Evolutionary Computation Conference Companion. New York, USA: Association for Computing Machinery, p. 195-196 2 p.

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

1 Citation (Scopus)

A Survey of Explainable AI Terminology

Clinciu, M. A. & Hastie, H. F., 2019, Proceedings of the 1st Workshop on Interactive Natural Language Technology for Explainable Artificial Intelligence. p. 8-13

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

Automatic Quality Estimation for Natural Language Generation: Ranting (Jointly Rating and Ranking)

Dušek, O., Sevegnani, K., Konstas, I. & Rieser, V., 2019, Proceedings of the 12th International Conference on Natural Language Generation. p. 369–376

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

A Wee Bit More Interaction: Designing and Evaluating an Overactive Bladder App

Salai, A-M. & Baillie, L., 2 May 2019, Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery

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

Open Access
File

BNF-Style Notation as It Is Actually Used

Quinlan, D., Wells, J. B. & Kamareddine, F., 3 Jul 2019, Intelligent Computer Mathematics - 12th International Conference, CICM 2019, Proceedings: CICM 2019. Kaliszyk, C., Brady, E., Kohlhase, A. & Sacerdoti Coen, C. (eds.). Springer, p. 187-204 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11617 LNAI).

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

Open Access
File
243 Downloads (Pure)

Bridging the Digital Skills Gap Are computing degree apprenticeships the answer?

Taylor-Smith, E., Smith, S., Fabian, K., Berg, T., Meharg, D. & Varey, A., 2 Jul 2019, ITiCSE '19 Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education. Association for Computing Machinery, p. 126-132 7 p.

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

Open Access
File
3 Citations (Scopus)
108 Downloads (Pure)

Capturing Frame-Like Object Descriptors in Human Augmented Mapping

Faridghasemnia, M., Vanzo, A. & Nardi, D., 2019, Advances in Artificial Intelligence: AI*IA 2019. Alviano, M., Greco, G. & Scarcello, F. (eds.). Springer, p. 392-404 13 p. (Lecture Notes in Computer Science; vol. 11946).

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

Challenges in Collaborative HRI for Remote Robot Teams

Hastie, H., Robb, D. A., Lopes, J. D., Ahmad, M., Le Bras, P., Liu, X., Petrick, R. P. A., Lohan, K. & Chantler, M. J., 2019, CHI2019 Workshop on The Challenges of Working on Social Robots that Collaborate with People (SIRCHI 2019).

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

Open Access
File
19 Downloads (Pure)

Co-Created Design of a Serious Game Investigation into Developer-Centred Security

Maarek, M., Louchart, S., McGregor, L. & McMenemy, R., 22 Jan 2019, Games and Learning Alliance: GALA 2018. Söbke, H., Gentile, M. & Allegra, M. (eds.). Springer, p. 221-231 11 p. (Lecture Notes in Computer Science; vol. 11385).

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

Open Access
File
1 Citation (Scopus)
45 Downloads (Pure)

Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses

Basold, H., Komendantskaya, E. & Li, Y., 2019, Programming Languages and Systems: ESOP 2019. Caires, L. (ed.). Springer, p. 783-813 31 p. (Lecture Notes in Computer Science; vol. 11423).

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

Open Access
File
1 Citation (Scopus)
16 Downloads (Pure)

Colocation of Potential Parallelism in a Distributed Adaptive Run-Time System for Parallel Haskell

Belikov, E., Loidl, H-W. & Michaelson, G., 24 Apr 2019, Trends in Functional Programming: 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers. Pałka, M. & Myreen, M. (eds.). p. 1-19 19 p. (Lecture Notes in Computer Science; vol. 11457).

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

Communication in Emergency Management through Data Integration and Trust: an introduction to the CEM-DIT system

McNeill, F., Bental, D., Missier, P., Steyn, J., Kumar, T. & Bryans, J., 25 Mar 2019, (Accepted/In press) Proceedings of the 16th International Conference on Information Systems for Crisis Response and Management.

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

Open Access
File
23 Downloads (Pure)

Convolutional neural networks in APL

Šinkarovs, A., Bernecky, R. & Scholz, S-B., 8 Jun 2019, Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming. Gibbons, J. (ed.). Association for Computing Machinery, p. 69-79 11 p.

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

Open Access
1 Citation (Scopus)

Corpus of Multimodal Interaction for Collaborative Planning

Katsakioris, M., Laskov, A., Konstas, I. & Hastie, H., 6 Jun 2019, Proceedings of the Combined Workshop on Spatial Language Understanding (SpLU) and Grounded Communication for Robotics (RoboNLP). Association for Computational Linguistics, p. 1-6 6 p.

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

Open Access
File
4 Downloads (Pure)

Data-efficient goal-oriented conversation with dialogue knowledge transfer networks

Shalyminov, I., Lee, S., Eshghi, A. & Lemon, O., 2019, Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing. Association for Computational Linguistics, p. 1741-1751 11 p.

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

Open Access
File
1 Downloads (Pure)

Data Quality Issues in Current Nanopublications

Asif, I., Chen-Burger, J. & Gray, A. J. G., 29 Jul 2019, (Accepted/In press) 2019 IEEE 15th International Conference on e-Science (e-Science). IEEE

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

Open Access
File
49 Downloads (Pure)

DeepSwarm: Optimising Convolutional Neural Networks using Swarm Intelligence

Byla, E. & Pang, W., 30 Aug 2019, Advances in Computational Intelligence Systems. UKCI 2019. . Ju, Z., Yang, L., Yang, C., Gegov, A. & Zhou, D. (eds.). Springer, p. 119-130 12 p. (Advances in Intelligent Systems and Computing; vol. 1043).

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

1 Citation (Scopus)

Exploring Interaction with Remote Autonomous Systems using Conversational Agents

Robb, D. A., Lopes, J., Padilla, S., Laskov, A., Garcia, F. J. C., Liu, X., Scharff Willners, J., Valeyrie, N., Lohan, K., Lane, D., Patron, P., Petillot, Y., Chantler, M. J. & Hastie, H., 18 Jun 2019, DIS 2019 - Proceedings of the 2019 ACM Designing Interactive Systems Conference. Association for Computing Machinery, p. 1543-1556 14 p.

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

Open Access
File
93 Downloads (Pure)

Generating corrupted data sources for the evaluation of matching systems

McNeill, F., Bental, D., Gray, A. J. G., Jedrzejczyk, S. & Alsadeeqi, A., 25 Jul 2019, (Accepted/In press) The Fourteenth International Workshop on Ontology Matching.

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

Open Access
File
13 Downloads (Pure)