Knuth-Bendix algorithm and the conjugacy problems in monoids

We present an algorithmic approach to the conjugacy problems in monoids, using rewriting systems. We extend the classical theory of rewriting developed by Knuth and Bendix to a rewriting that takes into account the cyclic conjugates.Comment: This is a new version of the paper 'The conjugacy problems in monoids and semigroups'. This version will appear in the journal 'Semigroup forum

A revision of Indian species of Parurios Girault with a new record of Papuopsia Boucek (Hymenoptera: Pteromalidae) from India

Two new species of Parurios Girault viz. P. bouceki Narendran sp. nov. and P. sringericus Narendran sp. nov. are described from India. The female of P. keralensis Narendran is also described. A key to Indian species of Parurios is provided. The genus Papuopsia is recorded for the first time from India

CCR2, MCP-1, SDF-1α & DC-SIGN gene polymorphisms in HIV-1 infected patients with & without tuberculosis

Background & Objectives: Variability in the clinical outcome of persons exposed to and infected with HIV-1 and tuberculosis (TB) is determined by multiple factors including host genetic variations. The aim of the present study was to find out whether chemokine, chemokine receptor and DC-SIGN gene polymorphisms were associated with susceptibility or resistance to HIV and HIV-TB in south India. Methods: CCR2 V64I (G/A), monocyte chemoattractant protein-1 (MCP-1) -2518 A/G, stromal cell derived factor-1α; (SDF-1α) 3'UTR G/A and DC-SIGN gene polymorphisms were studied by polymerase chain reaction based methods in HIV-1 infected patients without TB (n=151), with pulmonary TB (PTB) (n=81) and extrapulmonary TB (n=31), 155 PTB patients without HIV and 206 healthy controls. Results: The genotype frequencies of CCR2 V64I, MCP-1 -2518 and DC-SIGN polymorphisms did not differ significantly between the study groups. A significantly increased frequency of GG genotype of SDF-1alpha polymorphism was observed among HIV+PTB+ patients compared to healthy controls (P=0.009, Pc=0.027). Interpretation & Conclusions: Our data suggest that GG genotype of SDF-1alpha 3'UTR polymorphism may be associated with susceptibility to PTB in HIV-1 infected patients. A better understanding of genetic factors that are associated with TB could help target preventive strategies to those HIV patients likely to develop tuberculosis

Attitudes and barriers to exercise in adults with a recent diagnosis of type 1 diabetes: a qualitative study of participants in the Exercise for Type 1 Diabetes (EXTOD) study

