Calculating invariants as coreflexive bisimulations

Invariants, bisimulations and assertions are the main ingredients of coalgebra theory applied to software systems. In this paper we reduce the first to a particular case of the second and show how both together pave the way to a theory of coalgebras which regards invariant predicates as types. An outcome of such a theory is a calculus of invariants’ proof obligation discharge, a fragment of which is presented in the paper. The approach has two main ingredients: one is that of adopting relations as “first class citizens” in a pointfree reasoning style; the other lies on a synergy found between a relational construct, Reynolds’ relation on functions involved in the abstraction theorem on parametric polymorphism and the coalgebraic account of bisimulations and invariants. This leads to an elegant proof of the equivalence between two different definitions of bisimulation found in coalgebra literature (due to B. Jacobs and Aczel & Mendler, respectively) and to their instantiation to the classical Park-Milner definition popular in process algebra.Partially supported by the Fundacao para a Ciencia e a Tecnologia, Portugal, under grant number SFRH/BD/27482/2006

Designing capacity-building in e-learning expertise: Challenges and strategies

This research study looks at how organizations in developing countries perceive the challenge of building capacity in e-learning expertise. Data was collected on six such organizations, and a range of perceived rationales and constraints were identified. The paper hypothesizes a four-part framework to define the e-learning capacity gaps that these circumstances appear to represent: the 'instructional design capacity gap', the 'production capacity gap', the 'tutorial capacity gap' and the 'community building gap'. The framework is used to re-examine the data to explore the ways in which the organizations' e-learning activities might constitute strategic responses to the hypothesized capacity gaps

Registered Replication Report: Dijksterhuis and van Knippenberg (1998)

Dijksterhuis and van Knippenberg (1998) reported that participants primed with a category associated with intelligence ("professor") subsequently performed 13% better on a trivia test than participants primed with a category associated with a lack of intelligence ("soccer hooligans"). In two unpublished replications of this study designed to verify the appropriate testing procedures, Dijksterhuis, van Knippenberg, and Holland observed a smaller difference between conditions (2%-3%) as well as a gender difference: Men showed the effect (9.3% and 7.6%), but women did not (0.3% and -0.3%). The procedure used in those replications served as the basis for this multilab Registered Replication Report. A total of 40 laboratories collected data for this project, and 23 of these laboratories met all inclusion criteria. Here we report the meta-analytic results for those 23 direct replications (total N = 4,493), which tested whether performance on a 30-item general-knowledge trivia task differed between these two priming conditions (results of supplementary analyses of the data from all 40 labs, N = 6,454, are also reported). We observed no overall difference in trivia performance between participants primed with the "professor" category and those primed with the "hooligan" category (0.14%) and no moderation by gender

A multi-country test of brief reappraisal interventions on emotions during the COVID-19 pandemic

The COVID-19 pandemic has increased negative emotions and decreased positive emotions globally. Left unchecked, these emotional changes might have a wide array of adverse impacts. To reduce negative emotions and increase positive emotions, we tested the effectiveness of reappraisal, an emotion-regulation strategy that modifies how one thinks about a situation. Participants from 87 countries and regions (n = 21,644) were randomly assigned to one of two brief reappraisal interventions (reconstrual or repurposing) or one of two control conditions (active or passive). Results revealed that both reappraisal interventions (vesus both control conditions) consistently reduced negative emotions and increased positive emotions across different measures. Reconstrual and repurposing interventions had similar effects. Importantly, planned exploratory analyses indicated that reappraisal interventions did not reduce intentions to practice preventive health behaviours. The findings demonstrate the viability of creating scalable, low-cost interventions for use around the world

A global experiment on motivating social distancing during the COVID-19 pandemic

