Research Output 1966 2020

Filter
Conference contribution
2020

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

Georgiou, T., Baillie, L., Ross, M. & Broz, F., 8 Jan 2020, (Accepted/In press) 15th Annual ACM/IEEE International Conference on Human Robot Interaction. Association for Computing Machinery, Inc

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

Human robot interaction
Robots
Human computer interaction
Robotics

Auditory and Haptic Feedback in a Socially Assistive Robot Memory Game

Nault, E., Baillie, L. & Broz, F., 8 Jan 2020, (Accepted/In press) 15th Annual ACM/IEEE International Conference on Human Robot Interaction. Association for Computing Machinery, Inc

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

Robots
Sensory feedback
Feedback
Data storage equipment
Patient rehabilitation

Demonstration of A Social Robot for Control of Remote Autonomous Systems

Águas Lopes, J. D., Robb, D., Liu, X. & Hastie, H., 2020, 2020 15th ACM/IEEE International Conference on Human-Robot Interaction (HRI). IEEE

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

Demonstrations
Robots
Simulators

Informing the Design of a Robotic Coach through Systematic Observations

Ross, M., Broz, F. & Baillie, L., 8 Jan 2020, (Accepted/In press) 15th Annual ACM/IEEE International Conference on Human Robot Interaction. Association for Computing Machinery, Inc

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

Sports
Patient rehabilitation
Robotics
Boring

Optimising Optimisers with Push GP

Lones, M. A., 8 Jan 2020, (Accepted/In press) 23rd European Conference on Genetic Programming (EuroGP 2020). Springer Nature

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., 8 Jan 2020, (Accepted/In press) 15th Annual ACM/IEEE International Conference on Human Robot Interaction . Association for Computing Machinery, Inc

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

Gaging
Health risks
Demonstrations
Health
Robots

Social Robot for STEM Education

Ahmad, M., Khordi-moodi, M. & Lohan, K. S., 6 Jan 2020, (Accepted/In press) 15th Annual ACM/IEEE International Conference on Human Robot Interaction . ACM

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

Education
Robots
Algebra
Geometry
2019

A Business Card Reader Application for iOS devices based on Tesseract

Dangiwa, B. A. & Kumar, S. S., 18 Feb 2019, 2018 International Conference on Signal Processing and Information Security (ICSPIS). IEEE, 8642727

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

Industry
Optical character recognition
Smartphones
Mobile phones
Cameras

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

Cellular automata
Path Planning
Motion planning
Cellular Automata
Decentralized

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. ACM, p. 62-68 7 p.

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

Image registration
Medical imaging
Neural networks
Medical applications
Computer vision

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
Human robot interaction
Unmanned aerial vehicles (UAV)
Simulators
Robots
Industry

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, Inc

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

Application programs
Feedback
mHealth

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
Forms (concrete)
Notation
Formal logic
Production Rules
Computer science

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. ACM, p. 126-132 7 p.

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

Open Access
File
Apprentices
apprenticeship
apprentice
Wages
graduate

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

Descriptors
Robot
Robots
Experimental Evaluation
Autonomous Mobile Robot

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

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
Software engineering
Serious games
Experiments

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
Coinduction
Proof Search
Horn clause
Soundness
Semantics

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

Haskell
Runtime Systems
Adaptive Systems
Electric sparks
Parallelism

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

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.). ACM, p. 69-79 11 p.

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

Open Access
Neural networks
Specifications
DSL
Learning systems
Experiments

Copula-Based Interference Models for IoT Wireless Networks

Zheng, C., Egan, M., Clavier, L., Peters, G. W. & Gorce, J-M., 15 Jul 2019, 2019 IEEE International Conference on Communications (ICC). IEEE, 8761783. (IEEE International Conference on Communications (ICC)).

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

Open Access
File
Wireless networks
Network protocols
Impulse noise
Resource allocation
Telecommunication networks

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
Feedback
Planning

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

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. ACM, p. 1543-1556 14 p.

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

