On Unification Modulo One-Sided Distributivity: Algorithms, Variants and Asymmetry

An algorithm for unification modulo one-sided distributivity is an early result by Tid\'en and Arnborg. More recently this theory has been of interest in cryptographic protocol analysis due to the fact that many cryptographic operators satisfy this property. Unfortunately the algorithm presented in the paper, although correct, has recently been shown not to be polynomial time bounded as claimed. In addition, for some instances, there exist most general unifiers that are exponentially large with respect to the input size. In this paper we first present a new polynomial time algorithm that solves the decision problem for a non-trivial subcase, based on a typed theory, of unification modulo one-sided distributivity. Next we present a new polynomial algorithm that solves the decision problem for unification modulo one-sided distributivity. A construction, employing string compression, is used to achieve the polynomial bound. Lastly, we examine the one-sided distributivity problem in the new asymmetric unification paradigm. We give the first asymmetric unification algorithm for one-sided distributivity

A new species of the genus Phanerotoma Wesmael (Braconidae: Cheloninae) with a key to Indian species

A new species of Phanerotoma viz., P. malabarica Sheeba & Narendran sp. nov. from India is described and compared with its closest relative. A key to Indian species of Phanerotoma is also provided

Insecta, Hymenoptera, Chalcidoidea, Eurytomidae and Torymidae in Iran

A taxonomic checklist of 43 species of Eurytomidae belonging to seven genera, and 41 species ofTorymidae belonging to 15 genera, are currently recognized as occurring in Iran. Based mostly on various faunisticsurvey reports; no eurytomid or torymid species with collection records from Iran have previously been listed.Therefore; we did not intend to confirm identifications of previous studies, except in very obvious cases. A morecomprehensive collection-based study is needed to confirm the actual Iranian occurrence of each species listed in thischecklist

Study of Plasma Fibrinogen in Acute Myocardial Infarction

BACKGROUND AND OBJECTIVES : Myocardial infarction is one of the commonest cause of death in the developing and developed countries. Indians are more prone to coronary artery disease but conventional risk factors do not explain the high rates of Coronary Artery Disease among Indians. Myocardial infarction is claiming a large number of lives in India. An impressive difference was absence of traditional risk factors in a third of them. Novel risk factors like homocysteine, lipoprotein (a), small LDL particle and fibrinogen may play a significant role in these patients. The aim of this study is to estimate fibrinogen levels in myocardial infarction patients and to study association of these novel risk factors with conventional risk factors. METHODOLOGY ; The present study included 70 patients who were admitted to IMCU and ICCU of Thanjavur Medical College Hospital during the period of Oct 2011–Nov 2012 fulfilling WHO criteria for acute myocardial infarction, presenting within 48 hours. Traditional risk factors were studied in addition to studying plasma fibrinogen levels. RESULTS : This study was predominantly male oriented 49(80%). Mean age of the patients was 52.26 years. Chest pain was the most common presenting symptom present in all the patients followed by sweating 10 (14.3%). Dyslipidemia was the most common 42 (60.9 %) risk factor in the present study followed by smoking 39 (55.7 %). High mean plasma fibrinogen (440.61 ± 75.4 mg/dl) levels was noted among patients. Significant association was noted between plasma fibrinogen and risk factors like dyslipidemia, obesity, diabetes and smoking. High plasma fibrinogen was observed in patients with chronic alcoholism, but not statistically significant. INTERPRETATION AND CONCLUSION : In addition to the conventional risk factors of myocardial infarction, a high plasma fibrinogen levels were noted in patients with acute Myocardial infarction. However, larger studies need to be done to substantiate these findings

Inhibition of protein geranylgeranylation induces apoptosis in synovial fibroblasts

Statins, competitive inhibitors of hydroxymethylglutaryl-CoA reductase, have recently been shown to have a therapeutic effect in rheumatoid arthritis (RA). In RA, synovial fibroblasts in the synovial lining, are believed to be particularly important in the pathogenesis of disease because they recruit leukocytes into the synovium and secrete angiogenesis-promoting molecules and proteases that degrade extracellular matrix. In this study, we show a marked reduction in RA synovial fibroblast survival through the induction of apoptosis when the cells were cultured with statins. Simvastatin was more effective in RA synovial fibroblasts than atorvastatin, and both statins were more potent on tumor necrosis factor-α-induced cells. In contrast, in osteoarthritis synovial fibroblasts, neither the statin nor the activation state of the cell contributed to the efficacy of apoptosis induction. Viability of statin-treated cells could be rescued by geranylgeraniol but not by farnesol, suggesting a requirement for a geranylgeranylated protein for synovial fibroblast survival. Phase partitioning experiments confirmed that in the presence of statin, geranylgeranylated proteins are redistributed to the cytoplasm. siRNA experiments demonstrated a role for Rac1 in synovial fibroblast survival. Western blotting showed that the activated phosphorylated form of Akt, a protein previously implicated in RA synovial fibroblast survival, was decreased by about 75%. The results presented in this study lend further support to the importance of elevated pAkt levels to RA synovial fibroblast survival and suggest that statins might have a beneficial role in reducing the aberrant pAkt levels in patients with RA. The results may also partly explain the therapeutic effect of atorvastatin in patients with RA

