Declarative Transport: No More Transport Protocols to Design, Only Policies to Specify

Transport protocols are an integral part of the inter-process communication (IPC) service used by application processes to communicate over the network infrastructure. With almost 30 years of research on transport, one would have hoped that we have a good handle on the problem. Unfortunately, that is not true. As the Internet continues to grow, new network technologies and new applications continue to emerge putting transport protocols in a never-ending flux as they are continuously adapted for these new environments. In this work, we propose a clean-slate transport architecture that renders all possible transport solutions as simply combinations of policies instantiated on a single common structure. We identify a minimal set of mechanisms that once instantiated with the appropriate policies allows any transport solution to be realized. Given our proposed architecture, we contend that there are no more transport protocols to design—only policies to specify. We implement our transport architecture in a declarative language, Network Datalog (NDlog), making the specification of different transport policies easy, compact, reusable, dynamically configurable and potentially verifiable. In NDlog, transport state is represented as database relations, state is updated/queried using database operations, and transport policies are specified using declarative rules. We identify limitations with NDlog that could potentially threaten the correctness of our specification. We propose several language extensions to NDlog that would significantly improve the programmability of transport policies.

NETEMBED: A Network Resource Mapping Service for Distributed Applications

Emerging configurable infrastructures such as large-scale overlays and grids, distributed testbeds, and sensor networks comprise diverse sets of available computing resources (e.g., CPU and OS capabilities and memory constraints) and network conditions (e.g., link delay, bandwidth, loss rate, and jitter) whose characteristics are both complex and time-varying. At the same time, distributed applications to be deployed on these infrastructures exhibit increasingly complex constraints and requirements on resources they wish to utilize. Examples include selecting nodes and links to schedule an overlay multicast file transfer across the Grid, or embedding a network experiment with specific resource constraints in a distributed testbed such as PlanetLab. Thus, a common problem facing the efficient deployment of distributed applications on these infrastructures is that of "mapping" application-level requirements onto the network in such a manner that the requirements of the application are realized, assuming that the underlying characteristics of the network are known. We refer to this problem as the network embedding problem. In this paper, we propose a new approach to tackle this combinatorially-hard problem. Thanks to a number of heuristics, our approach greatly improves performance and scalability over previously existing techniques. It does so by pruning large portions of the search space without overlooking any valid embedding. We present a construction that allows a compact representation of candidate embeddings, which is maintained by carefully controlling the order via which candidate mappings are inserted and invalid mappings are removed. We present an implementation of our proposed technique, which we call NETEMBED – a service that identify feasible mappings of a virtual network configuration (the query network) to an existing real infrastructure or testbed (the hosting network). We present results of extensive performance evaluation experiments of NETEMBED using several combinations of real and synthetic network topologies. Our results show that our NETEMBED service is quite effective in identifying one (or all) possible embeddings for quite sizable queries and hosting networks – much larger than what any of the existing techniques or services are able to handle.

SOVEREIGN: A Self-Organizing, Vision, Expectation, Recognition, Emotion, Intelligent, Goal-Oriented Navigation System

Both animals and mobile robots, or animats, need adaptive control systems to guide their movements through a novel environment. Such control systems need reactive mechanisms for exploration, and learned plans to efficiently reach goal objects once the environment is familiar. How reactive and planned behaviors interact together in real time, and arc released at the appropriate times, during autonomous navigation remains a major unsolved problern. This work presents an end-to-end model to address this problem, named SOVEREIGN: A Self-Organizing, Vision, Expectation, Recognition, Emotion, Intelligent, Goal-oriented Navigation system. The model comprises several interacting subsystems, governed by systems of nonlinear differential equations. As the animat explores the environment, a vision module processes visual inputs using networks that arc sensitive to visual form and motion. Targets processed within the visual form system arc categorized by real-time incremental learning. Simultaneously, visual target position is computed with respect to the animat's body. Estimates of target position activate a motor system to initiate approach movements toward the target. Motion cues from animat locomotion can elicit orienting head or camera movements to bring a never target into view. Approach and orienting movements arc alternately performed during animat navigation. Cumulative estimates of each movement, based on both visual and proprioceptive cues, arc stored within a motor working memory. Sensory cues are stored in a parallel sensory working memory. These working memories trigger learning of sensory and motor sequence chunks, which together control planned movements. Effective chunk combinations arc selectively enhanced via reinforcement learning when the animat is rewarded. The planning chunks effect a gradual transition from reactive to planned behavior. The model can read-out different motor sequences under different motivational states and learns more efficient paths to rewarded goals as exploration proceeds. Several volitional signals automatically gate the interactions between model subsystems at appropriate times. A 3-D visual simulation environment reproduces the animat's sensory experiences as it moves through a simplified spatial environment. The SOVEREIGN model exhibits robust goal-oriented learning of sequential motor behaviors. Its biomimctic structure explicates a number of brain processes which are involved in spatial navigation.

