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.

A Unified Model of Spatiotemporal Processing in the Retina

A computational model of visual processing in the vertebrate retina provides a unified explanation of a range of data previously treated by disparate models. Three results are reported here: the model proposes a functional explanation for the primary feed-forward retinal circuit found in vertebrate retinae, it shows how this retinal circuit combines nonlinear adaptation with the desirable properties of linear processing, and it accounts for the origin of parallel transient (nonlinear) and sustained (linear) visual processing streams as simple variants of the same retinal circuit. The retina, owing to its accessibility and to its fundamental role in the initial transduction of light into neural signals, is among the most extensively studied neural structures in the nervous system. Since the pioneering anatomical work by Ramón y Cajal at the turn of the last century[1], technological advances have abetted detailed descriptions of the physiological, pharmacological, and functional properties of many types of retinal cells. However, the relationship between structure and function in the retina is still poorly understood. This article outlines a computational model developed to address fundamental constraints of biological visual systems. Neurons that process nonnegative input signals-such as retinal illuminance-are subject to an inescapable tradeoff between accurate processing in the spatial and temporal domains. Accurate processing in both domains can be achieved with a model that combines nonlinear mechanisms for temporal and spatial adaptation within three layers of feed-forward processing. The resulting architecture is structurally similar to the feed-forward retinal circuit connecting photoreceptors to retinal ganglion cells through bipolar cells. This similarity suggests that the three-layer structure observed in all vertebrate retinae[2] is a required minimal anatomy for accurate spatiotemporal visual processing. This hypothesis is supported through computer simulations showing that the model's output layer accounts for many properties of retinal ganglion cells[3],[4],[5],[6]. Moreover, the model shows how the retina can extend its dynamic range through nonlinear adaptation while exhibiting seemingly linear behavior in response to a variety of spatiotemporal input stimuli. This property is the basis for the prediction that the same retinal circuit can account for both sustained (X) and transient (Y) cat ganglion cells[7] by simple morphological changes. The ability to generate distinct functional behaviors by simple changes in cell morphology suggests that different functional pathways originating in the retina may have evolved from a unified anatomy designed to cope with the constraints of low-level biological vision.

The role of the dopaminergic neurotrophin growth/differentiation factor-5 in the developing rat ventral midbrain

Growth differentiation factor-5 (GDF-5) is a member of the transforming growth factor-β superfamily, a family of proteins that play diverse roles in many aspects of cell growth, proliferation and differentiation. GDF-5 has also been shown to be a trophic factor for embryonic midbrain dopaminergic neurons in vitro (Krieglstein et al. 1995) and after transplantation to adult rats in vivo (Sullivan et al. 1998). GDF-5 has also been shown to have neuroprotective and neurorestorative effects on adult dopaminergic neurons in the substantia nigra in animal models of Parkinson’s disease (Sullivan et al. 1997, 1999; Hurley et al. 2004). This experimental evidence has lead to GDF-5 being proposed as a neurotrophic factor with potential for use in the treatment of Parkinson’s disease. However, it is not know if GDF-5 is expressed in the brain and whether it plays a role in dopaminergic neuron development. The experiments presented here aim to address these questions. To that end this thesis is divided into five separate studies each addressing a particular question associated with GDF-5 and its expression patterns and roles during the development of the rat midbrain. Expression of the GDF-5 in the developing rat ventral mesencephalon (VM) was found to begin at E12 and peak on E14, the day that dopaminergic neurons undergo terminal differentiation. In the adult rat, GDF-5 was found to be restricted to heart and brain, being expressed in many areas of the brain, including striatum and midbrain. This indicated a role for GDF-5 in the development and maintenance of dopaminergic neurons. The appropriate receptors for GDF-5 (BMPR-II and BMPR-Ib) were found to be expressed at high levels in the rat VM at E14 and BMPR-II expression was demonstrated on dopaminergic neurons in the E13 mouse VM. GDF-5 resulted in a three-fold increase in the numbers of dopaminergic neurons in cultures of E14 rat VM, without affecting the numbers of neurones or total cells. GDF-5 was found to increase the proportion of neurons that were dopaminergic. The numbers of Nurr1-positive cells were not affected by GDF-5 treatment, but GDF-5 did increase the numbers of Nurr1- positive cells that expressed tyrosine hydroxylase (TH). Taken together this data indicated that GDF-5 increases the conversion of Nurr1-positive, TH-negative cells to Nurr1-positive, TH-positive cells. In GDF-5 treated cultures, total neurite length, neurite arborisation and somal area of dopaminergic were all significantly increased compared to control cultures. Thus this study showed that GDF-5 increased the numbers and morphological differentiation of VM dopaminergic neurones in vitro. In order to examine if GDF-5 could induce a dopaminergic phenotype in neural progenitor cells, neurosphere cultures prepared from embryonic rat VM were established. The effect of the gestational age of the donor VM on the proportion of cell types generated from neurospheres from E12, E13 and E14 VM was examined. Dopaminergic neurons could only be generated from neurospheres which were prepared from E12 VM. Thus in subsequent studies the effect of GDF-5 on dopaminergic induction was examined in progentior cell cultures prepared from the E12 rat VM. In primary cultures of E12 rat VM, GDF-5 increased the numbers of TH-positive cells without affecting the proliferation or survival of these cells. In cultures of expanded neural progenitor cells from the E12 rat VM, GDF-5 increased the expression of Nurr1 and TH, an action that was dependent on signalling through the BMPR-Ib receptor. Taken together, these experiments provide evidence that GDF-5 is expressed in the developing rat VM, is involved in both the induction of a dopaminergic phenotype in cells of the VM and in the subsequent morphological development of these dopaminergic neurons

