Principal component analysis of the well-being at work and respect for human rights questionnaire (WWRRR) in the mediterranean region

Background: The Well-Being at Work and Respect for human Rights Questionnaire (WWRR) was conceived based on the hypothesis that the perception of respect for users' rights is an essential element of well-being in the workplace in healthcare. The objective of the study is to examine the principal components of the WWRR. Methods: A random sample representative of a set of professionals working in three different healthcare networks in Tunisia, North-Macedonia, and Italy was enrolled (n=426). Each professional completed a questionnaire on sociodemographic data and the WWRR. The WWRR consists of six items on beliefs about: satisfaction at work, users’ satisfaction, organization at work, respect of users’ and staff human rights, adequacy of resources. A seventh item assesses the perceived needs of personnel. Correlation between the items was evaluated by analysing the principal components with Varimax rotation and Kaiser normalization (which included all components with an Eigen value> 1). Results: A single factor covered over 50% of the variance, all the items of the questionnaire were closely related and compose a single factor. Tunisia presented some differences regarding the item about the human rights of staff. Conclusion: Satisfaction with the respect for the rights of users is strongly correlated with the other factors that are part of the concept of the organizational well-being of health care providers. The WWRR provides a means of measuring this important and often neglected dimension

Model Checking of SCADE Designed Systems

International audienceModel checking is a well-known method to verify a formal model in all possible configurations. Nevertheless this technique can hardly scale up to industrial asynchronous systems because of the state-space explosion problem. To address this challenge, a new approach based on context specification (the environment of the system) and an observation engine called OBP (Observer Based Prover) has been developed. The idea is that given a property to be verified, one doesn’t need to explore all possible configurations of the complete system. Among all possible behavior of the system, a tiny part is representative enough for the property to be verified. Thus, specifying a pertinent environment (a context) allows restricting the system behavior on those only parts where the property is worth verifying.The objective of our work is to apply this Context-aware verification method to the verification of SCADE systems designed in LUSTRE language, in order to check behavioral properties related to system safety. Moreover LUSTRE is a synchronous language whereas OBP exploration engine takes as input an asynchronous model designed in FIACRE language. To cope with this problem our approach consists in developing a GALS method combining asynchronous contexts with synchronous models

Partially Bounded Context-Aware Verification

International audienceModel-checking enables the formal verification of software systems. Powerful and automated, this technique suffers, however, from the state-space explosion problem because of the exponential growth in the number of states with respect to the number of interacting components. To address this problem, the Context-aware Verification (CaV) approach decomposes the verification problem using environment-based guides. This approach improves the scalability but it requires an acyclic specification of the verification guides, which are difficult to specify without losing completeness. In this paper, we present a new verification strategy that generalises CaV while ensuring the decomposability of the state-space. The approach relies on a language for the specification of the arbitrary guides, which relaxes the acyclicity requirement, and on a partially-bounded verification procedure. The effectiveness of our approach is showcased through a case-study from the aerospace domain, which shows that the scalability is maintained while easing the conception of the verification guides

Maternal exposure to picrotoxin modifies the response of the GABA(A) receptor during sexual behavior of adult male rat offspring

This study investigated whether perinatal exposure to picrotoxin, a GABA(A) antagonist, modifies the effect of muscimol, a GABA(A) agonist, on the sexual behavior of adult male rats. Two hours after birth and then once daily during the next 9 days of lactation, dams received picrotoxin (0.75 mg/kg subcutaneously) or saline (1 ml/kg subcutaneously). The adult male offspring from the picrotoxin and saline groups received saline (1 ml/kg intraperitoneally) or muscimol (1 mg/kg intraperitoneally), and 15 min later, their sexual behavior was assessed. Muscimol treatment in the saline-exposed group increased the mount and intromission latencies. However, these effects were absent in the picrotoxin-exposed groups. The latencies to first ejaculation, postejaculatory mount, and intromission were decreased in both picrotoxin-exposed groups relative to the saline-exposed groups. The picrotoxin + muscimol-treated rats required more intromissions to ejaculate and the picrotoxin-exposed groups made more ejaculations than the saline-exposed groups. Thus, muscimol treatment did not increase the mount and intromission latencies following picrotoxin exposure, but increased the ejaculation frequency, which did not differ between the picrotoxin + muscimol and the picrotoxin + saline groups. These data indicate that perinatal picrotoxin treatment interfered with GABA(A) receptor development Behavioural Pharmacology 23:703-709 (c) 2012 Wolters Kluwer Health vertical bar Lippincott Williams & Wilkins.Fundacao de Amparo a Pesquisa do Estado de Sao Paulo [96/04273-4, 06690-1]Fundacao de Amparo a Pesquisa do Estado de Sao PauloConselho Nacional de Desenvolvimento Cientifico e TecnologicoConselho Nacional de Desenvolvimento Cientifico e TecnologicoMaria Martha Bernardi [352189/96-7]Maria Martha Bernard

Single early prenatal lipopolysaccharide exposure impairs striatal monoamines and maternal care in female rats

Aims: Environmental information received by a mother can induce a phenotype change in her offspring, commonly known as a maternal effect (trans-generational effect). The present work verified the effects of lipopolysaccharide (LPS), which mimics bacterial infection, on maternal care and on the activity of related brain areas in F1 offspring, i.e., female rats that were prenatally exposed to LPS.Main methods: Pregnant rats received 100 mu g/kg of LPS intraperitoneally on gestational day (GD) 9.5. Female offspring of the F1 generation were mated to naive males and were evaluated during their lactation period for open field, maternal and aggressive behaviors. Striatal and hypothalamic dopamine and serotonin levels and turnover were also evaluated. Furthermore, astrocyte protein expression in the nucleus accumbens (NA) was analyzed in F1 females to assess LPS-induced neuroinflammation.Key findings: Prenatal LPS did not change open field behavior but impaired both maternal and maternal aggressive behaviors in the F1 generation. LPS exposure also reduced both striatal levels of dopamine and serotonin and its metabolites, but induced no changes in NA astrocyte expression.Significance: We suggested that the observed impairments in the F1 females were a consequence of a motivational change induced by prenatal LPS, as (1) no changes in motor activity were observed, (2) prenatal LPS-exposure was reported by our group to induce motivational impairments in males, and (3) the existence of a strong connection between striatal dopaminergic activity and motivation-oriented activities. The present findings strongly indicate a maternal effect for prenatal LPS, at least for the F1 generation. (C) 2013 Elsevier Inc. All rights reserved