Computer Science

  • Postal address

    United Kingdom

Filter
Chapter

Search results

  • 2009

    Simulation Engines for Multi-Agent Systems

    Theodoropoulos, G., Minson, R., Ewald, R., Lees, M., Uhrmacher, AM. & Weyns, D., 1 Jan 2009, Multi-Agent Systems: Simulation and Applications.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Some Requirements for Human-like Robots: Why the recent over-emphasis on embodiment has held up progress

    Sloman, A., Sendhoff, B., Koerner, E., Sporns, O., Ritter, H. & Doya, K., 1 Jan 2009, Creating Brain-Like Intelligence: From Basic Principles to Complex Intelligent Systems. Vol. 5436. (Lecture Notes in Artificial Intelligence; vol. 5436).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    32 Citations (Scopus)

  • System Integration Supporting Evolutionary Development and Design

    Spexard, TP., Hanheide, M., Ritter, H., Sagerer, G., Dillmann, R. & Buss, M., 1 Nov 2009, Human Centered Robotic Systems. Vol. 6. (Cognitive Systems Monographs; vol. 6).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • The importance of neurophysiological constraints for modelling the emergence of modularity

    Bullinaria, J., 6 Apr 2009, Computational modelling in behavioural neuroscience: Closing the gap between neurophysiology and behaviour. Heinke, D. & Mavritsaki, E. (eds.). Psychology Press, p. 187-209

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    2 Citations (Scopus)

  • Towards Learning by Interacting

    Wrede, B., Rohlfing, KJ., Hanheide, M., Sagerer, G., Sendhoff, B., Korner, EK., Sporns, O., Ritter, H. & Doya, K., 13 Mar 2009, Lecture Notes in Computer Science. Vol. 5436. (Lecture Notes in Computer Science; vol. 5436).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    14 Citations (Scopus)

  • Vulnerability assessment for cascading failures in electric power systems

    Baldick, R., Chowdhury, B., Dobson, I., Dong, Z., Gou, B., Hawkins, D., Huang, Z., Joung, M., Kim, J., Kirschen, D., Lee, S., Li, F., Li, J., Liu, C-C., Luo, X., Mili, L., Miller, S., Nakayama, M., Papic, M., Podmore, R., & 10 othersRossmaier, J., Schneider, K., Sun, H., Sun, K., Wang, D., Wu, Z., Yao, L., Zhang, P., Zhang, W. & Zhang, X-P., 1 Jan 2009, 2009 IEEE/PES Power Systems Conference and Exposition, PSCE 2009.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    63 Citations (Scopus)
  • 2010

    ``Look out!'': Socially-Mediated Obstacle Avoidance in Collective Transport

    Ferrante, E., Brambilla, M., Birattari, M. & Dorigo, M., 2010, Swarm Intelligence: 7th International Conference, ANTS 2010. Berlin, Germany: Springer Vieweg, Vol. 6234. p. 572-573 2 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    2 Citations (Scopus)

  • Architecture and Representations

    Hawes, N., Wyatt, J., Sridharan, M., Jacobsson, H., Dearden, R., Sloman, A., Kruijff, G-JM., Chistensen, HI., Kruijff, G-JM. & Wyatt, J., 27 Apr 2010, Cognitive Systems, Cognitive Systems Monographs Vol. 8.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Balancing Security and Performance Properties During System Architectural Design

    Houmb, SH., Georg, G., Petriu, DC., Bordbar, B., Ray, I., Anastasakis, K., France, RB. & Mouratidis, H., 15 Oct 2010, Software Engineering for Secure Systems: Industrial and Research Perspectives.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    7 Citations (Scopus)

  • Cognitive Systems Introduction

    Christensen, HI., Sloman, A., Kruijff, G-JM., Wyatt, J., Christensen, HI., Kruijff, G-JM. & Wyatt, J., 27 Apr 2010, Cognitive Systems, Cognitive Systems Monographs Vol. 8.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Cross-Disciplinary Reflections: Philosophical Robotics

    Sloman, A., Christensen, HI., Kruijff, G-JM. & Wyatt, J., 27 Apr 2010, Cognitive Systems, Cognitive Systems Monographs Vol. 8.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Establishing spatially targeted communication in a heterogeneous robot swarm

    Mathews, N., Christensen, A. L., Ferrante, E., Grady, R. O. & Dorigo, M., 2010, Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems, p. 939-946 8 p. (AAMAS '10).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    11 Citations (Scopus)

  • Flocking in Stationary and Non-stationary Environments: A Novel Communication Strategy for Heading Alignment

    Ferrante, E., Turgut, A. E., Mathews, N., Birattari, M. & Dorigo, M., 2010, Parallel Problem Solving from Nature -- PPSN XI. Schaefer, R., Cotta, C., Kolodziej, J. & Rudolph, G. (eds.). Berlin, Germany: Springer Vieweg, Vol. 6239. p. 331-340 10 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    22 Citations (Scopus)

  • Issues of Logic, Algebra and Topology in Ontology

    Vickers, S., Poli, R., Healy, M. & Kameas, A., 1 Jan 2010, Theory and Applications of Ontology: Computer Applications.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    3 Citations (Scopus)

  • Lessons Learnt from Scenario-Based Integration

    Hawes, N., Zillich, M., Jensfelt, P., Christensen, HI., Kruijff, G-JM. & Wyatt, J., 27 Apr 2010, Cognitive Systems, Cognitive Systems Monographs Vol. 8.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Measurement and modelling: Complementary approaches to understanding the organization and underpinnings of attachment behaviour

    Petters, D. & Waters, E., 1 Jan 2010, Measuring Attachment: Observational and Developmental Analysis of Behaviour, Mental Representations, and Biological Processes.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Metaphor and Its Unparalleled Meaning and Truth

    Barnden, J., Wallington, AM., Burkhardt, A. & Nerlich, B., 19 Apr 2010, Tropical Truth(s): The Epistemology of Metaphor and Other Tropes.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    1 Citation (Scopus)

  • Multi-modal Learning

    Skocaj, D., Kristan, M., Vrecko, A., Leonardis, A., Fritz, M., Stark, M., Schiele, B., Hongeng, S., Wyatt, J., Christensen, HI., Kruijff, G-JM. & Wyatt, J., 27 Apr 2010, Cognitive Systems, Cognitive Systems Monographs Vol. 8.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Opinion Dynamics for Decentralized Decision-Making in a Robot Swarm

    Oca, M. A. M. D., Ferrante, E., Mathews, N., Birattari, M. & Dorigo, M., 2010, LNCS 6234. Swarm Intelligence. 7th International Conference, ANTS 2010. Dorigo, M. (ed.). Berlin, Germany: Springer Vieweg, p. 251-262 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    5 Citations (Scopus)

  • Planning and Failure Detection

    Brenner, M., Plagemann, C., Nebel, B., Burgard, W., Hawes, N., Christensen, HI., Kruijff, G-JM. & Wyatt, J., 1 Jan 2010, Cognitive Systems, Cognitive Systems Monographs Vol. 8.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Requirements for Artificial Companions: It's harder than you think

    Sloman, A. & Wilks, Y., 1 Mar 2010, Close Engagements with Artificial Companions: Key social, psychological, ethical and design issues.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Situated Dialogue Processing for Human-Robot Interaction

    Kruijff, G-JM., Lison, P., Benjamin, T., Jacobsson, H., Zender, H., Kruijff-Korbayová, I., Hawes, N., Christensen, HI., Kruijff, G-JM. & Wyatt, J., 27 Apr 2010, Cognitive Systems, Cognitive Systems Monographs Vol. 8.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • The Explorer System

    Sjoo, K., Zender, H., Jensfelt, P., Kruijff, G-JM., Pronobis, A., Hawes, N., Brenner, M., Christensen, HI., Kruijff, G-JM. & Wyatt, J., 27 Apr 2010, Cognitive Systems, Cognitive Systems Monographs Vol. 8.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • The PlayMate System

    Hawes, N., Wyatt, J., Sridharan, M., Kopicki, M., Hongeng, S., Calvert, I., Sloman, A., Kruijff, G-JM., Jacobsson, H., Brenner, M., Skocaj, D., Vrecko, A., Majer, N., Zillich, M., Christensen, HI., Kruijff, G-JM. & Wyatt, J., 27 Apr 2010, Cognitive Systems, Cognitive Systems Monographs Vol.8.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • The Use of Metaphor and Metonymy in Academic and Professional Discourse and Their Challenges for Learners and Teachers of English

    Littlemore, JM., Chen, P., Tang, PL., Koester, A., Barnden, J., De Knop, S. (ed.), Boers, F. (ed.) & De Rycker, T. (ed.), 1 Aug 2010, Fostering Language Teaching Efficiency Through Cognitive Linguistics. De Gruyter, p. 189-238 49 p. (Applications of cognitive linguistics; vol. 17).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Truth, Metaphor and Counterfactual Meaning

    Lee, M., Burkhardt, A. & Nerlich, B., 19 Apr 2010, Tropical Truth(s): The Epistemology of Metaphor and other Tropes.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    2 Citations (Scopus)

  • Untitled chapter

    Beale, R. & Richards, K., 30 Jun 2010, The New Optimists: Scientists View Tomorrow's World & What it Means to Us.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Why AI and Robotics are Going Nowhere Fast

    Diller, A. & Vallverdú, J., 1 May 2010, Thinking Machines and the Phiolosophy of Computer Science.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 2011

    Affect Transfer by Metaphor for an Intelligent Conversational Agent

    Wallington, A., Agerri, R., Barnden, J., Lee, M. & Rumbell, T., 1 Jan 2011, Affective Computing and Sentiment Analysis: Emotion, Metaphor and Terminology. Ahmad, K. (ed.). Springer, p. 53-66 (Text, Speech and Language Technology; vol. 45).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • ARGoS: A Modular, Multi-Engine Simulator for Heterogeneous Swarm Robotics

    Pinciroli, C., Trianni, V., O'Grady, R., Pini, G., Brutschy, A., Brambilla, M., Mathews, N., Ferrante, E., Caro, G. A. D., Ducatelle, F., Stirling, T., Gutiérrez, A., Gambardella, L. M. & Dorigo, M., 2011, Proceedings of the 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS'11). Los Alamitos, CA: IEEE Computer Society Press, p. 5027-5034 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    79 Citations (Scopus)

  • A “No Free Lunch” Tutorial: Sharpened and Focused No Free Lunch

    Whitley, D., Rowe, J., Auger, A. & Doerr, B., 1 Apr 2011, Theory of Randomized Search Heuristics: Foundations and Recent Developments.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Colin Wilson's "The Books in My Life"

    Diller, A. & Stanley, C., 1 May 2011, Around the Outsider: Essays Presented to Colin Wilson on the Occasion of his 80th Birthday.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Constructing a reusable linguistic resource for a polyglot speech synthesis

    Samsudin, N-H. & Lee, M., 1 Jan 2011, AISB 2011: Learning Language Models from Multilingual Corpora. p. 1-5 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Digital Crowding: Privacy, Self-Disclosure and Technology

    Joinson, AN., Houghton, DJ., Vasalou, A., Marder, B., Reinecke, L. & Trepte, S., 1 Jan 2011, Privacy Online: Perspectives on Privacy and Self-Disclosure in the Social Web. Springer, p. 33-45 13 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Economics-Driven Architecting for Non Functional Requirements in the Presence of Middleware

    Bahsoon, R., Emmerich, W., Avgeriou, P., Grundy, J., Hall, JG., Lago, P. & Mistrik, I., 1 Jan 2011, Relating Software Requirements and Architectures.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Memetic Evolutionary Algorithms

    Sudholt, D., Auger, A. & Doerr, B., 1 Apr 2011, Theory of Randomized Search Heuristics: Foundations and Recent Developments.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • NextPlace: a spatio-temporal prediction framework for pervasive systems

    Scellato, S., Musolesi, M., Mascolo, C., Latora, V. & Campbell, A. T., 1 Jan 2011, Pervasive Computing. Springer, p. 152-169 18 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    183 Citations (Scopus)

  • Parametrization and Balancing Global and Local Search

    Sudholt, D., Neri, F., Cotta, C. & Moscato, P., 1 Oct 2011, Handbook of Memetic Algorithms.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Runtime Analysis of Evolutionary Algorithms for Discrete Optimization

    Oliveto, P., Yao, X., Auger, A. & Doerr, B., 1 Apr 2011, Theory of Randomized Search Heuristics: Foundations and Recent Developments.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • SBVR business rules generation from natural language specification

    Bajwa, I. S., Lee, M. G. & Bordbar, B., 1 Jan 2011, AAAI Spring Symposium - Technical Report. Vol. SS-11-03. p. 2-8 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    102 Citations (Scopus)

  • SBVR vs OCL: A comparative analysis of standards

    Bajwa, I. S., Bordbar, B. & Lee, M., 1 Jan 2011, Proceedings of the 14th IEEE International Multitopic Conference 2011, INMIC 2011. p. 261-266 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    12 Citations (Scopus)

  • Sharpened and Focused No Free Lunch

    Whitley, LD., Rowe, J., Auger, A. & Doerr, B., 31 Jan 2011, Theory of Randomized Search Heuristics: Foundations and Recent Developments.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Simple Max-Min Ant Systems and the Optimization of Linear Pseudo-Boolean Functions

    Kötzing, T., Neumann, F., Sudholt, D., Wagner, M., Beyer, H-G. & Langdon, WB., 9 Jan 2011, Proceedings of the 11th Workshop on Foundations of Genetic Algorithms ( FOGA '11).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    26 Citations (Scopus)

  • Swarmanoid, The Movie

    Dorigo, M., Birattari, M., O'Grady, R., Gambardella, L. M., Mondada, F., Floreano, D., Nolfi, S., Baaboura, T., Bonani, M., Brambilla, M., Brutschy, A., Burnier, D., Campo, A., Christensen, A. L., Decugnière, A., Caro, G. D., Ducatelle, F., Ferrante, E., Gonzales, J. M., V., J. G., & 18 others[Unknown], L., Magnenat, S., Mathews, N., Oca, M. M. D., Pinciroli, C., Pini, G., Rétornaz, P., Rey, F., Roberts, J., Rochat, F., Sperati, V., Stirling, T., Stranieri, A., Stützle, T., Trianni, V., Tuci, E., Turgut, A. E. & Vaussard, F., 2011, AAAI-11 Video Proceedings. San Francisco, CA: AAAI Press

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • The Applied pi calculus

    Ryan, M., Smyth, B., Cortier, V. & Kremer, S., 1 Jan 2011, Formal Models and Techniques for Analyzing Security Protocols.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Towards a Framework of Co-Design Sessions with Children

    Mazzone, E., Read, JC., Beale, R., Campos, P., Graham, N., Jorge, J., Nunes, N., Palanque, P. & Winckler, M., 1 Jan 2011, Lecture Notes in Computer Science. Vol. 6949. (Lecture Notes in Computer Science; vol. 6949).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    8 Citations (Scopus)

  • Transformation rules for translating business rules to OCL constraints

    Bajwa, I. & Lee, M., 1 Jan 2011, Lecture Notes in Computer Science. Vol. 6698. p. 132-143 12 p. (Lecture Notes in Computer Science; vol. 6698).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    21 Citations (Scopus)

  • Using Theorema in the Formalization of Theoretical Economics

    Kerber, M., Rowat, C. & Windsteiger, W., 1 Jan 2011, Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings. Davenport, J., Farmer, WM., Urban, J. & Rabe, F. (eds.). Springer, p. 58-73 (Lecture Notes in Computer Science; vol. 6824).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    5 Citations (Scopus)

  • Varieties of Meta-cognition in Natural and Artificial Systems

    Sloman, A., Cox, MT. & Raja, A., 1 Mar 2011, Metareasoning: Thinking about thinking.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • What's Information, for an Organism or Intelligent Machine? How can a Machine or Organism Mean?

    Sloman, A., Dodig-Crnkovic, G. & Burgin, M., 1 Jun 2011, Information and Computation.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter