Knowledge of the distribution and concentration of phytoplankton (microscopic algae that live in the oceans) is important, as this reflects and may modify environmentally important events such as pollution, climate change and carbon dioxide sequestration. Optical based flow cyto…
The Event-B method is a formal approach to modelling systems which incorporates the notion of refinement. This work bridges the abstraction gap between the lowest level of Event-B refinement and a working implementation. We focus on the link between Event-B and concurrent, objec…
Various sensors and instruments were developed to measure the chemical and physical properties of sea water, but many are expensive and too large to be used on mass deployed vehicles such as the Argo float and submersed gliders. Marine mammal and fish tags require further sensor…
Efficient resource management is one of key problems associated with large-scale distributed computational systems. Taking into account their increasing complexity, inherent distribution and dynamism, such systems are required to adjust and adapt resources market that is offered…
Citizen sensor networks are open information systems in which members of the public act as information providers. The information distributed in such networks ranges from observations of events (e.g. noise measurements or monitoring of environmental parameters) to probabilistic …
The opportunity for SMEs growth through its use of e-b/c has long been advocated by government, practitioners and academics. This research identifies the opportunities, benefits and impact of developing a e-business/ e-commerce framework/tool for this. It reviews e-business/ecom…
A wireless sensor networks typically consist of thousand of nodes and each node has limited power, processing and bandwidth resources. Harvesting advances in the past decade in microelectronics, sensing, wireless communications and networking, sensor networks technology is expec…
This thesis presents results in the area of robust control design using the Quantitative Feedback Theory (QFT) methodology. The thesis outlines the main philosophy and the various stages of this design approach and develops computational tools for carrying out a systematic desig…
The routing problem (finding an optimal route from one point in a computer network to another) is surrounded by impossibility results. These results are usually expressed as lower and upper bounds on the set of nodes (or the set of links) of a network and represent the complexit…
In this thesis, firstly we have reviewed both previous and current state of optical CDMA (OCDMA) technologies. Search for appropriate spreading codes is one of the main challenges of OCDMA applications and hence is an important topic which is heavily addressed in the literature.…
This thesis addresses the difficulties that people have in interacting with complex, computer-based systems. The fields of intelligent and adaptive interfaces and agent-based systems are surveyed and critiqued to identify how intelligent human-computer interfaces can be used to …
Many problems in the real world are multi-objective by nature, this means that many times there is the need to satisfy a problem with more than one goal in mind. These type of problems have been studied by economists, mathematicians, between many more, and recently computer scie…
The effective ranking of documents in search engines is based on various document features, such as the frequency of the query terms in each document, the length, or the authoritativeness of each document. In order to obtain a better retrieval performance, instead of using a sin…
As networks become more versatile, the computational requirement for supporting additional functionality increases. The increasing demands of these networks can be met by Field Programmable Gate Arrays (FPGA), which are an increasingly popular technology for implementing packet …
Touchscreen mobile devices often use cut-down versions of desktop user interfaces placing high demands on the visual sense that may prove awkward in mobile settings. The research in this thesis addresses the problems encountered by situationally impaired mobile users by using cr…
Since their emergence within the past decade, which has seen wireless networks being adapted to enable mobility, wireless networks have become increasingly popular in the world of computer research. A Mobile Ad hoc Network (MANET) is a collection of mobile nodes dynamically form…
This thesis is concerned with investigating the use of Gaussian Process (GP) models for the identification of nonlinear dynamic systems. The Gaussian Process model is a non-parametric approach to system identification where the model of the underlying system is to be identified …