bluuebunny/crossref_metadata_2025_split huggingface dataset:
Improving the Safety and Continuity Of Medicines management at Transitions of care (ISCOMAT): protocol for a process evaluation of a cluster randomised control trial
Authors: Powell Catherine , Breen Liz , Fylan Beth , Ismail Hanif , Alderson Sarah L , Gale Chris P , Gardner Peter , Farrin Amanda J , Alldred David P 
Published: November 2020

IntroductionA key priority for the UK National Health Service and patients is to ensure that medicines are used safely and effectively. However, medication changes are not always optimally communicated and implemented when patients transfer from hospital into community settings. Heart failure is a common reason for admission to hospital. Patients with heart failure have a high burden of morbidity, mortality and complex pharmacotherapeutic regimens. The Improving the Safety and Continuity Of Medicines management at Transitions of care programme comprises a cluster randomised controlled trial which will test the effectiveness of a complex behavioural intervention aimed at improving medications management at the interface between hospitals discharge and community care. We will conduct a rigorous process evaluation to inform interpretation of the trial findings, inform implementation of the intervention on a wider scale and aid dissemination of the intervention.Methods and analysisThe process evaluation will be conducted in six purposively selected intervention sites (ie, hospital trusts and associated community pharmacies) using a mixed-methods design. Fidelity and barriers/enablers of implementation of the Medicines at Transitions Intervention (MaTI) will be explored using observation, interviews (20 patients, 40 healthcare professionals), surveys and routine trial data collection on adherence to MaTI. A parallel mixed analysis will be applied. Qualitative data will be thematically analysed using Framework analysis and survey data will be analysed descriptively. Data will be synthesised, triangulated and mapped to the Consolidated Framework for Implementation Research where appropriate. The process evaluation commenced on June 2018 and is due to end on February 2021.Ethics and disseminationApproved by Research Ethics Committee and the UK Health Research Authority REC: 18/YH/0017/IRAS: 231 431. Findings will be disseminated via academic and policy conferences, peer-reviewed publications and social media.Trial registration numberISRCTN66212970.
MyCare study: protocol for a controlled trial evaluating the effect of a community-based intervention on psychosocial, clinical outcomes and hospital admission rates for adults with severe mental illness
Authors: O'Donnell Renée , Savaglio Melissa , Fast Debra , Vincent Ash , Vicary Dave , Skouteris Helen 
Published: November 2020

IntroductionPeople with serious mental illness (SMI) often fail to receive adequate treatment. To provide a higher level of support, mental health systems have been reformed substantially to integrate mental healthcare into the community. MyCare is one such community-based mental health model of care. This paper describes the study protocol of a controlled trial examining the effect of MyCare on psychosocial and clinical outcomes and hospital admission and duration rates for adults with SMI.Methods and analysisThis is a multisite non-randomised controlled trial with a 3, 6 and 12-month follow-up period. The study participants will be adults (18–64 years of age) with SMI recruited from Hobart, Launceston and the North-West of Tasmania. The treatment group will include adults who receive both the MyCare intervention and standard mental health support; the control group will include adults who receive only standard mental health support. The primary outcome includes psychosocial and clinical functioning and the secondary outcome will examine hospital admission rates and duration of stay. Mixed-effects models will be used to examine outcome improvements between intake and follow-up. This trial will generate the evidence needed to evaluate the effect of a community mental health support programme delivered in Tasmania, Australia. If MyCare results in sustained positive outcomes for adults with SMI, it could potentially be scaled up more broadly across Australia, addressing the inequity and lack of comprehensive treatment that many individuals with SMI experience.Ethics and disseminationThis study has been approved by the Tasmanian Health and Medical Human Research Ethics Committee. The findings will be disseminated to participants and staff who delivered the intervention, submitted for publication in a peer-reviewed journal and shared at academic conferences.Trial registration numberACTRN12620000673943.
Computerised cognitive training in Parkinson’s disease: a protocol for a systematic review and updated meta-analysis
Authors: Gavelin Hanna Malmberg , Domellöf Magdalena , Leung Isabella , Neely Anna Stigsdotter , Finke Carsten , Lampit Amit 
Published: November 2020

