Checking EMTLK Properties of Timed Interpreted Systems Via Bounded Model Checking

We investigate a SAT-based bounded model checking (BMC) method for EMTLK (the existential fragment of the metric temporal logic with knowledge) that is interpreted over timed models generated by timed interpreted systems. In particular, we translate the existential model checking problem for EMTLK to the existential model checking problem for a variant of linear temporal logic (called HLTLK), and we provide a SAT-based BMC technique for HLTLK. We evaluated the performance of our BMC by means of a variant of a timed generic pipeline paradigm scenario and a timed train controller system.     

How to stay perfect: the role of memory and behavioural traits in an experienced problem and a similar problem

When animals encounter a task they have solved previously, or the same problem appears in a different apparatus, how does memory, alongside behavioural traits such as persistence, selectivity and flexibility, enhance problem-solving efficiency? We examined this question by first presenting grey squirrels with a puzzle 22 months after their last experience of it (the recall task). Squirrels were then given the same problem presented in a physically different apparatus (the generalisation task) to test whether they would apply the previously learnt tactics to solve the same problem but in a different apparatus. The mean latency to success in the first trial of the recall task was significantly different from the first exposure but not different from the last exposure of the original task, showing retention of the task. A neophobia test in the generalisation task suggested squirrels perceived the different apparatus as a different problem, but they quickly came to apply the same effective tactics as before to solve the task. Greater selectivity (the proportion of effective behaviours) and flexibility (the rate of switching between tactics) both enhanced efficiency in the recall task, but only selectivity enhanced efficiency in the generalisation task. These results support the interaction between memory and behavioural traits in problem-solving, in particular memory of task-specific tactics that could enhance efficiency. Squirrels remembered and emitted task-effective tactics more than ineffective tactics. As a result, they consistently changed from ineffective to effective behaviours after failed attempts at problem-solving.     

Big Five Personality Traits as the Predictors of Creative Self‐Efficacy and Creative Personal Identity: Does Gender Matter?

The aim of this study was to examine the relation of the Big Five personality factors to two self‐concept variables of growing importance in creativity literature: creative self‐efficacy (CSE) and creative personal identity (CPI). The analysis, conducted on a large (N = 2674, 49.6% women) and varied‐in‐age (15–59 years old) nationwide sample of Poles, using the structural equation model, demonstrated that personality factors are responsible for 23% of CSE and 21% of CPI variances. CSE and CPI were associated with all five personality dimensions: positively with Openness to Experience, Extraversion and Conscientiousness, negatively with Neuroticism and Agreeableness. The separate analyses conducted on men and women showed the differences among the predictors of CSE and CPI. Although Openness to Experience, Conscientiousness, and Neuroticism predicted CSE among both men and women, Extraversion was positively and Agreeableness negatively related to women's CSE. Conscientiousness was positively related to CPI only among men, and Agreeableness was negatively related to it only among women. Extraversion, Neuroticism, and Openness predicted CPI in the same manner among men and women.     

The role of social support in women’s health and recovery processes

The aim of this study was to assess the psychological state of women who have undergone surgery for breast cancer or cardiac surgery, including examination of the role of social support in both groups. The study included 48 women (mean age: 66.04?±?8.3 years). They were divided into two groups according to diagnosis: 23 women (mean age: 69.2?±?8.6 years) who underwent heart surgery (cardiac group, CG) and 25 women (mean age: 63.2?±?7.0 years) treated for breast cancer and associated with the Women After Mastectomy Club (oncology group, OG). In addition to the assessment of socio-demographic variables, the following self-report questionnaires were administered: Satisfaction with Life Scale, Acceptance of Illness Scale, Beck Depression Inventory, Spielberger State-Trait Anxiety Inventory as well as Berlin Social Support Scale. In the CG, the severity of depressive symptoms was two times higher than in OG (p?=?.003). In both groups, there was a high percentage (80%) of women with severe symptoms of anxiety (p?=?.37). In both groups, the level of life satisfaction was similar (p?=?.58), but OG was characterized by a higher level of acceptance of the disease (p?=?.003). The correlation analysis showed that in both groups, social support was related differently to the parameters of emotional state. Women treated for breast cancer were in a better mental condition than women treated for heart disease. The support coming from other women in similar circumstances (Women After Mastectomy Club) seems to be more effective than the support coming from the patient’s immediate environment. The results for social support ought to be interpreted not only through the prism of mean values of received support, but also with regard to the information on the sources of support.     

Dragon talk: providing pastoral care for Chinese immigrants

This article describes how cultures and pastoral care education processes can be barriers between the patient, the pastoral caregiver, and the Clinical Pastoral Education (CPE) student. By providing sketches of interviews with Chinese patients, the author tries to explain why the attempt to unveil Chinese patients' feelings and needs through conversation can be a frustrating experience. Moreover, the author argues that the pedagogy of pastoral care education ought to be more culturally sensitive in regard to the diverse cultural backgrounds of both patients and CPE students.