Carbohydrate restriction for glycemic control in Type 2 diabetes : a systematic review and meta-analysis

Aim To conduct a systematic review and meta‐analysis to evaluate the effect of carbohydrate restriction on glycaemic control in Type 2 diabetes. Methods We searched Medline, EMBASE and CINAHL for the period between 1976 and April 2018. We included randomized controlled trials comparing carbohydrate restriction with a control diet which aimed to maintain or increase carbohydrate intake, and that reported HbA1c as an outcome and reported the amount of carbohydrate consumed during or at the end of the study, with outcomes reported at ≥3 months. Results We identified 1402 randomized controlled trials, 25 of which met the inclusion criteria, incorporating 2132 participants for the main outcome. Definitions of low carbohydrate varied among the studies. The pooled effect estimate from meta‐analysis was a weighted mean difference of –0.09% [95% CI –0.27, 0.08 (P = 0.30); I2 72% (P <0.001)], suggesting no effect on HbA1c of restricting the quantity of carbohydrate. A subgroup analysis of diets containing 50–130 g carbohydrate resulted in a pooled effect estimate of –0.49% [95% CI –0.75, –0.23 (P <0.001); I2 0% (P = 0.56)], suggesting a clinically and statistically significant effect on HbA1c in favour of low‐carbohydrate diets in studies of ≤6 months’ duration. Conclusions There was no overall pooled effect on HbA1c in favour of restricting carbohydrate; however, restriction of carbohydrate to 50–130 g per day had beneficial effects on HbA1c in trials up to 6 months. Future randomized controlled trials should be of >12 months’ duration, assess pre‐study carbohydrate intake, use recognized definitions of low‐carbohydrate diets and examine reasons for non‐concordance in greater detail

Does exercise improve glycaemic control in type 1 diabetes? A systematic review and meta-analysis.

This is the final published version. Available from PLoS via the DOI in this record.OBJECTIVE: Whilst regular exercise is advocated for people with type 1 diabetes, the benefits of this therapy are poorly delineated. Our objective was to review the evidence for a glycaemic benefit of exercise in type 1 diabetes. RESEARCH DESIGN AND METHODS: Electronic database searches were carried out in MEDLINE, Embase, Cochrane's Controlled Trials Register and SPORTDiscus. In addition, we searched for as yet unpublished but completed trials. Glycaemic benefit was defined as an improvement in glycosylated haemoglobin (HbA1c). Both randomised and non-randomised controlled trials were included. RESULTS: Thirteen studies were identified in the systematic review. Meta-analysis of twelve of these (including 452 patients) demonstrated an HbA1c reduction but this was not statistically significant (standardised mean difference (SMD) -0.25; 95% CI, -0.59 to 0.09). CONCLUSIONS: This meta-analysis does not reveal evidence for a glycaemic benefit of exercise as measured by HbA1c. Reasons for this finding could include increased calorie intake, insulin dose reductions around the time of exercise or lack of power. We also suggest that HbA1c may not be a sensitive indicator of glycaemic control, and that improvement in glycaemic variability may not be reflected in this measure. Exercise does however have other proven benefits in type 1 diabetes, and remains an important part of its management

Relationship of Dental Caries and Fluorosis to Fluoride Supplement History in a Non-Fluoridated Sample of Schoolchildren

A random sample of 206 Michigan children, aged from 9 to 13, were examined for fluorosis from a larger group of 2038 children participating in a dental project. Clinical examinations included caries data (DMFS) and assessment of fluorosis by use of the Tooth Surface Index of Fluorosis (TSIF). Separate examiners were used for each index. The response rate of a questionnaire mailed to parents to gather information on residence histories, use of fluoride supplements, and antibiotics was 78%. The prevalence of fluorosis was about 20% among the respondents. Of the 4868 tooth surfaces examined, 9.2% were affected by fluorosis. In all cases, dental fluorosis was judged as mild, with most occurrences on the posterior teeth. No instances of moderate or severe fluorosis were found. The caries experience of respondents was 1.69 ± 2.73 DMFS. Caries experience does not appear to be significantly related to income, education, or fluoride supplement use. Approximately 52% of respondents were reported to have taken fluoride supplements with various degrees of consistency. Parents' education was positively related to both prevalence of fluorosis (odds ratio = 2.2) and use of fluoride supplements (odds ratio = 2.7). No significant relation was revealed with evidence of fluorosis and use of supplements. This study shows a relatively mild level of dental fluorosis in a sample of children from a non-fluoridated area. Dental fluorosis in this group does not appear to be related to use of fluoride supplements or differences in caries experience.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/66503/2/10.1177_08959374890030021501.pd