Research Output 1970 2020

Filter
Conference contribution
2019

A UK Case Study on Cybersecurity Education and Accreditation

Davenport, J., Crick, T., Irons, A. & Prickett, T., 12 Jul 2019, (Accepted/In press) Frontiers in Education 2019. IEEE, (IEEE Frontiers in Education Conference).

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

Open Access
1 Citation (Scopus)

Bayesian Neural Networks for Sparse Coding

Kuzin, D., Isupova, O. & Mihaylova, L., 17 Apr 2019, 2019 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2019 - Proceedings. IEEE, p. 2992-2996 5 p. 8682174. (ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings; vol. 2019-May).

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

1 Downloads (Pure)

Capture4VR: From VR Photography to VR Video

Richardt, C., Hedman, P., Overbeck, R. S., Cabral, B., Konrad, R. & Sullivan, S., 28 Jul 2019, SIGGRAPH '19 PROCEEDINGS. Association for Computing Machinery, p. 1-319 319 p. 4

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

Open Access
File
51 Downloads (Pure)

Caring About Dissent: Online Community Moderation and Norm Evolution

Yu, B., Spiel, K. & Watts, L., 10 Nov 2019, Volunteer Work: Mapping the Future of Moderation Research - A CSCW '19 Workshop.

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

File

Carrot & Stick: Electrical Muscle Stimulation output generated through incentivized/de-incentivized exergames

Campbell, J. & Fraser, M., 10 Sep 2019, ECCE 2019 - Proceedings of the 31st European Conference on Cognitive Ergonomics: ''Design for Cognition''. Association for Computing Machinery, p. 188-191 4 p. (ECCE 2019 - Proceedings of the 31st European Conference on Cognitive Ergonomics: ''Design for Cognition'').

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

CartRight: Maintaining good posture in the presence of adaptive haptics

Campbell, J. & Fraser, M., 10 Sep 2019, ECCE 2019 - Proceedings of the 31st European Conference on Cognitive Ergonomics: ''Design for Cognition''. Association for Computing Machinery, p. 148-155 8 p. (ECCE 2019 - Proceedings of the 31st European Conference on Cognitive Ergonomics: ''Design for Cognition'').

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

16 Downloads (Pure)

Characterizing Visual Localization and Mapping Datasets

Saeedi, S., Carvalho, E., Li, W., Tzoumanikas, D., Leutenegger, S., Kelly, P. & Davison, A., 1 Jun 2019, (Accepted/In press) IEEE/RSJ International Conference on Robotics and Automation (ICRA)​. (Proceedings - International Conference on Robotics and Automation).

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

Open Access
File
208 Downloads (Pure)

CodeGazer: Making Code Navigation Easy and Natural with Gaze Input

Shakil, A., Lutteroth, C. & Weber, G., 9 May 2019, CHI 2019 - 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

Digital-is-physical: How functional fabrication disrupts ubicomp design principles

Fraser, M., Liu, J., Shapiro, J., Taylor, J. & Everitt, A., 19 Nov 2019, HTTF 2019 - Proceedings of the Halfway to the Future Symposium 2019. Association for Computing Machinery, p. 1-5 5 p. 28. (ACM International Conference Proceeding Series).

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

42 Downloads (Pure)

DP-GP-LVM: A Bayesian Non-Parametric Model for Learning Multivariate Dependency Structures

Lawrence, A., Ek, C. H. & Campbell, N., 9 Jun 2019, Proceedings of the 36th International Conference on Machine Learning. Chaudhuri, K. & Salakhutdinov, R. (eds.). Long Beach, California, USA: PMLR, Vol. 97. p. 3682-3691 10 p. (Proceedings of Machine Learning Research).

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

Open Access
File

Emotional Utility and Recall of the Facebook News Feed

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

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

Evolutionary virtual term substitution in a quantifier elimination system

Tonks, Z., 31 Jul 2019, CEUR Workshop Proceedings: 4th Workshop on Satisfiability Checking and Symbolic Computation. Abbott, J. & Griggio, A. (eds.). CEUR-WS, Vol. 2460. (CEUR Workshop Proceedings; vol. 2460).

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., 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, Vol. 259. p. 33-38 6 p. (Studies in Health Technology and Informatics; vol. 259).

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

Open Access

Head design and optimization of an emotionally interactive robot for the treatment of autism

Wu, F., Lin, S., Cao, X., Zhong, H. & Zhang, J., 19 Jul 2019, Proceedings - 2019 4th International Conference on Automation, Control and Robotics Engineering, CACRE 2019. Zhang, F. (ed.). Association for Computing Machinery, 75. (ACM International Conference Proceeding Series).

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

