A coordination model for interactive components

Although presented with a variety of ‘flavours’, the notion of an interactor, as an abstract characterisation of an interactive com- ponent, is well-known in the area of formal modelling techniques for interactive systems. This paper replaces traditional, hierarchical, ‘tree-like’ composition of interactors in the specification of complex interactive sys- tems, by their exogenous coordination through general-purpose software connectors which assure the flow of data and the meet of synchronisation constraints. The paper’s technical contribution is twofold. First a modal logic is defined to express behavioural properties of both interactors and connectors. The logic is new in the sense that its modalities are indexed by fragments of sets of actions to cater for action co-occurrence. Then, this logic is used in the specification of both interactors and coordination layers which orchestrate their interconnection

Motion of influential players can support cooperation in Prisoner's Dilemma

We study a spatial Prisoner's dilemma game with two types (A and B) of players located on a square lattice. Players following either cooperator or defector strategies play Prisoner's Dilemma games with their 24 nearest neighbors. The players are allowed to adopt one of their neighbor's strategy with a probability dependent on the payoff difference and type of the given neighbor. Players A and B have different efficiency in the transfer of their own strategy therefore the strategy adoption probability is reduced by a multiplicative factor (w < 1) from the players of type B. We report that the motion of the influential payers (type A) can improve remarkably the maintenance of cooperation even for their low densities.Comment: 7 pages, 7 figure

Analytical Results for Individual and Group Selection of Any Intensity

The idea of evolutionary game theory is to relate the payoff of a game to reproductive success (= fitness). An underlying assumption in most models is that fitness is a linear function of the payoff. For stochastic evolutionary dynamics in finite populations, this leads to analytical results in the limit of weak selection, where the game has a small effect on overall fitness. But this linear function makes the analysis of strong selection difficult. Here, we show that analytical results can be obtained for any intensity of selection, if fitness is defined as an exponential function of payoff. This approach also works for group selection (= multi-level selection). We discuss the difference between our approach and that of inclusive fitness theory

The meaning of negation in the second language classroom: evidence from 'any'

This article brings together an experimental study involving L2 knowledge of negation in English and an analysis of how English language textbooks treat negation, in order to consider whether textbook explanations of negation could better exploit linguistic insights into negation. We focus on the English negative polarity item any, whose distribution is contingent on negation, whether through the explicit negator not or through lexical semantic negators (e.g. hardly). Our experiment compares Chinese-speaking learners with existing data from Arabic-speaking learners, finding lower accuracy on any with lexical semantic negators in both groups. Our textbook analysis reveals an approach to negation that is limited to form, focusing on the explicit negator not without explicit treatment of other types of negation. We propose that emphasizing the meaning of negation, with explicit treatment of the full range of negative forms could facilitate more complete acquisition across a range of grammatical properties where negation plays a role

Mammographic Density Decline, Tamoxifen Response, and Prognosis by Molecular Characteristics of Estrogen Receptor-Positive Breast Cancer

Background: Mammographic breast density (MBD) decline post-tamoxifen initiation is a favorable prognostic factor in estrogen receptor (ER)-positive breast cancer (BC) and has potential utility as a biomarker of tamoxifen response. However, the prognostic value of MBD decline may vary by molecular characteristics among ER-positive patients. Methods: We investigated associations between MBD decline (≥10% vs <10%) and breast cancer-specific mortality (BCSM) among ER-positive breast cancer patients aged 36-87 years at diagnosis treated with tamoxifen at Kaiser Permanente Northwest (1990-2008). Patients who died of BC (case patients; n = 62) were compared with those who did not (control patients; n = 215) overall and by tumor molecular characteristics (immunohistochemistry [IHC]-based subtype [luminal A-like: ER-positive/progesterone receptor [PR]-positive/HER2-negative/low Ki67; luminal B-like: ER-positive and 1 or more of PR-negative, HER2-positive, high Ki67] and modified IHC [mIHC]-based recurrence score of ER/PR/Ki67). Percent MBD was measured in the unaffected breast at baseline mammogram (mean = 6 months before tamoxifen initiation) and follow-up (mean = 12 months post-tamoxifen initiation). Adjusted odds ratios (ORs) and 95% confidence intervals (CIs) were computed from logistic regression models. All statistical tests were 2-sided. Results: MBD decline was statistically significantly associated with reduced risk of BCSM overall (OR = 0.38, 95% CI = 0.15 to 0.92). This association was, however, stronger among women with aggressive tumor characteristics including luminal B-like (OR = 0.17, 95% CI = 0.04 to 0.73) vs A-like (OR = 0.74, 95% CI = 0.19 to 2.92); large (OR = 0.26, 95% CI = 0.08 to 0.78) vs small (OR = 0.41, 95% CI = 0.04 to 3.79) tumors; PR-negative (OR = 0.02, 95% CI = 0.001 to 0.37) vs PR-positive (OR = 0.50, 95% CI = 0.18 to 1.40) disease; and high (OR = 0.25, 95% CI = 0.07 to 0.93) vs low (OR = 0.44, 95% CI = 0.10 to 2.09) mIHC3 score. Conclusion: The findings support MBD decline as a prognostic marker of tamoxifen response among patients with aggressive ER-positive BC phenotypes, for whom understanding treatment effectiveness is critical

