Psychometric evaluation of the German version of a social support scale of FAFHES (family functioning, family health and social support)

This is the peer reviewed version which has been published in final form at https://doi.org/10.1111/scs.12700. This article may be used for non-commercial purposes in accordance with Wiley Terms and Conditions for Use of Self-Archived Versions.BACKGROUND: Family members often need to be supported in informal care of the elderly and desire to be involved into care planning and decision-making. Valid and reliable instruments are needed to measure how family members perceive the care and support they receive from nurses for older family members living at home. AIM: The purpose of this study was to translate the 20-item social support scale of the Family Functioning, Family Health and Social Support (FAFHES) questionnaire from English to German and test the validity and reliability of the scale among Swiss-German-speaking family caregivers of home-dwelling elderly people who receive home healthcare services. METHODS: A cross-sectional study was conducted to test the empirical and psychometric properties of the translated and culturally adapted version of the social support questionnaire. A factor analysis with the principal component analysis PCA was used to test construct validity. The internal consistency of items was measured with the Cronbach`s alpha coefficient. RESULTS: After a rigorous translation process the original 20-item questionnaire was adapted into a 19-item version and tested with family caregivers (n = 207) of home-dwelling elderly. Psychometric testing of the German version of the social support questionnaire revealed that the three factors - affirmation, affect and concrete aid - were congruent with the original questionnaire. The accounted variance was 79.5% and the internal consistency determined by the Cronbach's alpha was 0.973. CONCLUSION: The German version of the social support scale of the FAFHES questionnaire is a valid and reliable instrument to assess family perceived support on three dimensions - affirmation, affect and concrete aid - received from nursing professionals. The questionnaire should be tested further in other German-speaking population

Concurrent constraint programming with process mobility

We propose an extension of concurrent constraint programming with primitives for process migration within a hierarchical network, and we study its semantics. To this purpose, we first investigate a "pure " paradigm for process migration, namely a paradigm where the only actions are those dealing with transmissions of processes. Our goal is to give a structural definition of the semantics of migration; namely, we want to describe the behaviour of the system, during the transmission of a process, in terms of the behaviour of the components. We achieve this goal by using a labeled transition system where the effects of sending a process, and requesting a process, are modeled by symmetric rules (similar to handshaking-rules for synchronous communication) between the two partner nodes in the network. Next, we extend our paradigm with the primitives of concurrent constraint programming, and we show how to enrich the semantics to cope with the notions of environment and constraint store. Finally, we show how the operational semantics can be used to define an interpreter for the basic calculus.

Unlimited Paid Time Off Policies:Unlocking the Best and Unleashing the Beast

Unlimited paid time off policies are currently fashionable and widely discussed by HR professionals around the globe. While on the one hand, paid time off is considered a key benefit by employees and unlimited paid time off policies (UPTO) are seen as a major perk which may help in recruiting and retaining talented employees, on the other hand, early adopters reported that employees took less time off than previously, presumably leading to higher burnout rates. In this conceptual review, we discuss the theoretical and empirical evidence regarding the potential effects of UPTO on leave utilization, well-being and performance outcomes. We start out by defining UPTO and placing it in a historical and international perspective. Next, we discuss the key role of leave utilization in translating UPTO into concrete actions. The core of our article constitutes the description of the effects of UPTO and the two pathways through which these effects are assumed to unfold: autonomy need satisfaction and detrimental social processes. We moreover discuss the boundary conditions which facilitate or inhibit the successful utilization of UPTO on individual, team, and organizational level. In reviewing the literature from different fields and integrating existing theories, we arrive at a conceptual model and five propositions, which can guide future research on UPTO. We conclude with a discussion of the theoretical and societal implications of UPTO

Building Mutual Understanding for Effective Development

In recent years a number of countries, referred to collectively as the rising powers, have achieved rapid economic growth and increased political influence. In many cases their experience challenges received wisdom on inclusive development. Research funded by traditional development donors has tended to focus on their own aid recipients. Policy analysts in the rising powers have faced several challenges in generating systematic learning from their countries’ rapidly changing development experiences. This has created a knowledge-sharing gap. The IDS Rising Powers in International Development programme invited highly experienced policymakers and analysts to review important development experiences from their countries, as Senior International Associates, creating new opportunities for mutual learning.UK Department for International Developmen

Leading-Log Effects in the Resonance Electroweak Form Factors

