Research Output 1970 2019

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

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

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

145 Downloads (Pure)

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
12 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 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

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

Intuitionistic proofs without syntax

Heijltjes, W., Hughes, D. & Strassburger, L., 6 Aug 2019, LICS '19: Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE, Vol. 2019.

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

Open Access
File
2 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
18 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., Thalmann, N. M., Ishikawa, H., Chang, J., Thalmann, N. M. & Hitzer, E. (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
2 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
35 Downloads (Pure)

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

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

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

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

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

24 Downloads (Pure)

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

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

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

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

104 Downloads (Pure)

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

VRProp-Net:Real-time Interaction with Virtual Props

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

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

File
16 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
12 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
3 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
9 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
5 Citations (Scopus)
117 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
7 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
File
Type Theory
Forms (concrete)
Concrete Structures
Semantics
Game

Fast matrix operations in computer algebra

Tonks, Z., Sankaran, G. & Davenport, J. H., 9 Nov 2018, Proceedings - 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017. Ida, T., Jebelean, T., Petcu, D., Watt, S. M., Negru, V. & Zaharie, D. (eds.). IEEE, p. 67-70 4 p. 8531267

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

1 Citation (Scopus)
49 Downloads (Pure)

Fitbit for the Mind?: An Exploratory Study of ‘Cognitive Personal Informatics’

Dudley, C. & Jones, S., 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.

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

Open Access
File
Brain
Brain computer interface
Electroencephalography
60 Downloads (Pure)

Foot Contact Timings and Step Length for Sprint Training

Evans, M., Colyer, S., Cosker, D. & Salo, A., 3 May 2018, 2018 IEEE Winter Conference on Applications of Computer Vision: WACV 2018. IEEE, p. 1652-1660 9 p.

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

Open Access
File
Biomechanics
Takeoff
Landing
Computer vision
Gold

Governing narrative events with tropes as institutional norms

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

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

Norm
Social Norms
Narrative
Arc of a curve
Modeling
212 Downloads (Pure)

Graph-based Generation of Action-Adventure Dungeon Levels using Answer Set Programming

Smith, T., Padget, J. & Vidler, A., 7 Aug 2018, Proceedings of the 13th International Conference on the Foundations of Digital Games. Deterding, S., Khandaker, M., Risi, S., Font, J., Dahlskog, S., Salge, C. & Olsson, C. M. (eds.). Association for Computing Machinery, p. 52:1-52:10 10 p. 52. (Proceedings of the International Conference on the Foundations of Digital Games).

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

Open Access
File
Computer games
1 Citation (Scopus)
10 Downloads (Pure)

HandMap: Robust Hand Pose Estimation via Intermediate Dense Guidance Map Supervision

Wu, X., Finnegan, D., O'Neill, E. & Yang, Y., 2018, Computer Vision – ECCV 2018 - 15th European Conference, 2018, Proceedings: Computer Vision – ECCV 2018. Ferrari, V., Hebert, M., Sminchisescu, C. & Weiss, Y. (eds.). Springer, p. 246-262 17 p. ( Lecture Notes in Computer Science; vol. 11220)(Image Processing, Computer Vision, Pattern Recognition, and Graphics; vol. 11220).

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

Open Access
File

High-order Tensor Regularization with Application to Attribute Ranking

Kim, K. I., Park, J. & Tompkin, J., 1 May 2018, Proc. CVPR.

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

Tensors
Geometry
Derivatives

Improving Shape Deformation in Unsupervised Image-to-Image Translation

Gokaslan, A., Ramanujan, V., Ritchie, D., Kim, K. I. & Tompkin, J., 6 Oct 2018, Proceedings of European Conference on Computer Vision (ECCV): Computer Vision - ECCV 2018. Ferrari, V., Hebert, M., Sminchisescu, C. & Weiss, Y. (eds.). Springer Verlag, Vol. 11216. p. 662-678 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11216 LNCS).

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

6 Citations (Scopus)
662 Downloads (Pure)

Interactive Feedforward for Improving Performance and Maintaining Intrinsic Motivation in VR Exergaming

Barathi, S. C., Finnegan, D. J., Farrow, M., Whaley, A., Heath, P., Buckley, J., Dowrick, P. W., Wünsche, B. C., Bilzon, J. L. J., O'Neill, E. & Lutteroth, C., 21 Apr 2018, Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems. New York, U. S. A.: Association for Computing Machinery, Vol. 2018-April. p. 1-14 14 p. 408. (CHI: Conference on Human Factors and Computing Systems).

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

Open Access
File
2 Citations (Scopus)
10 Downloads (Pure)

InverseFaceNet: Deep Monocular Inverse Face Rendering

Kim, H., Zollhöfer, M., Tewari, A., Thies, J., Richardt, C. & Theobalt, C., 18 Jun 2018, 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition. IEEE, p. 4625-4634 10 p. (Proceedings (IEEE Computer Society Conference on Computer Vision and Pattern Recognition. Online)).

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

Open Access
File
5 Citations (Scopus)
9 Downloads (Pure)

LIME: Live Intrinsic Material Estimation

Meka, A., Maximov, M., Zollhöfer, M., Seidel, H-P., Richardt, C. & Theobalt, C., 18 Jun 2018, 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition. IEEE, p. 6315-6324 10 p. (Proceedings).

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

Open Access
File
Cloning
Surface properties
Mirrors
Image processing
Lighting
24 Downloads (Pure)

Machine-Assisted Proofs

Cruz-Filipe, L., Davenport, J., Helfgott, H., Maynard, J., Poonen, B. & Huu Tiep, P., 2018, International Congress of Mathematicians - ICM 2018. World Scientific

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

Open Access
File