An ancient C-type lectin in Chlamys farreri (CfLec-2) that mediate pathogen recognition and cellular adhesion

C-type lectins are a superfamily of Ca2+ dependent carbohydrate-recognition proteins which play significant diverse roles in nonself-recognition and clearance of invaders. In the present study, a C-type lectin (CfLec-2) from Zhikong scallop Chlamys farreri was selected to investigate its functions in innate immunity. The mRNA expression of CfLec-2 in hemocytes was significantly up-regulated (P < 0.01) after scallops were stimulated by LPS. PGN or beta-glucan, and reached the highest expression level at 12h post-stimulation, which was 72.5-, 23.6- or 43.8-fold compared with blank group, respectively. The recombinant Cflec-2 (designated as rCfLec-2) could bind LPS, PGN, mannan and zymosan in vitro, but it could not bind beta-glucan. Immunofluorescence assay with polyclonal antibody specific for Cflec-2 revealed that CfLec-2 was mainly located in the mantle, kidney and gonad. Furthermore, rCfLec-2 could bind to the surface of scallop hemocytes, and then initiated cellular adhesion and recruited hemocytes to enhance their encapsulation in vitro, and this process could be specifically blocked by anti-rCfLec-2 serum. These results collectively suggested that CfLec-2 from the primitive deuterostome C. farreri could perform two distinct immune functions, pathogen recognition and cellular adhesion synchronously, while these functions were performed by collectins and selectins in vertebrates, respectively. The synchronous functions of pathogen recognition and cellular adhesion performed by CfLec-2 tempted us to suspect that CfLec-2 was an ancient form of C-type lectin, and apparently the differentiation of these two functions mediated by C-type lectins occurred after mollusk in phylogeny. (C) 2010 Elsevier Ltd. All rights reserved.

Identification and molecular analysis of a novel C-type lectin from Scophthalmus maximus

C-type lectins are calcium-dependent carbohydrate-binding proteins that play Important roles in innate immunity In this study, a C-type lectin homologue (SmLec1) was identified from turbot (Scophthalmus maximus) and analyzed at expression and functional levels. The open reading frame of SmLec1 is 504 bp, with a 5'-untranslated region (UTR) of 101 bp and a 3'-UTR of 164 bp The deduced amino acid sequence of SmLec1 shares 34%-38% overall identities with the C-type lectins of several fish species In silico analysis identified in SmLec1 conserved C-type lectin features, including a carbohydrate-recognition domain, four disulfide bond-forming cysteine residues, and the mannose-type carbohydrate-binding motif In addition, SmLec1 possesses a putative signal peptide sequence and is predicted to be localized in the extracellular. Expression of SmLec1 was highest in liver and responded positively to experimental challenges with fish pathogens Recombinant SmLec1 (rSmLec1) purified from yeast was able to agglutinate the Gram-negative fish pathogen Listonella anguillarum but not the Gram-positive pathogen Streptococcus uncle The agglutinating ability of rSmLec1 was abolished in the presence of mannose and ethylenediaminetetraacetic acid and by elevated temperature (65 degrees C) Further analysis showed that rSmLec1 could stimulate kidney lymphocyte proliferation and enhance the killing of bacterial pathogen by macrophages Taken together, these results suggest that SmLec1 is a unique mannose-binding C-type lectin that possesses apparent immunomodulating property and is likely to be involved in host defense against bacterial infection (C) 2010 Elsevier Ltd. All rights reserved

Paleoenvironment evolution of the East Philippine Sea recorded in the new-type ferromanganese crust since the terminal Late Miocene

