Institute of Coding

  • Postal addressShow on map

    Manvers Street, Virgil Building, University of Bath

    BA1 1JW Bath

    UK United Kingdom

Filter
Chapter in a published conference proceeding

Search results

  • 2024

    A Global Survey of Introductory Programming Courses

    Mason, R., Simon, Becker, B. A., Crick, T. & Davenport, J. H., 20 Mar 2024, SIGCSE 2024 - Proceedings of the 55th ACM Technical Symposium on Computer Science Education. U. S. A.: Association for Computing Machinery, p. 799-805 7 p. (SIGCSE 2024 - Proceedings of the 55th ACM Technical Symposium on Computer Science Education; vol. 1).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    Open Access
    5 Citations (SciVal)

  • A Poly-algorithmic Approach to Quantifier Elimination

    Davenport, J. H., Tonks, Z. P. & Uncu, A. K., 10 May 2024, Proceedings - 2023 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2023. Stratulat, S., Marin, M., Negru, V. & Zaharie, D. (eds.). U. S. A.: IEEE, p. 44-51 8 p. (Proceedings - 2023 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2023).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

  • Embedding Technical, Personal and Professional Competencies in Computing Degree Programmes

    Prickett, T., Crick, T., Davenport, J. H., Bowers, D. S., Hayes, A. & Irons, A., 3 Jul 2024, ITiCSE 2024 - Proceedings of the 2024 Conference Innovation and Technology in Computer Science Education. U. S. A.: Association for Computing Machinery, p. 346-352 7 p. (Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE; vol. 1).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

  • Exploring Alternative Machine Learning Models for Variable Ordering in Cylindrical Algebraic Decomposition

    John, R. & Davenport, J., 17 Jul 2024, Mathematical Software – ICMS 2024 - 8th International Conference, Proceedings. Buzzard, K., Dickenstein, A., Eick, B., Leykin, A. & Ren, Y. (eds.). Cham, Switzerland: Springer, Cham, p. 176-185 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14749 LNCS).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

  • So the problem has poor complexity: what next?

    Davenport, J. H., 10 May 2024, Proceedings - 2023 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2023. Stratulat, S., Marin, M., Negru, V. & Zaharie, D. (eds.). U. S. A.: IEEE, p. 5-10 6 p. (Proceedings - 2023 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2023).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

  • 2023

    An Exploration of Just Noticeable Differences in Mid-Air Haptics

    Wojna, K., Georgiou, O., Beattie, D., Frier, W., Wright, M. & Lutteroth, C., 25 Aug 2023, 2023 IEEE World Haptics Conference, WHC 2023 - Proceedings. U. S. A.: IEEE, p. 410-416 7 p. (2023 IEEE World Haptics Conference, WHC 2023 - Proceedings).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    5 Citations (SciVal)

  • Artificial Conflict Sampling for Real Satisfiability Problems

    Davenport, J. H. & Uncu, A. K., 25 May 2023, 2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC). Buchberger, B., Marin, M., Negru, V. & Zaharie, D. (eds.). United States: IEEE, p. 55-58 4 p. (Proceedings of the International Symposium on Symbolic and Numeric Algorithms for Scientific Computing).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    1 Citation (SciVal)

  • Iterated Resultants in CAD

    Davenport, J. H. & England, M., 15 Aug 2023, Proceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation (ISSAC 2023). Abraham, E. & Sturm, T. (eds.). CEUR Workshop Proceedings, Vol. 3455. p. 54-60 7 p. (CEUR Workshop Proceedings).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    Open Access
    File
    46 Downloads (Pure)

  • Lazard-style CAD and Equational Constraints

    Davenport, J. H., Nair, A. S., Sankaran, G. K. & Uncu, A. K., 24 Jul 2023, ISSAC 2023 - Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation. Jeronimo, G. (ed.). Association for Computing Machinery, p. 218-226 9 p. (ACM International Conference Proceeding Series).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    Open Access
    3 Citations (SciVal)

  • Proving an Execution of an Algorithm Correct?

    Davenport, J. H., 28 Aug 2023, Intelligent Computer Mathematics - 16th International Conference, CICM 2023, Proceedings. Dubois, C. & Kerber, M. (eds.). Cham, Switzerland: Springer Science and Business Media Deutschland GmbH, p. 255-269 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14101 LNAI).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    2 Citations (SciVal)

  • Teaching Programming Competencies: A Role for Craft Computing?

    Crick, T., Davenport, J., Hayes, A. & Prickett, T., 25 Sept 2023, UKICER 2023 - Proceedings of the 2023 Conference on United Kingdom and Ireland Computing Education Research: Proceedings of the 2023 Conference on United Kingdom & Ireland Computing Education Research. Astarte, T., Moller, F., Quille, K. & Russell, S. (eds.). New York: Association for Computing Machinery, 27. (ACM International Conference Proceeding Series).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    Open Access
    File
    3 Citations (SciVal)
    186 Downloads (Pure)

  • The Institute of Coding Accreditation Standard: Exploring the Use of a Professional Skills Framework to Address the UK Skills Gap

    Bowers, D., Hayes, A., Prickett, T., Crick, T., Streater, K. & Sharp, C., 25 Sept 2023, UKICER 2023 - Proceedings of the 2023 Conference on United Kingdom and Ireland Computing Education Research: Proceedings of the 2023 Conference on United Kingdom & Ireland Computing Education Research. Astarte, T., Moller, F., Quille, K. & Russell, S. (eds.). Association for Computing Machinery, p. 1-7 7 p. 10. (ACM International Conference Proceeding Series).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    Open Access
    4 Citations (SciVal)
  • 2022

    Co-Constructing a Community of Practice for Early-Career Computer Science Academics in the UK

    Crick, T., Davenport, J. H., Hanna, P., Hayes, A., Irons, A., Miller, K., Prickett, T., Ward, R., Allen, B., Patil, B. & Payne, S., 6 Jan 2022, Proceedings - 6th Conference on Computing Education Practice, CEP 2022. English, R. & Stewart, C. (eds.). New York, U. S. A.: Association for Computing Machinery, p. 21-24 4 p. (ACM International Conference Proceeding Series).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    1 Citation (SciVal)

  • Towards Integrated Graduate Skills for UK Computing Science Students

    English, R. & Hayes, A., 30 Sept 2022, The United Kingdom & Ireland Computing Education Research (UKICER) Conference (UKICER2022). Association for Computing Machinery, 8. (ACM International Conference Proceeding Series).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    2 Citations (SciVal)
  • 2021

    Cybersecurity Education and Formal Methods

    Davenport, J. H. & Crick, T., 11 Mar 2021, Formal Methods – Fun for Everybody - First International Workshop, FMFun 2019, Revised Selected Papers. Cerone, A. & Roggenbach, M. (eds.). Cham, Switzerland: Springer, p. 159-172 14 p. (Communications in Computer and Information Science; vol. 1301 CCIS).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    Open Access
    4 Citations (SciVal)

  • Improvements to Quantum Search Techniques for Block-Ciphers, with Applications to AES

    Davenport, J. H. & Pring, B., 31 Dec 2021, Selected Areas in Cryptography - 27th International Conference, 2020, Revised Selected Papers. Dunkelman, O., Jacobson, Jr., M. J. & O’Flynn, C. (eds.). Germany: Springer Science and Business Media Deutschland GmbH, p. 360-384 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12804 LNCS).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    Open Access
    File
    9 Citations (SciVal)
    117 Downloads (Pure)

  • Improving Computer Science Student Graduate Skills through Assessment

    English, R., Maguire, J. & Hayes, A., 7 Jan 2021, Proceedings - 5th Conference on Computing Education Practice, CEP 2021. Association for Computing Machinery, p. 38 1 p. (ACM International Conference Proceeding Series).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    1 Citation (SciVal)

  • Increasing the Value of Professional Body Computer Science Degree Accreditation

    Irons, A., Crick, T., Davenport, J. H. & Prickett, T., 3 Mar 2021, SIGCSE 2021 - Proceedings of the 52nd ACM Technical Symposium on Computer Science Education. March 2021 ed. Association for Computing Machinery, p. 1336-1336 1 p. (SIGCSE 2021 - Proceedings of the 52nd ACM Technical Symposium on Computer Science Education).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    7 Citations (SciVal)

  • On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving

    Kremer, G., Abraham, E., England, M. & Davenport, J. H., 10 Dec 2021, Proceedings - 2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021. Schneider, C., Marin, M., Negru, V. & Zaharie, D. (eds.). IEEE, p. 37-39 3 p. (Proceedings - 2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    3 Citations (SciVal)

  • Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper

    Cerone, A., Roggenbach, M., Davenport, J., Denner, C., Farrell, M., Haveraaen, M., Moller, F., Körner, P., Krings, S., Ölveczky, P. C., Schlingloff, B. H., Shilov, N. & Zhumagambetov, R., 11 Mar 2021, Formal Methods – Fun for Everybody: FMFun 2019. Cerone, A. & Roggenbach, M. (eds.). Cham, Switzerland: Springer, p. 1-26 26 p. (Communications in Computer and Information Science; vol. 1301 CCIS).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    Open Access
    File
    6 Citations (SciVal)
    98 Downloads (Pure)

  • Supporting Early-Career Academics in the UK Computer Science Community.

    Crick, T., Davenport, J., Hayes, A., Irons, A. & Prickett, T., 6 Jan 2021, Proceedings - 5th Conference on Computing Education Practice, CEP 2021. p. 33-36 4 p. (ACM International Conference Proceeding Series).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    8 Citations (SciVal)

  • Towards a 21st century personalised learning skills taxonomy

    Ward, R., Phillips, O., Bowers, D., Crick, T., Davenport, J., hannah, P., Hayes, A., Irons, A. & Prickett, T., 20 Apr 2021, Proceedings of the 2021 IEEE Global Engineering Education Conference, EDUCON 2021. Klinger, T., Kollmitzer, C. & Pester, A. (eds.). p. 344-354 11 p. 9453883. (IEEE Global Engineering Education Conference, EDUCON; vol. 2021-April).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    Open Access
    File
    28 Citations (SciVal)
    144 Downloads (Pure)
  • 2020

    Assessing the Value of Professional Body Accreditation of Computer Science Degree Programmes: A UK Case Study

    Crick, T., Prickett, T., Davenport, J. H. & Irons, A., 30 Jun 2020, ITiCSE 2020 - Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education. Association for Computing Machinery, p. 565-565 1 p. (Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    4 Citations (SciVal)

  • 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 or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    9 Citations (SciVal)

  • Curtains in CAD: Why Are They a Problem and How Do We Fix Them?

    Nair, A., Davenport, J. & Sankaran, G., 8 Jul 2020, Mathematical Software – ICMS 2020 - 7th International Conference, Proceedings. Bigatti, A. M., Carette, J., Davenport, J. H., Joswig, M. & de Wolff, T. (eds.). Singapore: Springer, Singapore, p. 17-26 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12097 LNCS).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    7 Citations (SciVal)

  • Particle-ularly Haptics: Investigating the Relationship Between Visual Feedback and Mid-Air Haptic Texture

    Wojna, K., Wright, M., Lutteroth, C., Watts, L., Beattie, D. & Limerick, H., 6 Sept 2020, Particle-ularly Haptics: Investigating the Relationship Between Visual Feedback and Mid-Air Haptic Texture . p. 1 1 p.

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    File
    111 Downloads (Pure)

  • The CAD Conundrum: Lex-Least vs Order

    McCallum, S., Nair, A., Davenport, J. & Sankaran, G., Sept 2020, Proceedings - 2020 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020. IEEE, p. 32-35 4 p. 9357114. (Proceedings - 2020 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    1 Citation (SciVal)

  • The Institute of Coding: A University-Industry Collaboration to Address the UK’s Digital Skills Crisis

    Davenport, J., Crick, T. & Hourizi, R., 25 Jun 2020, Proceedings of the 2020 IEEE Global Engineering Education Conference, EDUCON 2020. Cardoso, A., Alves, G. R. & Restivo, T. (eds.). IEEE, p. 1400-1408 9 p. 9125272. (IEEE Global Engineering Education Conference, EDUCON; vol. 2020-April).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    25 Citations (SciVal)
  • 2019

    A UK Case Study on Cybersecurity Education and Accreditation

    Davenport, J., Crick, T., Irons, A. & Prickett, T., 12 Jul 2019, (Acceptance date) Frontiers in Education 2019. IEEE, (IEEE Frontiers in Education Conference).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    Open Access

  • Creating a modern classic visual effect

    Cameron, K., 31 Jul 2019, ACM SIGGRAPH 2019 Educators Forum, SIGGRAPH 2019. Association for Computing Machinery, p. 1-2 2 p. 2. (Proceedings of ACM Siggraph (Siggraph conference)).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

  • Intelligent Geometry Tools

    Davenport, J., Fleuriot, J., Quaresma, P., Recio, T. & Wang, D., 26 Aug 2019, Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE). EasyChair Publications, p. 51-52 2 p. (Electronic Proceedings in Theoretical Computer Science; vol. 311).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    Open Access
    File
    1 Citation (SciVal)
    108 Downloads (Pure)

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

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

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    File
    68 Downloads (Pure)

  • 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 or section in a book/report/conference proceeding › Chapter in a published conference proceeding

  • 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 or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    Open Access
    File
    5 Citations (SciVal)
    168 Downloads (Pure)
  • 2018

    Fast Matrix Operations in Computer Algebra

    Tonks, Z., Sankaran, G. & Davenport, J. H., 12 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 or section in a book/report/conference proceeding › Chapter in a published conference proceeding

  • 2017

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

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

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

  • 2008

    Performing thrill: Designing telemetry systems and spectator interfaces for amusement rides

    Schnädelbach, H., Egglestone, S. R., Reeves, S., Benford, S., Walker, B. & Wright, M., 6 Apr 2008, 26th Annual CHI Conference on Human Factors in Computing Systems, Conference Proceedings, CHI 2008. p. 1167-1176 10 p.

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    56 Citations (SciVal)