Reengineering the Internet for Better Security

The growing proliferation of malware is raising doubts about the Internet's future. Security measures primarily target inbound traffic, but service providers have no incentive to stop attacks and spam at the source. A proposed certification scheme motivates providers to control outgoing traffic, efficiently increasing overall security while preserving the Internet's open, decentralized structure     

Turnover rates for heptane reforming over Pt/L zeolites with different alkali cations

A series of 0.6 wt% Pt/BaL catalysts with different alkali cations have been tested for heptane reforming at 440 ° C, 0.16 atm heptane, 0.95 atm H₂, 6.7 atm He, 3 to 5 h of reaction, and conversions between 2 and 10%. As the cations in the zeolite are progressively changed from lithium to cesium, the turnover rates for hydrogenolysis and dehydrocyclization increase by about 5–10 times, while the turnover rate for isomerization remains unchanged. Since the turnover rates for hydrogenolysis and dehydrocyclization are similarly affected, exchanging lighter alkali cations for heavier ones increases the aromatics selectivity by a small amount, from 72 to 82%. These results indicate that metal-support interactions have a moderate effect on the heptane reforming activity, but only a weak effect on the selectivity.     

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.     

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.