From systemic research of microstructure, geochemistry, uranium-series and Be-10 isotope dating on a new-type deepwater ferromanganese crust from the East Philippine Sea, the paleoenvironment evolution of the target area since the terminal Late Miocene was recovered. The vertical section changes of microstructure and chemical composition are consistent in the studied crust, which indicate three major accretion periods and corresponding paleoenvironment evolution of the crust. The bottom crust zone was formed in the terminal Late Miocene (5.6 Ma) with loose microstructure, high detritus content and high growth rate. Reductions of mineral element content, accretion rate and positive Ce-anomaly degree at 4.6 Ma indicate temporal warming, which went against the crust accretion and finally formed an accretion gap in the terminal Middle Pliocene (2.8-2.7 Ma). The more active Antarctic bottom seawaters in the Late Pliocene (2.7 Ma) facilitated the fast transfer to the top pure crust zone. Hereafter, with the further apart of volcanic source and the keeping increase of eolian material (1.0 Ma), although surrounding conditions were still favorable, mineral element content still shows an obvious reducing trend. It thereby offers new carrier and data for the unclear paleoceanographic research of the target area since the terminal Late Miocene.

Relations between A-type granites and copper mineralization as exemplified by the Machangqing Cu deposit

This paper deals with the relations between the Machangqing rockbody which corresponds to the A-type granites and porphyry copper mineralization in terms of petrochemistry, trace element geochemistry, fluid inclusion geochemistry and isotope geochemistry. The results show that the Machangqing porphyry copper deposit was formed from the fluid predominated by mag-matic fluid. This kind of ore-forming fluid was just differentiated from the magma responsible for the A-type granites. therefore,as viewed from whereer they contain water or not,the A-type granites can,at least,be divided into two types: water-bearing and water-free.The water-bearing A-type granites can serve as the host ofporphyry copper deposits under certain geological conditions.

Investigation of ideal zirconium-doped perovskite-type ceramic membrane materials for oxygen separation

Zirconium-doped perovskite-type membrane materials of BaCo0.4Fe0.6-xZrxO3-delta (x = 0-0.4) with mixed oxygen ion and electron conductivity were synthesized through a method of combining citric and EDTA acid complexes. The results of X-ray diffraction (XRD), oxygen temperature-programmed desorption (O-2-TPD) and hydrogen temperature-programmed reduction (H-2-TPR) showed that the incorporation of proper amount of zirconium into BaCo0.4Fe0.6O3-delta could stabilize the ideal and cubic structure of perovskite. Studies on the oxygen permeability of the as-synthesized membrane disks under air/He gradient indicated that the content of zirconium in these materials had great effects on oxygen permeation flux, activation energy for oxygen permeation and operation stability. The high oxygen permeation flux of 0.90 ml cm(-2) min(-1) at 950degreesC, the single activation energy for oxygen permeation in the range of 600-950 degreesC and the long-term operation stability at a relatively lower operational temperature of 800 degreesC under air/He gradient were achieved for the BaCo0.4Fe0.4Zr0.2O3-delta material. Meanwhile, the effect of carbon dioxide on structural stability and oxygen permeability of this material was also studied in detail, which revealed that the reversible stability could be attained for it. (C) 2002 Elsevier Science B.V. All rights reserved.

Type-alpha DPLs

This paper introduces Denotational Proof Languages (DPLs). DPLs are languages for presenting, discovering, and checking formal proofs. In particular, in this paper we discus type-alpha DPLs---a simple class of DPLs for which termination is guaranteed and proof checking can be performed in time linear in the size of the proof. Type-alpha DPLs allow for lucid proof presentation and for efficient proof checking, but not for proof search. Type-omega DPLs allow for search as well as simple presentation and checking, but termination is no longer guaranteed and proof checking may diverge. We do not study type-omega DPLs here. We start by listing some common characteristics of DPLs. We then illustrate with a particularly simple example: a toy type-alpha DPL called PAR, for deducing parities. We present the abstract syntax of PAR, followed by two different kinds of formal semantics: evaluation and denotational. We then relate the two semantics and show how proof checking becomes tantamount to evaluation. We proceed to develop the proof theory of PAR, formulating and studying certain key notions such as observational equivalence that pervade all DPLs. We then present NDL, a type-alpha DPL for classical zero-order natural deduction. Our presentation of NDL mirrors that of PAR, showing how every basic concept that was introduced in PAR resurfaces in NDL. We present sample proofs of several well-known tautologies of propositional logic that demonstrate our thesis that DPL proofs are readable, writable, and concise. Next we contrast DPLs to typed logics based on the Curry-Howard isomorphism, and discuss the distinction between pure and augmented DPLs. Finally we consider the issue of implementing DPLs, presenting an implementation of PAR in SML and one in Athena, and end with some concluding remarks.

