613 research outputs found

    Infinite terms and recursion in higher types

    Get PDF

    Getting to know Pepper : Effects of people’s awareness of a robot’s capabilities on their trust in the robot

    Get PDF
    © 2018 Association for Computing MachineryThis work investigates how human awareness about a social robot’s capabilities is related to trusting this robot to handle different tasks. We present a user study that relates knowledge on different quality levels to participant’s ratings of trust. Secondary school pupils were asked to rate their trust in the robot after three types of exposures: a video demonstration, a live interaction, and a programming task. The study revealed that the pupils’ trust is positively affected across different domains after each session, indicating that human users trust a robot more the more awareness about the robot they have

    A Pilot Study with a Novel Setup for Collaborative Play of the Humanoid Robot KASPAR with children with autism

    Get PDF
    This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.This article describes a pilot study in which a novel experimental setup, involving an autonomous humanoid robot, KASPAR, participating in a collaborative, dyadic video game, was implemented and tested with children with autism, all of whom had impairments in playing socially and communicating with others. The children alternated between playing the collaborative video game with a neurotypical adult and playing the same game with the humanoid robot, being exposed to each condition twice. The equipment and experimental setup were designed to observe whether the children would engage in more collaborative behaviours while playing the video game and interacting with the adult than performing the same activities with the humanoid robot. The article describes the development of the experimental setup and its first evaluation in a small-scale exploratory pilot study. The purpose of the study was to gain experience with the operational limits of the robot as well as the dyadic video game, to determine what changes should be made to the systems, and to gain experience with analyzing the data from this study in order to conduct a more extensive evaluation in the future. Based on our observations of the childrens’ experiences in playing the cooperative game, we determined that while the children enjoyed both playing the game and interacting with the robot, the game should be made simpler to play as well as more explicitly collaborative in its mechanics. Also, the robot should be more explicit in its speech as well as more structured in its interactions. Results show that the children found the activity to be more entertaining, appeared more engaged in playing, and displayed better collaborative behaviours with their partners (For the purposes of this article, ‘partner’ refers to the human/robotic agent which interacts with the children with autism. We are not using the term’s other meanings that refer to specific relationships or emotional involvement between two individuals.) in the second sessions of playing with human adults than during their first sessions. One way of explaining these findings is that the children’s intermediary play session with the humanoid robot impacted their subsequent play session with the human adult. However, another longer and more thorough study would have to be conducted in order to better re-interpret these findings. Furthermore, although the children with autism were more interested in and entertained by the robotic partner, the children showed more examples of collaborative play and cooperation while playing with the human adult.Peer reviewe

    The Communicability of Graphical Alternatives to Tabular Displays of Statistical Simulation Studies

    Get PDF
    Simulation studies are often used to assess the frequency properties and optimality of statistical methods. They are typically reported in tables, which may contain hundreds of figures to be contrasted over multiple dimensions. To assess the degree to which these tables are fit for purpose, we performed a randomised cross-over experiment in which statisticians were asked to extract information from (i) such a table sourced from the literature and (ii) a graphical adaptation designed by the authors, and were timed and assessed for accuracy. We developed hierarchical models accounting for differences between individuals of different experience levels (under- and post-graduate), within experience levels, and between different table-graph pairs. In our experiment, information could be extracted quicker and, for less experienced participants, more accurately from graphical presentations than tabular displays. We also performed a literature review to assess the prevalence of hard-to-interpret design features in tables of simulation studies in three popular statistics journals, finding that many are presented innumerately. We recommend simulation studies be presented in graphical form

    Unexpected Consequences: Women’s experiences of a self-hypnosis intervention to help with pain relief during labour.

    Get PDF
    Background Self-hypnosis is becoming increasingly popular as a means of labour pain management. Previous studies have produced mixed results. There are very few data on women’s views and experiences of using hypnosis in this context. As part of a randomized controlled trial of self-hypnosis for intra-partum pain relief (the SHIP Trial) we conducted qualitative interviews with women randomized to the intervention arm to explore their views and experiences of using self-hypnosis during labour and birth. Methods Participants were randomly selected from the intervention arm of the study, which consisted of two antenatal self-hypnosis training sessions and a supporting CD that women were encouraged to listen to daily from 32 weeks gestation until the birth of their baby. Those who consented were interviewed in their own homes 8-12 weeks after birth. Following transcription, the interviews were analysed iteratively and emerging concepts were discussed amongst the authors to generate organizing themes. These were then used to develop a principal organizing metaphor or global theme, in a process known as thematic networks analysis. Results Of the 343 women in the intervention group, 48 were invited to interview, and 16 were interviewed over a 12 month period from February 2012 to January 2013. Coding of the data and subsequent analysis revealed a global theme of ‘unexpected consequences’, supported by 5 organising themes, ‘calmness in a climate of fear’, ‘from sceptic to believer’, ‘finding my space’, ‘delays and disappointments’ and ‘personal preferences’. Most respondents reported positive experiences of self-hypnosis and highlighted feelings of calmness, confidence and empowerment. They found the intervention to be beneficial and used a range of novel strategies to personalize their self-hypnosis practice. Occasionally women reported feeling frustrated or disappointed when their relaxed state was misinterpreted by midwives on admission or when their labour and birth experiences did not match their expectations. Conclusion The women in this study generally appreciated antenatal self-hypnosis training and found it to be beneficial during labour and birth. The state of focused relaxation experienced by women using the technique needs to be recognized by providers if the intervention is to be implemented into the maternity service

    Vaginal birth after caesarean section (VBAC): exploring women's perceptions

    Get PDF
    yesAims and objectives.  This study was designed to complement local audit data by examining the lived experience of women who elected to attempt a vaginal birth following a previous caesarean delivery. The study sought to determine whether or not women were able to exercise informed choice and to explore how they made decisions about the method of delivery and how they interpreted their experiences following the birth. Background.  The rising operative birth rate in the UK concerns both obstetricians and midwives. Although the popular press has characterized birth by caesarean section as the socialites’ choice, in reality, maternal choice is only one factor in determining the method of birth. However, in considering the next delivery following a caesarean section, maternal choice may be a significant indicator. While accepted current UK practice favours vaginal birth after caesarean (VBAC) in line with the research evidence indicating reduced maternal morbidity, lower costs and satisfactory neonatal outcomes, Lavender et al. point out that partnership in choice has emerged as a key factor in the decision-making process over the past few decades. Chaung and Jenders explored the issue of choice in an earlier study and concluded that the best method of subsequent delivery, following a caesarean birth, is dependent on a woman's preference. Design and methodology.  Using a phenomenological approach enabled a holistic exploration of women's lived experiences of vaginal birth after the caesarean section. Results.  This was a qualitative study and, as such, the findings are not transferable to women in general. However, the results confirmed the importance of informed choice and raised some interesting issues meriting the further exploration. Conclusions.  Informed choice is the key to effective women-centred care. Women must have access to non-biased evidence-based information in order to engage in a collaborative partnership of equals with midwives and obstetricians. Relevance to clinical practice.  This study is relevant to clinical practice as it highlights the importance of informed choice and reminds practitioners that, for women, psycho-social implications may supersede their physical concerns about birth

    Simpson's Paradox, Lord's Paradox, and Suppression Effects are the same phenomenon – the reversal paradox

    Get PDF
    This article discusses three statistical paradoxes that pervade epidemiological research: Simpson's paradox, Lord's paradox, and suppression. These paradoxes have important implications for the interpretation of evidence from observational studies. This article uses hypothetical scenarios to illustrate how the three paradoxes are different manifestations of one phenomenon – the reversal paradox – depending on whether the outcome and explanatory variables are categorical, continuous or a combination of both; this renders the issues and remedies for any one to be similar for all three. Although the three statistical paradoxes occur in different types of variables, they share the same characteristic: the association between two variables can be reversed, diminished, or enhanced when another variable is statistically controlled for. Understanding the concepts and theory behind these paradoxes provides insights into some controversial or contradictory research findings. These paradoxes show that prior knowledge and underlying causal theory play an important role in the statistical modelling of epidemiological data, where incorrect use of statistical models might produce consistent, replicable, yet erroneous results

    From Secure Business Process Models to Secure Artifact-Centric Specifications

    Get PDF
    Making today's systems secure is an extremely difficult and challenging problem. Socio and technical issues interplay and contribute in creating vulnerabilities that cannot be easily prevented without a comprehensive engineering method. This paper presents a novel approach to support process-aware secure systems modeling and automated generation of secure artifact-centric implementations. It combines social and technical perspectives in developing secure complex systems. This work is the result of an academic and industrial collaboration, where SecBPMN2, a research prototype, has been integrated with SAP River, an industrial artifact-centric language

    BioMaPS: A Roadmap for Success

    Get PDF
    The manuscript outlines the impact that our National Science Foundation Interdisciplinary Training for Undergraduates in Biological and Mathematical Sciences program, BioMaPS, has had on the students and faculty at Murray State University. This interdisciplinary program teams mathematics and biology undergraduate students with mathematics and biology faculty and has produced research insights and curriculum developments at the intersection of these two disciplines. The goals, structure, achievements, and curriculum initiatives are described in relation to the effects they have had to enhance the study of biomathematics
    corecore