International integration and long- run persistence of the GNP distribution

We use the Ramsey model of g,Towth elaborated by Bliss [1995] and Ventlira [1997] to show how international integration results in long-nm persistellce Df GNPs distribution, while allowing, under certain conditions on parameters, for convergellce during the transition. First, we pi·ovide relationships which explicitly relate, in the neighborhood of the steady-state, the magnitude of conditional convergence or divergence to the fundamentaIs of the economies. Second, we present ali analysis of the Cobb Douglas case with a broad dass of utility functions and show that there is always transitional convergenee with this technology. Third, directions for testing the Illodel against the traditional dosed-ecollomy setting are proposed. These lead to adding specific and world-wide regTessors to traditional growth regressions.

The long-run economic impact of AIDS

This paper studies the long-run impact of HIV / AIDS on per capita income and education. We introduce a channel from HIV / AIDS to long-run income that has been overlooked by the literature, the reduction of the incentives to study due to shorter expected longevity. We work with a continuous time overlapping generations mo deI in which life cycle features of savings and education decision play key roles. The simulations predict that the most affected countries in Sub-Saharan Africa will be in the future, on average, a quarter poorer than they would be without AIDS, due only to the direct (human capital reduction) and indirect (decline in savings and investment) effects of life-expectancy reductions. Schooling will decline on average by half. These findings are well above previous results in the literature and indicate that, as pessimistic as they may be, at least in economic terms the worst could be yet to come.

Forecasting multivariate time series under present-value-model short- and long-run co-movement restrictions

Using a sequence of nested multivariate models that are VAR-based, we discuss different layers of restrictions imposed by present-value models (PVM hereafter) on the VAR in levels for series that are subject to present-value restrictions. Our focus is novel - we are interested in the short-run restrictions entailed by PVMs (Vahid and Engle, 1993, 1997) and their implications for forecasting. Using a well-known database, kept by Robert Shiller, we implement a forecasting competition that imposes different layers of PVM restrictions. Our exhaustive investigation of several different multivariate models reveals that better forecasts can be achieved when restrictions are applied to the unrestricted VAR. Moreover, imposing short-run restrictions produces forecast winners 70% of the time for the target variables of PVMs and 63.33% of the time when all variables in the system are considered.

Dip financing of financially distressed companies in Brazil – the conditions provided by the brazilian bankruptcy law act as real incentives for dip lenders as in chapter 11 of the American bankruptcy code?

O objeto deste trabalho é a compreensão do financiamento de empresas em crise, mais especificamente, o financiamento concedido após o pedido de recuperação judicial, como forma de permitir que a empresa saia da situação de crise e retorne à condição de normalidade. Para tanto, nos apropriando do termo cunhado pela doutrina norte-americana, para fazer referência ao aporte de recursos em empresas em dificuldade, utilizaremos o termo DIP financing ou financiamento DIP. Para uma compreensão adequada do objeto, é necessário que entendamos a origem do DIP financing nos Estados Unidos e como é a regulação norte-americana sobre a matéria atualmente. O segundo passo será avaliar a possibilidade de aplicação da mesma estrutura de aporte de recursos no Brasil. Ao estudarmos a origem desse mecanismo nos Estados Unidos, veremos os problemas que surgiram ao longo dos anos e como foram superados jurisprudencialmente e doutrinariamente para que o financiamento DIP se consolidasse como uma das formas de aporte de capital em empresas em crise, culminando no desenvolvimento de uma verdadeira indústria de crédito às empresas em dificuldade. Uma análise dos problemas enfrentados pelo sistema falimentar americano nos levará a hipótese de que, a menos que sejam afirmados mecanismos que assegurem a quem concede o financiamento após o pedido de recuperação judicial, uma super prioridade no recebimento após a recuperação judicial, será possível o desenvolvimento de um mercado de DIP financing no Brasil.

JCML: A specification language for the runtime verification of Java Card programs

COSTA, Umberto Souza; MOREIRA, Anamaria Martins; MUSICANTE, Matin A.; SOUZA NETO, Plácido A. JCML: A specification language for the runtime verification of Java Card programs. Science of Computer Programming. [S.l]: [s.n], 2010.

Specification and Runtime Verification of Java Card Programs

COSTA, Umberto Souza da; MOREIRA, Anamaria Martins; MUSICANTE, Martin A. Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2009.

Sociedade, mulher e educação nos romances de Graciliano Ramos

