Structure and Properties of Traces for Functional Programs

The tracer Hat records in a detailed trace the computation of a program written in the lazy functional language Haskell. The trace can then be viewed in various ways to support program comprehension and debugging. The trace was named the augmented redex trail. Its structure was inspired by standard graph rewriting implementations of functional languages. Here we describe a model of the trace that captures its essential properties and allows formal reasoning. The trace is a graph constructed by graph rewriting but goes beyond simple term graphs. Although the trace is a graph whose structure is independent of any rewriting strategy, we define the trace inductively, thus giving us a powerful method for proving its properties

Evaluating the implementation of a mental health referral service "Connect to Wellbeing": a quality improvement approach

There is increasing demand for mental health services to be accessible to diverse populations in flexible, yet, cost-effective ways. This article presents the findings from a study that evaluated the process of implementing Connect to Wellbeing (CTW), a new mental health intake, assessment and referral service in regional Australia, to determine how well it improved access to services, and to identify potential measures that could be used to evaluate value for money. The study used a hybrid study design to conduct a process evaluation to better understand: the process of implementing CTW; and the barriers and factors enabling implementation of CTW. In addition, to better understand how to measure the cost-effectiveness of such services, the hybrid study design included an assessment of potential outcome measures suitable for ascertaining both the effectiveness of CTW in client health outcomes, and conducting a value for money analysis. The process evaluation found evidence that by improving processes, and removing waitlists CTW had created an opportunity to broadened the scope and type of psychological services offered which improved accessibility. The assessment of potential outcome measures provided insight into suitable measures for future evaluation into service effectiveness, client health outcomes and value for money

Evaluating the Implementation of a Mental Health Referral Service "Connect to Wellbeing": A Quality Improvement Approach.

There is increasing demand for mental health services to be accessible to diverse populations in flexible, yet, cost-effective ways. This article presents the findings from a study that evaluated the process of implementing Connect to Wellbeing (CTW), a new mental health intake, assessment and referral service in regional Australia, to determine how well it improved access to services, and to identify potential measures that could be used to evaluate value for money. The study used a hybrid study design to conduct a process evaluation to better understand: the process of implementing CTW; and the barriers and factors enabling implementation of CTW. In addition, to better understand how to measure the cost-effectiveness of such services, the hybrid study design included an assessment of potential outcome measures suitable for ascertaining both the effectiveness of CTW in client health outcomes, and conducting a value for money analysis. The process evaluation found evidence that by improving processes, and removing waitlists CTW had created an opportunity to broadened the scope and type of psychological services offered which improved accessibility. The assessment of potential outcome measures provided insight into suitable measures for future evaluation into service effectiveness, client health outcomes and value for money

What is disputed on the web

ABSTRACT We present a method for automatically acquiring of a corpus of disputed claims from the web. We consider a factual claim to be disputed if a page on the web suggests both that the claim is false and also that other people say it is true. Our tool extracts disputed claims by searching the web for patterns such as "falsely claimed that X" and then using a statistical classifier to select text that appears to be making a disputed claim. We argue that such a corpus of disputed claims is useful for a wide range of applications related to information credibility on the web, and we report what our current corpus reveals about what is being disputed on the web

Community-based models of care facilitating the recovery of people living with persistent and complex mental health needs: a systematic review and narrative synthesis

Objective: This study aims to assess the effectiveness of community-based models of care (MoCs) supporting the recovery of individuals who experience persistent and complex mental health needs. Method: We conducted a systematic review and narrative synthesis of MoC studies reporting clinical, functional, or personal recovery from October 2016 to October 2021. Sources were Medline, EMBASE, PsycInfo, CINAHL, and Cochrane databases. Studies were grouped according to MoC features. The narrative synthesis was led by our researchers with lived experience. Results: Beneficial MoCs ranged from well-established to novel and updated models and those explicitly addressing recovery goals and incorporating peer support: goal-focused; integrated community treatment; intensive case management; partners in recovery care coordination; rehabilitation and recovery-focused; social and community connection-focused; supported accommodation; and vocational support. None of our diverse group of MoCs supporting recovery warranted a rating of best practice. Established MoCs, such as intensive case management, are promising practices regarding clinical and functional recovery, with potential for enhancements to support personal recovery. Emerging practice models that support personal and functional recovery are those where consumer goals and priorities are central. Conclusion: Evidence for established models of care shows that there is a need for inevitable evolution and adaptation. Considering the high importance of effective MoCs for people experiencing persistent and complex mental health needs, further attention to service innovation and research is required. Greater emphasis on the inclusion of lived and living experience in the design, delivery, implementation, and research of MoCs is needed, to enhance MOCs' relevance for achieving individual consumer recovery outcomes

The future of social is personal: the potential of the personal data store

This chapter argues that technical architectures that facilitate the longitudinal, decentralised and individual-centric personal collection and curation of data will be an important, but partial, response to the pressing problem of the autonomy of the data subject, and the asymmetry of power between the subject and large scale service providers/data consumers. Towards framing the scope and role of such Personal Data Stores (PDSes), the legalistic notion of personal data is examined, and it is argued that a more inclusive, intuitive notion expresses more accurately what individuals require in order to preserve their autonomy in a data-driven world of large aggregators. Six challenges towards realising the PDS vision are set out: the requirement to store data for long periods; the difficulties of managing data for individuals; the need to reconsider the regulatory basis for third-party access to data; the need to comply with international data handling standards; the need to integrate privacy-enhancing technologies; and the need to future-proof data gathering against the evolution of social norms. The open experimental PDS platform INDX is introduced and described, as a means of beginning to address at least some of these six challenges