Kolmogorov's law for two-dimensional electron-magnetohydrodynamic turbulence

The analogue of the Kolmogorov's four-fifths law is derived for two-dimensional, homogeneous, isotropic EMHD turbulence in the energy cascade inertial range. Direct numerical simulations for the freely decaying case show that this relation holds true for different values of the adimensional electron inertial length scale, $d_e$. The energy spectrum is found to be close to the expected Kolmogorov spectrum.Comment: 9 pages RevTeX, 3 PostScript figure

The Sensoria Approach Applied to the Finance Case Study

This chapter provides an effective implementation of (part of) the Sensoria approach, specifically modelling and formal analysis of service-oriented software based on mathematically founded techniques. The ‘Finance case study’ is used as a test bed for demonstrating the feasibility and effectiveness of the use of the process calculus COWS and some of its related analysis techniques and tools. In particular, we report the results of an application of a temporal logic and its model checker for expressing and checking functional properties of services and a type system for guaranteeing confidentiality properties of services

Educazione terapeutica ai malati oncologici: esperienza degli infermieri italiani

Introduction. Therapeutic patient’ education is a complex process requiring a proper level of communication between the patient and the healthcare professional. Nurses play a key role in providing the patients and their families with educational activities. Objective: This paper is the report of a study which investigates the experiences of some Italian nurses with regards to their role in therapeutic education to cancer patients. Methods: Qualitative research. Semi-structured interviews were carried out with 52 nurses working in different Local Health Service Units of two northern Italy regions: Piedmont and Valle d’Aosta. To identify categories and items arising from the data, the researchers used a qualitative content analysis. Results: The interview format was classified into six main categories: a) Patient education as daily care activity; b) Relevance of communication and dialogue for educational purposes; c) Relative usefulness of written information; d) Therapeutic education recording; e) Patients’ feedbacks as a tool for assessing therapeutic education; and f) Difficult communication. Conclusions: The experience of nurses in terms of their professional role in therapeutic education for cancer patients shows the steady presence of educational activities carried out in a non-planned way. This research confirms the need to launch educational interventions for nurses. Implications for Practice: It is essential to implement an action plan to promote opportunities of professional training in the field since among the most frequent reasons for project failure in therapeutic education is the lack of expert human resource

Miopatía del complejo muscular Gracilis-Semitendinoso

Tras efectuar una revisión bibliográfica sobre el tema, el presente artículo describe 4 casos de miopatía fibrótica en los que ésta afecta al músculo graci/is en perros de raza Pastor alemán. El diagnóstico se basa en identificar la cojera característica y en descartar otros procesos. El tratamiento quirúrgico da buenos resultados a corto plazo, pero luego aparecen recidivas.After a bibliographic update, this article describes 4 cases of fíbrotíc miopathy of the gracilis muscle in German Shepherd dogs. Diagnosis relies on identifying typical gait and differentiating from other diseases. Surgical.treatment leads to short term satisfactory results but later, relapses occur

Specifying and Analysing SOC Applications with COWS

COWS is a recently defined process calculus for specifying and combining service-oriented applications, while modelling their dynamic behaviour. Since its introduction, a number of methods and tools have been devised to analyse COWS specifications, like e.g. a type system to check confidentiality properties, a logic and a model checker to express and check functional properties of services. In this paper, by means of a case study in the area of automotive systems, we demonstrate that COWS, with some mild linguistic additions, can model all the phases of the life cycle of service-oriented applications, such as publication, discovery, negotiation, orchestration, deployment, reconfiguration and execution. We also provide a flavour of the properties that can be analysed by using the tools mentioned above

Efficient Parallel Statistical Model Checking of Biochemical Networks

We consider the problem of verifying stochastic models of biochemical networks against behavioral properties expressed in temporal logic terms. Exact probabilistic verification approaches such as, for example, CSL/PCTL model checking, are undermined by a huge computational demand which rule them out for most real case studies. Less demanding approaches, such as statistical model checking, estimate the likelihood that a property is satisfied by sampling executions out of the stochastic model. We propose a methodology for efficiently estimating the likelihood that a LTL property P holds of a stochastic model of a biochemical network. As with other statistical verification techniques, the methodology we propose uses a stochastic simulation algorithm for generating execution samples, however there are three key aspects that improve the efficiency: first, the sample generation is driven by on-the-fly verification of P which results in optimal overall simulation time. Second, the confidence interval estimation for the probability of P to hold is based on an efficient variant of the Wilson method which ensures a faster convergence. Third, the whole methodology is designed according to a parallel fashion and a prototype software tool has been implemented that performs the sampling/verification process in parallel over an HPC architecture

Strigolactones: a novel class of phytohormones that inhibit the growth and survival of breast cancer cells and breast cancer stem-like enriched mammosphere cells.

Several naturally occurring phytohormones have shown enormous potential in the prevention and treatment of several cancers. Strigolactones (SLs) are a novel class of plant hormones produced in roots and regulate new above ground shoot branching, by inhibiting self-renewal of undifferentiated meristem cells. Here we study the effects of six synthetic strigolactone analogues on breast cancer cell lines growth and survival. We show that Strigolactone analogues are able to inhibit proliferation and induce apoptosis of breast cancer cells but to a much lesser extent ‘non-cancer’ lines. Given the therapeutic problem of cancer recurrence which is hypothesized to be due to drug resistant cancer stem cells, we also tested the ability of Strigolactone analogues to inhibit the growth of mammosphere cultures that are typically enriched with cancer stem-like cells. We show that Strigolactones are potent inhibitors of self-renewal and survival of breast cancer cell lines grown as mammospheres and even a short exposure leads to irreversible effects on mammosphere dissociation and cell death. Immunoblot analysis revealed that SLs analogues induce activation of the stress response mediated by both P38 and JNK1/2 MAPK modules and inhibits PI3K/AKT activation. Taken together this study indicates that Strigolactones may be promising anticancer agents whose activities may be achieved through modulation of stress and survival signaling pathways