IntroductionCognitive impairment is recognised as an important non-motor symptom in Parkinson’s disease (PD) and there is a need for evidence-based non-pharmacological interventions that may prevent or slow cognitive decline in this patient group. One such intervention is computerised cognitive training (CCT), which has shown efficacious for cognition across older adult populations. This systematic review aims to investigate the efficacy of CCT across cognitive, psychosocial and functional domains for people with PD and examine study and intervention design factors that could moderate CCT effects on cognition.Methods and analysisRandomised controlled trials investigating the effects of CCT in patients with PD without dementia, on cognitive, psychosocial or functional outcomes, will be included. The primary outcome is overall cognitive function. Secondary outcomes are domain-specific cognitive function, psychosocial functioning and functional abilities. We systematically searched MEDLINE, Embase and PsycINFO through 14 May 2020 to identify relevant literature. Risk of bias will be assessed using the revised Cochrane Risk of Bias tool. Effect sizes will be calculated as standardised mean difference of baseline to postintervention change (Hedges’ g) with 95% CI for each eligible outcome measure. Pooling of outcomes across studies will be conducted using random-effects models, accounting for dependency structure of effect sizes within studies. Heterogeneity will be assessed using τ2 and I2 statistic. Potential moderators, based on key study and intervention design factors, will be investigated using mixed-effects meta-regression models.Ethics and disseminationNo ethical approval is required. The findings will be disseminated in a peer-reviewed scientific journal.PROSPERO registration numberCRD42020185386.
What are the challenges in the vaccination of migrants in Norway from healthcare provider perspectives? A qualitative, phenomenological study
Authors: Socha Anna , Klein Jörn 
Published: November 2020

BackgroundMigrant populations in the European Union (EU) suffer a disproportionate burden of infectious diseases and may be particularly vulnerable due to poor conditions in countries of origin or throughout transit to the host country. Given the rising level of migration into Europe, the vaccination of migrant populations has become a key priority, with European countries committing to equitably extending the benefits of vaccination to all. However, in Norway, little is known about the vaccination of migrant populations.ObjectiveThe aim of this qualitative research study was to explore the process of vaccinating migrant populations in Norway and elucidate any challenges as perceived by healthcare providers. This involved exploring the challenges faced by healthcare providers in delivering vaccinations to migrants as well as potential barriers faced by migrants in accessing vaccinations in Norway, from the perspectives of healthcare providers.MethodsIn June 2019, the authors conducted semi-structured interviews with seven healthcare providers who are involved in vaccinating migrants in South-Eastern and Western Norway. This included healthcare providers working in general practice, public health and infectious disease clinics, migrant health clinics, and local public health institutes.ResultsAn inductive, exploratory analysis identified key themes that were reviewed and analysed in light of existing literature. According to the informants, the Childhood Immunisation Programme is effective in including migrant children within the national vaccination schedule. However, gaps in vaccination appear to exist with regards to adult migrants as well as working migrants. There is currently no consistent or structured approach to vaccinating adult migrants in Norway, including no guidelines from governing bodies on how to organise vaccination to adult migrants in municipalities. Furthermore, reasons why adult vaccination is not prioritised were provided, such as tuberculosis screening and treatment taking precedence and the common assumption among healthcare providers that vaccinations are dealt with in childhood.ConclusionThe development of equitable immunisation programmes requires an understanding of the multifactorial barriers to immunisation, such as those posed by policies, structures and governance bodies, or lack thereof. It also entails understanding the administration of such policies and the perspectives of those who are responsible for the delivery of vaccination, namely healthcare providers. This qualitative research study demonstrated that challenges exist in the vaccination of migrants in Norway and that they are coherent with those experienced throughout the EU, principally the presence of gaps in vaccinating adult migrants, working migrants and internal EU migrants. This research provides direction for future investigations and highlights the need for the inclusion of migrant status in the Norwegian Immunisation Registry.
Exploring the effectiveness of technology-based learning on the educational outcomes of undergraduate healthcare students: an overview of systematic reviews protocol
Authors: Romli Muhammad Hibatullah , Cheema Manraj Singh , Mehat Muhammad Zulfadli , Md Hashim Nur Fariesha , Abdul Hamid Hafizah 
Published: November 2020