Measuring morphological features using light-scattering spectroscopy and Fourier-domain low-coherence interferometry.

We present measurements of morphological features in a thick turbid sample using light-scattering spectroscopy (LSS) and Fourier-domain low-coherence interferometry (fLCI) by processing with the dual-window (DW) method. A parallel frequency domain optical coherence tomography (OCT) system with a white-light source is used to image a two-layer phantom containing polystyrene beads of diameters 4.00 and 6.98 mum on the top and bottom layers, respectively. The DW method decomposes each OCT A-scan into a time-frequency distribution with simultaneously high spectral and spatial resolution. The spectral information from localized regions in the sample is used to determine scatterer structure. The results show that the two scatterer populations can be differentiated using LSS and fLCI.

Chiropteran types I and II interferon genes inferred from genome sequencing traces by a statistical gene-family assembler.

BACKGROUND: The rate of emergence of human pathogens is steadily increasing; most of these novel agents originate in wildlife. Bats, remarkably, are the natural reservoirs of many of the most pathogenic viruses in humans. There are two bat genome projects currently underway, a circumstance that promises to speed the discovery host factors important in the coevolution of bats with their viruses. These genomes, however, are not yet assembled and one of them will provide only low coverage, making the inference of most genes of immunological interest error-prone. Many more wildlife genome projects are underway and intend to provide only shallow coverage. RESULTS: We have developed a statistical method for the assembly of gene families from partial genomes. The method takes full advantage of the quality scores generated by base-calling software, incorporating them into a complete probabilistic error model, to overcome the limitation inherent in the inference of gene family members from partial sequence information. We validated the method by inferring the human IFNA genes from the genome trace archives, and used it to infer 61 type-I interferon genes, and single type-II interferon genes in the bats Pteropus vampyrus and Myotis lucifugus. We confirmed our inferences by direct cloning and sequencing of IFNA, IFNB, IFND, and IFNK in P. vampyrus, and by demonstrating transcription of some of the inferred genes by known interferon-inducing stimuli. CONCLUSION: The statistical trace assembler described here provides a reliable method for extracting information from the many available and forthcoming partial or shallow genome sequencing projects, thereby facilitating the study of a wider variety of organisms with ecological and biomedical significance to humans than would otherwise be possible.

Morphological and genomic characterization of Filobasidiella depauperata: a homothallic sibling species of the pathogenic cryptococcus species complex.

