We reconcile the two different category-theoretic semantics of regular theories in predicate logic. A 2-category of regular fibrations is constructed, as well as a 2-category of regular proarrow equipments, and ...

The work in this dissertation was motivated by a desire to understand as well as to improve the performance of certain algorithms and data structures in practice. The performance of algorithms in practice is influenced by ...

Computer science distinguishes between two major programming paradigms: imperative and functional programming. Central to imperative programming is the notion of some form of state (or memory) together with a list of ...

Open Government Data (OGD) initiatives are spreading worldwide. One use of OGD is the co-creation of applications and web services. Both OGD and co-creation concepts can be viewed from different perspectives as there are ...

High-performance primitive libraries are used to replace parts of sub-optimal code with optimized implementations. These libraries often come in the form of highly-optimized assembly routines, which raises several issues. ...

The shift towards multicore processing has led to a much wider population of developers being faced with the challenge of exploiting parallel cores to improve software performance. Debugging and optimising parallel programs ...

Stereoscopic depth reconstruction is the estimation of scene depth from at least two images of the scene taken at different viewpoints. The main computational problem is identification of matching pixels between the images. ...

There is a lack of consensus on the nature of the process of linking; that is, how the conceptual form of thoughts determines the form of the spoken expressions used to describe them. Prominent theories of argument structure ...

The current Internet struggles to cope with changing demands. Designed for a static network, the techniques that have evolved to configure devices, assign addresses and handle mobility, have proved inadequate in a mobile ...

Sensitive personal data collected about us has the potential to give great insight into human behaviour, but it remains a challenge to publish such information while guaranteeing (i) individuals’ privacy and (ii) data ...