Computational Complexity of Synchronization under Regular Commutative Constraints

Here we study the computational complexity of the constrained synchronization problem for the class of regular commutative constraint languages. Utilizing a vector representation of regular commutative constraint languages, we give a full classification of the computational complexity of the constraint synchronization problem. Depending on the constraint language, our problem becomes PSPACE-complete, NP-complete or polynomial time solvable. In addition, we derive a polynomial time decision procedure for the complexity of the constraint synchronization problem, given some constraint automaton accepting a commutative language as input.Comment: Published in COCOON 2020 (The 26th International Computing and Combinatorics Conference); 2nd version is update of the published version and 1st version; both contain a minor error, the assumption of maximality in the NP-c and PSPACE-c results (propositions 5 & 6) is missing, and of incomparability of the vectors in main theorem; fixed in this version. See (new) discussion after main theore

Developing standards for reporting implementation studies of complex interventions (StaRI): a systematic review and e-Delphi

This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited

Evidence-based practice educational intervention studies: A systematic review of what is taught and how it is measured

Abstract Background Despite the established interest in evidence-based practice (EBP) as a core competence for clinicians, evidence for how best to teach and evaluate EBP remains weak. We sought to systematically assess coverage of the five EBP steps, review the outcome domains measured, and assess the properties of the instruments used in studies evaluating EBP educational interventions. Methods We conducted a systematic review of controlled studies (i.e. studies with a separate control group) which had investigated the effect of EBP educational interventions. We used citation analysis technique and tracked the forward and backward citations of the index articles (i.e. the systematic reviews and primary studies included in an overview of the effect of EBP teaching) using Web of Science until May 2017. We extracted information on intervention content (grouped into the five EBP steps), and the outcome domains assessed. We also searched the literature for published reliability and validity data of the EBP instruments used. Results Of 1831 records identified, 302 full-text articles were screened, and 85 included. Of these, 46 (54%) studies were randomised trials, 51 (60%) included postgraduate level participants, and 63 (75%) taught medical professionals. EBP Step 3 (critical appraisal) was the most frequently taught step (63 studies; 74%). Only 10 (12%) of the studies taught content which addressed all five EBP steps. Of the 85 studies, 52 (61%) evaluated EBP skills, 39 (46%) knowledge, 35 (41%) attitudes, 19 (22%) behaviours, 15 (18%) self-efficacy, and 7 (8%) measured reactions to EBP teaching delivery. Of the 24 instruments used in the included studies, 6 were high-quality (achieved ≥3 types of established validity evidence) and these were used in 14 (29%) of the 52 studies that measured EBP skills; 14 (41%) of the 39 studies that measured EBP knowledge; and 8 (26%) of the 35 studies that measured EBP attitude. Conclusions Most EBP educational interventions which have been evaluated in controlled studies focus on teaching only some of the EBP steps (predominantly critically appraisal of evidence) and did not use high-quality instruments to measure outcomes. Educational packages and instruments which address all EBP steps are needed to improve EBP teaching

Proteomics as a quality control tool of pharmaceutical probiotic bacterial lysate products

Probiotic bacteria have a wide range of applications in veterinary and human therapeutics. Inactivated probiotics are complex samples and quality control (QC) should measure as many molecular features as possible. Capillary electrophoresis coupled to mass spectrometry (CE/MS) has been used as a multidimensional and high throughput method for the identification and validation of biomarkers of disease in complex biological samples such as biofluids. In this study we evaluate the suitability of CE/MS to measure the consistency of different lots of the probiotic formulation Pro-Symbioflor which is a bacterial lysate of heat-inactivated Escherichia coli and Enterococcus faecalis. Over 5000 peptides were detected by CE/MS in 5 different lots of the bacterial lysate and in a sample of culture medium. 71 to 75% of the total peptide content was identical in all lots. This percentage increased to 87–89% when allowing the absence of a peptide in one of the 5 samples. These results, based on over 2000 peptides, suggest high similarity of the 5 different lots. Sequence analysis identified peptides of both E. coli and E. faecalis and peptides originating from the culture medium, thus confirming the presence of the strains in the formulation. Ontology analysis suggested that the majority of the peptides identified for E. coli originated from the cell membrane or the fimbrium, while peptides identified for E. faecalis were enriched for peptides originating from the cytoplasm. The bacterial lysate peptides as a whole are recognised as highly conserved molecular patterns by the innate immune system as microbe associated molecular pattern (MAMP). Sequence analysis also identified the presence of soybean, yeast and casein protein fragments that are part of the formulation of the culture medium. In conclusion CE/MS seems an appropriate QC tool to analyze complex biological products such as inactivated probiotic formulations and allows determining the similarity between lots