Open Access
File
Robots
Offshore wind turbines
Transparency
Engineers
User centered design

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
Ontology
Computer systems

Graphical Program Transformations for Embedded Systems

Stewart, R., Berthomieu, B., Garcia, P., Ibrahim, I., Michaelson, G. & Wallace, A., 8 Apr 2019, Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing. ACM, p. 647-649 3 p.

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

Embedded systems
Computer systems programming
Real time systems
Field programmable gate arrays (FPGA)
Throughput

Grassmannian flows and applications to nonlinear partial differential equations

Beck, M., Doikou, A., Malham, S. J. A. & Stylianidis, I., 14 Jan 2019, Computation and Combinatorics in Dynamics, Stochastics and Control: Abelsymposium 2016. Di Nunno, G., Celledoni, E., Ebrahimi-Fard, K. & Munthe-Kaas, H. Z. (eds.). Springer, p. 71-98 28 p. (Abel Symposia; vol. 13).

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

Open Access
File
Grassmannian
Nonlinear Partial Differential Equations
Nonlinearity
Chart
Partial differential equation

How Could Serious Games Support Secure Programming? Designing a Study Replication and Intervention

Maarek, M., McGregor, L., Louchart, S. & McMenemy, R., 19 Aug 2019, 2019 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW). IEEE, p. 139-148 10 p.

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

Open Access
File
Security systems
Serious games

Hyperspectral Uncertainty Quantification by Optimization

Abdulaziz, A., Repetti, A. & Wiaux, Y., 1 Jul 2019, SPARS 2019. 2 p.

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

Open Access
File
Convex optimization
Imaging techniques
Uncertainty

Implementing YewPar: A Framework for Parallel Tree Search

Archibald, B., Maier, P., Stewart, R. J. & Trinder, P., 13 Aug 2019, European Conference on Parallel Processing: Euro-Par 2019. Yahyapour, R. (ed.). p. 184-196 13 p. (Lecture Notes in Computer Science; vol. 11725).

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

Open Access
File
Costs

Incremental Learning of Planning Actions in Model-Based Reinforcement Learning

Ng, J. H. A. & Petrick, R. P. A., Aug 2019, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence. Kraus, S. (ed.). p. 3195-3201 7 p.

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

Open Access
Reinforcement learning
Planning

Instruction-Level Design of Local Optimisers using Push GP

Lones, M. A., 13 Jul 2019, GECCO '19 Proceedings of the Genetic and Evolutionary Computation Conference Companion. ACM, p. 1487-1494 8 p.

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

Open Access
File
Local Algorithms
Local Optimization
Genetic Programming
Logarithm
Shortest path

Let's Chat! Can Virtual Agents learn how to have a Conversation?

Rieser, V., 2019, Proceedings of the 19th ACM International Conference on Intelligent Virtual Agents. ACM, p. 5-6

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

Multi-agent strategy for marine applications via temporal planning

Carreno, Y., Petrick, R. P. A. & Petillot, Y., 8 Aug 2019, 2019 IEEE Second International Conference on Artificial Intelligence and Knowledge Engineering (AIKE). IEEE, p. 243-250 8 p.

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

Marine applications
Planning
Offshore wind farms
Simulators
Robots

Multimodal Data Fusion of Non-Gaussian Spatial Fields in Sensor Networks

Zhang, P., Peters, G. W. & Nevat, I., 3 Feb 2019, (Accepted/In press) 2019 IEEE International Conference on Communications (ICC): Ad Hoc and Sensor Networks Symposium. IEEE

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

Data fusion
Sensor networks

Object Affordances by Inferring on the Surroundings

Ardon Ramirez, P., Ramamoorthy, S. & Lohan, K. S., 28 Jan 2019, 2018 IEEE International Workshop on Advanced Robotics and its Social Impacts (ARSO). IEEE, p. 69-70 2 p. (IEEE Workshop on Advanced Robotics and its Social Impacts (ARSO)).

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

