Topological triangle characterization with application to object detection from images

A novel mathematical framework inspired on Morse Theory for topological triangle characterization in 2D meshes is introduced that is useful for applications involving the creation of mesh models of objects whose geometry is not known a priori. The framework guarantees a precise control of topological changes introduced as a result of triangle insertion/removal operations and enables the definition of intuitive high-level operators for managing the mesh while keeping its topological integrity. An application is described in the implementation of an innovative approach for the detection of 2D objects from images that integrates the topological control enabled by geometric modeling with traditional image processing techniques. (C) 2008 Published by Elsevier B.V.

EXACT AND APPROXIMATE RELATIONS FOR THE SPIN-DEPENDENCE OF THE EXCHANGE ENERGY IN HIGH MAGNETIC FIELDS

The exchange energy of an arbitrary collinear-spin many-body system in an external magnetic field is a functional of the spin-resolved charge and current densities, E(x)[n(up arrow), n(down arrow), j(up arrow), j(down arrow)]. Within the framework of density-functional theory (DFT), we show that the dependence of this functional on the four densities can be fully reconstructed from either of two extreme limits: a fully polarized system or a completely unpolarized system. Reconstruction from the limit of an unpolarized system yields a generalization of the Oliver-Perdew spin scaling relations from spin-DFT to current-DFT. Reconstruction from the limit of a fully polarized system is used to derive the high-field form of the local-spin-density approximation to current-DFT and to magnetic-field DFT.

Quantitative Information Flow, Relations and Polymorphic Types

This paper uses Shannon's information theory to give a quantitative definition of information flow in systems that transform inputs to outputs. For deterministic systems, the definition is shown to specialise to a simpler form when the information source and the known inputs jointly determine the inputs. For this special case, the definition is related to the classical security condition of non-interference and an equivalence is established between non-interference and independence of random variables. Quantitative information flow for deterministic systems is then presented in relational form. With this presentation, it is shown how relational parametricity can be used to derive upper and lower bounds on information flows through families of functions defined in the second order lambda calculus.

Quantified Interference: Information Theory and Information Flow

The paper investigates which of Shannon’s measures (entropy, conditional entropy, mutual information) is the right one for the task of quantifying information flow in a programming language. We examine earlier relevant contributions from Denning, McLean and Gray and we propose and motivate a specific quantitative definition of information flow. We prove results relating equivalence relations, interference of program variables, independence of random variables and the flow of confidential information. Finally, we show how, in our setting, Shannon’s Perfect Secrecy theorem provides a sufficient condition to determine whether a program leaks confidential information.

The meta-object facility typed

The Object Managment Group’s Meta-Object Facility (MOF) is a semiformal approach to writing models and metamodels (models of models). The MOF was developed to enable systematic model/metamodel interchange and integration. The approach is problematic, unless metamodels are correctly specified: an error in a metamodel specification will propagate throughout instantiating models and final model implementations. An important open question is how to develop provably correct metamodels. This paper outlines a solution to the question, in which the MOF metamodelling approach is formalized within constructive type theory.

The network of intertextual relations in Naipaul's half a life and magic seeds

Esta dissertação mapeia a rede de relações intertextuais em Half a Life (2001) e sua continuação Magic Seeds (2004), os romances mais recentes do Prêmio Nobel de Literatura de 2001, V. S. Naipaul, como contribuição para o estudo da obra do autor. A noção de intertextualidade permeia os estudos literários, e o termo tem sido largamente empregado desde que foi cunhado por Julia Kristeva nos anos sessenta. Desde então as mais variadas, e muitas vezes divergentes, teorias sobre intertextualidade compartilham a idéia de que um texto só adquire significado pleno na interação com outros textos. A abordagem metodológica proposta é baseada na teoria da transtextualidade de Gérard Genette. Esta escolha implica o estudo de intertextos, paratextos, metatextos, arquitextos e hipertextos que constituem a interface entre os dois romances e outros escritos. O nome do protagonista "William Somerset Chandran" constitui o fio que guia o estudo das várias relações transtextuais nos dois romances. A partir do prenome do protagonista – William – este estudo situa os romances no contexto da tradição do Bildungsroman, e argumenta que estes estabelecem uma paródia arquitextual do gênero na medida em que subvertem seu cerne, ou seja, a formação do caráter do protagonista. O nome do meio do protagonista – Somerset – remete à ficcionalização do escritor Somerset Maugham na narrativa, ao mesmo tempo em que esta desmistifica a ótica ocidental sobre o hinduísmo popularizada por Maugham em The Razor's Edge. O sobrenome do protagonista – Chandran – leva ao estudo do conjunto de referências à origem indiana de Naipaul e o papel desta na produção do autor. Este nome se reporta ao romance de Narayan The Bachelor of Arts, cujo protagonista também é nomeado Chandran. Narayan é um escritor de destaque na literatura anglo-indiana e referência recorrente na obra de Naipaul. Os temas de migração e choque cultural apresentados nos dois romances têm sido presença constante na obra de Naipaul. Esta pesquisa mapeia a relação de continuidade entre os dois romances em questão e o conjunto da obra de Naipaul, salientando o papel da ambientação geográfica da narrativa, marcada pela jornada do protagonista através de três continentes. A teoria da transtextualidade é uma ferramenta operacional para a pesquisa, a qual examina a densidade das referências geográficas, históricas e literárias em Half a Life e Magic Seeds, visando aportar elementos para o estudo da produção literária de Naipaul, na medida em que estes romances recentes condensam e revisitam a visão de mundo deste autor.

