Efficient top-down set-sharing analysis using cliques

Abstract. We study the problem of efficient, scalable set-sharing analysis of logic programs. We use the idea of representing sharing information as a pair of abstract substitutions, one of which is a worst-case sharing representation called a clique set, which was previously proposed for the case of inferring pair-sharing. We use the clique-set representation for (1) inferring actual set-sharing information, and (2) analysis within a top-down framework. In particular, we define the new abstract functions required by standard top-down analyses, both for sharing alone and also for the case of including freeness in addition to sharing. We use cliques both as an alternative representation and as widening, defining several widening operators. Our experimental evaluation supports the conclusión that, for inferring set-sharing, as it was the case for inferring pair-sharing, precisión losses are limited, while useful efficieney gains are obtained. We also derive useful conclusions regarding the interactions between thresholds, precisión, efficieney and cost of widening. At the limit, the clique-set representation allowed analyzing some programs that exceeded memory capacity using classical sharing representations

Sharing, freeness, linearity, redundancy, widenings, and cliques

We discuss here different variants of the Sharing abstract domain, including the base domain that captures set-sharing, a variant to capture pairsharing, in which redundant sharing groups (w.r.t. the pair-sharing property) can be eliminated, and an alternative representation based on cliques. The original proposal for using cliques in the non-redundant version of the domain is reviewed, then extended to the base domain. Variants of all the domains including freeness alone, and freeness together with linearity are also studied

Relations and Effects of Transformational Leadership: A Comparative Analysis with Traditional Leadership Styles

El presente trabajo persigue dos objetivos principales: (a) comparar las relaciones del liderazgo transformacional con otros estilos de liderazgo clásicos en la literatura organizacional, tales como el liderazgo democrático versus autocrático o el orientado a la tarea-orientado a las relaciones y (b) comparar los efectos del liderazgo transformacional y los estilos de liderazgo mencionados sobre la satisfacción y la eficacia de los empleados. Para cumplir dichos objetivos se seleccionó una muestra de 147 participantes que trabajaban en 35 equipos de trabajo diferentes. Los resultados demuestran la existencia de correlaciones muy elevadas entre el liderazgo transformacional, el liderazgo orientado a las relaciones, el liderazgo democrático y el liderazgo orientado a la tarea. También se encuentra que, tal como predice la literatura, el liderazgo transformacional, sobre todo en niveles altos, aumenta significativamente el porcentaje de varianza explicado por los otros estilos en algunas variables de resultado organizacional importantes (la ejecución de subordinados, satisfacción y esfuerzo extra).This study has two main goals: (a) to compare the relationship between transformational leadership and other important leadership styles (i.e., democratic versus autocratic or relations- and task-oriented leadership) and (b) to compare the effects of transformational leadership and the other styles on some important organizational outcomes such as employees’ satisfaction and performance. For this purpose, a sample of 147 participants, working in 35 various work-teams, was used. Results show high correlations between transformational leadership, relations-oriented, democratic, and task-oriented leadership. On the other hand, according to the literature, transformational leadership, especially high levels, significantly increases the percentage of variance accounted for by other leadership styles in relevant organizational outcome variables (subordinates’ performance, satisfaction and extra effort)

The Möbius inversion formula for Fourier series applied to Bernoulli and Euler polynomials

AbstractHurwitz found the Fourier expansion of the Bernoulli polynomials over a century ago. In general, Fourier analysis can be fruitfully employed to obtain properties of the Bernoulli polynomials and related functions in a simple manner. In addition, applying the technique of Möbius inversion from analytic number theory to Fourier expansions, we derive identities involving Bernoulli polynomials, Bernoulli numbers, and the Möbius function; this includes formulas for the Bernoulli polynomials at rational arguments. Finally, we show some asymptotic properties concerning the Bernoulli and Euler polynomials

Asymptotic estimates for Apostol-Bernoulli and Apostol-Euler polynomials

