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     

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.     

Well-differentiated liposarcoma of the hypopharynx

We report a case of subacute bowel obstruction due to a compression of the rectosigmoid junction by a chronically distended bladder, occurring in a 91-year-old male suffering from a long-standing diabetes mellitus and a prostatic adenoma. Radiographic, water-soluble contrast enema and pelvic CT features are reported.     

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.     

A CCG repeat polymorphism adjacent to the CAG repeat in the Huntington disease gene: implications for diagnostic accuracy and predictive testing

STUDY HYPOTHESIS: Concentrated aqueous solutions of hydroxocobalamin (OHCob) are given intravenously for the treatment of cyanide poisoning. Because OHCob solutions are intensely red and have peak light absorptions at 352 nm and 525 nm, we investigated whether the presence of OHCob in serum would interfere with various automated, colorimetric chemistry measurements. DESIGN: Selected serum chemistry colorimetric measurements were compared in seven patients, using their own serum as control, with serum containing OHCob at the following concentrations: 100 mg/L, 500 mg/L, and 1,000 mg/L. These concentrations are in the range achieved with therapeutic doses of OHCob when given for cyanide poisoning. MEASUREMENTS AND MAIN RESULTS: Statistically significant alterations in serum values for aspartate aminotransferase, total bilirubin, creatinine, magnesium, and iron were seen in the presence of OHCob. CONCLUSION: The presence of OHCob in serum interferes with several chemistry methodologies, and such interference should be anticipated when this antidote is used.     

Roles of word frequency and age of acquisition in word naming and lexical decision.

Six experiments are reported that contrasted the effects of frequency and age of acquisition on written word recognition. Age of acquisition affected word-naming speed when frequency was controlled (Experiment 1), but there was no effect of frequency when age of acquisition was controlled (Experiment 2). Experiments 3 and 4 found an effect of age of acquisition upon immediate but not delayed naming speed, but no frequency effect on either immediate or delayed naming once age of acquisition was controlled. Independent effects of frequency and age of acquisition were observed in the lexical decision task (Experiments 5 and 6). Implications for theoretical accounts of word recognition and the possible roles of age of acquisition and frequency in word recognition are discussed. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Dynex: multiplex ELISA technology

Conventional enzyme-linked immunosorbent assay (ELISA) is a gold standard for screening antibodies and testing for protein or antigen presence. A significant limitation of this assay resides in the fact that only one analyte can be assessed per microplate well. Here, we describe and investigate a new technology consisting of an automated ELISA system in which up to 10 analytes can be measured within one single well, thus improving productivity, accuracy, and repeatability by reducing the amount of human labor required. Another strength of the platform is that a user can load any necessary sets/subsets of beads to perform required assays, with improved flexibility compared to manufactured-loaded arrays for multiplex analysis. We also demonstrate that this system can be used to determine the pathogenicity (i.e., presence of Shiga toxins) and serotype (i.e., Escherichia coli O157) of E. coli isolates.     

Groundwater-surface water interactions and agricultural nutrient transport in a Great Lakes clay plain system

Nutrient export from agricultural land to surface waters is a significant environmental concern within the Great Lakes Basin (GLB). A field-based watershed-scale study was completed to investigate spatial and temporal variations of phosphorus and nitrate to assess nutrient transport pathways and groundwater-surface water interactions in an agriculturally dominated clay plain system. This was conducted in the 127 km² Upper Parkhill Watershed, near Lake Huron in southwestern Ontario, Canada. Data collection occurred from June 2018 to May 2019 via continuous sensor deployment and discrete sampling of stream water, groundwater, hyporheic zone, and tile drainage water. Samples were analyzed for various nutrient species (total, total dissolved, soluble reactive, and particulate phosphorus, and nitrate-N) to examine the hydrological dynamics of principal transport pathways of agriculturally-derived nutrients. Total phosphorus and nitrate concentrations in stream water ranged from 0.007 to 0.324 mg/L and 0.32 to 13.13 mg NO₃^?-N/L, respectively. Tile drainage water total phosphorous concentrations varied from 0.006 to 0.066 mg/L. Groundwater total dissolved phosphorus concentrations ranged from <0.003 to 0.085 mg/L. Transport of phosphorus through tile drainage was observed to be greater than through groundwater over the study period. No distinct relationship was observed between nutrient concentrations in the hyporheic zone and the vertical hydraulic gradient within this zone in the studied stream reach. Preliminary correlations were discerned between water quality observations and recognized land management practices. Given the elevated stream nutrient concentrations, these results are consequential for the continual improvement of strategies and programs devised to conserve water resources within the GLB.