In situ high temperature X-ray diffraction studies of mixed ionic and electronic conducting perovskite-type membranes

Phase structure and stability of three typical mixed ionic and electronic conducting perovskite-type membranes, SrCo0.8Fe0.2O3-delta (SCF), Ba0.5Sr0.5Co0.8Fe0.2O3-delta (BSCF) and BaCo0.4Fe0.4Zr0.2O3-delta (BCFZ) were studied by in situ high temperature X-ray diffraction at temperatures from 303 to 1273 K and under different atmospheres (air, 2% O-2 in Ar and pure Ar) at 1173 K. By analyzing their lattice parameters the thermal expansion coefficients (TECs) of BSCF, SCF and BCZF are obtained to be 11.5 x 10(-6) K-1, 17.9 x 10(-6) K-1 and 10.3 x 10(-6) K-1, respectively. A relationship between phase stability and TEC was proposed: the higher is the TEC, the lower is the operation stability of the perovskite materials. (C) 2005 Elsevier B.V. All rights reserved.

Rubisco small subunit, chlorophyll a/b-binding protein and sucrose : fructan-6-fructosyl transferase gene expression and sugar status in single barley leaf cells in situ. Cell type specificity and induction by light

Chungui Lu, Olga A. Koroleva, John F. Farrar, Joe Gallagher, Chris J. Pollock, and A. Deri Tomos (2002). Rubisco small subunit, chlorophyll a/b-binding protein and sucrose : fructan-6-fructosyl transferase gene expression and sugar status in single barley leaf cells in situ. Cell type specificity and induction by light. Plant Physiology, 130 (3) pp.1335-1348 Sponsorship: BBSRC RAE2008

Differences in growth and nitrogen productivity between a stay-green genotype and a wild-type of Lolium perenne under limiting relative addition rates of nitrate supply

James Macduff, Neil Raistrick and Mervyn Humphreys (2002). Differences in growth and nitrogen productivity between a stay-green genotype and a wild-type of Lolium perenne under limiting relative addition rates of nitrate supply. Physiologia Plantarum, 116 (1), 52-61. Sponsorship: BBSRC RAE2008

Typability and Type Checking in the Second-Order Λ-Calculus Are Equivalent and Undecidable (Preliminary Draft)

We consider the problems of typability[1] and type checking[2] in the Girard/Reynolds second-order polymorphic typed λ-calculus, for which we use the short name "System F" and which we use in the "Curry style" where types are assigned to pure λ -terms. These problems have been considered and proven to be decidable or undecidable for various restrictions and extensions of System F and other related systems, and lower-bound complexity results for System F have been achieved, but they have remained "embarrassing open problems"[3] for System F itself. We first prove that type checking in System F is undecidable by a reduction from semi-unification. We then prove typability in System F is undecidable by a reduction from type checking. Since the reverse reduction is already known, this implies the two problems are equivalent. The second reduction uses a novel method of constructing λ-terms such that in all type derivations, specific bound variables must always be assigned a specific type. Using this technique, we can require that specific subterms must be typable using a specific, fixed type assignment in order for the entire term to be typable at all. Any desired type assignment may be simulated. We develop this method, which we call "constants for free", for both the λK and λI calculi.

Type Reconstruction in the Presence of Polymorphic Recursion and the Recursive Types

We establish the equivalence of type reconstruction with polymorphic recursion and recursive types is equivalent to regular semi-unification which proves the undecidability of the corresponding type reconstruction problem. We also establish the equivalence of type reconstruction with polymorphic recursion and positive recursive types to a special case of regular semi-unification which we call positive regular semi-unification. The decidability of positive regular semi-unification is an open problem.

Hidden Type Variables and Conditional Extension for More Expressive Generic Programs