Coevolução e as práticas isomórficas de gestão: um estudo sobre os processos de mudanças institucionais no Instituto Federal de Educação, Ciência e Tecnologia do RN

The Federal Institution for Education, Science and Technology, in its historical path, has been living different changes. The transformations occurred along the way have been determined by coercive forces from the institutional environment, which has became more and more broad and complex throughout the time, obtaining diverse characteristics and new elements such as non institutional factors1 which started to contribute with the other changes. In this context, this work aims to study the isomorphic practices of the managers in the institutional changes process of the IFRN in 1998 and 2008, as of a theoretical coevolutionary perspective (CHILD; RODRIGUES; LEWIN; CARROL; VOLBERDA, 2003). This theory brings a new point of view for the organization analysis to the organizational studies, since it offers a non deterministic and non linear lection of the evolution process, which means, a coevolution. Thus, the organizations and their institutional and non institutional environment auto evolve, auto organize and auto reproduce. Therefore, the institutional and non institutional factors of the macro environment keep a continuous interdependence relationship with the organizations. For the means of this study, it is important to understand that is impossible to comprehend the object, the isomorphic practices, without considering that the previous institutional changes and its evolutions, its continuations and discontinuations, important in the coevolution process. As such, to call upon the institutional historical track is a fundamental aspect to materialize this study, for the recursive movement is indeed present in the coevolution. Another important point to make this research effective is that it is not possible to abdicate from the hologramatic view2 of this study, which considers the object, the isomorphic practices, part of the whole and this whole is also in the parts, therefore it is impossible to comprehend the object of study outside the context where it belongs. With this, as of the objective previously proposed, it is necessary to describe the characteristics of coevolution of the institutional changes related in 1998 and 2008; analyze the dynamic of the isomorphic mechanisms in its respective institutional change process; and describe the lessons learned which the isomorphic practices left to the IFRN, regarding its benefits and difficulties. All these transformations happened through coercive forces3 of the institutional environment. As of the Nineties, these forces became stronger, the environment became broader and more complex, with the emergency of new environmental factors. This study proposed to study the managing process and its practices, related to the micro environment, although it is required to articulate these actions, the demands and requirements from the macro environment. To make this research effective, semi structured interviews have been conducted with the managers who participated in both institutional change processes. In the results analysis, it has been possible to verify the particularity of each change, the one from 1998 with a strong normative action of the managers against coercive forces from the government for the search of recognition and the institutional legitimation and the one in 2008, which has been characterized by the normative action by managers in agreement with the coercive forces from the government, in favor of the government policy for the technological professional education. However, the results analysis it is possible to notice the evidence of a belonging feeling from the interviewed managers

Murilo Rubião: enlaces eróticos, fantásticos e absurdos

The present research intends to propose a reading in a new dimension of the fantastic (weird) literature and, especially, of its Brazilian more representative author, Murilo Rubião. At the beginning with concepts and associations with the erotic, starting from the myth of Eros and Psique and developing relations with Georges Bataille's theory on the theme. Afterwards, other associations are made, now with relation to the own fantastic literature. With the essence of this literature, examples of the traditional close to the contemporary. A last, association is made with the absurd literature. The contemporary man as being object and its configuration represented in the field of the dreams and its possibilities. At the end of the work, a "post scriptum" suggests a more imersive reading of tales in the entire that appeared broken into fragments along the research

Códigos de sustentação da linguagem no cotidiano prisional do Rio Grande do Norte: penitenciária estadual de Parnamirim

