Mobile work is a form of work organization that is gaining ground and affecting many organizations. Mobility increases distance in interpersonal relations. The distance that it generates has major consequences for organizations and for leadership dynamics. This article presents the results of a study that tested the impact of physical distance and psychological distance on the quality of the su...

A philosopher has argued that there can be no such thing as a provably correct system. Some software reliability and safety experts believe that no system can have a software reliability of 1. These claims are related, and they are both mistaken, which we prove with a simple counterexample. But is this the only kind of counterexample? An interesting question arises: which types of systems admit...

In his seminal paper on “Types, Abstraction and Parametric Polymorphism,” John Reynolds called for homomorphisms to be generalized from functions to relations. He reasoned that such a generalization would allow type-based “abstraction” (representation independence, information hiding, naturality or parametricity) to be captured in a mathematical theory, while accounting for higher-order types. ...

This study evaluates the effect of a nurse training program in family planning counseling skills on the quality of service delivery at the clinic level, as well as its impact on client compliance with prearranged appointments. The study used a quasi-experimental design to compare certified nurses who received six weeks of family planning technical training with certified nurses who, in addition...

In a graph G, k vertex disjoint paths joining k distinct sourcesink pairs that cover all the vertices in the graph are called a many-tomany k-disjoint path cover(k-DPC) of G. We consider an f -fault k-DPC problem that is concerned with finding many-to-many k-DPC in the presence of f or less faulty vertices and/or edges. We consider the graph obtained by merging two graphs H0 and H1, |V (H0)| = ...

This study examined the association among interpersonal relationships, irrational beliefs, and life satisfaction. Twenty-eight psychotherapy clients and 207 college undergraduates completed measures of interpersonal relations (Outcome Questionnaire; Lambert et al., 1996), irrationality (Rational Behavior Inventory; Shorkey & Whiteman, 1977), and life satisfaction (The Satisfaction with Life Sca...

We develop a control ow analysis for the Imperative Object Calculus. We prove the correctness with respect to two Structural Operational Semantics that diier in minor technical ways, and we show that the proofs deviate in major ways as regards their use of proof techniques like coinduction and Kripke-logical relations.

We present GLARF, a framework for representing three linguistic levels and systems for generating this representation. We focus on a logical level, like LFG’s F-structure, but compatible with Penn Treebanks. While less finegrained than typical semantic role labeling approaches, our logical structure has several advantages: (1) it includes all words in all sentences, regardless of part of speech...

The approval of the National Policy of Integrative and Complementary Practices fosters the provision of Community Therapy in the Brazilian Unified Health System (SUS). This initiative seeks to develop the necessary competencies to attend to the psychosocial demands in the professionals and the community leadership and to build support networks in order to extend the efficacy of Primary Health C...