Privacy, security and usability for IoT-enabled weight loss apps

© 2020 Science and Information Organization. Obesity is considered as the main health issue worldwide. The obesity rate within Saudi's citizens is rising alarmingly. The Internet of Things (IoT)-enabled mobile apps can assist obese Saudi users in losing weight via collecting sensitive personal information and then providing accurate and personalized weight loss advice. These data can be collected using embedded IoT devices in a smartphone. However, these IoT-enabled apps should be usable and able to provide data security and user privacy protection. This paper aims to continue our usability study for two Arabic weight loss IoT-enabled apps by performing a qualitative analysis for them. It discusses users' and health professionals' feedbacks, concerns and suggestions. Based on the analysis, a comprehensive usability guideline for developing a new Arabic weight loss IoT-enabled app for obese Saudi users is provided

Rewriting Logic Semantics of a Plan Execution Language

The Plan Execution Interchange Language (PLEXIL) is a synchronous language developed by NASA to support autonomous spacecraft operations. In this paper, we propose a rewriting logic semantics of PLEXIL in Maude, a high-performance logical engine. The rewriting logic semantics is by itself a formal interpreter of the language and can be used as a semantic benchmark for the implementation of PLEXIL executives. The implementation in Maude has the additional benefit of making available to PLEXIL designers and developers all the formal analysis and verification tools provided by Maude. The formalization of the PLEXIL semantics in rewriting logic poses an interesting challenge due to the synchronous nature of the language and the prioritized rules defining its semantics. To overcome this difficulty, we propose a general procedure for simulating synchronous set relations in rewriting logic that is sound and, for deterministic relations, complete. We also report on two issues at the design level of the original PLEXIL semantics that were identified with the help of the executable specification in Maude

Modeling Dynamic Spatio-Temporal Correlations for Urban Traffic Flows Prediction

Prediction of traffic crowd movement is one of the most important component in many applications' domains ranging from urban management to transportation schedule. The key challenge of citywide crowd flows prediction is how to model spatial and dynamic temporal correlation. However, in recent years several studies have been done, but they lack the ability to effectively and simultaneously model spatial and temporal dependencies among traffic crowd flows. To address this issue, in this article a novel spatio-temporal deep hybrid neural network proposed termed STD-Net to forecast citywide crowd traffic flows. More specifically, STD-Net contains four major branches, i.e., closeness, period volume, weekly volume, and external branches, respectively. We design a residual neural network unit for each property to depict the spatio-temporal features of traffic flows. For various branches, STD-Net provides distinct weights and then combines the outputs of four branches together. Extensive experiments on two large-scale datasets from New York bike and Beijing taxi have demonstrated that STD-Net achieves competitive performances the existing state-of-the-art prediction baselines

Women's entrepreneurship in Saudi Arabia:feminist solidarity and political activism in disguise?'

This paper is a longitudinal study that uses insights from postcolonial feminism to explore women’s entrepreneurship as a political form of feminist organising for social change in Saudi Arabia. Postcolonial feminist approaches challenge Western feminism, which can obscure the diversity of women’s lived experiences, agency and activism. Through Bayat’s (2013) theory of 'quiet encroachment', I identify the ways in which contemporary Western conceptualisations of feminist solidarity and social movements have dismissed ‘Other’ women’s ‘silent’, protracted and (dis)organised activism in parts of the Middle East. By exploring how Saudi women have utilised their entrepreneurial space as a legitimate platform for change, I aim to enrich understanding of women’s activism through everyday solidarity practices, which allow them to quietly encroach onto the previously forbidden political space. The findings exemplify how their activism ‘quietly’ developed over time through a three- step process - from the entrepreneur aiming to empower women within their organisation, to developing feminist consciousness within their entrepreneurial network, to becoming a ‘political activist’ lobbying for policy changes for women. These solidarity practices exemplify the West’s relationship with ‘the Other’, and reveal that feminist organising for social change must be explored within its own context in order to fully appreciate its global political potential

Prognostic model to predict postoperative acute kidney injury in patients undergoing major gastrointestinal surgery based on a national prospective observational cohort study.