The quarrel, in this study, tells about the language as social practical in the daily of Parnamirim State Prison that is integrated to the Rio Grande do Norte Penitentiary System - SISPERN, destined for men in fulfilment of penalty privative of freedom, in closed regimen. For the accomplishment of the research, the delimited objectives had been to analyze the language repertoires created in the prisional daily, trying to identify how it´s turned into distinct forms of resistance to the mechanisms of control in penitentiary system; to investigate which are the language repertoires created from the new sociability forms developed among prisoners and identify how the language repertoires are expressed in the daily prisional on relations/exercises of power not-institutionalized. In the methodological aspect, the study is in a qualitative boarding, that has as main instrument the interview. The inquiry was possible by means of using instruments for data collection, like as: the direct comment in the prisional daily duly registered as researcher´s ethnographical procedure, the analysis of interns´ cadastre handbooks and the application of half-structuralized interview, to the subjects of the research. The construction and understanding of the study object had been based on authors who argue on the arrest, as: Foucault, Goffman, Carvalho Filho and, in particular was searched the theorical referencial that approaches the language in a social and cultural perspective: Orlandi, Manfred, Bastos and Candiotto, amongst others. Beyond the normative endorsement of the Brazilian legislation, through the Law of Criminal Execution, of the Criminal Code and the Federal Constitution of the country and the legal apparatus in state scope. Still in the research methodological perspective, after the collection the data had been submitted to an analysis of the speech from Foucalt´s theory and in the Orlandi´s perspective, being also qualitative and quantitative. The results had evidenced that the social and juridical profile of the population in the site inquired is not different of others Brazilian prisons, composed for men, in its majority, with age band between 21 and 30 years old, prisoners for practicing crimes against the patrimony, against life, amongst others, and, in special, criminal recidivists. It evidenced, still, that the daily prisional of PSP is characterized for a sociocultural diversity expressed in the relations of power not institutionalized, that contributes for the formation and division of the groups, each one using a set of language codes/ repertoires sustentation. Therefore, the language, in the daily prisional, is one of the ways to understand the singularity of the sociability relations and as social practicing mediated by relations/exercises of power and antagonistic interests, in which each group aims first of all, their own interests. It represents the complexity of the social relations, in the prisional space, with diverse effects, in function of the situation and the moment. The language in the arrest, beyond the communication function, assumes and represents central element for the sociability human being, contributes for its changings and it´s configured as one of the resistance forms of prisoners against the controling, disciplining and monitoring mechanisms of penitentiary system

On the algebraic K theory of the massive D8 and M9-branes

In this paper we review some basic relations of algebraic K theory and we formulate them in the language of D-branes. Then we study the relation between the D8-branes wrapped on an orientable, compact manifold W in a massive Type IIA, supergravity background and the M9-branes wrapped on a compact manifold Z in a massive d = 11 supergravity background from the K-theoretic point of view. By interpreting the D8-brane charges as elements of K-0(C(W)) and the (inequivalent classes of) spaces of gauge fields on the M9-branes as the elements of K-0(C(Z) x ((k) over bar*) G) where G is a one-dimensional compact group, a connection between charges and gauge fields is argued to exists. This connection could be realized as a composition map between the corresponding algebraic K theory groups.

Linear relations between N >= 4 supergravity and subleading-color SYM amplitudes

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

On KLT and SYM-supergravity relations from 5-point 1-loop amplitudes

We derive a new non-singular tree-level KLT relation for the n = 5-point amplitudes, with manifest 2(n-2)! symmetry, using information from one-loop amplitudes and IR divergences, and speculate how one might extend it to higher n-point functions. We show that the subleading-color N = 4 SYM 5-point amplitude has leading IR divergence of 1/epsilon, which is essential for the applications of this paper. We also propose a relation between the subleading-color N = 4 SYM and N = 8 supergravity 1-loop 5-point amplitudes, valid for the IR divergences and possibly for the whole amplitudes, using techniques similar to those used in our derivation of the new KLT relation.

Linking the hydrodynamic and kinetic description of a dissipative relativistic conformal theory

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

Dispersion relations and the spin polarizabilities of the nucleon

A forward dispersion calculation is implemented for the spin polarizabilities γ1, ⋯, γ4 of the proton and the neutron. These polarizabilities are related to the spin structure of the nucleon at low energies and are structure-constants of the Compton scattering amplitude at script O sign(ω3). In the absence of a direct experimental measurement of these quantities, a dispersion calculation serves the purpose of constraining the model building, and of comparing with recent calculations in heavy baryon chiral perturbation theory. © 1998 Elsevier Science B.V.

Towards a theory of change

Includes bibliography