Research Output

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

Adapting Movements and Behaviour to Favour Communication in Human-Robot Interaction

Lohan, K., Ahmad, M. I., Dondrup, C., Ardon, P., Pairet, È. & Vinciarelli, A., 2020, Modelling Human Motion. Springer, p. 271-297 27 p.

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

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

A Framework to Estimate Cognitive Load Using Physiological Data

Ahmad, M., Keller, I., Robb, D. & Lohan, K. S., 16 Jul 2020, (Accepted/In press) In : Personal and Ubiquitous Computing.

Research output: Contribution to journalArticle

An Efficient v-minimum Absolute Deviation Distribution Regression Machine

Wang, Y., Wang, Y., Song, Y., Xie, X., Huang, L., Pang, W. & Coghill, G. M., 2020, In : IEEE Access. 8, p. 85533-85551 19 p.

Research output: Contribution to journalArticle

Open Access
File
3 Downloads (Pure)

A Polymorphic RPC Calculus

Choi, K., Cheney, J., Fowler, S. & Lindley, S., 5 Jun 2020, In : Science of Computer Programming. 197, 102499.

Research output: Contribution to journalArticle

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)

Are autistic children more vulnerable online? Relating autism to online safety, child wellbeing and parental risk management

Macmillan, K., Berg, T., Just, M. & Stewart, M. E., 23 Jun 2020, (Accepted/In press) 11th Nordic Conference on Human-Computer Interaction (NordiCHI 2020). Association for Computing Machinery

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

File
37 Downloads (Pure)

A Systematic Density-based Clustering Method Using Anchor Points

Wang, Y., Wang, D., Pang, W., Miao, C., Tan, A-H. & Zhou, Y., 4 Aug 2020, In : Neurocomputing. 400, p. 352-370 19 p.

Research output: Contribution to journalArticle

A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs

Allais, G., Atkey, R., Chapman, J., McBride, C. & McKinna, J., 2020, (Accepted/In press) In : Journal of Functional Programming.

Research output: Contribution to journalArticle

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)

Can a robot invigilator prevent cheating?

Mubin, O., Cappuccio, M., Alnajjar, F., Ahmad, M. I. & Shahid, S., 16 Mar 2020, In : AI and Society.

Research output: Contribution to journalArticle

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

Clustering Mixed Numeric and Categorical Data with Cuckoo Search

Ji, J., Pang, W., Li, Z., He, F., Feng, G. & Zhao, X., 2020, In : IEEE Access. 8, p. 30988-31003 16 p.

Research output: Contribution to journalArticle

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

Clustering Single-cell RNA-sequencing Data based on Matching Clusters Structures

Wang, Y., Zhou, Y., Pang, W., Liang, Y. & Wang, S., 15 Feb 2020, In : Tehnički vjesnik – Technical Gazette. 27, 1, p. 89-95 7 p.

Research output: Contribution to journalArticle

Open Access
File
3 Downloads (Pure)

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

Data Integration for Offshore Decommissioning Waste Management

Akinyemi, A., Sun, M. & Gray, A. J. G., Jan 2020, In : Automation in Construction. 109, 103010.

Research output: Contribution to journalArticle

1 Citation (Scopus)

Deep Ensemble Learning for Human Action Recognition in Still Images

Yu, X., Zhang, Z., Wu, L., Pang, W., Chen, H., Yu, Z. & Li, B., 31 Jan 2020, In : Complexity. 2020, 23 p., 9428612.

Research output: Contribution to journalArticle

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

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

Design, Optimization, and Experiment on a Bioinspired Jumping Robot with a Six-Bar Leg Mechanism Based on Jumping Stability

Zhang, Z., Chang, B., Zhao, J., Yang, Q. & Liu, X., 4 Jan 2020, In : Mathematical Problems in Engineering. 2020, 3507203.

Research output: Contribution to journalArticle

Open Access
File
1 Downloads (Pure)

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

Doo bee doo bee doo

Convent, L., Lindley, S., McBride, C. & McLaughlin, C., 2020, In : Journal of Functional Programming. 30, e9.

Research output: Contribution to journalArticle

Effect handlers via generalised continuations

Hillerström, D., Lindley, S. & Atkey, R., 2020, In : Journal of Functional Programming. 30, e5.

Research output: Contribution to journalArticle

1 Citation (Scopus)

Effects for efficiency: Asymptotic speedup with first-class control

Hillerström, D., Lindley, S. & Longley, J., 19 Jun 2020, (Accepted/In press).

Research output: Contribution to conferencePaper

Open Access

Evaluating the State-of-the-Art of End-to-End Natural Language Generation: The E2E NLG Challenge

Dušek, O., Novikova, J. & Rieser, V., Jan 2020, In : Computer Speech and Language. 59, p. 123-156 34 p.

Research output: Contribution to journalArticle

Open Access
File
6 Citations (Scopus)
26 Downloads (Pure)

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

Goods Consumed during Transit in Split Delivery Vehicle Routing Problems: Modeling and Solution

Yang, W., Wang, D., Pang, W., Tan, A-H. & Zhou, Y., 2020, In : IEEE Access. 8, p. 110336-110350 15 p.

Research output: Contribution to journalArticle

Open Access
File
1 Downloads (Pure)

Inferring Structure and Parameters of Dynamic System Models simultaneously using Swarm Intelligence Approaches

Usman, M., Pang, W. & Coghill, G. M., 4 Jun 2020, (Accepted/In press) In : Memetic Computing.

Research output: Contribution to journalArticle

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

Knowledge Engineering and Planning for Social Human-Robot Interaction: A Case Study

Petrick, R. P. A. & Foster, M. E., 26 Mar 2020, Knowledge Engineering Tools and Techniques for AI Planning. Vallati, M. & Kitchin, D. (eds.). Springer, p. 261-277

Research output: Chapter in Book/Report/Conference proceedingChapter

McDPC: multi-center density peak clustering

Wang, Y., Wang, D., Zhang, X., Pang, W., Miao, C., Tan, A-H. & Zhou, Y., 7 Feb 2020, In : Neural Computing and Applications.

Research output: Contribution to journalArticle

Mitigating bias in deep nets with knowledge bases: The case of natural language understanding for robots

Mensio, M., Bastianelli, E., Tiddi, I. & Rizzo, G., 5 May 2020, In : CEUR Workshop Proceedings. 2600, 20.

Research output: Contribution to journalConference article

Open Access
File
1 Downloads (Pure)

Mitigating Metaphors: A Comprehensible Guide to Recent Nature-Inspired Algorithms

Lones, M. A., Jan 2020, In : SN Computer Science. 1, 49.

Research output: Contribution to journalReview article

Open Access
File
9 Downloads (Pure)

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)

On the Illumination Influence for Object Learning on Robot Companions

Keller, I. & Lohan, K. S., 21 Jan 2020, In : Frontiers in Robotics and AI. 6, 154.

Research output: Contribution to journalArticle

Open Access
File
17 Downloads (Pure)
Open Access
File
10 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

Open Access
File
182 Downloads (Pure)
Open Access
File
6 Downloads (Pure)

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

Robot Interaction Styles for Conversation Practice in Second Language Learning

Engwall, O., Lopes, J. & Åhlund, A., 6 Mar 2020, In : International Journal of Social Robotics.

Research output: Contribution to journalArticle

Open Access
File
1 Downloads (Pure)

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