Von Neumann Regular Cellular Automata

For any group $G$ and any set $A$, a cellular automaton (CA) is a transformation of the configuration space $A^G$ defined via a finite memory set and a local function. Let $\text{CA}(G;A)$ be the monoid of all CA over $A^G$. In this paper, we investigate a generalisation of the inverse of a CA from the semigroup-theoretic perspective. An element $\tau \in \text{CA}(G;A)$ is von Neumann regular (or simply regular) if there exists $\sigma \in \text{CA}(G;A)$ such that $\tau \circ \sigma \circ \tau = \tau$ and $\sigma \circ \tau \circ \sigma = \sigma$, where $\circ$ is the composition of functions. Such an element $\sigma$ is called a generalised inverse of $\tau$. The monoid $\text{CA}(G;A)$ itself is regular if all its elements are regular. We establish that $\text{CA}(G;A)$ is regular if and only if $\vert G \vert = 1$ or $\vert A \vert = 1$, and we characterise all regular elements in $\text{CA}(G;A)$ when $G$ and $A$ are both finite. Furthermore, we study regular linear CA when $A= V$ is a vector space over a field $\mathbb{F}$; in particular, we show that every regular linear CA is invertible when $G$ is torsion-free elementary amenable (e.g. when $G=\mathbb{Z}^d, \ d \in \mathbb{N}$) and $V=\mathbb{F}$, and that every linear CA is regular when $V$ is finite-dimensional and $G$ is locally finite with $\text{Char}(\mathbb{F}) \nmid o(g)$ for all $g \in G$.Comment: 10 pages. Theorem 5 corrected from previous versions, in A. Dennunzio, E. Formenti, L. Manzoni, A.E. Porreca (Eds.): Cellular Automata and Discrete Complex Systems, AUTOMATA 2017, LNCS 10248, pp. 44-55, Springer, 201

From Theory-Inspired to Theory-Based Interventions: A Protocol for Developing and Testing a Methodology for Linking Behaviour Change Techniques to Theoretical Mechanisms of Action

BACKGROUND: Understanding links between behaviour change techniques (BCTs) and mechanisms of action (the processes through which they affect behaviour) helps inform the systematic development of behaviour change interventions. PURPOSE: This research aims to develop and test a methodology for linking BCTs to their mechanisms of action. METHODS: Study 1 (published explicit links): Hypothesised links between 93 BCTs (from the 93-item BCT taxonomy, BCTTv1) and mechanisms of action will be identified from published interventions and their frequency, explicitness and precision documented. Study 2 (expert-agreed explicit links): Behaviour change experts will identify links between 61 BCTs and 26 mechanisms of action in a formal consensus study. Study 3 (integrated matrix of explicit links): Agreement between studies 1 and 2 will be evaluated and a new group of experts will discuss discrepancies. An integrated matrix of BCT-mechanism of action links, annotated to indicate strength of evidence, will be generated. Study 4 (published implicit links): To determine whether groups of co-occurring BCTs can be linked to theories, we will identify groups of BCTs that are used together from the study 1 literature. A consensus exercise will be used to rate strength of links between groups of BCT and theories. CONCLUSIONS: A formal methodology for linking BCTs to their hypothesised mechanisms of action can contribute to the development and evaluation of behaviour change interventions. This research is a step towards developing a behaviour change 'ontology', specifying relations between BCTs, mechanisms of action, modes of delivery, populations, settings and types of behaviour

Can programme theory be used as a 'translational tool’ to optimise health service delivery in a national early years’ initiative in Scotland: a case study