Open Access
File
Semantics
Object recognition
Robotics
Robots

Observing the Uptake of a Language Change Making Strings Immutable

Maarek, M., 2019, 9th Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU 2018). Chasins, S., Sunshine, J. & Barik, T. (eds.). Schloss Dagstuhl - Leibniz-Zentrum fur Informatik, p. 6:1-6:8 8 p. (OpenAccess Series in Informatics (OASIcs); vol. 67).

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

Open Access
File

Optimizing Camera Placement Based on Task Modeling

Altahir, A. A., Asirvadam, V. S., Hamid, N., Sebastian, P., Saad, N. & Dass, S. C., 31 Jan 2019, 2018 IEEE Sensors. p. 601-604

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

Permutation testing in analyzing the changes in the intensity of hypoglycaemic episodes occuring within 24 hours from previous episodes

Zulkafli, H. S., Steftaris, G., Gibson, G. J. & Zammitt, N. N., 21 Aug 2019, The 4th Innovation and Analytics Conference and Exhibition (IACE 2019). AIP Publishing, 030041. (AIP Conference Proceedings; vol. 2138).

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

permutations
signs and symptoms (animals and humans)
testing
proximity
modeling

Personal Safety App Effectiveness

Just, M., Chandok, H., Sampangi, R., Hawkey, K., Willis, A., Samuthiravelu, J., Gill, D. & Altair, M., 2 May 2019, CHI EA '19 Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems. ACM, 3312781

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

Application programs
Mobile phones

Proof-carrying plans

Schwaab, C., Komendantskaya, E., Hill, A., Farka, F., Petrick, R. P. A., Wells, J. & Hammond, K., 2019, Practical Aspects of Declarative Languages: PADL 2019. Alferes, J. J. & Johansson, M. (eds.). Springer, p. 204-220 17 p. (Lecture Notes in Computer Science; vol. 11372).

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

Open Access
File
Planning
Design Method
Specifications
Correspondence
Safety

Quantifying uncertainty in high dimensional inverse problems by convex optimisation

Cai, X., Pereyra, M. & McEwen, J. D., 18 Nov 2019, 2019 27th European Signal Processing Conference (EUSIPCO). IEEE, 8903038. (European Signal Processing Conference).

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

Open Access
File
Convex optimization
Inverse problems
Glossaries
Signal processing
Pixels

Reasoning on Grasp-Action Affordances

Ardon Ramirez, P., Pairet, E., Petrick, R. P. A., Ramamoorthy, S. & Lohan, K. S., 15 Apr 2019, (Accepted/In press) Towards Autonomous Robotic Systems: 20th Annual Conference, TAROS 2019, London, UK, July 3–5, 2019, Proceedings. Althoefer, K., Konstantinova, J. & Zhang, K. (eds.). (Lecture Notes in Artificial Intelligence; vol. 11529).

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

SARA - A Semantic Access Point Resource Allocation Service for Heterogenous Wireless Networks

Zhou, Q., Gray, A. J. G., Pezaros, D. & McLaughlin, S., 13 Jun 2019, 2019 Wireless Days (WD). IEEE, 8734260

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

Open Access
File
Resource allocation
Wireless networks
Semantics
Network management
Knowledge based systems

Segmentation Of Blood Clot MRI Images Using Intuitionistic Fuzzy Set Theory

Albashah, N. L. S. B., Dass, S. C., Asirvadam, V. S. & Meriaudeau, F., 28 Jan 2019, 2018 IEEE-EMBS Conference on Biomedical Engineering and Sciences (IECBES). p. 533-538

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

Semantic Noise Matters for Neural Natural Language Generation

Dušek, O., Howcroft, D. & Rieser, V., 2019, Proceedings of the 12th International Conference on Natural Language Generation. p. 421–426

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