Research Output 1966 2019

Filter
Conference contribution
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 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 Wee Bit More Interaction: Designing and Evaluating an Overactive Bladder App

Salai, A-M. & Baillie, L., 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

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

Taylor-Smith, E., Berg, T., Smith, S., Meharg, D., Fabian, K. & Varey, A., 11 Mar 2019, (Accepted/In press) ITiCSE 2019, the 24th Annual Conference on Innovation and Technology in Computer Science Education.

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

apprenticeship
apprentice
graduate
qualification
shortage

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

Copula-Based Interference Models for IoT Wireless Networks

Zheng, C., Egan, M., Clavier, L., Peters, G. W. & Gorce, J-M., 8 Feb 2019, (Accepted/In press) 2019 IEEE International Conference on Communications (ICC): Wireless Communications Symposium. IEEE, 8 p.

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

Wireless networks
Network protocols
Impulse noise
Resource allocation
Telecommunication networks

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., 25 Mar 2019, (Accepted/In press) DIS '19: Proceedings of the 2019 Designing Interactive Systems Conference. ACM

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

Robots
Offshore wind turbines
Transparency
Engineers
User centered design

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

Grassmannian
Nonlinear Partial Differential Equations
Nonlinearity
Chart
Partial differential equation

Instruction-Level Design of Local Optimisers using Push GP

Lones, M. A., 18 Apr 2019, (Accepted/In press) GECCO '19 Proceedings of the Genetic and Evolutionary Computation Conference Companion. ACM

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

Genetic programming
Computer programming languages

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

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

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
Specifications

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., 6 Feb 2019, (Accepted/In press) Wireless Days 2019. IEEE

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

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

Shared-variable Synchronization Approaches for Dynamic Data Flow Programs

Modas, A., Casale-Brunet, S., Stewart, R., Bezati, E., Ahmad, J. & Mattavelli, M., 3 Jan 2019, 2018 IEEE International Workshop on Signal Processing Systems (SiPS). IEEE, p. 263-268 6 p. (IEEE International Workshop on Signal Processing Systems (SiPS)).

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

Open Access
File
Data Flow
Synchronization
Models of Computation
Dynamic Process
Image coding

The challenges of working on social robots that collaborate with people

Baillie, L., Breazeal, C., Denman, P., Foster, M. E., Fischer, K. & Cauchard, J. R., 2 May 2019, CHI EA 2019 Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems. ACM, W12

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

Human robot interaction
Human computer interaction
Robots
Robotics

ToCo: An Ontology for Representing Hybrid Telecommunication Networks

Zhou, Q., Gray, A. J. G. & McLaughlin, S., 25 May 2019, The Semantic Web: ESWC 2019. Springer, p. 507-522 16 p. (Lecture Notes in Computer Science; vol. 11503).

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

Open Access
File
Telecommunication networks
Ontology
Demonstrations

Towards a Conversational Agent for Remote Robot-Human Teaming

Lopes, J., Robb, D. A., Ahmad, M., Liu, X., Lohan, K. & Hastie, H., 25 Mar 2019, 2019 14th ACM/IEEE International Conference on Human-Robot Interaction (HRI). IEEE, p. 548-549 2 p. (ACM/IEEE International Conference on Human-Robot Interaction (HRI)).

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

Open Access
File
Robots
2018

A Context Aware Prototype Application for University Students and Lecturers

Nuzhat, S., Shaikh, T. & Ismail, S., 8 Oct 2018, 2018 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops). IEEE, p. 155-160 6 p.

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

Students
Wi-Fi
Mobile phones
Web services

A Darwinian Swarm Robotics Strategy Applied to Underwater Exploration

Griffiths Sánchez, N. D., Vargas, P. A. & Couceiro, M. S., 4 Oct 2018, 2018 IEEE Congress on Evolutionary Computation (CEC). IEEE, 8477738

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

Swarm Robotics
Remotely operated vehicles
Robotics
Swarm
Robots

Advance Gender Prediction Tool of First Names and its Use in Analysing Gender Disparity in Computer Science in the UK, Malaysia and China

Zhao, H. & Kamareddine, F., 6 Dec 2018, 2017 International Conference on Computational Science and Computational Intelligence (CSCI). IEEE, p. 222-227 6 p.

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

Computer science
Experiments

A feature-ranking framework for IoT device classification

Desai, B. A., Divakaran, D. M., Nevat, I., Peters, G. W. & Gurusamy, M., 8 Nov 2018, (Accepted/In press) 11th International Conference on COMmunication Systems & NETworkS (COMSNETS 2019). IEEE

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

A hierarchical set-partitioning nonlinear discriminant classifier trained by an evolutionary algorithm

