Research Output

2020

A Curry-style Semantics of Interaction: From Untyped to Second-Order Lazy λμ-Calculus

Laird, J., 2020, Foundations of Software Science and Computation Structures- 23rd International Conference, FOSSACS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings. Goubault-Larrecq, J. & König, B. (eds.). Cham, Switzerland: Springer, p. 422-441 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12077 LNCS).

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

Open Access
File
1 Downloads (Pure)

Affect Recognition using Psychophysiological Correlates in High Intensity VR Exergaming

Barathi, S. C., Proulx, M., O'Neill, E. & Lutteroth, C., 16 Jan 2020, (Acceptance date) Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems. New York, U.S.A.: Association for Computing Machinery, Vol. 2020-April. p. 1-15 15 p. (CHI: Conference on Human Factors and Computing Systems).

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

Open Access
File
80 Downloads (Pure)

A general Chinese chatbot based on deep learning and its’ application for children with ASD

Zhong, H., Li, X., Zhang, B. & Zhang, J., Jul 2020, In : International Journal of Machine Learning and Computing. 10, 4, p. 519-526

Research output: Contribution to journalArticle

Open Access

A Non-Invasive Vision-Based Approach to Velocity Measurement of Skeleton Training

Evans, M., Needham, L., Colyer, S. & Cosker, D., 16 Jun 2020, p. 888-889.

Research output: Contribution to conferencePaper

Open Access

Argumentation-based reasoning about plans, maintenance goals, and norms

Shams, Z., de Vos, M., Oren, N. & Padget, J., 29 Feb 2020, In : ACM Transactions on Autonomous and Adaptive Systems. 14, 3, 9.

Research output: Contribution to journalArticle

Open Access
File
20 Downloads (Pure)

Assessing decision-making in elite academy footballers using real-world video clips

Farahani, J., Soltani, P. & Rezlescu, C., 24 Jul 2020, In : Progress in Brain Research. 253

Research output: Contribution to journalArticle

Assessing decision making using 2D animations in elite academy footballers

Farahani, J., Soltani, P., Rezlescu, C. & Walsh, V., 25 Jul 2020, In : Progress in Brain Research. 253

Research output: Contribution to journalArticle

1 Downloads (Pure)

Augmented reality tools for sports education and training

Soltani, P. & Morice, A. H. P., 19 May 2020, In : Computers & Education. 155, 103923.

Research output: Contribution to journalArticle

Open Access
File
319 Downloads (Pure)

Beyond Happy-or-Not: Using Emoji to Capture Visitors’ Emotional Experience

De Angeli, D., O'Neill, E. & Kelly, R., 29 Feb 2020, In : Curator: The Museum Journal.

Research output: Contribution to journalArticle

Open Access

Building an enhanced student experience: reflections from the Department of Computer Science at the University of Bath

Hayes, A., O’Neill, E., Nemetz, F. & Oliver, L., 9 Jan 2020, Proceedings - 4th Conference on Computing Education Practice, CEP 2020. U. S. A.: Association for Computing Machinery, p. 1-5 5 p. 7. (ACM International Conference Proceeding Series).

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

Open Access

Capture, Reconstruction, and Representation of the Visual Real World for Virtual Reality

Richardt, C., Tompkin, J. & Wetzstein, G., 3 Mar 2020, Real VR – Immersive Digital Reality: How to Import the Real World into Head-Mounted Immersive Displays. Magnor, M. & Sorkine-Horning, A. (eds.). Springer International Publishing, p. 3-32 (Lecture Notes in Computer Science; vol. 11900).

Research output: Chapter in Book/Report/Conference proceedingChapter

Computer science degree accreditation in the UK: A post-shadbolt review update

Crick, T., Davenport, J. H., Hanna, P., Irons, A. & Prickett, T., 9 Jan 2020, Proceedings - 4th Conference on Computing Education Practice, CEP 2020. U. S. A.: Association for Computing Machinery, p. 1-4 6. (ACM International Conference Proceeding Series).

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

4 Citations (Scopus)

Data Without Software Are Just Numbers

Davenport, J. H., Grant, J. & Jones, C. M., 22 Jan 2020, In : Data Science Journal. 19, 1, p. 1-6 6 p., 3.

Research output: Contribution to journalArticle

Open Access
1 Citation (Scopus)

Decentralised Runtime Norm Synthesis: Doctoral Consortium

Morris Martin, A., May 2020, p. 2196. 2198 p.

Research output: Contribution to conferenceOther

Decomposing probabilistic lambda-calculi

Dal Lago, U., Guerrieri, G. & Heijltjes, W., 1 Jan 2020, p. 136-156. 21 p.

Research output: Contribution to conferencePaper

Open Access

Degree Apprenticeships: Learners and aspirations.

Hayes, A., Davenport, J., Irons, A., Smith, S., Dancy, D., Patelli, A. & James, G., 29 Jan 2020.