This is the final published version. Available from BMJ Publishing via the DOI in this record.All data underlying the findings are fully available without restriction. All relevant data are within the paperObjectives To explore attitudes and barriers to exercise in adults with new-onset type 1 diabetes mellitus (T1DM). Design Qualitative methodology using focus group (n=1), individual face-to-face (n=4) and telephone interviews (n=8). Thematic analysis using the Framework Method. Setting Nineteen UK hospital sites. Participants Fifteen participants in the Exercise for Type 1 Diabetes study. We explored current and past levels of exercise, understanding of exercise and exercise guidelines, barriers to increasing exercise levels and preferences for monitoring of activity in a trial. Results Five main themes were identified: existing attitudes to exercise, feelings about diagnosis, perceptions about exercise consequences, barriers to increasing exercise and confidence in managing blood glucose. An important finding was that around half the participants reported a reduction in activity levels around diagnosis. Although exercise was felt to positively impact on health, some participants were not sure about the benefits or concerned about potential harms such as hypoglycaemia. Some participants reported being advised by healthcare practitioners (HCPs) not to exercise. Conclusions Exercise should be encouraged (not discouraged) from diagnosis, as patients may be more amenable to lifestyle change. Standard advice on exercise and T1DM needs to be made available to HCPs and patients with T1DM to improve patients’ confidence in managing their diabetes around exercise. Trial registration number ISRCTN91388505; ResultsNational Institute for Health Research (NIHR)National Institute for Health Research (NIHR

Boosting a Hybrid Model Recommendation System for Sparse Data using Collaborative Filtering and Deep Learning

499-502The exponential increase in the volume of online data has generated a confront of overburden of data for online users, which slow down the suitable access to products of pursuit on the Web. This contributed to the need for recommendation systems. Recommender system is a special form of intelligent technique that takes advantage of past user transactions on products to give recommendations of products. Collaborative filtering has turn out to be the commonly adopted method of providing users with customized services, except that it endures the problem of sparsely rated inputs. For collaborative filtering, we introduce a deep learning-based architecture which evaluates a discrete factorisation of vectors from sparse inputs. The characteristics of the products are retrieved using a deep learning model, denoising auto encoders. The traditional collaborative filtering algorithm that predicts and uses the past history of consumer interest and product characteristics are updated with the characteristics obtained by deep learning model for sparse rated inputs. The results of sparse data problem tested on MovieLens data set will greatly enhance the user and product transaction

Effective recommendation model using social network for linking user pursuit to product content

40-45The ongoing advancement of data innovation and the rapid development of the internet has encouraged a blast of data which has highlighted the issue of data overload. In reaction to this issue, recommender programs have evolved and helped users find their fascinating content. With the progressively entangled social setting, how to satisfy customized demands effectively has become another development in customized proposal administration contemplates. To mitigate the sparse issue of recommendation systems, we suggest a new recommendation approach based on fuzzy theory to improve their consistency and flexibility in diverse contexts. The proposed method also employs social network to reflect multifaceted factors of users. In this strategy, we group clients and consider about assortment of complex variables. The results on amazon dataset indicate that the proposed method achieves better efficiency over current methods

Attitudes and barriers to exercise in adults with type 1 diabetes (T1DM) and how best to address them: a qualitative study

This is the final version. Available on open access from Public Library of Science via the DOI in this recordData Availability: The authors confirm that all data underlying the findings are fully available without restriction. All relevant data are within the paper.BACKGROUND: Regular physical activity has recognised health benefits for people with T1DM. However a significant proportion of them do not undertake the recommended levels of activity. Whilst questionnaire-based studies have examined barriers to exercise in people with T1DM, a formal qualitative analysis of these barriers has not been undertaken. Our aims were to explore attitudes, barriers and facilitators to exercise in patients with T1DM. METHODOLOGY: A purposeful sample of long standing T1DM patients were invited to participate in this qualitative study. Twenty-six adults were interviewed using a semi-structured interview schedule to determine their level of exercise and barriers to initiation and maintenance of an exercise programme. PRINCIPAL FINDINGS: Six main barriers to exercise were identified: lack of time and work related factors; access to facilities; lack of motivation; embarrassment and body image; weather; and diabetes specific barriers (low levels of knowledge about managing diabetes and its complications around exercise). Four motivators to exercise were identified: physical benefits from exercise; improvements in body image; enjoyment and the social interaction of exercising at gym or in groups. Three facilitators to exercise were identified: free or reduced admission to gyms and pools, help with time management, and advice and encouragement around managing diabetes for exercise. SIGNIFICANCE: Many of the barriers to exercise in people with T1DM are shared with the non-diabetic population. The primary difference is the requirement for education about the effect of exercise on diabetes control and its complications. There was a preference for support to be given on a one to one basis rather than in a group environment. This suggests that with the addition of the above educational requirements, one to one techniques that have been successful in increasing activity in patients with other chronic disease and the general public should be successful in increasing activity in patients with T1DM.Insulin Dependent Diabetes Trus

Unification modulo a partial theory of exponentiation

Modular exponentiation is a common mathematical operation in modern cryptography. This, along with modular multiplication at the base and exponent levels (to different moduli) plays an important role in a large number of key agreement protocols. In our earlier work, we gave many decidability as well as undecidability results for multiple equational theories, involving various properties of modular exponentiation. Here, we consider a partial subtheory focussing only on exponentiation and multiplication operators. Two main results are proved. The first result is positive, namely, that the unification problem for the above theory (in which no additional property is assumed of the multiplication operators) is decidable. The second result is negative: if we assume that the two multiplication operators belong to two different abelian groups, then the unification problem becomes undecidable.Comment: In Proceedings UNIF 2010, arXiv:1012.455