The complexity of coverability in ν-Petri nets

We show that the coverability problem in ν-Petri nets is complete for ‘double Ackermann’ time, thus closing an open complexity gap between an Ackermann lower bound and a hyper-Ackermann upper bound. The coverability problem captures the verification of safety properties in this nominal extension of Petri nets with name management and fresh name creation. Our completeness result establishes ν-Petri nets as a model of intermediate power among the formalisms of nets enriched with data, and relies on new algorithmic insights brought by the use of well-quasi-order ideals

Symbolic Melodic Similarity: State of the Art and Future Challenges

Fostered by the introduction of the Music Information Retrieval Evaluation eXchange (MIREX) competition, the number of systems which calculate Symbolic Melodic Similarity has recently increased considerably. In order to understand the state of the art, we provide a comparative analysis of existing algorithms. The analysis is based on eight criteria that help characterising the systems, and highlighting strengths and weaknesses. We also propose a taxonomy which classifies algorithms based on their approach. Both taxonomy and criteria are fruitfully exploited for providing input for new forthcoming research in the area

Creating connections - the development of a mobile-health monitoring system for heart failure:Qualitative findings from a usability cohort study

Objective There is significant interest in the role of digital health technology in enabling optimal monitoring of heart failure patients. To harness this potential, it is vital to account for users’ capacity and preferences in the development of technological solutions. We adopted an iterative approach focussed on learning from users’ interactions with a mobile-health monitoring system.Methods We used a participatory mixed methods research approach to develop and evaluate a mobile-health monitoring system. Fifty-eight heart failure patients were recruited from three health care settings in the UK and provided with Internet-enabled tablet computers that were wirelessly linked to sensor devices for blood pressure, heart rate and weight monitoring. One to two home visits were conducted with a subgroup of 29 participants to evaluate the usability of the system over a median follow-up period of six months. The thematic analysis of observational data and 45 interviews was informed by the domestication of technology theory.Results Our findings indicate that digital health technologies need to create and extend connections with health professionals, be incorporated into users’ daily routines, and be personalised according to users’ technological competencies and interest in assuming a proactive or more passive role in monitoring their condition.Conclusions Users' patterns of engagement with health technology changes over time and varies according to their need and capacity to use the technology. Incorporating diverse user experiences in the development and maintenance of mobile-health systems is likely to increase the extent of successful uptake and impacts on outcomes for patients and providers.%U http://dhj.sagepub.com/content/spdhj/2/2055207616671461.full.pd

Influencia de la fracción mixta y de hormigón en las prestaciones mecánicas de los hormigones reciclados

[ES] La utilización de áridos reciclados en el ámbito de la ingeniería civil ha incrementado en los últimos años, representando en 2014 un 8% de la producción total de áridos a nivel europeo. La actual Instrucción Española de Hormigón Estructural (EHE-08) permite la incorporación parcial (< 20% peso) de áridos reciclados gruesos de hormigón como sustitutos de los áridos convencionales. El presente trabajo de investigación persigue analizar el efecto de utilizar simultáneamente la incorporación parcial (50%) de arena reciclada (hormigón o mixta) con árido grueso reciclado de hormigón (50%) en las prestaciones finales de los hormigones reciclados con fines estructurales. Para alcanzar este ítem, se caracterizó primeramente los áridos empleados, para posteriormente proceder al diseño y fabricación de las mezclas objeto de estudio. A continuación, se llevó a cabo la caracterización física (densidad y consistencia) y mecánicas (compresión, tracción y flexión) de los nuevos hormigones. Resultado de este estudio se observa que la incorporación de la fracción fina y gruesa reciclada no afecta nocivamente en las prestaciones finales de los mismos pudiendo ser empleados en el sector de la construcción y contribuyendo al actual modelo de economía circular.Este estudio ha sido realizado gracias a la financiación de los proyectos de investigación BIA 2013-48876-C3-1-R, BIA 2013-48876-C3-2-R y BIA2016-76643-C3-1-R concedidos por el Ministerio de Ciencias e Innovación, así como por la ayuda GR-15064 concedida al grupo de investigación MATERIA por parte de la Junta de Extremadura y el Fondo Europeo de Desarrollo Regional – FEDER.Medina, C.; Plaza, P.; Velardo, P.; Matías, A.; Sánchez De Rojas, M.; Sáez Del Bosque, I. (2018). Influencia de la fracción mixta y de hormigón en las prestaciones mecánicas de los hormigones reciclados. En HAC 2018. V Congreso Iberoamericano de hormigón autocompactable y hormigones especiales. Editorial Universitat Politècnica de València. 691-700. https://doi.org/10.4995/HAC2018.2018.6447OCS69170

Supporting people with type 2 diabetes in effective use of their medicine through mobile health technology integrated with clinical care (SuMMiT-D pilot): results of a feasibility randomised trial

