A Direct Algorithm for the Type Interference in the Rank 2 Fragment of the Second--Order λ-Calculus

We study the problem of type inference for a family of polymorphic type disciplines containing the power of Core-ML. This family comprises all levels of the stratification of the second-order lambda-calculus by "rank" of types. We show that typability is an undecidable problem at every rank k ≥ 3 of this stratification. While it was already known that typability is decidable at rank ≤ 2, no direct and easy-to-implement algorithm was available. To design such an algorithm, we develop a new notion of reduction and show how to use it to reduce the problem of typability at rank 2 to the problem of acyclic semi-unification. A by-product of our analysis is the publication of a simple solution procedure for acyclic semi-unification.

Bounds on the Power of Constant-Depth Quantum Circuits

We show that if a language is recognized within certain error bounds by constant-depth quantum circuits over a finite family of gates, then it is computable in (classical) polynomial time. In particular, our results imply EQNC^0 ⊆ P, where EQNC^0 is the constant-depth analog of the class EQP. On the other hand, we adapt and extend ideas of Terhal and DiVincenzo [?] to show that, for any family

Ergodicity and Mixing Rate of One-Dimensional Cellular Automata

One-and two-dimensional cellular automata which are known to be fault-tolerant are very complex. On the other hand, only very simple cellular automata have actually been proven to lack fault-tolerance, i.e., to be mixing. The latter either have large noise probability ε or belong to the small family of two-state nearest-neighbor monotonic rules which includes local majority voting. For a certain simple automaton L called the soldiers rule, this problem has intrigued researchers for the last two decades since L is clearly more robust than local voting: in the absence of noise, L eliminates any finite island of perturbation from an initial configuration of all 0's or all 1's. The same holds for a 4-state monotonic variant of L, K, called two-line voting. We will prove that the probabilistic cellular automata Kε and Lε asymptotically lose all information about their initial state when subject to small, strongly biased noise. The mixing property trivially implies that the systems are ergodic. The finite-time information-retaining quality of a mixing system can be represented by its relaxation time Relax(⋅), which measures the time before the onset of significant information loss. This is known to grow as (1/ε)^c for noisy local voting. The impressive error-correction ability of L has prompted some researchers to conjecture that Relax(Lε) = 2^(c/ε). We prove the tight bound 2^(c1log^21/ε) ＜ Relax(Lε) ＜ 2^(c2log^21/ε) for a biased error model. The same holds for Kε. Moreover, the lower bound is independent of the bias assumption. The strong bias assumption makes it possible to apply sparsity/renormalization techniques, the main tools of our investigation, used earlier in the opposite context of proving fault-tolerance.

The Synthesis of Arbitrary Stable Dynamics in Non-linear Neural Networks II: Feedback and Universality

We wish to construct a realization theory of stable neural networks and use this theory to model the variety of stable dynamics apparent in natural data. Such a theory should have numerous applications to constructing specific artificial neural networks with desired dynamical behavior. The networks used in this theory should have well understood dynamics yet be as diverse as possible to capture natural diversity. In this article, I describe a parameterized family of higher order, gradient-like neural networks which have known arbitrary equilibria with unstable manifolds of known specified dimension. Moreover, any system with hyperbolic dynamics is conjugate to one of these systems in a neighborhood of the equilibrium points. Prior work on how to synthesize attractors using dynamical systems theory, optimization, or direct parametric. fits to known stable systems, is either non-constructive, lacks generality, or has unspecified attracting equilibria. More specifically, We construct a parameterized family of gradient-like neural networks with a simple feedback rule which will generate equilibrium points with a set of unstable manifolds of specified dimension. Strict Lyapunov functions and nested periodic orbits are obtained for these systems and used as a method of synthesis to generate a large family of systems with the same local dynamics. This work is applied to show how one can interpolate finite sets of data, on nested periodic orbits.

Construction of Neural Network Classification Expert Systems Using Switching Theory Algorithms