We analyze the asymptotic behavior of the Apostol-Bernoulli polynomials $\mathcal{B}_{n}(x;\lambda)$ in detail. The starting point is their Fourier series on $[0,1]$ which, it is shown, remains valid as an asymptotic expansion over compact subsets of the complex plane. This is used to determine explicit estimates on the constants in the approximation, and also to analyze oscillatory phenomena which arise in certain cases. These results are transferred to the Apostol-Euler polynomials $\mathcal{E}_{n}(x;\lambda)$ via a simple relation linking them to the Apostol-Bernoulli polynomials.Comment: 16 page

Existence and reduction of generalized Apostol-Bernoulli, Apostol-Euler and Apostol-Genocchi polynomials

summary:One can find in the mathematical literature many recent papers studying the generalized Apostol-Bernoulli, Apostol-Euler and Apostol-Genocchi polynomials, defined by means of generating functions. In this article we clarify the range of parameters in which these definitions are valid and when they provide essentially different families of polynomials. In particular, we show that, up to multiplicative constants, it is enough to take as the “main family” those given by $$\Big ( \frac{2}{\lambda e^t+1} \Big )^\alpha e^{xt} = \sum _{n=0}^{\infty } \mathcal{E}^{(\alpha )}_{n}(x;\lambda ) \frac{t^n}{n!}\,, \qquad \lambda \in \mathbb{C}\setminus \lbrace -1\rbrace \,,$$ and as an “exceptional family” $$\Big ( \frac{t}{e^t-1} \Big )^\alpha e^{xt} = \sum _{n=0}^{\infty } \mathcal{B}^{(\alpha )}_{n}(x) \frac{t^n}{n!}\,,$$ both of these for $\alpha \in \mathbb{C}$

Condrosarcoma en pie

El condrosarcoma óseo en el pie es una lesión muy rara. Se presenta 1 caso de bajo grado de malignidad histológico y primario en su origen, que afecta al primer radio, tratado mediante resección amplia y sin signos de recidiva a los 3 años y medio de evolución.Bone chondrosarcoma very rarely affccts the foot. We report a case of primary bone chondrosarcoma vvith low grade malignancy involving the first metatarsal bone. Tumor was treated by wide resection. Three and half years later, there was not signs of recurrence

Some functional relations derived from the Lindelöf-Wirtinger expansion of the Lerch transcendent function

The Lindelöf-Wirtinger expansion of the Lerch transcendent function implies, as a limiting case, Hurwitz’s formula for the eponymous zeta function. A generalized form of M ¨obius inversion applies to the Lindelöf-Wirtinger expansion and also implies an inversion formula for the Hurwitz zeta function as a limiting case. The inverted formulas involve the dynamical system of rotations of the circle and yield an arithmetical functional equation

A connection between power series and Dirichlet series

[EN] We prove that for any convergent Laurent series f(z) = ∞n=−k anzn with k ≥ 0, there is a meromorphic function F(s) on C whose only possible poles are among the integers n = 1, 2, ..., k, having residues Res(F; n) = a−n/(n − 1)!, and satisfying F(−n) = (−1)nn! an for n = 0, 1, 2, .... Under certain conditions, F(s) is a Mellin transform. In particular, this happens when f(z) is of the form H(e−z)e−z with H(z) analytic on the open unit disk. In this case, if H(z) = ∞ n=0 hnzn, the analytic continuation of H(z) to z = 1 is related to the analytic continuation of the Dirichlet series ∞n=1 hn−1n−s to the complex plane

Estudio de tumores de la cavidad nasal y senos paranasales del perro mediante tomografía computarizada

En 8 perros se estudiaron imágenes de tomografía computarizada (TC), analizando la extensión de tumores de cavidad nasal y/o senos paranasales. La técnica resultó especialmente útil en animales con descarga nasal crónica, protrusión del globo ocular, ceguera de origen central o signos de disfunción neurológica por afectación de porciones rostrales del encéfalo.