Challenges and Directions in Formalizing the Semantics of Modeling Languages

Developing software from models is a growing practice and there exist many model-based tools (e.g., editors, interpreters, debuggers, and simulators) for supporting model-driven engineering. Even though these tools facilitate the automation of software engineering tasks and activities, such tools are typically engineered manually. However, many of these tools have a common semantic foundation centered around an underlying modeling language, which would make it possible to automate their development if the modeling language specification were formalized. Even though there has been much work in formalizing programming languages, with many successful tools constructed using such formalisms, there has been little work in formalizing modeling languages for the purpose of automation. This paper discusses possible semantics-based approaches for the formalization of modeling languages and describes how this formalism may be used to automate the construction of modeling tools

Multicentre pilot randomised clinical trial of early in-bed cycle ergometry with ventilated patients.

Introduction: Acute rehabilitation in critically ill patients can improve post-intensive care unit (post-ICU) physical function. In-bed cycling early in a patient\u27s ICU stay is a promising intervention. The objective of this study was to determine the feasibility of recruitment, intervention delivery and retention in a multi centre randomised clinical trial (RCT) of early in-bed cycling with mechanically ventilated (MV) patients. Methods: We conducted a pilot RCT conducted in seven Canadian medical-surgical ICUs. We enrolled adults who could ambulate independently before ICU admission, within the first 4 days of invasive MV and first 7 days of ICU admission. Following informed consent, patients underwent concealed randomisation to either 30 min/day of in-bed cycling and routine physiotherapy (Cycling) or routine physiotherapy alone (Routine) for 5 days/week, until ICU discharge. Our feasibility outcome targets included: accrual of 1-2 patients/month/site; \u3e80% cycling protocol delivery; \u3e80% outcomes measured and \u3e80% blinded outcome measures at hospital discharge. We report ascertainment rates for our primary outcome for the main trial (Physical Function ICU Test-scored (PFIT-s) at hospital discharge). Results: Between 3/2015 and 6/2016, we randomised 66 patients (36 Cycling, 30 Routine). Our consent rate was 84.6 % (66/78). Patient accrual was (mean (SD)) 1.1 (0.3) patients/month/site. Cycling occurred in 79.3% (146/184) of eligible sessions, with a median (IQR) session duration of 30.5 (30.0, 30.7) min. We recorded 43 (97.7%) PFIT-s scores at hospital discharge and 37 (86.0%) of these assessments were blinded. Discussion: Our pilot RCT suggests that a future multicentre RCT of early in-bed cycling for MV patients in the ICU is feasible. Trial registration number: NCT02377830

A micro costing of NHS cancer genetic services

This paper presents the first full micro costing of a commonly used cancer genetic counselling and testing protocol used in the UK. Costs were estimated for the Cardiff clinic of the Cancer Genetics Service in Wales by issuing a questionnaire to all staff, conducting an audit of clinic rooms and equipment and obtaining gross unit costs from the finance department. A total of 22 distinct event pathways were identified for patients at risk of developing breast, ovarian, breast and ovarian or colorectal cancer. The mean cost per patient were £97–£151 for patients at moderate risk, £975–£3072 for patients at high risk of developing colorectal cancer and £675–£2909 for patients at high risk of developing breast or ovarian cancer. The most expensive element of cancer genetic services was labour. Labour costs were dependent upon the amount of labour, staff grade, number of counsellors used and the proportion of staff time devoted to indirect patient contact. With the growing demand for cancer genetic services and the growing number of national and regional cancer genetic centers, there is a need for the different protocols being used to be thoroughly evaluated in terms of costs and outcomes

The meta-crisis of secular capitalism

The current global economic crisis concerns the way in which contemporary capitalism has turned to financialisation as a double cure for both a falling rate of profit and a deficiency of demand. Although this turning is by no means unprecedented, policies of financialisation have depressed demand (in part as a result of the long-term stagnation of average wages) while at the same time not proving adequate to restore profits and growth. This paper argues that the current crisis is less the ‘normal’ one that has to do with a constitutive need to balance growth of abstract wealth with demand for concrete commodities. Rather, it marks a meta-crisis of capitalism that is to do with the difficulties of sustaining abstract growth as such. This meta-crisis is the tendency at once to abstract from the real economy of productive activities and to reduce everything to its bare materiality. By contrast with a market economy that binds material value to symbolic meaning, a capitalist economy tends to separate matter from symbol and reduce materiality to calculable numbers representing ‘wealth’. Such a conception of wealth rests on the aggregation of abstract numbers that cuts out all the relational goods and the ‘commons’ on which shared prosperity depends

Intermittent auscultation versus continuous fetal monitoring: Exploring factors that influence birthing unit nurses' fetal surveillance practice using theoretical domains framework

