Is “some-other-time” sometimes better than “sometime” for proving partial correctness of programs?

The main result of this paper belongs to the field of the comparative study of program verification methods as well as to the field called nonstandard logics of programs. We compare the program verifying powers of various well-known temporal logics of programs, one of which is the Intermittent Assertions Method, denoted as Bur. Bur is based on one of the simplest modal logics called S5 or sometime-logic. We will see that the minor change in this background modal logic increases the program verifying power of Bur. The change can be described either technically as replacing the reflexive version of S5 with an irreflexive version, or intuitively as using the modality some-other-time instead of sometime. Some insights into the nature of computational induction and its variants are also obtained.This project was supported by the Hungarian National Foundation for Scientific Research, Grant No. 1810.     

Dancing shapes: a comparison of luminance-induced distortions

We present an illusory display in which a grid of outlined squares is positioned in front of a moving luminance gradient. Observers perceive a strong, illusory, 'wavelike' motion of the superimposed squares. We compared luminance effects on dynamic and static aspects of this illusion. The dynamic aspect was investigated by means of a temporal gradient, which induced an illusory pulsing of the outlined squares. The static aspect was investigated in two different ways. In one experiment, the outlined squares were positioned on a spatial gradient, which caused the squares to look like trapezoid shapes. In another experiment, the squares were positioned on different luminance fields, which affected their apparent size. In all experiments, luminance settings were the same, and observers were asked to indicate the direction and strength of the induced distortions. The overall results show large agreements between the dynamic distortion and the first-mentioned static distortion, whereas different tendencies emerged for the second static distortion. In a second series of experiments, we examined these distortions for various ranges of the luminance gradient and for border gradients as well. On the basis of these data, we explored how the directions of the perceived distortions of the single-gradient displays examined in this paper could be related to each other.     

Mothers' depressed mood and anxiety levels are reduced after massaging their preterm infants

Forty mothers whose preterm infants were about to be discharged from the Neonatal Intermediate Care Nursery (NICU) were randomly assigned to two groups: the first group of mothers conducted preterm infant massage and the second group only observed their preterm infants receiving massage. Both groups of mothers had lower depressed mood scores following the session. However, only the group who massaged their infants had lower anxiety scores after the session.     

The state of the psychological contract and its relation with employees' psychological health

In the present paper the role of the state of the psychological contract to predict psychological health results is studied in a sample of 385 employees of different Spanish companies. Results indicate that the state of the psychological contract significantly predicts life satisfaction, work-family conflict and well-being beyond the prediction produced by the content of the psychological contract. In addition, trust and fairness, two dimensions of the state of psychological contract, all together contribute to explain these psychological health variables adding value to the role as predictor of fulfillment of the psychological contract. The results support the approach argued by Guest and colleagues.     

Conditional Probability and Defeasible Inference

We offer a probabilistic model of rational consequence relations (Lehmann and Magidor, 1990) by appealing to the extension of the classical Ramsey–Adams test proposed by Vann McGee in (McGee, 1994). Previous and influential models of non-monotonic consequence relations have been produced in terms of the dynamics of expectations (Gärdenfors and Makinson, 1994; Gärdenfors, 1993).Expectation is a term of art in these models, which should not be confused with the notion of expected utility. The expectations of an agent are some form of belief weaker than absolute certainty. Our model offers a modified and extended version of an account of qualitative belief in terms of conditional probability, first presented in (van Fraassen, 1995). We use this model to relate probabilistic and qualitative models of non-monotonic relations in terms of expectations. In doing so we propose a probabilistic model of the notion of expectation. We provide characterization results both for logically finite languages and for logically infinite, but countable, languages. The latter case shows the relevance of the axiom of countable additivity for our probability functions. We show that a rational logic defined over a logically infinite language can only be fully characterized in terms of finitely additive conditional probability. The research of both authors was supported in part by a grant from NSF, and, for Parikh, also by support from the research foundation of CUNY.     

Does role stress predict burnout over time among health care professionals?

Abstract The main objective of this study is to test the effects over time of three role stress variables (role conflict, role ambiguity and role overload) on the three burnout dimensions (emotional exhaustion, depersonalization and personal accomplishment). Based on theoretical models on burnout and on meta-analytical research, it is hypothesized that the three role stress variables will predict changes over time in emotional exhaustion and depersonalization, but not in personal accomplishment. The results obtained by means of hierarchical regression analysis partially support the hypothesis. The three role stress variables predict emotional exhaustion over time. Role conflict and role overload predict depersonalization over time. Finally, contrary to expectations, role ambiguity predicts personal accomplishment over time.     

Constructions of work stress and coping in a female- and a male-dominated department

In the present study the nature of stress and coping was investigated and considered as socially constructed. Thirty small group interviews were performed using the Critical Incident Technique in one female- and one male-dominated customer service department of a telecom company. The main themes about stress among both women and men were often expressed as collective phenomena and were connected to the organizational change and downsizing process, problems when carrying out the work and lack of autonomy. However, a striking difference between female and male interviews was found in the way that women to a greater extent expressed lack of autonomy and their working situation was described as strictly regulated. The findings illustrate that a traditional gender difference regarding autonomy could be found when comparing a female- and a male-dominated department even though they were performing the same type of job. Both women and men portrayed coping as a mixture of collective and individual strategies. They often mentioned collective acceptance, resignation and hardening. There is a need for further research about women and men at work, taking into consideration the interpersonal context and the collective nature of stress and coping.     

Response perseveration in psychopaths: Interpersonal/affective or social deviance traits?

In order to clarify the role of the two broad components of psychopathy (interpersonal/affective and social deviance; R. D. Hare, 2003) in explaining maladaptive response perseveration in psychopaths, as well as the role of reflection after punished responses in this deficit, the authors administered a card perseveration task to 47 Spanish male inmates assessed using the Hare Psychopathy Checklist-Revised (PCL-R; R. D. Hare, 1991). Hierarchical regressions showed that psychopaths' maladaptive perseveration (more cards played and less money earned) was uniquely predicted by the social deviance features of psychopathy (PCL-R Factor 2)--particularly by its impulsive and irresponsible lifestyle facet (PCL-R Facet 3)--and not by its interpersonal/affective features (PCL-R Factor 1). Moreover, perseveration was related to a lack of reflection both after punishment and after reward feedback. The authors' results, in conjunction with previous evidence indicating perseverative deficits in several impulse control disorders, suggest that response perseveration may not be specific to psychopathy but rather is associated more generally with the externalizing dimension of psychopathology.     

Relationship between burnout, job strain, and sleep characteristics

The purpose of the present study is to analyse the relationship between sleep, burnout, and job strain in a sample of 316 healthy workers from various professional sectors. Multiple significant correlations between the principal sleep parameters, the dimensions of burnout, and job strain were found. The regression analyses show that sleep quality and various dimensions of job strain are significant predictors of several aspects of burnout. Sleep quality explains an even higher percentage of the variance in emotional exhaustion than the variance explained by more well-known variables such as job demands. Moreover, sleep quality interacts with aspects of job strain in its influence on the dimensions of burnout, although the exact relationship between these variables needs to be investigated in future longitudinal studies. Our results suggest that interventions to optimise sleep habits could prevent or alleviate burnout and could be a part of organisational work.