Podolsky's electromagnetic theory on the null-plane

We have analyzed the null-plane canonical structure of Podolsky's electromagnetic theory. As a theory that contains higher order derivatives in the Lagrangian function, it was necessary to redefine the canonical momenta related to the field variables. We were able to find a set of first and second-class constraints, and also to derive the field equations of the system. Copyright © owned by the author(s) under the terms of the Creative Commons Attribution-NonCommercial-ShareAlike Licence.

QCD phenomenology with infrared finite SDE solutions

Recent progress in the solution of Schwinger-Dyson equations (SDE), as well as lattice simulation of pure glue QCD, indicate that the gluon propagator and coupling constant are infrared (IR) finite. We discuss how this non-perturbative information can be introduced into the QCD perturbative expansion in a consistent scheme, showing some examples of tree level hadronic reactions that successfully fit the experimental data with the gluon propagator and coupling constant depending on a dynamically generated gluon mass. This infrared mass scale acts as a natural cutoff and eliminates some of the ad hoc parameters usually found in perturbative QCD calculations. The application of these IR finite Green's functions in the case of higher order terms of the perturbative expansion is commented. © Copyright owned by the author(s) under the terms of the Creative Commons Attribution-NonCommercial-ShareAlike Licence.

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.

Possíveis conseqüências na evolução de Triton em queda

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

Métodos numéricos para o retoque digital

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

Sistemas dinâmicos discretos: análise de estabilidade

Pós-graduação em Matemática Universitária - IGCE

Tópicos em teoria quântica de campos

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

Fabricação e caracterização estrutural de filmes evaporados de ftalocianinas

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

Formalismo de Hamilton-Jacobi generalizado: teorias de campos com derivadas de ordem superior

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

O papel da nominalização no continuum categorial

A continuidade categorial é uma propriedade indiscutível da linguagem para a tradição funcionalista, que a trata como um verdadeiro universal linguístico. Além de buscar evidência sistemática para a comprovação desse axioma, o principal objetivo deste trabalho é analisar a estrutura argumental da nominalização, num esforço concentrado por demonstrar que esse mesmo princípio universal é metodologicamente útil e teoricamente válido para postular relações intralinguísticas de continuidade categorial mesmo entre classes aparentemente discretas como as de substantivo e verbo. A trajetória percorrida para a sustentação da hipótese da continuidade categorial passa necessariamente pela comprovação de uma hipótese secundária, a de preservação de valência, postulada por Dik (1985; 1997), segundo a qual a estrutura argumental é parte constitutiva da nominalização. Essa busca não teria êxito se a trajetória percorrida não utilizasse um atalho necessário, representado pela teoria prototípica de categorização. De fato, postular a existência de categorias intermediárias, como a de nominalização, implica necessariamente a existência de membros mais prototípicos de uma categoria. A existência de estrutura argumental, que sinaliza a representação de entidades de ordem superior, permite aproximar a nominalização de membros não-prototípicos da categoria dos verbos como formas não-finitas, enquanto a ausência de estrutura argumental, que sinaliza a representação de uma entidade de primeira ordem, permitiu aproximá-lo de membros prototípicos da categoria dos substantivos

The dynamic implementation of non-overt arguments in nominalizations

Valency is an inherent property of nominalizations representing higher-order entities, and as such it should be included in their underlying representation. On the basis of this assumption, I postulate that cases of non-overt arguments, which are very common in Brazilian Portuguese and in many other languages of the world, should be considered a special type of valency realization. This paper aims to give empirical support to this postulate by showing that non-overt arguments are both semantically and pragmatically motivated. The semantic and pragmatic motivations for non-overt arguments may be accounted for by the dynamic implementation of the FDG model. I argue that the way valency is realized by means of non-overt arguments suggests a strong parallelism between nominalizations and other types of non-finite embedded constructions – like infinitival and participial ones. By providing empirical evidence for this parallelism I arrive at the conclusion that there are at least three kinds of non-finite embedded constructions, rather than only two, as suggested by Dik (1997).

Studies of azimuthal dihadron correlations in ultra-central PbPb collisions at=2.76 TeV

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

Excitonic instabilities and spontaneous time-reversal symmetry breaking on the honeycomb lattice

We elucidate the close relationship between spontaneous time-reversal symmetry breaking and the physics of excitonic instabilities in strongly correlated multiband systems. The underlying mechanism responsible for the spontaneous breaking of time-reversal symmetry in a many-body system is closely related to the Cooper-like pairing instability of interband particle-hole pairs involving higher-order symmetries. Studies of such pairing instabilities have, however, mainly focused on the mean-field aspects of the virtual exciton condensate, which ignores the presence of the underlying collective Fermi-liquid excitations. We show that this relationship can be exploited to systematically derive the coupling of the condensate order parameter to the intraband Fermi-liquid particle-hole excitations. Surprisingly, we find that the static susceptibility is negative in the ordered phase when the coupling to the Fermi-liquid collective excitations are included, suggesting that a uniform condensate of virtual excitons, with or without time-reversal breaking, is an unstable phase at T = 0.

Dimensional reduction of the massless limit of the linearized 'New Massive Gravity'

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

análise dos efeitos ionosféricos de ordem superior no ciclo solar 24 e influência no posicionamento GNSS absoluto

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