In this thesis, the design and development of a decision support system for the selection of a variance reduction technique for discrete event simulation studies is presented. In addition, the performance of variance reduction techniques as stand alone and combined application h…
"57" Result
Sort By:
The process of protein structure prediction is a crucial part of understanding the function of the building blocks of life. It is based on the approximation of a protein free energy that is used to guide the search through the space of protein structures towards the thermodynami…
This thesis is concerned with identification of realistic requirements for the cattle monitoring system and design of the practical architecture addressing these requirements. Automated monitoring of cattle with wireless monitoring devices mounted on the animals can increase eff…
Participatory sensing is an emerging field that uses pervasive technology to create new forms of sensing networks combining people, personal devices, and other sensors. Pervasive computing technology forms an essential component, used to report data and coordinate activities. Th…
Desktop Virtual Reality (VR) is an easy and affordable way to implement VR technology within an organisation. It provides an experience that can be shared by many people, and its 3D, interactive capability facilitates the communication of ideas not possible using other media for…
This thesis is about Martin-Löf's intuitionistic theory of types (type theory). Type theory is at the same time a formal system for mathematical proof and a dependently typed programming language. Dependent types are types which depend on data and therefore to type check depende…
This thesis describes a multi-agent approach to generating narrative based on the activities of participants in large-scale persistent virtual environments, such as massivelymultiplayer online role-playing games (MMORPGs). These environments provide diverse interactive experienc…
This dissertation is about effects and type theory. Functional programming languages such as Haskell illustrate how to encapsulate side effects using monads. Haskell compilers provide a handful of primitive effectful functions. Programmers can construct larger computations using…
This research proposes a new architecture for Adaptive Educational Hypermedia Systems (AEHS). Architectures in the context of this thesis refer to the components of the system and their communications and interactions. The architecture addresses the limitations of AEHS regarding…
Data integrity is a fundamental aspect of computer security that has attracted much interest in recent decades. Despite a general consensus for the meaning of the problem, the lack of a formal definition has led to spurious claims such as "tamper proof", "prevent tampering", and…
Advancements in computing technology have been keenly felt in the automotive industry. Novel in-car systems have the potential to substantially improve the safety, efficiency and comfort of the driving experience. However, they must be carefully designed, so their use does not d…
Collaborative physical tasks are working tasks characterised by workers 'in-the-field' who manipulate task artefacts under the guidance of a remote expert. Examples of such interactions include paramedics requiring field-surgery consults from hospital surgeons, soldiers requirin…
Computer-based learning has become a common phenomenon in the modern age. Many distance-learning systems distribute educational resources on the Internet and indeed entire study programmes are now widely available online. Such a large amount of content and information can be int…
Self-assembly is a ubiquitous process in nature in which a disordered set of components autonomously assemble into a complex and more ordered structure. Components interact with each other without the presence of central control or external intervention. Self-assembly is a rapid…
This thesis is concerned with the uses of ubiquitous computing (ubicomp) technologies in everyday domestic settings. In contrast to goal-oriented technology adoption (e.g. in the workplace), the integration of pervasive technology in the home faces not only social but also physi…
This thesis studies the creation of illusion in computer aided performance. Illusion is created here by using deceptions, and a design framework is presented which suggests several different deception strategies which may be useful. The framework has been developed in an iterati…