A new hierarchy for automaton semigroups

We define a new strict and computable hierarchy for the family of automaton semigroups, which reflects the various asymptotic behaviors of the state-activity growth. This hierarchy extends that given by Sidki for automaton groups, and also gives new insights into the latter. Its exponential part coincides with a notion of entropy for some associated automata. We prove that the Order Problem is decidable when the state-activity is bounded. The Order Problem remains open for the next level of this hierarchy, that is, when the state-activity is linear. Gillibert showed that it is undecidable in the whole family. The former results are implemented and will be available in the GAP package FR developed by the first author.Comment: 12 pages, accepted and presented at CIAA 201

Influence of topography on tide propagation and amplification in semi-enclosed basins

An idealized model for tide propagation and amplification in semi-enclosed rectangular basins is presented, accounting for depth differences by a combination of longitudinal and lateral topographic steps. The basin geometry is formed by several adjacent compartments of identical width, each having either a uniform depth or two depths separated by a transverse topographic step. The problem is forced by an incoming Kelvin wave at the open end, while allowing waves to radiate outward. The solution in each compartment is written as the superposition of (semi)-analytical wave solutions in an infinite channel, individually satisfying the depth-averaged linear shallow water equations on the f plane, including bottom friction. A collocation technique is employed to satisfy continuity of elevation and flux across the longitudinal topographic steps between the compartments. The model results show that the tidal wave in shallow parts displays slower propagation, enhanced dissipation and amplified amplitudes. This reveals a resonance mechanism, occurring when\ud the length of the shallow end is roughly an odd multiple of the quarter Kelvin wavelength. Alternatively, for sufficiently wide basins, also Poincaré waves may become resonant. A transverse step implies different wavelengths of the incoming and reflected Kelvin wave, leading to increased amplitudes in shallow regions and a shift of amphidromic points in the direction of the deeper part. Including the shallow parts near the basin’s closed end (thus capturing the Kelvin resonance mechanism) is essential to reproduce semi-diurnal and diurnal\ud tide observations in the Gulf of California, the Adriatic Sea and the Persian Gulf

Participant recruitment into a randomised controlled trial of exercise therapy for people with multiple sclerosis

The success of a clinical trial is often dependant on whether recruitment targets can be met in the required time frame. Despite an increase in research into the benefits of exercise in people with multiple sclerosis (PwMS), no trial has reported detailed data on effective recruitment strategies for large-scale randomised controlled trials. The main purpose of this report is to provide a detailed outline of recruitment strategies, rates and estimated costs in the Exercise Intervention for Multiple Sclerosis (ExIMS) trial to identify best practices for future trials involving multiple sclerosis (MS) patient recruitment

Fostering implementation of health services research findings into practice: a consolidated framework for advancing implementation science

Abstract Background Many interventions found to be effective in health services research studies fail to translate into meaningful patient care outcomes across multiple contexts. Health services researchers recognize the need to evaluate not only summative outcomes but also formative outcomes to assess the extent to which implementation is effective in a specific setting, prolongs sustainability, and promotes dissemination into other settings. Many implementation theories have been published to help promote effective implementation. However, they overlap considerably in the constructs included in individual theories, and a comparison of theories reveals that each is missing important constructs included in other theories. In addition, terminology and definitions are not consistent across theories. We describe the Consolidated Framework For Implementation Research (CFIR) that offers an overarching typology to promote implementation theory development and verification about what works where and why across multiple contexts. Methods We used a snowball sampling approach to identify published theories that were evaluated to identify constructs based on strength of conceptual or empirical support for influence on implementation, consistency in definitions, alignment with our own findings, and potential for measurement. We combined constructs across published theories that had different labels but were redundant or overlapping in definition, and we parsed apart constructs that conflated underlying concepts. Results The CFIR is composed of five major domains: intervention characteristics, outer setting, inner setting, characteristics of the individuals involved, and the process of implementation. Eight constructs were identified related to the intervention (e.g., evidence strength and quality), four constructs were identified related to outer setting (e.g., patient needs and resources), 12 constructs were identified related to inner setting (e.g., culture, leadership engagement), five constructs were identified related to individual characteristics, and eight constructs were identified related to process (e.g., plan, evaluate, and reflect). We present explicit definitions for each construct. Conclusion The CFIR provides a pragmatic structure for approaching complex, interacting, multi-level, and transient states of constructs in the real world by embracing, consolidating, and unifying key constructs from published implementation theories. It can be used to guide formative evaluations and build the implementation knowledge base across multiple studies and settings.http://deepblue.lib.umich.edu/bitstream/2027.42/78272/1/1748-5908-4-50.xmlhttp://deepblue.lib.umich.edu/bitstream/2027.42/78272/2/1748-5908-4-50-S1.PDFhttp://deepblue.lib.umich.edu/bitstream/2027.42/78272/3/1748-5908-4-50-S3.PDFhttp://deepblue.lib.umich.edu/bitstream/2027.42/78272/4/1748-5908-4-50-S4.PDFhttp://deepblue.lib.umich.edu/bitstream/2027.42/78272/5/1748-5908-4-50.pdfhttp://deepblue.lib.umich.edu/bitstream/2027.42/78272/6/1748-5908-4-50-S2.PDFPeer Reviewe