The fungal species Cryptococcus neoformans and Cryptococcus gattii cause respiratory and neurological disease in animals and humans following inhalation of basidiospores or desiccated yeast cells from the environment. Sexual reproduction in C. neoformans and C. gattii is controlled by a bipolar system in which a single mating type locus (MAT) specifies compatibility. These two species are dimorphic, growing as yeast in the asexual stage, and producing hyphae, basidia, and basidiospores during the sexual stage. In contrast, Filobasidiella depauperata, one of the closest related species, grows exclusively as hyphae and it is found in association with decaying insects. Examination of two available strains of F. depauperata showed that the life cycle of this fungal species shares features associated with the unisexual or same-sex mating cycle in C. neoformans. Therefore, F. depauperata may represent a homothallic and possibly an obligately sexual fungal species. RAPD genotyping of 39 randomly isolated progeny from isolate CBS7855 revealed a new genotype pattern in one of the isolated basidiospores progeny, therefore suggesting that the homothallic cycle in F. depauperata could lead to the emergence of new genotypes. Phylogenetic analyses of genes linked to MAT in C. neoformans indicated that two of these genes in F. depauperata, MYO2 and STE20, appear to form a monophyletic clade with the MATa alleles of C. neoformans and C. gattii, and thus these genes may have been recruited to the MAT locus before F. depauperata diverged. Furthermore, the ancestral MATa locus may have undergone accelerated evolution prior to the divergence of the pathogenic Cryptococcus species since several of the genes linked to the MATa locus appear to have a higher number of changes and substitutions than their MATalpha counterparts. Synteny analyses between C. neoformans and F. depauperata showed that genomic regions on other chromosomes displayed conserved gene order. In contrast, the genes linked to the MAT locus of C. neoformans showed a higher number of chromosomal translocations in the genome of F. depauperata. We therefore propose that chromosomal rearrangements appear to be a major force driving speciation and sexual divergence in these closely related pathogenic and saprobic species.

High-Resolution CT for Small-Animal Imaging Research

Preclinical imaging has a critical role in phenotyping, in drug discovery, and in providing a basic understanding of mechanisms of disease. Translating imaging methods from humans to small animals is not an easy task. The purpose of this work is to review high-resolution computed tomography (CT) also known as micro-CT for small-animal imaging. We present the principles, the technologies, the image quality parameters, and the types of applications. We show that micro-CT can be used to provide not only morphological but also functional information such as cardiac function or vascular permeability. Another way in which micro-CT can be used in the study of both function and anatomy is by combining it with other imaging modalities, such as positron emission tomography or single-photon emission tomography. Compared to other modalities, micro-CT imaging is usually regarded as being able to provide higher throughput at lower cost and higher resolution. The limitations are usually associated with the relatively poor contrast mechanisms and the radiation damage, although the use of novel nanoparticle-based contrast agents and careful design of studies can address these limitations.

Layers of generality and types of generalization in pattern activities

Pattern generalization is considered one of the prominent routes for in-troducing students to algebra. However, not all generalizations are al-gebraic. In the use of pattern generalization as a route to algebra, we —teachers and educators— thus have to remain vigilant in order not to confound algebraic generalizations with other forms of dealing with the general. But how to distinguish between algebraic and non-algebraic generalizations? On epistemological and semiotic grounds, in this arti-cle I suggest a characterization of algebraic generalizations. This char-acterization helps to bring about a typology of algebraic and arithmetic generalizations. The typology is illustrated with classroom examples.

Morphological and molecular characteristics of a new species of Pasteuria parasitic on Meloidogyne ardenensis

A species of the hyper-parasitic bacterium Pasteuria was isolated from the root-knot nematode Meloidogyne ardenensis infecting the roots of ash (Fraxinus excelsior). It is morphologically different from some other Pasteuria pathogens of nematodes in that the spores lack a basal ring on the ventral side of the spore and have a unique clumping nature. Transmission electron microscopy (TEM) showed that the clumps of spores are not random aggregates but result from the disintegration of the suicide cells of the thalli. Sporulation within each vegetative mycelium was shown to be asynchronous. In addition to the novel morphological features 16S rRNA sequence analysis showed this to be a new species of Pasteuria which we have called P. hartismeri. Spores of P. hartismeri attach to juveniles of root-knot nematodes infecting a wide range of plants such as mint (Meloidogyne hapla), rye grass (unidentified Meloidogyne sp.) and potato (Meloidogyne fallax).