A new family of neural network architectures is presented. This family of architectures solves the problem of constructing and training minimal neural network classification expert systems by using switching theory. The primary insight that leads to the use of switching theory is that the problem of minimizing the number of rules and the number of IF statements (antecedents) per rule in a neural network expert system can be recast into the problem of minimizing the number of digital gates and the number of connections between digital gates in a Very Large Scale Integrated (VLSI) circuit. The rules that the neural network generates to perform a task are readily extractable from the network's weights and topology. Analysis and simulations on the Mushroom database illustrate the system's performance.

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

The identification and characterisation of Rab4 interacting proteins

Rab4 is a member of the Rab superfamily of small GTPases. It is localized to the early sorting endosome and plays a role in regulating the transport from this compartment to the recycling and degradative pathways. In order to further our understanding of the role Rab4 plays in endocytosis, a yeast two-hybrid screen was performed to identify putative Rab4 effectors. A constitutively active mutant of Rab4, Rab4Q67L, when used as bait to screen a HeLa cDNA library, identified a novel 80kDa protein that interacted with Rab4-GTP. This protein was called Rab Coupling Protein (RCP). RCP interacts preferentially with the GTP-bound form of Rab4. Subsequent work demonstrated that RCP also interacts with Rab11, and that this interaction is not nucleotide-depenedent. RCP is predominantly membrane-bound and localised to the perinuclear recycling compartment. Expression of a truncation mutant of RCP, that contains the Rab binding domain, in HeLa cells, results in the formation of an extensive tubular network that can be labelled with transferrin. These tubules are derived from the recycling compartment since they are inaccessible to transferrin when the ligand is internalised at 18oC. The truncation mutant-induced morphology can be rescued by overexpression of active Rab11, but not active Rab4. This suggests that RCP functions between Rab4 and Rab11 in the receptor recycling pathway, and may act as a ‘molecular bridge’ between these two sequentially acting small GTPases. Quantitative assays demonstrated that overexpression of the truncation mutant results in a dramatic inhibition in the rate of receptor recycling. Database analysis revealed that RCP belongs to a family of Rab interacting proteins, each characterised by a carboxy-terminal coiled-coil domain and an amino-terminal phospholipid-binding domain. KIAA0941, an RCP homologue, interacts with Rab11, but not with Rab4. Overexpression of its Rab binding domain also results in a tubular network, however, this tubulation cannot be rescued by active Rab11.

Synthesis and evaluation of novel quinolines and quinazolinediones as potential anti-cancer agents

This thesis outlines the design and effectuation of novel chemical routes towards a nascent class of functionalised quinoline-5,8-diones and the expansion of a series of contemporary quinazolinediones towards an innovative family of pyridinoquinazolinetetrone derivatives. This fragment based approach is envisaged to lead to advancements in the three scaffolds, expanding the SAR pool of both quinolines and quinazolinediones with subsequent evaluation of chemotherapeutic potential as well as furnishing a new class of tricycle for biological investigation. Development of novel quinoline-5,8-diones is provided for by expanding on existing methodology. Using a variety of nucleophiles on a critical intermediate, a broad range of novel compounds was afforded allowing chemotherapeutic potential to be assessed, while also serving as intermediates for accomplishing novel pyridinoquinazolinetetrone congeners. In order to incorporate functionality into our quinazolinedione template, an efficient synthetic strategy was constructed which provided a robust route to effectuate a highly derivatised pyrimidinedione ring. As derivatisation of this template is unreported our chief priority was to synthesise a range of diverse quinazolinediones. The application of annulation methodology using functionalised precursors provided a library of N-3 derivatised quinazolinedione analogues. These, along with their N-1 functionalised derivatives provide a wide scope from which to construct a series of pyridinoquinazolinetetrone derivatives while also serving as a unique class of molecules whose biological potential is uncharted. Although the actualisation of the pyridinoquinazolinetetrone was ultimately unsuccessful, our work has led to the development of novel quinoline-5,8-diones which were found to possess excellent anti-cancer activity when assessed by the NCI screen. Of the quinazolinediones synthesised eight compounds were accepted for screening by the NCI. Results from the single-dose tests however indicated that these compounds possessed little cytotoxic activity at 10 μM. The development of this novel template in conjunction with the highly active quinolinediones serves as an excellent rostrum for future synthetic endeavours.

