Algorithmic decidability of Engel's property for automaton groups

We consider decidability problems associated with Engel's identity ($[\cdots[[x,y],y],\dots,y]=1$ for a long enough commutator sequence) in groups generated by an automaton. We give a partial algorithm that decides, given $x,y$, whether an Engel identity is satisfied. It succeeds, importantly, in proving that Grigorchuk's $2$-group is not Engel. We consider next the problem of recognizing Engel elements, namely elements $y$ such that the map $x\mapsto[x,y]$ attracts to $\{1\}$. Although this problem seems intractable in general, we prove that it is decidable for Grigorchuk's group: Engel elements are precisely those of order at most $2$. Our computations were implemented using the package FR within the computer algebra system GAP

Lessons for non-VA care delivery systems from the U.S. Department of Veterans Affairs Quality Enhancement Research Initiative: QUERI Series

The U.S. Veterans Health Administration (VHA) may have a very different structure and function from the organizations and practices that provide medical care to most Americans, but those organizations and practices could learn a lot from the VHA's Quality Enhancement Research Initiative (QUERI). There are at least six topics of increasing importance for implementation research where QUERI experience should be of value to other non-VHA organizations, both within and external to the United States: 1) Researcher-clinical leader partnerships for care improvement; 2) Attention to culture, capacity, leadership, and a supportive infrastructure; 3) Practical economic evaluation of quality implementation efforts; 4) Human subject protection problems; 5) Sustainability of improvements; and 6) Scale-up and spread of improvements

Probabilistic movement primitives for coordination of multiple human–robot collaborative tasks

This paper proposes an interaction learning method for collaborative and assistive robots based on movement primitives. The method allows for both action recognition and human–robot movement coordination. It uses imitation learning to construct a mixture model of human–robot interaction primitives. This probabilistic model allows the assistive trajectory of the robot to be inferred from human observations. The method is scalable in relation to the number of tasks and can learn nonlinear correlations between the trajectories that describe the human–robot interaction. We evaluated the method experimentally with a lightweight robot arm in a variety of assistive scenarios, including the coordinated handover of a bottle to a human, and the collaborative assembly of a toolbox. Potential applications of the method are personal caregiver robots, control of intelligent prosthetic devices, and robot coworkers in factories

Acute WNT signalling activation perturbs differentiation within the adult stomach and rapidly leads to tumour formation

A role for WNT signalling in gastric carcinogenesis has been suggested due to two major observations. First, patients with germline mutations in adenomatous polyposis coli (APC) are susceptible to stomach polyps and second, in gastric cancer, WNT activation confers a poor prognosis. However, the functional significance of deregulated WNT signalling in gastric homoeostasis and cancer is still unclear. In this study we have addressed this by investigating the immediate effects of WNT signalling activation within the stomach epithelium. We have specifically activated the WNT signalling pathway within the mouse adult gastric epithelium via deletion of either glycogen synthase kinase 3 (GSK3) or APC or via expression of a constitutively active β-catenin protein. WNT pathway deregulation dramatically affects stomach homoeostasis at very short latencies. In the corpus, there is rapid loss of parietal cells with fundic gland polyp (FGP) formation and adenomatous change, which are similar to those observed in familial adenomatous polyposis. In the antrum, adenomas occur from 4 days post-WNT activation. Taken together, these data show a pivotal role for WNT signalling in gastric homoeostasis, FGP formation and adenomagenesis. Loss of the parietal cell population and corresponding FGP formation, an early event in gastric carcinogenesis, as well as antral adenoma formation are immediate effects of nuclear β-catenin translocation and WNT target gene expression. Furthermore, our inducible murine model will permit a better understanding of the molecular changes required to drive tumourigenesis in the stomach

The evolution of the urinary bladder as a storage organ: scent trails and selective pressure of the first land animals in a computational simulation

The function of waste control in all living organisms is one of the vital importance. Almost universally, terrestrial tetrapods have a urinary bladder with a storage function. It is well documented that many marine and aerial species do not have an organ of such a function, or have one with very depressed storage functionality. Bladder morphology indicates it has evolved from a thin-walled structure used for osmoregulatory purposes, as it is currently used in many marine animals. It is hypothesised that the storage function of the urinary bladder allows for an evolutionary selective advantage in reducing the likelihood of successful predation. Random walks simulating predator and prey movements with simplified scent trails were utilised to represent various stages of the hunt: Detection and pursuit. A final evolutionary model is proposed in order to display the advantages over inter-generational time scales and illustrates how a bladder may evolve from an osmoregulatory organ to one of the storage. Data sets were generated for each case and analysed indicating the viability of such advantages. From the highly consistent results, three distinct characteristics of having a storage function in the urinary bladder are suggested: reduced scent trail detection rate; increased prey–predator separation (upon scent trail detection); and a reduced probability of successful capture upon scent detection by the predator. Furthered by the evolutionary model indicating such characteristics are conserved and augmented over many generations, it is concluded that prey–predator interactions provide a large selective pressure in the evolution of the urinary bladder and its storage function

Design, data management, and population baseline characteristics of the PERFORM magnetic resonance imaging project

Quantitative information from magnetic resonance imaging (MRI) may substantiate clinical findings and provide additional insight into the mechanism of clinical interventions in therapeutic stroke trials. The PERFORM study is exploring the efficacy of terutroban versus aspirin for secondary prevention in patients with a history of ischemic stroke. We report on the design of an exploratory longitudinal MRI follow-up study that was performed in a subgroup of the PERFORM trial. An international multi-centre longitudinal follow-up MRI study was designed for different MR systems employing safety and efficacy readouts: new T2 lesions, new DWI lesions, whole brain volume change, hippocampal volume change, changes in tissue microstructure as depicted by mean diffusivity and fractional anisotropy, vessel patency on MR angiography, and the presence of and development of new microbleeds. A total of 1,056 patients (men and women ≥55 years) were included. The data analysis included 3D reformation, image registration of different contrasts, tissue segmentation, and automated lesion detection. This large international multi-centre study demonstrates how new MRI readouts can be used to provide key information on the evolution of cerebral tissue lesions and within the macrovasculature after atherothrombotic stroke in a large sample of patients

