Improving abstract interpretations by combining domains

This article considers static analysis based on abstract interpretation of logic programs over combined domains. It is known that analyses over combined domains provide more information potentially than obtained by the independent analyses. However, the construction of a combined analysis often requires redefining the basic operations for the combined domain. A practical approach to maintain precision in combined analyses of logic programs which reuses the individual analyses and does not redefine the basic operations is illustrated. The advantages of the approach are that proofs of correctness for the new domains are not required and implementations can be reused. The approach is demonstrated by showing that a combined sharing analysis — constructed from "old" proposals — compares well with other "new" proposals suggested in recent literature both from the point of view of efficiency and accuracy.

Context-sensitive analysis of obfuscated x86 executables

A method for context-sensitive analysis of binaries that may have obfuscated procedure call and return operations is presented. Such binaries may use operators to directly manipulate stack instead of using native call and ret instructions to achieve equivalent behavior. Since definition of context-sensitivity and algorithms for context-sensitive analysis have thus far been based on the specific semantics associated to procedure call and return operations, classic interprocedural analyses cannot be used reliably for analyzing programs in which these operations cannot be discerned. A new notion of context-sensitivity is introduced that is based on the state of the stack at any instruction. While changes in 'calling'-context are associated with transfer of control, and hence can be reasoned in terms of paths in an interprocedural control flow graph (ICFG), the same is not true of changes in 'stack'-context. An abstract interpretation based framework is developed to reason about stack-contexts and to derive analogues of call-strings based methods for the context-sensitive analysis using stack-context. The method presented is used to create a context-sensitive version of Venable et al.'s algorithm for detecting obfuscated calls. Experimental results show that the context-sensitive version of the algorithm generates more precise results and is also computationally more efficient than its context-insensitive counterpart. Copyright © 2010 ACM.

Context-sensitive analysis without calling-context

Since Sharir and Pnueli, algorithms for context-sensitivity have been defined in terms of 'valid' paths in an interprocedural flow graph. The definition of valid paths requires atomic call and ret statements, and encapsulated procedures. Thus, the resulting algorithms are not directly applicable when behavior similar to call and ret instructions may be realized using non-atomic statements, or when procedures do not have rigid boundaries, such as with programs in low level languages like assembly or RTL. We present a framework for context-sensitive analysis that requires neither atomic call and ret instructions, nor encapsulated procedures. The framework presented decouples the transfer of control semantics and the context manipulation semantics of statements. A new definition of context-sensitivity, called stack contexts, is developed. A stack context, which is defined using trace semantics, is more general than Sharir and Pnueli's interprocedural path based calling-context. An abstract interpretation based framework is developed to reason about stack-contexts and to derive analogues of calling-context based algorithms using stack-context. The framework presented is suitable for deriving algorithms for analyzing binary programs, such as malware, that employ obfuscations with the deliberate intent of defeating automated analysis. The framework is used to create a context-sensitive version of Venable et al.'s algorithm for analyzing x86 binaries without requiring that a binary conforms to a standard compilation model for maintaining procedures, calls, and returns. Experimental results show that a context-sensitive analysis using stack-context performs just as well for programs where the use of Sharir and Pnueli's calling-context produces correct approximations. However, if those programs are transformed to use call obfuscations, a contextsensitive analysis using stack-context still provides the same, correct results and without any additional overhead. © Springer Science+Business Media, LLC 2011.

Teoria do valor e trabalho produtivo no setor de serviços

Interpretações da teoria do valor trabalho encontram dificuldades em definir o papel e o lugar das atividades de serviço com relação à produção ou não de valor. Esse problema ganha magnitude na medida em que a perspectiva histórica mostra que os serviços são grandes empregadores de mão de obra na atualidade. Tradicionalmente, os serviços são entendidos como atividades não produtivas, devido ao fato, dentre outros argumentos, de que não resultam em materialização na forma de mercadorias, ou que não produzem novos valores e mais-valia. O objetivo deste artigo é examinar essa questão e sugerir a proposição de que certos serviços, que preenchem determinadas condições, podem ser interpretados como produtivos de valor e de mais-valia. O artigo examina as categorias materialidade e imaterialidade, assim como as de trabalho produtivo e não produtivo de valor, introduzindo, a seguir, critérios para distinguir trabalhos produtivos e não produtivos de valor no setor de serviços. Com isso, pretende contribuir para clarificar o entendimento da teoria do valor trabalho num terreno entrecruzado de polêmicas e de posições teóricas diferenciadas. _____________________________________________________________________________________________ ABSTRACT

