From an Ontology-Oriented Approach Conception to User Interface Development

* The presented work has discussed on the KDS-2003. It has corrected in compliance with remarks and requests of participants.

Relações de cooperação em consórcios públicos de regiões metropolitanas: análises do CONDIAM/PB e consórcio grande Recife

With the disorganized decentralization occurred in Brazil after the 1988 Constitution, municipalities have risen to the level of federal entities. This phenomenon became known as "municipalism" also brought some negative effects such as low capacity financial, economic and political of these entities. In the face of this reality , the municipalities sought in models of collaborative features to address public policy issues ultrarregionais, one of these models are the Public Consortia. Characterized as the organization of all federal entities that aim to solve public policy implementation alone that they could not, or spend great resources for such. This reality of the municipalities have an aggravating factor when looking at the situation in Metropolitan Regions (MRs). This is because the RMs has a historical process of formation that does not encourage cooperation, since that were created top-down during the military regime. Furthermore, the metropolitan municipalities have significant power asymmetries, localist vision, rigidity earmarked revenues, different scenarios conurbation, difficulty standardization of concepts and others that contribute to the vision of low cooperation of these metropolitan areas. Thus, the problem of this work is in the presence of collaborative arrangements, such as the Public Consortia in metropolitan areas, which are seen as areas of low cooperation. To elucidate this research was used for analysis the cases of CONDIAM/PB and Consórcio Grande Recife/PE, because they are apparently antagonistic, but with some points of similarity. The cases has as foundation the Theory of Common Resources, which provides the possibility of collective action through the initiative of individuals. This theory has as its methodology for analyzing the picture IAD Framework, which proposes its analysis based on three axes: external variables, the arena of action and results. The nature of the method of this research was classified as exploratory and descriptive. For the stage of date analysis, was used the method of document analysis and content, Further than of separation of the cases according to theur especificities. At the end of the study, noted that the CONDIAM/PB was a strategy of municipal government of Joao Pessoa to attract funds from the Federal Government for the purpose of to build a landfill, and over the years the ideology of cooperation was left aside, the prevailing view localist municipalities. In the case of Consórcio Grande Recife/PE, members act with some degree of cooperation, especially the collaborative aspect of the region, however, still prevails with greater strength the power of the state of Pernambuco in the decisions and paths of the consortium. Thus, was conclude that the Public Consortia analyzed are an experience of collaborative arrangement, from the initiative of members, as the theory of common resources says, but has not actually signed as a practice of collective action to overcome the dilemmas faced by metropolitan areas

Modelagem de emoções utilizando redes bayesianas

As emoções são consideradas a regra central de nossas vidas, tendo grande impacto na tomada de decisões, ações, memória, atenção, etc. Sendo assim, existe grande interesse em simulá-las em ambientes computacionais, possibilitando que situações do cotidiano humano possam ser estudadas em ambientes controlados. Embora existam modelos teóricos para o funcionamento de emoções, estes por si só são insuficientes para uma simulação precisa em meios computacionais. Tendo como base um destes modelos, o modelo OCC, essa dissertação propõe a simulação de emoções em ambientes mutiagentes através da criação de uma rede Bayesiana capaz de traduzir estímulos gerados neste ambiente em emoções. A utilização de redes Bayesianas combinadas à estrutura do modelo OCC busca a adição de imprevisibilidade ao modelo, além de fornecê-lo uma estrutura computacional. A aplicação do modelo proposto a um sistema multiagentes proporciona o estudo da influência das emoções sobre as ações e comportamento dos agentes, possibilitando um estudo de comparação entre os resultados obtidos ao se realizar uma simulação multiagentes clássica e uma simulação multiagentes contendo emoções. De forma a validar e avaliar seu funcionamento, é apresentado o estudo da aplicação da rede Bayesiana de emoções sobre um modelo multiagentes exemplo, observando as variações que as emoções provocam sobre o comportamento dos agentes.

Inflaton dark matter from incomplete decay