Generic object-oriented programming languages combine parametric polymorphism and nominal subtype polymorphism, thereby providing better data abstraction, greater code reuse, and fewer run-time errors. However, most generic object-oriented languages provide a straightforward combination of the two kinds of polymorphism, which prevents the expression of advanced type relationships. Furthermore, most generic object-oriented languages have a type-erasure semantics: instantiations of type parameters are not available at run time, and thus may not be used by type-dependent operations. This dissertation shows that two features, which allow the expression of many advanced type relationships, can be added to a generic object-oriented programming language without type erasure: 1. type variables that are not parameters of the class that declares them, and 2. extension that is dependent on the satisfiability of one or more constraints. We refer to the first feature as hidden type variables and the second feature as conditional extension. Hidden type variables allow: covariance and contravariance without variance annotations or special type arguments such as wildcards; a single type to extend, and inherit methods from, infinitely many instantiations of another type; a limited capacity to augment the set of superclasses after that class is defined; and the omission of redundant type arguments. Conditional extension allows the properties of a collection type to be dependent on the properties of its element type. This dissertation describes the semantics and implementation of hidden type variables and conditional extension. A sound type system is presented. In addition, a sound and terminating type checking algorithm is presented. Although designed for the Fortress programming language, hidden type variables and conditional extension can be incorporated into other generic object-oriented languages. Many of the same problems would arise, and solutions analogous to those we present would apply.

Principality and Decidable Type Inference for Finite-Rank Intersection Types

