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

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

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

Exacerbations in Chronic Obstructive Pulmonary Disease:Identification and Prediction Using a Digital Health System

Background: Chronic obstructive pulmonary disease (COPD) is a progressive, chronic respiratory disease with a significant socioeconomic burden. Exacerbations, the sudden and sustained worsening of symptoms, can lead to hospitalization and reduce quality of life. Major limitations of previous telemonitoring interventions for COPD include low compliance, lack of consensus on what constitutes an exacerbation, limited numbers of patients, and short monitoring periods. We developed a telemonitoring system based on a digital health platform that was used to collect data from the 1-year EDGE (Self Management and Support Programme) COPD clinical trial aiming at daily monitoring in a heterogeneous group of patients with moderate to severe COPD. Objective: The objectives of the study were as follows: first, to develop a systematic and reproducible approach to exacerbation identification and to track the progression of patient condition during remote monitoring; and second, to develop a robust algorithm able to predict COPD exacerbation, based on vital signs acquired from a pulse oximeter. Methods: We used data from 110 patients, with a combined monitoring period of more than 35,000 days. We propose a finite-state machine–based approach for modeling COPD exacerbation to gain a deeper insight into COPD patient condition during home monitoring to take account of the time course of symptoms. A robust algorithm based on short-period trend analysis and logistic regression using vital signs derived from a pulse oximeter is also developed to predict exacerbations. Results: On the basis of 27,260 sessions recorded during the clinical trial (average usage of 5.3 times per week for 12 months), there were 361 exacerbation events. There was considerable variation in the length of exacerbation events, with a mean length of 8.8 days. The mean value of oxygen saturation was lower, and both the pulse rate and respiratory rate were higher before an impending exacerbation episode, compared with stable periods. On the basis of the classifier developed in this work, prediction of COPD exacerbation episodes with 60%-80% sensitivity will result in 68%-36% specificity. Conclusions: All 3 vital signs acquired from a pulse oximeter (pulse rate, oxygen saturation, and respiratory rate) are predictive of COPD exacerbation events, with oxygen saturation being the most predictive, followed by respiratory rate and pulse rate. Combination of these vital signs with a robust algorithm based on machine learning leads to further improvement in positive predictive accuracy.</p

Central nervous system involvement in common variable immunodeficiency: A case of acute unilateral optic neuritis in a 26 -year-old Italian Patient

Common Variable Immunodeficiency (CVID) is a group of heterogeneous primary immunodeficiencies sharing defective B lymphocytes maturation and dysregulated immune response and resulting in impaired immunoglobulin production. Clinical picture encompasses increased susceptibility to infections, hematologic malignancies, inflammatory, and autoimmune diseases. Neurological manifestations are uncommon and optic neuritis has been previously reported only in one case with bilateral involvement. We hereby report a case of a 26-year-old man affected by CVID undergoing regular immunoglobulin supplementation, who presented with acute unilateral demyelinating optic neuritis and lymphocytic pleocytosis in the cerebrospinal fluid. A variety of infectious, inflammatory, and neoplastic conditions were excluded and a diagnosis of clinically isolated optic neuritis was made. The patient was treated with a short course of intravenous steroids with complete recovery. Overall, this case expands our current knowledge about clinical spectrum of complications in CVID and highlights the need for further research about this complex disease

Can Intestinal Pseudo-Obstruction Drive Recurrent Stroke-Like Episodes in Late-Onset MELAS Syndrome? A Case Report and Review of the Literature

Mitochondrial encephalomyopathy, lactic acidosis, and stroke-like episodes (MELAS) syndrome is a maternally inherited mitochondrial disorder that is most commonly caused by the m. 3243A>G mutation in the MT-TL1 mitochondrial DNA gene, resulting in impairment of mitochondrial energy metabolism. Although childhood is the typical age of onset, a small fraction (1-6%) of individuals manifest the disease after 40 years of age and usually have a less aggressive disease course. The clinicalmanifestations are variable and mainly depend on the degree of heteroplasmy in the patient's tissues and organs. They include muscle weakness, diabetes, lactic acidemia, gastrointestinal disturbances, and stroke-like episodes, which are the most commonly observed symptom. We describe the case of a 50-year-old male patient who presented with relapsing intestinal pseudo-obstruction (IPO) episodes, which led to a late diagnosis of MELAS. After diagnosis, he presented several stroke-like episodes in a short time period and developed a rapidly progressive cognitive decline, which unfortunately resulted in his death. We describe the variable clinical manifestations of MELAS syndrome in this atypical and relatively old patient, with a focus on paralytic ileus and stroke-like episodes; the first symptom may have driven the others, leading to a relentless decline. Moreover, we provide a brief revision of previous reports of IPO occurrence in MELAS patients with the m. 3243A>G mutation, and we investigate its relationship with stroke-like episodes. Our findings underscore the importance of recognizing gastrointestinal disturbance to prevent neurological comorbidities