SOVEREIGN: An Autonomous Neural System for Incrementally Learning Planned Action Sequence to Navigate Towards a Rewarded Goal

How do reactive and planned behaviors interact in real time? How are sequences of such behaviors released at appropriate times during autonomous navigation to realize valued goals? Controllers for both animals and mobile robots, or animats, need reactive mechanisms for exploration, and learned plans to reach goal objects once an environment becomes familiar. The SOVEREIGN (Self-Organizing, Vision, Expectation, Recognition, Emotion, Intelligent, Goaloriented Navigation) animat model embodies these capabilities, and is tested in a 3D virtual reality environment. SOVEREIGN includes several interacting subsystems which model complementary properties of cortical What and Where processing streams and which clarify similarities between mechanisms for navigation and arm movement control. As the animat explores an environment, visual inputs are processed by networks that are sensitive to visual form and motion in the What and Where streams, respectively. Position-invariant and sizeinvariant recognition categories are learned by real-time incremental learning in the What stream. Estimates of target position relative to the animat are computed in the Where stream, and can activate approach movements toward the target. Motion cues from animat locomotion can elicit head-orienting movements to bring a new target into view. Approach and orienting movements are alternately performed during animat navigation. Cumulative estimates of each movement are derived from interacting proprioceptive and visual cues. Movement sequences are stored within a motor working memory. Sequences of visual categories are stored in a sensory working memory. These working memories trigger learning of sensory and motor sequence categories, or plans, which together control planned movements. Predictively effective chunk combinations are selectively enhanced via reinforcement learning when the animat is rewarded. Selected planning chunks effect a gradual transition from variable reactive exploratory movements to efficient goal-oriented planned movement sequences. Volitional signals gate interactions between model subsystems and the release of overt behaviors. The model can control different motor sequences under different motivational states and learns more efficient sequences to rewarded goals as exploration proceeds.

Evaluation of Speaker Normalization Methods for Vowel Recognition Using Fuzzy ARTMAP and K-NN

A procedure that uses fuzzy ARTMAP and K-Nearest Neighbor (K-NN) categorizers to evaluate intrinsic and extrinsic speaker normalization methods is described. Each classifier is trained on preprocessed, or normalized, vowel tokens from about 30% of the speakers of the Peterson-Barney database, then tested on data from the remaining speakers. Intrinsic normalization methods included one nonscaled, four psychophysical scales (bark, bark with end-correction, mel, ERB), and three log scales, each tested on four different combinations of the fundamental (Fo) and the formants (F1 , F2, F3). For each scale and frequency combination, four extrinsic speaker adaptation schemes were tested: centroid subtraction across all frequencies (CS), centroid subtraction for each frequency (CSi), linear scale (LS), and linear transformation (LT). A total of 32 intrinsic and 128 extrinsic methods were thus compared. Fuzzy ARTMAP and K-NN showed similar trends, with K-NN performing somewhat better and fuzzy ARTMAP requiring about 1/10 as much memory. The optimal intrinsic normalization method was bark scale, or bark with end-correction, using the differences between all frequencies (Diff All). The order of performance for the extrinsic methods was LT, CSi, LS, and CS, with fuzzy AHTMAP performing best using bark scale with Diff All; and K-NN choosing psychophysical measures for all except CSi.

