The field of physical modelling and simulation plays a vital role in advancing numerous scientific and engineering disciplines. To cope with the increasing size and complexity of physical models, a number of modelling and simulation languages have been developed. These languages…
"57" Result
Sort By:
Teaching a subject which involves a long process and inter-related problems can sometimes be difficult through conventional classroom activities. This is particularly difficult at the UK Key Stage 3 (13-14 years) where students are only beginning to understand the processes of r…
Computer simulations of biological systems provide novel data while both supporting and challenging traditional experimental methods. However, continued innovation is required to ensure that these technologies are able to work with increasingly complex systems. Coarse–grained ap…
Evolutionary algorithms (EAs) based on the concept of Pareto dominance seem the most suitable technique for multiobjective optimisation. In multiobjective optimisation, several criteria (usually conflicting) need to be taken into consideration simultaneously to assess a quality …
In the thesis we present a new approach to providing soft real-time guarantees for Belief-Desire-Intention (BDI) agents. We analyse real-time guarantees for BDI agents and show how these can be achieved within a generic BDI programming framework. As an illustration of our approa…
The implementation and running of physical security systems is costly and potentially hazardous for those employed to patrol areas of interest. From a technial perspective, the physical security problem can be seen as minimising the probability that intruders and other anomalous…
Concurrent programming supports multiple threads of concurrent execution. It is a suitable paradigm for interaction with the outside world, where many inputs (e.g. network packets, key-presses, mouse-clicks) may arrive at any time and need to be dealt with at the same time. Conc…
With the advent of digital printing presses and the continued development of associated technologies, variable data printing (VDP) is becoming more and more common. VDP allows for a series of data instances to be bound to a single template document in order to produce a set of r…
In this thesis, a novel hybrid approach for tracking variable numbers of network structured deformable objects is presented. The hybrid technique developed is a combination of the Network Snakes parametric active contours technique, and the Reversible Jump Markov Chain Monte Car…
This thesis explores applications of the theory of containers within automated theorem proving. Container theory provides a foundational analysis of data types as containers, specified by a type S of shapes and a function P assigning to each shape its set of positions for data.M…
This thesis presents frameworks for the modelling and verification of resource-bounded reasoning agents. The resources considered include the time, memory, and communication bandwidth required by agents to achieve a goal. The scalability and expressiveness of standard model chec…
How genetic mutations such as Single Nucleotide Polymorphisms (SNPs) affect the risk of contracting a specific disease is still an open question for numerous different medical conditions. Two problems related to SNPs analysis are (i) the selection of computational techniques to …
This thesis presents a comparison between two simulation methods, namely Discrete Event Simulation (DES) and Agent Based Simulation (ABS). In our literature review we identified a gap in comparing the applicability of these methods to modelling human centric service systems. Hen…
Behavioural, emotional and social difficulties in school-aged children are a significant problem in the UK. Such children represent a difficult challenge for educational institutions. Teachers and experts have said that these children find it almost impossible to stay on task in…
Virtual Environments offer the potential for users to explore social situations and experience different behaviour responses for a variety of simulated social interactions. One of the challenges for the VE developer is how to construct the VE to allow freedom of exploration and …
This thesis is concerned with single and multiple target visual tracking algorithms and their application in the real world. While they are both powerful and general, one of the main challenges of tracking using particle filter-based algorithms is to manage the particle spread. …
This thesis presents a programme of research which investigated a genetic programming hyper-heuristic methodology to automate the heuristic design process for one, two and three dimensional packing problems. Traditionally, heuristic search methodologies operate on a space of pot…
This thesis looks at the development of a framework for a functional quantum programming language. The framework is first developed in Haskell, looking at how a monadic structure can be used to explicitly deal with the side-effects inherent in the measurement of quantum systems,…
An increasing number of devices are being situated in public spaces yet interactions with such devices are problematic: they tend to be impersonal and subject to social apprehension while devices suitable for specific tasks may be difficult to locate. This thesis considers how o…