University of Hertfordshire

Publications

  1. 2014
  2. "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

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

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

  5. Don't Believe Everything You Hear: Preserving Relevant Information by Discarding Social Information

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

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

  6. Evolving spiking neural networks for temporal pattern recognition in the presence of noise

    Abdelmotaleb, A., Davey, N., Schilstra, M., Steuber, V. & Wrobel, B., 2014, Artificial Life 2014: Procs of the Fourteenth International Conference on the Synthesis and Simulation of Living Systems. Sayama, H. (ed.). MIT Press, p. 965-972

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

  7. Information-theoretic measures as a generic approach to human-robot interaction: Application in CORBYS project

    Salge, C., Glackin, C., Ristić-Durrant, D., Greaves, M. & Polani, D., 2014, Procs of the 2014 ACM/IEEE Int Conf on Human-Robot Interaction: HRI'14. ACM Press, p. 282-283 2 p.

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

  8. Introduction: Virtually perfect security (transcript of discussion)

    Christianson, B., 2014, Security Protocols XVIII. Christianson, B. & Malcolm, J. (eds.). Springer-Verlag, (Berlin-Heidelberg), p. 1-2 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

  9. More security or less insecurity

    Chowdhury, P. D. & Christianson, B., 2014, Security Protocols XVIII. Christianson, B. & Malcolm, J. (eds.). Springer-Verlag, (Berlin-Heidelberg), p. 115-119 5 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

  10. More security or less insecurity (transcript of discussion)

    Christianson, B., 2014, Security Protocols XVIII. Christianson, B. & Malcolm, J. (eds.). Springer-Verlag, (Berlin-Heidelberg), p. 120-126 7 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

  11. Overview of insecticide resistance problems in arthropods

    Denholm, I., 2014, Proceedings III Encuentro Internacional: 'Caligidosis en Chile Estado Actual y Darafios Futuros': 9th April 2014, Puerto Varas, Chile (abstract).

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

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

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

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

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

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

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

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

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

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

  21. Money Down the (Brand) Drain: An exploration of the constraints of the adoption of brand strategies and the adversity facing investment in brands by Chinese suppliers

    He, P. & Catulli, M., Apr 2014, Academy of Marketing Global Brand Conference. 19 p.

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

  22. Robot-Mediated Interviews with Children: What do potential users think?

    Wood, L. J., Lehmann, H., Dautenhahn, K., Robins, B., Rainer, A. & Syrdal, D. S., 4 Apr 2014, AISB 2014 - 50th Annual Convention of the AISB. Society for the Study of Artificial Intelligence and the Simulation of Behaviour, 6 p.

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

  23. A Contribution to the Modal Identification of the Damping Factor based on the Dissipated Energy

    Montalvão, D. & Silva, J. M. M., Jul 2014, EURODYN 2014: IX Int Conf on Structural Dynamics. Cunha, A., Caetano, E., Ribeiro, P. & Muller, G. (eds.). European Association for Structural Dynamics (EASD), p. 2571-2577 7 p.

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

  24. Intrusion Detection System using Bayesian Network Modeling

    Alocious, C., Abouzakhar, N., Xiao, H. & Christianson, B., Jul 2014, 13th European Conference on Information Warfare and Security ECCWS 2014. ACPI (Academic Conference Publishing International), p. 223-232

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

  25. Movement recognition and preference in home-based robot-assisted stroke rehabilitation

    Basteris, A. & Amirabdollahian, F., 23 Jul 2014, Proceedings of the 8th International Conference on Pervasive Computing Technologies for Healthcare. p. 432-435 4 p.

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

  26. A Knowledge Transfer Partnership - the development of a Bespoke Enterprise Resource Planning System in the UK

    Ugorji, B. & Byrne, B., Sep 2014, Education, Research and Innovation. Tao, F. (ed.). IACSIT Press, Vol. 81. p. 114-119

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

Previous 1 2 Next