Speaker Normalization Methods for Vowel Cognition: Comparative Analysis Using Neural Network and Nearest Neighbor Classifiers

Intrinsic and extrinsic speaker normalization methods are systematically compared using a neural network (fuzzy ARTMAP) and L1 and L2 K-Nearest Neighbor (K-NN) categorizers trained and tested on disjoint sets of speakers of the Peterson-Barney vowel database. Intrinsic methods include one nonscaled, four psychophysical scales (bark, bark with endcorrection, mel, ERB), and three log scales, each tested on four combinations of F0 , F1, F2, F3. Extrinsic methods include four speaker adaptation schemes, each combined with the 32 intrinsic methods: centroid subtraction across all frequencies (CS), centroid subtraction for each frequency (CSi), linear scale (LS), and linear transformation (LT). ARTMAP and KNN show similar trends, with K-NN performing better, but requiring about ten times as much memory. The optimal intrinsic normalization method is bark scale, or bark with endcorrection, using the differences between all frequencies (Diff All). The order of performance for the extrinsic methods is LT, CSi, LS, and CS, with fuzzy ARTMAP performing best using bark scale with Diff All; and K-NN choosing psychophysical measures for all except CSi.

A Self-Organizing Neural Model of Motor Equivalent Reaching and Tool Use by a Multijoint Arm

This paper describes a self-organizing neural model for eye-hand coordination. Called the DIRECT model, it embodies a solution of the classical motor equivalence problem. Motor equivalence computations allow humans and other animals to flexibly employ an arm with more degrees of freedom than the space in which it moves to carry out spatially defined tasks under conditions that may require novel joint configurations. During a motor babbling phase, the model endogenously generates movement commands that activate the correlated visual, spatial, and motor information that are used to learn its internal coordinate transformations. After learning occurs, the model is capable of controlling reaching movements of the arm to prescribed spatial targets using many different combinations of joints. When allowed visual feedback, the model can automatically perform, without additional learning, reaches with tools of variable lengths, with clamped joints, with distortions of visual input by a prism, and with unexpected perturbations. These compensatory computations occur within a single accurate reaching movement. No corrective movements are needed. Blind reaches using internal feedback have also been simulated. The model achieves its competence by transforming visual information about target position and end effector position in 3-D space into a body-centered spatial representation of the direction in 3-D space that the end effector must move to contact the target. The spatial direction vector is adaptively transformed into a motor direction vector, which represents the joint rotations that move the end effector in the desired spatial direction from the present arm configuration. Properties of the model are compared with psychophysical data on human reaching movements, neurophysiological data on the tuning curves of neurons in the monkey motor cortex, and alternative models of movement control.

The s-mote: a versatile heterogeneous multi-radio platform for wireless sensor networks applications

This paper presents a novel architecture and its implementation for a versatile, miniaturised mote which can communicate concurrently using a variety of combinations of ISM bands, has increased processing capability, and interoperability with mainstream GSM technology. All these features are integrated in a small form factor platform. The platform can have many configurations which could satisfy a variety of applications’ constraints. To the best of our knowledge, it is the first integrated platform of this type reported in the literature. The proposed platform opens the way for enhanced levels of Quality of Service (QoS), with respect to reliability, availability and latency, in addition to facilitating interoperability and power reduction compared to existing platforms. The small form factor also allows potential of integration with other mobile platforms including smart phones.

Micropropagation of Begonia and a study of genome stability in Begonia rex