Evaluating the feasibility of a web-based weight loss programme for naval service personnel with excess body weight.

Overweight and obesity are a major concern that may influence the operational capacity of the UK Naval Service (NS). This study was conducted to evaluate the feasibility of trialling and implementing a modified web-based weight loss programme for overweight and obese NS personnel.Royal Navy; University of Southampto

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

Intermittent auscultation versus continuous fetal monitoring: Exploring factors that influence birthing unit nurses' fetal surveillance practice using theoretical domains framework

Background: Intermittent Auscultation (IA) is the recommended method of fetal surveillance for healthy women in labour. However, the majority of women receive continuous electronic monitoring. We used the Theoretical Domains Framework (TDF) to explore the views of Birthing Unit nurses about using IA as their primary method of fetal surveillance for healthy women in labour. Methods: Using a semi-structured interview guide, we interviewed a convenience sample of birthing unit nurses throughout Ontario, Canada to elicit their views about fetal surveillance. Interviews were recorded and transcribed verbatim. Transcripts were content analysed using the TDF and themes were framed as belief statements. Domains potentially key to changing fetal surveillance behaviour and informing intervention design were identified by noting the frequencies of beliefs, content, and their reported influence on the use of IA Results: We interviewed 12 birthing unit nurses. Seven of the 12 TDF domains were perceived to be key to changing birthing unit nurses' behaviour The nurses reported that competing tasks, time constraints and the necessity to multitask often limit their ability to perform IA (domains Beliefs about capabilities; Environmental context and resources). Some nurses noted the decision to use IA was something that they consciously thought about with every patient while others stated it their default decision as long as there were no risk factors (Memory, attention and decision processes, Nature of behaviour). They identified positive consequences (e.g. avoid unnecessary interventions, mother-centered care) and negative consequences of using IA (e.g. legal concerns) and reported that the negative consequences can often outweigh positive consequences (Beliefs about consequences). Some reported that hospital policies and varying support from care teams inhibited their use of IA (Social influences), and that support from the entire team and hospital management would likely increase their use (Social influences; Behavioural regulation). Conclusion: We identified potential influences on birthing unit nurses' use of IA as their primary method of fetal surveillance. These beliefs suggest potential targets for behaviour change interventions to promote IA use

No more 'business as usual' with audit and feedback interventions: towards an agenda for a reinvigorated intervention

Background: Audit and feedback interventions in healthcare have been found to be effective, but there has been little progress with respect to understanding their mechanisms of action or identifying their key ‘active ingredients.’ Discussion: Given the increasing use of audit and feedback to improve quality of care, it is imperative to focus further research on understanding how and when it works best. In this paper, we argue that continuing the ‘business as usual’ approach to evaluating two-arm trials of audit and feedback interventions against usual care for common problems and settings is unlikely to contribute new generalizable findings. Future audit and feedback trials should incorporate evidence- and theory-based best practices, and address known gaps in the literature. Summary: We offer an agenda for high-priority research topics for implementation researchers that focuses on reviewing best practices for designing audit and feedback interventions to optimize effectiveness

