Genetic differences between strains of Biomphalaria glabrata (Planorbidae) that are susceptible and unsusceptible to schistosomiasis

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

O processo de individualização do sujeito no discurso publicitário

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

Formação Continuada em Serviço para professores da educação infantil sobre o brincar

Pós-graduação em Educação - FFC

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.

Context-sensitive analysis of x86 obfuscated executables

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

Using geostatistical analysis to evaluate the presence of Rotylenchulus reniformis in cotton crops in Brazil: Economic implications

In recent years, the productivity of cotton in Brazil has been progressively decreasing, often the result of the reniform nematode Rotylenchulus reniformis. This species call reduce crop productivity by up to 40%. Nematodes can be controlled by nematicides but, because of expense and toxicity, application of nematicides to large crop areas may be undesirable. In this Work. a methodology using geostatistics for quantifying the risk of nematicide application to small crop areas is proposed. This risk, in economic terms, can be compared to nematicide cost to develop an optimal strategy for Precision Farming, Soil (300 cm(3)) was sampled in a regular network from a R. reniformis-infested area that was a cotton monoculture for 20 years. The number of nematodes in each sample was counted. The nematode number per volume of soil was characterized using geostatistics, and 100 conditional simulations were conducted. Based on the simulations, risk maps were plotted showing the areas where nematicide should be applied in a Precision Farming context. The methodology developed can be applied to farming in countries that ale highly dependent on agriculture, with useful economic implications.

Determination of Population Size of Glass-like Carbon Sampling Used in Weibull Analysis

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

Archival information and organic information: a conceptual analysis of the Brazilian literature

Information has increasingly become a crucial resource for organizations that want to remain competitive in the market. For this reason, analysis and a correct understanding of informational types that are present in these environments become relevant to achieving the highest levels of performance. The aim of this paper is to review the literature of the concepts of organic and archival information within the organizational context/business environments. This is still an emerging theoretical field and therefore is conducive to intense discussions. We point out elements that help to characterize and distinguish these two types of information.

Family visitors and companions of hospitalized elderly and adults: analysis of the experience from the perspective of the nursing working process

Trata-se de estudo qualitativo, utilizando-se como referencial metodológico a Grounded Theory e como referencial teórico o Processo de Trabalho em Enfermagem, para compreender o papel assumido pelo enfermeiro perante as normas e rotinas hospitalares, relativas aos familiares visitantes e acompanhantes de adultos e idosos internados em um Hospital Universitário. A análise dos dados permitiu a identificação do tema: definindo-se a modalidade de apoio familiar durante a hospitalização, que reúne duas categorias principais: tornando-se familiar visitante e tornando-se familiar acompanhante. Por meio da análise, pôde-se aprofundar a compreensão do quanto as regras estabelecidas, com o objetivo de disciplinar e tornar eficiente o trabalho desenvolvido no hospital, podem explicitar o desprovimento de autonomia no processo de trabalho, para modificar as relações nesse contexto e o quanto a apropriação do familiar como parte da equipe de saúde, está distante de ser pensada no concreto das instituições.

PRP8 intein in Ajellomycetaceae family pathogens: Sequence analysis, splicing evaluation and homing endonuclease activity

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

GRAMMAR and COMMUNICATION IN PORTUGUESE AS A FOREIGN LANGUAGE A Study in the Context of Teletandem Interactions

This paper presents a study about the role of grammar in on-line interactions conducted in Portuguese and in English, between Brazilian and English-speaking interactants, with the aim of teaching Portuguese as a foreign language (PFL). The interactions occurred by means of chat and the MSN Messenger, and generated audio and video data for language analysis. Grammar is dealt with from two perspectives, an inductive and a deductive approach, so as to investigate the relevance of systematization of grammar rules in the process of learning PFL in teletandem interactions.

Electrochemical, Spectrophotometric and Liquid-Chromatographic Approaches for Analysis of Tropical Disease Drugs

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

p53 gene analysis in childhood B non - Hodgkin's lymphoma

CONTEXTO: Alterações do gene supressor de tumor p53, como mutações e deleções, são lesões genéticas encontradas com maior freqüência nas neoplasias humanas, incluindo câncer de mama, pulmão e cólon. Entre as malignidades hematológicas, o gene 53 é freqüentemente mutado no linfoma de Burkitt, sendo detectadas mutações em 30-40% das amostras tumorais e em 70% das linhagens celulares. OBJETIVO: Analisar as alterações do gene p53 em crianças com linfoma não-Hodgkin de origem B. TIPO DE ESTUDO: Estudo descritivo. LOCAL: Centro de Oncologia Terciário. PARTICIPANTES: O estudo analisou 12 pacientes com linfoma não-Hodgkin B classificados como linfoma de Burkitt. A análise de possíveis mutações do gene p53 foi realizada pela técnica de PCR-SSCP dos exons 5, 6 ,7 e 8/9 do gene. RESULTADOS: Um padrão anormal de migração foi observado em quatro pacientes (33.3%), em um paciente no exon 6 e em três no exon 7. Os casos positivos incluíam dois pacientes que evoluíram para o óbito por progressão da doença. CONCLUSÃO: Esses resultados preliminares sugerem que as alterações do gene p53 são freqüentes em crianças com linfoma de Burkitt e podem contribuir para patogênese ou progressão da doença.

Oral drugs for hypertensive urgencies: systematic review and meta-analysis

CONTEXTO E OBJETIVO: Urgências hipertensivas são definidas como elevações graves na pressão arterial sem evidência de danos agudos ou progressivos a órgãos-alvo. A necessidade de tratamento é considerada urgente, mas permite um controle gradual, utilizando-se drogas orais ou sublinguais. Se o aumento na pressão arterial não está associado a risco de vida ou danos a órgãos alvo, o controle pressórico deve ser feito lentamente durante 24 horas. em relação às urgências hipertensivas, não é conhecida qual a classe de drogas anti-hipertensivas que promove os melhores resultados e há controvérsia em relação a quando e quais as drogas devem ser utilizadas nestas situações. O objetivo desta revisão foi avaliar a efetividade e a segurança de drogas orais para urgências hipertensivas. METODOS: Esta revisão sistemática da literatura foi desenvolvida no Centro Cochrane do Brasil, e na Disciplina de Medicina de Urgência e Medicina Baseada em Evidências da Universidade Federal de São Paulo (UNIFESP) - Escola Paulista de Medicina (Unifesp-EPM), de acordo com a metodologia da Colaboração Cochrane. RESULTADOS: Os 16 ensaios clínicos aleatórios selecionados incluíram 769 participantes e demonstraram um efeito superior dos inibidores da enzima conversora de angiotensina no tratamento da urgência hipertensiva, avaliada em 223 participantes. Os efeitos adversos mais frequentes para os bloqueadores de canal de cálcio foram cefaleia (35/206), rubor (17/172) e alterações do ritmo cardíaco (14/189); para os inibidores da enzima conversora de angiotensina, o efeito colateral mais frequente foi disgeusia (25/38). CONCLUSÕES: Há evidências importantes a favor do uso de inibidores da enzima conversora da angiotensina para o tratamento de urgências hipertensivas, quando comparados aos bloqueadores dos canais de cálcio, devido a maior efetividade e à menor frequência de efeitos adversos, como cefaléia e rubor facial.