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.

Analysing energy detector diversity receivers for spectrum sensing

The analysis of energy detector systems is a well studied topic in the literature: numerous models have been derived describing the behaviour of single and multiple antenna architectures operating in a variety of radio environments. However, in many cases of interest, these models are not in a closed form and so their evaluation requires the use of numerical methods. In general, these are computationally expensive, which can cause difficulties in certain scenarios, such as in the optimisation of device parameters on low cost hardware. The problem becomes acute in situations where the signal to noise ratio is small and reliable detection is to be ensured or where the number of samples of the received signal is large. Furthermore, due to the analytic complexity of the models, further insight into the behaviour of various system parameters of interest is not readily apparent. In this thesis, an approximation based approach is taken towards the analysis of such systems. By focusing on the situations where exact analyses become complicated, and making a small number of astute simplifications to the underlying mathematical models, it is possible to derive novel, accurate and compact descriptions of system behaviour. Approximations are derived for the analysis of energy detectors with single and multiple antennae operating on additive white Gaussian noise (AWGN) and independent and identically distributed Rayleigh, Nakagami-m and Rice channels; in the multiple antenna case, approximations are derived for systems with maximal ratio combiner (MRC), equal gain combiner (EGC) and square law combiner (SLC) diversity. In each case, error bounds are derived describing the maximum error resulting from the use of the approximations. In addition, it is demonstrated that the derived approximations require fewer computations of simple functions than any of the exact models available in the literature. Consequently, the regions of applicability of the approximations directly complement the regions of applicability of the available exact models. Further novel approximations for other system parameters of interest, such as sample complexity, minimum detectable signal to noise ratio and diversity gain, are also derived. In the course of the analysis, a novel theorem describing the convergence of the chi square, noncentral chi square and gamma distributions towards the normal distribution is derived. The theorem describes a tight upper bound on the error resulting from the application of the central limit theorem to random variables of the aforementioned distributions and gives a much better description of the resulting error than existing Berry-Esseen type bounds. A second novel theorem, providing an upper bound on the maximum error resulting from the use of the central limit theorem to approximate the noncentral chi square distribution where the noncentrality parameter is a multiple of the number of degrees of freedom, is also derived.

Proteomic approach to oxidative stress in Daphnia magna

The keystone aquatic organism Daphnia magna is extensively used to assess the toxicity of chemicals. This has recently lead to an increase in the omics literature focusing on daphnids, an increase fuelled by the sequencing of the Daphnia pulex genome. Yet, no omics study has looked directly at oxidative stress (OS) in daphnids, even though OS is of primary importance in the response of aquatic organisms to their changing environment and is often induced by anthropogenic xenobiotics. This thesis thus focuses on the application of redox-proteomics, the study of the oxidative modification of proteins, to D. magna Specifically, daphnids were exposed to copper or paraquat, two well studied prooxidants, and protein carbonyls were labelled with fluorescein-5-thiosemicarbazide prior to twodimensional electrophoresis (2DE). This showed clearly that both compounds affect a different portion of the proteome. The identified proteins indicated that energy metabolism was affected by paraquat, while copper induced a reduction of the heat shock response (heat shock proteins, proteases and chaperones) a counterintuitive result which may be adaptative to metal toxicity in arthropods. The same approach was then applied to the study of the toxicity mechanism of silver nanoparticles (AgNP), an increasingly utilised form of silver with expected environmental toxicity, and its comparison to silver nitrate. The results demonstrate that, although less toxic than silver ions, AgNP toxicity functions through a different mechanism. AgNP toxicity is thus not a product of silver dissolution and increased protein carbonylation indicates that AgNP cause OS. Interestingly three of the four tested compounds altered vitellogenin levels and oxidation. Vitellogenins could thus represent an interesting subproteome for the detection of stress in daphnids. Finally, an experiment with oxidised BSA demonstrates the applicability of solid phase hydrazide in the enrichment of undigested carbonylated proteins.

Investigation of lactic acid bacteria mediated bioprotection with applications in cereal industry. Case-study: malting process

