Remember Me
Or use your Academic/Social account:


Or use your Academic/Social account:


You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.


Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message


Verify Password:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Nottingham eTheses
Institutional Repository
8698 Publications
More information
Detailed data provider information (OpenDOAR)


  • Towards modular compilers for effects

    Day, Laurence; Hutton, Graham (2012)
    Compilers are traditionally factorised into a number of separate phases, such as parsing, type checking, code generation, etc. However, there is another potential factorisation that has received comparatively little attention: the treatment of separate language features, such as mutable state, input/output, exceptions, concurrency and so forth. In this article we focus on the problem of modular compilation, in which the aim is to develop compilers for separate language features independently,...

    Action-level intention selection for BDI agents

    Yao, Yuan; Logan, Brian (2016)
    Belief-Desire-Intention agents typically pursue multiple goals in parallel. However the interleaving of steps in different intentions may result in conflicts, e.g., where the execution of a step in one plan makes the execution of a step in another concurrently executing plan impossible. Previous approaches to avoiding conflicts between concurrently executing intentions treat plans as atomic units, and attempt to interleave plans in different intentions so as to minimise conflicts. However som...

    'Introducing Dendritic Cells as a Novel Immune-Inspired Algorithm for Anomaly Detection'

    Greensmith, Julie; Aickelin, Uwe; Cayzer, Steve (2005)
    Abstract. Dendritic cells are antigen presenting cells that provide a vital link between the innate and adaptive immune system. Research into this family of cells has revealed that they perform the role of coordinating T-cell based immune responses, both reactive and for generating tolerance. We have derived an algorithm based on the functionality of these cells, and have used the signals and differentiation pathways to build a control mechanism for an artificial immune system. We present our...

    Private lives and public power: Norwich merchants' houses between the 14th and 16th centuries

    King, Chris (2015)
    This chapter discusses the surviving examples of large merchants’ houses in the city of Norwich dating between the 14th and 16th centuries. These were the residences of families who dominated the economic and political life of the medieval and early modern city, and possess impressive domestic accommodation arranged around an open hall, alongside extensive undercroft spaces for the storage and display of merchandise. The eight remaining examples of great halls, with their screens-passages and...

    HAC-ER: a disaster response system based on human-agent collectives

    Ramchurn, Sarvapali D.; Huynh, Trung Dong; Ikuno, Yuki; Flann, Jack; Wu, Feng; Moreau, Luc; Jennings, Nicholas R.; Fischer, Joel E.; Jiang, Wenchao; Rodden, Tom; Simpson, Edwin; Reece, Steven; Roberts, Stephen (2015)
    This paper proposes a novel disaster management system called HAC-ER that addresses some of the challenges faced by emergency responders by enabling humans and agents, using state-of-the-art algorithms, to collaboratively plan and carry out tasks in teams referred to as human-agent collectives. In particular, HAC-ER utilises crowdsourcing combined with machine learning to extract situational awareness information from large streams of reports posted by members of the public and trusted organi...
  • No data provider research data found
  • Latest Documents Timeline

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

    Document Types

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

    Funders in data provider publications

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

    Projects with most Publications

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

Share - Bookmark