The development of procedures and media for the micropropagation of B. rex are described. Media for the production of plantlets from a number of other Begonia hybrids are also provided. Growth analysis data is given for plants produced in vivo from leaf cuttings and in vitro from mature leaf petioles and immature leaves derived from singly and multiply recycled axenic plantlets. No significant difference was found in phenotype or quantitative vegetative characters for any of the populations assessed. The results presented from studies on the development of broad spectrum media for the propagation of a number of B. rex cultivars using axenic leaf explants on factorial combinations of hormones illustrate the major influence played by the genotype on explant response in vitro and suggest media on which a range of B. rex cultivars may be propagated. Procedures for in vitro irradiation and colchicine treatments to destabilize the B. rex genome have also been described. Variants produced from these treatments indicate the utility of in vitro procedures for the expression of induced somatic variation. Colour variants produced from irradiation treatment have been cultured and prove stable. Polyploids produced as variants from irradiation treatment have been subcultured but prove unstable. Media for the induction and proliferation of callus are outlined. The influence of callus subculture and aging on the stability of the B. rex genome is assessed by chromosomal analysis of cells, in vitro and in regenerants. The B. rex genome is destabilized in callus culture but attenuation of variation occurs on regeneration. Diploid cell lines are maintained in callus subcultures and supplementation of regenerative media with high cytokinin concentrations, casein hydrolysate or adenine failed to produce variants. Callus aging however resulted in the production of polyploids. The presence and expression of pre-existing somatic variation in B. rex pith and root tissue is assessed and polyploids have been produced from pith tissues cultured in vitro. The stability of the B. rex genome and the application of tissue culture to micropropagation and breeding of B. rex are discussed.

Finding optimal alternatives based on efficient comparative preference inference

Choosing the right or the best option is often a demanding and challenging task for the user (e.g., a customer in an online retailer) when there are many available alternatives. In fact, the user rarely knows which offering will provide the highest value. To reduce the complexity of the choice process, automated recommender systems generate personalized recommendations. These recommendations take into account the preferences collected from the user in an explicit (e.g., letting users express their opinion about items) or implicit (e.g., studying some behavioral features) way. Such systems are widespread; research indicates that they increase the customers' satisfaction and lead to higher sales. Preference handling is one of the core issues in the design of every recommender system. This kind of system often aims at guiding users in a personalized way to interesting or useful options in a large space of possible options. Therefore, it is important for them to catch and model the user's preferences as accurately as possible. In this thesis, we develop a comparative preference-based user model to represent the user's preferences in conversational recommender systems. This type of user model allows the recommender system to capture several preference nuances from the user's feedback. We show that, when applied to conversational recommender systems, the comparative preference-based model is able to guide the user towards the best option while the system is interacting with her. We empirically test and validate the suitability and the practical computational aspects of the comparative preference-based user model and the related preference relations by comparing them to a sum of weights-based user model and the related preference relations. Product configuration, scheduling a meeting and the construction of autonomous agents are among several artificial intelligence tasks that involve a process of constrained optimization, that is, optimization of behavior or options subject to given constraints with regards to a set of preferences. When solving a constrained optimization problem, pruning techniques, such as the branch and bound technique, point at directing the search towards the best assignments, thus allowing the bounding functions to prune more branches in the search tree. Several constrained optimization problems may exhibit dominance relations. These dominance relations can be particularly useful in constrained optimization problems as they can instigate new ways (rules) of pruning non optimal solutions. Such pruning methods can achieve dramatic reductions in the search space while looking for optimal solutions. A number of constrained optimization problems can model the user's preferences using the comparative preferences. In this thesis, we develop a set of pruning rules used in the branch and bound technique to efficiently solve this kind of optimization problem. More specifically, we show how to generate newly defined pruning rules from a dominance algorithm that refers to a set of comparative preferences. These rules include pruning approaches (and combinations of them) which can drastically prune the search space. They mainly reduce the number of (expensive) pairwise comparisons performed during the search while guiding constrained optimization algorithms to find optimal solutions. Our experimental results show that the pruning rules that we have developed and their different combinations have varying impact on the performance of the branch and bound technique.

Preparation and characterisation of ceria particles

