Research Output 1966 2020

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 Faceted Prior for Scalable Wideband Imaging: Application to Radio Astronomy

Thouvenin, P-A., Abdulaziz, A., Jiang, M., Repetti, A. & Wiaux, Y., 19 Jul 2019, (Submitted) 2019 IEEE International Workshop on Computational Advances in Multi-Sensor Adaptive Processing (CAMSAP). Guadeloupe, West Indies

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

File
Radio astronomy
Imaging techniques
Convex optimization
Telescopes
Frequency bands

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. Sacerdoti Coen, C., Kohlhase, A., Brady, E. & Kaliszyk, 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
Notation
Syntax
Entity
Strings
Offspring

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

Open Access
File
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

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, ICC 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., 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

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

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

Grassmannian
Nonlinear Partial Differential Equations
Nonlinearity
Chart
Partial differential equation

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

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

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

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

A Knowledge-Grounded Multimodal Search-Based Conversational Agent

Agarwal, S., Dusek, O., Konstas, I. & Rieser, V., 31 Oct 2018, Proceedings of the 2018 EMNLP Workshop SCAI: The 2nd International Workshop on Search-Oriented Conversational AI. Association for Computational Linguistics, p. 59-66 8 p.

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

Open Access

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

Open Access
File
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

Better conversations by modeling, filtering, and optimizing for coherence and diversity

Xinnuo, X., Dusek, O., Konstas, I. & Rieser, V., 31 Oct 2018, Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics, p. 3981–3991 11 p.

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

Open Access
Experiments

Contagious Yawning in Human-Robot Interaction

Lehmann, H. & Broz, F., 1 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