IntroductionRapid technology development due to the introduction of Industrial Revolution 4.0 and Internet of Things has created a demand and gradual transition from traditional teaching and learning to technology-based learning in higher education, including healthcare education. The COVID-19 pandemic has accelerated this process, with educators now required to quickly adapt to and adopt such changes. The abundance of available systematic reviews has made the effectiveness of such approaches ambiguous especially in healthcare education. Therefore, a protocol of the overview of systematic reviews (OoSR) is planned to extrapolate the effectiveness of technology-based learning in undergraduate healthcare education.Methods and analysisScopus, CINAHL, Academic Search Complete, Cochrane Library, MEDLINE and Psychology and Behavioral Sciences Collection databases were selected. Screening was conducted independently by at least two authors and the decision for inclusion was done through discussion or involvement of an arbiter against a predetermined criteria. Included articles will be evaluated for quality using A MeaSurement Tool to Assess systematic Reviews and Risk of Bias in Systematic Review tools, while primary systematic review articles will be cross-checked and reported for any overlapping using the ‘corrected covered area’ method. Only narrative synthesis will be employed according to the predefined themes into two major dimensions—theory and knowledge generation (focusing on cognitive taxonomy due to its ability to be generalised across disciplines), and clinical-based competence (focusing on psychomotor and affective taxonomies due to discipline-specific influence). The type of technology used will be identified and extracted.Ethics and disseminationThe OoSR involves analysis of secondary data from published literature, thus ethical approval is not required. The findings will provide a valuable insight for policymakers, stakeholders, and researchers in terms of technology-based learning implementation and gaps identification. The findings will be published in several reports due to the extensiveness of the topic and will be disseminated through peer-reviewed publications and conferences.PROSPERO registration numberCRD4202017974.
Trends in inequalities in Children Looked After in England between 2004 and 2019: a local area ecological analysis
Authors: Bennett Davara Lee , Mason Kate E , Schlüter Daniela K , Wickham S , Lai Eric TC , Alexiou Alexandros , Barr Ben , Taylor-Robinson David 
Published: November 2020

ObjectiveTo assess trends in inequalities in Children Looked After (CLA) in England between 2004 and 2019, after controlling for unemployment, a marker of recession and risk factor for child maltreatment.DesignLongitudinal local area ecological analysis.Setting150 English upper-tier local authorities.ParticipantsChildren under the age of 18 years.Primary outcome measureThe annual age-standardised rate of children starting to be looked after (CLA rate) across English local authorities, grouped into quintiles based on their level of income deprivation. Slope indices of inequality were estimated using longitudinal segmented mixed-effects models, controlling for unemployment.ResultsSince 2008, there has been a precipitous rise in CLA rates and a marked widening of inequalities. Unemployment was associated with rising CLA rates: for each percentage point increase in unemployment rate, an estimated additional 9 children per 100 000 per year (95% CI 6 to 11) became looked after the following year. However, inequalities increased independently of the effect of unemployment. Between 2007 and 2019, after controlling for unemployment, the gap between the most and least deprived areas increased by 15 children per 100 000 per year (95% CI 4 to 26) relative to the 2004–2006 trend.ConclusionsThe dramatic increase in the rate of children starting to be looked after has been greater in poorer areas and in areas more deeply affected by recession. But trends in unemployment do not explain the decade-long rise in inequalities, suggesting that other socioeconomic factors, including rising child poverty and reduced spending on children’s services, may be fuelling inequalities. Policies to safely reduce the CLA rate should urgently address the social determinants of child health and well-being.
Sex and age differences in clinically significant symptoms of depression and anxiety among people in Australia in the first month of COVID-19 restrictions: a national survey
Authors: Hammarberg Karin , Tran Thach , Kirkman Maggie , Fisher Jane 
Published: November 2020