27 Downloads (Pure)

Intelligent Geometry Tools

Davenport, J., Fleuriot, J., Quaresma, P., Recio, T. & Wang, D., Aug 2019, Proceedings ARCADE 2019. EasyChair Publications

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

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

Intuitionistic proofs without syntax

Heijltjes, W., Hughes, D. & Strassburger, L., 6 Aug 2019, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019. IEEE, Vol. 2019. 13 p. (Proceedings - Symposium on Logic in Computer Science; vol. 2019-June).

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

Open Access
File
18 Downloads (Pure)

MID-Fusion: Octree-based Object-Level Multi-Instance Dynamic SLAM

Xu, B., Li, W., Tzoumanikas, D., Bloesch, M., Davison, A. & Leutenegger, S., 24 May 2019, (Accepted/In press) IEEE International Conference on Robotics and Automation. (International Conference On Robotics and Automation).

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

Open Access
File
42 Downloads (Pure)

Multi-character Motion Retargeting for Large-Scale Transformations

Naghizadeh, M. & Cosker, D., 12 Jun 2019, Advances in Computer Graphics - 36th Computer Graphics International Conference, CGI 2019, Proceedings: Advances in Computer Graphics. Gavrilova, M., Chang, J., Thalmann, N. M., Thalmann, N. M., Hitzer, E. & Ishikawa, H. (eds.). Springer Verlag, p. 94-106 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11542 LNCS).

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

Open Access
File
10 Downloads (Pure)

On Benefits of Equality Constraints in Lex-Least Invariant CAD (Extended Abstract

Nair, A. S., Davenport, J. & Sankaran, G., Sep 2019, Proceedings SC2 2019. 8 p.

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

File

Open source software DASOS: Efficient accumulation, analysis, and visualisation of full-waveform lidar

Miltiadou, M., Grant, M. G., Campbell, N. D. F., Warren, M., Clewley, D. & Hadjimitsis, D. G., 27 Jun 2019, Seventh International Conference on Remote Sensing and Geoinformation of the Environment, RSCy 2019. Themistocleous, K., Papadavid, G., Michaelides, S., Ambrosia, V. & Hadjimitsis, D. G. (eds.). SPIE, 111741M. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 11174).

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

45 Downloads (Pure)

ORC Layout: Adaptive GUI Layout with OR-Constraints

Jiang, Y., Du, R., Lutteroth, C. & Stuerzlinger, W., 9 May 2019, CHI 2019 - 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
24 Downloads (Pure)

Patient Perspectives on Self-Management Technologies for Chronic Fatigue Syndrome

Davies, T., Jones, S. & Kelly, R., 4 May 2019, CHI 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
7 Downloads (Pure)

Proof-Net as Graph, Taylor Expansion as Pullback

Guerrieri, G., Pellissier, L. & Tortora de Falco, L., 9 Jun 2019, Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, Proceedings. Iemhoff, R., Moortgat, M. & de Queiroz, R. (eds.). Berlin, Germany: Springer Verlag, p. 282-300 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11541 LNCS).

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

Open Access
File
9 Downloads (Pure)

Proof nets for first-order additive linear logic

Heijltjes, W., Hughes, D. & Strassburger, L., 18 Jun 2019, Fourth International Conference on Formal Structures for Computation and Deduction (FSCD 2019). Geuvers, H. & Geuvers, H. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 131. p. 22:1-22:22 22 p. 22. (Leibnitz International Proceedings in Informatics; vol. 2019).

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

Open Access
File
657 Downloads (Pure)

ReType: Quick Text Editing with Keyboard and Gaze

Sindhwani, S., Lutteroth, C. & Weber, G., 4 May 2019, CHI 2019 - Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 1-13 13 p. (Conference on Human Factors in Computing Systems - Proceedings).

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

Open Access
File

Supporting collaborative use of self-tracking data in the context of healthcare and chronic conditions

Hue, W., 18 Jun 2019, DIS 2019 Companion - Companion Publication of the 2019 ACM Designing Interactive Systems Conference. New York, U. S. A: Association for Computing Machinery, p. 93-96 4 p. (DIS 2019 Companion - Companion Publication of the 2019 ACM Designing Interactive Systems Conference).

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

Switching it up: Designing adaptive interfaces for virtual reality exergames

Campbell, J. & Fraser, M., 10 Sep 2019, ECCE 2019 - Proceedings of the 31st European Conference on Cognitive Ergonomics: ''Design for Cognition''. Association for Computing Machinery, p. 177-184 8 p. (ECCE 2019 - Proceedings of the 31st European Conference on Cognitive Ergonomics: ''Design for Cognition'').

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

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

1 Citation (Scopus)
33 Downloads (Pure)

