School of Computer Science

Filter
Chapter (peer-reviewed)

Search results

  • 2024

    Generalised triangle groups of type (2,3,2) with no cyclic essential representations

    Howie, J. & Konovalov, O., 7 Oct 2024, Finitely presented groups: with applications in post-quantum cryptography and artificial intelligence. Diekert, V. & Kreuzer, M. (eds.). Berlin: de Gruyter, p. 27-42

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

    Open Access
    File
  • 2021

    Understanding computation time: a critical discussion of time as a computational performance metric

    Harris-Birtill, D. & Harris-Birtill, R., 23 Sept 2021, Time in variance. Misztal, A., Harris, P. A. & Parker, J. A. (eds.). Leiden: Brill, p. 220-248 (The study of time; vol. 17).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

    Open Access
    File
  • 2020

    Autofocus Net: Auto-focused 3D CNN for Brain Tumour Segmentation.

    Stefani, A., Rahmat, R. & Harris-Birtill, D. C. C., 8 Jul 2020, In Annual Conference on Medical Image Understanding and Analysis: Part of the Communications in Computer and Information Science book series (CCIS). Springer, Vol. 1248. p. 43-55 13 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • 2019

    IoT-Hub: New IoT Data-Platform for Virtual Research Environments

    Filgueira, R., Ferreira da Silva, R., Deelman, E., Christodoulou, V. & Krause, A., 7 May 2019, CEUR Workshop Proceedings. Vol. 2357. (CEUR Workshop Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • 2017

    Beyond the EULA: Improving consent for data mining

    Hutton, L. & Henderson, T., 5 Jul 2017, Transparent Data Mining for Big and Small Data. Cerquitelli, T., Quercia, D. & Pasquale, F. (eds.). Springer, p. 147-167 (Studies in Big Data; vol. 11).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • 2016

    Intuitionistic decision procedures since Gentzen

    Dyckhoff, R., 5 May 2016, Advances in Proof Theory. Kahle, R., Strahm, T. & Studer, T. (eds.). Birkhäuser Basel, p. 245-267 (Progress in Computer Science and Applied Logic; vol. 28).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

    Open Access
    File

  • Some remarks on proof-theoretic semantics

    Dyckhoff, R., 2016, Advances in Proof-Theoretic Semantics. Piecha, T. & Schroeder-Heister, P. (eds.). Springer, p. 79-93 15 p. (Trends in Logic; vol. 43).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

    Open Access
    File
  • 2015

    Automatic methods for coding historical occupation descriptions to standard classifications

    Kirby, G. N. C., Carson, J., Dunlop, F., Dibben, C., Dearle, A., Williamson, L., Garrett, E. & Reid, A., Aug 2015, Population Reconstruction. Bloothooft, G., Christen, P., Mandemakers, K. & Schraagen, M. (eds.). Springer, p. 43-60 18 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • Cut-elimination, substitution and normalisation

    Dyckhoff, R., 2015, Dag Prawitz on Proofs and Meaning. Wansing, H. (ed.). Springer, p. 163-187 (Outstanding Contributions to Logic; vol. 7).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

    Open Access
    File
  • 2013

    SANComSim: A scalable, adaptive and non-intrusive framework to optimize performance in computational science applications

    Núñe, A., Filgueira, R. & Merayo, M. G., 2013, 2013 International Conference on Computational Science. Vol. 18. p. 230-239 10 p. (Procedia Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

    Open Access
  • 2012

    Learning and retention

    Ritter, F., Baxter, G., Kim, J. & Srinivasmurthy, S., 2012, (Accepted/In press) The Oxford Handbook of Cognitive Engineering. Lee, J. & Kirlik, A. (eds.). Oxford University Press

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

  • 2008

    Exploratory learning for computer networking

    Allison, C., Miller, A. H. D., Getchell, K. & Sturgeon, T., 2008, Lecture Notes in Computer Science. Leung, H., Li, F., Lau, R. & Li, Q. (eds.). p. 331-342 12 p. (Lecture Notes in Computer Science; vol. 4823).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)