The CLARITY modular ambient health and wellness measurement platform

Emerging healthcare applications can benefit enormously from recent advances in pervasive technology and computing. This paper introduces the CLARITY Modular Ambient Health and Wellness Measurement Platform:, which is a heterogeneous and robust pervasive healthcare solution currently under development at the CLARITY Center for Sensor Web Technologies. This intelligent and context-aware platform comprises the Tyndall Wireless Sensor Network prototyping system, augmented with an agent-based middleware and frontend computing architecture. The key contribution of this work is to highlight how interoperability, expandability, reusability and robustness can be manifested in the modular design of the constituent nodes and the inherently distributed nature of the controlling software architecture.Emerging healthcare applications can benefit enormously from recent advances in pervasive technology and computing. This paper introduces the CLARITY Modular Ambient Health and Wellness Measurement Platform:, which is a heterogeneous and robust pervasive healthcare solution currently under development at the CLARITY Center for Sensor Web Technologies. This intelligent and context-aware platform comprises the Tyndall Wireless Sensor Network prototyping system, augmented with an agent-based middleware and frontend computing architecture. The key contribution of this work is to highlight how interoperability, expandability, reusability and robustness can be manifested in the modular design of the constituent nodes and the inherently distributed nature of the controlling software architecture.

The purification and characterization of the high and low molecular weight forms of rabbit intestinal adenosine deaminase

Accepted Version

Modular average case analysis: Language implementation and extension

Motivated by accurate average-case analysis, MOdular Quantitative Analysis (MOQA) is developed at the Centre for Efficiency Oriented Languages (CEOL). In essence, MOQA allows the programmer to determine the average running time of a broad class of programmes directly from the code in a (semi-)automated way. The MOQA approach has the property of randomness preservation which means that applying any operation to a random structure, results in an output isomorphic to one or more random structures, which is key to systematic timing. Based on original MOQA research, we discuss the design and implementation of a new domain specific scripting language based on randomness preserving operations and random structures. It is designed to facilitate compositional timing by systematically tracking the distributions of inputs and outputs. The notion of a labelled partial order (LPO) is the basic data type in the language. The programmer uses built-in MOQA operations together with restricted control flow statements to design MOQA programs. This MOQA language is formally specified both syntactically and semantically in this thesis. A practical language interpreter implementation is provided and discussed. By analysing new algorithms and data restructuring operations, we demonstrate the wide applicability of the MOQA approach. Also we extend MOQA theory to a number of other domains besides average-case analysis. We show the strong connection between MOQA and parallel computing, reversible computing and data entropy analysis.

Practical programming for static average-case analysis: the MOQA investigation

This work considers the static calculation of a program’s average-case time. The number of systems that currently tackle this research problem is quite small due to the difficulties inherent in average-case analysis. While each of these systems make a pertinent contribution, and are individually discussed in this work, only one of them forms the basis of this research. That particular system is known as MOQA. The MOQA system consists of the MOQA language and the MOQA static analysis tool. Its technique for statically determining average-case behaviour centres on maintaining strict control over both the data structure type and the labeling distribution. This research develops and evaluates the MOQA language implementation, and adds to the functions already available in this language. Furthermore, the theory that backs MOQA is generalised and the range of data structures for which the MOQA static analysis tool can determine average-case behaviour is increased. Also, some of the MOQA applications and extensions suggested in other works are logically examined here. For example, the accuracy of classifying the MOQA language as reversible is investigated, along with the feasibility of incorporating duplicate labels into the MOQA theory. Finally, the analyses that take place during the course of this research reveal some of the MOQA strengths and weaknesses. This thesis aims to be pragmatic when evaluating the current MOQA theory, the advancements set forth in the following work and the benefits of MOQA when compared to similar systems. Succinctly, this work’s significant expansion of the MOQA theory is accompanied by a realistic assessment of MOQA’s accomplishments and a serious deliberation of the opportunities available to MOQA in the future.

Crystallisation and crystal forms of carbohydrate derivatives

This thesis is focused on the synthesis and solid state analysis of carbohydrate derivatives, including many novel compounds. Although the synthetic chemistry surrounding carbohydrates is well established in the literature, the crystal chemistry of carbohydrates is less well studied. Therefore this research aims to improve understanding of the solid state properties of carbohydrate derivatives through gaining more information on their supramolecular bonding. Chapter One focuses on an introduction to the solid state of organic compounds, with a background to crystallisation, including issues that can arise during crystal growth. Chapter Two is based on glucopyranuronate derivatives which are understudied in terms of their solid state forms. This chapter reports on the formation of novel glucuronamides and utilising the functionality of the amide bond for crystallisation. TEMPO oxidation was completed to form glucopyranuronates by oxidation of the primary alcohol groups of glucosides to the carboxylic acid derivatives, to increase functionality for enhanced crystal growth. Chapter Three reports on the synthesis of glucopyranoside derivatives by O-glycosylation reactions and displays crystal structures, including a number of previously unsolved acetate protected and deprotected crystal structures. More complex glycoside derivatives were also researched in an aim to study the resultant supramolecular motifs. Chapter Four contains the synthesis of aryl cellobioside derivatives including the novel crystal structures that were solved for the acetate protected and deprotected compounds. Research was carried out to determine if 1-deoxycellodextrins could act as putative isostructures for cellulose. Our research displays the presence of isostructural references with 1-deoxycellotriose shown to be similar to cellulose III11, 1-deoxycellotetraose correlates with cellulose IV11 and 1-deoxycellopentose shows isostructurality similar to that of cellulose II. Chapter Five contains the full experimental details and spectral characterisation of all novel compounds synthesised in this project and relevant crystallographic information.