A significant portion of the modern internet is funded by commercial return from customised content such as advertising where user interests are learned from users' online behaviour and used to display personalised content. ...

The volume of digital content resources written as text documents is growing every day, at an unprecedented rate. Because this content is generally not structured as easy-to-handle units, it can be very difficult for users ...

The volume of digital content resources written as text documents is growing every day, at an unprecedented rate. Because this content is generally not structured as easy-to-handle units, it can be very difficult for users ...

Infectious diseases are a major cause of human morbidity. However, in the EU in 2014 more than 40 thousand deaths caused by infectious diseases were considered preventable. Information about infection risk based on personal ...

The current lack of tool support for model-checking Circus, a formalism which combines Z, CSP, refinement calculus and Dijkstra's guarded commands, is one of the constraints for its use at industrial scale. Nowadays, it ...

Single instruction, multiple data (SIMD) is a class of parallel computing that involves executing a single operation across multiple pieces of data. A common type of SIMD is vector processing which involves executing a ...

This thesis considers aspects of stylistic change over time with respect to a corpus of literary authors and corresponding background change for the same period of time. The primary focus of this thesis is the development ...

The classroom of the future is generally described in terms of the availability and use of the latest advances in technology as a central component, along with student-centred, skills-focussed pedagogies. A common pattern ...

This thesis is concerned with the virtualization of wireless links. Initially, the sole aim of this thesis was to investigate the virtualization of wireless networks. However, soon after first investigating this topic ...