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.

Economic impact of disasters: evidence from DALA assessments by ECLAC in Latin America and the Caribbean

Incluye Bibliografía

Optimum-Path Forest pruning parameter estimation through Harmony Search

Pattern recognition in large amount of data has been paramount in the last decade, since that is not straightforward to design interactive and real time classification systems. Very recently, the Optimum-Path Forest classifier was proposed to overcome such limitations, together with its training set pruning algorithm, which requires a parameter that has been empirically set up to date. In this paper, we propose a Harmony Search-based algorithm that can find near optimal values for that. The experimental results have showed that our algorithm is able to find proper values for the OPF pruning algorithm parameter. © 2011 IEEE.

Serpentes da Caatinga: diversidade, história natural, biogeografia e conservação

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

Fácies sedimentares da Formação Prosperança, Neoproterozóico do Sul do Escudo das Guianas, estado do Amazonas

Rochas neoproterozóicas da Formação Prosperança, cobertura sedimentar da porção sul do Escudo das Guianas, são pobremente expostas quando comparadas com o registro sedimentar fanerozóico das bacias da Amazônia Ocidental. A Formação Prosperança consiste em conglomerados, arenitos arcosianos e pelitos que preenchem grábens no embasamento no Escudo das Guianas orientados segundo NW-SE. Esta unidade é sotoposta por rochas carbonáticas da Formação Acarí que ocorre apenas em subsuperfície, compondo o Grupo Purus, embasamento sedimentar das bacias paleozóicas produtoras de óleo da Amazônia. A análise de fácies e estratigráfica realizada na região do baixo rio Negro, Estado do Amazonas, indicou que a Formação Prosperança consiste em quatro associações de fácies representativas de um sistema flúvio-deltáico: 1) prodelta/lacustre, 2) frente deltaica, 3) foreshore/shoreface e 4) planície braided distal. Camadas tabulares de pelitos de prodelta extensos por quilômetros sugerem uma bacia sedimentar ampla de provável origem lacustre ou mar restrito. Lobos de frente deltaica complexos foram alimentados por distributários braided, formados por dunas subaquosas que migravam para NW do Bloco Amazônico durante o Neoproterozóico. Arenitos gerados sob condições de fluxo oscilatório/combinado são compatíveis com depósitos de praia e de face litorânea. A Bacia Prosperança foi fracamente invertida durante o intervalo Cambriano-Ordoviciano. Posteriormente estes depósitos são recobertos erosivamente por conglomerados e arenitos com estratificações cruzadas e planares interpretadas como depósitos fluviais do tipo braided, com migração para SE, pertencentes ao Grupo Trombetas do Eo-paleozóico da Bacia do Amazonas.

A ICOMI no Amapá: meio século de exploração mineral

O artigo analisa a história de meio século de exploração do minério de manganês na Serra do Navio, Amapá, Brasil, na segunda metade do século XX, pela Indústria e Comércio de Minérios S.A. (ICOMI). Aponta que houve limitada internalização do valor adicionado pela mineração. Indica que a bibliografia existente acerca das repercussões dessa atividade para o desenvolvimento regional não é satisfatória. Finaliza apontando que há uma agenda de pesquisa em aberto no que se refere à analise dos arranjos institucionais que bloquearam ou limitaram o enraizamento social do desenvolvimento na região a partir da valorização do minerio de manganês.

Planejamento energético para pequenas comunidades da Amazônia: um estudo de caso da comunidade quilombola de Genipaúba - Abaetetuba - Pará

O atendimento energético a comunidades isoladas foi sempre uma atividade de difícil execução e tem sido alvo de críticas pelas autoridades em planejamento energético. Este trabalho visa contribuir com as discussões realizadas no tema de eletrificação de regiões isoladas através da apresentação do diagnóstico social e o planejamento energético realizado para a comunidade de Genipaúba, localizada na região das ilhas de Abaetetuba, município do Estado do Pará. Uma discussão sobre a relação existente entre energia e desenvolvimento inicia a dissertação, posteriormente, apresenta-se um inventário dos recursos energéticos da região, baseado na literatura existente. Os programas governamentais de eletrificação rural (Luz no Campo, Ribeirinhas, PRODEEM, e Luz para Todos) são apresentados. Os modelos de gestão pesquisados (PRISMA e ROSA) foram idealizados através de observações de implementação de projetos de eletrificação. Os diagnósticos social e energético da comunidade de Genipaúba foram realizados através da aplicação de questionários em campo. O processo de implantação do projeto de atendimento energético de Genipaúba é apresentado, em seguida, comparado com os modelos estudados a fim de dar consistência ao mesmo.

A seção-tipo da Formação Serra do Quilombo, Grupo Araras, Neoproterozoico da Faixa Paraguai Norte, Mato Grosso