Background Theory-based evaluation (TBE) approaches are heralded as supporting formative evaluation by facilitating increased use of evaluative findings to guide programme improvement. It is essential that learning from programme implementation is better used to improve delivery and to inform other initiatives, if interventions are to be as effective as they have the potential to be. Nonetheless, few studies describe formative feedback methods, or report direct instrumental use of findings resulting from TBE. This paper uses the case of Scotland’s, National Health Service, early years’, oral health improvement initiative (Childsmile) to describe the use of TBE as a framework for providing feedback on delivery to programme staff and to assess its impact on programmatic action.<p></p> Methods In-depth, semi-structured interviews and focus groups with key stakeholders explored perceived deviations between the Childsmile programme 'as delivered’ and its Programme Theory (PT). The data was thematically analysed using constant comparative methods. Findings were shared with key programme stakeholders and discussions around likely impact and necessary actions were facilitated by the authors. Documentary review and ongoing observations of programme meetings were undertaken to assess the extent to which learning was acted upon.<p></p> Results On the whole, the activities documented in Childsmile’s PT were implemented as intended. This paper purposefully focuses on those activities where variation in delivery was evident. Differences resulted from the stage of roll-out reached and the flexibility given to individual NHS boards to tailor local implementation. Some adaptations were thought to have diverged from the central features of Childsmile’s PT, to the extent that there was a risk to achieving outcomes. The methods employed prompted national service improvement action, and proposals for local action by individual NHS boards to address this.<p></p> Conclusions The TBE approach provided a platform, to direct attention to areas of risk within a national health initiative, and to agree which intervention components were 'core’ to its hypothesised success. The study demonstrates that PT can be used as a 'translational tool’ to facilitate instrumental use of evaluative findings to optimise implementation within a complex health improvement programme.<p></p&gt

Using a realist approach to evaluate smoking cessation interventions targeting pregnant women and young people

Background This paper describes a study protocol designed to evaluate a programme of smoking cessation interventions targeting pregnant women and young people living in urban and rural locations in Northeast Scotland. The study design was developed on so-called 'realist' evaluation principles, which are concerned with the implementation of interventions as well as their outcomes. Methods/design A two-phased study was designed based on the Theory of Change (TOC) using mixed methods to assess both process and outcome factors. The study was designed with input from the relevant stakeholders. The mixed-methods approach consists of semi-structured interviews with planners, service providers, service users and non-users. These qualitative interviews will be analysed using a thematic framework approach. The quantitative element of the study will include the analysis of routinely collected data and specific project monitoring data, such as data on service engagement, service use, quit rates and changes in smoking status. Discussion The process of involving key stakeholders was conducted using logic modelling and TOC tools. Engaging stakeholders, including those responsible for funding, developing and delivering, and those intended to benefit from interventions aimed at them, in their evaluation design, are considered by many to increase the validity and rigour of the subsequent evidence generated. This study is intended to determine not only the components and processes, but also the possible effectiveness of this set of health interventions, and contribute to the evidence base about smoking cessation interventions aimed at priority groups in Scotland. It is also anticipated that this study will contribute to the ongoing debate about the role and challenges of 'realist' evaluation approaches in general, and the utility of logic modelling and TOC approaches in particular, for evaluation of complex health interventions

Appropriate disclosure of a diagnosis of dementia : identifying the key behaviours of 'best practice'

Background: Despite growing evidence that many people with dementia want to know their diagnosis, there is wide variation in attitudes of professionals towards disclosure. The disclosure of the diagnosis of dementia is increasingly recognised as being a process rather than a one-off behaviour. However, the different behaviours that contribute to this process have not been comprehensively defined. No intervention studies to improve diagnostic disclosure in dementia have been reported to date. As part of a larger study to develop an intervention to promote appropriate disclosure, we sought to identify important disclosure behaviours and explore whether supplementing a literature review with other methods would result in the identification of new behaviours. Methods: To identify a comprehensive list of behaviours in disclosure we conducted a literature review, interviewed people with dementia and informal carers, and used a consensus process involving health and social care professionals. Content analysis of the full list of behaviours was carried out. Results: Interviews were conducted with four people with dementia and six informal carers. Eight health and social care professionals took part in the consensus panel. From the interviews, consensus panel and literature review 220 behaviours were elicited, with 109 behaviours over-lapping. The interviews and consensus panel elicited 27 behaviours supplementary to the review. Those from the interviews appeared to be self-evident but highlighted deficiencies in current practice and from the panel focused largely on balancing the needs of people with dementia and family members. Behaviours were grouped into eight categories: preparing for disclosure; integrating family members; exploring the patient's perspective; disclosing the diagnosis; responding to patient reactions; focusing on quality of life and well-being; planning for the future; and communicating effectively. Conclusion: This exercise has highlighted the complexity of the process of disclosing a diagnosis of dementia in an appropriate manner. It confirms that many of the behaviours identified in the literature (often based on professional opinion rather than empirical evidence) also resonate with people with dementia and informal carers. The presence of contradictory behaviours emphasises the need to tailor the process of disclosure to individual patients and carers. Our combined methods may be relevant to other efforts to identify and define complex clinical practices for further study.This project is funded by UK Medical Research Council, Grant reference number G0300999