Ursani, Z. & Come, D. W., 28 Jun 2018, 2018 International Conference on Artificial Intelligence and Big Data (ICAIBD). IEEE, p. 15-20 6 p.

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

Evolutionary algorithms
Classifiers
Mathematical operators
Classifier
Discriminant

Alana v2: Entertaining and Informative Open-domain Social Dialogue using Ontologies and Entity Linking

Cercas Curry, A., Papaioannou, I., Suglia, A., Agarwal, S., Shalyminov, I., Xinnuo, X., Dusek, O., Eshghi, A., Konstas, I., Rieser, V. & Lemon, O., 2018, 1st Proceedings of Alexa Prize (Alexa Prize 2018). 19 p.

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

Open Access

A lightweight approach to GPU resilience

Baird, M., Fensch, C., Scholz, S-B. & Šinkarovs, A., 31 Dec 2018, Euro-Par 2018: Parallel Processing Workshops. Mencagli, G. & Heras, D. B. (eds.). Springer, p. 826-838 13 p. (Lecture Notes in Computer Science; vol. 11339).

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

Resilience
Program processors
kernel
Rollback Recovery
Particle accelerators

A Natural Language Interface with Relayed Acoustic Communications for Improved Command and Control of AUVs

Robb, D., Scharff Willners, J., Valeyrie, N., Garcia, F. J. C., Laskov, A., Liu, X., Patron, P., Hastie, H. & Petillot, Y., 5 Nov 2018, (Accepted/In press) 2018 IEEE OES Autonomous Underwater Vehicle Symposium. IEEE

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

Autonomous underwater vehicles
Acoustics
Communication
Remote control
Bandwidth

A New Framework for Personal Name Disambiguation

Georgieva, L. & Buatongkue, S., 2 Nov 2018, Intelligent Computing: SAI 2018. Springer, p. 995-1009 15 p. (Advances in Intelligent Systems and Computing; vol. 858).

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

An improved robot path planning model using cellular automata

Martins, L. G. A., Cândido, R. D. P., Escarpinati, M. C., Vargas, P. A. & de Oliveira, G. M. B., 21 Jul 2018, TAROS 2018: Towards Autonomous Robotic Systems. Springer, p. 183-194 12 p. (Lecture Notes in Computer Science; vol. 10965).

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

Cellular Automaton Model
Cellular automata
Path Planning
Motion planning
Robot

Anomaly Detection Using Agglomerative Hierarchical Clustering Algorithm

Mazarbhuiya, F. A., AlZahrani, M. Y. & Georgieva, L., 2018, Information Science and Applications 2018: ICISA 2018. Kim, K. J. & Baek, N. (eds.). Springer, p. 475-484 10 p. (Lecture Notes in Electrical Engineering; vol. 514).

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

Clustering algorithms
Intrusion detection
Security of data
Data mining
Rocks

A novel nonlinear discriminant classifier trained by an evolutionary algorithm

Ursani, Z. & Corne, D. W., 26 Feb 2018, Proceedingsof 2018 10th International Conference on Machine Learning and Computing, ICMLC 2018. ACM, p. 336-340 5 p.

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

Evolutionary algorithms
Classifiers
Statistical Models

Application of mass balancing theorem to multi-commodity flow network with multi-separators

Ursani, Z. & Corne, D. W., 11 Jan 2018, 2017 International Conference on Intelligent Computing and Control Systems (ICICCS). IEEE, p. 1338-1343 6 p.

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

Flow Network
Multicommodity Flow
Separator
Separators
Balancing

Area-energy aware dataflow optimisation of visual tracking systems

Garcia, P., Bhowmik, D., Wallace, A., Stewart, R. & Michaelson, G., 8 Apr 2018, Applied Reconfigurable Computing: Architectures, Tools, and Applications. Springer, p. 523-536 14 p. (Lecture Notes in Computer Science; vol. 10824).

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

Open Access
File
Visual Tracking
Visual System
Tracking System
Data Flow
Refactoring

Artificial Neural Network based smart forecast models: High-performance close-control and monitoring in art gallery buildings

Ganguly, S., Wang, F., Taylor, N. & Browne, M., Dec 2018, Proceedings of the 34th International Conference on Passive and Low Energy Architecture: Smart and healthy within the 2 degree limit. Ng, E., Fong, S. & Ren, C. (eds.). Hong Kong, Vol. 1. p. 164-169 6 p. 1299

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

Neural networks
Monitoring
Energy utilization
Sampling
Information management

A Visual Analytics Technique for Exploring Gene Expression in the Developing Mouse Embryo

Andrews, S. & McLeod, K., 20 May 2018, Graph-Based Representation and Reasoning: 23rd International Conference on Conceptual Structures, ICCS 2018. Chapman, P., Endres, D. & Pernelle, N. (eds.). Springer, p. 137-151 15 p. (Lecture Notes in Artificial Intelligence; vol. 10872).

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

