University of Hertfordshire

Publications

  1. Conference contribution › Research
  2. A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems

    Viering, M., Chen, T-C., Eugster, P., Hu, R. & Ziarek, L., 14 Apr 2018, Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. Ahmed, A. (ed.). 1 ed. Springer, Vol. 10801. p. 799-826 27 p. (Lecture Notes in Computer Science; vol. 10801).

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

  3. A content analysis of the proportion of food groups advertised on television compared to those recommended in the Eatwell Guide

    Chipperfield, F. & Tammam, J., 2018, Journal of Human Nutrition and Dietetics. Vol. 31. p. 20

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

  4. A landscape of design: Interaction, interpretation and the development of experimental expressive interfaces

    Chamberlain, A., Bødker, M., De Roure, D., Willcox, P., Emsley, I. & Malizia, A., 1 Jun 2018, Human-Computer Interaction. Theories, Methods, and Human Issues - 20th International Conference, HCI International 2018, Proceedings. Kurosu, M. (ed.). Springer Verlag, Vol. 1. p. 24-34 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10901 LNCS).

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

  5. A methodology using health and usage monitoring system data for payload life prediction

    Lewis, A., Nalliah, P., Lomax, C. & Hawkins, C., 17 Sep 2018, Proceedings of ISMA2018 International Conference on Noise and Vibration Engineering. Desmet, W., Pluymers, B., Moens, D. & Rottiers, W. (eds.). KU Leuven, p. 3711-3722 12 p.

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

  6. A new approach to modelling of PEMFC flow field

    Enearu, O., Chen, Y. K. & Kalyvas, C., 21 Mar 2018, Proceedings of 2017 9th International Conference On Modelling, Identification and Control, ICMIC 2017. Institute of Electrical and Electronics Engineers Inc., Vol. 2018-March. p. 958-964 7 p.

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

  7. A simulation study of PEMFC flow channels using a new hybrid method

    Enearu, O. L., Chen, Y. K., Kalyvas, C. & Chukwu, O. D., 21 Apr 2018, Innovative Techniques and Applications of Modelling, Identification and Control - Selected and Expanded Reports from ICMIC 2017. Springer Verlag, p. 345-356 12 p. (Lecture Notes in Electrical Engineering; vol. 467).

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

  8. A tangible-programming technology supporting end-user development of smart-environments

    Desolda, G., Malizia, A. & Turchi, T., 29 May 2018, AVI 2018 - Proceedings of the 2018 International Conference on Advanced Visual Interfaces. Association for Computing Machinery, a59

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

  9. ATMP: An Adaptive Tolerance-based Mixed-criticality Protocol for Multi-core Systems

    Kirner, R., Menon, C. & Iacovelli, S., 8 Jun 2018, 2018 IEEE 13th International Symposium on Industrial Embedded Systems, SIES 2018 - Proceedings. IEEE, p. 190 9 p.

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

  10. Abundance uncertainties obtained with the PIZBUIN framework for Monte Carlo reaction rate variations

    Rauscher, T., Nishimura, N., Cescutti, G., Hirschi, R. & Murphy, A. S. J., 25 Apr 2018, 14th International Symposium on Origin of Matter and Evolution of Galaxies, OMEG2017. American Institute of Physics Inc., Vol. 1947. 020015

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

  11. Accelerating Empowerment Computation with UCT Tree Search

    Salge, C., Guckelsberger, C., Canaan, R. & Mahlmann, T., 15 Oct 2018, Proceedings of the 2018 IEEE Conference on Computational Intelligence and Games, CIG 2018. IEEE Computer Society, Vol. 2018-August. 8490447

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

Previous 1 2 3 4 5 6 7 Next