Does Sex Trade with Violence among Genotypes in Drosophila melanogaster?

The evolutionary forces shaping the ability to win competitive interactions, such as aggressive encounters, are still poorly understood. Given a fitness advantage for competitive success, variance in aggressive and sexual display traits should be depleted, but a great deal of variation in these traits is consistently found. While life history tradeoffs have been commonly cited as a mechanism for the maintenance of variation, the variability of competing strategies of conspecifics may mean there is no single optimum strategy. We measured the genetically determined outcomes of aggressive interactions, and the resulting effects on mating success, in a panel of diverse inbred lines representing both natural variation and artificially selected genotypes. Males of one genotype which consistently lost territorial encounters with other genotypes were nonetheless successful against males that were artificially selected for supernormal aggression and dominated all other lines. Intransitive patterns of territorial success could maintain variation in aggressive strategies if there is a preference for territorial males. Territorial success was not always associated with male mating success however and females preferred ‘winners’ among some male genotypes, and ‘losers’ among other male genotypes. This suggests that studying behaviour from the perspective of population means may provide limited evolutionary and genetic insight. Overall patterns of competitive success among males and mating transactions between the sexes are consistent with mechanisms proposed for the maintenance of genetic variation due to nonlinear outcomes of competitive interactions

Mouse models for preeclampsia: disruption of redox-regulated signaling

The concept that oxidative stress contributes to the development of human preeclampsia has never been tested in genetically-defined animal models. Homozygous deletion of catechol-Omethyl transferase (Comt-/-) in pregnant mice leads to human preeclampsia-like symptoms (high blood pressure, albuminurea and preterm birth) resulting from extensive vasculo-endothelial pathology, primarily at the utero-fetal interface where maternal cardiac output is dramatically increased during pregnancy. Comt converts estradiol to 2-methoxyestradiol 2 (2ME2) which counters angiogenesis by depleting hypoxia inducible factor-1 alpha (HIF-1 alpha) at late pregnancy. We propose that in wild type (Comt++) pregnant mice, 2ME2 destabilizes HIF-1 alpha by inhibiting mitochondrial superoxide dismutase (MnSOD). Thus, 2ME2 acts as a pro-oxidant, disrupting redox-regulated signaling which blocks angiogenesis in wild type (WT) animals in physiological pregnancy. Further, we suggest that a lack of this inhibition under normoxic conditions in mutant animals (Comt-/-) stabilises HIF-1 alpha by inactivating prolyl hydroxlases (PHD). We predict that a lack of inhibition of MnSOD, leading to persistent accumulation of HIF-1 alpha, would trigger inflammatory infiltration and endothelial damage in mutant animals. Critical tests of this hypothesis would be to recreate preeclampsia symptoms by inducing oxidative stress in WT animals or to ameliorate by treating mutant mice with Mn-SOD-catalase mimetics or activators of PHD

Ipl1/aurora kinase suppresses S-CDK-driven spindle formation during prophase I to ensure chromosome integrity during meiosis

Cells coordinate spindle formation with DNA repair and morphological modifications to chromosomes prior to their segregation to prevent cell division with damaged chromosomes. Here we uncover a novel and unexpected role for Aurora kinase in preventing the formation of spindles by Clb5-CDK (S-CDK) during meiotic prophase I and when the DDR is active in budding yeast. This is critical since S-CDK is essential for replication during premeiotic S-phase as well as double-strand break induction that facilitates meiotic recombination and, ultimately, chromosome segregation. Furthermore, we find that depletion of Cdc5 polo kinase activity delays spindle formation in DDR-arrested cells and that ectopic expression of Cdc5 in prophase I enhances spindle formation, when Ipl1 is depleted. Our findings establish a new paradigm for Aurora kinase function in both negative and positive regulation of spindle dynamics

A self-organized model for cell-differentiation based on variations of molecular decay rates

