Completeness and Incompleteness of Synchronous Kleene Algebra

Synchronous Kleene algebra (SKA), an extension of Kleene algebra (KA), was proposed by Prisacariu as a tool for reasoning about programs that may execute synchronously, i.e., in lock-step. We provide a countermodel witnessing that the axioms of SKA are incomplete w.r.t. its language semantics, by exploiting a lack of interaction between the synchronous product operator and the Kleene star. We then propose an alternative set of axioms for SKA, based on Salomaa's axiomatisation of regular languages, and show that these provide a sound and complete characterisation w.r.t. the original language semantics.Comment: Accepted at MPC 201

Risk of cervical cancer is not increased in Chinese carrying homozygous arginine at codon 72 of p53

Homozygous arginine at codon 72 (HA72) of p53 was found in 22% of normal cervices and 30.0% of cervical cancers and no significant difference was detected between normal and cervical cancer with or without HPV 16/18. There was no correlation between HA72 and risk of cervical cancer in Chinese.link_to_subscribed_fulltex

Multidisciplinary teams, and parents, negotiating common ground in shared-care of children with long-term conditions: A mixed methods study

Background: Limited negotiation around care decisions is believed to undermine collaborative working between parents of children with long-term conditions and professionals, but there is little evidence of how they actually negotiate their respective roles. Using chronic kidney disease as an exemplar this paper reports on a multi-method study of social interaction between multidisciplinary teams and parents as they shared clinical care. Methods. Phases 1 and 2: a telephone survey mapping multidisciplinary teams' parent-educative activities, and qualitative interviews with 112 professionals (Clinical-psychologists, Dietitians, Doctors, Nurses, Play-specialists, Pharmacists, Therapists and Social-workers) exploring their accounts of parent-teaching in the 12 British children's kidney units. Phase 3: six ethnographic case studies in two units involving observations of professional/parent interactions during shared-care, and individual interviews. We used an analytical framework based on concepts drawn from Communities of Practice and Activity Theory. Results: Professionals spoke of the challenge of explaining to each other how they are aware of parents' understanding of clinical knowledge, and described three patterns of parent-educative activity that were common across MDTs: Engaging parents in shared practice; Knowledge exchange and role negotiation, and Promoting common ground. Over time, professionals had developed a shared repertoire of tools to support their negotiations with parents that helped them accomplish common ground during the practice of shared-care. We observed mutual engagement between professionals and parents where a common understanding of the joint enterprise of clinical caring was negotiated. Conclusions: For professionals, making implicit knowledge explicit is important as it can provide them with a language through which to articulate more clearly to each other what is the basis of their intuition-based hunches about parents' support needs, and may help them to negotiate with parents and accelerate parents' learning about shared caring. Our methodology and results are potentially transferrable to shared management of other conditions. © 2013 Swallow et al.; licensee BioMed Central Ltd

Atrazine-induced apoptosis of splenocytes in BALB/C mice

<p>Abstract</p> <p>Background</p> <p>Atrazine (2-chloro-4-ethytlamino-6-isopropylamine-1,3,5-triazine; ATR), is the most commonly applied broad-spectrum herbicide in the world. Unintentional overspray of ATR poses an immune function health hazard. The biomolecular mechanisms responsible for ATR-induced immunotoxicity, however, are little understood. This study presents on our investigation into the apoptosis of splenocytes in mice exposed to ATR as we explore possible immunotoxic mechanisms.</p> <p>Methods</p> <p>Oral doses of ATR were administered to BALB/C mice for 21 days. The histopathology, lymphocyte apoptosis and the expression of apoptosis-related proteins from the Fas/Fas ligand (FasL) apoptotic pathway were examined from spleen samples.</p> <p>Results</p> <p>Mice administered ATR exhibited a significant decrease in spleen and thymus weight. Electron microscope histology of ultrathin sections of spleen revealed degenerative micromorphology indicative of apoptosis of splenocytes. Flow cytometry revealed that the percentage of apoptotic lymphocytes increased in a dose-dependent manner after ATR treatment. Western blots identified increased expression of Fas, FasL and active caspase-3 proteins in the treatment groups.</p> <p>Conclusions</p> <p>ATR is capable of inducing splenocytic apoptosis mediated by the Fas/FasL pathway in mice, which could be the potential mechanism underlying the immunotoxicity of ATR.</p

Androgen Receptor Copy Number Variation and Androgenetic Alopecia: A Case-Control Study

BACKGROUND: The functional polymorphism that explains the established association of the androgen receptor (AR) with androgenetic alopecia (AGA) remains unidentified, but Copy Number Variation (CNV) might be relevant. CNV involves changes in copy number of large segments of DNA, leading to the altered dosage of gene regulators or genes themselves. Two recent reports indicate regions of CNV in and around AR, and these have not been studied in relation to AGA. The aim of this preliminary case-control study was to determine if AR CNV is associated with AGA, with the hypothesis that CNV is the functional AR variant contributing to this condition. METHODOLOGY/PRINCIPAL FINDINGS: Multiplex Ligation-dependent Probe Amplification was used to screen for CNV in five AR exons and a conserved, non-coding region upstream of AR in 85 men carefully selected as cases and controls for maximal phenotypic contrast. There was no evidence of CNV in AR in any of the cases or controls, and thus no evidence of significant association between AGA and AR CNV. CONCLUSIONS/SIGNIFICANCE: The results suggest this form of genomic variation at the AR locus is unlikely to predispose to AGA

The cancer preventative agent resveratrol is converted to the anticancer agent piceatannol by the cytochrome P450 enzyme CYP1B1

