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

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

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

Innovator resilience potential: A process perspective of individual resilience as influenced by innovation project termination

Innovation projects fail at an astonishing rate. Yet, the negative effects of innovation project failures on the team members of these projects have been largely neglected in research streams that deal with innovation project failures. After such setbacks, it is vital to maintain or even strengthen project members’ innovative capabilities for subsequent innovation projects. For this, the concept of resilience, i.e. project members’ potential to positively adjust (or even grow) after a setback such as an innovation project failure, is fundamental. We develop the second-order construct of innovator resilience potential, which consists of six components – self-efficacy, outcome expectancy, optimism, hope, self-esteem, and risk propensity – that are important for project members’ potential of innovative functioning in innovation projects subsequent to a failure. We illustrate our theoretical findings by means of a qualitative study of a terminated large-scale innovation project, and derive implications for research and management

Determination of the characteristic directions of lossless linear optical elements

We show that the problem of finding the primary and secondary characteristic directions of a linear lossless optical element can be reformulated in terms of an eigenvalue problem related to the unimodular factor of the transfer matrix of the optical device. This formulation makes any actual computation of the characteristic directions amenable to pre-implemented numerical routines, thereby facilitating the decomposition of the transfer matrix into equivalent linear retarders and rotators according to the related Poincare equivalence theorem. The method is expected to be useful whenever the inverse problem of reconstruction of the internal state of a transparent medium from optical data obtained by tomographical methods is an issue.Comment: Replaced with extended version as published in JM

Non-polynomial Worst-Case Analysis of Recursive Programs

We study the problem of developing efficient approaches for proving worst-case bounds of non-deterministic recursive programs. Ranking functions are sound and complete for proving termination and worst-case bounds of nonrecursive programs. First, we apply ranking functions to recursion, resulting in measure functions. We show that measure functions provide a sound and complete approach to prove worst-case bounds of non-deterministic recursive programs. Our second contribution is the synthesis of measure functions in nonpolynomial forms. We show that non-polynomial measure functions with logarithm and exponentiation can be synthesized through abstraction of logarithmic or exponentiation terms, Farkas' Lemma, and Handelman's Theorem using linear programming. While previous methods obtain worst-case polynomial bounds, our approach can synthesize bounds of the form $\mathcal{O}(n\log n)$ as well as $\mathcal{O}(n^r)$ where $r$ is not an integer. We present experimental results to demonstrate that our approach can obtain efficiently worst-case bounds of classical recursive algorithms such as (i) Merge-Sort, the divide-and-conquer algorithm for the Closest-Pair problem, where we obtain $\mathcal{O}(n \log n)$ worst-case bound, and (ii) Karatsuba's algorithm for polynomial multiplication and Strassen's algorithm for matrix multiplication, where we obtain $\mathcal{O}(n^r)$ bound such that $r$ is not an integer and close to the best-known bounds for the respective algorithms.Comment: 54 Pages, Full Version to CAV 201

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)

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