A geo-chemo-mechanical study of a highly polluted marine system (Taranto, Italy) for the enhancement of the conceptual site model

The paper presents the results of the analysis of the geo-chemo-mechanical data gathered through an innovative multidisciplinary investigation campaign in the Mar Piccolo basin, a heavily polluted marine bay aside the town of Taranto (Southern Italy). The basin is part of an area declared at high environmental risk by the Italian government. The cutting-edge approach to the environmental characterization of the site was promoted by the Special Commissioner for urgent measures of reclamation, environmental improvements and redevelopment of Taranto and involved experts from several research fields, who cooperated to gather a new insight into the origin, distribution, mobility and fate of the contaminants within the basin. The investigation campaign was designed to implement advanced research methodologies and testing strategies. Differently from traditional investigation campaigns, aimed solely at the assessment of the contamination state within sediments lying in the top layers, the new campaign provided an interpretation of the geo-chemo-mechanical properties and state of the sediments forming the deposit at the seafloor. The integrated, multidisciplinary and holistic approach, that considered geotechnical engineering, electrical and electronical engineering, geological, sedimentological, mineralogical, hydraulic engineering, hydrological, chemical, geochemical, biological fields, supported a comprehensive understanding of the influence of the contamination on the hydro-mechanical properties of the sediments, which need to be accounted for in the selection and design of the risk mitigation measures. The findings of the research represent the input ingredients of the conceptual model of the site, premise to model the evolutionary contamination scenarios within the basin, of guidance for the environmental risk management. The study testifies the importance of the cooperative approach among researchers of different fields to fulfil the interpretation of complex polluted eco-systems

On Collaborator Selection in Creative Agent Societies : An Evolutionary Art Case Study

We study how artistically creative agents may learn to select favorable collaboration partners. We consider a society of creative agents with varying skills and aesthetic preferences able to interact with each other by exchanging artifacts or through collaboration. The agents exhibit interaction awareness by modeling their peers and make decisions about collaboration based on the learned peer models. To test the peer models, we devise an experimental collaboration process for evolutionary art, where two agents create an artifact by evolving the same artifact set in turns. In an empirical evaluation, we focus on how effective peer models are in selecting collaboration partners and compare the results to a baseline where agents select collaboration partners randomly. We observe that peer models guide the agents to more beneficial collaborations.Peer reviewe

Acromegaly is associated with increased cancer risk: A survey in Italy

It is debated if acromegalic patients have an increased risk to develop malignancies. The aim of the present study was to assess the standardized incidence ratios (SIRs) of different types of cancer in acromegaly on a large series of acromegalic patients managed in the somatostatin analogs era. It was evaluated the incidence of cancer in an Italian nationwide multicenter cohort study of 1512 acromegalic patients, 624 men and 888 women, mean age at diagnosis 45 \uc2\ub1 13 years, followed up for a mean of 10 years (12573 person-years) in respect to the general Italian population. Cancer was diagnosed in 124 patients, 72 women and 52 men. The SIRs for all cancers was significantly increased compared to the general Italian population (expected: 88, SIR 1.41; 95% CI, 1.18-1.68, P &lt; 0.001). In the whole series, we found a significantly increased incidence of colorectal cancer (SIR 1.67; 95% CI, 1.07-2.58, P = 0.022), kidney cancer (SIR 2.87; 95% CI, 1.55-5.34, P &lt; 0.001) and thyroid cancer (SIR 3.99; 95% CI, 2.32-6.87, P &lt; 0.001). The exclusion of 11 cancers occurring before diagnosis of acromegaly (all in women) did not change remarkably the study outcome. In multivariate analysis, the factors significantly associated with an increased risk of malignancy were age and family history of cancer, with a non-significant trend for the estimated duration of acromegaly before diagnosis. In conclusion, we found evidence that acromegaly in Italy is associated with a moderate increase in cancer risk