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     

A high-stability fiber amplifier source for the fiber opticgyroscope

We demonstrate an erbium-doped fiber amplifier (EDFA) source for the fiber gyroscope with an overall mean wavelength stability of four parts per million. This source, which amplifies the gyroscope signal before detection, is shown to be more stable than a similar single-pass source in a standard configuration. The effects of varying the fiber temperature, pump power, pump wavelength, gyroscope feedback power and signal polarization state on the output mean wavelength are individually explored. Experimental results are in excellent agreement with simulations     

Distribution of alpha 1A, alpha 1B and alpha 1E voltage-dependent calcium channel subunits in the human hippocampus and parahippocampal gyrus

The distribution of voltage-dependent calcium channel subunits in the central nervous system may provide information about the function of these channels. The present study examined the distribution of three alpha-1 subunits, alpha 1A, alpha 1B and alpha 1E, in the normal human hippocampal formation and parahippocampal gyrus using the techniques of in situ hybridization and immunocytochemistry. All three subunit mRNAs appeared to be similarly localized, with high levels of expression in the dentate granule and CA pyramidal layer. At the protein level, alpha 1A, alpha 1B and alpha 1E subunits were differentially localized. In general, alpha 1A-immunoreactivity was most intense in cell bodies and dendritic processes, including dentate granule cells, CA3 pyramidal cells and entorhinal cortex pre-alpha and pri-alpha cells. The alpha 1B antibody exhibited relatively weak staining of cell bodies but stronger staining of neuropil, especially in certain regions of high synaptic density such as the polymorphic layer of the dentate gyrus and the stratum lucidum and radiatum of the CA regions. The alpha 1E staining pattern shared features in common with both alpha 1A and alpha 1B, with strong immunoreactivity in dentate granule, CA3 pyramidal and entorhinal cortex pri-alpha cells, as well as staining of the CA3 stratum lucidum. These findings suggest regions in which particular subunits may be involved in synaptic communication. For example, comparison of alpha 1B and alpha 1E staining in the CA3 stratum lucidum with calbindin-immuno-reactivity suggested that these two calcium channels subunits may be localized presynaptically in mossy fibre terminals and therefore may be involved in neurotransmitter release from these terminals.     

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     

Comparison and Identification of Static Electrical Terminal Fuel Cell Models

Six steady-state fuel cell electrical terminal models are compared using experimental data from an Avista Laboratories SR-12 500 W proton exchange membrane (PEM) fuel cell. The paper begins by reviewing the physical effects in a fuel cell. The proposed electrical terminal models are introduced in terms of these physical effects, parameterized for identification and compared using the measured data.     

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.