This paper, Society, woman and education in Graciliano Ramos' novels, is a study object from the history of woman's education in the 1930 s, it is shown as a reading of woman's representation and the configuration of the Brazilian society in that period. São Bernardo, Angustia and Vidas Secas written by Graciliano Ramos (1892-1953) from Alagoas, are used here as sources associated with the reading of the Constitutions, of the Civil Code and of some presidential messages of that decade, also with the texts produced by other scholars that present some relationship within the thematic of this approach. The representation concepts and the configuration are essential for the production of this text. I run over to the configuration concept given by Chartier (1988, p.21) a definition to representation that can be understood as a relationship between a present image and an absent object that having the value of this because it is hamonized with it. I fall back upon the configuration concept given by Elias (1969) that understands it as been a social group performed by an interdependent network that occurs within individuals as a whole joined by any reason. The totality of each individual actions with each other, permeated by tension points and balance, is what characterizes each configuration; it can be a teachers and students meeting in a classroom or a friends' encounter in the bar table, for instance. The attempt of understanding woman's representation, being educated or not, the hole attributed to her in society according to her instruction degree and the way that same society saw this woman guided me through categories that were defined throughout the successive readings: gender, civil status, education, language domain, sexuality, marriage, family, ideal woman. I accomplish this reading that was possible to do - with the pretension of not having lost the relationship between history and literature nor forgotten each one peculiarities

Electricity, hot water and cold water production from biomass. Energetic and economical analysis of the compact system of cogeneration run with woodgas from a small downdraft gasifier

Wood gasification technologies to convert the biomass into fuel gas stand out. on the other hand, producing electrical energy from stationary engine is widely spread, and its application in rural communities where the electrical network doesn't exist is very required. The recovery of exhaust gases (engine) is a possibility that makes the system attractive when compared with the same components used to obtain individual heat such as electric power. This paper presents an energetic alternative to adapt a fixed bed gasifier with a compact cogeneration system in order to cover electrical and thermal demands in a rural area and showing an energy solution for small social communities using renewable fuels. Therefore, an energetic and economical analysis from a cogeneration system producing electric energy, hot and cold water, using wooden gas as fuel from a small-sized gasifier was calculated. The energy balance that includes the energy efficiency (electric generation as well as hot and cold water system; performance coefficient and the heat exchanger, among other items), was calculated. Considering the annual interest rates and the amortization periods, the costs of production of electrical energy, hot and cold water were calculated, taking into account the investment, the operation and the maintenance cost of the equipments. Crown Copyright (C) 2010 Published by Elsevier Ltd. All rights reserved.

JCML - Java Card Modeling Language: Definição e Implementação

Formal methods should be used to specify and verify on-card software in Java Card applications. Furthermore, Java Card programming style requires runtime verification of all input conditions for all on-card methods, where the main goal is to preserve the data in the card. Design by contract, and in particular, the JML language, are an option for this kind of development and verification, as runtime verification is part of the Design by contract method implemented by JML. However, JML and its currently available tools for runtime verification were not designed with Java Card limitations in mind and are not Java Card compliant. In this thesis, we analyze how much of this situation is really intrinsic of Java Card limitations and how much is just a matter of a complete re-design of JML and its tools. We propose the requirements for a new language which is Java Card compliant and indicate the lines on which a compiler for this language should be built. JCML strips from JML non-Java Card aspects such as concurrency and unsupported types. This would not be enough, however, without a great effort in optimization of the verification code generated by its compiler, as this verification code must run on the card. The JCML compiler, although being much more restricted than the one for JML, is able to generate Java Card compliant verification code for some lightweight specifications. As conclusion, we present a Java Card compliant variant of JML, JCML (Java Card Modeling Language), with a preliminary version of its compiler

Negative chronotropic response to adenosine receptor stimulation in rat right atria after run training

The aim of the present study was to evaluate the potency and maximal responses (E-max) to the adenosine receptor agonists N-6-cyclopentyladenosine (CPA), N-ethylcarboxamidoadenosine (NECA) and N-6-(3-iodobenzyl)-5'-N-methylcarbaxamidoadenosine (IB-MECA) in right atria from trained rats. We also investigated the interaction between the training bradycardia and the sensitivity of the chronotropic response mediated by adenosine receptor stimulation.2. Animals were submitted to run training for 60 min, 5 days a week, over a period of 8 weeks. Mean blood pressure and heart rate were measured in conscious animals. Right atria were isolated and concentration-response curves to CPA, NECA and IB-MECA were obtained.3. A reduction in heart rate was found in trained rats, indicating that the training programme was successful in inducing physical conditioning. The three adenosine receptor agonists induced a concentration-dependent negative chronotropic response. The rank order of potency and E-max for the three adenosine receptor agonists was CPA>NECA>IB-MECA.4. Dynamic exercise for 8 weeks did not alter the E a, for CPA, NECA and IB-MECA. Similarly, the potencies of CPA and NECA were not affected by run training, whereas the potency of IB-MECA was reduced (6.10+/-0.09 vs 5.66+/-0.10 for sedentary and trained groups, respectively).5. In conclusion, run training for 8 weeks induced a desensitization of the chronotropic response to IB-MECA without changing the potency of CPA and NECA. These findings exclude the participation of adenosine receptors in the training bradycardia.