Rita+ is a structured syntax directed document processing system, which allows users to edit documents interactively, and display these documents in a manner determined by the user. The system is SGML (Standard Generalized ...

The design of efficient, reliable communication protocols has long been an area of active research in computer science and engineering, and will remain so while the technology continues to evolve, and information becomes ...

Computer communication networks are a vital link in providing many of the services that we use daily, and our reliance on these networks is on the increase. The growing use of networks is driving network design towards ...

Information visualisation uses interactive three-dimensional (3D) graphics to create an immersive environment for the exploration of large amounts of data. Unlike scientific visualisation, where the underlying physical ...

The efficiency of an image compression/synthesis system based on a spline multi-resolution analysis (MRA) is investigated. The proposed system uses a quadratic spline wavelet transform combined with minimum-mean squared ...

There has been much research in the area of visual query systems in recent years. This has stemmed from the need for a more powerful database visualization and querying ability. In addition, there has been a pressing need ...

This dissertation concerns. analytical methods for assessing the performance of concurrent systems. More specifically, it focuses on the efficient generation and solution of large Markov chains which are derived from models ...

In this thesis, the performance analysis of SDL with a new type of stochastic Petri net is described. This new net is called SDL-net. The Concurrent Communicating System is described, and the need for qualitative and ...

Twenty years ago, law enforcement organizations lobbied to require data and communication services to engineer their products to guarantee law enforcement access to all data. After lengthy debate and vigorous predictions ...

We prove a formality theorem for the Fukaya categories of the symplectic manifolds underlying symplectic Khovanov cohomology over fields of characteristic zero. The key ingredient is the construction of a degree-one ...

Resource optimization in health care, manufacturing, and military operations requires the careful choreography of people and equipment to effectively fulfill the responsibilities of the profession. However, resource ...

Intermediaries are necessary to overcome challenges of Internet use for many users in the developing world. However the need for co-presence with intermediaries can be inconvenient for beneficiaries, and the process is ...

This thesis work takes an investigative approach into developing a middleware solution for managing services in a community cloud computing infrastructure pre-dominantly made of interconnected low power wireless devices. ...

The Weighted Histogram Analysis Method (WHAM) is a technique used to calculate free energy from molecular simulation data. WHAM recombines biased distributions of samples from multiple Umbrella Sampling simulations to yield ...

The emerging sensor networking applications are predicting the deployment of sensor devices in thousands of computing elements into multi-technology and multi-protocol platforms. Access to information will be available not ...

ICT has furthered the social and economic development of societies but, rural African communities have lagged behind due to issues such as sparse population, low household income, a lack of electricity and other basic ...

Many small organisms self-propel in viscous fluids using travelling wave-like deformations of their bodies or appendages. Examples include small nematodes moving through soil using whole-body undulations or spermatozoa ...

Modern Molecular Dynamics force fields, such as the CHARMM36 and GLYCAM06carbohydrate force fields, are parametrised to reproduce behaviours for specific molecules under specific conditions in order to be able to predict ...

Variational methods have proved to be very important in the study of optimal shape, time, velocity, volume or energy. Laws existing in mechanics, physics, astronomy, economics and other fields of natural sciences and ...

The contribution of this project falls within the general area of nonlinear functional analysis and applications. We focus on an important topic within this area: Inequalities in Banach spaces and applications. As is well ...