Severe gastric variceal haemorrhage due to splenic artery thrombosis and consecutive arterial bypass

<p>Abstract</p> <p>Background</p> <p>Upper gastrointestinal haemorrhage is mainly caused by ulcers. Gastric varicosis due to portal hypertension can also be held responsible for upper gastrointestinal bleeding. Portal hypertension causes the development of a collateral circulation from the portal to the caval venous system resulting in development of oesophageal and gastric fundus varices. Those may also be held responsible for upper gastrointestinal haemorrhage.</p> <p>Case presentation</p> <p>In this study, we describe the case of a 69-year-old male with recurrent severe upper gastrointestinal bleeding caused by arterial submucosal collaterals due to idiopathic splenic artery thrombosis. The diagnosis was secured using endoscopic duplex ultrasound and angiography. The patient was successfully treated with a laparoscopic splenectomy and complete dissection of the short gastric arteries, resulting in the collapse of the submucosal arteries in the gastric wall. Follow-up gastroscopy was performed on the 12^thpostoperative week and showed no signs of bleeding and a significant reduction in the arterial blood flow within the gastric wall. Subsequent follow-up after 6 months also showed no further gastrointestinal bleeding as well as subjective good quality of life for the patient.</p> <p>Conclusion</p> <p>Submucosal arterial collaterals must be excluded by endosonography via endoscopy in case of recurrent upper gastrointestinal bleeding. Laparoscopic splenectomy provides adequate treatment in preventing any recurrent bleeding, if gastric arterial collaterals are caused by splenic artery thrombosis.</p

Purification and characterization of native human insulin-like growth factor binding protein-6

Insulin-like growth factor binding proteins (IGFBPs) are key regulators of insulin-like growth factor (IGF) mediated signal transduction and thereby can profoundly influence cellular phenotypes and cell fate. Whereas IGFBPs are extracellular proteins, intracellular activities were described for several IGFBP family members, such as IGFBP-3, which can be reinternalized by endocytosis and reaches the nucleus through routes that remain to be fully established. Within the family of IGFBPs, IGFBP-6 is unique for its specific binding to IGF-II. IGFBP-6 was described to possess additional IGF-independent activities, which have in part been attributed to its translocation to the nucleus; however, cellular uptake of IGFBP-6 was not described. To further explore IGFBP-6 functions, we developed a new method for the purification of native human IGFBP-6 from cell culture supernatants, involving a four-step affinity purification procedure, which yields highly enriched IGFBP-6. Whereas protein purified in this way retained the capacity to interact with IGF-II and modulate IGF-dependent signal transduction, our data suggest that, unlike IGFBP-3, human IGFBP-6 is not readily internalized by human tumor cells. To summarize, this work describes a novel and efficient method for the purification of native human insulin-like growth factor binding protein 6 (IGFBP-6) from human cell culture supernatants, applying a four-step chromatography procedure. Intactness of purified IGFBP-6 was confirmed by IGF ligand Western blot and ability to modulate IGF-dependent signal transduction. Cellular uptake studies were performed to further characterize the purified protein, showing no short-term uptake of IGFBP-6, in contrast to IGFBP-3

Observation of associated near-side and away-side long-range correlations in √sNN=5.02 TeV proton-lead collisions with the ATLAS detector

Two-particle correlations in relative azimuthal angle (Δϕ) and pseudorapidity (Δη) are measured in √sNN=5.02  TeV p+Pb collisions using the ATLAS detector at the LHC. The measurements are performed using approximately 1  μb-1 of data as a function of transverse momentum (pT) and the transverse energy (ΣETPb) summed over 3.1<η<4.9 in the direction of the Pb beam. The correlation function, constructed from charged particles, exhibits a long-range (2<|Δη|<5) “near-side” (Δϕ∼0) correlation that grows rapidly with increasing ΣETPb. A long-range “away-side” (Δϕ∼π) correlation, obtained by subtracting the expected contributions from recoiling dijets and other sources estimated using events with small ΣETPb, is found to match the near-side correlation in magnitude, shape (in Δη and Δϕ) and ΣETPb dependence. The resultant Δϕ correlation is approximately symmetric about π/2, and is consistent with a dominant cos⁡2Δϕ modulation for all ΣETPb ranges and particle pT

Search for new phenomena in final states with an energetic jet and large missing transverse momentum in pp collisions at √ s = 8 TeV with the ATLAS detector

Results of a search for new phenomena in final states with an energetic jet and large missing transverse momentum are reported. The search uses 20.3 fb−1 of √ s = 8 TeV data collected in 2012 with the ATLAS detector at the LHC. Events are required to have at least one jet with pT > 120 GeV and no leptons. Nine signal regions are considered with increasing missing transverse momentum requirements between Emiss T > 150 GeV and Emiss T > 700 GeV. Good agreement is observed between the number of events in data and Standard Model expectations. The results are translated into exclusion limits on models with either large extra spatial dimensions, pair production of weakly interacting dark matter candidates, or production of very light gravitinos in a gauge-mediated supersymmetric model. In addition, limits on the production of an invisibly decaying Higgs-like boson leading to similar topologies in the final state are presente