BACKGROUND: The purpose of this 6-month intervention pilot feasibility randomised trial was to test sending brief messages using mobile phones to promote self-management through taking medication as prescribed to people with type 2 diabetes. This was to inform the design and conduct of a future large-scale United Kingdom-based clinical trial and establish the feasibility of recruitment, the technology used, follow-up, and data collection. METHODS: A multicentre individually randomised, controlled parallel group trial in primary care, recruiting adults (≥ 35 years) with type 2 diabetes in England. Consenting participants were randomly allocated to receive short message system text messages up to four times a week, or usual care, for a period of 6 months; messages contained behavioural change techniques targeting medication use. The primary outcome was the rate of recruitment to randomisation of participants to the trial with a planned rate of 22 participants randomised per month. The study also aimed to establish the feasibility of follow-up at 6 months, with an aim of retaining more than 80% of participants. Data, including patient-reported measures, were collected at baseline and the end of the 6-month follow-up period, and a notes review was completed at 24 months. RESULTS: A multicentre individually randomised, controlled parallel group trial in primary care, recruiting adults (≥ 35 years) with type 2 diabetes in England. Consenting participants were randomly allocated to receive short message system text messages up to four times a week, or usual care, for a period of 6 months; messages contained behavioural change techniques targeting medication use. The primary outcome was the rate of recruitment to randomisation of participants to the trial with a planned rate of 22 participants randomised per month. The study also aimed to establish the feasibility of follow-up at 6 months, with an aim of retaining more than 80% of participants. Data, including patient-reported measures, were collected at baseline and the end of the 6-month follow-up period, and a notes review was completed at 24 months. CONCLUSION: The feasibility of a large-scale randomised evaluation of brief message intervention for people with type 2 diabetes appears to be high using this efficient design. Failure rate of sending messages is low, rapid recruitment was achieved among people with type 2 diabetes, clinical data is available on participants from routine medical records and self-report of economic measures was acceptable

Blood pressure monitoring in high-risk pregnancy to improve the detection and monitoring of hypertension (the BUMP 1 and 2 trials): protocol for two linked randomised controlled trials.

INTRODUCTION: Self-monitoring of blood pressure (BP) in pregnancy could improve the detection and management of pregnancy hypertension, while also empowering and engaging women in their own care. Two linked trials aim to evaluate whether BP self-monitoring in pregnancy improves the detection of raised BP during higher risk pregnancies (BUMP 1) and whether self-monitoring reduces systolic BP during hypertensive pregnancy (BUMP 2). METHODS AND ANALYSES: Both are multicentre, non-masked, parallel group, randomised controlled trials. Participants will be randomised to self-monitoring with telemonitoring or usual care. BUMP 1 will recruit a minimum of 2262 pregnant women at higher risk of pregnancy hypertension and BUMP 2 will recruit a minimum of 512 pregnant women with either gestational or chronic hypertension. The BUMP 1 primary outcome is the time to the first recording of raised BP by a healthcare professional. The BUMP 2 primary outcome is mean systolic BP between baseline and delivery recorded by healthcare professionals. Other outcomes will include maternal and perinatal outcomes, quality of life and adverse events. An economic evaluation of BP self-monitoring in addition to usual care compared with usual care alone will be assessed across both study populations within trial and with modelling to estimate long-term cost-effectiveness. A linked process evaluation will combine quantitative and qualitative data to examine how BP self-monitoring in pregnancy is implemented and accepted in both daily life and routine clinical practice. ETHICS AND DISSEMINATION: The trials have been approved by a Research Ethics Committee (17/WM/0241) and relevant research authorities. They will be published in peer-reviewed journals and presented at national and international conferences. If shown to be effective, BP self-monitoring would be applicable to a large population of pregnant women. TRIAL REGISTRATION NUMBER: NCT03334149

Supporting people with type 2 diabetes in effective use of their medicine through mobile health technology integrated with clinical care (SuMMiT-D Feasibility): a randomised feasibility trial protocol

Introduction: Type 2 diabetes is common, affecting over 400 million people worldwide. Risk of serious complications can be reduced through use of effective treatments and active self-management. However, people are often concerned about starting new medicines and face difficulties in taking them regularly. Use of brief messages to provide education and support self-management, delivered through mobile phone-based text-messages can be an effective tool for some long-term conditions. We have developed messages aiming to support patients’ self-management of type 2 diabetes in the use of medications and other aspects of self-management, underpinned by theory and evidence. The aim of this trial is to determine the feasibility of a large-scale clinical trial to test the effectiveness and cost-effectiveness of the intervention, compared to usual care. Methods and analysis: The feasibility trial will be a multi-centre individually randomised, controlled trial in primary care recruiting adults (≥35 years) with type 2 diabetes in England. Consenting participants will be randomised to receive short text-messages three times a week with messages designed to produce change in medication adherence or non-health related messages for six months. The aims are to test recruitment methods, retention to the study, the feasibility of data collection and the mobile-phone and web-based processes of a proposed definitive trial and to refine the text messaging intervention. The primary outcome is the rate of recruitment to randomisation of participants to the trial. Data, including patient reported measures, will be collected online at baseline and the end of the six-month follow-up period. With 200 participants (100 in each group), this trial is powered to estimate 80% follow up within 95% confidence intervals of 73.8% to 85.3%. The analysis will follow a pre-specified plan. Ethics and Dissemination: Ethics approval was obtained from the West of Scotland Research Ethics Committee 05. The results will be disseminated through conference presentations, peer-reviewed journals and will be published on the trial website: www.summit-d.org.</p