The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy

For two given $\omega$-terms $\alpha$ and $\beta$, the word problem for $\omega$-terms over a variety $\boldsymbol{\mathrm{V}}$ asks whether $\alpha=\beta$ in all monoids in $\boldsymbol{\mathrm{V}}$. We show that the word problem for $\omega$-terms over each level of the Trotter-Weil Hierarchy is decidable. More precisely, for every fixed variety in the Trotter-Weil Hierarchy, our approach yields an algorithm in nondeterministic logarithmic space (NL). In addition, we provide deterministic polynomial time algorithms which are more efficient than straightforward translations of the NL-algorithms. As an application of our results, we show that separability by the so-called corners of the Trotter-Weil Hierarchy is witnessed by $\omega$-terms (this property is also known as $\omega$-reducibility). In particular, the separation problem for the corners of the Trotter-Weil Hierarchy is decidable

Behavioral Indicators on a Mobile Sensing Platform Predict Clinically Validated Psychiatric Symptoms of Mood and Anxiety Disorders

Background: There is a critical need for real-time tracking of behavioral indicators of mental disorders. Mobile sensing platforms that objectively and noninvasively collect, store, and analyze behavioral indicators have not yet been clinically validated or scalable. Objective: The aim of our study was to report on models of clinical symptoms for post-traumatic stress disorder (PTSD) and depression derived from a scalable mobile sensing platform. Methods: A total of 73 participants (67% [49/73] male, 48% [35/73] non-Hispanic white, 33% [24/73] veteran status) who reported at least one symptom of PTSD or depression completed a 12-week field trial. Behavioral indicators were collected through the noninvasive mobile sensing platform on participants’ mobile phones. Clinical symptoms were measured through validated clinical interviews with a licensed clinical social worker. A combination hypothesis and data-driven approach was used to derive key features for modeling symptoms, including the sum of outgoing calls, count of unique numbers texted, absolute distance traveled, dynamic variation of the voice, speaking rate, and voice quality. Participants also reported ease of use and data sharing concerns. Results: Behavioral indicators predicted clinically assessed symptoms of depression and PTSD (cross-validated area under the curve [AUC] for depressed mood=.74, fatigue=.56, interest in activities=.75, and social connectedness=.83). Participants reported comfort sharing individual data with physicians (Mean 3.08, SD 1.22), mental health providers (Mean 3.25, SD 1.39), and medical researchers (Mean 3.03, SD 1.36). Conclusions: Behavioral indicators passively collected through a mobile sensing platform predicted symptoms of depression and PTSD. The use of mobile sensing platforms can provide clinically validated behavioral indicators in real time; however, further validation of these models and this platform in large clinical samples is needed.United States. Defense Advanced Research Projects Agency (contract N66001-11-C-4094

The organisational and human resource challenges facing primary care trusts : protocol of a multiple case study

BACKGROUND: The study is designed to assess the organisational and human resource challenges faced by Primary Care Trusts (PCTs). Its objectives are to: specify the organisational and human resources challenges faced by PCTs in fulfilling the roles envisaged in government and local policy; examine how PCTs are addressing these challenges, in particular, to describe the organisational forms they have adopted, and the OD/HR strategies and initiatives they have planned or in place; assess how effective these structures, strategies and initiatives have been in enabling the PCTs to meet the organisational and human resources challenges they face; identify the factors, both internal to the PCT and in the wider health community, which have contributed to the success or failure of different structures, strategies and initiatives. METHODS: The study will be undertaken in three stages. In Stage 1 the key literature on public sector and NHS organisational development and human resources management will be reviewed, and discussions will be held with key researchers and policy makers working in this area. Stage 2 will focus on detailed case studies in six PCTs designed to examine the organisational and human resources challenges they face. Data will be collected using semi-structured interviews, group discussion, site visits, observation of key meetings and examination of local documentation. The findings from the case study PCTs will be cross checked with a Reference Group of up to 20 other PCG/Ts, and key officers working in organisational development or primary care at local, regional and national level. In Stage 3 analysis of findings from the preparatory work, the case studies and the feedback from the Reference Group will be used to identify practical lessons for PCTs, key messages for policy makers, and contributions to further theoretical development

Rupture by damage accumulation in rocks

The deformation of rocks is associated with microcracks nucleation and propagation, i.e. damage. The accumulation of damage and its spatial localization lead to the creation of a macroscale discontinuity, so-called "fault" in geological terms, and to the failure of the material, i.e. a dramatic decrease of the mechanical properties as strength and modulus. The damage process can be studied both statically by direct observation of thin sections and dynamically by recording acoustic waves emitted by crack propagation (acoustic emission). Here we first review such observations concerning geological objects over scales ranging from the laboratory sample scale (dm) to seismically active faults (km), including cliffs and rock masses (Dm, hm). These observations reveal complex patterns in both space (fractal properties of damage structures as roughness and gouge), time (clustering, particular trends when the failure approaches) and energy domains (power-law distributions of energy release bursts). We use a numerical model based on progressive damage within an elastic interaction framework which allows us to simulate these observations. This study shows that the failure in rocks can be the result of damage accumulation

Persistent Cellular Motion Control and Trapping Using Mechanotactic Signaling

Chemotactic signaling and the associated directed cell migration have been extensively studied owing to their importance in emergent processes of cellular aggregation. In contrast, mechanotactic signaling has been relatively overlooked despite its potential for unique ways to artificially signal cells with the aim to effectively gain control over their motile behavior. The possibility of mimicking cellular mechanotactic signals offers a fascinating novel strategy to achieve targeted cell delivery for in vitro tissue growth if proven to be effective with mammalian cells. Using (i) optimal level of extracellular calcium ([Ca2[superscript +] ][subscript ext] = 3 mM) we found, (ii) controllable fluid shear stress of low magnitude (σ < 0.5 Pa), and (iii) the ability to swiftly reverse flow direction (within one second), we are able to successfully signal Dictyostelium discoideum amoebae and trigger migratory responses with heretofore unreported control and precision. Specifically, we are able to systematically determine the mechanical input signal required to achieve any predetermined sequences of steps including straightforward motion, reversal and trapping. The mechanotactic cellular trapping is achieved for the first time and is associated with a stalling frequency of 0.06 ~ 0.1 Hz for a reversing direction mechanostimulus, above which the cells are effectively trapped while maintaining a high level of directional sensing. The value of this frequency is very close to the stalling frequency recently reported for chemotactic cell trapping [Meier B, et al. (2011) Proc Natl Acad Sci USA 108:11417–11422], suggesting that the limiting factor may be the slowness of the internal chemically-based motility apparatus.SUTD-MIT International Design Centre (Grant IDG31400104

SMAR1 binds to T(C/G) repeatvand inhibits tumor progression by regulating miR-371-373 cluster

Chromatin architecture and dynamics are regulated by various histone and non-histone proteins. The matrix attachment region binding proteins (MARBPs) play a central role in chromatin organization and function through numerous regulatory proteins. In the present study, we demonstrate that nuclear matrix protein SMAR1 orchestrates global gene regulation as determined by massively parallel ChIPsequencing. The study revealed that SMAR1 binds to T(C/G) repeat and targets genes involved in diverse biological pathways. We observe that SMAR1 binds and targets distinctly different genes based on the availability of p53. Our data suggest that SMAR1 binds and regulates one of the imperative microRNA clusters in cancer and metastasis, miR-371-373. It negatively regulates miR-371-373 transcription as confirmed by SMAR1 overexpression and knockdown studies. Further, deletion studies indicate that a ~200 bp region in the miR-371-373 promoter is necessary for SMAR1 binding and transcriptional repression. Recruitment of HDAC1/mSin3A complex by SMAR1, concomitant with alteration of histone marks results in downregulation of the miRNA cluster. The regulation of miR-371-373 by SMAR1 inhibits breast cancer tumorigenesis and metastasis as determined by in vivo experiments. Overall, our study highlights the binding of SMAR1 to T(C/G) repeat and its role in cancer through miR-371-37

Increasing the biosafety of analytical systems in the clinical laboratory

Biosafety is an important part of the know-how of all clinical laboratory professionals. Biosafely must have high priority in the design and use of analytical systems. Attention should be focused on reducing the handling of biological specimens, reducing biohazards to laboratory personnel, and on improving the labelling and containment of biohazardous materials. In this paper, biosafety issues are discussed in relation to the design of analytical systems, their use and maintenance