Research output: Contribution to conferencePaper

Dependent choice as a termination principle

Powell, T., 1 May 2020, In : Archive for Mathematical Logic. 59, 3-4, p. 503-516 14 p.

Research output: Contribution to journalArticle

Depth Augmented Omnidirectional Stereo for 6-DoF VR Photography

Bertel, T., Mühlhausen, M., Kappel, M., Bittner, P. M., Richardt, C. & Magnor, M., 22 Mar 2020. 2 p.

Research output: Contribution to conferencePoster

Open Access
File
22 Downloads (Pure)

Depth map super-resolution using a semi-supervised classification based MRF model

Qiao, Y., Jiao, L., Tang, X., Li, W. & Cosker, D., 11 Jul 2020, (Unpublished) In : Pattern Recognition Letters.

Research output: Contribution to journalLetter

Effects of spatial encoding strategies on 2D and 3D magnetic resonance fingerprinting

Cencini, M., Gomez, P., Golbabaee, M. & al, E., 2020, In : Magnetic Resonance in Medicine .

Research output: Contribution to journalConference article

Evolutionary Psychology and Artificial Intelligence: The Impact of Artificial Intelligence on Human Behaviour

Wilson, H., Rauwolf, P. & Bryson, J. J., Aug 2020, The SAGE Handbook of Evolutionary Psychology. Shackelford, T. (ed.). Sage Publications, Vol. 3. 27 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

File
13 Downloads (Pure)

FALF ConvNets: Fatuous auxiliary loss based filter-pruning for efficient deep CNNs

Singh, P., Kadi, V. S. R. & Namboodiri, V. P., 1 Jan 2020, In : Image and Vision Computing. 93, 103857, p. 1-14 14 p., 103857.

Research output: Contribution to journalArticle

4 Citations (Scopus)

Foreword (to special issue on ICMS 2018)

Labahn, G., Davenport, J. H. & Urban, J., 23 Apr 2020, In : Mathematics in Computer Science.

Research output: Contribution to journalEditorial

Glueability and coherence of resource proof-structures: inverting the Taylor expansion

Guerrieri, G., Pellissier, L. & Tortora de Falco, L., 2020, 28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain. Fernandez, M. & Muscholl, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 152. p. 24:1–24:18 18 p. 24. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 152).

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

Open Access

Guidelines for Affect Elicitation and Tracking in High Intensity VR Exergaming

Barathi, S. C., Proulx, M., O'Neill, E. & Lutteroth, C., 1 Mar 2020, (Acceptance date) Momentary Emotion Elicitation and Capture, Workshop at ACM CHI 2020 .

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

Open Access
File
3 Downloads (Pure)

Human Breast Cancer Cells Demonstrate Electrical Excitability

Ribeiro, M., Elghajiji, A., Fraser, S. P., Burke, Z., Tosh, D., Djamgoz, M. B. A. & Rocha, P., 30 Apr 2020, In : Frontiers in Neuroscience. 14, 404.

Research output: Contribution to journalArticle

Open Access
1 Citation (Scopus)

Identifying the parametric occurrence of multiple steady states for some biological networks

Bradford, R., Davenport, J. H., England, M., Errami, H., Gerdt, V., Grigoriev, D., Hoyt, C., Košta, M., Radulescu, O., Sturm, T. & Weber, A., 1 May 2020, In : Journal of Symbolic Computation. 98, p. 84-119 36 p.

Research output: Contribution to journalArticle

2 Citations (Scopus)

Image-Based Scene Representations for Head-Motion Parallax in 360° Panoramas

Bertel, T., Xu, F. & Richardt, C., 3 Mar 2020, Real VR – Immersive Digital Reality: How to Import the Real World into Head-Mounted Immersive Displays. Magnor, M. & Sorkine-Horning, A. (eds.). Springer International Publishing, p. 109-131 (Lecture Notes in Computer Science; vol. 11900).

Research output: Chapter in Book/Report/Conference proceedingChapter

File
53 Downloads (Pure)

Influence of Perspective on Dynamic Tasks in Virtual Reality

Bhandari, N. & O'Neill, E., 11 May 2020, Proceedings - 2020 IEEE Conference on Virtual Reality and 3D User Interfaces, VR 2020. IEEE, p. 939-948 10 p. 9089540. (Proceedings - 2020 IEEE Conference on Virtual Reality and 3D User Interfaces, VR 2020).

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

Open Access
File
8 Downloads (Pure)

Interacting with Real Objects in Virtual Worlds

Taylor, C., 11 Mar 2020, Real VR – Immersive Digital Reality: How to Import the Real World into Head-Mounted Immersive Displays (Lecture Notes in Computer Science) . Magnor, M. & Sorkine-Hornung, A. (eds.). 1st ed. Cham, Switzerland: Springer, p. 337-353 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11900).

