Perturbative breaking of the pseudospin symmetry in the relativistic harmonic oscillator

We show that relativistic mean fields theories with scalar S, and vector V, quadratic radial potentials can generate a harmonic oscillator with exact pseudospin symmetry and positive energy bound states when S = -V. The eigenenergies are quite different from those of the non-relativistic harmonic oscillator. We also discuss a mechanism for perturbatively breaking this, symmetry by introducing a tensor potential. Our results shed light into the intrinsic relativistic nature of the pseudospin symmetry, which might be important in high density systems such as neutron stars.

Crystallization of nordstrandite in ethylene glycol water solutions: electron microscopic studies

The present work shows the growth of nordstrandile microcrystals observed by transmission and scanning electron microscopy. Nordstrandite was synthesised from non-crystalline aluminium hydroxide reacted in 20% ethylene glycol/water solution, at room temperature. This material was characterized by TEM, SEM, SAED, XRD and EDS/TEM, during six month and revealed the formation and growth of nordstrandite. Fibrillar pseudoboehmite is the only aluminium hydroxide which could be identified during the first two weeks. The nuclei grow, from complete dissolution/recrystallization of pseudoboehmite fibrils, into platy rectangular microscrystals of nordstrandite. Some tabular microcrystals recrystallise, forming after six months only the mufti-point nordstrandite stars. This electron-optical study suggest that the star shape results from the overlapping of rectangular plates, and pseudoboehmite fibrils act as the precursor of nordstrandite crystallisation in ethylene glycol/water solution.

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.

Competitividad centroamericana

Incluye Bibliografía

Otimização e estudo do comportamento do solo-cimento auto-adensável

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

Efeitos do meio nuclear denso sobre o mecanismo de pólo do píon ('gamagamaseta'pi''POT.0setaniuniu''BARRA')

Pós-graduação em Física - IFT

Formação de compostos de alumínio por associação radioativa

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

Nietzsche e a inflexão filosofica rumo ao mundo mítico: leituras de Heráclito

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

Mulheres em transgressão: a visibilidade da voz feminina em Vozes do deserto de Nélida Pinõn

Pós-graduação em Letras - FCLAS

Latin America’s competitive position in knowledge-intensive services trade

This study presents a dynamic analysis of Latin America's competitiveness in trade in knowledge-intensive services. The methodology used to undertake this analysis is based on the Tradecan approach developed by the Economic Commission for Latin America and the Caribbean (ECLAC), which provides a means of assessing different countries' competitiveness by looking at their exports to the fastest-growing markets. (In the past, it has usually been applied primarily to exports of goods.) The results suggest that, although some Latin American countries have made inroads in knowledge-intensive service segments and have comparative advantages in them, the percentage of "rising stars" (dynamic sectors in which a country or region is gaining in market share) is still low, while there is a high percentage of "missed opportunities" (dynamic sectors in which a country or region is losing market share). This points up the existence of areas in which the region's competitive position is weak and in which policies are needed to leverage its competitive advantages and remove the obstacles that are holding it back from establishing a more advantageous position in knowledge-intensive service markets.

Um estudo histórico perceptual: a bandeira brasileira sem o Brasil

Pós-graduação em Artes - IA

Context-sensitive analysis of x86 obfuscated executables

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

Férmions em referenciais acelerados: desintegração de prótons e outras aplicações

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

Leituras intertextuais de O Tetraneto del-rei de Haroldo Maranhão

O presente trabalho tem como objeto de investigação a escrita de Haroldo Maranhão, buscando compreender os aspectos que influenciaram na formação deste autor, bem como a particularidade de sua escrita, repleta de traços eruditos e, paralelamente, apresentando expressões obscenas e de valor popular. Para tanto, pautou-se a presente análise na obra O Tetraneto Del-Rei, que apresenta com riqueza de detalhes, aspectos relacionados ao período de nossa colonização, porém sob um prisma diferenciado e reinterpretativo, a partir dos diversos signos e elementos manifestados na obra de Haroldo. Converge, portanto, ao caráter reinterpretativo, a figura do Torto, colonizador português que protagoniza momentos de fraqueza, angústia, desejos e medos, sentimentos esses que não constam em obras que disseminaram em prosa e verso o imaginário de um herói. Como subsídio conceitual e literário, apresentamos autores precursores a Haroldo Maranhão, buscando identificar as relações deste com o estilo daqueles. Por fim, a investigação buscou demonstrar a presença de três elementos intertextuais na obra O Tetraneto Del-Rei, a saber: releituras da colonização, o significado do chapéu e as interpretações do obsceno.