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.

Absenteísmo por motivos odontológico e médico nos serviços público e privado

O absenteísmo é um assunto de interesse crescente devido ao atual contexto econômico de competitividade, que faz com que as empresas procurem meios para diminuir sua ocorrência, aumentando a rentabilidade e com isso crescendo de forma sustentada. Procurou-se estudar o absenteísmo por razões odontológicas e médicas, nos serviços público e privado, analisando se a idade, o sexo e a função do trabalhador, além do regime empregatício, interferem na sua ocorrência. Desenvolveu-se o estudo na prefeitura do município de Araçatuba, São Paulo, Brasil, e em uma indústria acrílica. Para a coleta dos dados, analisaram-se todos os atestados odontológicos e médicos, que deram entrada nas empresas no período de janeiro a junho de 2002 e as listagens dos trabalhadores. Verificou-se que a falta por motivos odontológicos tiveram pouco peso sobre o total de faltas por motivo de doença, além de provocarem o afastamento do trabalhador por um período menor. As variáveis idade, sexo, função e regime empregatício influenciaram na ocorrência do absenteísmo ao trabalho. A disponibilidade dessas informações deverá ser muito importante, pois, visto as inúmeras variáveis envolvidas, facilitarão a tomada de decisões das distintas estratégias para sua prevenção.

A concepção de desenvolvimento sustentável nos parâmetros curriculares nacionais

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

O Testamento de Dona Balbina: um estudo de caso sobre escravidão e propriedade em Guarapuava (1851-1865)

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Zoneamento geoambiental da bacia hidrográfica da Represa Laranja Doce - Martinópolis (SP)

Pós-graduação em Geografia - IGCE

Educação inclusiva: uma análise crítica da prática pedagógica de uma professora de sala de recursos

Pós-graduação em Psicologia do Desenvolvimento e Aprendizagem - FC

Environmental training and environmental management maturity of Brazilian companies with ISO14001: empirical evidence

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Homossexualidade e velhice: os processos de subjetividade da sexualidade em homossexuais idosos

Pós-graduação em Educação Sexual - FCLAR

A scalable re-ranking method for content-based image retrieval

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

NDACC/SAOZ UV-visible total ozone measurements: improved retrieval and comparison with correlative ground-based and satellite observations

Accurate long-term monitoring of total ozone is one of the most important requirements for identifying possible natural or anthropogenic changes in the composition of the stratosphere. For this purpose, the NDACC (Network for the Detection of Atmospheric Composition Change) UV-visible Working Group has made recommendations for improving and homogenizing the retrieval of total ozone columns from twilight zenith-sky visible spectrometers. These instruments, deployed all over the world in about 35 stations, allow measuring total ozone twice daily with limited sensitivity to stratospheric temperature and cloud cover. The NDACC recommendations address both the DOAS spectral parameters and the calculation of air mass factors (AMF) needed for the conversion of O-3 slant column densities into vertical column amounts. The most important improvement is the use of O-3 AMF look-up tables calculated using the TOMS V8 (TV8) O-3 profile climatology, that allows accounting for the dependence of the O-3 AMF on the seasonal and latitudinal variations of the O-3 vertical distribution. To investigate their impact on the retrieved ozone columns, the recommendations have been applied to measurements from the NDACC/SAOZ (Systeme d'Analyse par Observation Zenithale) network. The revised SAOZ ozone data from eight stations deployed at all latitudes have been compared to TOMS, GOMEGDP4, SCIAMACHY-TOSOMI, SCIAMACHY-OL3, OMI-TOMS, and OMI-DOAS satellite overpass observations, as well as to those of collocated Dobson and Brewer instruments at Observatoire de Haute Provence (44 degrees N, 5.5 degrees E) and Sodankyla (67 degrees N, 27 degrees E), respectively. A significantly better agreement is obtained between SAOZ and correlative reference ground-based measurements after applying the new O-3 AMFs. However, systematic seasonal differences between SAOZ and satellite instruments remain. These are shown to mainly originate from (i) a possible problem in the satellite retrieval algorithms in dealing with the temperature dependence of the ozone cross-sections in the UV and the solar zenith angle (SZA) dependence, (ii) zonal modulations and seasonal variations of tropospheric ozone columns not accounted for in the TV8 profile climatology, and (iii) uncertainty on the stratospheric ozone profiles at high latitude in the winter in the TV8 climatology. For those measurements mostly sensitive to stratospheric temperature like TOMS, OMI-TOMS, Dobson and Brewer, or to SZA like SCIAMACHY-TOSOMI, the application of temperature and SZA corrections results in the almost complete removal of the seasonal difference with SAOZ, improving significantly the consistency between all ground-based and satellite total ozone observations.

Case-based system: Indexing and retrieval with fuzzy hypercube

In some applications with case-based system, the attributes available for indexing are better described as linguistic variables instead of receiving numerical treatment. In these applications, the concept of fuzzy hypercube can be applied to give a geometrical interpretation of similarities among cases. This paper presents an approach that uses geometrical properties of fuzzy hypercube space to make indexing and retrieval processes of cases.

Semi-supervised learning for relevance feedback on image retrieval tasks

Relevance feedback approaches have been established as an important tool for interactive search, enabling users to express their needs. However, in view of the growth of multimedia collections available, the user efforts required by these methods tend to increase as well, demanding approaches for reducing the need of user interactions. In this context, this paper proposes a semi-supervised learning algorithm for relevance feedback to be used in image retrieval tasks. The proposed semi-supervised algorithm aims at using both supervised and unsupervised approaches simultaneously. While a supervised step is performed using the information collected from the user feedback, an unsupervised step exploits the intrinsic dataset structure, which is represented in terms of ranked lists of images. Several experiments were conducted for different image retrieval tasks involving shape, color, and texture descriptors and different datasets. The proposed approach was also evaluated on multimodal retrieval tasks, considering visual and textual descriptors. Experimental results demonstrate the effectiveness of the proposed approach.

New Insights on Nontechnical Losses Characterization Through Evolutionary-Based Feature Selection

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

A New Impedance Measurement System for PZT-Based Structural Health Monitoring

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Knowledge-based integrated production management model

Purpose - This paper aims to propose a model of production management that integrates knowledge management, as a third dimension, to the production and work dimensions and to identify factors that promote a favorable context for knowledge sharing and results achievement in the production operations shop floor environment.Design/methodology/approach - The model proposed is built from opportunities identified in the literature review.Findings - The factors in the model integrate its three main components: knowledge management, production organization and work organization, providing a representation of the dynamics of the workplace and shop floor environment.Practical implications - The proposed model and its factors allow managers to better understand and to improve the organization activities, because it integrates knowledge management with the production organization and work organization components of traditional models.Originality/value - Literature acknowledges the role of knowledge as competitive advantage, but it is still dealt in an implicit way within the traditional models of production management. This paper proposes a model and factors that provide a favorable context for tacit knowledge sharing and results achievement in the production operations shop floor environment. The model explicitly integrates knowledge management with traditional models' components.