Mitigating risk of exceeding environmental limits requires ambitious food system interventions

Transforming the global food system is necessary to avoid exceeding planetary boundaries. A robust evidence base is crucial to assess the scale and combination of interventions required for a sustainable transformation. We developed a risk assessment framework, underpinned by a meta-regression of 60 global food system modeling studies, to quantify the potential of individual and combined interventions to mitigate the risk of exceeding the boundaries for land-system change, freshwater use, climate change, and biogeochemical flows by 2050. Limiting the risk of exceedance across four key planetary boundaries requires a high but plausible level of ambition in all demand-side (diet, population, waste) and most supply-side interventions. Attaining the required level of ambition for all interventions relies on embracing synergistic actions across the food system

A Pre-Landing Assessment of Regolith Properties at the InSight Landing Site

This article discusses relevant physical properties of the regolith at the Mars InSight landing site as understood prior to landing of the spacecraft. InSight will land in the northern lowland plains of Mars, close to the equator, where the regolith is estimated to be ≥3--5 m thick. These investigations of physical properties have relied on data collected from Mars orbital measurements, previously collected lander and rover data, results of studies of data and samples from Apollo lunar missions, laboratory measurements on regolith simulants, and theoretical studies. The investigations include changes in properties with depth and temperature. Mechanical properties investigated include density, grain-size distribution, cohesion, and angle of internal friction. Thermophysical properties include thermal inertia, surface emissivity and albedo, thermal conductivity and diffusivity, and specific heat. Regolith elastic properties not only include parameters that control seismic wave velocities in the immediate vicinity of the Insight lander but also coupling of the lander and other potential noise sources to the InSight broadband seismometer. The related properties include Poisson’s ratio, P- and S-wave velocities, Young’s modulus, and seismic attenuation. Finally, mass diffusivity was investigated to estimate gas movements in the regolith driven by atmospheric pressure changes. Physical properties presented here are all to some degree speculative. However, they form a basis for interpretation of the early data to be returned from the InSight mission.Additional co-authors: Nick Teanby and Sharon Keda

Energy loss due to defect formation from 206Pb recoils in SuperCDMS germanium detectors

The Super Cryogenic Dark Matter Search experiment at the Soudan Underground Laboratory studied energy loss associated with defect formation in germanium crystals at mK temperatures using in situ 210Pb sources. We examine the spectrum of 206Pb nuclear recoils near its expected 103 keV endpoint energy and determine an energy loss of (6:08 ± 0:18)%, which we attribute to defect formation. From this result and using TRIM simulations, we extract the first experimentally determined average displacement threshold energy of 19.7+0.6−0.5 eV for germanium. This has implications for the analysis thresholds of future germanium-based dark matter searches

Structural variation analysis of 6,500 whole genome sequences in amyotrophic lateral sclerosis

There is a strong genetic contribution to Amyotrophic lateral sclerosis (ALS) risk, with heritability estimates of up to 60%. Both Mendelian and small effect variants have been identified, but in common with other conditions, such variants only explain a little of the heritability. Genomic structural variation might account for some of this otherwise unexplained heritability. We therefore investigated association between structural variation in a set of 25 ALS genes, and ALS risk and phenotype. As expected, the repeat expansion in the C9orf72 gene was identified as associated with ALS. Two other ALS-associated structural variants were identified: inversion in the VCP gene and insertion in the ERBB4 gene. All three variants were associated both with increased risk of ALS and specific phenotypic patterns of disease expression. More than 70% of people with respiratory onset ALS harboured ERBB4 insertion compared with 25% of the general population, suggesting respiratory onset ALS may be a distinct genetic subtype