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) FIE 2019. IEEE

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

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

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

Intelligent Geometry Tools

Davenport, J., Fleuriot, J., Quaresma, P., Recio, T. & Wang, D., 9 Jul 2019, (Accepted/In press) Proceedings ARCADE 2019. EasyChair Publications

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

Open Access
File

Intuitionistic proofs without syntax

Heijltjes, W., Hughes, D. & Strassburger, L., 24 Jun 2019, LICS '19: Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science. Association for Computing Machinery, Vol. 2019.

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

Open Access
File

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., Hitzer, E. & Ishikawa, H. (eds.). Springer, 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

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

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. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 22:1-22:22 22 p. (Leibnitz International Proceedings in Informatics; vol. 2019).

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

Open Access
File

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

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

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

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

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

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

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

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

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

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

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)

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

3 Citations (Scopus)

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)

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

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

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

Methodologies of Symbolic Computation

Davenport, J., Sep 2018, Artificial Intelligence and Symbolic Computation - 13th International Conference, AISC 2018, Proceedings. Wang, D., Fleuriot, J. & Calmet, J. (eds.). Cham: Springer International Publishing, p. 19-33 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11110 LNAI).

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

Algebra
Computational complexity

Multi-Task Deep Networks for Depth-Based 6D Object Pose and Joint Registration in Crowd Scenarios

Sock, J., Kim, K. I., Sahin, C. & Kim, T. K., 2 Jul 2018, (Accepted/In press) Proc. of British Machine Vision Conference (BMVC).

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

Open Access

Multi-task Learning by Maximizing Statistical Dependence

Alami Mejjati, Y., Cosker, D. & Kim, K. I., 17 Dec 2018, 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition. Vol. 2018. p. 3465-3473 9 p. (Proceedings (IEEE Computer Society Conference on Computer Vision and Pattern Recognition)).

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

Open Access

On Compositionality of Dinatural Transformations

McCusker, G. & Santamaria, A., 31 Dec 2018, 27th EACSL Annual Conference on Computer Science Logic (CSL 2018). Ghica, D. & Jung, A. (eds.). Dagstuhl, Germany: Leibniz International Proceedings in Informatics, Vol. 119. p. 33:1-33:22 22 p. 33. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 119).

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

Open Access
Compositionality
Lambda Calculus
Computer Science
Horizontal
Logic

Orthogonal tropical linear prevarieties

Vorobjov, N. & Grigoriev, D., 2018, The 20th International Workshop on Computer Algebra in Scientific Computing. Springer, p. 187-196 10 p. (Lecture Notes in Computer Science; vol. 11077).

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

1 Citation (Scopus)

Proof nets for bi-intuitionistic linear logic

Bellin, G. & Heijltjes, W., 1 Jul 2018, 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018: Leibnitz International proceedings in Informatics. Kirchner, H. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 108. p. 1-17 17 p. 10

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

Open Access
File
Proof Nets
Linear Logic
Intuitionistic Logic
Correctness
Tensor

Ranking CGANs: Subjective Control over Semantic Image Attributes

Saquil, Y., Kim, K. I. & Hall, P., 2 Jul 2018, (Accepted/In press) Proc. of British Machine Vision Conference (BMVC).

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

Open Access

Reacting to Political Videos: The Potential of Danmaku

Yu, B., Kelly, R. & Watts, L., 2 Nov 2018, CSCW 2018 Companion - Companion of the 2018 ACM Conference on Computer Supported Cooperative Work and Social Computing: CSCW 2018. Jersey City, NJ, USA: Association for Computing Machinery, p. 141-144 4 p.

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

File

Supporting Care as a Layer of Concern: Nurturing Attitudes in Online Community Moderation

Yu, B., Spiel, K. & Watts, L., 2 Nov 2018, Sociotechnical Systems of Care: A CSCW18 Workshop.

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

Open Access
File

Supporting Credibility Assessment of News in Social Media using Star Ratings and Alternate Sources

Kenning, M., Kelly, R. & Jones, S., 21 Apr 2018, CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 1-6 6 p. LBW592

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

Open Access
File
News
Rating
Credibility
Social media
Augmentation