SAT Local Search Algorithms: Worst-Case Study

Recent experiments demonstrated that local search algorithms (e.g. GSAT) are able to find satisfying assignments for many hard Boolean formulas. A wide experimental study of these algorithms demonstrated their good performance on some inportant classes of formulas as well as poor performance on some other ones. In contrast, theoretical knowledge of their worst-case behavior is very limited. However, many worst-case upper and lower bounds of the form 2 ⁿ (<1 is a constant) are known for other SAT algorithms, for example, resolution-like algorithms. In the present paper we prove both upper and lower bounds of this form for local search algorithms. The class of linear-size formulas we consider for the upper bound covers most of the DIMACS benchmarks; the satisfiability problem for this class of formulas is NP-complete.     

Myocardial rupture during exercise ECG

We report a case of heart rupture in connection with a stress test performed nine days after an otherwise uncomplicated myocardial infarction. The Danish Association of Cardiologists recommend stress testing 5-20 days after myocardial infarction. We question whether this timing is appropriate considering the vulnerability of the myocardium at that time.     

Blood and plasma selenium levels and GSH-Px activities in patients with arterial hypertension and chronic heart disease

Among the 57 monoclonal antibodies analyzed within the T-cell group of the Second International Swine CD Workshop, one mAb fell within cluster T14a that included the CD6 standard a38b2 (No. 175). The new mAb MIL8 (No. 082) and a38b2 both precipitated from activated T-cells a 150 kDa monomeric protein. Staining patterns on the various cell types were similar. There was no inhibition of binding of either mAb to peripheral blood T-cells with the opposite mAb. The new mAb, MIL8, reacts with a separate epitope on porcine wCD6.     

Supplementation with isoflavonoid phytoestrogens does not alter serum lipid concentrations: a randomized controlled trial in humans

Isoflavonoids are a class of flavonoids that are derived in the human diet mainly from soybean-based foods. The major dietary isoflavonoids, genistein and daidzein, have estrogen-like activity and are classed as phytoestrogens. Because estrogens can lower serum LDL cholesterol and raise HDL cholesterol, the objective of this study was to determine if isoflavonoids could improve serum lipids in healthy subjects. Forty-six men and 13 postmenopausal women not receiving hormone replacement therapy completed a randomized, double-blind, placebo-controlled trial of two-way parallel design and 8 wk duration. One tablet containing 55 mg of isoflavonoids (predominantly in the form of genistein) or one placebo tablet was taken daily with the evening meal. Subjects maintained their usual diet and physical activity, which were unchanged throughout the intervention. Measurement of isoflavonoids and their metabolites in 24-h urine samples provided an assessment of compliance and of isoflavonoid metabolism. Serum total, LDL, HDL and HDL subclass cholesterol, triglycerides and lipoprotein (a) were assessed at baseline and during the last week of intervention. After adjustment for baseline values, no significant differences in postintervention serum lipid and lipoprotein (a) concentrations between groups were identified. Further adjustment for age, gender and weight change did not alter the results. In addition, changes in urinary isoflavonoids were not significantly correlated with changes in serum lipids and lipoprotein (a). Therefore, this study does not support the hypothesis that isoflavonoid phytoestrogens can improve the serum lipids, at least in subjects with average serum cholesterol concentrations.     

Cholesterol, endothelial function and cardiovascular disease

Poster presentations have proved to be a popular method of displaying information at conferences, and are being used increasingly as a teaching method. Innovative strategies for teaching and assessing research need to facilitate students' achievement of research skills required for practice. These are outlined by the Department of Health, and emphasize the development of research literacy. Using the poster presentation as a teaching and assessing strategy on diploma level courses (Project 2000 and ENB 870 introduction to the Understanding and Application of Research) has proved to be valuable in developing vital research awareness skills and in harnessing enthusiasm for research. Students imply a sense of achievement gained through the process of developing the poster and the production of the poster itself. Herein lies the value of the poster presentation, for it allows the development of crucial research literacy skills which can be widely used in professional practice and future professional education.     

Preliminary characterization of glial-secreted factors responsible for the induction of high electrical resistances across endothelial monolayers in a blood-brain barrier model

Low levels of sex hormone-binding globulin (SHBG) are considered to be an indirect index of hyperinsulinemia, predicting the later onset of diabetes mellitus type 2. In the insulin resistance state and in the presence of an increased pancreatic beta-cell demand (e.g. obesity) both absolute and relative increases in proinsulin secretion occur. In the present study we investigated the correlation between SHBG and pancreatic beta-cell secretion in men with different body compositions. Eighteen young men (30.0 +/- 2.4 years) with normal glucose tolerance and body mass indexes (BMI) ranging from 22.6 to 43.2 kg/m2 were submitted to an oral glucose tolerance test (75 g) and baseline and 120-min blood samples were used to determine insulin, proinsulin and C-peptide by specific immunoassays. Baseline SHBG values were significantly correlated with baseline insulin (r = -0.58, P < 0.05), proinsulin (r = -0.47, P < 0.05), C-peptide (r = -0.55, P < 0.05) and also with proinsulin at 120 min after glucose load (r = -0.58, P < 0.05). Stepwise regression analysis revealed that proinsulin values at 120 min were the strongest predictor of SHBG (r = -0.58, P < 0.05). When subjects were divided into obese (BMI > 28 kg/m2, N = 8) and nonobese (BMI < or = 25 kg/m2, N = 10) groups, significantly lower levels of SHBG were found in the obese subjects. The obese group had significantly higher baseline proinsulin, C-peptide and 120-min proinsulin and insulin levels. For the first time using a specific assay for insulin determination, a strong inverse correlation between insulinemia and SHBG levels was confirmed. The finding of a strong negative correlation between SHBG levels and pancreatic beta-cell secretion, mainly for the 120-min post-glucose load proinsulin levels, reinforces the concept that low SHBG levels are a suitable marker of increased pancreatic beta-cell demand.     