Resveratrol is a cancer preventative agent that is found in red wine. Piceatannol is a closely related stilbene that has antileukaemic activity and is also a tyrosine kinase inhibitor. Piceatannol differs from resveratrol by having an additional aromatic hydroxy group. The enzyme CYP1B1 is overexpressed in a wide variety of human tumours and catalyses aromatic hydroxylation reactions. We report here that the cancer preventative agent resveratrol undergoes metabolism by the cytochrome P450 enzyme CYP1B1 to give a metabolite which has been identified as the known antileukaemic agent piceatannol. The metabolite was identified by high performance liquid chromatography analysis using fluorescence detection and the identity of the metabolite was further confirmed by derivatisation followed by gas chromatography–mass spectrometry studies using authentic piceatannol for comparison. This observation provides a novel explanation for the cancer preventative properties of resveratrol. It demonstrates that a natural dietary cancer preventative agent can be converted to a compound with known anticancer activity by an enzyme that is found in human tumours. Importantly this result gives insight into the functional role of CYP1B1 and provides evidence for the concept that CYP1B1 in tumours may be functioning as a growth suppressor enzyme

The impact of decision aids to enhance shared decision making for diabetes (the DAD study): protocol of a cluster randomized trial

Background. Shared decision making contributes to high quality healthcare by promoting a patientcentered approach. Patient involvement in selecting the components of a diabetes medication program that best match the patient's values and preferences may also enhance medication adherence and improve outcomes. Decision aids are tools designed to involve patients in shared decision making, but their adoption in practice has been limited. In this study, we propose to obtain a preliminary estimate of the impact of patient decision aids vs. usual care on measures of patient involvement in decision making, diabetes care processes, medication adherence, glycemic and cardiovascular risk factor control, and resource utilization. In addition, we propose to identify, describe, and explain factors that promote or inhibit the routine embedding of decision aids in practice. Methods. We will be conducting a mixed-methods study comprised of a cluster-randomized, practical, multicentered trial enrolling clinicians and their patients (n = 240) with type 2 diabetes from rural and suburban primary care practices (n = 8), with an embedded qualitative study to examine factors that influence the incorporation of decision aids into routine practice. The intervention will consist of the use of a decision aid (Statin Choice and Aspirin Choice, or Diabetes Medication Choice) during the clinical encounter. The qualitative study will include analysis of video recordings of clinical encounters and in-depth, semi-structured interviews with participating patients, clinicians, and clinic support staff, in both trial arms. Discussion. Upon completion of this trial, we will have new knowledge about the effectiveness of diabetes decision aids in these practices. We will also better understand the factors that promote or inhibit the successful implementation and normalization of medication choice decision aids in the care of chronic patients in primary care practices

Deregressed EBV as the response variable yield more reliable genomic predictions than traditional EBV in pure-bred pigs

<p>Abstract</p> <p>Background</p> <p>Genomic selection can be implemented by a multi-step procedure, which requires a response variable and a statistical method. For pure-bred pigs, it was hypothesised that deregressed estimated breeding values (EBV) with the parent average removed as the response variable generate higher reliabilities of genomic breeding values than EBV, and that the normal, thick-tailed and mixture-distribution models yield similar reliabilities.</p> <p>Methods</p> <p>Reliabilities of genomic breeding values were estimated with EBV and deregressed EBV as response variables and under the three statistical methods, genomic BLUP, Bayesian Lasso and MIXTURE. The methods were examined by splitting data into a reference data set of 1375 genotyped animals that were performance tested before October 2008, and 536 genotyped validation animals that were performance tested after October 2008. The traits examined were daily gain and feed conversion ratio.</p> <p>Results</p> <p>Using deregressed EBV as the response variable yielded 18 to 39% higher reliabilities of the genomic breeding values than using EBV as the response variable. For daily gain, the increase in reliability due to deregression was significant and approximately 35%, whereas for feed conversion ratio it ranged between 18 and 39% and was significant only when MIXTURE was used. Genomic BLUP, Bayesian Lasso and MIXTURE had similar reliabilities.</p> <p>Conclusions</p> <p>Deregressed EBV is the preferred response variable, whereas the choice of statistical method is less critical for pure-bred pigs. The increase of 18 to 39% in reliability is worthwhile, since the reliabilities of the genomic breeding values directly affect the returns from genomic selection.</p

Estimating Genetic Variability in Non-Model Taxa: A General Procedure for Discriminating Sequence Errors from Actual Variation

Genetic variation is the driving force of evolution and as such is of central interest for biologists. However, inadequate discrimination of errors from true genetic variation could lead to incorrect estimates of gene copy number, population genetic parameters, phylogenetic relationships and the deposition of gene and protein sequences in databases that are not actually present in any organism. Misincorporation errors in multi-template PCR cloning methods, still commonly used for obtaining novel gene sequences in non-model species, are difficult to detect, as no previous information may be available about the number of expected copies of genes belonging to multi-gene families. However, studies employing these techniques rarely describe in any great detail how errors arising in the amplification process were detected and accounted for. Here, we estimated the rate of base misincorporation of a widely-used PCR-cloning method, using a single copy mitochondrial gene from a single individual to minimise variation in the template DNA, as 1.62×10−3 errors per site, or 9.26×10−5 per site per duplication. The distribution of errors among sequences closely matched that predicted by a binomial distribution function. The empirically estimated error rate was applied to data, obtained using the same methods, from the Phospholipase A2 toxin family from the pitviper Ovophis monticola. The distribution of differences detected closely matched the expected distribution of errors and we conclude that, when undertaking gene discovery or assessment of genetic diversity using this error-prone method, it will be informative to empirically determine the rate of base misincorporation