Regular symmetry patterns

Symmetry reduction is a well-known approach for alleviating the state explosion problem in model checking. Automatically identifying symmetries in concurrent systems, however, is computationally expensive. We propose a symbolic framework for capturing symmetry patterns in parameterised systems (i.e. an infinite family of finite-state systems): two regular word transducers to represent, respectively, parameterised systems and symmetry patterns. The framework subsumes various types of "symmetry relations" ranging from weaker notions (e.g. simulation preorders) to the strongest notion (i.e. isomorphisms). Our framework enjoys two algorithmic properties: (1) symmetry verification: given a transducer, we can automatically check whether it is a symmetry pattern of a given system, and (2) symmetry synthesis: we can automatically generate a symmetry pattern for a given system in the form of a transducer. Furthermore, our symbolic language allows additional constraints that the symmetry patterns need to satisfy to be easily incorporated in the verification/synthesis. We show how these properties can help identify symmetry patterns in examples like dining philosopher protocols, self-stabilising protocols, and prioritised resource-allocator protocol. In some cases (e.g. Gries's coffee can problem), our technique automatically synthesises a safety-preserving finite approximant, which can then be verified for safety solely using a finite-state model checker.UPMAR

250 labels used to stigmatise people with mental illness

<p>Abstract</p> <p>Background</p> <p>The stigma against people with mental illness is a major barrier to help-seeking in young people for mental health problems. The objective of this study was to investigate the extent of stigma in relation to treatment avoidance in 14 year-old school students in England in relation to how they refer to people with mental illness.</p> <p>Methods</p> <p>This is a qualitative, cross-sectional study. The data were gathered as part of the baseline assessment for an intervention study intended to reduce stigma among 14 year old school students. The participating schools were two grammar (selective) schools and three comprehensive (non-selective) schools. At the start of the lesson, the students were asked 'What sorts of words or phrases might you use to describe someone who experiences mental health problems?' Words and terms used to refer to mental illness were enumerated. Using the grounded theory approach, words and terms were grouped in terms of their denotative and connotative meanings. Labels were then derived to capture the key themes attached by the students to the concepts of mental illness. The frequencies of occurrence for each word were also tabulated.</p> <p>Results</p> <p>400 of the 472 participating students (85%) provided 250 words and terms to describe a person with mental illness. Five themes were identified from the data. The first theme called 'popular derogatory terms' (116 items) accounted for nearly half of the words examined. The second theme occurred less often and was described as 'negative emotional state' (61 items). The third theme demonstrated the confusion of young people between physical disabilities, learning difficulties and mental health problems (38 items). The use of psychiatric diagnoses (15 items) and terms related to violence (9 items) were unexpectedly uncommon.</p> <p>Conclusion</p> <p>Our findings suggest the hypothesis that help-seeking by mentally ill young people may be improved by interventions that address both their lack of factual information about mental illness, and those which reduce their strong negative emotional reactions towards people with mental illness.</p

Exploring the nature of stigmatising beliefs about depression and help-seeking: Implications for reducing stigma

<p>Abstract</p> <p>Background</p> <p>In-depth and structured evaluation of the stigma associated with depression has been lacking. This study aimed to inform the design of interventions to reduce stigma by systematically investigating community perceptions of beliefs about depression according to theorised dimensional components of stigma.</p> <p>Methods</p> <p>Focus group discussions were held with a total of 23 adults with personal experience of depression. The discussions were taped, transcribed and thematically analysed.</p> <p>Results</p> <p>Participants typically reported experiencing considerable stigma, particularly that others believe depressed people are responsible for their own condition, are undesirable to be around, and may be a threat. Participants expressed particular concerns about help-seeking in the workplace and from mental health professionals.</p> <p>Conclusion</p> <p>Findings indicate that interventions to reduce the stigma of depression should target attributions of blame; reduce avoidance of depressed people; label depression as a 'health condition' rather than 'mental illness'; and improve responses of help-sources (i.e. via informing professionals of client fears).</p

Clinical trials update of the European Organization for Research and Treatment of Cancer Breast Cancer Group

The present clinical trial update consists of a review of two of eight current studies (the 10981-22023 AMAROS trial and the 10994 p53 trial) of the European Organization for Research and Treatment of Cancer Breast Cancer Group, as well as a preview of the MIND-ACT trial. The AMAROS trial is designed to prove equivalent local/regional control for patients with proven axillary lymph node metastasis by sentinel node biopsy if treated with axillary radiotherapy instead of axillary lymph node dissection, with reduced morbidity. The p53 trial started to assess the potential predictive value of p53 using a functional assay in yeast in patients with locally advanced/inflammatory or large operable breast cancer prospectively randomised to a taxane regimen versus a nontaxane regimen

Effectiveness of neonatal pulse oximetry screening for detection of critical congenital heart disease in daily clinical routine—results from a prospective multicenter study

Pulse oximetry screening (POS) has been proposed as an effective, noninvasive, inexpensive tool allowing earlier diagnosis of critical congenital heart disease (cCHD). Our aim was to test the hypothesis that POS can reduce the diagnostic gap in cCHD in daily clinical routine in the setting of tertiary, secondary and primary care centres. We conducted a prospective multicenter trial in Saxony, Germany. POS was performed in healthy term and post-term newborns at the age of 24–72 h. If an oxygen saturation (SpO2) of ≤95% was measured on lower extremities and confirmed after 1 h, complete clinical examination and echocardiography were performed. POS was defined as false-negative when a diagnosis of cCHD was made after POS in the participating hospitals/at our centre. From July 2006–June 2008, 42,240 newborns from 34 institutions have been included. Seventy-two children were excluded due to prenatal diagnosis (n = 54) or clinical signs of cCHD (n = 18) before POS. Seven hundred ninety-five newborns did not receive POS, mainly due to early discharge after birth (n = 727; 91%). In 41,445 newborns, POS was performed. POS was true positive in 14, false positive in 40, true negative in 41,384 and false negative in four children (three had been excluded for violation of study protocol). Sensitivity, specificity, positive and negative predictive value were 77.78%, 99.90%, 25.93% and 99.99%, respectively. With POS as an adjunct to prenatal diagnosis, physical examination and clinical observation, the percentage of newborns with late diagnosis of cCHD was 4.4%. POS can substantially reduce the postnatal diagnostic gap in cCHD, and false-positive results leading to unnecessary examinations of healthy newborns are rare. POS should be implemented in routine postnatal care

Predictive factor for the response to adjuvant therapy with emphasis in breast cancer

One of the major challenges of early-stage breast cancer is to select the adjuvant therapy that ensures the most benefits and the least harm for the patient. The definition of accurate predictive factors is therefore of paramount importance. So far the choice of adjuvant therapy has been based on the number of affected lymph nodes and the hormone receptor status of the patient. This paper evaluates the use of other tumor-related markers as predictive factors for adjuvant therapy. These include HER2, p53 and Bcl-2, cathepsin B, p27, proliferating cell nuclear antigen (PCNA), cyclin D, Ki-67, and vascular endothelial growth factor (VEGF)

On the residual opening of hydraulic fractures

Hydraulic stimulation technologies are widely applied across resource and power generation industries to increase the productivity of oil/gas or hot water reservoirs. These technologies utilise pressurised water, which is applied inside the well to initiate and drive fractures as well as to open a network of existing natural fractures. To prevent the opened fractures from complete closure during production stage, small particles (proppants) are normally injected with the pressurised fluid. These particles are subjected to confining stresses when the fluid pressure is removed, which leads to a partial closure of the stimulated fractures. The residual fracture openings are the main outcome of such hydraulic stimulations as these openings significantly affect the permeability of the reservoirs and, subsequently, the well productivity. Past research was largely focused on the assessment of conditions and characteristics of fluid driven fractures as well as proppant placement techniques. Surprisingly, not much work was devoted to the assessment of the residual fracture profiles. In this work we develop a simplified non-linear mathematical model of residual closure of a plane crack filled with deformable particles and subjected to a remote compressive stress. It is demonstrated that the closure profile is significantly influenced by the distribution and compressibility of the particles, which are often ignored in the current evaluations of well productivity. © 2013 Springer Science+Business Media Dordrecht.Luiz Bortolan Neto, Andrei Kotouso

Review of Community Pharmacy Staff Educational Needs for Supporting Mental Health Consumers and Carers

Development of a mental health education package for community pharmacy staff should be informed by mental health consumers/carers’ needs, expectations and experiences, and staff knowledge, skills and attitudes. This review (1) explored research on community pharmacy practice and service provision for mental health consumers/carers, and (2) identified validated methods for assessing staff knowledge, skills and attitudes about mental illness to inform the development of a training questionnaire. A literature scan using key words knowledge, skills, attitudes, and beliefs combined with community pharmacy, pharmacist, and pharmacy support staff, and mental illness, depression, anxiety was conducted. A small number of studies were found that used reliable methods to assess pharmacists’ training needs regarding mental illness and treatment options. There was little published specifically in relation to depression and anxiety in community pharmacy practice. No studies assessed the training needs of pharmacy support staff. A systematic analysis of pharmacy staff learning needs is warranted

Parent of origin genetic effects on methylation in humans are common and influence complex trait variation

Parent-of-origin effects (POE) are observed when there are different effects from alleles inherited from the two parents on phenotypic measures. Here, Zeng et al. study POE on DNA methylation in 5,101 individuals and identify genetic variants that associate with methylation variation via POE and their potential phenotypic consequences

p53 as a potential predictive factor of response to chemotherapy: feasibility of p53 assessment using a functional test in yeast from trucut biopsies in breast cancer patients

Assessment of the predictive value of p53 requires the testing of large numbers of samples from patients enrolled in prospective phase III clinical trials. The goal of this study was to determine whether p53 status can be determined by p53 yeast functional assay using the limiting amounts of material that can typically be obtained in prospective phase III trials (particularly when chemotherapy is given before surgery). All patients presenting with a clinically palpable tumour which could be considered large enough to perform a trucut biopsy (⩾2 cm breast tumour) were eligible for this study. Two trucut biopsies and one incisional biopsy were performed on the surgical specimens (mastectomy or tumourectomy). Samples were snap frozen and cryostat sections were taken for histology and p53 testing. Thirty patients were included. Three samples out of 90 failed to give any p53 PCR products, probably because these samples contained almost entirely fibrous tissue. Of the 87 samples that could be tested, the incisional and trucut biopsies results were fully concordant in every case. p53 could be defined in 97% of patients by double trucut biopsy. Eight out of 30 tumours tested were mutant for p53 (27%). p53 status can be reliably determined by yeast assay from single frozen sections of trucut biopsies. Histological examination before p53 testing is essential to exclude cases where the p53 result may reflect only the status of the normal cells in the biopsy