Safe Compositional Specification of Network Systems With Polymorphic, Constrained Types

In the framework of iBench research project, our previous work created a domain specific language TRAFFIC [6] that facilitates specification, programming, and maintenance of distributed applications over a network. It allows safety property to be formalized in terms of types and subtyping relations. Extending upon our previous work, we add Hindley-Milner style polymorphism [8] with constraints [9] to the type system of TRAFFIC. This allows a programmer to use for-all quantifier to describe types of network components, escalating power and expressiveness of types to a new level that was not possible before with propositional subtyping relations. Furthermore, we design our type system with a pluggable constraint system, so it can adapt to different application needs while maintaining soundness. In this paper, we show the soundness of the type system, which is not syntax-directed but is easier to do typing derivation. We show that there is an equivalent syntax-directed type system, which is what a type checker program would implement to verify the safety of a network flow. This is followed by discussion on several constraint systems: polymorphism with subtyping constraints, Linear Programming, and Constraint Handling Rules (CHR) [3]. Finally, we provide some examples to illustrate workings of these constraint systems.

The study of molecular variation in Atlantic salmon (Salmo salar L.) and brown trout (Salmo trutta L.)

Polymorphic microsatellite DNA loci were used here in three studies, one on Salmo salar and two on S. trutta. In the case of S. salar, the survival of native fish and non-natives from a nearby catchment, and their hybrids, were compared in a freshwater common garden experiment and subsequently in ocean ranching, with parental assignment utilising microsatellites. Overall survival of non-natives was 35% of natives. This differential survival was mainly in the oceanic phase. These results imply a genetic basis and suggest local adaptation can occur in salmonids across relatively small geographic distances which may have important implications for the management of salmon populations. In the first case study with S trutta, the species was investigated throughout its spread as an invasive in Newfoundland, eastern Canada. Genetic investigation confirmed historical records that the majority of introductions were from a Scottish hatchery and provided a clear example of the structure of two expanding waves of spread along coasts, probably by natural straying of anadromous individuals, to the north and south of the point of human introduction. This study showed a clearer example of the genetic anatomy of an invasion than in previous studies with brown trout, and may have implications for the management of invasive species in general. Finally, the genetics of anadromous S. trutta from the Waterville catchment in south western Ireland were studied. Two significantly different population groupings, from tributaries in geographically distinct locations entering the largest lake in the catchment, were identified. These results were then used to assign very large rod caught sea trout individuals (so called “specimen” sea trout) back to region of origin, in a Genetic Stock Identification exercise. This suggested that the majority of these large sea trout originated from one of the two tributary groups. These results are relevant for the understanding of sea trout population dynamics and for the future management of this and other sea trout producing catchments. This thesis has demonstrated new insights into the population structuring of salmonids both between and within catchments. While these chapters look at the existence and scale of genetic variation from different angles, it might be concluded that the overarching message from this thesis should be to highlight the importance of maintaining genetic diversity in salmonid populations as vital for their long-term productivity and resilience.

Plastid microsatellites for the study of genetic variability in the widespread Cephalanthera longifolia, C. damasonium and C. rubra (Neottieae, Orchidaceae), and cross-amplification in other Cephalanthera species

Plastid microsatellite loci developed for Cephalanthera longifolia were used to examine the level of genetic variation within and between populations of the three widespread Cephalanthera species (C. damasonium, C. longifolia and C. rubra). The most detailed sampling was in C. longifolia (42 localities from Ireland to China; 147 individuals). Eight haplotypes were detected. One was detected in the vast majority of individuals and occurred from Ireland to Iran. Three others were only found in Europe (Ireland to Italy, England to Italy and Austria to Croatia). Two were only found in the Middle East and two only in Asia. In C. damasonium, 21 individuals from 10 populations (England to Turkey) were sampled. Only one haplotype was detected. In C. rubra, 34 individuals from eight populations (England to Turkey) were sampled. Although it was not possible to amplify all loci for all samples of this species, nine haplotypes were detected. Short alleles for the trnS-trnG region found in two populations of C. rubra were characterized by sequencing and were caused by deletions of 26 and 30 base pairs. At this level of sampling, it appears that C. rubra shows the greatest genetic variability. Cephalanthera longifolia, C. rubra and C. damasonium have previously been characterized as outbreeding, outbreeding with facultative vegetative reproduction and inbreeding, respectively. Patterns of genetic variation here are discussed in the light of these reproductive system differences. The primers used in these three species of Cephalanthera were also demonstrated to amplify these loci in another five species (C. austiniae, C. calcarata, C. epipactoides, C. falcata and C. yunnanensis). Although it is sometimes treated as a synonym of C. damasonium, the single sample of C. yunnanensis from China had a markedly different haplotype from that found in C. damasonium. All three loci were successfully amplified in two achlorophyllous, myco-heterotrophic species, C. austinae and C. calcarata. © 2010 The Linnean Society of London.