Search for direct pair production of the top squark in all-hadronic final states in proton-proton collisions at s√=8 TeV with the ATLAS detector

The results of a search for direct pair production of the scalar partner to the top quark using an integrated luminosity of 20.1fb−1 of proton–proton collision data at √s = 8 TeV recorded with the ATLAS detector at the LHC are reported. The top squark is assumed to decay via t˜→tχ˜01 or t˜→ bχ˜±1 →bW(∗)χ˜01 , where χ˜01 (χ˜±1 ) denotes the lightest neutralino (chargino) in supersymmetric models. The search targets a fully-hadronic final state in events with four or more jets and large missing transverse momentum. No significant excess over the Standard Model background prediction is observed, and exclusion limits are reported in terms of the top squark and neutralino masses and as a function of the branching fraction of t˜ → tχ˜01 . For a branching fraction of 100%, top squark masses in the range 270–645 GeV are excluded for χ˜01 masses below 30 GeV. For a branching fraction of 50% to either t˜ → tχ˜01 or t˜ → bχ˜±1 , and assuming the χ˜±1 mass to be twice the χ˜01 mass, top squark masses in the range 250–550 GeV are excluded for χ˜01 masses below 60 GeV

Search for new phenomena in final states with an energetic jet and large missing transverse momentum in pp collisions at √ s = 8 TeV with the ATLAS detector

Results of a search for new phenomena in final states with an energetic jet and large missing transverse momentum are reported. The search uses 20.3 fb−1 of √ s = 8 TeV data collected in 2012 with the ATLAS detector at the LHC. Events are required to have at least one jet with pT > 120 GeV and no leptons. Nine signal regions are considered with increasing missing transverse momentum requirements between Emiss T > 150 GeV and Emiss T > 700 GeV. Good agreement is observed between the number of events in data and Standard Model expectations. The results are translated into exclusion limits on models with either large extra spatial dimensions, pair production of weakly interacting dark matter candidates, or production of very light gravitinos in a gauge-mediated supersymmetric model. In addition, limits on the production of an invisibly decaying Higgs-like boson leading to similar topologies in the final state are presente

Informing evaluation of a smartphone application for people with acquired brain injury: a stakeholder engagement study

Background Brain in Hand is a smartphone application (app) that allows users to create structured diaries with problems and solutions, attach reminders, record task completion and has a symptom monitoring system. Brain in Hand was designed to support people with psychological problems, and encourage behaviour monitoring and change. The aim of this paper is to describe the process of exploring the barriers and enablers for the uptake and use of Brain in Hand in clinical practice, identify potential adaptations of the app for use with people with acquired brain injury (ABI), and determine whether the behaviour change wheel can be used as a model for engagement. Methods We identified stakeholders: ABI survivors and carers, National Health Service and private healthcare professionals, and engaged with them via focus groups, conference presentations, small group discussions, and through questionnaires. The results were evaluated using the behaviour change wheel and descriptive statistics of questionnaire responses. Results We engaged with 20 ABI survivors, 5 carers, 25 professionals, 41 questionnaires were completed by stakeholders. Comments made during group discussions were supported by questionnaire results. Enablers included smartphone competency (capability), personalisation of app (opportunity), and identifying perceived need (motivation). Barriers included a physical and cognitive inability to use smartphone (capability), potential cost and reliability of technology (opportunity), and no desire to use technology or change from existing strategies (motivation). The stakeholders identified potential uses and changes to the app, which were not easily mapped onto the behaviour change wheel, e.g. monitoring fatigue levels, method of logging task completion, and editing the diary on their smartphone. Conclusions The study identified that both ABI survivors and therapists could see a use for Brain in Hand, but wanted users to be able to personalise it themselves to address individual user needs, e.g. monitoring activity levels. The behaviour change wheel is a useful tool when designing and evaluating engagement activities as it addresses most aspects of implementation, however additional categories may be needed to explore the specific features of assistive technology interventions, e.g. technical functions