Research output: Chapter in Book/Report/Conference proceedingChapter

Longitudinal patterns of pain distribution in axSpA patients: a retrospective cohort study

Nishtala, R., Barnett, R., Chyou, T., Soni, A. & Sengupta, R., 30 Apr 2020, In : Rheumatology. 59, Supplement_2, 1 p., P269.

Research output: Contribution to journalConference article

Open Access

Me vs. Super(wo)man: Effects of Customization and Identification in a VR Exergame

Koulouris, J., Jeffery, Z., Best, J., O'Neill, E. & Lutteroth, C., 16 Jan 2020, (Acceptance date) Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems. New York, USA: Association for Computing Machinery, Vol. 2020-April. p. 1-16 16 p. (CHI Conference on Human Factors and Computing Systems).

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

Open Access
File
193 Downloads (Pure)

Model-based super-resolution reconstruction of T2 maps

Bano, W., Piredda, G. F., Davies, M., Marshall, I., Golbabaee, M., Meuli, R., Kober, T., Thiran, J-P. & Hilbert, T., 1 Mar 2020, In : Magnetic Resonance in Medicine. 83, 3, p. 906-919 14 p.

Research output: Contribution to journalArticle

Open Access

Monotonic Gaussian Process Flow

Ustyuzhaninov, I., Kazlauskaite, I., Ek, C. H. & Campbell, N., 3 Jun 2020.

Research output: Contribution to conferencePaper

Open Access
File
14 Downloads (Pure)

Musicianship Enhances Perception But Not Feeling of Emotion From Others’ Social Interaction Through Speech Prosody

Farmer, E., Jicol, C. & Petrini, K., 11 Mar 2020, In : Music Perception. 37, 4, p. 323-338 16 p.

Research output: Contribution to journalArticle

Open Access
File
6 Downloads (Pure)

Neural network inference for three-dimensional quantitative transient-state imaging (QTI)

Pretti, L., Cencini, M., Golbabaee, M. & et al, 2020, (Acceptance date) In : Magnetic Resonance in Medicine .

Research output: Contribution to journalConference article

Omnidirectional Stereo

Richardt, C., Mar 2020, Computer Vision: A Reference Guide. Ikeuchi, K. (ed.). Springer, 4 p.

Research output: Chapter in Book/Report/Conference proceedingEntry for encyclopedia/dictionary

File
15 Downloads (Pure)

On the computational content of Zorn's lemma

Powell, T., 8 Jul 2020, Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2020. U. S. A.: Association for Computing Machinery, p. 768-781 14 p. 3394745. (ACM International Conference Proceeding Series).

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

ORCSolver: An Efficient Solver for Adaptive GUI Layout with OR-Constraints

Jiang, Y., Stuerzlinger, W., Zwicker, M. & Lutteroth, C., 16 Jan 2020, (Acceptance date) Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems. New York, USA: Association for Computing Machinery, Vol. 2020-April. p. 1-14 14 p. (CHI Conference on Human Factors and Computing Systems).

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

Open Access
File
58 Downloads (Pure)

Race Yourselves: A Longitudinal Exploration of Self-Competition Between Past, Present, and Future Performances in a VR Exergame

Michael, A. & Lutteroth, C., 16 Jan 2020, (Acceptance date) Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems. New York, USA: Association for Computing Machinery, Vol. 2020-April. 17 p. (CHI Conference on Human Factors and Computing Systems).

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

Open Access
File
135 Downloads (Pure)

Rank3DGAN: Semantic Mesh Generation Using Relative Attributes

Saquil, Y., Xu, Q., Yang, Y. & Hall, P., 2020, (Acceptance date).

Research output: Contribution to conferencePaper

Open Access
File
33 Downloads (Pure)

Rates of convergence for iterative solutions of equations involving set-valued accretive operators

Kohlenbach, U. & Powell, T., 1 Aug 2020, In : Computers & Mathematics with Applications. 80, 3, p. 490-503 14 p.

Research output: Contribution to journalArticle

Open Access

Reasoning about privacy in mobile application install decisions: Risk perception and framing

Tay, S. W., Teh, P. S. & Payne, S., 17 Jul 2020, (Acceptance date) In : International Journal of Human-Computer Studies. YIJHC_102517.

Research output: Contribution to journalArticle

Repositioning BCS Degree Accreditation

Crick, T., Davenport, J. H., Hanna, P., Irons, A., Pearce, S. & Prickett, T., 1 Mar 2020, ITNOW, 62, 1, p. 50-51 2 p.

Research output: Contribution to specialist publicationArticle

2 Citations (Scopus)

RGBD-Dog: Predicting Canine Pose from RGBD Sensors

Kearney, S., Li, W., Parsons, M., Kim, K. I. & Cosker, D., 30 Mar 2020, (Acceptance date).

Research output: Contribution to conferencePaper

Open Access
File
51 Downloads (Pure)