ObjectivesTo identify sex and age differences in clinically significant symptoms of depression and anxiety and the factors associated with these differences among adults in Australia during COVID-19-related restrictions.DesignAnonymous online survey.SettingAustralia.ParticipantsAdults aged over 18 years living in Australia were eligible and 13 829 contributed complete data. Of these, 13 762 identified as female (10 434) or male (3328) and were included in analyses.InterventionsNone.Outcome measuresClinically significant symptoms of depression (≥10 on Patient Health Questionnaire 9) or anxiety (≥10 on Generalized Anxiety Disorder Scale 7 (GAD-7)), and experiences of irritability (GAD-7 item 6).ResultsWomen were more likely than men to have clinically significant symptoms of depression (26.3% (95% CI 25.4 to 27.1) vs 20.1% (95% CI 18.7 to 21.5), p<0.001) and anxiety (21.8% (95% CI 21.0 to 22.6) vs 14.2% (95% CI 13.0 to 15.4), p<0.001) and to have experienced irritability in the previous fortnight (63.1% (95% CI 62.1 to 64.0) vs 51.4% (95% CI 49.7 to 53.2), p<0.001). They were also more likely than men to be doing unpaid work caring for children (22.8% (95% CI 22.0 to 23.6) vs 8.6% (95% CI 7.7 to 9.6), p<0.001) and dependent relatives (9.8% (95% CI 9.2 to 10.3) vs 5.7% (95% CI 4.9 to 6.5), p<0.001) which made significant contributions to the mental health outcomes of interest. Loss of employment, fear of contracting COVID-19 and feeling a severe impact of the restrictions were associated with poorer mental health in women and men of all ages.ConclusionsRates of clinically significant symptoms of depression and anxiety were higher among women than men. Rather than being intrinsically more vulnerable to mental health problems during the COVID-19 pandemic, the higher risk of symptoms of anxiety and depression among women may in part be explained by their disproportionate burden of unpaid caregiving.
Nitrogen and sulfur application effects on camelina seed yield, fatty acid composition, and nutrient removal
Authors: Obeng Eric , Obour Augustine K. , Nelson Nathan O. , Ciampitti Ignacio A. , Wang Donghai 
Published: November 2020

Effective management of nitrogen (N) and sulfur (S) in camelina [Camelina sativa (L.) Crantz] production is important to ensure optimum seed yield and oil composition. The objectives of this study were to determine camelina seed yield and oil concentration and to estimate nutrient removal and N use efficiency (NUE) as influenced by N and S application. Field experiments were conducted to evaluate the effects of S rates (0 and 20 kg·ha−1) and N fertilizer rates (0, 22, 45, and 90 kg·ha−1) on camelina productivity and fatty acid composition over two growing seasons (2014 and 2015). Results showed S application had no effect on seed yield and oil concentration. Averaged across N rates, protein concentration increased with S application compared with the control. Seed yield showed quadratic response to N fertilizer application with maximum yield occurring at 54 kg N·ha−1; however, economic optimum N rate ranged from 18 to 43 kg N·ha−1. Nutrient removal, protein concentration, protein and oil yield, and estimated biodiesel were maximum at 45 kg N·ha−1. The maximum amounts of N, phosphorus, potassium, and S removed were 49, 8, 10, and 7 kg·ha−1, respectively. NUE and N agronomic efficiency decreased when N fertilizer rates were above 22 kg N·ha−1. Application of N or S had no effect on proportions of saturated fatty acid, monounsaturated fatty acid, and polyunsaturated fatty acids. Our findings suggest camelina required 18–43 kg N·ha−1 when grown in rain-fed systems in water-limited environments.
Towards a fundamental safe theory of composite Higgs and dark matter
Authors: Cacciapaglia Giacomo , Ma Teng , Vatani Shahram , Wu Yongcheng 
Published: November 2020

AbstractWe present a novel paradigm that allows to define a composite theory at the electroweak scale that is well defined all the way up to any energy by means of safety in the UV. The theory flows from a complete UV fixed point to an IR fixed point for the strong dynamics (which gives the desired walking) before generating a mass gap at the TeV scale. We discuss two models featuring a composite Higgs, Dark Matter and partial compositeness for all SM fermions. The UV theories can also be embedded in a Pati–Salam partial unification, thus removing the instability generated by the $$\text{ U }(1)$$

