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, (E-pub ahead of print) 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. STBC Based Pilot-Aided Channel Estimation Method for SFBC-OFDM Systems

    Delestre, F., Owojaiye, G., Sun, Y. & El Cheikh, M., 23 Jun 2014, 15th Annual Postgraduate Symposium on the Convergence of Telecommunications, Networking and Broadcasting 2014. Liverpool John Moores University, 5 p.

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

  24. Forgiveness

    Lippitt, J., 28 Jun 2014, Kierkegaard’s Concepts: Tome III: Envy to Incognito. Emmanuel, S., McDonald, W. & Stewart, J. (eds.). Taylor & Francis, Vol. 15, Tome III. p. 81-87 7 p. (Kierkegaard Research: Sources, Reception and Resources; vol. 15, no. Tome 3).

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

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

  26. Africa: regional overview

    Mhlanga, B., Theimann, I., Jennings, P. W. & Young, L. A., Jul 2014, Freedom from Hate - State of the World’s Minorities and Indigenous Peoples 2014: Events of 2013. Grant, P. (ed.). Minority Rights Group International, London, p. 50-81

    Research output: Chapter in Book/Report/Conference proceedingChapter

Previous 1 2 Next