Model checker aided design of a controller for a wafer scanner

For a case-study of a wafer scanner from the semiconductor industry it is shown how model checking techniques can be used to compute (1) a simple yet optimal deadlock avoidance policy, and (2) an infinite schedule that optimizes throughput. in the absence of errors. Deadlock avoidance is studied based on a simple finite state model using Smv, and for throughput analysis a more detailed timed automaton model has been constructed and analyzed using the Uppaal tool. The Smv and Uppaal models are formally related through the notion of a stuttering bisimulation. The results were obtained within 2 weeks, which confirms once more that model checking techniques may help to improve the design process of realistic, industrial systems. Methodologically, the case study is interesting since two models were used to obtain results that could not have been obtained using only a single model. Supported by the European Community Project IST-2001-35304 (Ametist), http://ametist.cs.utwente.nl/.     

Multi-field packet classification using ternary CAM

A new method for multi-field packet classification using a ternary CAM (TCAM) is presented. It is based on a preprocessing step that encodes classification rule information in the form of prefixes within an intermediate search key. The scheme enables TCAMs to handle larger rule sets more efficiently     

Cholesteryl ester transfer protein gene polymorphism is a determinant of HDL cholesterol and of the lipoprotein response to a lipid-lowering diet in type 1 diabetes

The TaqIB cholesteryl ester transfer protein (CETP) gene polymorphism (B1B2) is a determinant of HDL cholesterol in nondiabetic populations. Remarkably, this gene effect appears to be modified by environmental factors. We evaluated the effect of this polymorphism on HDL cholesterol levels and on the lipoprotein response to a linoleic acid-enriched, low-cholesterol diet in patients with type 1 diabetes. In 44 consecutive type 1 diabetic patients (35 men), CETP polymorphism, apolipoprotein (apo) E genotype, serum lipoproteins, serum CETP activity (measured with an exogenous substrate assay, n = 30), clinical variables, and a diet history were documented. The 1-year response to diet was assessed in 14 type 1 diabetic patients, including 6 B1B1 and 6 B1B2 individuals. HDL cholesterol was higher in 10 B2B2 than in 14 B1B1 homozygotes (1.63 +/- 0.38 vs. 1.24 +/- 0.23 mmol/l, P < 0.01). HDL cholesterol, adjusted for triglycerides and smoking, was 0.19 mmol/l higher for each B2 allele present. CETP activity levels were not significantly different between CETP genotypes. Multiple regression analysis showed that VLDL + LDL cholesterol was associated with dietary polyunsaturated:saturated fatty acids ratio (P < 0.02) and total fat intake (P < 0.05) in the B1B1 homozygotes only and tended to be related to the presence of the apo E4 allele (P < 0.10). In response to diet, VLDL + LDL cholesterol fell (P < 0.05) and HDL cholesterol remained unchanged in 6 B1B1 homozygotes. In contrast, VLDL + LDL cholesterol was unaltered and HDL cholesterol decreased (P < 0.05) in 6 B1B2 heterozygotes (P < 0.05 for difference in change in VLDL + LDL/HDL cholesterol ratio). This difference in response was unrelated to the apo E genotype. Thus, the TaqIB CETP gene polymorphism is a strong determinant of HDL cholesterol in type 1 diabetes. This gene effect is unlikely to be explained by a major influence on the serum level of CETP activity, as an indirect measure of CETP mass. Our preliminary data suggest that this polymorphism may be a marker of the lipoprotein response to dietary intervention.     

Copper bioavailability from breakfasts containing tea. Influence of the addition of milk

The influence of drinking tea on copper bioavailability is unclear, particularly when tea is consumed with food. A breakfast meal containing white bread, margarine, strawberry jam, cheese and tea, with or without milk, was digested in; vitro and the dialysis of copper investigated. Reference breakfasts were prepared with water and water with milk. Copper dialysability (percentage of copper dialysed) was markedly increased by tea. The influence of adding milk to tea was not significant. A second study was carried out in rats using the breakfasts containing tea and water. They were spiked with ⁶⁴Cu and given orally to the animals in a single dose. Whole-body ⁶⁴Cu retention was measured over a 4-day period after administration. In order to determine the true absorption of ⁶⁴Cu a control group of rats received the dose intraperitioneally. The results in vivo indicate a tendency to higher absorption and retention of ⁶⁴Cu with tea. Liver ⁶⁴Cu retention was significantly elevated by tea. Therefore, the presence of tea in a breakfast meal favours the formation of soluble low-molecular-weight ligands which can be absorbed and retained by rats. The concomitant increase in liver copper retetition may be associated with higher bioavailability and/or lower copper mobilisation.     

Affordances, perceptual complexity, and the development of tool use.

Perceiving the affordance of a tool requires the integration of several complementary relationships among actor, tool, and target. Higher order affordance structures are introduced to deal with these forms of complex action from an ecological-realist point of view. The complexity of the higher order affordance structure was used to predict the difficulty of perceiving the tool function. Predictions were tested in 3 experiments involving children between 9 mo and 4 yrs old. In a classical tool use task dating back to W. K?hler (1921), a desirable target was obtained by using a hook as a tool. The relative positions of the hook and the target were systematically varied to obtain structures differing in complexity. The observed difficulty of the task was found essentially in accordance with the theoretical complexity of the higher order affordance structures involved in perceiving the tool function. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Phase II study of vinorelbine (Navelbine) in previously treated small cell lung cancer patients. EORTC Lung Cancer Cooperative Group

26 previously treated patients with progressive recurrent small cell lung cancer (SCLC) were given vinorelbine (Navelbine), 30 mg/m2 weekly. All patients had responded to first-line chemotherapy and were off therapy for at least 3 months. Partial response was observed in 4 out of 25 eligible patients (16%; 95% confidence interval 4-36%), stable disease in 7 patients and progression in 12 patients. The limiting toxicity was a non-cumulative leucopenia (80%, 32% WHO grade 3-4). Reaction at the site of injection was observed in 5 patients, causing treatment discontinuation in 2 cases. Other non-haematological toxicities were moderate. These results suggest acceptable toxicity and some antitumour activity of vinorelbine in pretreated SCLC patients.