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.

Titanium-based perovskite-type mixed conducting ceramic membranes for oxygen permeation

A titanium-based perovskite-type oxide was synthesized by an improved method of combining EDTA acid and citric acid complexes. High structural stability, good sintering ability, and relatively high oxygen permeation flux were obtained simultaneously for disks synthesized from this ceramic oxide. (C) 2002 Elsevier Science B.V All rights reserved.

Synthesis and characterization of gallium-based perovskite-type dense membrane with oxygen semipermeability

La0.15Sr0.85Ga0.3Fe0.7O3-delta (LSGFO) and La0.15Sr0.85Co0.3Fe0.7O3-delta (LSCFO) mixed oxygen-ion and electron conducting oxides were synthesized by using a combined EDTA and citrate complexing method, and the corresponding dense membranes were fabricated. The properties of the oxide powders and membranes were characterized with combined SEM, XRD, H-2-TPR, O-2-TPD techniques, mechanical strength and oxygen permeation measurement. The results showed that LSGFO had much higher thermochemical stability than LSCFO due to the higher valence stability of Ga3+. After the temperature-programmed reduction by 5% H-2 in Ar from 20 degreesC to 1020 degreesC, the basic perovskite structure of LSGFO was successfully preserved. LSGFO also favors the oxygen vacancy formation better than LSCFO. Oxygen permeation measurement demonstrated that LSGFO had higher oxygen permeation flux than LSCFO, but they had similar activation energy for oxygen transportation, with a value of 110 and 117 kJ . mol(-1), respectively The difference in oxygen permeation fluxes was correlated with the difference in oxygen vacancy concentrations for the two materials.

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.

B Cell Activation in Insulin Resistance and Obesity

Our group has demonstrated that inflammatory diseases such as type 2 diabetes (DM), inflammatory bowel disease (IBD), and periodontal disease (PD) are associated with altered B cell function that may contribute to disease pathogenesis. B cells were found to be highly activated with characteristics of inflammatory cells. Obesity is a pre-disease state for cardiovascular disease and type 2 diabetes and is considered a state of chronic inflammation. Therefore, we sought to better characterize B cell function and phenotype in obese patients. We demonstrate that (Toll-like receptor) TLR4 and CD36 expression by B cells is elevated in obese subjects, suggesting increased sensing of lipopolysaccharide (LPS) and other TLR ligands. These ligands may be of microbial, from translocation from a leaky gut, or host origin. To better assess microbial ligand burden and host response in the bloodstream, we measured LPS binding protein (LBP), bacterial/permeability increasing protein (BPI), and high mobility group box 1 (HMGB1). Thus far, our data demonstrate an increase in LBP in DM and obesity indicating increased responses to TLR ligands in the blood. Interestingly, B cells responded to certain types of LPS by phosphorylating extracellular-signal-regulated kinases (ERK) 1/2. A better understanding of the immunological state of obesity and the microbial and endogenous TLR ligands that may be activating B cells will help identify novel therapeutics to reduce the risk of more dangerous conditions, such as cardiovascular disease.

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.

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.

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.

Creation of a complex butterfly attractor using a novel Lorenz-type system

A novel Lorenz-type system of nonlinear differential equations is proposed. Unlike the original Lorenz system, where the chaotic dynamics remain confined to the positive half-space with respect to the Z state variable due to a limiting threshold effect, the proposed system enables bipolar swing of this state variable. In addition, the classical set of parameters (a, b, c) controlling the behavior of the Lorenz system are reduced to a single parameter, namely a. Two possible modes of operation are admitted by the system; switching between these two modes results in the creation of a complex butterfly chaotic attractor. Numerical simulations and results from an experimental setup are presented

Selective defect of anti-pneumococcal IgG in a patient with persistent polyclonal B cell lymphocytosis.

BACKGROUND: Persistent polyclonal B cell lymphocytosis (PPBL) is a rare condition characterized by increased IgM and large excess of B cells with an IgD(+) CD27(+) phenotype. In normal individuals, these cells play a central role in the defense against pneumococcal infection. So far, few studies have characterized humoral immune responses in PPBL patients. We therefore measured IgG directed against S. pneumoniae antigens in a 51 yr-old woman with PPBL before and after vaccination with a pneumococcal 23-valent polysaccharide vaccine. METHODS: Antibodies against pneumococcal antigens were measured first with an overall immunoassay using microplates coated with the 23-valent pneumococcal vaccine. A serotype-specific test was also performed according to the WHO consensus protocol. RESULTS: Despite a large number of IgD(+) CD27(+) cells, our patient had low baseline titers of IgG directed against pneumococcal antigens and did not significantly respond to a 23-valent polysaccharide vaccine against S. pneumoniae. On the contrary, she had good titers of IgG directed against tetanus toxoid. CONCLUSION: IgM(+) IgD(+) CD27(+) cells which accumulate in this patient with typical PPBL patient failed to perform IgG isotype switch after a polysaccharide vaccine. The potential mechanisms and relationships with the main features of PPBL are discussed. Further studies on a larger number of similar patients are needed.