Systemic properties of living cells are the result of molecular dynamics governed by so-called genetic regulatory networks (GRN). These networks capture all possible features of cells and are responsible for the immense levels of adaptation characteristic to living systems. At any point in time only small subsets of these networks are active. Any active subset of the GRN leads to the expression of particular sets of molecules (expression modes). The subsets of active networks change over time, leading to the observed complex dynamics of expression patterns. Understanding of this dynamics becomes increasingly important in systems biology and medicine. While the importance of transcription rates and catalytic interactions has been widely recognized in modeling genetic regulatory systems, the understanding of the role of degradation of biochemical agents (mRNA, protein) in regulatory dynamics remains limited. Recent experimental data suggests that there exists a functional relation between mRNA and protein decay rates and expression modes. In this paper we propose a model for the dynamics of successions of sequences of active subnetworks of the GRN. The model is able to reproduce key characteristics of molecular dynamics, including homeostasis, multi-stability, periodic dynamics, alternating activity, differentiability, and self-organized critical dynamics. Moreover the model allows to naturally understand the mechanism behind the relation between decay rates and expression modes. The model explains recent experimental observations that decay-rates (or turnovers) vary between differentiated tissue-classes at a general systemic level and highlights the role of intracellular decay rate control mechanisms in cell differentiation.Comment: 16 pages, 5 figure

Effects of beta-alanine supplementation on brain homocarnosine/carnosine signal and cognitive function: an exploratory study

Objectives: Two independent studies were conducted to examine the effects of 28 d of beta-alanine supplementation at 6.4 g d-1 on brain homocarnosine/carnosine signal in omnivores and vegetarians (Study 1) and on cognitive function before and after exercise in trained cyclists (Study 2). Methods: In Study 1, seven healthy vegetarians (3 women and 4 men) and seven age- and sex-matched omnivores undertook a brain 1H-MRS exam at baseline and after beta-alanine supplementation. In study 2, nineteen trained male cyclists completed four 20-Km cycling time trials (two pre supplementation and two post supplementation), with a battery of cognitive function tests (Stroop test, Sternberg paradigm, Rapid Visual Information Processing task) being performed before and after exercise on each occasion. Results: In Study 1, there were no within-group effects of beta-alanine supplementation on brain homocarnosine/carnosine signal in either vegetarians (p = 0.99) or omnivores (p = 0.27); nor was there any effect when data from both groups were pooled (p = 0.19). Similarly, there was no group by time interaction for brain homocarnosine/carnosine signal (p = 0.27). In study 2, exercise improved cognitive function across all tests (P0.05) of beta-alanine supplementation on response times or accuracy for the Stroop test, Sternberg paradigm or RVIP task at rest or after exercise. Conclusion: 28 d of beta-alanine supplementation at 6.4g d-1 appeared not to influence brain homocarnosine/ carnosine signal in either omnivores or vegetarians; nor did it influence cognitive function before or after exercise in trained cyclists

Schmallenberg virus pathogenesis, tropism and interaction with the innate immune system of the host

Schmallenberg virus (SBV) is an emerging orthobunyavirus of ruminants associated with outbreaks of congenital malformations in aborted and stillborn animals. Since its discovery in November 2011, SBV has spread very rapidly to many European countries. Here, we developed molecular and serological tools, and an experimental in vivo model as a platform to study SBV pathogenesis, tropism and virus-host cell interactions. Using a synthetic biology approach, we developed a reverse genetics system for the rapid rescue and genetic manipulation of SBV. We showed that SBV has a wide tropism in cell culture and “synthetic” SBV replicates in vitro as efficiently as wild type virus. We developed an experimental mouse model to study SBV infection and showed that this virus replicates abundantly in neurons where it causes cerebral malacia and vacuolation of the cerebral cortex. These virus-induced acute lesions are useful in understanding the progression from vacuolation to porencephaly and extensive tissue destruction, often observed in aborted lambs and calves in naturally occurring Schmallenberg cases. Indeed, we detected high levels of SBV antigens in the neurons of the gray matter of brain and spinal cord of naturally affected lambs and calves, suggesting that muscular hypoplasia observed in SBV-infected lambs is mostly secondary to central nervous system damage. Finally, we investigated the molecular determinants of SBV virulence. Interestingly, we found a biological SBV clone that after passage in cell culture displays increased virulence in mice. We also found that a SBV deletion mutant of the non-structural NSs protein (SBVΔNSs) is less virulent in mice than wild type SBV. Attenuation of SBV virulence depends on the inability of SBVΔNSs to block IFN synthesis in virus infected cells. In conclusion, this work provides a useful experimental framework to study the biology and pathogenesis of SBV