We study log corrections to inelastic scattering at high Bjorken x for Q^2 from 1 to 21 GeV^2. At issue is the presence of log corrections, which can be absent if high x scattering has damped gluon radiation. We find logarithmic correction of the scaling curve extrapolated to low Q^2 improves the duality between it and the resonance plus background data in the Delta region, indicating log corrections exist in the data. However, at W > 2 GeV and high x, the data shows a (1-x)^3 form. Log corrections in one situation but not in another can be reconciled by a W- or Q^2- dependent higher twist correction.Comment: 13 pages, report nos. RPI-94-N90 and WM-94-106, revtex, two figures (available by fax or post

SubmilliJansky Transients in Archival Radio Observations

[ABRIDGED] We report the results of a 944-epoch survey for transient sources with archival data from the Very Large Array spanning 22 years with a typical epoch separation of 7 days. Observations were obtained at 5 or 8.4 GHz for a single field of view with a full-width at half-maximum of 8.6' and 5.1', respectively, and achieved a typical point-source detection threshold at the beam center of ~300 microJy per epoch. Ten transient sources were detected with a significance threshold such that only one false positive would be expected. Of these transients, eight were detected in only a single epoch. Two transients were too faint to be detected in individual epochs but were detected in two-month averages. None of the ten transients was detected in longer-term averages or associated with persistent emission in the deep image produced from the combination of all epochs. The cumulative rate for the short timescale radio transients above 370 microJy at 5 and 8.4 GHz is 0.07 < R < 40 deg^-2 yr^-1, where the uncertainty is due to the unknown duration of the transients, 20 min < t_char < 7 days. A two-epoch survey for transients will detect 1.5 +/- 0.4 transient per square degrees above a flux density of 370 microJy. Two transients are associated with galaxies at z=0.040 and z=0.249. These may be similar to the peculiar Type Ib/c radio supernova SN 1998bw associated with GRB 980428. Six transients have no counterparts in the optical or infrared (R=27, Ks=18). The hosts and progenitors of these transients are unknown.Comment: Accepted for ApJ; full quality figures available at http://astro.berkeley.edu/~gbower/ps/rt.pd

Scaling and Duality in Semi-exclusive Processes

We discuss extending scaling and duality studies to semi-exclusive processes. We show that semi-exclusive hard pion photoproduction should exhibit scaling behavior in kinematic regions where the photon and pion both interact directly with the same quark. We show that such kinematic regions exist. We also show that the constancy with changing momentum transfer of the resonance peak/scaling curve ratio, familiar for many resonances in deep inelastic scattering, is also expected in the semi-exclusive case.Comment: 8 pages, 4 figures, submitted to Phys.Rev.

On CSP and the Algebraic Theory of Effects

We consider CSP from the point of view of the algebraic theory of effects, which classifies operations as effect constructors or effect deconstructors; it also provides a link with functional programming, being a refinement of Moggi's seminal monadic point of view. There is a natural algebraic theory of the constructors whose free algebra functor is Moggi's monad; we illustrate this by characterising free and initial algebras in terms of two versions of the stable failures model of CSP, one more general than the other. Deconstructors are dealt with as homomorphisms to (possibly non-free) algebras. One can view CSP's action and choice operators as constructors and the rest, such as concealment and concurrency, as deconstructors. Carrying this programme out results in taking deterministic external choice as constructor rather than general external choice. However, binary deconstructors, such as the CSP concurrency operator, provide unresolved difficulties. We conclude by presenting a combination of CSP with Moggi's computational {\lambda}-calculus, in which the operators, including concurrency, are polymorphic. While the paper mainly concerns CSP, it ought to be possible to carry over similar ideas to other process calculi

On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency

Concurrent systems are notoriously difficult to analyze, and technological advances such as weak memory architectures greatly compound this problem. This has renewed interest in partial order semantics as a theoretical foundation for formal verification techniques. Among these, symbolic techniques have been shown to be particularly effective at finding concurrency-related bugs because they can leverage highly optimized decision procedures such as SAT/SMT solvers. This paper gives new fundamental results on partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency. In particular, we give the theoretical basis for a decision procedure that can handle a fragment of concurrent programs endowed with least fixed point operators. In addition, we show that a certain partial order semantics of relaxed sequential consistency is equivalent to the conjunction of three extensively studied weak memory axioms by Alglave et al. An important consequence of this equivalence is an asymptotically smaller symbolic encoding for bounded model checking which has only a quadratic number of partial order constraints compared to the state-of-the-art cubic-size encoding.Comment: 15 pages, 3 figure