Research Output 1970 2019

2019

CodeGazer: Making Code Navigation Easy and Natural with Gaze Input

Shakil, A., Lutteroth, C. & Weber, G., 24 Jan 2019, (Accepted/In press) Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 1-12 12 p. (CHI : Conference on Human Factors and Computing Systems).

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

Open Access
File

Cross-modal correspondences between odours and speed

Scheller, M., Jicol, C. & Wan, J., 1 Apr 2019.

Research output: Contribution to conferencePoster

Emotional Utility and Recall of the Facebook News Feed

Nontasil, P. & Payne, S., 6 May 2019, (Accepted/In press) CHI Conference on Human Factors in Computing Systems. 9 p.

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

Exploring the Future Role of Self-Tracking Data in the Rheumatology Clinic

Hue, W., Jones, S. & Sengupta, R., 5 Apr 2019, Healthcare of the Future. Bignens, S., Burkle, T., Lehmann, M., Denecke, K., Zetz, E., Holm, J. & Sariyar, M. (eds.). Biel/Bienne, Switzerland: IOS Press, p. 33-38 6 p. (Studies in Health Technology and Informatics; vol. 259).

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

Fouling and cleaning in food processing 2018

Chew, Y. M. J. & Wilson, D. I., 1 Jan 2019, In : Food and Bioproducts Processing. 113, 1 p.

Research output: Contribution to journalEditorial

MegaParallax: Casual 360° Panoramas with Motion Parallax

Bertel, T., Campbell, N. & Richardt, C., 1 May 2019, In : IEEE Transactions on Visualization and Computer Graphics. 25, 5, p. 1828-1835 8 p., 8651483.

Research output: Contribution to journalArticle

On Fast Matrix Inversion by Fast Matrix Multiplication

Tonks, Z., 3 Jan 2019

Research output: Other contribution

ORC Layout: Adaptive GUI Layout with OR-Constraints

Jiang, Y., Du, R., Lutteroth, C. & Stuerzlinger, W., 24 Jan 2019, (Accepted/In press) Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 1-12 12 p. (CHI: Conference on Human Factors and Computing Systems).

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

Open Access
File

Patient Perspectives on Self-Management Technologies for Chronic Fatigue Syndrome

Davies, T., Jones, S. & Kelly, R., 4 May 2019, Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems. New York: Association for Computing Machinery, p. 1-13 13 p. 222. (CHI: Conference on Human Factors and Computing Systems).

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

Open Access
File

PortraitNet: Real-time portrait segmentation network for mobile device

Zhang, S-H., Dong, X., Li, R. & Yang, Y., 1 May 2019, In : Computers & Graphics. 80, p. 104-113 10 p.

Research output: Contribution to journalArticle

ReType: Quick Text Editing with Keyboard and Gaze

Sindhwani, S., Lutteroth, C. & Weber, G., 24 Jan 2019, (Accepted/In press) Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 1-13 13 p. (CHI: Conference on Human Factors and Computing Systems).

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

Open Access
File

Robots That Make Sense: Transparent Intelligence Through Augmented Reality

Rotsidis, A., Theodorou, A. & Wortham, R. H., 15 Mar 2019. 6 p.

Research output: Contribution to conferencePaper

Simulation and skinning of heterogeneous texture detail deformation

Cosker, D., Koniaris, C. & Mitchell, K. J., 2019, Patent No. 9959662; 20160133040 , 10 Nov 2014

Research output: Patent

System and Method of Bandwidth-Sensitive Rendering of a Focal Area of an Animation

Cosker, D., Swafford, N. & Mitchell, K. J., 2019, Patent No. 20180061084, 24 Aug 2016

Research output: Patent

System and Method of Gaze Predictive Rendering of a Focal Area of an Animation

Cosker, D., Swafford, N., Andrews, S. & Mitchell, K. J., 2019, Patent No. 20180061116; 10255714 , 24 Aug 2016

Research output: Patent

System and method of latency-aware rendering of a focal area of an animation

Cosker, D., Swafford, N. & Mitchell, K. J., 2019, Patent No. 10042421; 20180059780 , 24 Aug 2016

Research output: Patent

Teaching of computing to mathematics students: Programming and discrete mathematics

Betteridge, J., Davenport, J. H., Freitag, M., Heijtljes, W., Kynaston, S., Sankaran, G. & Traustason, G., 9 Jan 2019, Proceedings of the 3rd Conference on Computing Education Practice, CEP 2019. Association for Computing Machinery, 12

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

The evolution of online ideological communities

