University of Hertfordshire

Publications

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

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

  3. 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 ISMA 2018 International Conference on Noise and Vibration Engineering. Desmet, W., Pluymers, B., Moens, D. & Rottiers, W. (eds.). KU Leuven, p. 3837-3848 12 p.

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

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

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

  6. An Investigation of How Wavelet Transform can Affect the Correlation Performance of Biomedical Signals: The Correlation of EEG and HRV Frequency Bands in the frontal lobe of the brain

    Bhavsar, R., Davey, N., Sun, Y. & Helian, N., 7 Feb 2018, International Conference on Bio-inspired Systems and Signal Processing: Proceedings of the 11th International Joint Conference on Biomedical Engineering Systems and Technologies. SciTePress, Vol. 3: BIOSIGNALS. p. 139-146 8 p.

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

  7. Bioinformatics and Regression Analyses Manifest Tumor-Specific miRNA Expression Dynamics in Pediatric Embryonal Malignancies

    Braoudaki, M., Koutsouris, D-D., Kouris, I., Paidi, A., Koutsouri, G. & George Lambrou, I., 29 Oct 2018, 2018 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). IEEE, p. 5834-5837 4 p.

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

  8. Does the Appearance of a Robot Influence People's Perception of Task Criticality?

    Chanseau, A., Dautenhahn, K., Walters, M. L., Koay, K. L., Lakatos, G. & Salem, M., 8 Nov 2018, RO-MAN 2018 - 27th IEEE International Symposium on Robot and Human Interactive Communication. Institute of Electrical and Electronics Engineers Inc., p. 1057-1062 6 p. (RO-MAN 2018 - 27th IEEE International Symposium on Robot and Human Interactive Communication).

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

  9. Estimation of microphysical parameters of atmospheric pollution using machine learning

    Llerena, C., Müller, D., Adams, R., Davey, N. & Sun, Y., 27 Sep 2018, Artificial Neural Networks and Machine Learning – ICANN 2018: 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part I. Kurkova, V., Hammer, B., Manolopoulos, Y., Iliadis, L. & Maglogiannis, I. (eds.). Springer Verlag, p. 579-588 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11139 LNCS).

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

  10. Ethics and the Safety of Autonomous Systems

    Menon, C. & Alexander, R., 6 Feb 2018, Evolution of Systems Safety: Proceedings of the Twenty-sixth Safety-Critical Systems Symposium. Safety Critical Systems Club

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

Previous 1 2 3 Next