Simplifying transformations for type-alpha certificates

This paper presents an algorithm for simplifying NDL deductions. An array of simplifying transformations are rigorously defined. They are shown to be terminating, and to respect the formal semantis of the language. We also show that the transformations never increase the size or complexity of a deduction---in the worst case, they produce deductions of the same size and complexity as the original. We present several examples of proofs containing various types of "detours", and explain how our procedure eliminates them, resulting in smaller and cleaner deductions. All of the given transformations are fully implemented in SML-NJ. The complete code listing is presented, along with explanatory comments. Finally, although the transformations given here are defined for NDL, we point out that they can be applied to any type-alpha DPL that satisfies a few simple conditions.

Isospecific polymerization of styrene with modified ziegler-type catalysts

Effects of various kinds of additives as well as aging of the catalyst on the polymerization of styrene catalyzed by TiCl4/MgCl2-AlEt3 system have been studied. Experiments show that in toluene the isotacticity of polystyrene can be up to 83% for aged catalyst, whereas when the catalyst is not aged. non-stereospecific polymer is the main product. When PCl3 is used as an additive, the catalyst system gives high activity and isotacticity. The use of a mixture of AlEt3/H2O (1: 1 mole ratio) as a cocatalyst is also efficient. The catalyst [TiCl4-PCl3/MgCl2-AlEt3/H2O] displays high activity and product isotacticity (94%) with an average molecular weight up to 2 X 10(-6). When Co(acac)(3) is added to to [TiCl4/MgCl2-AlEt3] catalyst after it was aged, the isotacticity can be up to 97%. (C) 2001 Elsevier Science Ltd. All rights reserved.

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.

Effect of polymeric properties on the operation of gel-type audio transducers.

A novel design of a moving-coil transducer coupled with a low-hardness elastomer called “the gel surround” is presented in this thesis. This device is termed a “gel-type audio transducer”. The gel-type audio transducer has been developed to overcome the problems that conventional loudspeakers have suffered - that is, the problem with size of the audio device against the quality of sound at low frequency range. Therefore the research work presented herein aims to develop the “gel-type audio transducer” as a next-generation audio transducer for miniaturized woofers. The gel-type audio transducer consists of the magnetic and coil-drive plate assembly, and these parts are coupled by the gel surround. The transducer is driven by the electromagnetic conversion mechanism (a moving-coil transducer) and its output driving force can be greatly enhanced by applying the novel mechanism of the gel surround especially at low frequency range, resulting in the enhanced acoustic efficiency. The transducer can be attached to a stiff and light panel with both the optimized impedance matching and minimised wave collisions. The performance of the gel-type audio transducer is greatly influenced by the mass of the magnetic assembly and compliance of the “gel surround”. But as the size of the magnet and its weight have to be kept minimal for a miniaturisation of the device, the focus of the research is on the effect of the of the gel surround. As a result, the effect of the gel surround, made of the RTV (room-temperature vulcanising) silicone elastomer, TPE (thermoplastic elastomer), and the silicone foam, on generation of the output driving force, the energy transfer from the transducer to a panel to which the transducer is attached, and sound radiation from the vibrating panel, was investigated. This effect was studied by COMSOL multiphysics (FE analysis) and thereby, the simulated results were verified by experiments such as the laser scanning measurement, DMA (dynamic mechanical analyzer), and the acoustic test. Successful development of prototypes of the gel-type audio transducers, with an enhanced acoustic efficiency at reduced size and weight, was achieved. Implementation of the transducers into consumer applications was also demonstrated with their commercial values.