Genotyping an Emiliania huxleyi (Prymnesiophyceae) bloom event in the North Sea reveals evidence of asexual reproduction

Due to the unprecedented rate at which our climate is changing, the ultimate consequence for many species is likely to be either extinction or migration to an alternate habitat. Certain species might, however, evolve at a rate that could make them resilient to the effects of a rapidly changing environment. This scenario is most likely to apply to species that have large population sizes and rapid generation times, such that the genetic variation required for adaptive evolution can be readily supplied. Emiliania huxleyi (Lohm.) Hay and Mohler (Prymnesiophyceae) is likely to be such a species as it is the most conspicuous extant calcareous phytoplankton species in our oceans with generation times of 1 day−1. Here we report on a validated set of microsatellites, in conjunction with the coccolithophore morphology motif genetic marker, to genotype 93 clonal isolates collected from across the world. Of these, 52 came from a single bloom event in the North Sea collected on the D366 UK Ocean Acidification cruise in June-July 2011. There were 26 multilocus genotypes (MLGs) encountered only once in the North Sea bloom and 8 MLGs encountered twice or up to six times. Each of these repeated MLGs exhibited Psex values of less than 0.05 indicating each repeated MLG was the product of asexual reproduction and not separate meiotic events. In addition, we show that the two most polymorphic microsatellite loci, EHMS37 and P01E05, are reporting on regions likely undergoing rapid genetic drift during asexual reproduction. Despite the small sample size, there were many more repeated genotypes than previously reported for other bloom-forming phytoplankton species, including a previously genotyped E. huxleyi bloom event. This study challenges our current assumption that sex is the predominant mode of reproduction during bloom events. Whilst genetic diversity is high amongst extant populations of E. huxleyi, the root cause for this diversity and ultimate fate of these populations still requires further examination. Nonetheless, we show that certain CMM genotypes are found everywhere; while others appear to have a regional bias.

