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

Can gas in young debris disks be constrained by their radial brightness profiles?

Disks around young stars are known to evolve from optically thick, gas-dominated protoplanetary disks to optically thin, almost gas-free debris disks. It is thought that the primordial gas is largely removed at ages of ~10 Myr, but it is difficult to discern the true gas densities from gas observations. This suggests using observations of dust: it has been argued that gas, if present with higher densities, would lead to flatter radial profiles of the dust density and surface brightness than those actually observed. However, here we show that these profiles are surprisingly insensitive to variation of the parameters of a central star, location of the dust-producing planetesimal belt, dustiness of the disk and - most importantly - the parameters of the ambient gas. This result holds for a wide range of gas densities (three orders of magnitude), for different radial distributions of the gas temperature, and different gas compositions. The brightness profile slopes of -3...-4 we find are the same that were theoretically found for gas-free debris disks, and they are the same as actually retrieved from observations of many debris disks. Our specific results for three young (10-30 Myr old), spatially resolved, edge-on debris disks (beta Pic, HD 32297, and AU Mic) show that the observed radial profiles of the surface brightness do not pose any stringent constraints on the gas component of the disk. We cannot exclude that outer parts of the systems may have retained substantial amounts of primordial gas which is not evident in the gas observations (e.g. as much as 50 Earth masses for beta Pic). However, the possibility that gas, most likely secondary, is only present in little to moderate amounts, as deduced from gas detections (e.g. ~0.05 Earth masses in the beta Pic disk), remains open, too.Comment: Accepted for publication in Astronomy and Astrophysic

Evolutionary dynamics of a common sub-Antarctic octocoral family

Sequence data were obtained for five different loci, both mitochondrial (cox1, mtMutS, 16S) and nuclear (18S, 28S rDNA), from 64 species representing 25 genera of the common deep-sea octocoral family Primnoidae. We tested the hypothesis that Primnoidae have an Antarctic origin, as this is where they currently have high species richness, using Maximum likelihood and Bayesian inference methods of phylogenetic analysis. Using a time-calibrated molecular phylogeny we also investigated the time of species radiation in sub-Antarctic Primnoidae. Our relatively wide taxon sampling and phylogenetic analysis supported Primnoidae as a monophyletic family. The base of the well-supported phylogeny was Pacific in origin, indicating Primnoidae sub-Antarctic diversity is a secondary species radiation. There is also evidence for a subsequent range extension of sub-Antarctic lineages into deep-water areas of the Indian and Pacific Oceans. Conservative and speculative fossil-calibration analyses resulted in two differing estimations of sub-Antarctic species divergence times. Conservative analysis suggested a sub-Antarctic species radiation occurred ∼52 MYA (95% HPD: 36–73 MYA), potentially before the opening of the Drake Passage and Antarctic Circumpolar Current (ACC) formation (41–37 MYA). Speculative analysis pushed this radiation back into the late Jurassic, 157 MYA (95% HPD: 118–204 MYA). Genus-level groupings were broadly supported in this analysis with some notable polyphyletic exceptions: Callogorgia, Fanellia, Primnoella, Plumarella, Thouarella. Molecular and morphological evidence supports the placement of Tauroprim

A Storm in a Tea-Cup? 'Making a Difference' in Two Sure Start Children's Centres

Sure Start Children's Centres were central to the last UK Labour government in improving outcomes for children and families. Yet, participation by those who 'ought' to attend was and remains a focus of concern. Using the work of Foucault, this paper explores parental participation in two Centres to examine how 'government operates at a distance', through the everyday interactions of those who inhabit these spaces. In exploring micro-practices, the humble cup of tea can be seen, not only as a small act of caring but a site of power and struggle over what these spaces meant to parents and practitioners

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

Beyond cool: adapting upland streams for climate change using riparian woodlands

Managed adaptation could reduce the risks of climate change to the world's ecosystems, but there have been surprisingly few practical evaluations of the options available. For example, riparian woodland is advocated widely as shade to reduce warming in temperate streams, but few studies have considered collateral effects on species composition or ecosystem functions. Here, we use cross-sectional analyses at two scales (region and within streams) to investigate whether four types of riparian management, including those proposed to reduce potential climate change impacts, might also affect the composition, functional character, dynamics and energetic resourcing of macroinvertebrates in upland Welsh streams (UK). Riparian land use across the region had only small effects on invertebrate taxonomic composition, while stable isotope data showed how energetic resources assimilated by macroinvertebrates in all functional guilds were split roughly 50:50 between terrestrial and aquatic origins irrespective of riparian management. Nevertheless, streams draining the most extensive deciduous woodland had the greatest stocks of coarse particulate matter (CPOM) and greater numbers of ‘shredding’ detritivores. Stream-scale investigations showed that macroinvertebrate biomass in deciduous woodland streams was around twice that in moorland streams, and lowest of all in streams draining non-native conifers. The unexpected absence of contrasting terrestrial signals in the isotopic data implies that factors other than local land use affect the relative incorporation of allochthonous subsidies into riverine food webs. Nevertheless, our results reveal how planting deciduous riparian trees along temperate headwaters as an adaptation to climate change can modify macroinvertebrate function, increase biomass and potentially enhance resilience by increasing basal resources where cover is extensive (>60 m riparian width). We advocate greater urgency in efforts to understand the ecosystem consequences of climate change adaptation to guide future actions

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