Abstract:In recent years, successive work reorganization initiatives have been implemented in many healthcare settings. The failure of many of these change efforts has often been attributed in the prominent management discourse to change resistance. Few studies have paid attention to the temporal process of workers' resource depletion/accumulation over time and its links with workers' psychological states and reactions to change. Drawing upon the conservation of resources theory, this study examines associations between workers' perceptions of loss of resources, burnout, and attitudes to change. The study was conducted in five health and social service centres in Quebec, in units where a work reorganization project was initiated. A prospective longitudinal design was used to assess workers' perceptions at two time points 12 months apart. Our findings are consistent with the
OPEN ACCESS
Int. J. Environ. Res. Public Health 2014, 11188 conservation of resources theory. The analysis of latent differences scores between times 1 and 2 showed that the perceived loss of resources was associated with emotional exhaustion, which, in turn, was negatively correlated with commitment to change and positively correlated with cynicism. In confirming the temporal relationship between perceived loss of resources, occupational burnout, and attitude to change, this research offers a new perspective to explain negative and positive reactions to change implementation.
Abstract. We propose an extension of the tableau-based first order automated theorem prover Zenon to deduction modulo. The theory of deduction modulo is an extension of predicate calculus, which allows us to rewrite terms as well as propositions, and which is well suited for proof search in axiomatic theories, as it turns axioms into rewrite rules. We also present a heuristic to perform this latter step automatically, and assess our approach by providing some experimental results obtained on the benchmarks provided by the TPTP library, where this heuristic is able to prove difficult problems in set theory in particular. Finally, we describe an additional backend for Zenon that outputs proof certificates for Dedukti, which is a proof checker based on the λΠ-calculus modulo.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.