Background: Acute illness, existing co-morbidities and surgical stress response can all contribute to postoperative acute kidney injury (AKI) in patients undergoing major gastrointestinal surgery. The aim of this study was prospectively to develop a pragmatic prognostic model to stratify patients according to risk of developing AKI after major gastrointestinal surgery. Methods: This prospective multicentre cohort study included consecutive adults undergoing elective or emergency gastrointestinal resection, liver resection or stoma reversal in 2-week blocks over a continuous 3-month period. The primary outcome was the rate of AKI within 7 days of surgery. Bootstrap stability was used to select clinically plausible risk factors into the model. Internal model validation was carried out by bootstrap validation. Results: A total of 4544 patients were included across 173 centres in the UK and Ireland. The overall rate of AKI was 14·2 per cent (646 of 4544) and the 30-day mortality rate was 1·8 per cent (84 of 4544). Stage 1 AKI was significantly associated with 30-day mortality (unadjusted odds ratio 7·61, 95 per cent c.i. 4·49 to 12·90; P < 0·001), with increasing odds of death with each AKI stage. Six variables were selected for inclusion in the prognostic model: age, sex, ASA grade, preoperative estimated glomerular filtration rate, planned open surgery and preoperative use of either an angiotensin-converting enzyme inhibitor or an angiotensin receptor blocker. Internal validation demonstrated good model discrimination (c-statistic 0·65). Discussion: Following major gastrointestinal surgery, AKI occurred in one in seven patients. This preoperative prognostic model identified patients at high risk of postoperative AKI. Validation in an independent data set is required to ensure generalizability

Mortality from gastrointestinal congenital anomalies at 264 hospitals in 74 low-income, middle-income, and high-income countries: a multicentre, international, prospective cohort study

Background: Congenital anomalies are the fifth leading cause of mortality in children younger than 5 years globally. Many gastrointestinal congenital anomalies are fatal without timely access to neonatal surgical care, but few studies have been done on these conditions in low-income and middle-income countries (LMICs). We compared outcomes of the seven most common gastrointestinal congenital anomalies in low-income, middle-income, and high-income countries globally, and identified factors associated with mortality. // Methods: We did a multicentre, international prospective cohort study of patients younger than 16 years, presenting to hospital for the first time with oesophageal atresia, congenital diaphragmatic hernia, intestinal atresia, gastroschisis, exomphalos, anorectal malformation, and Hirschsprung's disease. Recruitment was of consecutive patients for a minimum of 1 month between October, 2018, and April, 2019. We collected data on patient demographics, clinical status, interventions, and outcomes using the REDCap platform. Patients were followed up for 30 days after primary intervention, or 30 days after admission if they did not receive an intervention. The primary outcome was all-cause, in-hospital mortality for all conditions combined and each condition individually, stratified by country income status. We did a complete case analysis. // Findings: We included 3849 patients with 3975 study conditions (560 with oesophageal atresia, 448 with congenital diaphragmatic hernia, 681 with intestinal atresia, 453 with gastroschisis, 325 with exomphalos, 991 with anorectal malformation, and 517 with Hirschsprung's disease) from 264 hospitals (89 in high-income countries, 166 in middle-income countries, and nine in low-income countries) in 74 countries. Of the 3849 patients, 2231 (58·0%) were male. Median gestational age at birth was 38 weeks (IQR 36–39) and median bodyweight at presentation was 2·8 kg (2·3–3·3). Mortality among all patients was 37 (39·8%) of 93 in low-income countries, 583 (20·4%) of 2860 in middle-income countries, and 50 (5·6%) of 896 in high-income countries (p<0·0001 between all country income groups). Gastroschisis had the greatest difference in mortality between country income strata (nine [90·0%] of ten in low-income countries, 97 [31·9%] of 304 in middle-income countries, and two [1·4%] of 139 in high-income countries; p≤0·0001 between all country income groups). Factors significantly associated with higher mortality for all patients combined included country income status (low-income vs high-income countries, risk ratio 2·78 [95% CI 1·88–4·11], p<0·0001; middle-income vs high-income countries, 2·11 [1·59–2·79], p<0·0001), sepsis at presentation (1·20 [1·04–1·40], p=0·016), higher American Society of Anesthesiologists (ASA) score at primary intervention (ASA 4–5 vs ASA 1–2, 1·82 [1·40–2·35], p<0·0001; ASA 3 vs ASA 1–2, 1·58, [1·30–1·92], p<0·0001]), surgical safety checklist not used (1·39 [1·02–1·90], p=0·035), and ventilation or parenteral nutrition unavailable when needed (ventilation 1·96, [1·41–2·71], p=0·0001; parenteral nutrition 1·35, [1·05–1·74], p=0·018). Administration of parenteral nutrition (0·61, [0·47–0·79], p=0·0002) and use of a peripherally inserted central catheter (0·65 [0·50–0·86], p=0·0024) or percutaneous central line (0·69 [0·48–1·00], p=0·049) were associated with lower mortality. // Interpretation: Unacceptable differences in mortality exist for gastrointestinal congenital anomalies between low-income, middle-income, and high-income countries. Improving access to quality neonatal surgical care in LMICs will be vital to achieve Sustainable Development Goal 3.2 of ending preventable deaths in neonates and children younger than 5 years by 2030