University of Hertfordshire

Publications

  1. 2014
  2. Relay-proof channels using UWB lasers

    Christianson, B., Shafarenko, A., Stajano, F. & Wong, F-L., 2014, Security Protocols XVIII. Springer-Verlag, (Berlin-Heidelberg), p. 45-46 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7061).

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

  3. SgpDec: Cascade (de)compositions of finite transformation semigroups and permutation groups

    Egri-Nagy, A., Mitchell, J. D. & Nehaniv, C. L., 2014, Mathematical Software - LCMS 2014. Springer-Verlag, (Berlin-Heidelberg), p. 75-82 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8592).

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

  4. Thoughts on combating resistance to chemotherapeutants in sealice

    Denholm, I. & Horsberg, T. E., 2014, Proceedings III Encuentro Internacional: 'Caligidosis en Chile Actual y Darafios Futuros': 9 April 2014, Puerto Varas, Chile.

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

  5. Towards Designing Artificial Universes for Artificial Agents under Interaction Closure

    Biehl, M., Salge, C. & Polani, D., 2014, ALIFE 14: Procs of the 14th Int Conf on the Synthesis and Simulation of Living Systems. MIT Press, p. 949-956 8 p.

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

  6. eBay’s Digital Culture: Friction-free Capitalism in a Consumer Heterotopia

    Weiner, N., 2014, TEM 2014:Proceedings of the Technology & Emerging Media Track – Annual Conference of the Canadian Communication Association (Saint Catharines, May 28 – 30, 2014). 11 p.

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

  7. 3D Face Recognition: Feature Extraction Based on Directional Signatures from Range Data and Disparity Maps

    Ramalingam, S., 27 Jan 2014, 2013 IEEE International Conference on Systems, Man, and Cybernetics. IEEE, p. 4397-4402 6 p.

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

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

  9. A Power-Aware Framework for Executing Streaming Programs on Networks-on-Chip

    Karavadara, N., Folie, S., Zolda, M., Nguyen, V. T. N. & Kirner, R., 1 Mar 2014, Int'l Workshop on Performance, Power and Predictability of Many-Core Embedded Systems (3PMCES'14). 4 p.

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

  10. A template based user-teaching system for an Assistive Robot

    Saunders, J., Syrdal, D. S. & Dautenhahn, K., Apr 2014, AISB 2014 - 50th Annual Convention of the AISB. Society for the Study of Artificial Intelligence and the Simulation of Behaviour

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

  11. KASPAR in the wild - Initial findings from a pilot study

    Syrdal, D. S., Lehmann, H., Robins, B. & Dautenhahn, K., Apr 2014, AISB 2014 - 50th Annual Convention of the AISB. Society for the Study of Artificial Intelligence and the Simulation of Behaviour

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