A New Approach to Abstract Syntax with Variable Binding

The permutation model of set theory with atoms (FM-sets), devised by Fraenkel and Mostowski in the 1930s, supports notions of ‘name-abstraction’ and ‘fresh name’ that provide a new way to represent, compute with, and reason about the syntax of formal systems involving variable-binding operations. Inductively defined FM-sets involving the name-abstraction set former (together with Cartesian product and disjoint union) can correctly encode syntax modulo renaming of bound variables. In this way, the standard theory of algebraic data types can be extended to encompass signatures involving binding operators. In particular, there is an associated notion of structural recursion for defining syntax-manipulating functions (such as capture avoiding substitution, set of free variables, etc.) and a notion of proof by structural induction, both of which remain pleasingly close to informal practice in computer science. Received October 2000 / Accepted in revised form April 2001     

MODELING LIGNIN LIQUEFACTION 1. CATALYTIC HYDROPROCESSING OF LIGNIN-RELATED METHOXYPHENOLS AND INTERAROMATIC UNIT LINKAGES

The reactions of two sets of lignin model compounds over a sulfided CoOMoO3/γ-Al2O3 catalyst were studied. The first set mimicked lignin methoxyphenol residues and comprised 4-methyl-guaiacol, 4-methyl catechol, eugenol and vanillin. Deoxygenation and hydrogenation were facile and led to ultimate molar yields of single-ring products as high as 0.70. The selectivity to single-ring products increased with increases in temperature, o-hydroxydiphenylmethane, phenyl ether and o,o'-biphenol constituted the second set that mimicked thermally stable lignin bonds.Fragmentation of o-hydroxydiphenylmethane and phenyl ether occurred readily; o,o'-biphenol reacted to dibenzofuran.

These results suggest that the single-ring products obtained from catalytic liquefaction of lignins should be more desirable than those obtained from pyrolysis because of both higher yields and reduced complexity.     

Treating smokers before the quit date: can nicotine patches and denicotinized cigarettes reduce cravings?

The present study investigated whether treatment with the combination of denicotinized cigarettes and 21-mg nicotine patch for 2 weeks before a designated quit date could lessen cravings for smoking, thereby helping smokers abstain from smoking. The study was a randomized controlled clinical trial conducted at Roswell Park Cancer Institute, Buffalo, New York, in 2004 and 2005. Patients included 98 adult heavy smokers (using 20 or more cigarettes/day). Half of the subjects received 2 weeks of combination of denicotinized cigarettes (Quest 3) and 21-mg nicotine patch for 2 weeks before the quit date. The remaining smokers were switched to light cigarettes (Quest 1) during the 2 weeks before the quit date. After the quit date, all subjects received counseling for smoking cessation and were provided nicotine patches for up to 8 weeks after the quit date. Self-reported cravings for smoking, withdrawal symptoms, and smoking abstinence were measured at predetermined intervals using phone-based surveys and in clinical visits. The group that used denicotinized cigarettes and nicotine patch before quitting reported less frequent and less intense cravings for cigarettes in the 2 weeks before and after the designated quit date. Self-reported withdrawal symptoms and quit rates did not differ significantly between the groups. The use of a denicotinized cigarette combined with the nicotine patch appears to lessen cravings to smoke in the immediate postcessation period. A larger, better-powered study is needed to test if this treatment combination has merit for increasing quit rates.     

IL-1 beta and TNF alpha modulate delta 9-tetrahydrocannabinol-induced catalepsy in mice

The role of the proinflammatory cytokines interleukin-1 alpha (IL-1 alpha), interleukin-1 beta (IL-1 beta), interleukin-6 (IL-6), and tumor necrosis factor-alpha (TNF alpha) in THC-induced catalepsy in mice was examined. Recombinant IL-1 beta (400 ng/mouse, IV) and TNF alpha (500 ng/mouse, IV) were effective in potentiating the cataleptic effect of low-dose THC (10 micrograms/mouse, IV). Recombinant IL-1 alpha and IL-6 did not potentiate catalepsy at any dose tested. Anti-IL-1 beta and anti-TNF alpha antibodies were effective in attenuating high-dose (75 micrograms/mouse) THC-induced catalepsy. Antibodies to IL-1 alpha and IL-6 had no effect on catalepsy. Early onset catalepsy (10 min postinjection) was potentiated by exogenous recombinant IL-1 beta and TNF alpha but only later catalepsy (2 h postinjection) was attenuated by antibodies to endogenous IL-1 beta or TNF alpha. This divergence of the cytokine effect suggests that these substances regulate, by different mechanisms, the early and late THC-induced cataleptic response.     

Persistence of neutral polymorphisms in Lake Victoria cichlid fish

Phylogenetic trees for groups of closely related species often have different topologies, depending on the genes used. One explanation for the discordant topologies is the persistence of polymorphisms through the speciation phase, followed by differential fixation of alleles in the resulting species. The existence of transspecies polymorphisms has been documented for alleles maintained by balancing selection but not for neutral alleles. In the present study, transspecific persistence of neutral polymorphisms was tested in the endemic haplochromine species flock of Lake Victoria cichlid fish. Putative noncoding region polymorphisms were identified at four randomly selected nuclear loci and tested on a collection of 12 Lake Victoria species and their putative riverine ancestors. At all loci, the same polymorphism was found to be present in nearly all the tested species, both lacustrine and riverine. Different polymorphisms at these loci were found in cichlids of other East African lakes (Malawi and Tanganyika). The Lake Victoria polymorphisms must have therefore arisen after the flocks now inhabiting the three great lakes diverged from one another, but before the riverine ancestors of the Lake Victoria flock colonized the Lake. Calculations based on the mtDNA clock suggest that the polymorphisms have persisted for about 1.4 million years. To maintain neutral polymorphisms for such a long time, the population size must have remained large throughout the entire period.     