Exploitation of Ebola Virus VP35 Protein to identify new drugs counteracting its type I IFN antagonism

Ebolaviruses (EBOVs) are among the most virulent and deadly pathogens ever known, causing fulminant haemorrhagic fevers in humans and non-human primates. The 2014 outbreak of Ebola virus disease (EVD) in West Africa has claimed more lives than all previous EVD outbreaks combined. The EBOV high mortality rates have been related to the virus-induced impairment of the host innate immunity reaction due to two virus-coded proteins, VP24 and VP35. EBOV VP35 is a multifunctional protein, it is essential for viral replication as a component of the viral RNA polymerase and it also participates in nucleocapsid assembly. Early during EBOV infection, alpha-beta interferon (IFN-α/β) production would be triggered upon recognition of viral dsRNA products by cytoplasmic retinoic acid-inducible gene I (RIG-I)-like receptors (RLRs). However, this recognition is efficiently prevented by the double-stranded RNA (dsRNA) binding activity of the EBOV VP35 protein, which hides RLRs binding sites on the dsRNA phosphate backbone as well the 5’-triphosphate (5’-ppp) dsRNA ends to RIG-I recognition. In addition to dsRNA binding and sequestration, EBOV VP35 inhibits IFN-α/β production preventing the activation of the IFN regulatory factor 3 (IRF-3) by direct interaction with cellular proteins. Previous studies demonstrated that single amino acid changes in the VP35 dsRNA binding domain reduce EBOV virulence, indicating that VP35 is an attractive target for antiviral drugs development. Within this context, here we report the establishment of a novel method to characterize the EBOV VP35 inhibitory function of the dsRNA-dependent RIG-I-mediated IFN-β signaling pathway in a BLS2 cell culture setting. In such system, a plasmid containing the promoter region of IFN-β gene linked with a luciferase reporter gene was transfected, together with a EBOV VP35 mammalian expression plasmid, into the IFN-sensitive A549 cell line, and the IFN-induction was stimulated through dsRNA transfection. Through alanine scanning mutational studies with biochemical, cellular and computational methods we highlighted the importance of some VP35 residues involved in dsRNA end-capping binding, such as R312, K282 and R322, that may serve as target for the development of small-molecule inhibitors against EBOV. Furthermore, we identified a synthetic compound that increased IFN-induction only under antiviral response stimulation and subverted VP35 inhibition, proving to be very attractive for the development of an antiviral drug. In conclusion, our results provide the establishment of a new assay as a straightforward tool for the screening of antiviral compounds that target i) dsRNA-VP35 or cellular protein-VP35 interaction and ii) dsRNA-dependent RIG-I-mediated IFN signaling pathway, in order to potentiate the IFN response against VP35 inhibition, setting the bases for further drug development.

Exercise for the management of type 2 diabetes: A review of the evidence

The aim is to critically review the more relevant evidence on the interrelationships between exercise and metabolic outcomes. The research questions addressed in the recent specific literature with the most relevant randomized controlled trials, meta-analysis and cohort studies are presented in three domains: aerobic exercise, resistance exercise, combined aerobic and resistance exercise. From this review appear that the effects of aerobic exercise are well established, and interventions with more vigorous aerobic exercise programs resulted in greater reductions in HbA1c, greater increase in VO2max and greater increase in insulin sensitivity. Considering the available evidence, it appears that resistance training could be an effective intervention to help glycemic control, especially considering that the effects of this form of intervention are comparable with what reported with aerobic exercise. Less studies have investigated whether combined resistance and aerobic training offers a synergistic and incremental effect on glycemic control; however, from the available evidences appear that combined exercise training seems to determine additional change in HbA1c that can be seen significant if compared with aerobic training alone and resistance training alone.

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

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.

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.