The Institute of Coding: Addressing the UK Digital Skills Crisis

Davenport, J., Hourizi, R., Hayes, A. & Crick, T., 2019, Proceedings - 3rd Conference on Computing Education Practice, CEP 2019. Association for Computing Machinery, 4 p. (ACM International Conference Proceeding Series).

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

Open Access
File
9 Downloads (Pure)

The Sustainability Game: AI Technology as an Intervention for Public Understanding of Cooperative Investment

Theodorou, A., Bandt-Law, B. & Bryson, J. J., 24 Jul 2019, IEEE CONFERENCE ON GAMES (COG) . IEEE, 4 p. 8848058

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

Open Access
File
63 Downloads (Pure)

Transporting Real Objects into Virtual and Augmented Environments

Taylor, C., Evans, M. & Cosker, D., 2019, (Unpublished) ACM Symposium on Computer Animation.

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

File
3 Citations (Scopus)

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

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

1 Citation (Scopus)

VGPN: Voice-Guided Pointing Robot Navigation for Humans

Hu, J., Jiang, Z., Ding, X., Mu, T. & Hall, P., 14 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

1 Citation (Scopus)
131 Downloads (Pure)

Virtual Performance Augmentation in an Immersive Jump & Run Exergame

Ioannou, C., Archard, P., O'Neill, E. & Lutteroth, C., 9 May 2019, CHI 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
15 Downloads (Pure)

VRProp-Net:Real-time Interaction with Virtual Props

Taylor, C., McNicholas, R. & Cosker, D., 28 Jul 2019, ACM SIGGRAPH 2019 Posters, SIGGRAPH 2019: SIGGRAPH '19. Association for Computing Machinery, 31. (ACM SIGGRAPH 2019 Posters, SIGGRAPH 2019).

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

File
63 Downloads (Pure)

VR Props: An End-to-End Pipeline for Transporting Real Objects into Virtual and Augmented Environment

Taylor, C., Mullanay, C., McNicholas, R. & Cosker, D., 1 Jun 2019, (Accepted/In press) International Symposium on Mixed and Augmented Reality. IEEE, ( Mixed and Augmented Reality (ISMAR), International Symposium on .).

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

File
43 Downloads (Pure)

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

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

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

Open Access
File
2018

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

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
4 Citations (Scopus)

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
10 Downloads (Pure)

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

Designing for reflection on sender effort in close personal communication

Kelly, R., Gooch, D. & Watts, L., 4 Dec 2018, Proceedings of the 30th Australian Computer-Human Interaction Conference, OzCHI 2018. Morrison, A., Buchanan, G., Waycott, J., Billinghurst, M., Stevenson, D., Choi, JH-J., Billinghurst, M., Kelly, R., McKay, D. & Lugmayr, A. (eds.). Association for Computing Machinery, p. 314-325 12 p. (ACM International Conference Proceeding Series).

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

Ensemble Kalman Filtering for Online Gaussian Process Regression and Learning

Kuzin, D., Yang, L., Isupova, O. & Mihaylova, L., 6 Sep 2018, 2018 21st International Conference on Information Fusion, FUSION 2018. IEEE, p. 39-46 8 p. (2018 21st International Conference on Information Fusion, FUSION 2018).

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

36 Downloads (Pure)

E-StopMotion: Digitizing Stop Motion for Enhanced Animation and Games

Ciucanu, A., Bhandari, N., Wu, X., Ravikumar, S., Yang, Y. & Cosker, D., 10 Nov 2018, MIG '18: Proceedings of the 11th Annual International Conference on Motion, Interaction, and Games. Association for Computing Machinery, 9

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

Open Access
File

Exploiting preprocessing for quantum search to break parameters for MQ cryptosystems

Pring, B., 16 Jun 2018, Arithmetic of Finite Fields - 7th International Workshop, WAIFI 2018, Revised Selected Papers.. WAIFI

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

Open Access
Quantum computers
Cryptography
Hardness
8 Citations (Scopus)
154 Downloads (Pure)

Exploring Data in Virtual Reality: Comparisons with 2D Data Visualizations

Millais, P., Jones, S. & Kelly, R., 21 Apr 2018, CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, Vol. 2018-April. LBW007

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

Open Access
File
Data visualization
Virtual reality
Visualization
12 Downloads (Pure)

Extensional and intensional semantic universes: A denotational model of dependent types

Blot, V. & Laird, J., 9 Jul 2018, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018. IEEE, Vol. Part F138033. p. 95-104 10 p. (Proceedings - Symposium on Logic in Computer Science).

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

Open Access
Type Theory
Forms (concrete)
Concrete Structures
Semantics
Game