Recommending peers for learning: Matching on dissimilarity in interpretations to provoke breakdown

People recommenders are a widespread feature of social networking sites and educational social learning platforms alike. However, when these systems are used to extend learners’ Personal Learning Networks, they often fall short of providing recommendations of learning value to their users. This paper proposes a design of a people recommender based on content-based user profiles, and a matching method based on dissimilarity therein. It presents the results of an experiment conducted with curators of the content curation site Scoop.it!, where curators rated personalized recommendations for contacts. The study showed that matching dissimilarity of interpretations of shared interests is more successful in providing positive experiences of breakdown for the curator than is matching on similarity. The main conclusion of this paper is that people recommenders should aim to trigger constructive experiences of breakdown for their users, as the prospect and potential of such experiences encourage learners to connect to their recommended peers.

Understanding Red Blood Cell Parameters In The Context Of The Frailty Phenotype: Interpretations Of The Fibra (frailty In Brazilian Seniors) Study.

Frailty and anemia in the elderly appear to share a common pathophysiology associated with chronic inflammatory processes. This study uses an analytical, cross-sectional, population-based methodology to investigate the probable relationships between frailty, red blood cell parameters and inflammatory markers in 255 community-dwelling elders aged 65 years or older. The frailty phenotype was assessed by non-intentional weight loss, fatigue, low grip strength, low energy expenditure and reduced gait speed. Blood sample analyses were performed to determine hemoglobin level, hematocrit and reticulocyte count, as well as the inflammatory variables IL-6, IL-1ra and hsCRP. In the first multivariate analysis (model I), considering only the erythroid parameters, Hb concentration was a significant variable for both general frailty status and weight loss: a 1.0g/dL drop in serum Hb concentration represented a 2.02-fold increase (CI 1.12-3.63) in an individual's chance of being frail. In the second analysis (model II), which also included inflammatory cytokine levels, hsCRP was independently selected as a significant variable. Each additional year of age represented a 1.21-fold increase in the chance of being frail, and each 1-unit increase in serum hsCRP represented a 3.64-fold increase in the chance of having the frailty phenotype. In model II reticulocyte counts were associated with weight loss and reduced metabolic expenditure criteria. Our findings suggest that reduced Hb concentration, reduced RetAbs count and elevated serum hsCRP levels should be considered components of frailty, which in turn is correlated with sarcopenia, as evidenced by weight loss.

Qualidade de vida e cultura solidária : o caso da Cooperativa Nossa Senhora Aparecida

Universidade Estadual de Campinas . Faculdade de Educação Física

Cultura de movimento e identidade : a Educação Fisica na contemporaneidade

Universidade Estadual de Campinas . Faculdade de Educação Física

O estudo da postura corporal em Educação Fisica

Universidade Estadual de Campinas. Faculdade de Educação Física

O papel da propriocepção no desenvolvimento da força muscular e da flexibilidade

Universidade Estadual de Campinas . Faculdade de Educação Física

Por um lazer potencialmente transformador : um estudo sobre as apropriações conceituais do lazer

Universidade Estadual de Campinas . Faculdade de Educação Física

Jogos dos povos indigenas : trajetórias e interlocuções = Indigenous peoples games : trajectory and interlocutions

Universidade Estadual de Campinas . Faculdade de Educação Física

Corpos na escola : (des)compassos entre a educação física e a religião = Bodies in school: (un)measures between physical education and religion

Universidade Estadual de Campinas . Faculdade de Educação Física

Da formação e desenvolvimento profissional do professor de educação fisica a inovação educativa

Universidade Estadual de Campinas . Faculdade de Educação Física

Os sentidos de genero em aulas de educação fisica

Universidade Estadual de Campinas . Faculdade de Educação Física