Finding communication strategies that effectively motivate social distancing continues to be a global public health priority during the COVID-19 pandemic. This cross-country, preregistered experiment (n = 25,718 from 89 countries) tested hypotheses concerning generalizable positive and negative outcomes of social distancing messages that promoted personal agency and reflective choices (i.e., an autonomy-supportive message) or were restrictive and shaming (i.e. a controlling message) compared to no message at all. Results partially supported experimental hypotheses in that the controlling message increased controlled motivation (a poorly-internalized form of motivation relying on shame, guilt, and fear of social consequences) relative to no message. On the other hand, the autonomy-supportive message lowered feelings of defiance compared to the controlling message, but the controlling message did not differ from receiving no message at all. Unexpectedly, messages did not influence autonomous motivation (a highly-internalized form of motivation relying on one’s core values) or behavioral intentions. Results supported hypothesized associations between people’s existing autonomous and controlled motivations and self-reported behavioral intentions to engage in social distancing: Controlled motivation was associated with more defiance and less long-term behavioral intentions to engage in social distancing, whereas autonomous motivation was associated with less defiance and more short- and long-term intentions to social distance. Overall, this work highlights the potential harm of using shaming and pressuring language in public health communication, with implications for the current and future global health challenges

From co-algebraic specifications to implementation: The Mihda toolkit

Abstract. This paper describes the architecture of a toolkit, called Mihda, providing facilities to minimise labelled transition systems for name passing calculi. The structure of the toolkit is derived from the co-algebraic formulation of the partition-refinement minimisation algorithm for HD-automata. HD-automata have been specifically designed to allocate and garbage collect names and they provide faithful finite state representations of the behaviours of π-calculus processes. The direct correspondence between the coalgebraic specification and the implementation structure facilitates the proof of correctness of the implementation. We evaluate the usefulness of Mihda in practise by performing finite state verification of π-calculus specifications.

A multi-country test of brief reappraisal interventions on emotions during the COVID-19 pandemic

Abstract: The COVID-19 pandemic has increased negative emotions and decreased positive emotions globally. Left unchecked, these emotional changes might have a wide array of adverse impacts. To reduce negative emotions and increase positive emotions, we tested the effectiveness of reappraisal, an emotion-regulation strategy that modifies how one thinks about a situation. Participants from 87 countries and regions (n = 21,644) were randomly assigned to one of two brief reappraisal interventions (reconstrual or repurposing) or one of two control conditions (active or passive). Results revealed that both reappraisal interventions (vesus both control conditions) consistently reduced negative emotions and increased positive emotions across different measures. Reconstrual and repurposing interventions had similar effects. Importantly, planned exploratory analyses indicated that reappraisal interventions did not reduce intentions to practice preventive health behaviours. The findings demonstrate the viability of creating scalable, low-cost interventions for use around the world. Protocol registration: The stage 1 protocol for this Registered Report was accepted in principle on 12 May 2020. The protocol, as accepted by the journal, can be found at https://doi.org/10.6084/m9.figshare.c.4878591.v1 © 2021, The Author(s), under exclusive licence to Springer Nature Limited

Author Correction: A multi-country test of brief reappraisal interventions on emotions during the COVID-19 pandemic

Correction to: Nature Human Behaviour https://doi.org/10.1038/s41562-021-01173-x, published online 2 August 2021. In the version of this article initially published, the following authors were omitted from the author list and the Author contributions section for “investigation” and “writing and editing”: Nandor Hajdu (Institute of Psychology, ELTE Eötvös Loránd University, Budapest, Hungary), Jordane Boudesseul (Facultad de Psicología, Instituto de Investigación Científica, Universidad de Lima, Lima, Perú), Rafał Muda (Faculty of Economics, Maria Curie-Sklodowska University, Lublin, Poland) and Sandersan Onie (Black Dog Institute, UNSW Sydney, Sydney, Australia & Emotional Health for All Foundation, Jakarta, Indonesia). In addition, Saeideh FatahModares’ name was originally misspelled as Saiedeh FatahModarres in the author list. Further, affiliations have been corrected for Maria Terskova (National Research University Higher School of Economics, Moscow, Russia), Susana Ruiz Fernandez (FOM University of Applied Sciences, Essen; Leibniz-Institut für Wissensmedien, Tübingen, and LEAD Research Network, Eberhard Karls University, Tübingen, Germany), Hendrik Godbersen (FOM University of Applied Sciences, Essen, Germany), Gulnaz Anjum (Department of Psychology, Simon Fraser University, Burnaby, Canada, and Department of Economics & Social Sciences, Institute of Business Administration, Karachi, Pakistan). The changes have been made to the HTML and PDF versions of the article