The application of randomly amplified polymorphic DNA (RAPD's) to the study of Lasaea rubra (Montagu).

This paper describes the random amplification of polymorphic DNA markers (RAPDs) in Lasaea rubra (Erycinidae: Bivalvia). Present evidence suggests that L. rubra is an asexual species; however, the exact mode of clonal reproduction in this species is still a matter of debate. In this preliminary study, four of the primers used generated polymorphic RAPDs. One primer was able to distinguish between individuals from the same or different crevice population. This same primer also resolved a single band difference between otherwise identical RAPD patterns of a parent and its offspring. No familial differences have been detected in several previous studies using allozyme electrophoresis. This paper suggests that many polymorphic markers could be obtained with this species using the RAPD technique. Population genetic analysis of L. rubra has long been hampered by a dearth of polymorphic markers due to its small size. These findings suggest that this technique has the potential to further the study of population genetics in this asexual species.

Chloroplast microsatellites: new tools for studies in plant ecology and systematics

The nonrecombinant, uniparentally inherited nature of organelle genomes
makes them useful tools for evolutionary studies. However, in plants, detecting
useful polymorphism at the population level is often difficult because of the
low level of substitutions in the chloroplast genome, and because of the slow
substitution rates and intramolecular recombination of mtDNA. Chloroplast
microsatellites represent potentially useful markers to circumvent this problem
and, to date, studies have demonstrated high levels of intraspecific variability.
Here,we discuss the use of these markers in ecological and evolutionary
studies of plants, as well as highlighting some of the potential problems
associated with such use.

Psychotic symptoms in Alzheimer's disease are not influenced by polymorphic variation at the dopamine receptor DRD3 gene

It has been suggested that genetic influences unmasked during neurodevelopment to produce schizophrenia may appear throughout neurodegeneration to produce AD plus psychosis. Risk of schizophrenia and psychosis in Alzheimer's disease (AD) has been linked to polymorphic variation at the dopamine receptor DRD3 gene implying similar causative mechanisms. We tested this association in a large cohort of Alzheimer's disease patients with a diagnosis of probable AD of 3 years or more duration from the relatively genetically homogenous Northern Irish population. We assessed relationships between genotypes/alleles of the DRD3 BalI polymorphism and the presence or absence of psychotic symptoms (delusions, hallucinations) in AD patients during the month prior to interview and at any stage during the dementia. No significant associations were found when delusions and hallucinations were cross-tabulated against S and G alleles and SS, SG and GG genotypes. Logistic regression failed to detect any influence of APOE, gender, family history or prior psychiatric history. In conclusion, we were unable to confirm previously reported associations between the DRD3 BalI polymorphism and psychotic symptoms in AD.

Complex sociogenetic organization and reproductive skew in a primitively eusocial sweat bee, Lasioglossum malachurum, as revealed by microsatellites

The sweat bees (Family Halictidae) are a socially diverse taxon in which eusociality has arisen independently numerous times. The obligate, primitively eusocial Lasioglossum malachurum, distributed widely throughout Europe, has been considered the zenith of sociality within halictids. A single queen heads a colony of smaller daughter workers which, by mid-summer, produce new sexuals (males and gynes), of which only the mated gynes overwinter to found new colonies the following spring. We excavated successfully 18 nests during the worker- and gyne-producing phases of the colony cycle and analysed each nest's queen and either all workers or all gynes using highly variable microsatellite loci developed specifically for this species. Three important points arise from our analyses. First, queens are facultatively polyandrous (queen effective mating frequency: range 1–3, harmonic mean 1.13). Second, queens may head colonies containing unrelated individuals (n = 6 of 18 nests), most probably a consequence of colony usurpation during the early phase of the colony cycle before worker emergence. Third, nonqueen's workers may, but the queen's own workers do not, lay fertilized eggs in the presence of the queen that successfully develop into gynes, in agreement with so-called 'concession' models of reproductive skew

Functional comparison of the endothelial nitric oxide synthase Glu298Asp polymorphic variants in human endothelial cells

The G894T endothelial nitric oxide synthase (eNOS) polymorphism results in a Glu to Asp substitution at position 298. This position is located externally on the protein and as the regulation of eNOS is dependent on its subcellular localization and interaction with modulatory proteins, we aimed to address whether the substitution of Asp at 298 had any effect on these mechanisms. Initially, we developed a novel method to accurately determine molar quantities of each variant by expressing them as green fluorescent protein (GFP) fusion proteins and using recombinant adenoviruses to facilitate transient infection of human microvascular endothelial cells. Sodium dodecyl sulphate-polyacrylamide gel electrophoresis and Western blotting of eNOS298Asp revealed a 135-kDa proteolytic fragment which was not present with eNOS298Glu. This proteolysis was prevented by using LDS buffer confirming that this differential cleavage is an artefact of sample preparation and unlikely to occur intracellularly. Nitric oxide was measured following stimulation with calcium ionophore or oestrogen in the presence of varying sepiapterin concentrations. GFP fluorescence was used to quantify the amount of fusion protein and calculate intracellular specific activity. There was no significant difference in intracellular specific activity between Glu298 and Asp298 eNOS in response to calcium ionophore or oestrogen. Tetrahydrobiopterin supplementation increased eNOS activity of both variants in an identical manner. The presence of the GFP also facilitated the visualization of the variants by confocal microscopy and demonstrated that both localized to the plasma membrane and the Golgi. These findings demonstrate that the Asp substitution at 298 does not have a major effect in modulating eNOS activity in vivo.