Demonstration of the Th1 to Th2 cytokine shift during the course of HIV-1 infection using cytoplasmic cytokine detection on single cell level by flow cytometry

OBJECTIVE: To characterize changes of Th1/Th2 cytokine production by peripheral blood mononuclear cells (PBMC) that occur during the course of HIV infection by cytoplasmic cytokine staining on single cell level. DESIGN AND METHODS: Mitogen-stimulated PBMC from 16 healthy donors, 18 HIV-1-infected individuals without AIDS and 14 patients with AIDS were stained intracellularly with fluorescein-labelled MAb against interleukin (IL)-2, IL-4, IL-10 and interferon (IFN)-gamma. Additionally, co-staining of CD4+ T-cell, CD8+ T-cell, natural killer (NK) cell, B-cell and monocytic markers was performed. Fluorescence staining was analysed by three-colour flow-cytometry. RESULTS: A reduced percentage of IL-2 and IFN-gamma (Th1 type)-producing cells among CD4+ T cells from HIV-1-infected individuals could be demonstrated. There was a continuous decrease of IFN-gamma-producing CD4+ T cells in the course of HIV infection and a dramatic reduction of IL-2-expressing cells among CD4+ T cells in patients with AIDS. In contrast to Th1 cytokines, the frequency of Th2 cytokine expressing cells among CD4+ T cells increased in HIV-infected individuals. The maximum frequency of IL-4-expressing cells among CD4+ T cells was seen in HIV-infected individuals without AIDS, whereas the rate of IL-10-producing cells was highest in patients with AIDS. In HIV-infected individuals no significant proportion of Th0 cells expressing both Th1 and Th2 cytokines was detectable. In CD8+ T cells the percentage of IL-2 was expressing cells decreased continuously accompanied by a strong increase of the frequency of IFN-gamma-producing cells. CONCLUSION: The decreased percentage of cells expressing IL-2 and IFN-gamma in conjunction with an increased proportion of IL-4- and IL-10-producing cells among the CD4+ T cells in HIV-1-infected individuals demonstrate a Th1 to Th2 cytokine shift in the course of HIV infection on a single cell level. There was no evidence of a Th1 to Th0 cytokine shift. In addition to the loss of CD4+ T cells in HIV infection, the qualitative changes of Th1/Th2 cytokine expression may serve as a marker for progressive failure of cell-mediated immunity.     

On-Line Shape recognition with incremental training using binary synaptic weights algorithm

Recognition of hand drawn shapes is beneficial in drawing packages and automated sketch entry in handheld computers. In this paper, we propose a new approach to on-line geometric shape recognition with incremental training function, which utilizes a heuristic function to reduce noise and a neural network for classification and on-line training. Instead of recognizing segments of a drawing and then performing syntactical analysis to match with a predefined shape, which is weak in terms of generalization and dealing with noise, we examine the shape as a whole. The main concept of the recognition method is derived from the fact that internal angles are very important in the perceived shape of outlines. Our application's aim is to recognize elliptic, rectangular, and triangular shapes in a way similar to human cognition of these shapes. Human beings recognize such basic shapes regardless of the variations in size, noise on the shape border, rotation and in the case of triangles, regardless of the type of the triangle. The key concept is that the neural network learns the relationships between the internal angles of a shape and its classification, therefore only a few training samples which represent the class of the shape are sufficient. Fast meremental training, which is performed on-line, is accomplished by the use of the Binary Synaptic Weights algorithm, a one pass, feedforward neural network training algorithm. Incremental training offers the advantage of adjusting the recognition capability of the system to the user's drawings. the results are very successful, such that the neural network correctly classified shapes that did not have any resemblance to the shapes in the initial training set.     

Screening for diabetic retinopathy: the utility of nonmydriatic retinal photography in Egyptian adults

BACKGROUND AND OBJECTIVE: Drug resistance has become a major cause of treatment failure in patients with acute leukemia. P-glycoprotein (Pgp), which is associated with the multidrug resistance (MDR) phenotype, has been reported to be an important predictor of treatment outcome. The aim of this study was to analyze the value of Pgp expression in bone marrow or peripheral blood as a predictor of the response to remission induction chemotherapy as well as the duration of remission in patients with de novo acute myeloid leukemia (AML). DESIGN AND METHODS: We examined the expression of Pgp in 82 patients with de novo AML using an immunocytochemical assay with the C219 monoclonal antibody. RESULTS: Twenty-seven of the 82 patients (33%) were C219-positive in from 1% to 100% of their cells. Thirteen cases (16%) showed a positive reaction in more than 50% of the leukemic cells. Only hyperleukocytosis was significantly associated with higher expression of Pgp. Although 8 of the 13 cases (62%) with more than 50% of cells having Pgp expression were CD34-positive, this association was not statistically significant. A univariate analysis of resistance to induction therapy showed a significantly higher resistance rate in patients with increased Pgp expression (P = 0.01) as well as in those patients with decreased reactivity to myeloperoxidase. The multivariate analysis revealed the independent prognostic value of Pgp expression. C219 reactivity did not have an influence on remission duration. INTERPRETATION AND CONCLUSIONS: Our data indicate that P-glycoprotein expression is a reliable marker of resistance to induction treatment in patients with de novo AML.