Metabolism of host-derived carbohydrates by Bifidobacterium breve UCC2003

Bifidobacteria are Gram positive, anaerobic, typically Y-shaped bacteria which are naturally found in the digestive tract of certain mammals, birds and insects. Bifidobacterium breve strains are numerically prevalent among the gut microbiota of many healthy breast-fed infants. The prototypical B. breve strain UCC2003 has previously been shown to utilise numerous carbohydrates of plant origin. Various aspects of host-derived carbohydrate metabolism occurring in this bacterium will be described in this thesis. Chapter II describes B. breve UCC2003 utilisation of sialic acid, a nine-carbon monosaccharide, which is found in human milk oligosaccharides (HMOs) and the mucin glycoprotein. B. breve UCC2003 was also shown to cross-feed on sialic acid released from 3’ sialyllactose, a prominent HMO, by the extracellular sialidase activity of Bifidobacterium bifidum PRL2010. Chapter III reports on the transcriptional regulation of sialic acid metabolism in B. breve UCC2003 by a transcriptional repressor encoded by the nanR gene. NanR belongs to the GntR-family of transcriptional regulators and represents the first bifidobacterial member of this family to be characterised. Chapter IV investigates B. breve UCC2003 utilisation of mucin. B. breve UCC2003 was shown to be incapable of degrading mucin; however when grown in co-culture with B. bifidum PRL2010 it exhibits enhanced growth and survival properties. A number of methods were used to investigate and identify the mucin components supporting this enhanced growth/viability phenotype. Chapter V describes the characterisation of two sulfatase-encoding gene clusters from B. breve UCC2003. The transcriptional regulation of both sulfatase-encoding gene clusters was also investigated. The work presented in this thesis represents new information on the metabolism of host-derived carbohydrates in bifidobacteria, thus increasing our understanding of how these gut commensals are able to colonise and persist in the gastrointestinal tract.

VCP/p97 is essential for maturation of ubiquitin-containing autophagosomes and this function is impaired by mutations that cause IBMPFD.

VCP (VCP/p97) is a ubiquitously expressed member of the AAA(+)-ATPase family of chaperone-like proteins that regulates numerous cellular processes including chromatin decondensation, homotypic membrane fusion and ubiquitin-dependent protein degradation by the proteasome. Mutations in VCP cause a multisystem degenerative disease consisting of inclusion body myopathy, Paget disease of bone, and frontotemporal dementia (IBMPFD). Here we show that VCP is essential for autophagosome maturation. We generated cells stably expressing dual-tagged LC3 (mCherry-EGFP-LC3) which permit monitoring of autophagosome maturation. We determined that VCP deficiency by RNAi-mediated knockdown or overexpression of dominant-negative VCP results in significant accumulation of immature autophagic vesicles, some of which are abnormally large, acidified and exhibit cathepsin B activity. Furthermore, expression of disease-associated VCP mutants (R155H and A232E) also causes this autophagy defect. VCP was found to be essential to autophagosome maturation under basal conditions and in cells challenged by proteasome inhibition, but not in cells challenged by starvation, suggesting that VCP might be selectively required for autophagic degradation of ubiquitinated substrates. Indeed, a high percentage of the accumulated autophagic vesicles contain ubiquitin-positive contents, a feature that is not observed in autophagic vesicles that accumulate following starvation or treatment with Bafilomycin A. Finally, we show accumulation of numerous, large LAMP-1 and LAMP-2-positive vacuoles and accumulation of LC3-II in myoblasts derived from patients with IBMPFD. We conclude that VCP is essential for maturation of ubiquitin-containing autophagosomes and that defect in this function may contribute to IBMPFD pathogenesis.