We show that the decay of the inflaton field may be incomplete, while nevertheless successfully reheating the Universe and leaving a stable remnant that accounts for the present dark matter abundance. We note, in particular, that since the mass of the inflaton decay products is field dependent, one can construct models, endowed with an appropriate discrete symmetry, where inflaton decay is kinematically forbidden at late times and only occurs during the initial stages of field oscillations after inflation. We show that this is sufficient to ensure the transition to a radiation-dominated era and that inflaton particles typically thermalize in the process. They eventually decouple and freeze out, yielding a thermal dark matter relic. We discuss possible implementations of this generic mechanism within consistent cosmological and particle physics scenarios, for both single-field and hybrid inflation.

Relações de cooperação em consórcios públicos de regiões metropolitanas: análises do CONDIAM/PB e consórcio grande Recife

With the disorganized decentralization occurred in Brazil after the 1988 Constitution, municipalities have risen to the level of federal entities. This phenomenon became known as "municipalism" also brought some negative effects such as low capacity financial, economic and political of these entities. In the face of this reality , the municipalities sought in models of collaborative features to address public policy issues ultrarregionais, one of these models are the Public Consortia. Characterized as the organization of all federal entities that aim to solve public policy implementation alone that they could not, or spend great resources for such. This reality of the municipalities have an aggravating factor when looking at the situation in Metropolitan Regions (MRs). This is because the RMs has a historical process of formation that does not encourage cooperation, since that were created top-down during the military regime. Furthermore, the metropolitan municipalities have significant power asymmetries, localist vision, rigidity earmarked revenues, different scenarios conurbation, difficulty standardization of concepts and others that contribute to the vision of low cooperation of these metropolitan areas. Thus, the problem of this work is in the presence of collaborative arrangements, such as the Public Consortia in metropolitan areas, which are seen as areas of low cooperation. To elucidate this research was used for analysis the cases of CONDIAM/PB and Consórcio Grande Recife/PE, because they are apparently antagonistic, but with some points of similarity. The cases has as foundation the Theory of Common Resources, which provides the possibility of collective action through the initiative of individuals. This theory has as its methodology for analyzing the picture IAD Framework, which proposes its analysis based on three axes: external variables, the arena of action and results. The nature of the method of this research was classified as exploratory and descriptive. For the stage of date analysis, was used the method of document analysis and content, Further than of separation of the cases according to theur especificities. At the end of the study, noted that the CONDIAM/PB was a strategy of municipal government of Joao Pessoa to attract funds from the Federal Government for the purpose of to build a landfill, and over the years the ideology of cooperation was left aside, the prevailing view localist municipalities. In the case of Consórcio Grande Recife/PE, members act with some degree of cooperation, especially the collaborative aspect of the region, however, still prevails with greater strength the power of the state of Pernambuco in the decisions and paths of the consortium. Thus, was conclude that the Public Consortia analyzed are an experience of collaborative arrangement, from the initiative of members, as the theory of common resources says, but has not actually signed as a practice of collective action to overcome the dilemmas faced by metropolitan areas

Quarkonia and heavy-light mesons in a covariant quark model

Preliminary calculations using the Covariant Spectator Theory (CST) employed a scalar linear confining interaction and an additional constant vector potential to compute the mesonic mass spectra. In this work we generalize the confining interaction to include more general structures, in particular a vector and also a pseudoscalar part, as suggested by a recent study. A one-gluon-exchange kernel is also implemented to describe the short-range part of the interaction. We solve the simplest CST approxima- tion to the complete Bethe-Salpeter equation, the one-channel spectator equation, using a numerical technique that eliminates all singularities from the kernel. The parameters of the model are determined through a fit to the experimental pseudoscalar meson spectra, with a good agreement for both quarkonia and heavy-light states.

Generic one round group key exchange in the standard model

Minimizing complexity of group key exchange (GKE) protocols is an important milestone towards their practical deployment. An interesting approach to achieve this goal is to simplify the design of GKE protocols by using generic building blocks. In this paper we investigate the possibility of founding GKE protocols based on a primitive called multi key encapsulation mechanism (mKEM) and describe advantages and limitations of this approach. In particular, we show how to design a one-round GKE protocol which satisfies the classical requirement of authenticated key exchange (AKE) security, yet without forward secrecy. As a result, we obtain the first one-round GKE protocol secure in the standard model. We also conduct our analysis using recent formal models that take into account both outsider and insider attacks as well as the notion of key compromise impersonation resilience (KCIR). In contrast to previous models we show how to model both outsider and insider KCIR within the definition of mutual authentication. Our analysis additionally implies that the insider security compiler by Katz and Shin from ACM CCS 2005 can be used to achieve more than what is shown in the original work, namely both outsider and insider KCIR.