I'll have what she's having: Effects of social influence and body type on the food choices of others

This research examines how the body type of consumers affects the food consumption of other consumers around them. We find that consumers anchor on the quantities others around them select but that these portions are adjusted according to the body type of the other consumer. We find that people choose a larger portion following another consumer who first selects a large quantity but that this portion is significantly smaller if the other is obese than if she is thin. We also find that the adjustment is more pronounced for consumers who are low in appearance self-esteem and that it is attenuated under cognitive load. © 2009 by Journal of Consumer Research, Inc.

Host determinants of HIV-1 control in African Americans.

We performed a whole-genome association study of human immunodeficiency virus type 1 (HIV-1) set point among a cohort of African Americans (n = 515), and an intronic single-nucleotide polymorphism (SNP) in the HLA-B gene showed one of the strongest associations. We use a subset of patients to demonstrate that this SNP reflects the effect of the HLA-B*5703 allele, which shows a genome-wide statistically significant association with viral load set point (P = 5.6 x 10(-10)). These analyses therefore confirm a member of the HLA-B*57 group of alleles as the most important common variant that influences viral load variation in African Americans, which is consistent with what has been observed for individuals of European ancestry, among whom the most important common variant is HLA-B*5701.

Human uterine leiomyoma-derived fibroblasts stimulate uterine leiomyoma cell proliferation and collagen type I production, and activate RTKs and TGF beta receptor signaling in coculture.

BACKGROUND: Uterine leiomyomas (fibroids) are benign smooth muscle tumors that often contain an excessive extracellular matrix (ECM). In the present study, we investigated the interactions between human uterine leiomyoma (UtLM) cells and uterine leiomyoma-derived fibroblasts (FB), and their importance in cell growth and ECM protein production using a coculture system. RESULTS: We found enhanced cell proliferation, and elevated levels of ECM collagen type I and insulin-like growth factor-binding protein-3 after coculturing. There was also increased secretion of vascular endothelial growth factor, epidermal growth factor, fibroblast growth factor-2, and platelet derived growth factor A and B in the media of UtLM cells cocultured with FB. Protein arrays revealed increased phosphorylated receptor tyrosine kinases (RTKs) of the above growth factor ligands, and immunoblots showed elevated levels of the RTK downstream effector, phospho-mitogen activated protein kinase 44/42 in cocultured UtLM cells. There was also increased secretion of transforming growth factor-beta 1 and 3, and immunoprecipitated transforming growth factor-beta receptor I from cocultured UtLM cells showed elevated phosphoserine expression. The downstream effectors phospho-small mothers against decapentaplegic -2 and -3 protein (SMAD) levels were also increased in cocultured UtLM cells. However, none of the above effects were seen in normal myometrial cells cocultured with FB. The soluble factors released by tumor-derived fibroblasts and/or UtLM cells, and activation of the growth factor receptors and their pathways stimulated the proliferation of UtLM cells and enhanced the production of ECM proteins. CONCLUSIONS: These data support the importance of interactions between fibroid tumor cells and ECM fibroblasts in vivo, and the role of growth factors, and ECM proteins in the pathogenesis of uterine fibroids.

Analysis of memory B cell responses and isolation of novel monoclonal antibodies with neutralizing breadth from HIV-1-infected individuals.

BACKGROUND: The isolation of human monoclonal antibodies (mAbs) that neutralize a broad spectrum of primary HIV-1 isolates and the characterization of the human neutralizing antibody B cell response to HIV-1 infection are important goals that are central to the design of an effective antibody-based vaccine. METHODS AND FINDINGS: We immortalized IgG(+) memory B cells from individuals infected with diverse clades of HIV-1 and selected on the basis of plasma neutralization profiles that were cross-clade and relatively potent. Culture supernatants were screened using various recombinant forms of the envelope glycoproteins (Env) in multiple parallel assays. We isolated 58 mAbs that were mapped to different Env surfaces, most of which showed neutralizing activity. One mAb in particular (HJ16) specific for a novel epitope proximal to the CD4 binding site on gp120 selectively neutralized a multi-clade panel of Tier-2 HIV-1 pseudoviruses, and demonstrated reactivity that was comparable in breadth, but distinct in neutralization specificity, to that of the other CD4 binding site-specific neutralizing mAb b12. A second mAb (HGN194) bound a conserved epitope in the V3 crown and neutralized all Tier-1 and a proportion of Tier-2 pseudoviruses tested, irrespective of clade. A third mAb (HK20) with broad neutralizing activity, particularly as a Fab fragment, recognized a highly conserved epitope in the HR-1 region of gp41, but showed striking assay-dependent selectivity in its activity. CONCLUSIONS: This study reveals that by using appropriate screening methods, a large proportion of memory B cells can be isolated that produce mAbs with HIV-1 neutralizing activity. Three of these mAbs show unusual breadth of neutralization and therefore add to the current panel of HIV-1 neutralizing antibodies with potential for passive protection and template-based vaccine design.