Are publicly available internet resources enabling women to make informed fertility preservation decisions before starting cancer treatment: an environmental scan?

Background To identify publicly available internet resources and assess their likelihood to support women making informed decisions about, and between, fertility preservation procedures before starting their cancer treatment. Methods A survey of publically available internet resources utilising an environmental scan method. Inclusion criteria were applied to hits from searches of three data sources (November 2015; repeated June 2017): Google (Chrome) for patient resources; repositories for clinical guidelines and projects; distribution email lists to contact patient decision aid experts. The Data Extraction Sheet applied to eligible resources elicited: resource characteristics; informed and shared decision making components; engagement health services. Results Four thousand eight hundred fifty one records were identified; 24 patient resources and 0 clinical guidelines met scan inclusion criteria. Most resources aimed to inform women with cancer about fertility preservation procedures and infertility treatment options, but not decision making between options. There was a lack of consistency about how health conditions, decision problems and treatment options were described, and resources were difficult to understand. Conclusions Unless developed as part of a patient decision aid project, resources did not include components to support proactively women’s fertility preservation decisions. Current guidelines help people deliver information relevant to treatment options within a single disease pathway; we identified five additional components for patient decision aid checklists to support more effectively people’s treatment decision making across health pathways, linking current with future health problems

Volunteer Bias in Recruitment, Retention, and Blood Sample Donation in a Randomised Controlled Trial Involving Mothers and Their Children at Six Months and Two Years: A Longitudinal Analysis

BACKGROUND: The vulnerability of clinical trials to volunteer bias is under-reported. Volunteer bias is systematic error due to differences between those who choose to participate in studies and those who do not. METHODS AND RESULTS: This paper extends the applications of the concept of volunteer bias by using data from a trial of probiotic supplementation for childhood atopy in healthy dyads to explore 1) differences between a) trial participants and aggregated data from publicly available databases b) participants and non-participants as the trial progressed 2) impact on trial findings of weighting data according to deprivation (Townsend) fifths in the sample and target populations. 1) a) Recruits (n = 454) were less deprived than the target population, matched for area of residence and delivery dates (n = 6,893) (mean [SD] deprivation scores 0.09[4.21] and 0.79[4.08], t = 3.44, df = 511, p<0.001). b) i) As the trial progressed, representation of the most deprived decreased. These participants and smokers were less likely to be retained at 6 months (n = 430[95%]) (OR 0.29,0.13-0.67 and 0.20,0.09-0.46), and 2 years (n = 380[84%]) (aOR 0.68,0.50-0.93 and 0.55,0.28-1.09), and consent to infant blood sample donation (n = 220[48%]) (aOR 0.72,0.57-0.92 and 0.43,0.22-0.83). ii) Mothers interested in probiotics or research or reporting infants' adverse events or rashes were more likely to attend research clinics and consent to skin-prick testing. Mothers participating to help children were more likely to consent to infant blood sample donation. 2) In one trial outcome, atopic eczema, the intervention had a positive effect only in the over-represented, least deprived group. Here, data weighting attenuated risk reduction from 6.9%(0.9-13.1%) to 4.6%(-1.4-+10.5%), and OR from 0.40(0.18-0.91) to 0.56(0.26-1.21). Other findings were unchanged. CONCLUSIONS: Potential for volunteer bias intensified during the trial, due to non-participation of the most deprived and smokers. However, these were not the only predictors of non-participation. Data weighting quantified volunteer bias and modified one important trial outcome. TRIAL REGISTRATION: This randomised, double blind, parallel group, placebo controlled trial is registered with the International Standard Randomised Controlled Trials Register, Number (ISRCTN) 26287422. Registered title: Probiotics in the prevention of atopy in infants and children