Anonymity and one-way authentication in key exchange protocols

Key establishment is a crucial cryptographic primitive for building secure communication channels between two parties in a network. It has been studied extensively in theory and widely deployed in practice. In the research literature a typical protocol in the public-key setting aims for key secrecy and mutual authentication. However, there are many important practical scenarios where mutual authentication is undesirable, such as in anonymity networks like Tor, or is difficult to achieve due to insufficient public-key infrastructure at the user level, as is the case on the Internet today. In this work we are concerned with the scenario where two parties establish a private shared session key, but only one party authenticates to the other; in fact, the unauthenticated party may wish to have strong anonymity guarantees. We present a desirable set of security, authentication, and anonymity goals for this setting and develop a model which captures these properties. Our approach allows for clients to choose among different levels of authentication. We also describe an attack on a previous protocol of Øverlier and Syverson, and present a new, efficient key exchange protocol that provides one-way authentication and anonymity.

Quantum Phase Diagram of One-Dimensional Spin and Hubbard Models with Transitions to Bond Order Wave Phases

Similar quantum phase diagrams and transitions are found for three classes of one-dimensional models with equally spaced sites, singlet ground states (GS), inversion symmetry at sites and a bond order wave (BOW) phase in some sectors. The models are frustrated spin-1/2 chains with variable range exchange, half-filled Hubbard models with spin-independent interactions and modified Hubbard models with site energies for describing organic charge transfer salts. In some range of parameters, the models have a first order quantum transition at which the GS expectation value of the sublattice spin < S-A(2)> of odd or even-numbered sites is discontinuous. There is an intermediate BOW phase for other model parameters that lead to two continuous quantum transitions with continuous < S-A(2)>. Exact diagonalization of finite systems and symmetry arguments provide a unified picture of familiar 1D models that have appeared separately in widely different contexts.

Quantum Phase Diagram of One-Dimensional Spin and Hubbard Models with Transitions to Bond Order Wave Phases

Similar quantum phase diagrams and transitions are found for three classes of one-dimensional models with equally spaced sites, singlet ground states (GS), inversion symmetry at sites and a bond order wave (BOW) phase in some sectors. The models are frustrated spin-1/2 chains with variable range exchange, half-filled Hubbard models with spin-independent interactions and modified Hubbard models with site energies for describing organic charge transfer salts. In some range of parameters, the models have a first order quantum transition at which the GS expectation value of the sublattice spin < S-A(2)> of odd or even-numbered sites is discontinuous. There is an intermediate BOW phase for other model parameters that lead to two continuous quantum transitions with continuous < S-A(2)>. Exact diagonalization of finite systems and symmetry arguments provide a unified picture of familiar 1D models that have appeared separately in widely different contexts.

I. Quantum mechanics of one-dimensional two-particle models. II. A quantum mechanical treatment of inelastic collisions

Part I

Solutions of Schrödinger’s equation for system of two particles bound in various stationary one-dimensional potential wells and repelling each other with a Coulomb force are obtained by the method of finite differences. The general properties of such systems are worked out in detail for the case of two electrons in an infinite square well. For small well widths (1-10 a.u.) the energy levels lie above those of the noninteresting particle model by as much as a factor of 4, although excitation energies are only half again as great. The analytical form of the solutions is obtained and it is shown that every eigenstate is doubly degenerate due to the “pathological” nature of the one-dimensional Coulomb potential. This degeneracy is verified numerically by the finite-difference method. The properties of the square-well system are compared with those of the free-electron and hard-sphere models; perturbation and variational treatments are also carried out using the hard-sphere Hamiltonian as a zeroth-order approximation. The lowest several finite-difference eigenvalues converge from below with decreasing mesh size to energies below those of the “best” linear variational function consisting of hard-sphere eigenfunctions. The finite-difference solutions in general yield expectation values and matrix elements as accurate as those obtained using the “best” variational function.