Enhanced rewarding properties of morphine, but not cocaine, in beta(arrestin)-2 knock-out mice.

The reinforcing and psychomotor effects of morphine involve opiate stimulation of the dopaminergic system via activation of mu-opioid receptors (muOR). Both mu-opioid and dopamine receptors are members of the G-protein-coupled receptor (GPCR) family of proteins. GPCRs are known to undergo desensitization involving phosphorylation of the receptor and the subsequent binding of beta(arrestins), which prevents further receptor-G-protein coupling. Mice lacking beta(arrestin)-2 (beta(arr2)) display enhanced sensitivity to morphine in tests of pain perception attributable to impaired desensitization of muOR. However, whether abrogating muOR desensitization affects the reinforcing and psychomotor properties of morphine has remained unexplored. In the present study, we examined this question by assessing the effects of morphine and cocaine on locomotor activity, behavioral sensitization, conditioned place preference, and striatal dopamine release in beta(arr2) knock-out (beta(arr2)-KO) mice and their wild-type (WT) controls. Cocaine treatment resulted in very similar neurochemical and behavioral responses between the genotypes. However, in the beta(arr2)-KO mice, morphine induced more pronounced increases in striatal extracellular dopamine than in WT mice. Moreover, the rewarding properties of morphine in the conditioned place preference test were greater in the beta(arr2)-KO mice when compared with the WT mice. Thus, beta(arr2) appears to play a more important role in the dopaminergic effects mediated by morphine than those induced by cocaine.

Multiple endocytic pathways of G protein-coupled receptors delineated by GIT1 sensitivity.

Recently, we identified a GTPase-activating protein for the ADP ribosylation factor family of small GTP-binding proteins that we call GIT1. This protein initially was identified as an interacting partner for the G protein-coupled receptor kinases, and its overexpression was found to affect signaling and internalization of the prototypical beta(2)-adrenergic receptor. Here, we report that GIT1 overexpression regulates internalization of numerous, but not all, G protein-coupled receptors. The specificity of the GIT1 effect is not related to the type of G protein to which a receptor couples, but rather to the endocytic route it uses. GIT1 only affects the function of G protein-coupled receptors that are internalized through the clathrin-coated pit pathway in a beta-arrestin- and dynamin-sensitive manner. Furthermore, the GIT1 effect is not limited to G protein-coupled receptors because overexpression of this protein also affects internalization of the epidermal growth factor receptor. However, constitutive agonist-independent internalization is not regulated by GIT1, because transferrin uptake is not affected by GIT1 overexpression. Thus, GIT1 is a protein involved in regulating the function of signaling receptors internalized through the clathrin pathway and can be used as a diagnostic tool for defining the endocytic pathway of a receptor.

An approach to the study of G-protein-coupled receptor kinases: an in vitro-purified membrane assay reveals differential receptor specificity and regulation by G beta gamma subunits.

Phosphorylation of GTP-binding-regulatory (G)-protein-coupled receptors by specific G-protein-coupled receptor kinases (GRKs) is a major mechanism responsible for agonist-mediated desensitization of signal transduction processes. However, to date, studies of the specificity of these enzymes have been hampered by the difficulty of preparing the purified and reconstituted receptor preparations required as substrates. Here we describe an approach that obviates this problem by utilizing highly purified membrane preparations from Sf9 and 293 cells overexpressing G-protein-coupled receptors. We use this technique to demonstrate specificity of several GRKs with respect to both receptor substrates and the enhancing effects of G-protein beta gamma subunits on phosphorylation. Enriched membrane preparations of the beta 2- and alpha 2-C2-adrenergic receptors (ARs, where alpha 2-C2-AR refers to the AR whose gene is located on human chromosome 2) prepared by sucrose density gradient centrifugation from Sf9 or 293 cells contain the receptor at 100-300 pmol/mg of protein and serve as efficient substrates for agonist-dependent phosphorylation by beta-AR kinase 1 (GRK2), beta-AR kinase 2 (GRK3), or GRK5. Stoichiometries of agonist-mediated phosphorylation of the receptors by GRK2 (beta-AR kinase 1), in the absence and presence of G beta gamma, are 1 and 3 mol/mol, respectively. The rate of phosphorylation of the membrane receptors is 3 times faster than that of purified and reconstituted receptors. While phosphorylation of the beta 2-AR by GRK2, -3, and -5 is similar, the activity of GRK2 and -3 is enhanced by G beta gamma whereas that of GRK5 is not. In contrast, whereas GRK2 and -3 efficiently phosphorylate alpha 2-C2-AR, GRK5 is quite weak. The availability of a simple direct phosphorylation assay applicable to any cloned G-protein-coupled receptor should greatly facilitate elucidation of the mechanisms of regulation of these receptors by the expanding family of GRKs.

