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     

A strain hardening failure assessment diagram derived from carbon-manganese steel compact tension specimens

A failure assessment diagram is derived from carbon-manganese steel compact tension specimens. The diagram has been determined from an elastic-plastic finite element analysis of a compact tension specimen geometry. The diagram has been validated by using experimental fracture toughness data obtained on the same steel and specimen geometry modelled in the finite element analysis. The plastic collapse load has been determined empirically for this geometry.It is shown that a non-work-hardening failure assessment diagram is not a good representation of the experimental data and that the computed failure assessment diagram is more appropriate for describing the behaviour of the carbon-manganese steel specimens.     

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.     

Characteristic magnetic resonance imaging entheseal changes of knee synovitis in spondylarthropathy

Although studies generally support a positive association between alcohol consumption and lung-cancer risk, the relationship between specific alcoholic beverages and lung-cancer risk has been inconsistent. We examined recent and past alcoholic beverage intake among 261 incident cases and 615 population controls enrolled in a lung-cancer case-control study of African Americans and Caucasians in Los Angeles County between 1991 and 1994. An in-person interview elicited information about past alcohol intake from ages 30 to 40 y, smoking, other lung-cancer risk factors, as well as recent intake of alcohol, and recent dietary intake. An association was observed between recent hard-liquor consumption and lung-cancer risk. The odds ratio (OR) for 1 or more drinks (1.5 oz or 0.051 mL) per day of hard liquor compared with infrequent liquor drinking (0-3 drinks per month), adjusted for smoking, the matching factors, saturated fat and other alcoholic beverages was 1.87 [95% confidence interval (CI) = 1.02-3.42]. No appreciable association was observed for total alcohol, whereas small inverse associations were observed for beer and wine, although confidence intervals were wide. An elevated lung-cancer risk was also observed for past liquor consumption (between ages 30 and 40 y). The adjusted OR for 1 or more drinks per day of liquor compared with infrequent drinkers was 1.83 (95% CI = 1. 06-3.15). Confounding of the association between alcohol and lung cancer by smoking was apparent. Although we devoted considerable efforts to adjusting for smoking in our analyses, residual confounding is still possible because smoking and alcohol are closely associated. In addition, case-control studies including this study should be viewed with caution because of possible selection bias. An increased risk of lung cancer might occur with moderate drinking of hard liquor but confirmation is required in larger studies.