Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions

In this paper we turn the spotlight on a class of lexicographic ranking functions introduced by Bradley, Manna and Sipma in a seminal CAV 2005 paper, and establish for the first time the complexity of some problems involving the inference of such functions for linear-constraint loops (without precondition). We show that finding such a function, if one exists, can be done in polynomial time in a way which is sound and complete when the variables range over the rationals (or reals). We show that when variables range over the integers, the problem is harder -- deciding the existence of a ranking function is coNP-complete. Next, we study the problem of minimizing the number of components in the ranking function (a.k.a. the dimension). This number is interesting in contexts like computing iteration bounds and loop parallelization. Surprisingly, and unlike the situation for some other classes of lexicographic ranking functions, we find that even deciding whether a two-component ranking function exists is harder than the unrestricted problem: NP-complete over the rationals and $\Sigma^P_2$-complete over the integers.Comment: Technical report for a corresponding CAV'15 pape

Traffic pollution and the incidence of cardiorespiratory outcomes in an adult cohort in London.

OBJECTIVES: The epidemiological evidence for adverse health effects of long-term exposure to air and noise pollution from traffic is not coherent. Further, the relative roles of background versus near traffic pollution concentrations in this process are unclear. We investigated relationships between modelled concentrations of air and noise pollution from traffic and incident cardiorespiratory disease in London. METHODS: Among 211 016 adults aged 40-79 years registered in 75 Greater London practices between 2005 and 2011, the first diagnosis for a range of cardiovascular and respiratory outcomes were identified from primary care and hospital records. Annual baseline concentrations for nitrogen oxide (NOx), particulate matter with a median aerodynamic diameter <2.5 μm (PM2.5) attributable to exhaust and non-exhaust sources, traffic intensity and noise were estimated at 20 m(2) resolution from dispersion models, linked to clinical data via residential postcode. HRs were adjusted for confounders including smoking and area deprivation. RESULTS: The largest observed associations were between traffic-related air pollution and heart failure (HR=1.10 for 20 μg/m(3) change in NOx, 95% CI 1.01 to 1.21). However, no other outcomes were consistently associated with any of the pollution indicators, including noise. The greater variations in modelled air pollution from traffic between practices, versus within, hampered meaningful fine spatial scale analyses. CONCLUSIONS: The associations observed with heart failure may suggest exacerbatory effects rather than underlying chronic disease. However, the overall failure to observe wider associations with traffic pollution may reflect that exposure estimates based on residence inadequately represent the relevant pattern of personal exposure, and future studies must address this issue

Awareness without learning: A preliminary study exploring the effects of beachgoer's experiences on risk taking behaviours

Most drowning deaths on Australian beaches occur in locations not patrolled by lifeguards. At patrolled locations, where lifeguards supervise flagged areas in which beachgoers are encouraged to swim between, the incidence of drowning is reduced. To date, risk prevention practices on coasts focus on patrolled beaches, deploying warning signs at unpatrolled locations with the aim of raising public awareness of risk. What remains unexplored is the potential for learning and behaviour change that can transfer from patrolled to unpatrolled beaches through beachgoer's experiences and interactions with lifeguards. The aim of this preliminary study is to explore the risk perceptions of beachgoers at a patrolled beach to establish if and how their experiences of beach risk and interactions with lifeguards affect their behaviours. Data was collected in Gerroa, Australia by engaging 49 beachgoers using a mixed survey-interview methodology. Results show that beachgoers are aware that they should ‘swim between the flags’, but many did not know the basis for the positioning of safety flags. A key finding is that beachgoer's express a clear desire for a skills-based model of community engagement that enables learning with lifeguards. This demonstrates a reflective public that desires skill-development, which may transfer from patrolled to unpatrolled beaches to affect broader risk reduction on the Australian coast. Learning how to avoid site-specific rip hazards with lifeguards at the beach presents a promising, and previously unexplored model for beach drowning risk prevention that has the potential to affect behaviour at unpatrolled beaches, providing an empirically-supported alternative to prevailing deficit-based awareness raising methods

Investigations on the Peach 4 Debrite, a Late Pleistocene Mass Movement on the Northwest British Continental Margin

The Peach 4 debrite is the most recent in a series of large scale Pleistocene MTDs within the Barra fan on the northwest British continental margin. Geophysical data indicate that Peach 4 was formed through a combination of blocky and muddy debris flows and affects an area of ~ 700 km2. BGS core sample 56 -10 36, located directly over the Peach 4 debrite, provides a minimum age of 14.68 ka cal BP for the last major failure. An upwards fining turbidite sequence in BGS core sample 56 -10 239 is associ-ated with increased As and S concentrations, indicators of diagenetic pyrite which forms under anoxic conditions. It is proposed that As and S concentrations may pro-vide a method of distinguishing between contourite and turbidite sedimentation, though further research is required

Histiocytoid cardiomyopathy and microphthalmia with linear skin defects syndrome: phenotypes linked by truncating variants in NDUFB11