Cerium dioxide (ceria) nanoparticles have been the subject of intense academic and industrial interest. Ceria has a host of applications but academic interest largely stems from their use in the modern automotive catalyst but it is also of interest because of many other application areas notably as the abrasive in chemical-mechanical planarisation of silicon substrates. Recently, ceria has been the focus of research investigating health effects of nanoparticles. Importantly, the role of non-stoichiometry in ceria nanoparticles is implicated in their biochemistry. Ceria has well understood non-stoichiometry based around the ease of formation of anion vacancies and these can form ordered superstructures based around the fluorite lattice structure exhibited by ceria. The anion vacancies are associated with localised or small polaron states formed by the electrons that remain after oxygen desorption. In simple terms these electrons combine with Ce4+ states to form Ce3+ states whose larger ionic radii is associated with a lattice expansion compared to stoichiometric CeO2. This is a very simplistic explanation and greater defect chemistry complexity is suggested by more recent work. Various authors have shown that vacancies are mobile and may result in vacancy clustering. Ceria nanoparticles are of particular interest because of the high activity and surface area of small particulates. The sensitivity of the cerium electronic band structure to environment would suggest that changes in the properties of ceria particles at nanoscale dimensions might be expected. Notably many authors report a lattice expansion with reducing particle size (largely confined to sub-10 nm particles). Most authors assign increased lattice dimensions to the presence of a surface stable Ce2O3 type layer at low nanoparticle dimensions. However, our understanding of oxide nanoparticles is limited and their full and quantitative characterisation offers serious challenges. In a series of chemical preparations by ourselves we see little evidence of a consistent model emerging to explain lattice parameter changes with nanoparticle size. Based on these results and a review of the literature it is worthwhile asking if a model of surface enhanced defect concentration is consistent with known cerium/cerium oxide chemistries, whether this is applicable to a range of different synthesis methods and if a more consistent description is possible. In Chapter one the science of cerium oxide is outlined including the crystal structure, defect chemistry and different oxidation states available. The uses and applications of cerium oxide are also discussed as well as modelling of the lattice parameter and the doping of the ceria lattice. Chapter two describes both the synthesis techniques and the analytical methods employed to execute this research. Chapter three focuses on high surface area ceria nano-particles and how these have been prepared using a citrate sol-gel precipitation method. Changes to the particle size have been made by calcining the ceria powders at different temperatures. X-ray diffraction methods were used to determine their lattice parameters. The particles sizes were also assessed using transmission electron microscopy (TEM), scanning electron microscopy (SEM), and BET, and, the lattice parameter was found to decrease with decreasing particle size. The results are discussed in light of the role played by surface tension effects. Chapter four describes the morphological and structural characterization of crystalline CeO2 nanoparticles prepared by forward and reverse precipitation techniques and compares these by powder x-ray diffraction (PXRD), nitrogen adsorption (BET) and high resolution transmission electron microscopy (HRTEM) analysis. The two routes give quite different materials although in both cases the products are essentially highly crystalline, dense particulates. It was found that the reverse precipitation technique gave the smallest crystallites with the narrowest size dispersion. This route also gave as-synthesised materials with higher surface areas. HRTEM confirmed the observations made from PXRD data and showed that the two methods resulted in quite different morphologies and surface chemistries. The forward route gives products with significantly greater densities of Ce3+ species compared to the reverse route. Data are explained using known precipitation chemistry and kinetic effects. Chapter five centres on the addition of terbia to ceria and has been investigated using XRD, XRF, XPS and TEM. Good solid solutions were formed across the entire composition range and there was no evidence for the formation of mixed phases or surface segregation over either the composition or temperature range investigated. Both Tb3+ and Tb4+ ions exist within the solution and the ratios of these cations are consistent with the addition of Tb8O15 to the fluorite ceria structure across a wide range of compositions. Local regions of anion vacancy ordering may be visible for small crystallites. There is no evidence of significant Ce3+ ion concentrations formed at the surface or in the bulk by the addition of terbia. The lattice parameter of these materials was seen to decrease with decreasing crystallite size. This is consistent with increased surface tension effects at small dimension. Chapter six reviews size related lattice parameter changes and surface defects in ceria nanocrystals. Ceria (CeO2) has many important applications, notably in catalysis. Many of its uses rely on generating nanodimensioned particles. Ceria has important redox chemistry where Ce4+ cations can be reversibly reduced to Ce3+ cations and associated anion vacancies. The significantly larger size of Ce3+ (compared with Ce4+) has been shown to result in lattice expansion. Many authors have observed lattice expansion in nanodimensioned crystals (nanocrystals), and these have been attributed to the presence of stabilized Ce3+ -anion vacancy combinations in these systems. Experimental results presented here show (i) that significant, but complex changes in the lattice parameter with size can occur in 2-500 nm crystallites, (ii) that there is a definitive relationship between defect chemistry and the lattice parameter in ceria nanocrystals, and (iii) that the stabilizing mechanism for the Ce3+ -anion vacancy defects at the surface of ceria nanocrystals is determined by the size, the surface status, and the analysis conditions. In this work, both lattice expansion and a more unusual lattice contraction in ultrafine nanocrystals are observed. The lattice deformations seen can be defined as a function of both the anion vacancy (hydroxyl) concentration in the nanocrystal and the intensity of the additional pressure imposed by the surface tension on the crystal. The expansion of lattice parameters in ceria nanocrystals is attributed to a number of factors, most notably, the presence of any hydroxyl moieties in the materials. Thus, a very careful understanding of the synthesis combined with characterization is required to understand the surface chemistry of ceria nanocrystals.

