title: Using state machines for the visualisation of specifications via refinement

authors: Pilbrow, Colin

abstract: We talk in this paper about using state machines and refinement to characterise the visualisation of a computation.

We use Z specifications to give examples of systems in the usual way, and then use Z schemas to also represent states and transitions in state machines, which we consider to be a particular kind of visualisation of a specified system.

We have investigated the principle of substitutivity and the idea of downward simulation to check whether or not a refinement relation exists between the specification and the state machine. We are looking at this because we believe that the soundness of the visualisation can be captured by such a refinement relationship.

text: Using state machines for the visualisation of specifications via refinement We talk in this paper about using state machines and refinement to characterise the visualisation of a computation.

We use Z specifications to give examples of systems in the usual way, and then use Z schemas to also represent states and transitions in state machines, which we consider to be a particular kind of visualisation of a specified system.

We have investigated the principle of substitutivity and the idea of downward simulation to check whether or not a refinement relation exists between the specification and the state machine. We are looking at this because we believe that the soundness of the visualisation can be captured by such a refinement relationship.

year: 2015

title: Effect of deer velvet on sexual function in men and their partners: A double-blind, placebo-controlled study

authors: Conaglen, Helen M.

subjects: sexual function

abstract: The use of alternative medicines and herbal remedies is an increasing trend in Western societies. For years, people have taken products made of deer velvet for their alleged beneficial effects on sexual function. There has been no scientific investigation of the effects of deer velvet powder on the sexual functioning of human males. This study investigated sexual function in men during a 12-week double-blind, placebo-controlled trial of deer velvet. Thirty-two volunteer male participants, aged 45–65 years, and their partners, were randomly assigned to either the deer velvet or placebo study group. The males took capsules containing ground deer velvet or placebo everyday for 12 weeks. Two sexual function questionnaires (the International Index of Erectile Function and the Brief Index of Sexual Function for Women) used at pre- and posttreatment assessed changes in sexual functioning in males and their partners. Blood tests at baseline, and end of study, determined levels of sex-related hormones in male participants. There were no significant differences in the sexual behavior of the men taking deer velvet compared with the men taking placebo capsules. There were no significant hormone changes from baseline to the end of the study in either group of men. We conclude that in normal males there was no advantage in taking deer velvet to enhance sexual function. All alternative health products or nutritional supplements should be subjected to randomized placebo-controlled trials to determine efficacy.

text: Effect of deer velvet on sexual function in men and their partners: A double-blind, placebo-controlled study The use of alternative medicines and herbal remedies is an increasing trend in Western societies. For years, people have taken products made of deer velvet for their alleged beneficial effects on sexual function. There has been no scientific investigation of the effects of deer velvet powder on the sexual functioning of human males. This study investigated sexual function in men during a 12-week double-blind, placebo-controlled trial of deer velvet. Thirty-two volunteer male participants, aged 45–65 years, and their partners, were randomly assigned to either the deer velvet or placebo study group. The males took capsules containing ground deer velvet or placebo everyday for 12 weeks. Two sexual function questionnaires (the International Index of Erectile Function and the Brief Index of Sexual Function for Women) used at pre- and posttreatment assessed changes in sexual functioning in males and their partners. Blood tests at baseline, and end of study, determined levels of sex-related hormones in male participants. There were no significant differences in the sexual behavior of the men taking deer velvet compared with the men taking placebo capsules. There were no significant hormone changes from baseline to the end of the study in either group of men. We conclude that in normal males there was no advantage in taking deer velvet to enhance sexual function. All alternative health products or nutritional supplements should be subjected to randomized placebo-controlled trials to determine efficacy.

year: 2003

title: A Māori homeless woman

authors: Groot, Shiloh Ann Maree

subjects: Māori

abstract: Indigenous peoples are overrepresented in homeless populations in many countries. As part of a larger ethnographic project, this case study draws upon interviews and photoelicitation projects with a homeless Māori woman, Ariā. The actions of this Māori woman exemplify how Indigenous cultural practices can shape a person’s efforts to retain a positive sense of self and place while homeless. Māori cultural concepts relating to caring, leadership, unity, relationships, spirituality, history and place provide a basis for interpreting Ariā’s actions. This article demonstrates the appropriateness of cultural concepts indigenous to a group for conducting ethnographic research into homelessness within that group.

text: A Māori homeless woman Indigenous peoples are overrepresented in homeless populations in many countries. As part of a larger ethnographic project, this case study draws upon interviews and photoelicitation projects with a homeless Māori woman, Ariā. The actions of this Māori woman exemplify how Indigenous cultural practices can shape a person’s efforts to retain a positive sense of self and place while homeless. Māori cultural concepts relating to caring, leadership, unity, relationships, spirituality, history and place provide a basis for interpreting Ariā’s actions. This article demonstrates the appropriateness of cultural concepts indigenous to a group for conducting ethnographic research into homelessness within that group.

year: 2011-09