The system of two electrons in a parabolic well is also treated by finite differences. In this system it is possible to separate the center-of-mass motion and hence to effect a considerable numerical simplification. It is shown that the pathological one-dimensional Coulomb potential gives rise to doubly degenerate eigenstates for the parabolic well in exactly the same manner as for the infinite square well.

Part II

A general method of treating inelastic collisions quantum mechanically is developed and applied to several one-dimensional models. The formalism is first developed for nonreactive “vibrational” excitations of a bound system by an incident free particle. It is then extended to treat simple exchange reactions of the form A + BC →AB + C. The method consists essentially of finding a set of linearly independent solutions of the Schrödinger equation such that each solution of the set satisfies a distinct, yet arbitrary boundary condition specified in the asymptotic region. These linearly independent solutions are then combined to form a total scattering wavefunction having the correct asymptotic form. The method of finite differences is used to determine the linearly independent functions.

The theory is applied to the impulsive collision of a free particle with a particle bound in (1) an infinite square well and (2) a parabolic well. Calculated transition probabilities agree well with previously obtained values.

Several models for the exchange reaction involving three identical particles are also treated: (1) infinite-square-well potential surface, in which all three particles interact as hard spheres and each two-particle subsystem (i.e. BC and AB) is bound by an attractive infinite-square-well potential; (2) truncated parabolic potential surface, in which the two-particle subsystems are bound by a harmonic oscillator potential which becomes infinite for interparticle separations greater than a certain value; (3) parabolic (untruncated) surface. Although there are no published values with which to compare our reaction probabilities, several independent checks on internal consistency indicate that the results are reliable.

Systematic construction of models for the exchange hole of density functional theory.

Dans ce travail, nous étendons le nombre de conditions physiques actuellement con- nues du trou d’échange exact avec la dérivation de l’expansion de quatrième ordre du trou d’échange sphérique moyenne exacte. Nous comparons les expansions de deux- ième et de quatrième ordre avec le trou d’échange exact pour des systèmes atomiques et moléculaires. Nous avons constaté que, en général, l’expansion du quatrième ordre reproduit plus fidèlement le trou d’échange exact pour les petites valeurs de la distance interélectronique. Nous démontrons que les ensembles de base de type gaussiennes ont une influence significative sur les termes de cette nouvelle condition, en étudiant com- ment les oscillations causées par ces ensembles de bases affectent son premier terme. Aussi, nous proposons quatre modèles de trous d’échange analytiques auxquels nous imposons toutes les conditions actuellement connues du trou d’échange exact et la nou- velle présentée dans ce travail. Nous évaluons la performance des modèles en calculant des énergies d’échange et ses contributions à des énergies d’atomisation. On constate que les oscillations causeés par les bases de type gaussiennes peuvent compromettre la précision et la solution des modèles.

Strength of the trilinear Higgs boson coupling in technicolor models

We discuss the strength of the trilinear Higgs boson coupling in technicolor (or composite) models in a model independent way. The coupling is determined as a function of a very general ansatz for the technicolor self-energy, and turns out to be equal or smaller than the one of the Standard Model Higgs boson depending on the dynamics of the theory. (c) 2006 Published by Elsevier B.V.

Plethysms and interacting boson models

A short review of the plethysm technique aiming to its application in finding branching rules for the reduction of an irreducible representation of a group under the restriction to one of its subgroups is given. The algebraic structure of the interacting boson model and some of its extensions is given together with the branching rules needed to classify their basis states, obtained by the use of plethysms. (C) 2003 American Institute of Physics.

Signature of charged to neutral Higgs boson decay at the LHC in SUSY models

We study the signature of H+/- decay into h(0)W at the LHC in SUSY models. It has only marginal viability in the MSSM. But in the singlet extensions like the NMSSM one can have a spectacular signature for H+/- decay into (h(0), A(0))W over a significant domain of parameter space. (C) 1999 Published by Elsevier B.V. B.V. All rights reserved.