Characterisation of bacteriophage-host interactions in Lactococcus lactis

Lactococcus lactis is used extensively world-wide for the production of fermented dairy products. Bacteriophages (phages) infecting L. lactis can result in slow or incomplete fermentations, or may even cause total fermentation failure. Therefore, bacteriophages disrupting L. lactis fermentation are of economic concern. This thesis employed a multifaceted approach to investigate various molecular aspects of phage-host interaction in L. lactis. The genome sequence of an Irish dairy starter strain, the prophage-cured L. lactis subsp. cremoris UC509.9, was studied. The 2,250,427 bp circular chromosome represents the smallest among its sequenced lactococcal equivalents. The genome displays clear genetic adaptation to the dairy niche in the form of extensive reductive evolution. Gene prediction identified 2066 protein-encoding genes, including 104 which showed significant homology to transposase-specifying genes. Over 9 % of the identified genes appear to be inactivated through stop codons or frame shift mutations. Many pseudogenes were found in genes that are assigned to carbohydrate and amino acid transport and metabolism orthologous groups, reflecting L. lactis UC509.9’s adaptation to the lactose and casein-rich dairy environment. Sequence analysis of the eight plasmids of L. lactis revealed extensive adaptation to the dairy environment. Key industrial phenotypes were mapped and novel lactococcal plasmid-associated genes highlighted. In addition to chromosomally-encoded bacteriophage resistance systems, six functional such systems were identified, including two abortive infection systems, AbiB and AbiD1, explaining the observed phage resistance of L. lactis UC509.9 Molecular analysis suggests that the constitutive expression of AbiB is not lethal to cells, suggesting the protein is expressed in an un/inactivated form. Analysis of 936 species phage sk1-escape mutants of AbiB revealed that all such mutants harbour mutations in orf6, which encodes the major capsid protein. Results suggest that the major capsid protein is required for activation of the AbiB system, although this requires furrther investigations. Temporal transcriptomes of L. lactis UC509.9 undergoing lytic infection with either one of two distinct bacteriophages, Tuc2009 and c2, was determined and compared to the transcriptome of uninfected UC509.9 cells. Whole genome microarrays performed at various time-points post-infection demonstrated a rather modest impact on host transcription. Alterations in the UC509.9 transcriptome during lytic infection appear phage-specific, with a relatively small number of differentially transcribed genes shared between infection with either Tuc2009 or c2. Transcriptional profiles of both bacteriophages during lytic infection was shown to generally correlate with previous studies and allowed the confirmation of previously predicted promoter sequences. Bioinformatic analysis of genomic regions encoding the presumed cell wall polysaccharide (CW PS) biosynthesis gene cluster of several strains of L. lactis was performed. Results demonstrate the presence of three dominant genetic types of this gene cluster, termed type A, B and C. These regions were used for the development of a multiplex PCR to identify CW PS genotype of various lactococcal strains. Analysis of 936 species phage receptor binding protein phylogeny (RBP) and CW PS genotype revealed an apparent correlation between RBP phylogeny and CW PS type, thereby providing a partial explanation for the observed narrow host range of 936 phages. Further analysis of the genetic locus encompassing the presumed CW PS biosynthesis operon of eight strains identified as belonging to the CW PS C (geno)type, revealed the presence of a variable region among the examined strains. The obtained comparative analysis allowed for the identification of five subgroups of the C type, named C1 to C5. We purified an acidic polysaccharide from the cell wall of L. lactis 3107 (C2 subtype) and confirmed that it is structurally different from the CW PS of the C1 subtype L. lactis MG1363. Combinations of genes from the variable region of C2 subtype were amplified from L. lactis 3107 and introduced into a mutant of the C1 subtype L. lactis NZ9000 (a direct derivative of MG1363) deficient in CW PS biosynthesis. The resulting recombinant mutant synthesized a CW PS with a composition characteristic for that of the C2 subtype L. lactis 3107 and not the wildtype C1 L. lactis NZ9000. The recombinant mutant exhibited a changed phage resistance/sensitivity profile consistent with that of L. lactis 3107, which unambiguously demonstrated that L. lactis 3107 CW PS is the host cell surface receptor of two bacteriophages belonging to the P335 species as well as phages that are member of the 936 species. The research presented in this thesis has significantly advanced our understanding of L. lactis bacteriophage-host interactions in several ways. Firstly, the examination of plasmidencoded bacteriophage resistance systems has allowed inferences to be made regarding the mode of action of AbiB, thereby providing a platform for further elucidation of the molecular trigger of this system. Secondly, the phage infection transcriptome data presented, in addition to previous work, has made L. lactis a model organism in terms of transcriptomic studies of bacteriophage-host interactions. And finally, the research described in this thesis has for the first time explicitly revealed the nature of a carbohydrate bacteriophage receptor in L. lactis, while also providing a logical explanation for the observed narrow host ranges exhibited by 936 and P335 phages. Future research in discerning the structures of other L. lactis CW PS, combined with the determination of the molecular interplay between receptor binding proteins of these phages and CW PS will allow an in depth understanding of the mechanism by which the most prevalent lactococcal phages identify and adsorb to their specific host.