Antifungal compounds produced by Lactic acid bacteria (LAB) metabolites can be natural and reliable alternative for reducing fungal infections pre- and post-harvest with a multitude of additional advantages for cereal-base products. Toxigenic and spoilage fungi are responsible for numerous diseases and economic losses. This thesis includes an overview of the impact fungi have on aspects of the cereal food chain. The applicability of LAB in plant protection and cereal industry is discussed in detail. Specific case studies include Fusarium head blight, and the impact of fungi in the malting and baking industry. The impact of Fusarium culmorum infected raw barley on the final malt quality was part of the investigation. In vitro infected barley grains were fully characterized. The study showed that the germinative energy of infected barley grains decreased by 45% and grains accumulated 199 μg.kg-1 of deoxynivalenol (DON). Barley grains were subsequently malted and fully characterized. Fungal biomass increased during all stages of malting. Infected malt accumulated 8-times its DON concentration during malting. Infected malt grains revealed extreme structural changes due to proteolytic, (hemi)-cellulolytic and starch degrading activity of the fungi, this led to increased friability and fragmentation. Infected grains also had higher protease and β-glucanase activities, lower amylase activity, a greater proportion of free amino and soluble nitrogen, and a lower β-glucan content. Malt loss was over 27% higher in infected malt when compared to the control. The protein compositional changes and respective enzymatic activity of infected barley and respective malt were characterized using a wide range of methods. F. culmorum infected barley grains showed an increase in proteolytic activity and protein extractability. Several metabolic proteins decreased and increased at different rates during infection and malting, showing a complex F. culmorum infection interdependence. In vitro F. culmorum infected malt was used to produce lager beer to investigate changes caused by the fungi during the brewing processes and their effect on beer quality attributes. It was found, that the wort containing infected malt had a lower pH, a higher FAN, higher β-glucan and a 45% increase in the purging rate, and led to premature yeast flocculation. The beer produced with infected malt (IB) had also a significantly different amino acid profile. IB flavour characterization revealed a higher concentration of esters, fusel alcohols, fatty acids, ketones, and dimethylsulfide, and in particular, acetaldehyde, when compared to the control. IB had a greater proportion of Strecker aldehydes and Maillard products contributing to an increased beer staling character. IB resulted in a 67% darker colour with a trend to better foam stability. It was also found that 78% of the accumulated mycotoxin deoxynivalenol in the malt was transferred into beer. A LAB cell-freesupernatant (cfs), produced in wort-base substrate, was investigated for its ability to inhibit Fusarium growth during malting. Wort was a suitable substrate for LAB exhibiting antifungal activity. Lactobacillus amylovorus DSM19280 inhibited 104 spores.mL-1 for 7 days, after 120 h of fermentation, while Lactobacillus reuteri R29 inhibited 105 spores.mL-1 for 7 days, after 48 h of fermentation. Both LAB cfs had significant different organic acid profiles. Acid-base antifungal compounds were identified and, phenyllactic, hydroxy-phenyllactic, and benzoic acids were present in higher concentrations when compared to the control. A 3 °P wort substrate inoculated With L. reuteri R29 (cfs) was applied in malting and successfully inhibited Fusarium growth by 23%, and mycotoxin DON by 80%. Malt attributes resulted in highly modified grains, lower pH, higher colouration, and higher extract yield. The implementation of selected LAB producing antifungal compounds can be used successfully in the malting process to reduce mould growth and mycotoxin production.

Factors relating to motivation to change behaviour in individuals who are overweight: application of the health belief model

