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

Interventions for stroke rehabilitation: analysis of the research contained in the OTseeker evidence database

Purpose: To analyse the stroke content in OTseeker in terms of the quantity of the research evidence, the quality of the randomised controlled trials (RCTs), and the types of interventions and outcome measures used. Method: A survey of stroke-related content in the OTseeker database was conducted in 2007. The year of publication and intervention categories used in each stroke-related RCT and systematic review (SR) were recorded. The internal validity of RCTs using the PEDro scale (partitioned) and the outcome measures used were also recorded. Results: Of the 4,369 articles indexed on OTseeker, 452 (10.3%) related to stroke were conducted between 1979 and 2006. The five most frequently studied intervention categories were movement training (43.2%), models of service delivery (31.2%), physical modalities/orthotics/splinting (30.1%), exercise/stretching/strength training (19.5%), and skill acquisition/training (9.3%). Random allocation (96.1%) was the most frequently satisfied internal validity criterion and therapist blinding (3.1%) was least often satisfied. The five most frequently used outcome measurement categories were basic and extended activities of daily living (70.1%), hand and upper limb function (56.1%), walking/gait (44.1%), movement/motor function (32.7%), and quality of life/general overall health (27.9%). Conclusion: The stroke-related content on OTseeker is useful for allied health professionals. This study highlights a need for better definitions of interventions and consensus about the best outcome measures. Few interventions or outcome measures were participation focused

Evaluating predictive pharmacogenetic signatures of adverse events in colorectal cancer patients treated with fluoropyrimidines

The potential clinical utility of genetic markers associated with response to fluoropyrimidine treatment in colorectal cancer patients remains controversial despite extensive study. Our aim was to test the clinical validity of both novel and previously identified markers of adverse events in a broad clinical setting. We have conducted an observational pharmacogenetic study of early adverse events in a cohort study of 254 colorectal cancer patients treated with 5-fluorouracil or capecitabine. Sixteen variants of nine key folate (pharmacodynamic) and drug metabolising (pharmacokinetic) enzymes have been analysed as individual markers and/or signatures of markers. We found a significant association between TYMP S471L (rs11479) and early dose modifications and/or severe adverse events (adjusted OR = 2.02 [1.03; 4.00], p = 0.042, adjusted OR = 2.70 [1.23; 5.92], p = 0.01 respectively). There was also a significant association between these phenotypes and a signature of DPYD mutations (Adjusted OR = 3.96 [1.17; 13.33], p = 0.03, adjusted OR = 6.76 [1.99; 22.96], p = 0.002 respectively). We did not identify any significant associations between the individual candidate pharmacodynamic markers and toxicity. If a predictive test for early adverse events analysed the TYMP and DPYD variants as a signature, the sensitivity would be 45.5 %, with a positive predictive value of just 33.9 % and thus poor clinical validity. Most studies to date have been under-powered to consider multiple pharmacokinetic and pharmacodynamic variants simultaneously but this and similar individualised data sets could be pooled in meta-analyses to resolve uncertainties about the potential clinical utility of these markers

A brief history of learning classifier systems: from CS-1 to XCS and its variants

© 2015, Springer-Verlag Berlin Heidelberg. The direction set by Wilson’s XCS is that modern Learning Classifier Systems can be characterized by their use of rule accuracy as the utility metric for the search algorithm(s) discovering useful rules. Such searching typically takes place within the restricted space of co-active rules for efficiency. This paper gives an overview of the evolution of Learning Classifier Systems up to XCS, and then of some of the subsequent developments of Wilson’s algorithm to different types of learning

S100A4 downregulates filopodia formation through increased dynamic instability

Cell migration requires the initial formation of cell protrusions, lamellipodia and/or filopodia, the attachment of the leading lamella to extracellular cues and the formation and efficient recycling of focal contacts at the leading edge. The small calcium binding EF-hand protein S100A4 has been shown to promote cell motility but the direct molecular mechanisms responsible remain to be elucidated. In this work, we provide new evidences indicating that elevated levels of S100A4 affect the stability of filopodia and prevent the maturation of focal complexes. Increasing the levels of S100A4 in a rat mammary benign tumor derived cell line results in acquired cellular migration on the wound healing scratch assay. At the cellular levels, we found that high levels of S100A4 induce the formation of many nascent filopodia, but that only a very small and limited number of those can stably adhere and mature, as opposed to control cells, which generate fewer protrusions but are able to maintain these into more mature projections. This observation was paralleled by the fact that S100A4 overexpressing cells were unable to establish stable focal adhesions. Using different truncated forms of the S100A4 proteins that are unable to bind to myosin IIA, our data suggests that this newly identified functions of S100A4 is myosin-dependent, providing new understanding on the regulatory functions of S100A4 on cellular migration

Long-range transfer of electron-phonon coupling in oxide superlattices

The electron-phonon interaction is of central importance for the electrical and thermal properties of solids, and its influence on superconductivity, colossal magnetoresistance, and other many-body phenomena in correlated-electron materials is currently the subject of intense research. However, the non-local nature of the interactions between valence electrons and lattice ions, often compounded by a plethora of vibrational modes, present formidable challenges for attempts to experimentally control and theoretically describe the physical properties of complex materials. Here we report a Raman scattering study of the lattice dynamics in superlattices of the high-temperature superconductor $\bf YBa_2 Cu_3 O_7$ and the colossal-magnetoresistance compound $\bf La_{2/3}Ca_{1/3}MnO_{3}$ that suggests a new approach to this problem. We find that a rotational mode of the MnO$_6$ octahedra in $\bf La_{2/3}Ca_{1/3}MnO_{3}$ experiences pronounced superconductivity-induced lineshape anomalies, which scale linearly with the thickness of the $\bf YBa_2 Cu_3 O_7$ layers over a remarkably long range of several tens of nanometers. The transfer of the electron-phonon coupling between superlattice layers can be understood as a consequence of long-range Coulomb forces in conjunction with an orbital reconstruction at the interface. The superlattice geometry thus provides new opportunities for controlled modification of the electron-phonon interaction in complex materials.Comment: 13 pages, 4 figures. Revised version to be published in Nature Material

