Search research publications and outputs

  1. 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

  2. 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

  3. Adult Hematopoiesis

    Kent, DG. & Eaves, CJ., 9 May 2016, Encyclopedia of Immunobiology. Academic Press, Vol. 1. p. 15-25 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  4. 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

  5. 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

  6. 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

  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. Deep Face Model Compression Using Entropy-based Filter Selection

    Han, B., Zhang, Z., Xu, C., Wang, B., Hu, G., Bai, L., Hong, Q. & Hancock, E. R., 13 Oct 2017, Proceedings ICIAP 2017: Lecture Notes in Computer Science. Springer Berlin / Heidelberg, Vol. 10485. p. 127-136

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

  9. Deep Parameter Tuning of Concurrent Divide and Conquer Algorithms in Akka

    White, D. R., Joffe, L., Bowles, E. & Swan, J., 25 Mar 2017, Applications of Evolutionary Computation: 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part II. Squillero, G. & Sim, K. (eds.). Cham: Springer International Publishing Switzerland, p. 35-48 14 p.

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

  10. 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

  11. 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

  12. 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

  13. 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

  14. 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

  15. 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

  16. Formalising Cosimulation Models

    Zeyda, F., Ouy, J., Foster, S. D. & Cavalcanti, A. L. C., Sep 2017, 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems (CoSim-CPS 2017). 15 p.

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

  17. From formalised state machines to implementation of robotic controllers

    Li, W., Miyazawa, A. H., De Oliveira Salazar Ribeiro, P. F., Cavalcanti, A. L. C., Woodcock, JAMES. C. P. & Timmis, J. I., Sep 2016, 13th International Conference on Distributed Autonomous Robotic Systems. London, UK: Springer Verlag, 14 p. (Springer Tracts in Advanced Robotics).

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

  18. GPU-Accelerated Hypothesis Cover Set Testing for Learning in Logic

    Algahtani, E. & Kazakov, D. L., 2018, CEUR Proceedings of the 28th International Conference on Inductive Logic Programming. CEUR Workshop Proceedings

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

  19. Grouping Multi-vector Streaklines for Human Activity Identification

    Stephens, K. & Bors, A. G., 4 Aug 2016, Proc. IEEE Workshop on Image, Video and Multidimensional Signal Processing. IEEE, p. 1-5 6 p.

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

  20. 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

  21. International and regional dimensions of Iraq's post-ISIS recovery

    Eriksson, B. J. J., 2018, Iraq after ISIS: The challenges of post-war recovery. Palgrave Pivot, p. 111-125 15 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  22. 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

  23. Linear Depth Estimation from an Uncalibrated, Monocular Polarisation Image

    Smith, W. A. P., Ramamoorthi, R. & Tozza, S., 17 Sep 2016, Lecture Notes in Computer Science. p. 109-125 17 p. (Lecture Notes in Computer Science; vol. 9912).

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

  24. Metrics for energy-aware software optimisation

    Roberts, S. I., Wright, S. A., Fahmy, S. A. & Jarvis, S. A., 12 May 2017, High Performance Computing - 32nd International Conference, ISC High Performance 2017, Proceedings. Springer-Verlag, Vol. 10266 LNCS. p. 413-430 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10266 LNCS).

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

  25. 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

  26. 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)

  27. Protest, Social Movements and Global Democracy since 2011: New Perspectives

    Pena, A. M., Davies, T. & Ryan, H., 10 Jun 2016, Research in Social Movements, Conflicts and Change. Emerald, Vol. 39. p. 1-29 (Research in Social Movements, Conflicts and Change; vol. 39).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  28. 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

  29. 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)

  30. Self-Repairing Learning Rule for Spiking Astrocyte-Neuron Networks

    Liu, J., McDaid, L., Harkin, J., Wade, J., Karim, S., Johnson, A. P., Millard, A. G., Halliday, D. M., Tyrrell, A. M. & Timmis, J. I., 27 Oct 2017, Neural Information Processing: 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceeding, Part II. Liu, D., Xie, S., Li, Y., Zhao, D. & El-Alfy, E-SM. (eds.). Springer, (Lecture Notes in Computer Science; vol. 10634, 10635 10636, 10637, 10638, 10639).

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

  31. 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)

  32. Sparse, Continuous Policy Representations for Uniform Online Bin Packing via Regression of Interpolants

    Drake, J. H., Swan, J., Neumann, G. & Özcan, E., 9 Mar 2017, Evolutionary Computation in Combinatorial Optimization: 17th European Conference, EvoCOP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings. Hu, B. & López-Ibáñez, M. (eds.). Cham: Springer International Publishing Switzerland, p. 189-200 12 p.

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

  33. 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

  34. Stress-Testing Centralised Model Stores

    García-Domínguez, A., Barmpis, K., Kolovos, D. S., Wei, R. & Paige, R. F., 23 Jun 2016, Modelling Foundations and Applications - 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings. SPRINGER, p. 48-63 16 p.

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

  35. 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

  36. The Nonlinear Bernstein-Schrödinger Equation in Economics

    Galichon, A., Kominers, S. & Weber, S., 3 Apr 2016, GSI 2015: Geometric Science of Information: International Conference on Geometric Science of Information. Vol. 9389. p. 51-59 9 p. (Lecture Notes in Computer Science).

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

  37. The use of routine data in health research; an example from palliative care

    Fraser, L. K. & Norman, P., 2 Mar 2017, SAGE Research Methods Cases. SAGE

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

  38. 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

  39. 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

  40. 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

  41. eSport vs irlSport

    McCutcheon, C., Hitchens, M. & Drachen, A., 21 Feb 2018, Advances in Computer Entertainment Technology: 14th International Conference, ACE 2017, London, UK, December 14-16, 2017, Proceedings. Vol. 10714. p. 531-542 12 p. (Lecture Notes in Computer Science).

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