Davidson, B., Jones, S., Joinson, A. & Hinds, J., 22 May 2019, In : PLoS ONE. 14, 5, e0216932.

Research output: Contribution to journalArticle

Open Access

The Institute of Coding: Addressing the UK Digital Skills Crisis

Davenport, J., Hourizi, R., Hayes, A. & Crick, T., 2019, Computing Education Practice '19. Association for Computing Machinery

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

Open Access
File

The Past Decade and Future of AI’s Impact on Society

Bryson, J. J., 2019, Towards a New Enlightenment? A Transcendent Decade. Madrid: Turner, Vol. 11. 34 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Open Access

Towards Data-Driven Sword Fighting Experiences in VR

Dehesa, J., Vidler, A., Lutteroth, C. & Padget, J., 9 May 2019. 6 p.

Research output: Contribution to conferenceAbstract

Open Access

Types by Need

Accattoli, B., Guerrieri, G. & Leberle, M., 6 Apr 2019, Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Caires, L. (ed.). Springer Verlag, p. 410-439 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11423 ).

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

Open Access

User-Guided Facial Animation through an Evolutionary Interface

Reed, K. & Cosker, D., 1 Jan 2019, In : Computer Graphics Forum. 12 p.

Research output: Contribution to journalArticle

Open Access

Using Machine Learning to Improve Cylindrical Algebraic Decomposition

Huang, Z., England, M., Wilson, D., Bridge, J., Davenport, J. & Paulson, L., 3 Apr 2019, In : Mathematics in Computer Science.

Research output: Contribution to journalArticle

Open Access

Using Social Reasoning Framework to Guide Normative Behaviour of Intelligent Virtual Agents

Lee, J. H., Lee, S. W. & Padget, J., 16 Jan 2019, Proceedings - 2018 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2018. IEEE, p. 2466-2471 6 p. 8616419

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

VGPN: Voice-Guided Pointing Robot Navigation for Humans

Hu, J., Jiang, Z., Ding, X., Mu, T. & Hall, P., 11 Mar 2019, 2018 IEEE International Conference on Robotics and Biomimetics, ROBIO 2018. IEEE, p. 1107-1112 6 p. 8664854

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

Virtual Performance Augmentation in an Immersive Jump & Run Exergame

Ioannou, C., Archard, P., O'Neill, E. & Lutteroth, C., 9 May 2019, Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 1-15 15 p. 158. (CHI: Conference on Human Factors and Computing Systems).

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

Open Access
File

What is 'Cyber Security'?: Differential Language of CyberSecurity Across the Lifespan

Jones, S., Collins, E., Levordashka, A., Muir, K. & Joinson, A., 4 May 2019, CHI 2019 - Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, Vol. 2019-May. 6 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
2018
1 Citation (Scopus)

A Computational Model for Designing Energy Behaviour Change Interventions

Mogles, N., Padget, J., Gabe-Thomas, E., Walker, I. & Lee, J., 1 Mar 2018, In : User Modeling and User-Adapted Interaction. 28, 1, p. 1-34

Research output: Contribution to journalArticle

Open Access
energy
energy consumption
Energy utilization
Environmental technology
literacy

Adiabatic Higher Order Mode Guidance in Optical Microfibres

Jung, Y., Harrington, K., Yerolatsitis, S., Alam, S. U., Richardson, D. J. & Birks, T. A., 14 Nov 2018, 2018 European Conference on Optical Communication, ECOC 2018. IEEE, Vol. 2018-September. 8535411

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

A fully abstract game semantics for countable nondeterminism

Gowers, W. J. & Laird, J. D., 1 Aug 2018, Computer Science Logic 2018, CSL 2018. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 119. 24

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

Open Access
Semantics

Agonistic Games: Multiperspective and Unsettling Games for a Social Change

De Angeli, D., Scott, L., O'Neill, E., Finnegan, D. & Bull, A., 28 Oct 2018, p. 103-108. 6 p.

Research output: Contribution to conferencePaper

Open Access
File
social change
event
narrative
interaction

A Memory-Optimal Many-To-Many Semi-Stream Join

Naeem, A., Weber, G. & Lutteroth, C., 31 Aug 2018, In : Distributed and Parallel Databases. 27 p.

Research output: Contribution to journalArticle

Data storage equipment
Chemical analysis
Costs

A modal logic analysis of a line-following robot

Battle, S. & Thompson, M., 2018, Artificial Life and Intelligent Agents - Second International Symposium, ALIA 2016, Revised Selected Papers. Cham, Switzerland: Springer, p. 42-55 14 p. (Communications in Computer and Information Science; vol. 732).

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