Extraordinary carrier multiplication gated by a picosecond electric field pulse

The study of carrier multiplication has become an essential part of many-body physics and materials science as this multiplication directly affects nonlinear transport phenomena, and has a key role in designing efficient solar cells and electroluminescent emitters and highly sensitive photon detectors. Here we show that a 1-MVcm−1 electric field of a terahertz pulse, unlike a DC bias, can generate a substantial number of electron–hole pairs, forming excitons that emit near-infrared luminescence. The bright luminescence associated with carrier multiplication suggests that carriers coherently driven by a strong electric field can efficiently gain enough kinetic energy to induce a series of impact ionizations that can increase the number of carriers by about three orders of magnitude on the picosecond time scale

Reconfigurable superconducting vortex pinning potential for magnetic disks in hybrid structures

High resolution scanning Hall probe microscopy has been used to directly visualise the superconducting vortex behavior in hybrid structures consisting of a square array of micrometer-sized Py ferromagnetic disks covered by a superconducting Nb thin film. At remanence the disks exist in almost fully flux-closed magnetic vortex states, but the observed cloverleaf-like stray fields indicate the presence of weak in-plane anisotropy. Micromagnetic simulations suggest that the most likely origin is an unintentional shape anisotropy. We have studied the pinning of added free superconducting vortices as a function of the magnetisation state of the disks, and identified a range of different phenomena arising from competing energy contributions. We have also observed clear differences in the pinning landscape when the superconductor and the ferromagnet are electron ically coupled or insulated by a thin dielectric layer, with an indication of non-trivial vortex-vortex interactions. We demonstrate a complete reconfiguration of the vortex pinning potential when the magnetisation of the disks evolves from the vortex-like state to an onion-like one under an in-plane magnetic field. Our results are in good qualitative agreement with theoretical predictions and could form the basis of novel superconducting devices based on reconfigurable vortex pinning sites

How consistent are the transcriptome changes associated with cold acclimation in two species of the Drosophila virilis group?

This work was financially support by a Marie Curie Initial Training Network grant, “Understanding the evolutionary origin of biological diversity” (ITN-2008–213780 SPECIATION), grants from the Academy of Finland to A.H. (project 132619) and M.K. (projects 268214 and 272927), a grant from NERC, UK to M.G.R. (grant NE/J020818/1), and NERC, UK PhD studentship to D.J.P. (NE/I528634/1).For many organisms the ability to cold acclimate with the onset of seasonal cold has major implications for their fitness. In insects, where this ability is widespread, the physiological changes associated with increased cold tolerance have been well studied. Despite this, little work has been done to trace changes in gene expression during cold acclimation that lead to an increase in cold tolerance. We used an RNA-Seq approach to investigate this in two species of the Drosophila virilis group. We found that the majority of genes that are differentially expressed during cold acclimation differ between the two species. Despite this, the biological processes associated with the differentially expressed genes were broadly similar in the two species. These included: metabolism, cell membrane composition, and circadian rhythms, which are largely consistent with previous work on cold acclimation/cold tolerance. In addition, we also found evidence of the involvement of the rhodopsin pathway in cold acclimation, a pathway that has been recently linked to thermotaxis. Interestingly, we found no evidence of differential expression of stress genes implying that long-term cold acclimation and short-term stress response may have a different physiological basis.PostprintPeer reviewe

Evaluation of whole genome sequencing for outbreak detection of Salmonella enterica

Salmonella enterica is a common cause of minor and large food borne outbreaks. To achieve successful and nearly 'real-time' monitoring and identification of outbreaks, reliable sub-typing is essential. Whole genome sequencing (WGS) shows great promises for using as a routine epidemiological typing tool. Here we evaluate WGS for typing of S. Typhimurium including different approaches for analyzing and comparing the data. A collection of 34 S. Typhimurium isolates was sequenced. This consisted of 18 isolates from six outbreaks and 16 epidemiologically unrelated background strains. In addition, 8 S. Enteritidis and 5 S. Derby were also sequenced and used for comparison. A number of different bioinformatics approaches were applied on the data; including pan-genome tree, k-mer tree, nucleotide difference tree and SNP tree. The outcome of each approach was evaluated in relation to the association of the isolates to specific outbreaks. The pan-genome tree clustered 65% of the S. Typhimurium isolates according to the pre-defined epidemiology, the k-mer tree 88%, the nucleotide difference tree 100% and the SNP tree 100% of the strains within S. Typhimurium. The resulting outcome of the four phylogenetic analyses were also compared to PFGE revealing that WGS typing achieved the greater performance than the traditional method. In conclusion, for S. Typhimurium, SNP analysis and nucleotide difference approach of WGS data seem to be the superior methods for epidemiological typing compared to other phylogenetic analytic approaches that may be used on WGS. These approaches were also superior to the more classical typing method, PFGE. Our study also indicates that WGS alone is insufficient to determine whether strains are related or un-related to outbreaks. This still requires the combination of epidemiological data and whole genome sequencing results