Teoria da firma: comportamento dos administradores, custos de agência e estrutura de propriedade

Este artigo integra elementos da teoria da agência, da teoria dos direitos de propriedade e da teoria das finanças para desenvolver uma teoria da estrutura de propriedade da firma. Definimos o conceito de custos de agência, demonstramos a sua relação com a questão da "separação e controle", investigamos a natureza dos custos de agência resultantes da presença de capital de terceiros e capital próprio externo, demonstramos quem arca com esses custos e por quê, e investigamos o ótimo de Pareto para a sua existência. Também fornecemos uma definição de firma e mostramos como a nossa análise dos fatores que influenciam a criação e a emissão de capital de terceiros e os direitos sobre o capital próprio cobre um caso especial do lado da oferta no que se refere à totalidade do problema dos mercados.

Programming internet based DAI applications in Qu-Prolog

This paper presents the unique collection of additional features of Qu-Prolog, a variant of the Al programming language Prolog, and illustrates how they can be used for implementing DAI applications. By this we mean applications comprising communicating information servers, expert systems, or agents, with sophisticated reasoning capabilities and internal concurrency. Such an application exploits the key features of Qu-Prolog: support for the programming of sound non-clausal inference systems, multi-threading, and high level inter-thread message communication between Qu-Prolog query threads anywhere on the internet. The inter-thread communication uses email style symbolic names for threads, allowing easy construction of distributed applications using public names for threads. How threads react to received messages is specified by a disjunction of reaction rules which the thread periodically executes. A communications API allows smooth integration of components written in C, which to Qu-Prolog, look like remote query threads.

The Qu-Prolog unification algorithm: Formalisation and correctness

Qu-Prolog is an extension of Prolog which performs meta-level computations over object languages, such as predicate calculi and lambda-calculi, which have object-level variables, and quantifier or binding symbols creating local scopes for those variables. As in Prolog, the instantiable (meta-level) variables of Qu-Prolog range over object-level terms, and in addition other Qu-Prolog syntax denotes the various components of the object-level syntax, including object-level variables. Further, the meta-level operation of substitution into object-level terms is directly represented by appropriate Qu-Prolog syntax. Again as in Prolog, the driving mechanism in Qu-Prolog computation is a form of unification, but this is substantially more complex than for Prolog because of Qu-Prolog's greater generality, and especially because substitution operations are evaluated during unification. In this paper, the Qu-Prolog unification algorithm is specified, formalised and proved correct. Further, the analysis of the algorithm is carried out in a frame-work which straightforwardly allows the 'completeness' of the algorithm to be proved: though fully explicit answers to unification problems are not always provided, no information is lost in the unification process.

Multi-threading and message communication in Qu-Prolog

This paper presents the multi-threading and internet message communication capabilities of Qu-Prolog. Message addresses are symbolic and the communications package provides high-level support that completely hides details of IP addresses and port numbers as well as the underlying TCP/IP transport layer. The combination of the multi-threads and the high level inter-thread message communications provide simple, powerful support for implementing internet distributed intelligent applications.

Using clusters of computers for large QU-GENE simulation experiments

The QU-GENE Computing Cluster (QCC) is a hardware and software solution to the automation and speedup of large QU-GENE (QUantitative GENEtics) simulation experiments that are designed to examine the properties of genetic models, particularly those that involve factorial combinations of treatment levels. QCC automates the management of the distribution of components of the simulation experiments among the networked single-processor computers to achieve the speedup.

Resolu????o n?? 02, de 24 de fevereiro de 2011: disp??e sobre a cess??o de uso de im??veis residenciais funcionais de propriedade da ENAP

A cess??o de uso de im??veis residenciais funcionais de propriedade da ENAP ?? regulamentada por meio da Resolu????o n?? 2, de 24 de fevereiro de 2011.

Capital intangível e direitos de propriedade intelectual : uma análise institucionalista

