Extreme observations and diversification in Latin American emerging equity markets

In this paper, we focus on the tails of the unconditional distribution of Latin American emerging markets stock returns. We explore their implications for portfolio diversification according to the safety tirst principIe, tirst proposed by Roy (1952). We tind that the Latin American emerging markets have signiticantly fatter tails than industrial markets. especially, the lower tail of the distrihution. We consider the implication of the safety tirst principIe for a U .S. investor who creates a diversitied portfolio using Latin American stock markets. We tind that a U.S. investor gains by adding Latin American equity markets to her purely domestic portfolio. For different parameter specitications. we finu a more realistic asset allocation than the one suggested by the Iiterature haseu on the traditional mean-variance framework.

Robustness and stabilization properties of monetary policy rules in Brazil

Based on three versions of a small macroeconomic model for Brazil, this paper presents empirical evidence on the effects of parameter uncertainty on monetary policy rules and on the robustness of optimal and simple rules over different model specifications. By comparing the optimal policy rule under parameter uncertainty with the rule calculated under purely additive uncertainty, we find that parameter uncertainty should make policymakers react less aggressively to the economy's state variables, as suggested by Brainard's "conservatism principIe", although this effect seems to be relatively small. We then informally investigate each rule's robustness by analyzing the performance of policy rules derived from each model under each one of the alternative models. We find that optimal rules derived from each model perform very poorly under alternative models, whereas a simple Taylor rule is relatively robusto We also fmd that even within a specific model, the Taylor rule may perform better than the optimal rule under particularly unfavorable realizations from the policymaker' s loss distribution function.

Análise da autonomia de indivíduos internados em enfermarias cirúrgicas de um hospital universitário

Pós-graduação em Enfermagem (mestrado profissional) - FMB

A exigibilidade judicial dos direitos sociais

A falta, de concretização de alguns direitos fundamentais, como os sociais de saúde e educação, que demandam certos custos para o Estado, ainda representa um desafio ao constitucionalismo brasileiro. Em decorrência, os tribunais vêm se deparando com demandas relacionadas a materialização dos referidos direitos, tais como pedidos de fornecimento de medicamentos não fornecidos pela rede pública de saúde ou a garantia de matrícula de estudante no sistema público de educação. Tratam-se assim de pedidos de ordens judiciais para que a administração pública cumpra seu dever constitucional, através de prestações positivas. Tal fenômeno, incluído por boa parte da doutrina dentro do que se convencionou chamar de "judicialização da política" não está isento à criticas. Em seu desfavor, argumenta-se que (1) o Judiciário está agredindo o princípio da separação de poderes, haja vista que a função administrativa, com sua discricionariedade, deve ser preservada com o Executivo não devendo na mesma se imiscuírem os magistrados, sendo-lhes defeso interferir em políticas publicas; (II) não há legitimidade democrática dos juízes, pois os mesmos não foram eleitos pelo povo; (III) o Judiciário não está preparado e tecnicamente capacitado para tal tipo de demanda; (IV) por envolver prestações positivas e assim necessidade de recursos públicos para a sua concretização, uma, determinação judicial nesse sentido contrariaria o princípio da legalidade e anterioridade orçamentária e encontraria sérios óbices em sua concretização pela reserva do possível. O presente estudo se propõe não só a analisar os referidos argumentos, como também examinar as fronteiras do sistema jurídico e do político, para concluir pela legitimidade ou não de tal conduta judicial, bem como a análise da natureza, do alegado caráter programático e da difícil delimitação dos direitos sociais e sua proteção judicial, ou seja, se procura, em síntese, examinar o papel do judiciário brasileiro no problema da efetivação dos direitos sociais, como garantidor do mínimo existencial.

Metástases de carcinoma de mama em cadelas: avaliação da técnica de linfonodo sentinela

Pós-graduação em Medicina Veterinária - FMVZ

Estudo comparativo in vitro do efeito da ciclagem térmica sobre a resistência à tração de copings metálicos cimentados sobre dentes naturais, utilizando se de dois agentes cimentantes

Pós-graduação em Odontologia Restauradora - ICT

Abstract multiple specialization and its application to program parallelization.