Background: Obesity is the most important health challenge faced at a global level and represents a rapidly growing problem to the health of populations. Given the escalating global health problem of obesity and its co-morbidities, the need to re-appraise its management is more compelling than ever. The normalisation of obesity within our society and the acceptance of higher body weights have led to individuals being unaware of the reality of their weight status and gravity of this situation. Recognition of the problem is a key component of obesity management and it remains especially crucial to address this issue. A large amount of research has been undertaken on obesity however, limited research has been undertaken using the Health Belief Model. Aim: The aim of the research was to determine factors relating to motivation to change behaviour in individuals who perceive themselves to be overweight and investigate whether the constructs of the Health Belief Model help to explain motivation to change behaviour. Method: The research design was quantitative, correlational and cross-sectional. The design was guided by the Health Belief Model. Data Collection: Data were collected online using a multi-section and multi-item questionnaire, developed from a review of the theoretical and empirical research. Descriptive and inferential statistical analyses were employed to describe relationships between variables. Sample: A sample of 202 men and women who perceived themselves to be overweight participated in the research. Results: Following multivariate regression analysis, perceived barriers to weight loss and perceived benefits of weight loss were significant predictors of motivation to change behaviour. The perceived barriers to weight loss which were significant were psychological barriers to weight loss (p =<0.019) and environmental barriers to physical activity (p=<0.032).The greatest predictor of motivation to change behaviour was the perceived benefits of weight loss (p<0.001). Perceived susceptibility to obesity and perceived severity of obesity did not emerge as significant predictors in this model. Total variance explained by the model was 33.5%. Conclusion: Perceived barriers to weight loss and perceived benefits of weight loss are important determinants of motivation to change behaviour. The current study demonstrated the limited applicability of the Health Belief Model constructs to motivation to change behaviour, as not all core dimensions proved significant predictors of the dependant variable.

Synthesis, functionalisation and characterisation of germanium nanocrystals & their applications

In the last two decades, semiconductor nanocrystals have been the focus of intense research due to their size dependant optical and electrical properties. Much is now known about how to control their size, shape, composition and surface chemistry, allowing fine control of their photophysical and electronic properties. However, genuine concerns have been raised regarding the heavy metal content of these materials, which is toxic even at relatively low concentrations and may limit their wide scale use. These concerns have driven the development of heavy metal free alternatives. In recent years, germanium nanocrystals (Ge NCs) have emerged as environmentally friendlier alternatives to II-VI and IV-VI semiconductor materials as they are nontoxic, biocompatible and electrochemically stable. This thesis reports the synthesis and characterisation of Ge NCs and their application as fluorescence probes for the detection of metal ions. A room-temperature method for the synthesis of size monodisperse Ge NCs within inverse micelles is reported, with well-defined core diameters that may be tuned from 3.5 to 4.5 nm. The Ge NCs are chemically passivated with amine ligands, minimising surface oxidation while rendering the NCs dispersible in a range of polar solvents. Regulation of the Ge NCs size is achieved by variation of the ammonium salts used to form the micelles. A maximum quantum yield of 20% is shown for the nanocrystals, and a transition from primarily blue to green emission is observed as the NC diameter increases from 3.5 to 4.5 nm. A polydisperse sample with a mixed emission profile is prepared and separated by centrifugation into individual sized NCs which each showed blue and green emission only, with total suppression of other emission colours. A new, efficient one step synthesis of Ge NCs with in situ passivation and straightforward purification steps is also reported. Ge NCs are formed by co-reduction of a mixture of GeCl4 and n-butyltrichlorogermane; the latter is used both as a capping ligand and a germanium source. The surface-bound layer of butyl chains both chemically passivates and stabilises the Ge NCs. Optical spectroscopy confirmed that these NCs are in the strong quantum confinement regime, with significant involvement of surface species in exciton recombination processes. The PL QY is determined to be 37 %, one of the highest values reported for organically terminated Ge NCs. A synthetic method is developed to produce size monodisperse Ge NCs with modified surface chemistries bearing carboxylic acid, acetate, amine and epoxy functional groups. The effect of these different surface terminations on the optical properties of the NCs is also studied. Comparison of the emission properties of these Ge NCs showed that the wavelength position of the PL maxima could be moved from the UV to the blue/green by choice of the appropriate surface group. We also report the application of water-soluble Ge NCs as a fluorescent sensing platform for the fast, highly selective and sensitive detection of Fe3+ ions. The luminescence quenching mechanism is confirmed by lifetime and absorbance spectroscopies, while the applicability of this assay for detection of Fe3+ in real water samples is investigated and found to satisfy the US Environmental Protection Agency requirements for Fe3+ levels in drinkable water supplies.