Modal Logic
State Space
Robot
Robots
Kripke Models

A Natural Proof System for Herbrand's Theorem

Ralph, B., 2018, Logical Foundations of Computer Science - International Symposium, LFCS 2018, Proceedings. Nerode, A. & Artemov, S. (eds.). Springer, p. 289-308 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10703).

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

Proof System
Theorem
First-order Logic
Proof Theory
Propositional Logic

An enriched view on the extended finitary monad-Lawvere theory correspondence

Power, A. & Garner, R., 27 Feb 2018, In : Logical Methods in Computer Science. p. 1--23 14 p.

Research output: Contribution to journalArticle

File
Monads
Correspondence
Enriched Category
Bicategory
Colimit
Open Access
Sports medicine
Patient rehabilitation
Computer vision
Kinematics
Biomechanics

A Smart Email Client Prototype for Effective Reuse of Past Replies

Naeem, M. A., Linggawa, I. W. S., Mughal, A. A., Lutteroth, C. & Weber, G., 31 Oct 2018, (Accepted/In press) In : IEEE Access.

Research output: Contribution to journalArticle

Open Access

Augmented Skeleton Space Transfer for Depth-based Hand Pose Estimation

Baek, S., Kim, K. I. & Kim, T. K., 17 Dec 2018, 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition. IEEE, Vol. 2018. p. 8330-8339 10 p. (Proceedings (IEEE Computer Society Conference on Computer Vision and Pattern Recognition)).

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

Open Access

Automatic Model Selection in Subspace Clustering via Triplet Relationships

Yang, J., Liang, J., Wang, K., Yang, Y. & Cheng, M-M., 2018. 8 p.

Research output: Contribution to conferencePaper

Data structures
Fusion reactions
Experiments

A Yabloesque paradox in epistemic game theory

Baskent, C., 1 Jan 2018, In : Synthese. 195, 1, p. 441–464 24 p.

Research output: Contribution to journalArticle

Open Access
File
game theory
human being
Paradox
Game Theory
Referential

Bioinspired design of a landing system with soft shock absorbers for autonomous aerial robots

Zhang, K., Chermprayong, P., Tzoumanikas, D., Li, W., Grimm, M., Smentoch, M., Leutenegger, S. & Kovac, M., 22 Dec 2018, In : Journal of Field Robotics. 36, 1, p. 230-251 22 p.

Research output: Contribution to journalArticle

Open Access
File
1 Citation (Scopus)

Color Orchestra: Ordering Color Palettes for Interpolation and Prediction

Phan, H., Fu, H. & Chan, A., 1 Jun 2018, In : IEEE Transactions on Visualization and Computer Graphics. 24, 6, p. 1942-1955 14 p.

Research output: Contribution to journalArticle

Interpolation
Color
Painting
Sorting
Internet

Communication

Wortham, R. H. & Bryson, J. J., 26 Apr 2018, Living Machines: A Handbook of Research in Biomimetic and Biohybrid Systems. Prescott, T. J., Lepora, N. & Verschure, P. F. M. J. (eds.). Oxford, U. K.: Oxford University Press, p. 312-326

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Communication
Robots
Biomimetics
Animals
Robotics

Cutting-edge VR/AR display technologies (gaze-, accommodation-, motion-aware and HDR-enabled)

Koulieris, G. A., Akşit, K., Richardt, C. & Mantiuk, R., 4 Dec 2018. 341 p.

Research output: Contribution to conferenceOther

Open Access
3 Citations (Scopus)

Dealing with Information Overload in Multifaceted Personal Informatics Systems

Jones, S. & Kelly, R., 2 Jan 2018, In : Human-Computer Interaction. 33, 1, p. 1-48 48 p.

Research output: Contribution to journalArticle

Open Access
File
Informatics
Proxy
Information Systems
4 Citations (Scopus)

Deep Video Portraits

Kim, H., Garrido, P., Tewari, A., Xu, W., Thies, J., Nießner, M., Perez, P., Richardt, C., Zollhöfer, M. & Theobalt, C., 1 Aug 2018, In : ACM Transactions on Graphics. 37, 4, p. 1-14 14 p., 163.

Research output: Contribution to journalArticle

Open Access
File
Animation
Neural networks
Experiments

Deontic Sensors

Padget, J., De Vos, M. & Page, C., 13 Jul 2018, International Joint Conference on Artificial Intelligence 2018: IJCAI-18. Lang, J. (ed.). International Joint Conferences on Artificial Intelligence, p. 475-481 7 p.

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

Open Access
Multi agent systems
Sensors