Program specialization optimizes programs for known valúes of the input. It is often the case that the set of possible input valúes is unknown, or this set is infinite. However, a form of specialization can still be performed in such cases by means of abstract interpretation, specialization then being with respect to abstract valúes (substitutions), rather than concrete ones. We study the múltiple specialization of logic programs based on abstract interpretation. This involves in principie, and based on information from global analysis, generating several versions of a program predicate for different uses of such predicate, optimizing these versions, and, finally, producing a new, "multiply specialized" program. While múltiple specialization has received theoretical attention, little previous evidence exists on its practicality. In this paper we report on the incorporation of múltiple specialization in a parallelizing compiler and quantify its effects. A novel approach to the design and implementation of the specialization system is proposed. The resulting implementation techniques result in identical specializations to those of the best previously proposed techniques but require little or no modification of some existing abstract interpreters. Our results show that, using the proposed techniques, the resulting "abstract múltiple specialization" is indeed a relevant technique in practice. In particular, in the parallelizing compiler application, a good number of run-time tests are eliminated and invariants extracted automatically from loops, resulting generally in lower overheads and in several cases in increased speedups.

Automatic exploitation of non-determinate independent and-parallelism in the basic andorra model

Andorra-I is the first implementation of a language based on the Andorra Principie, which states that determinate goals can (and shonld) be run before other goals, and even in a parallel fashion. This principie has materialized in a framework called the Basic Andorra model, which allows or-parallelism as well as (dependent) and-parallelism for determinate goals. In this report we show that it is possible to further extend this model in order to allow general independent and-parallelism for nondeterminate goals, withont greatly modifying the underlying implementation machinery. A simple an easy way to realize such an extensión is to make each (nondeterminate) independent goal determinate, by using a special "bagof" constract. We also show that this can be achieved antomatically by compile-time translation from original Prolog programs. A transformation that fulfüls this objective and which can be easily antomated is presented in this report.

An automatic translation scheme from prolog to the andorra kernel language

The Andorra family of languages (which includes the Andorra Kernel Language -AKL) is aimed, in principie, at simultaneously supporting the programming styles of Prolog and committed choice languages. On the other hand, AKL requires a somewhat detailed specification of control by the user. This could be avoided by programming in Prolog to run on AKL. However, Prolog programs cannot be executed directly on AKL. This is due to a number of factors, from more or less trivial syntactic differences to more involved issues such as the treatment of cut and making the exploitation of certain types of parallelism possible. This paper provides basic guidelines for constructing an automatic compiler of Prolog programs into AKL, which can bridge those differences. In addition to supporting Prolog, our style of translation achieves independent and-parallel execution where possible, which is relevant since this type of parallel execution preserves, through the translation, the user-perceived "complexity" of the original Prolog program.

An assertion language for constraint logic programs

In an advanced program development environment, such as that discussed in the introduction of this book, several tools may coexist which handle both the program and information on the program in different ways. Also, these tools may interact among themselves and with the user. Thus, the different tools and the user need some way to communicate. It is our design principie that such communication be performed in terms of assertions. Assertions are syntactic objects which allow expressing properties of programs. Several assertion languages have been used in the past in different contexts, mainly related to program debugging. In this chapter we propose a general language of assertions which is used in different tools for validation and debugging of constraint logic programs in the context of the DiSCiPl project. The assertion language proposed is parametric w.r.t. the particular constraint domain and properties of interest being used in each different tool. The language proposed is quite general in that it poses few restrictions on the kind of properties which may be expressed. We believe the assertion language we propose is of practical relevance and appropriate for the different uses required in the tools considered.

Satellite applications as an ocean and coastal zone management tool: three cases studies

La presente investigación es un estudio de tres aplicaciones de los satélites del océano y las zonas costeras (OCzM). Los sensores de radar que se utilizan en la exploración batimétrica son útiles en la industria de las tuberías de petróleo y en la navegación costera. Térmica y la imagen de radar se han utilizado para detectar indirectamente la distribución de los recursos de las pesquerías de atún y últimamente también otras pesquerías. El sistema de posicionamiento global (GPS) y de comunicaciones de datos de seguimiento de la flota actual de permisos, aunque el enfoque de esta tesis es sobre la flota pesquera. El desarrollo de cualquier sistema de monitoreo de la flota puede seguir el mismo principio.