Após a última glaciação criogeniana (ca. 635 Ma), extensas plataformas carbonáticas desenvolveram-se sobre diversas regiões cratônicas da Terra e, apesar da intensa dolomitização desses depósitos, muitas informações paleoambientais e paleoceanográficas estão preservadas. Um dos exemplos mais importantes deste período no Brasil são os dolomitos da Formação Serra do Quilombo, pertencente à porção superior do Grupo Araras, no segmento norte da Faixa Paraguai, sul do Cráton Amazônico. A reavaliação estratigráfica da seção-tipo da formação e de uma seção de referência na região de Nobres, com base na análise de fácies e estratigráfica, permitiu ampliar as interpretações paleoambientais e elaborar um modelo deposicional. A sucessão estudada, de 140 m de espessura, inclui a Formação Serra do Quilombo em contato basal brusco com os calcários da Formação Guia e a passagem gradual para os dolomitos arenosos da Formação Nobres, no topo. A Formação Serra do Quilombo representa um megaciclo de raseamento ascendente, constituído por duas associações de fácies: 1) plataforma carbonática profunda à moderadamente rasa, composta por um dolomito fino laminado rico em matéria orgânica e outro maciço a laminado; e 2) face litorânea influenciada por tempestades, constituída por dolomito arenoso com estratificação cruzada hummocky/swaley associada com estratificação plano-paralela, dolomito arenoso/oolítico com laminações produzidas por ondas e brecha dolomítica com matriz. A Formação Serra do Quilombo representa o registro progradante de um trato do sistema de mar alto, em um contexto de rampa carbonática homoclinal instalada no sul do Cráton Amazônico durante o Ediacarano.

Evolução da região de Santana do Araguaia (PA) com base na geologia e geocronologia Pb-Pb em zircão de granitoides

A região de Santana do Araguaia, foco deste trabalho, localiza-se no sudeste do Estado do Pará, que, por sua vez, fica no sudeste do Cráton Amazônico. Sob o ponto de vista tectônico, posiciona-se no Domínio Santana do Araguaia, interpretado como um terreno arqueano afetado pelo Ciclo Transamazônico. Um estudo petrográfico e geocronológico, com suporte de dados de campo, foi empreendido em granitoides da região com o intuito de desvendar a evolução desse domínio. Em termos modais, as rochas estudadas compõem-se de biotita monzogranito, biotita metagranodiorito, hornblenda-biotita granodiorito, hornblenda-biotita metatonalito e enderbito. Essas rochas apresentam-se não deformadas a moderadamente deformadas, com algumas particularidades: o biotita metagranodiorito apresenta foliação seguindo um trend E-W; o hornblenda-biotita metatonalito possui uma foliação seguindo a direção NW-SE, com mergulhos normalmente altos a subverticais; o biotita monzogranito é isotrópico e os litotipos hornblenda-biotita granodiorito e enderbito apresentam apenas uma leve orientação de seus cristais, perceptível principalmente em lâmina delgada. Esses litotipos foram analisados pelo método de evaporação de Pb de zircão, tendo sido obtidas as seguintes idades: biotita metagranodiorito, 3066 ± 3 Ma e 2829 ± 13 Ma, hornblenda-biotita metatonalito, 2852 ± 2 Ma; biotita monzogranito (ML-08), 2678 a 2342 Ma; hornblenda-biotita granodiorito, 1990 ± 7 Ma; e enderbito, 1988 ± 4 Ma. Os dados geocronológicos indicam que as rochas cristalizaram tanto no Arqueano quanto no Paleoproterozoico, contudo, não foram detectadas evidências que comprovem a ação do Ciclo Transamazônico na região.

Desenhos setecentistas na Sé de Belém

Analisando um nicho e desenhos ao seu redor encontrados na restauração, concluída no ano de 2009, da Catedral de Belém (1748-1782), o artigo se ocupa das relações de trabalho artístico na região Norte durante o período colonial. O anonimato das profissões menos valorizadas, como entalhadores, pintores e escultores, exercidas por índios, negros e mestiços, contrasta com a documentação abundante reservada aos grandes nomes do período, a quem, de maneira genérica, é atribuída a autoria das obras. O artigo acompanha a trajetória do arquiteto régio Antonio Landi (1713-1791) e, através das obras dessa igreja, observa as mudanças técnicas e sociais do período de sua construção.

Vidros óxidos contendo átomos pesados para aplicações em óptica não linear e fotônica na região do infravermelho

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

Análisis morfométrico, merístico, filogenético y filogeográfico del caballo de mar Hippocampus reidi (Ginsburg 1933) (Teleostei: Sygnathidae) de la costa nororiental da Venezuela

Pós-graduação em Ciências Biológicas (Zoologia) - IBB

Limites e possibilidades para a apicultura na região central do Estado de São Paulo

Beekeeping is recognized as promoter of assumptions and dimensions of sustainable development, supported by the triple bottle line – economic viability, social relevance and environmental prudence. Historically, it is strongly related with the central state of São Paulo. This work has as main objective to identify the profile of beekeeping in the this region, based on four municipalities (Araraquara, Descalvado, Rio Claro and São Carlos) in order to determine the main difficulties faced by beekeepersfor the sustainable development, pointing alternative interventions able to soften the effects of difficulties. It was used two different and complementary methodological strategies. The first one was a search with the databases (SEADE and IBGE) to obtain secondary data and quantitative regarding beekeeping in the region. The second one, it wasthrough field research with the beekeepers. The survey found that beekeeping in the region, presents an essentially familial and hereditary. Was also noticed the damage caused in the production, by limiting access to the region’s bee pastures and use of pesticides. In processing, it was found the extremely precarious conditions. At the institutional level, it was found the relative weakness of the beekeepers cooperatives, and the lack of support from local governments to consolidate activity.

Quantification of pulmonary inflammatory processes using chest radiography: tuberculosis as the motivating application

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

Potencial geoparque do polo turístico das Águas de São Lourenço - Mato Grosso

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