G-protein-coupled receptor genes as protooncogenes: constitutively activating mutation of the alpha 1B-adrenergic receptor enhances mitogenesis and tumorigenicity.

The alpha 1B-adrenergic receptor (alpha 1B-ADR) is a member of the G-protein-coupled family of transmembrane receptors. When transfected into Rat-1 and NIH 3T3 fibroblasts, this receptor induces focus formation in an agonist-dependent manner. Focus-derived, transformed fibroblasts exhibit high levels of functional alpha 1B-ADR expression, demonstrate a catecholamine-induced enhancement in the rate of cellular proliferation, and are tumorigenic when injected into nude mice. Induction of neoplastic transformation by the alpha 1B-ADR, therefore, identifies this normal cellular gene as a protooncogene. Mutational alteration of this receptor can lead to activation of this protooncogene, resulting in an enhanced ability of agonist to induce focus formation with a decreased latency and quantitative increase in transformed foci. In contrast to cells expressing the wild-type alpha 1B-ADR, focus formation in "oncomutant"-expressing cell lines appears constitutively activated with the generation of foci in unstimulated cells. Further, these cell lines exhibit near-maximal rates of proliferation even in the absence of catecholamine supplementation. They also demonstrate an enhanced ability for tumor generation in nude mice with a decreased period of latency compared with cells expressing the wild-type receptor. Thus, the alpha 1B-ADR gene can, when overexpressed and activated, function as an oncogene inducing neoplastic transformation. Mutational alteration of this receptor gene can result in the activation of this protooncogene, enhancing its oncogenic potential. These findings suggest that analogous spontaneously occurring mutations in this class of receptor proteins could play a key role in the induction or progression of neoplastic transformation and atherosclerosis.

Chromosomal organization of adrenergic receptor genes.

The adrenergic receptors (ARs) (subtypes alpha 1, alpha 2, beta 1, and beta 2) are a prototypic family of guanine nucleotide binding regulatory protein-coupled receptors that mediate the physiological effects of the hormone epinephrine and the neurotransmitter norepinephrine. We have previously assigned the genes for beta 2- and alpha 2-AR to human chromosomes 5 and 10, respectively. By Southern analysis of somatic cell hybrids and in situ chromosomal hybridization, we have now mapped the alpha 1-AR gene to chromosome 5q32----q34, the same position as beta 2-AR, and the beta 1-AR gene to chromosome 10q24----q26, the region where alpha 2-AR is located. In mouse, both alpha 2- and beta 1-AR genes were assigned to chromosome 19, and the alpha 1-AR locus was localized to chromosome 11. Pulsed field gel electrophoresis has shown that the alpha 1- and beta 2-AR genes in humans are within 300 kilobases (kb) and the distance between the alpha 2- and beta 1-AR genes is less than 225 kb. The proximity of these two pairs of AR genes and the sequence similarity that exists among all the ARs strongly suggest that they are evolutionarily related. Moreover, they likely arose from a common ancestral receptor gene and subsequently diverged through gene duplication and chromosomal duplication to perform their distinctive roles in mediating the physiological effects of catecholamines. The AR genes thus provide a paradigm for understanding the evolution of such structurally conserved yet functionally divergent families of receptor molecules.