Recombinant modified vaccinia virus Ankara-simian immunodeficiency virus gag pol elicits cytotoxic T lymphocytes in rhesus monkeys detected by a major histocompatibility complex class I/peptide tetramer

The utility of modified vaccinia virus Ankara (MVA) as a vector for eliciting AIDS virus-specific cytotoxic T lymphocytes (CTL) was explored in the simian immunodeficiency virus (SIV)/rhesus monkey model. After two intramuscular immunizations with recombinant MVA-SIVSM gag pol, the monkeys developed a Gag epitope-specific CTL response readily detected in peripheral blood lymphocytes by using a functional killing assay. Moreover, those immunizations also elicited a population of CD8+ T lymphocytes in the peripheral blood that bound a specific major histocompatibility complex class I/peptide tetramer. These Gag epitope-specific CD8+ T lymphocytes also were demonstrated by using both functional and tetramer-binding assays in lymph nodes of the immunized monkeys. These observations suggest that MVA may prove a useful vector for an HIV-1 vaccine. They also suggest that tetramer staining may be a useful technology for monitoring CTL generation in vaccine trials in nonhuman primates and in humans.     

Role of orlistat in the treatment of obese patients with type 2 diabetes. A 1-year randomized double-blind study

OBJECTIVE: Obesity is an important risk factor for type 2 diabetes. Weight loss in patients with type 2 diabetes is associated with improved glycemic control and reduced cardiovascular disease risk factors, but weight loss is notably difficult to achieve and sustain with caloric restriction and exercise. The purpose of this study was to assess the impact of treatment with orlistat, a pancreatic lipase inhibitor, on weight loss, glycemic control, and serum lipid levels in obese patients with type 2 diabetes on sulfonylurea medications. RESEARCH DESIGN AND METHODS: In a multicenter 57-week randomized double-blind placebo-controlled study, 120 mg orlistat or placebo was administered orally three times a day with a mildly hypocaloric diet to 391 obese men and women with type 2 diabetes who were aged > 18 years, had a BMI of 28-40 kg/m2, and were clinically stable on oral sulfonylureas. Changes in body weight, glycemic control, lipid levels, and drug tolerability were measured. RESULTS: After 1 year of treatment, the orlistat group lost 6.2 +/- 0.45% (mean +/- SEM) of initial body weight vs. 4.3 +/- 0.49% in the placebo group (P < 0.001). Twice as many patients receiving orlistat (49 vs. 23%) lost > or = 5% of initial body weight (P < 0.001). Orlistat treatment plus diet compared with placebo plus diet was associated with significant improvement in glycemic control, as reflected in decreases in HbA1c (P < 0.001) and fasting plasma glucose (P < 0.001) and in dosage reductions of oral sulfonylurea medication (P < 0.01). Orlistat therapy also resulted in significantly greater improvements than placebo in several lipid parameters, namely, greater reductions in total cholesterol, (P < 0.001), LDL cholesterol (P < 0.001), triglycerides (P < 0.05), apolipoprotein B (P < 0.001), and the LDL-to-HDL cholesterol ratio (P < 0.001). Mild to moderate and transient gastrointestinal events were reported with orlistat therapy, although their association with study withdrawal was low. Fat-soluble vitamin levels generally remained within the reference range, and vitamin supplementation was required in only a few patients. CONCLUSIONS: Orlistat is an effective treatment modality in obese patients with type 2 diabetes with respect to clinically meaningful weight loss and maintenance of weight loss, improved glycemic control, and improved lipid profile.     

Effect of galactose and sugar substitutes on blood insulin levels in normal and obese individuals

Eighteen male patients between the ages of 25 and 50 were given on a double blind randomized basis (A) 40 gms. galactose (B) 50 gms. arabinogalactan and 0.11 gm. sodium saccharin (C) 2 gm. methyl cellulose and 0.083 gm. sodium saccharin and (D) 4 gm. galactose, all in 200 ml water. Blood glucose, galactose and insulin levels were determined during a six hour period before and after ingestion. The three first mentioned solutions tasted equally sweet, the fourth was essentially tasteless. None of these feedings altered plasma insulin or glucose levels. It appears that in contrast to other conclusions reached by earlier investigators sweet taste is unable to induce insulin secretion through neurogenic pathways.