U

(
1
)

running. Finally, we find a Dark Matter candidate still allowed at masses of 260 GeV, or 1.5–2 TeV, where the latter mass range will be covered by next generation direct detection experiments.
Polymorphic types and effects with Boolean unification
Authors: Madsen Magnus , van de Pol Jaco 
Published: November 2020

We present a simple, practical, and expressive type and effect system based on Boolean constraints. The effect system extends the Hindley-Milner type system, supports parametric polymorphism, and preserves principal types modulo Boolean equivalence. We show how to support type inference by extending Algorithm W with Boolean unification based on the successive variable elimination algorithm.
We implement the type and effect system in the Flix programming language. We perform an in-depth evaluation on the impact of Boolean unification on type inference time and end-to-end compilation time. While the computational complexity of Boolean unification is NP-hard, the experimental results demonstrate that it works well in practice. We find that the impact on type inference time is on average a 1.4x slowdown and the overall impact on end-to-end compilation time is a 1.1x slowdown.
Towards a formal foundation of intermittent computing
Authors: Surbatovich Milijana , Lucia Brandon , Jia Limin 
Published: November 2020

Intermittently powered devices enable new applications in harsh or inaccessible environments, such as space or in-body implants, but also introduce problems in programmability and correctness. Researchers have developed programming models to ensure that programs make progress and do not produce erroneous results due to memory inconsistencies caused by intermittent executions. As the technology has matured, more and more features are added to intermittently powered devices, such as I/O. Prior work has shown that all existing intermittent execution models have problems with repeated device or sensor inputs (RIO). RIOs could leave intermittent executions in an inconsistent state. Such problems and the proliferation of existing intermittent execution models necessitate a formal foundation for intermittent computing.
In this paper, we formalize intermittent execution models, their correctness properties with respect to memory consistency and inputs, and identify the invariants needed to prove systems correct. We prove equivalence between several existing intermittent systems. To address RIO problems, we define an algorithm for identifying variables affected by RIOs that need to be restored after reboot and prove the algorithm correct. Finally, we implement the algorithm in a novel intermittent runtime system that is correct with respect to input operations and evaluate its performance.
DynamiTe: dynamic termination and non-termination proofs
Authors: Le Ton Chanh , Antonopoulos Timos , Fathololumi Parisa , Koskinen Eric , Nguyen ThanhVu 
Published: November 2020

There is growing interest in termination reasoning for nonlinear programs and, meanwhile, recent dynamic strategies have shown they are able to infer invariants for such challenging programs. These advances led us to hypothesize that perhaps such dynamic strategies for nonlinear invariants could be adapted to learn recurrent sets (for non-termination) and/or ranking functions (for termination).
In this paper, we exploit dynamic analysis and draw termination and non-termination as well as static and dynamic strategies closer together in order to tackle nonlinear programs. For termination, our algorithm infers ranking functions from concrete transitive closures, and, for non-termination, the algorithm iteratively collects executions and dynamically learns conditions to refine recurrent sets. Finally, we describe an integrated algorithm that allows these algorithms to mutually inform each other, taking counterexamples from a failed validation in one endeavor and crossing both the static/dynamic and termination/non-termination lines, to create new execution samples for the other one.
We have implemented these algorithms in a new tool called DynamiTe. For nonlinear programs, there are currently no SV-COMP termination benchmarks so we created new sets of 38 terminating and 39 non-terminating programs. Our empirical evaluation shows that we can effectively guess (and sometimes even validate) ranking functions and recurrent sets for programs with nonlinear behaviors. Furthermore, we show that counterexamples from one failed validation can be used to generate executions for a dynamic analysis of the opposite property. Although we are focused on nonlinear programs, as a point of comparison, we compare DynamiTe's performance on linear programs with that of the state-of-the-art tool, Ultimate. Although DynamiTe is an order of magnitude slower it is nonetheless somewhat competitive and sometimes finds ranking functions where Ultimate was unable to. Ultimate cannot, however, handle the nonlinear programs in our new benchmark suite.