Background: Intermittent Auscultation (IA) is the recommended method of fetal surveillance for healthy women in labour. However, the majority of women receive continuous electronic monitoring. We used the Theoretical Domains Framework (TDF) to explore the views of Birthing Unit nurses about using IA as their primary method of fetal surveillance for healthy women in labour. Methods: Using a semi-structured interview guide, we interviewed a convenience sample of birthing unit nurses throughout Ontario, Canada to elicit their views about fetal surveillance. Interviews were recorded and transcribed verbatim. Transcripts were content analysed using the TDF and themes were framed as belief statements. Domains potentially key to changing fetal surveillance behaviour and informing intervention design were identified by noting the frequencies of beliefs, content, and their reported influence on the use of IA Results: We interviewed 12 birthing unit nurses. Seven of the 12 TDF domains were perceived to be key to changing birthing unit nurses' behaviour The nurses reported that competing tasks, time constraints and the necessity to multitask often limit their ability to perform IA (domains Beliefs about capabilities; Environmental context and resources). Some nurses noted the decision to use IA was something that they consciously thought about with every patient while others stated it their default decision as long as there were no risk factors (Memory, attention and decision processes, Nature of behaviour). They identified positive consequences (e.g. avoid unnecessary interventions, mother-centered care) and negative consequences of using IA (e.g. legal concerns) and reported that the negative consequences can often outweigh positive consequences (Beliefs about consequences). Some reported that hospital policies and varying support from care teams inhibited their use of IA (Social influences), and that support from the entire team and hospital management would likely increase their use (Social influences; Behavioural regulation). Conclusion: We identified potential influences on birthing unit nurses' use of IA as their primary method of fetal surveillance. These beliefs suggest potential targets for behaviour change interventions to promote IA use

Establishment Failure in Biological Invasions: A Case History of Littorina littorea in California, USA

The early stages of biological invasions are rarely observed, but can provide significant insight into the invasion process as well as the influence vectors have on invasion success or failure.We characterized three newly discovered populations of an introduced gastropod, Littorina littorea (Linné, 1758), in California, USA, comparing them to potential source populations in native Europe and the North American East Coast, where the snail is also introduced. Demographic surveys were used to assess spatial distribution and sizes of the snail in San Francisco and Anaheim Bays, California. Mitochondrial DNA was sequenced and compared among these nascent populations, and various populations from the North American East Coast and Europe, to characterize the California populations and ascertain their likely source. Demographic and genetic data were considered together to deduce likely vectors for the California populations. We found that the three large California L. littorea populations contained only adult snails and had unexpectedly high genetic diversity rather than showing an extreme bottleneck as typically expected in recent introductions. Haplotype diversity in Californian populations was significantly reduced compared to European populations, but not compared to East Coast populations. Genetic analyses clearly suggested the East Coast as the source region for the California introductions.The California L. littorea populations were at an early, non-established phase of invasion with no evidence of recruitment. The live seafood trade is the most likely invasion vector for these populations, as it preferentially transports large numbers of adult L. littorea, matching the demographic structure of the introduced California L. littorea populations. Our results highlight continued operation of live seafood trade vectors and the influence of vectors on the demographic and genetic structure of the resulting populations, especially early stages of the invasion process

Search for OB stars running away from young star clusters. I. NGC 6611

N-body simulations have shown that the dynamical decay of the young (~1 Myr) Orion Nebula cluster could be responsible for the loss of at least half of its initial content of OB stars. This result suggests that other young stellar systems could also lose a significant fraction of their massive stars at the very beginning of their evolution. To confirm this expectation, we used the Mid-Infrared Galactic Plane Survey (completed by the Midcourse Space Experiment satellite) to search for bow shocks around a number of young (\la several Myr) clusters and OB associations. We discovered dozens of bow shocks generated by OB stars running away from these stellar systems, supporting the idea of significant dynamical loss of OB stars. In this paper, we report the discovery of three bow shocks produced by O-type stars ejected from the open cluster NGC6611 (M16). One of the bow shocks is associated with the O9.5Iab star HD165319, which was suggested to be one of "the best examples for isolated Galactic high-mass star formation" (de Wit et al. 2005, A&A, 437, 247). Possible implications of our results for the origin of field OB stars are discussed.Comment: 6 pages, 5 figures, accepted for publication in A&

Globalisation from Above? Corporate Social Responsibility, the Workers' Party and the Origins of the World Social Forum

In its assessment of the origins and early development of the World Social Forum this article challenges traditional understandings of the Forum as representing ‘globalisation from below’. By tracing the intricate relations among elements of business, civil society, and the Workers’ Party in the first years of the Forum, this article reveals the major role played by a corporate movement stemming from the Brazilian democratisation process in the 1980s, and how this combined with the transformed agenda of the Workers’ Party as it gained higher political offices to constrain the Forum’s activities from the outset. In so doing, this article challenges not only widespread conceptions of the Forum as a counter‐hegemonic alternative but also current critiques concerning its subsequent limitations. Furthermore, it reveals how traditional understandings of the World Social Forum and of global civil society are underpinned by flawed assumptions which typecast political activities in the global ‘South’

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