University of Hertfordshire

Publications

  1. 2014
  2. Efficient Leader Election for Synchronous Shared-Memory Systems

    Sanz Marco, V., Zolda, M. & Kirner, R., Mar 2014, Proc. Int'l Workshop on Performance, Power and Predictability of Many-Core Embedded Systems (3PMCES'14). Dresden, Germany: Electronic Chips and Systems Design Initiative ECSI, 5 p.

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

  3. Formal verification of an autonomous personal robotic assistant

    Webster, M., Dixon, C., Fisher, M., Salem, M., Saunders, J., Koay, K. & Dautenhahn, K., Mar 2014, Formal Verification and Modeling in Human-Machine Systems: Papers from the AAAI Spring Symposium (FVHMS 2014). AAAI, p. 74-79

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

  4. Prototyping device ecologies: Physical to digital and viceversa

    Bellucci, A., Aedo, I., Díaz, P. & Malizia, A., 19 Feb 2014, TEI 2014 - 8th International Conference on Tangible, Embedded and Embodied Interaction, Proceedings. Association for Computing Machinery, p. 373-376 4 p.

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

  5. The Evidence Base Mismatch: Why do we choose to do what we choose to do?

    Watson, T., Feb 2014, Unpublished.

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

  6. An acoustic method of blockage characterisation in a pipe based on the cross-sectional mode analysis

    Prisutova, J., Horoshenkov, K., Duan, W. & Kirby, R., 1 Jan 2014, 21st International Congress on Sound and Vibration 2014, ICSV 2014. International Institute of Acoustics and Vibrations, p. 3296-3301 6 p. (21st International Congress on Sound and Vibration 2014, ICSV 2014; vol. 4).

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

  7. Analysis of the limitations of an experience metric space when used in a mobile domestic robot

    Burke, N., Saunders, J., Dautenhahn, K. & Nehaniv, C., 1 Jan 2014, Artificial Intelligence for Human-Robot Interaction - Papers from the AAAI Fall Symposium, Technical Report. AI Access Foundation, p. 54-56 3 p. (AAAI Fall Symposium - Technical Report; vol. FS-14-01).

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

  8. Audio feature selection for recognition of non-linguistic vocalization sounds

    Theodorou, T., Mporas, I. & Fakotakis, N., 1 Jan 2014, Artificial Intelligence: Methods and Applications - 8th Hellenic Conference on AI, SETN 2014, Proceedings. Springer Verlag, p. 395-405 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8445 LNCS).

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

  9. Digital forensics as a science in higher education

    Angelopoulou, O. & Vidalis, S., 1 Jan 2014, European Conference on Information Warfare and Security, ECCWS. Curran Associates Inc., Vol. 2014-January. p. 8-16 9 p.

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

  10. Effect of cyclic loading on the temporomandibular joint

    Muhandiram, J., Wang, B. & Chizari, M., 1 Jan 2014, World Congress on Engineering, WCE 2014. Newswood Limited, Vol. 1. p. 655-658 4 p.

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

  11. Energy-harvesting powered transmissions of bursty data packets with strict deadlines

    Chen, X., Wang, X. & Sun, Y., 1 Jan 2014, 2014 IEEE International Conference on Communications, ICC 2014. IEEE Computer Society, p. 4060-4065 6 p. 6883956

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

  12. Motion investigation of a tendon graft's limbs using video tracing measurement

    Li, J., Wang, B., Airashidi, M. & Chizari, M., 1 Jan 2014, World Congress on Engineering, WCE 2014. Newswood Limited, Vol. 1. p. 608-611 4 p.

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

  13. Performance evaluation of an indirect solar assisted heat pump system for domestic hot water production

    Li, L., Ge, Y. T. & Zavareh, M. T., 1 Jan 2014, 3rd IIR International Conference on Sustainability and the Cold Chain, ICCC 2014. International Institute of Refrigeration, p. 563-570 8 p.

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

  14. The receptionist robot

    Holthaus, P. & Wachsmuth, S., 1 Jan 2014, HRI 2014 - Proceedings of the 2014 ACM/IEEE International Conference on Human-Robot Interaction. IEEE Computer Society, 1 p. (ACM/IEEE International Conference on Human-Robot Interaction).

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

  15. The scribble protocol language

    Yoshida, N., Hu, R., Neykova, R. & Ng, N., 1 Jan 2014, Trustworthy Global Computing - 8th International Symposium, TGC 2013, Revised Selected Papers. Springer Verlag, p. 22-41 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8358 LNCS).

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

  16. "The fridge door is open": temporal verification of a robotic assistant's behaviours

    Dixon, C., Webster, M., Saunders, J., Fisher, M. & Dautenhahn, K., 2014, Advances in Autonomous Robotics: Procs 15th Annual Conf, TAROS 2014. Mistry, M. (ed.). Springer, p. 97-108 (Lecture Notes in Computer Science (LNAI); vol. 8717).

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

  17. A Case Study in Coordination Programming: S-Net vs Concurrent Collection

    Zaichenkov, P., Gijsbers, B., Grelck, C., Tveretina, O. & Shafarenko, A., 2014, Proceedings of Programming Models, Languages and Compilers Workshop for Manycore and Heterogeneous Architectures . Vol. 2015. 1 p. 376317

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

  18. A Method for Zero Carbon Design Using Multi-objective Optimisation

    Huws, H. & Jankovic, L., 2014, Proceedings of Zero Carbon Buildings Today and in the Future 2014.

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

  19. A cohort study on detecting delirium using 4 ‘A’s Test in a London, UK, hospital

    Casarin, A., 2014, proceedings of the annual meeting of the Age Anaesthesia Association.

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

  20. A method for eliminating simulation performance gap in buildings built form natural fibrous materials

    Jankovic, L., 2014, Proceedings of the 2014 Building Simulation and Optimization Conference.

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

  21. Acute & Chronic pathophysiology of injury and electrotherapy modalities

    Watson, T., 2014, Unpublished.

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

  22. Adaptive gesture extraction and imitation for human-robot interaction

    Theofilis, K., Nehaniv, C. & Dautenhahn, K., 2014, AAAI Fall Symposium - Technical Report. AI Access Foundation, Vol. FS-14-01. p. 153-155 3 p.

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

  23. Alternative repair system for concrete using microencapsulated healing agents

    Litina, C., Kanellopoulos, A. & Al-Tabbaa, A., 2014, Concrete Solutions - Proceedings of Concrete Solutions, 5th International Conference on Concrete Repair. CRC Press/Balkema, p. 97-103 7 p.

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

  24. An Informational Study of the Evolution of Codes in Different Population Structures

    Burgos, A. & Polani, D., 2014, ALIFE 14: Procs of the 14th Int Conf on the Synthesis and Simulation of living Systems. Sayama, H. (ed.). MIT Press, p. 352-359 8 p.

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

  25. An approach for patient specific modeling of the aortic valve

    Hagenah, J., Scharfschwerdt, M., Metzner, C., Schlaefer, A., Sievers, H. H. & Schweikard, A., 2014, Student Conference Medical Engineering Science 2014 Proceedings. GRIN Verlag GmbH, Vol. 3. p. 263 1 p.

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

  26. Analysis of the adapted inclusive haptic rigs for non-sighted people using duration and collision metrics

    Bowers, L. & Amirabdollahian, F., 2014, Haptics: Neuroscience, Devices, Modeling and Applications. Auvray, M. & Duriez, C. (eds.). Springer-Verlag, (Berlin-Heidelberg), p. 421-422 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8619).

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

Previous 1 2 3 4 5 6 7 8 ...85 Next