title: Guarded operations, refinement and simulation

authors: Reeves, Steve

subjects: computer science

abstract: Simulation rules have long been used as an effective computational means to decide  refinement relations in state-based formalisms. Here we investigate how they might be amended so as to decide the event-based notion of singleton failures refinement of abstract data types or processes that have operations with a "guarded" interpretation.  As the results presented here and found elsewhere in the literature are so sensitive to the details of the definitions used, we have machine-checked our results.

text: Guarded operations, refinement and simulation Simulation rules have long been used as an effective computational means to decide  refinement relations in state-based formalisms. Here we investigate how they might be amended so as to decide the event-based notion of singleton failures refinement of abstract data types or processes that have operations with a "guarded" interpretation.  As the results presented here and found elsewhere in the literature are so sensitive to the details of the definitions used, we have machine-checked our results.

year: 2009-06-10

title: Journeys and battles: Spatial and gendered discourses of obsessive-compulsive disorder

authors: Campbell, Rebecca

subjects: mental health

abstract: Obsessive-compulsive disorder (OCD) is a (mental) health condition that, despite its highly spatial characteristics and high prevalence, has been largely overlooked by human geographers. This thesis seeks to help rectify this oversight by examining the ways in which OCD is gendered, especially in relation to the metaphors used to describe the condition. A conceptual model for a “radical body politics” provides the theoretical framework for this research. Semi-structured interviews, critical reading of stories published by and about people with OCD, and autobiography are used in order to investigate the ways in which men and women utilise discourse in order to represent and make sense of their experiences with OCD. I argue that the ways in which men and women choose to represent through discourse their experiences of OCD have profound implications for their sense of self. Two over-arching discourses are discussed: that of the journey and that of the battle. The more feminised discourse of a journey suggests that the experience of women with OCD is a cathartic pathway of self-realisation with the end-goal of recovery. The more masculinised discourse of battle positions OCD as being both Other to the self and a struggle within the self. Both discourses invoke spatial imagery and have profound implications for how individuals with OCD experience and manage the condition. I also suggest some possible avenues for further geographic research into OCD.

text: Journeys and battles: Spatial and gendered discourses of obsessive-compulsive disorder Obsessive-compulsive disorder (OCD) is a (mental) health condition that, despite its highly spatial characteristics and high prevalence, has been largely overlooked by human geographers. This thesis seeks to help rectify this oversight by examining the ways in which OCD is gendered, especially in relation to the metaphors used to describe the condition. A conceptual model for a “radical body politics” provides the theoretical framework for this research. Semi-structured interviews, critical reading of stories published by and about people with OCD, and autobiography are used in order to investigate the ways in which men and women utilise discourse in order to represent and make sense of their experiences with OCD. I argue that the ways in which men and women choose to represent through discourse their experiences of OCD have profound implications for their sense of self. Two over-arching discourses are discussed: that of the journey and that of the battle. The more feminised discourse of a journey suggests that the experience of women with OCD is a cathartic pathway of self-realisation with the end-goal of recovery. The more masculinised discourse of battle positions OCD as being both Other to the self and a struggle within the self. Both discourses invoke spatial imagery and have profound implications for how individuals with OCD experience and manage the condition. I also suggest some possible avenues for further geographic research into OCD.

year: 2011

title: Collectivism, cultural identity and employee mental health: A study of New Zealand Māori

authors: Brougham, David M.

subjects: Anxiety

abstract: Māori are a collectivistic people living within a largely individualistic country. The present study tested whether Māori who practice higher levels of workplace collectivism feel greater alignment with their overall cultural beliefs, and report better mental health results because of their lower levels of anxiety and depression. Three hundred and thirty-six Māori employees were surveyed, and a regression analysis showed significant direct effects, with collectivism accounting for a sizable 20 % of the variance in both anxiety and depression. Two moderators relating to cultural knowledge and cultural language were also tested. Significant two-way interactions were found: high collectivism and high cultural knowledge led to low depression, and high cultural knowledge and high cultural language skills led to low depression and anxiety. A three-way interaction was found between anxiety, collectivism and cultural knowledge and/or language: low anxiety was reported by respondents with high collectivism and either high cultural knowledge or cultural language. Overall, the study highlights the importance of collectivism and cultural identity for Māori employees' mental health

text: Collectivism, cultural identity and employee mental health: A study of New Zealand Māori Māori are a collectivistic people living within a largely individualistic country. The present study tested whether Māori who practice higher levels of workplace collectivism feel greater alignment with their overall cultural beliefs, and report better mental health results because of their lower levels of anxiety and depression. Three hundred and thirty-six Māori employees were surveyed, and a regression analysis showed significant direct effects, with collectivism accounting for a sizable 20 % of the variance in both anxiety and depression. Two moderators relating to cultural knowledge and cultural language were also tested. Significant two-way interactions were found: high collectivism and high cultural knowledge led to low depression, and high cultural knowledge and high cultural language skills led to low depression and anxiety. A three-way interaction was found between anxiety, collectivism and cultural knowledge and/or language: low anxiety was reported by respondents with high collectivism and either high cultural knowledge or cultural language. Overall, the study highlights the importance of collectivism and cultural identity for Māori employees' mental health

year: 2012