This paper deals with the main evolutions that explain the emergence of new institutional arrangements that characterize the post-fordism. (i) Hence, I will show that the property rights modifications bring forth new forms of competition;(ii) Also, I will make explicit the concrete expressions of this new competition, as well as how it translates itself in a sub-optimum allocation in the framework of the market game; (iii) I will study the modifications of externalities nature produced by technical progress; (iv) Finally, I will analyze the macroeconomic implications in regard to growth mechanisms and to capital nature.

Índices emergéticos de sustentabilidade da produção leiteira em uma propriedade de base familiar em Palmeira, Paraná, Brasil

Na busca da sustentabilidade, metodologias para obtenção de parâmetros ou índices representativos seriam ferramentas básicas e essenciais para acompanhamento das gestões dos processos. Este trabalho teve por objetivo o cálculo de índices emergéticos para avaliação da sustentabilidade da produção leiteira. Para isso, o estudo foi realizado em uma propriedade rural, de base familiar, localizada no município de Palmeira, Paraná. A partir dos dados reais da propriedade, calculou-se a razão de rendimento emergético líquido (EYR), a razão de investimento de emergia (EIR), a carga ambiental (ELR), a razão de intercâmbio de emergia (EER), a renovabilidade (%R), a rentabilidade econômica simples (RES) e o índice de sustentabilidade (SI). Fundamentado nos métodos de análise emergética, foram encontrados os seguintes valores: EYR = 1,33; EIR = 3,05; ELR = 3,15; EER = 1,71; %R = 24; SI = 0,42; RES = 0,12. Estes índices demonstram que apesar de economicamente viável, RES = 0,12, em termos energéticos a propriedade apresenta-se com um baixo índice de sustentabilidade (SI).

Efeito da acidificação nas propriedades físico-químicas e funcionais do amido de sementes de manga (Mangifera indica L.), variedade Tommy Atkins

No processamento industrial da manga, os subprodutos, caroço e casca são, normalmente, descartados sem o devido aproveitamento. O objetivo deste trabalho foi investigar as características físico-químicas e funcionais dos amidos nativo e acidificado do caroço (amêndoa) de manga, da variedade Tommy Atkins, pesquisando uma nova fonte de amido e formas de melhorá-la e contribuir para a utilização de resíduos da indústria alimentícia. As amêndoas foram retiradas manualmente dos caroços de manga e procedeu-se a extração do amido. O amido nativo foi acidificado, sendo o agente promotor da modificação o ácido clorídrico. Verificou-se a composição química do amido nativo. Determinaram-se também as propriedades funcionais e de pasta do amido nativo e do acidificado. Para a composição centesimal, o amido nativo apresentou 71,56% de amido, 7,30% de lipídeos e 5,6% de proteínas. Os amidos nativo e acidificado demonstraram baixa resistência à elevação da temperatura, com intumescimento máximo a 75 oC, sendo seus valores 9,395 e 6,861 g/g, respectivamente. A solubilidade mostrou-se crescente, à medida que houve elevação da temperatura, sendo seu valor máximo 48,03% para o amido acidificado. O amido nativo expôs maior capacidade de absorção de água, óleo e claridade da pasta. O referido amido ainda apresentou maior pico de viscosidade, viscosidade mínima, quebra de viscosidade, viscosidade final, retrogradação e temperatura de pasta do que os do amido acidificado. O amido nativo pode ser indicado para compor sopas desidratadas e produtos cárneos, enquanto o acidificado pode ser usado em alimentos congelados e refrigerados e na indústria de balas.

Desagregação do sistema soviético e transformação das formas de propriedade

Depois de definir duas formas de propriedades características da classe dos gestores, o autor relaciona a sua evolução com as transformações operadas no aparelho de Estado. Descreve vários processos recentes de privatização na Europa do Leste, concluindo que essas transformações nas formas de propriedade permitem à classe dos gestores manter-se no poder.