Investigation of lantibiotic regulation, immunity and synergy

Due to the increasing incidence of antibiotic resistant strains, the use of novel antimicrobials, such as bacteriocins, has become an ever more likely prospect. Lacticin 3147 (of which there are two components, Ltnα and Ltnβ) and nisin belong to the subgroup of bacteriocins called the lantibiotics, which has attracted much attention in recent years. The lantibiotics are antimicrobial peptides that contain unusual amino acids resulting from a series of enzyme-mediated post translational modifications. Given that there have been relatively few examples of lantibiotic-specific resistance; these antimicrobials appear to represent valid alternatives to classical antibiotics. However, the fact that lantibiotics are naturally only produced in small amounts often hinders their commercialisation. In order to overcome this bottleneck, several approaches can be employed. For example, we can create a situation that reduces the quantity of a lantibiotic required to inhibit a target by combining it with other antimicrobials. Here, following an initial screen involving lacticin 3147 and several classical antibiotics, it was observed between lacticin 3147 and the commercial antibiotics polymyxin B/E function synergistically. This reduced the amounts of the individual antimicrobials required for kill and broadened the spectrum of inhibition of both agents. Upon combination with polymyxins, lacticin 3147, which has been associated with Gram positive targets only, actively targeted Gram negative species such as Escherichia coli and Cronobacter sp. An alternative means of addressing problems associated with lantibiotic yield is to better understand how production is regulated, and ultimately use this information to enhance peptide levels. With this in mind the regulation of lacticin 3147 production from the promoter Pbac was investigated using a green fluorescent protein (GFP) expression reporter system. This revealed that elements within both of the divergent operons of the lacticin 3147 gene cluster are involved in Pbac regulation. That is, LtnR, already established as a negative regulator of itself and the lacticin 3147 associated immunity genes, also acts as an activator of Pbac transcription. In contrast, an enhanced level of expression is observed in the absence of the lacticin 3147 structural genes, ltnA1 and ltnA2, indicating that these genes/gene products are involved in Pbac repression. In fact, through complementation of the ltnA2 gene, it was revealed that this regulation is more likely to be dependent on the presence of the gene transcript rather that the corresponding prepropeptide or modified Ltnβ. It may be that if lacticin 3147 production is successfully enhanced, the ability of the producing cell to protect itself may become an issue. To prepare for such a possibility a bioengineered derivative of the lacticin 3147 immunity protein LtnI (LtnI I81V) which provides enhanced protection was discovered through an in depth investigation involving the site and saturation mutagenesis of this protein. In addition, the creation of truncated forms of LtnI allowed the identification of important and essential regions of this immunity protein. Finally, as mentioned, self-immunity is essential to prevent self-killing. However the discovery of nisin U immunity and regulatory gene homologues (spiFEGRR’K) within the pathogenic strain S. infantarius subsp. infantarius is a cause for concern as it represents an example of immune mimicry, a form of lantibiotic-specific resistance. The ability of spiFEG to confer protection was apparent when they successfully provided protection to nisin A, F, Z, Q and U when expressed heterologously in the nisin sensitive L. lactis HP host. As a consequence of the studies presented in this thesis, it is likely that strategies will emerge that will facilitate the production of greater levels of lacticin 3147 production and lead to enhanced immunity in lactococcal backgrounds. Alternatively the need for enhanced production could be avoided through the use of antimicrobial combinations. In addition, providing awareness of the threats of the emergence of resistance through immune mimicry can allow researchers to develop strategies to prevent this phenomenon from leading to the dissemination of lantibiotic resistance.

