Goal setting for persuasive information systems: Five reference checklists

The concept of goals is prominent in information systems and also artificial intelligence literature such as goal-oriented requirements engineering and self-adaptive systems. Digital motivation systems, e.g. gamification and persuasive technology, utilise the concept of behavioural goals which require a different mind-set on how to elicit and set them up, how to monitor deviation from such goals and how to ensure their completion. Behavioural goals are characterised by a range of factors which are not the main focus in classic information systems and AI literature such as self-efficacy, perceived usefulness. To engineer software supporting goal setting, a concretised taxonomy of goals would help a better-managed analysis and design process. In this paper, we provide a detailed classification of behavioural goals and their associated properties and elements (types, sources, monitoring, feedback, deviation and countermeasures). As a method, we review the literature on goal setting theory and its application in different disciplines. We subsequently develop five reference checklists which would act as a reference point for researchers and practitioners in persuasive and motivational systems

Pooled analysis of WHO Surgical Safety Checklist use and mortality after emergency laparotomy

Background The World Health Organization (WHO) Surgical Safety Checklist has fostered safe practice for 10 years, yet its place in emergency surgery has not been assessed on a global scale. The aim of this study was to evaluate reported checklist use in emergency settings and examine the relationship with perioperative mortality in patients who had emergency laparotomy. Methods In two multinational cohort studies, adults undergoing emergency laparotomy were compared with those having elective gastrointestinal surgery. Relationships between reported checklist use and mortality were determined using multivariable logistic regression and bootstrapped simulation. Results Of 12 296 patients included from 76 countries, 4843 underwent emergency laparotomy. After adjusting for patient and disease factors, checklist use before emergency laparotomy was more common in countries with a high Human Development Index (HDI) (2455 of 2741, 89.6 per cent) compared with that in countries with a middle (753 of 1242, 60.6 per cent; odds ratio (OR) 0.17, 95 per cent c.i. 0.14 to 0.21, P <0001) or low (363 of 860, 422 per cent; OR 008, 007 to 010, P <0.001) HDI. Checklist use was less common in elective surgery than for emergency laparotomy in high-HDI countries (risk difference -94 (95 per cent c.i. -11.9 to -6.9) per cent; P <0001), but the relationship was reversed in low-HDI countries (+121 (+7.0 to +173) per cent; P <0001). In multivariable models, checklist use was associated with a lower 30-day perioperative mortality (OR 0.60, 0.50 to 073; P <0.001). The greatest absolute benefit was seen for emergency surgery in low- and middle-HDI countries. Conclusion Checklist use in emergency laparotomy was associated with a significantly lower perioperative mortality rate. Checklist use in low-HDI countries was half that in high-HDI countries.Peer reviewe

Global variation in anastomosis and end colostomy formation following left-sided colorectal resection

Background End colostomy rates following colorectal resection vary across institutions in high-income settings, being influenced by patient, disease, surgeon and system factors. This study aimed to assess global variation in end colostomy rates after left-sided colorectal resection. Methods This study comprised an analysis of GlobalSurg-1 and -2 international, prospective, observational cohort studies (2014, 2016), including consecutive adult patients undergoing elective or emergency left-sided colorectal resection within discrete 2-week windows. Countries were grouped into high-, middle- and low-income tertiles according to the United Nations Human Development Index (HDI). Factors associated with colostomy formation versus primary anastomosis were explored using a multilevel, multivariable logistic regression model. Results In total, 1635 patients from 242 hospitals in 57 countries undergoing left-sided colorectal resection were included: 113 (6·9 per cent) from low-HDI, 254 (15·5 per cent) from middle-HDI and 1268 (77·6 per cent) from high-HDI countries. There was a higher proportion of patients with perforated disease (57·5, 40·9 and 35·4 per cent; P < 0·001) and subsequent use of end colostomy (52·2, 24·8 and 18·9 per cent; P < 0·001) in low- compared with middle- and high-HDI settings. The association with colostomy use in low-HDI settings persisted (odds ratio (OR) 3·20, 95 per cent c.i. 1·35 to 7·57; P = 0·008) after risk adjustment for malignant disease (OR 2·34, 1·65 to 3·32; P < 0·001), emergency surgery (OR 4·08, 2·73 to 6·10; P < 0·001), time to operation at least 48 h (OR 1·99, 1·28 to 3·09; P = 0·002) and disease perforation (OR 4·00, 2·81 to 5·69; P < 0·001). Conclusion Global differences existed in the proportion of patients receiving end stomas after left-sided colorectal resection based on income, which went beyond case mix alone

Effect of temperature, salinity, light and time of dehiscence on seed germination and seedling morphology of Calotropis procera from urban habitats

Calotropis procera (giant milkweed) is a hardy xerophytic plant, which is distributed globally in many countries and has important economic and ecological functions. The present study aimed at estimating the effect of temperature, salinity and time of fruit dehiscence on the seed germination and seedling morphology of giant milkweed in urban habitats. Seeds were collected early (in June) and late (in December) from pre-dehiscent (EPRD, LPRD) and post-dehiscent (EPOD, LPOD) fruits. Mature seeds were 100% viable, while premature seeds did not germinate. The highest germination and mean time to germination was attained in full dark followed by dark/light, while no germination occurred at complete light. A significant difference between seeds from pre- and post-dehiscent fruits was assessed, while no significant difference between early and late seeds. Maximum germination was at 25 and 30°C, while germination was inhibited at 35°C, which demonstrates that temperature is one of the critical factors for giant milkweed seed germination. Moreover, salinity more than 2000 mg l-1 NaCl inhibited seed germination. It is likely that high temperature, direct light conditions and high salinity are the limiting factors for the establishment of giant milkweed seeds. The germination of C. procera seeds was significantly affected when germinated with Trigonella foenum-vulgare with the reduction of germination from 100 to 34%, while the later plant was not affected. C. procera is considered as an important medicinal plant; therefore, our results provide useful information for its management under different environmental conditions. Key words: Giant milkweed, seed morphology, fruit dehiscence, germination time and viability

A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocols

© Springer International Publishing Switzerland 2015. This paper presents a hybrid method for verification and synthesis of parameterized self-stabilizing protocols where algorithmic design and mechanical verification techniques/tools are used hand-inhand. The core idea behind the proposed method includes the automated synthesis of self-stabilizing protocols in a limited scope (i.e., fixed number of processes) and the use of theorem proving methods for the generalization of the solutions produced by the synthesizer. Specifically, we use the Prototype Verification System (PVS) to mechanically verify an algorithm for the synthesis of weakly self-stabilizing protocols. Then, we reuse the proof of correctness of the synthesis algorithm to establish the correctness of the generalized versions of synthesized protocols for an arbitrary number of processes. We demonstrate the proposed approach in the context of an agreement and a coloring protocol on the ring topology