• Manvers Street, Virgil Building, University of Bath

    BA1 1JW Bath

    UK United Kingdom

Research Output 2016 2019

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

Foreword

Davenport, J. H., Kovacs, L. & Zaharie, D., 1 Dec 2019, In : Mathematics in Computer Science. 13, 4, p. 459-460 2 p.

Research output: Contribution to journalEditorial

30 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

Lazard's CAD exploiting equality constraints

Nair, A., Davenport, J., Sankaran, G. & McCallum, S., 30 Sep 2019, In : ACM Communications in Computer Algebra. 53, 3, p. 138-141 4 p.

Research output: Contribution to journalArticle

11 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

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

Using Machine Learning to Improve Cylindrical Algebraic Decomposition

Huang, Z., England, M., Wilson, D., Bridge, J., Davenport, J. & Paulson, L., 1 Dec 2019, In : Mathematics in Computer Science. 13, 4, p. 461-488 28 p.

Research output: Contribution to journalArticle

Open Access
2018

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

7 Citations (Scopus)

Language Choice in Introductory Programming Courses at Australasian and UK Universities

Simon, Mason, R., Crick, T., Davenport, J. & Murphy, E., 24 Feb 2018, p. 852-857. 6 p.

Research output: Contribution to conferencePaper

programming
programming language
language

Preface

Davenport, J. H., Kauers, M., Labahn, G. & Urban, J., 2018, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 10931 LNCS

Research output: Contribution to journalEditorial

2017

An Analysis of Introductory Programming Courses at UK Universities

Murphy, E., Crick, T. & Davenport, J. H., 1 Apr 2017, In : The Art, Science, and Engineering of Programming. 1, 2, 23 p., 18.

Research output: Contribution to journalArticle

Open Access
programming
computer science
university
programming language
New Zealand

Therapy and Assessment in Embodied Virtual Reality: Accessible realism for exercising cognitive functions

Lyons, Z. & Watts, L., 28 Sep 2017, (Unpublished) The Brain Injury Rehabilitation Trust Conference, 2017.

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

2016
43 Downloads (Pure)

An Analysis of Introductory University Programming Courses in the UK

Murphy, E., Crick, T. & Davenport, J., 21 Sep 2016, Bath: University of Bath, 14 p.

Research output: Working paper

Open Access
File
programming
computer science
university
employability
programming language