Principality of typings is the property that for each typable term, there is a typing from which all other typings are obtained via some set of operations. Type inference is the problem of finding a typing for a given term, if possible. We define an intersection type system which has principal typings and types exactly the strongly normalizable λ-terms. More interestingly, every finite-rank restriction of this system (using Leivant's first notion of rank) has principal typings and also has decidable type inference. This is in contrast to System F where the finite rank restriction for every finite rank at 3 and above has neither principal typings nor decidable type inference. This is also in contrast to earlier presentations of intersection types where the status of these properties is not known for the finite-rank restrictions at 3 and above.Furthermore, the notion of principal typings for our system involves only one operation, substitution, rather than several operations (not all substitution-based) as in earlier presentations of principality for intersection types (of unrestricted rank). A unification-based type inference algorithm is presented using a new form of unification, β-unification.

Safe Compositional Specification of Networking Systems: TRAFFIC The Language and Its Type Checking

This paper formally defines the operational semantic for TRAFFIC, a specification language for flow composition applications proposed in BUCS-TR-2005-014, and presents a type system based on desired safety assurance. We provide proofs on reduction (weak-confluence, strong-normalization and unique normal form), on soundness and completeness of type system with respect to reduction, and on equivalence classes of flow specifications. Finally, we provide a pseudo-code listing of a syntax-directed type checking algorithm implementing rules of the type system capable of inferring the type of a closed flow specification.

The role of the IL-1 type 1 receptor in the life, death and differentiation of adult hippocampal neural precursor cells

Neurogenesis occurs in two distinct regions of the adult brain; the subgranular zone (SGZ) of the dentate gyrus (DG) in the hippocampus, and the subventricular zone (SVZ) lining the lateral ventricles. It is now well-known that adult hippocampal neurogenesis can be modulated by a number of intrinsic and extrinsic factors e.g. local signalling molecules, exercise, environmental enrichment and learning. Moreover, levels of adult hippocampal neurogenesis decrease with age, at least in rodents, and alterations in hippocampal neurogenesis have been reported in animal models and human studies of neuropsychiatric and neurodegenerative conditions. Neuroinflammation is a common pathological feature of these conditions and is also a potent modulator of adult hippocampal neurogenesis. Recently, the orphan nuclear receptor TLX has been identified as an important regulator of adult hippocampal neurogenesis as its expression is necessary to maintain the neural precursor cell (NPC) pool in the adult DG. Likewise, exposure of animals to voluntary exercise has been consistently demonstrated to promote adult hippocampal neurogenesis. Lentivirus (LV)- mediated gene transfer is a useful tool to elucidate gene function and to explore potential therapeutic candidates across an array of conditions as it facilitates sustained gene expression in both dividing and post-mitotic cell populations. Both intrinsic and extrinsic factors are important regulators of adult hippocampal neurogenesis. Examining how these factors are affected by an inflammatory stimulus, and the subsequent effects on adult hippocampal neurogenesis provides important information for the development of novel treatment strategies for neuropsychiatric and neurodegenerative conditions in which adult hippocampal neurogenesis is impaired. The aims of the series of experiments presented in this thesis were to examine the effect of the pro-inflammatory cytokine interleukin-1β (IL-1β) on adult hippocampal NPCs both in vitro and in vivo. In vitro, we have shown that IL-1β reduces proliferation of adult hippocampal NPCs in a dose and time-dependent manner. In addition, we have demonstrated that TLX expression is reduced by IL-1β. Blockade of IL-1β signalling prevented both the IL-1β-induced reduction in cell proliferation and TLX expression. In vivo, we examined the effect of short term and long term exposure to LV-IL-1β in sedentary mice and in mice exposed to voluntary running. We demonstrated that impaired hippocampal neurogenesis is only evident after long term exposure to IL-1β. In mice exposed to voluntary running, hippocampal neurogenesis is significantly increased following short-term but not long-term exposure to running. Moreover, short-term running effectively prevents any IL-1β-induced effects on hippocampal neurogenesis; however, no such effects are seen following long-term exposure to running.

The synthesis and biological evaluation of lanostane and cholestane-type natural products

The main objective of this thesis is to outline the synthetic chemistry involved in the preparation of a range of novel lanostane and cholestane derivatives, and subsequent investigation into their biological activity in cancer cells. The biological results obtained throughout the project have driven the strategic synthesis of new compounds, in an effort to optimise the anti cancer potential of lanostane and cholestane derivatives. The first chapter begins with an overview of steroidal compounds and details a literature review of the natural sources of these moieties, as well as their biosynthesis and reported synthetic derivatives. The biological activity of interesting natural and synthetic analogues is also discussed. In addition, an insight into some currently prescribed pharmaceutical compounds, with functional groups relevant to this project, is presented. The second chapter discusses the methods employed for the synthesis of these novel lanostane and cholestane derivatives, and comprises three main sections. Firstly, various oxidation products of lanosterol are synthesised, mainly via epoxidations of the C-8,9 and C- 24,25 alkenes, and also allylic oxidations at these positions. Secondly, amine derivatives of lanosterol are formed by cleaving the lanostane side chain, thereby yielding a new cholestane nucleus, and performing several reductive aminations on the resulting key aldehyde intermediates. Various amines such as piperidine, morpholine, diethylamine and aniline are employed in the reductive amination reactions to yield novel cholestane steroids with amine side chains. Finally, starting from stigmasterol and proceeding with the same methodology of cleaving the steroidal side chain and subsequently performing reductive aminations, novel cholestane derivatives of the biologically active amines are synthesised. The cytotoxicity of these compounds against CaCo-2 and U937 cell lines is presented in terms of percentage viability of cells, IC50 value and apoptosis. The MTT assay is used to determine the percentage viability of cells, and the IC50 data is generated from the MTT results. Apoptosis is measured in terms of fold increase relative to a carrier control. In summary, the compounds formed are discussed in terms of chemical synthesis, spectroscopic interpretation and biological activity. The main reaction pathways involved in the chemistry within this project are various oxidations and reductive amination. The final chapter is a detailed account of the full experimental procedures for the compounds synthesised during this work, including characterisation using spectroscopic and analytical data.

Characterization of the degradation of wild-type and mutant HFE proteins during stress signalling in the endoplasmic reticulum

HFE is a transmembrane protein that becomes N-glycosylated during transport to the cell membrane. It acts to regulate cellular iron uptake by interacting with the Type 1 transferrin receptor and interfering with its ability to bind iron-loaded transferrin. There is also evidence that HFE regulates systemic iron levels by binding to the Type II transferrin receptor although the mechanism by which this occurs is still not well understood. Mutations to HFE that disrupt this function, or physiological conditions that decrease HFE protein levels, are associated with increased iron uptake, and its accumulation in tissues and organs. This is exemplified by the point mutation that results in conversion of cysteine residue 282 to tyrosine (C282Y), and gives rise to the majority of HFE-related hemochromatoses. The C282Y mutation prevents the formation of a disulfide bridge and disrupts the interaction with its co-chaperone β2-microglobulin. The resulting misfolded protein is retained within the endoplasmic reticulum (ER) where it activates the Unfolded Protein Response (UPR) and is subjected to proteasomal degradation. The absence of functional HFE at the cell surface leads to unregulated iron uptake and iron loading. While the E3 ubiquitin ligase involved in the degradation of HFE-C282Y has been identified, the mechanism by which it is targeted for degradation remains relatively obscure. The primary objective of this project was to further our understanding of how the iron regulatory HFE protein is targeted for degradation. Our studies suggest that the glycosylation status, and the active process of deglycosylation, are central to this process. We identified a number of additional factors that can contribute towards degradation and explored their regulation during ER stress conditions.

Differential inducibility of HLA class I and II antigens by r-IFN gamma in type III bare lymphocyte syndrome.

Case Reports

TCR V alpha- and V beta-gene segment use in T-cell subcultures derived from a type-III bare lymphocyte syndrome patient deficient in MHC class-II expression.

Previously, we and others have shown that MHC class-II deficient humans have greatly reduced numbers of CD4+CD8- peripheral T cells. These type-III Bare Lymphocyte Syndrome patients lack MHC class-II and have an impaired MHC class-I antigen expression. In this study, we analyzed the impact of the MHC class-II deficient environment on the TCR V-gene segment usage in this reduced CD4+CD8- T-cell subset. For these studies, we employed TcR V-region-specific monoclonal antibodies (mAbs) and a semiquantitative PCR technique with V alpha and V beta amplimers, specific for each of the most known V alpha- and V beta-gene region families. The results of our studies demonstrate that some of the V alpha-gene segments are used less frequent in the CD4+CD8- T-cell subset of the patient, whereas the majority of the TCR V alpha- and V beta-gene segments investigated were used with similar frequencies in both subsets in the type-III Bare Lymphocyte Syndrome patient compared to healthy control family members. Interestingly, the frequency of TcR V alpha 12 transcripts was greatly diminished in the patient, both in the CD4+CD8- as well as in the CD4-CD8+ compartment, whereas this gene segment could easily be detected in the healthy family controls. On the basis of the results obtained in this study, it is concluded that within the reduced CD4+CD8- T-cell subset of this patient, most of the TCR V-gene segments tested for are employed. However, a skewing in the usage frequency of some of the V alpha-gene segments toward the CD4-CD8+ T-cell subset was noticeable in the MHC class-II deficient patient that differed from those observed in the healthy family controls.

Differential inhibition of human immunodeficiency virus type 1 in peripheral blood mononuclear cells and TZM-bl cells by endotoxin-mediated chemokine and gamma interferon production.

Bacterial lipopolysaccharide (endotoxin) is a frequent contaminant of biological specimens and is also known to be a potent inducer of beta-chemokines and other soluble factors that inhibit HIV-1 infection in vitro. Though lipopolysaccharide (LPS) has been shown to stimulate the production of soluble HIV-1 inhibitors in cultures of monocyte-derived macrophages, the ability of LPS to induce similar inhibitors in other cell types is poorly characterized. Here we show that LPS exhibits potent anti-HIV activity in phytohemagglutinin-stimulated peripheral blood mononuclear cells (PBMCs) but has no detectable anti-HIV-1 activity in TZM-bl cells. The anti-HIV-1 activity of LPS in PBMCs was strongly associated with the production of beta-chemokines from CD14-positive monocytes. Culture supernatants from LPS-stimulated PBMCs exhibited potent anti-HIV-1 activity when added to TZM-bl cells but, in this case, the antiviral activity appeared to be related to IFN-gamma rather than to beta-chemokines. These observations indicate that LPS stimulates PBMCs to produce a complex array of soluble HIV-1 inhibitors, including beta-chemokines and IFN-gamma, that differentially inhibit HIV-1 depending on the target cell type. The results also highlight the need to use endotoxin-free specimens to avoid artifacts when assessing HIV-1-specific neutralizing antibodies in PBMC-based assays.