Open Access
File
Visual Analytics
Embryo
Gene expression
Gene Expression
Mouse

Bayesian Restoration of high-dimensional photon-starved images

Tachella, J., Altmann, Y., Pereyra, M., McLaughlin, S. & Tourneret, J-Y., 3 Dec 2018, 2018 26th European Signal Processing Conference (EUSIPCO). IEEE, p. 747-751 5 p. (European Signal Processing Conference (EUSIPCO)).

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

Open Access
File
Restoration
Photons
Image reconstruction
Experiments
Imaging techniques

Contagious Yawning in Human-Robot Interaction

Lehmann, H. & Broz, F., Mar 2018, Proceedings of the 13th Annual ACM/IEEE International Conference on Human Robot Interaction. ACM, p. 173-174

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

Human robot interaction
Robots
Experiments

Cross-Layer Multipath Multichannel MAC protocol for MANETs

Mirza, N. S., Taylor, H., Abdelshafy, M. A., King, P. J. B., Romdhani, I. & Alghamdi, A. A., 12 Nov 2018, 2018 International Symposium on Networks, Computers and Communications (ISNCC). IEEE, 8530886

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

Routing protocols
Network protocols
Network performance
Simulators
Communication

Cultural Social Signal Interplay with an Expressive Robot

McKenna, P. E., Ghosh, A., Aylett, R., Broz, F. & Rajendran, G., 5 Nov 2018, Proceedings of the 18th International Conference on Intelligent Virtual Agents. ACM, p. 211-218 8 p.

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

Open Access
File
Robots
Signal processing
Experiments

Equivariant ZFA with Choice: a position paper

Gabbay, J., 12 Apr 2018, Proceedings of the 25th Automated Reasoning Workshop: Bridging the Gap between Theory and Practice. Jamnik, M., Koutsoukou-Argyraki, A., Ayers, E. & Mangla, C. (eds.). p. 39-40 2 p.

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

Open Access

ER-Agent Communication Languages and Protocol for Large-Scale Emergency Responses

Hassan, M. K. A. & Chen-Burger, Y-H., 31 May 2018, Agents and Multi-Agent Systems: Technologies and Applications 2018. Jezic, G., Chen-Burger, Y-H. J., Howlett, R. J., Jain, L. C., Vlacic, L. & Šperka, R. (eds.). Springer, p. 134-143 10 p. (Smart Innovation, Systems and Technologies; vol. 96).

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

Open Access
File
Communication
Semantics
Multi agent systems
Disasters
Telecommunication

ETHICS and SSM-A critical human element evaluation in software engineering using the NIMSAD framework

Sadath, L. & Gill, S., 8 Feb 2018, 2017 International Conference on Infocom Technologies and Unmanned Systems (Trends and Future Directions) (ICTUS). IEEE, p. 370-375 6 p.

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

Model-based Design
Systems Analysis
Software Engineering
System Design
Software engineering

Explainable Autonomy: A Study of Explanation Styles for Building Clear Mental Models

Garcia, F. J. C., Robb, D. A., Liu, X., Laskov, A., Patron, P. & Hastie, H., Nov 2018, Proceedings of the 11th International Conference on Natural Language Generation. Association for Computational Linguistics, p. 99-108 10 p.

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

Open Access
File
Unmanned vehicles
Transparency

Exploring the key design functions of an overactive bladder application

Salai, A-M. & Baillie, L., Sep 2018, Proceedings of the 20th International Conference on Human-Computer Interaction with Mobile Devices and Services. ACM, p. 229-236 8 p.

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

Mobile phones
Patient rehabilitation
Health

Extreme programming implementation in academia for software engineering sustainability

Sadath, L., Karim, K. & Gill, S., 11 Jun 2018, 2018 Advances in Science and Engineering Technology International Conferences (ASET). IEEE, 8376925

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

Computer programming
Sustainable development
Software engineering
sustainability
software

Fear learning for flexible decision making in robocup: A discussion

Rizzi, C., Johnson, C. G. & Vargas, P. A., 7 Sep 2018, RoboCup 2017: Robot World Cup XXI. Akiyama, H., Obst, O., Sammut, C. & Tonidandel, F. (eds.). Springer, p. 59-70 12 p. (Lecture Notes in Computer Science; vol. 11175).

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

Open Access
File
Decision making
Decision Making
Robots
Leverage
Robot

Forecasting the flow of urban pollution with cellular automata

Benjavanich, S., Ursani, Z. & Corne, D., 14 Jun 2018, 5th IFIP Conference on Sustainable Internet and ICT for Sustainability (SustainIT). IEEE, 8379801

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

Cellular automata
Pollution
Health hazards
Sensor arrays
Evolutionary algorithms