Thuricin CD: a potential therapeutic targeted against Clostridium difficile-associated diarrhea (CDAD)

Clostridium difficile is mainly a nosocomial pathogen and is a significant cause of antibioticassociated diarrhea. It is also implicated in the majority of cases of pseudomembranous colitis. The main etiological agent of C. difficile-associated diarrhea (CDAD) is perturbations to the gut microbiota by broad-spectrum antibiotics. Recently, thuricin CD, a two-peptide narrow spectrum sactibiotic bacteriocin with potent activity against C. difficile has been discovered. It is produced by Bacillus thuringiensis DPC6431. The efficacy of thuricin CD against a range of C. difficile clinical isolates has been determined in the form of minimum inhibitory concentration (MIC) values and compared to metronidazole, vancomycin, ramoplanin and actagardine in this thesis. Furthermore, by assessing paired combinations of the above-mentioned antimicrobials, it was determined that ramoplanin and actagardine function in a synergistic manner against the majority of C. difficile isolates. The functions of the genes in the thuricin CD gene cluster have also been elucidated by cloning the cluster and expressing thuricin CD in a heterologous Bacillus subtilis host and are described herein. In addition, the immunity mechanisms employed by the B. thuringiensis DPC6431 producer to protect itself from the antimicrobial actions of thuricin CD have also been elucidated. It has been shown that a small immunity peptide, TrnI, is involved in thuricin CD immunity, most likely by intercepting the thuricin CD peptides and/or blocking their access to the thuricin CD receptor. This immunity peptide and also the ABC-transporter system TrnFG serve to protect the B. thuringiensis host against thuricin CD.

Investigation of population genetic structure and mating system in the ant Pheidole pallidula

The origin of eusociality in haplo-diploid organisms such as Hymenoptera has been mostly explained by kin selection. However, several studies have uncovered decreased relatedness values within colonies, resulting primarily from multiple queen matings (polyandry) and/or from the presence of more than one functional queen (polygyny). Here, we report on the use of microsatellite data for the investigation of sociogenetic parameters, such as relatedness, and levels of polygyny and polyandry, in the ant Pheidole pallidula. We demonstrate, through analysis of mother-offspring combinations and the use of direct sperm typing, that each queen is inseminated by a single male. The inbreeding coefficient within colonies and the levels of relatedness between the queens and their mate are not significantly different from zero, indicating that matings occur between unrelated individuals. Analyses of worker genotypes demonstrate that 38% of the colonies are polygynous with 2-4 functional queens, and suggest the existence of reproductive skew, i.e. unequal respective contribution of queens to reproduction. Finally, our analyses indicate that colonies are genetically differentiated and form a population exhibiting significant isolation-by-distance, suggesting that some colonies originate through budding.