Search research publications and outputs

  1. 2019
  2. Science Teaching and Learning Methods in Byzantium

    Pérez Martín, I. & Manolova, D., 20 Dec 2019, A Companion to Byzantine Science. Lazaris, S. (ed.). Leiden: Brill, p. 53-104 (Brill's Companions to the Byzantine World; vol. 6).

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

  3. Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods

    Nemouchi, Y., Foster, S. D., Gleirscher, M. & Kelly, T. P., 22 Nov 2019, Integrated Formal Methods: Proceedings of the 15th International Conference. Springer International Publishing, Vol. 11918. p. 379-398 20 p. (LNCS).

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

  4. Systematic Observation Methods

    Hardman, J. & Hardman, F. C., 23 Oct 2019, SAGE Research Methods. Atkinson, P., Delamont, S., Cernat, A., Sakshaug, J. W. & Williams, R. A. (eds.). SAGE Research Methods Foundations, p. 2-12 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  5. Characterization and first test of an i-TED prototype at CERN n_TOF

    nToF, 31 Aug 2019, Basic Concepts in Nuclear Physics: Theory, Experiments and Applications - 2018 La Rábida International Scientific Meeting on Nuclear Physics. García-Ramos, J-E., Pérez-Bernal, F., Andrés, M. V., Moro, A. M. & Valera, J. A. (eds.). Springer Science and Business Media, LLC, p. 169-173 5 p. (Springer Proceedings in Physics; vol. 225).

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

  6. 7Be(n,p)7 Li Cross Section Measurement for the Cosmological Lithium Problem at the n_TOF Facility at CERN

    The n-TOF Collaboration, 20 Aug 2019, Nuclei in the Cosmos XV. Gialanella, L., Imbriani, G., Formicola, A. & Junker, M. (eds.). Springer Science and Business Media, LLC, Vol. 219. p. 25-32 8 p.

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

  7. Data for the s Process from n_TOF

    The n-TOF Collaboration, 20 Aug 2019, Nuclei in the Cosmos XV. Gialanella, L., Imbriani, G., Formicola, A. & Junker, M. (eds.). Springer Science and Business Media, LLC, Vol. 219. p. 63-70 8 p.

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

  8. A History of Human Exploitation of Alpine Regions

    Walsh, K. J. & Giguet-Covex, C., 28 Jun 2019, Reference Module in Earth Systems and Environmental Sciences. Elsevier, 16 p.

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

  9. Understanding the bone and antler assemblages from Star Carr

    Elliott, B. J., Taylor, B., Knight, B., Milner, N., Robson, H. K., Pomstra, D., Little, A. P. & Conneller, C., 25 Apr 2019, Working at the sharp end at Hohen Viecheln: from bone and antler to Early Mesolithic life in Northern Europe. Hamburg: Wahholtz, Vol. 10.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  10. Excavations at Star Carr: past and present

    Taylor, B., Milner, N. & Conneller, C., 15 Apr 2019, Working at the sharp end at Hohen Viecheln: from bone and antler to Early Mesolithic life in Northern Europe. Hamburg: Wahholtz, Vol. 10. 14 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  11. Pedagogical Perspectives on the Use of Technology within Medical Curricula: Moving Away from Norm Driven Implementation

    Finn, G. M. & Matthan, J., 28 Mar 2019, Advances in Experimental Medicine and Biology. Switzerland : SPRINGER, Vol. 1120. p. 55-65 11 p. (Advances in experimental medicine and biology).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  12. DeepFault: Fault Localization for Deep Neural Networks

    Gerasimou, S., Eniser, H. F. & Sen, A., 15 Feb 2019, 22nd International Conference on Fundamental Approaches to Software Engineering. Springer-Verlag

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

  13. Sexual Orientation and Workplace Bullying

    Hoel, H., Lewis, D. & Einarsdottir, A., 13 Jan 2019, Handbook on Workplace Bullying: Workplace Bullying, Inclusion and Dignity at Work.

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

  14. Discretion from a critical perspective

    Jobling, H. J. L., 2019, The Palgrave Handbook on Discretion: The quest for controlled freedom. Evans, T. & Hupe, P. (eds.).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  15. 2018
  16. Researcher ethics, solidarity and accountability: The promise of understanding

    Einarsdottir, A., 16 Dec 2018, Handbook on Workplace Bullying: Workplace Bullying. Concepts, Approaches and Methods. D’Cruz, P., Notelaers, G. & Noronha, E. (eds.). Springer

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

  17. Production and spectroscopic characterization of lytic polysaccharide monooxygenases

    Hemsworth, G. R., Ciano, L., Davies, G. J. & Walton, P. H., 15 Nov 2018, Methods in Enzymology . p. 63-90 28 p. (Methods in enzymology).

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

  18. Analysing RoboChart with probabilities

    Conserva Filho, M. S., Marinho, R., Mota, A. & Woodcock, J., 24 Oct 2018, Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Proceedings. Massoni, T. & Mousavi, M. R. (eds.). Springer Verlag, p. 198-214 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11254 LNCS).

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

  19. Indifferentiable Authenticated Encryption

    Barbosa, M. & Farshim, P., 25 Jul 2018, Advances in Cryptology – CRYPTO 2018. Vol. 10991. p. 187-220 24 p.

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

  20. Stochastic and deterministic constrained partial differential equations

    Brzezniak, Z., Dhariwal, G., Mariani, M. & Hussain, J., 3 Jul 2018, Stochastic Partial Differential Equations and Related Fields: In Honor of Michael Röckner, SPDERF, Bielefeld, Germany, October 10-14, 2016.. Eberle, A., Grothaus, M., Hoh, W., Kassmann, M., Stannat, W. & Trutnau, G. (eds.). Springer, 14 p. (Springer Proceedings in Mathematics & Statistics.).

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

  21. Towards a framework for writing executable natural language rules

    Barmpis, K., Kolovos, D. & Hingorani, J., 29 May 2018, Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Proceedings. Springer-Verlag, Vol. 10890 LNCS. p. 251-263 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10890 LNCS).

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

  22. Towards efficient loading of change-based models

    Yohannis, A., Rodriguez, H. H., Polack, F. & Kolovos, D., 29 May 2018, Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Proceedings. Springer-Verlag, Vol. 10890 LNCS. p. 235-250 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10890 LNCS).

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

  23. Registering the Review

    Booth, A. M. & Jones-Diette, J. S., 4 May 2018, Diagnostic Meta-Analysis. Springer, p. 59-75 16 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  24. Fault-tolerant Learning in Spiking Astrocyte-Neural Networks on FPGAs

    Johnson, A. P., Liu, J., Millard, A. G., Karim, S., Tyrrell, A. M., Harkin, J., Timmis, J. I., McDaid, L. & Halliday, D. M., 29 Mar 2018, 31st International Conference on VLSI Design (VLSID 2018) & 17th International Conference on Embedded Systems (ES 2018). IEEE

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

  25. Engineering bidirectional transformations

    Paige, R. F., 28 Mar 2018, Bidirectional Transformations: International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures. Gibbons, J. & Stevens, P. (eds.). Springer-Verlag, Vol. 9715 LNCS. p. 151-187 37 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9715 LNCS).

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

  26. Bragg Diffraction Patterns as Graph Characteristics

    Escolano, F. & Hancock, E. R., 22 Mar 2018, Eleventh International Conference on Energy Minimisation Methods in Computer Vision and Pattern Recognition. Springer Nature , Vol. 10746. p. 59-72 13 p. (Lecture Notes in Computer Science).

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

  27. Evolving Graphs by Graph Programming

    Atkinson, T., Plump, D. & Stepney, S., 2 Mar 2018, Proceedings 21st European Conference on Genetic Programming (EuroGP 2018). Springer, 16 p. (Lecture Notes in Computer Science; vol. 10781).

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

Previous 1 2 Next