Variants in NDUFB11, which encodes a structural component of complex I of the mitochondrial respiratory chain (MRC), were recently independently reported to cause histiocytoid cardiomyopathy (histiocytoid CM) and microphthalmia with linear skin defects syndrome (MLS syndrome). Here we report an additional case of histiocytoid CM, which carries a de novo nonsense variant in NDUFB11 (ENST00000276062.8: c.262C > T; p.[Arg88*]) identified using whole-exome sequencing (WES) of a family trio. An identical variant has been previously reported in association with MLS syndrome. The case we describe here lacked the diagnostic features of MLS syndrome, but a detailed clinical comparison of the two cases revealed significant phenotypic overlap. Heterozygous variants in HCCS (which encodes an important mitochondrially targeted protein) and COX7B, which, like NDUFB11, encodes a protein of the MRC, have also previously been identified in MLS syndrome including a case with features of both MLS syndrome and histiocytoid CM. However, a systematic review of WES data from previously published histiocytoid CM cases, alongside four additional cases presented here for the first time, did not identify any variants in these genes. We conclude that NDUFB11 variants play a role in the pathogenesis of both histiocytoid CM and MLS and that these disorders are allelic (genetically related)

A systematic literature review of the use of social media for business process management

In today’s expansion of new technologies, innovation is found necessary for organizations to be up to date with the latest management trends. Although organizations are increasingly using new technologies, opportunities still exist to achieve the nowadays essential omnichannel management strategy. More precisely, social media are opening a path for benefiting more from an organization’s process orientation. However, social media strategies are still an under-investigated field, especially when it comes to the research of social media use for the management and improvement of business processes or the internal way of working in organizations. By classifying a variety of articles, this study explores the evolution of social media implementation within the BPM discipline. We also provide avenues for future research and strategic implications for practitioners to use social media more comprehensively

Analysis of spatial relationships in three dimensions: tools for the study of nerve cell patterning

<p>Abstract</p> <p>Background</p> <p>Multiple technologies have been brought to bear on understanding the three-dimensional morphology of individual neurons and glia within the brain, but little progress has been made on understanding the rules controlling cellular patterning. We describe new matlab-based software tools, now available to the scientific community, permitting the calculation of spatial statistics associated with 3D point patterns. The analyses are largely derived from the Delaunay tessellation of the field, including the nearest neighbor and Voronoi domain analyses, and from the spatial autocorrelogram.</p> <p>Results</p> <p>Our tools enable the analysis of the spatial relationship between neurons within the central nervous system in 3D, and permit the modeling of these fields based on lattice-like simulations, and on simulations of minimal-distance spacing rules. Here we demonstrate the utility of our analysis methods to discriminate between two different simulated neuronal populations.</p> <p>Conclusion</p> <p>Together, these tools can be used to reveal the presence of nerve cell patterning and to model its foundation, in turn informing on the potential developmental mechanisms that govern its establishment. Furthermore, in conjunction with analyses of dendritic morphology, they can be used to determine the degree of dendritic coverage within a volume of tissue exhibited by mature nerve cells.</p

Age-related differences in adaptation during childhood: The influences of muscular power production and segmental energy flow caused by muscles

Acquisition of skillfulness is not only characterized by a task-appropriate application of muscular forces but also by the ability to adapt performance to changing task demands. Previous research suggests that there is a different developmental schedule for adaptation at the kinematic compared to the neuro-muscular level. The purpose of this study was to determine how age-related differences in neuro-muscular organization affect the mechanical construction of pedaling at different levels of the task. By quantifying the flow of segmental energy caused by muscles, we determined the muscular synergies that construct the movement outcome across movement speeds. Younger children (5-7 years; n = 11), older children (8-10 years; n = 8), and adults (22-31 years; n = 8) rode a stationary ergometer at five discrete cadences (60, 75, 90, 105, and 120 rpm) at 10% of their individually predicted peak power output. Using a forward dynamics simulation, we determined the muscular contributions to crank power, as well as muscular power delivered to the crank directly and indirectly (through energy absorption and transfer) during the downstroke and the upstroke of the crank cycle. We found significant age × cadence interactions for (1) peak muscular power at the hip joint [Wilks' Lambda = 0.441, F(8,42) = 2.65, p = 0.019] indicating that at high movement speeds children produced less peak power at the hip than adults, (2) muscular power delivered to the crank during the downstroke and the upstroke of the crank cycle [Wilks' Lambda = 0.399, F(8,42) = 3.07, p = 0.009] indicating that children delivered a greater proportion of the power to the crank during the upstroke when compared to adults, (3) hip power contribution to limb power [Wilks' Lambda = 0.454, F(8,42) = 2.54, p = 0.023] indicating a cadence-dependence of age-related differences in the muscular synergy between hip extensors and plantarflexors. The results demonstrate that in spite of a successful performance, children construct the task of pedaling differently when compared to adults, especially when they are pushed to their performance limits. The weaker synergy between hip extensors and plantarflexors suggests that a lack of inter-muscular coordination, rather than muscular power production per se, is a factor that limits children's performance ranges