Essa dissertação investigou, através de um estudo de eventos no mercado brasileiro de ações, se a divulgação de demonstrações contábeis em moeda constante, de uma empresa de capital aberto, produz efeitos no comportamento do preço de suas ações. A hipótese testada conduziu a investigação de que a política de divulgação das demonstrações contábeis em moeda constante, adotada pelas empresas de capital aberto, a partir de 1996, pode influenciar, significativamente, o processo de precificação de suas ações. Os resultados empíricos do trabalho evidenciaram que a forma de divulgação das demonstrações contábeis em moeda constante (completa, incompleta e omitidas) das empresas de capital aberto, produz efeitos significativos sobre o comportamento dos preços das suas ações, quando comparados os retornos das ações do grupo de empresas que divulgou de forma completa com o grupo de empresas com divulgação parcial ou que não divulgaram estas demonstrações, sendo que estes dois últimos grupos de empresas não apresentaram diferença significativa entre os retornos de suas ações. / The hypothesis of this dissertation led to investigate whether the disclosure policy of inflation adjusted accounting statements, which is adopted by publicly held companies from 1996, can significantly influence the stock pricing process. The empirical results highlighted that the way accounting statements of publicly held companies are disclosed ( either completely, partly or not adjusted for inflation) causes significant effects on the behaviour of stock prices. Companies which disclosed fully inflation adjusted accounting statements presented stock returns significantly different from the other two groups of companies ( partly or not adjusted for inflation accounting statementes). On the other hand, these last two groups did not present any significant difference as to the behaviour of their stock returns.

Essa dissertação investigou, através de um estudo de eventos no mercado brasileiro de ações, se a divulgação de demonstrações contábeis em moeda constante, de uma empresa de capital aberto, produz efeitos no comportamento do preço de suas ações. A hipótese testada conduziu a investigação de que a política de divulgação das demonstrações contábeis em moeda constante, adotada pelas empresas de capital aberto, a partir de 1996, pode influenciar, significativamente, o processo de precificação de suas ações. Os resultados empíricos do trabalho evidenciaram que a forma de divulgação das demonstrações contábeis em moeda constante (completa, incompleta e omitidas) das empresas de capital aberto, produz efeitos significativos sobre o comportamento dos preços das suas ações, quando comparados os retornos das ações do grupo de empresas que divulgou de forma completa com o grupo de empresas com divulgação parcial ou que não divulgaram estas demonstrações, sendo que estes dois últimos grupos de empresas não apresentaram diferença significativa entre os retornos de suas ações. / The hypothesis of this dissertation led to investigate whether the disclosure policy of inflation adjusted accounting statements, which is adopted by publicly held companies from 1996, can significantly influence the stock pricing process. The empirical results highlighted that the way accounting statements of publicly held companies are disclosed ( either completely, partly or not adjusted for inflation) causes significant effects on the behaviour of stock prices. Companies which disclosed fully inflation adjusted accounting statements presented stock returns significantly different from the other two groups of companies ( partly or not adjusted for inflation accounting statementes). On the other hand, these last two groups did not present any significant difference as to the behaviour of their stock returns.

Essa dissertação investigou, através de um estudo de eventos no mercado brasileiro de ações, se a divulgação de demonstrações contábeis em moeda constante, de uma empresa de capital aberto, produz efeitos no comportamento do preço de suas ações. A hipótese testada conduziu a investigação de que a política de divulgação das demonstrações contábeis em moeda constante, adotada pelas empresas de capital aberto, a partir de 1996, pode influenciar, significativamente, o processo de precificação de suas ações. Os resultados empíricos do trabalho evidenciaram que a forma de divulgação das demonstrações contábeis em moeda constante (completa, incompleta e omitidas) das empresas de capital aberto, produz efeitos significativos sobre o comportamento dos preços das suas ações, quando comparados os retornos das ações do grupo de empresas que divulgou de forma completa com o grupo de empresas com divulgação parcial ou que não divulgaram estas demonstrações, sendo que estes dois últimos grupos de empresas não apresentaram diferença significativa entre os retornos de suas ações. / The hypothesis of this dissertation led to investigate whether the disclosure policy of inflation adjusted accounting statements, which is adopted by publicly held companies from 1996, can significantly influence the stock pricing process. The empirical results highlighted that the way accounting statements of publicly held companies are disclosed ( either completely, partly or not adjusted for inflation) causes significant effects on the behaviour of stock prices. Companies which disclosed fully inflation adjusted accounting statements presented stock returns significantly different from the other two groups of companies ( partly or not adjusted for inflation accounting statementes). On the other hand, these last two groups did not present any significant difference as to the behaviour of their stock returns.

[pt] Esta dissertação tem como objetivo compreender as Orientações Pedagógica e Psicopedagógica que possibilitaram a construção da experiência educativa da Escola Guatemala, instituição de caráter experimental, vinculada ao Departamento de Aperfeiçoamento do Magistério (DAM) do Centro Brasileiro de Pesquisas Educacionais (CBPE/INEP), com sede no Rio de Janeiro, à época, Distrito Federal. Por ser tratar de uma pesquisa no campo da História da Educação, elaborada sob a perspectiva da História Cultural, recorremos a entrevistas e à análise documental dos arquivos pessoais de Lúcia Marques Pinheiro e Terezinha Lins de Albuquerque, Supervisora Pedagógica do INEP e Coordenadora do Serviço de Orientação Psico-Pedagógica (SOPP), respectivamente. Partindo de uma interlocução permanente com Marcus Vinicius Cunha, foi possível apreender os tipos de orientação que os docentes desta escola receberam durantes os anos de 1955 a 1968, período compreendido como o final do movimento da Escola Nova no Brasil. Se, de um lado, a orientação pedagógica norteava a prática docente e, por sua vez, limitava as possibilidades de manifestação da subjetividade destes que ensinavam, do outro, a orientação psicopedagógica proporcionava a criação de um clima favorável e propício junto aos professores para que, assim, as propostas pedagógicas pudessem ser colocadas em prática. Deste modo, no primeiro capítulo buscamos caracterizar o contexto político e educacional que marca o período; no seguinte, descrevemos a maneira pela qual a escola se organizava e desenvolvia suas ações pedagógicas durante o referido período; no terceiro capítulo, nos aproximamos do pensamento educacional de Lúcia Marques Pinheiro, para, por fim, evidenciar o Serviço de Orientação Psicopedagógico, por intermédio de sua coordenadora Therezinha, e situá-lo dentro da perspectiva de formação de professores que vem sendo discutida no Brasil nos últimos vinte anos. / [en] This dissertation has as objective to understand the Pedagogic and Psycho- Pedagogic Orientations that made possible the construction of the educative experience of the Guatemala School, experimental institution tied with the Departmento de Aperfeiçoamento do Magistério (DAM) of the Centro Brasileiro de Pesquisas Educacionais (CBPE/INEP), with headquarters in Rio de Janeiro, when it was Federal District. For being a research in the field of the History of the Education, elaborated under the perspective of Cultural History, we appeal to interviews and to the documentary analysis of Lúcia Marques Pinheiro and Therezinha Lins e Silva personal files, Pedagogical Supervisor of the INEP and Coordinator of the Serviço de Orientação Psicopedagógico (SOPP), respectively. Starting of a permanent interlocution with Marcus Vinicius Cunha, it was possible to learn the types of orientations that the professors of this school had received during the years from 1955 to 1968, period understood as the end of the movement of the New School in Brazil. If by one side, the pedagogical orientation guided the practical teaching and, in this way, it limited the possibilities of manifestation of the subjectivity of these that taught, of the other side the psychopedagogic orientation provided the creation of a favorable and propitious climate next to the professors so that the pedagogical proposals could be placed in practical. In this way, in the first chapter, we search to characterize the educational and political context that marks the period; in the following one, we describe the way for which this school was organized by itself and developed its pedagogical action during the period; in the third chapter, we approach to the educational thought of Lúcia Marques Pine, for, finally, to evidence the Service of Psycho-Pedagogic Orientation, through its coordinator Therezinha.

[pt] A presente dissertação tem como propósito analisar o comportamento do investimento fixo seja ele proveniente das Contas Nacionais seja das Empresas abertas com ações negociadas na Bolsa de Valores no período entre 1987 e 2002. Para tanto, este estudo utilizará ferramentas analíticas e estatísticas. As Demonstrações de Origens e Aplicações de Recursos serão o instrumento utilizado para a compilação dos dados e, principalmente para mostrar a importância do investimento na Economia. O estudo mostra o crescimento do investimento do ativo imobilizado ao longo desses 16 anos, assim como a elevação da representatividade das companhias abertas na Formação Bruta de Capital Fixo. O resultado do estudo evidência a importância do investimento dentre as Aplicações de Recursos das Empresas assim como a crescente importância das companhias de capital aberto como investidoras. / [en] This essay focuses on the behavior of fixed investment, the investment of National Accounts as well as the investment of Companies with papers traded in the Brazilian Stock Exchange during the period of time between 1987 and 2002. This study will use analytical and statistical tolls to conquer its objectives. The instrument to analyze the evaluation along the years and to show the financial position of the entities will be the Statement of Sources and Application of Resources. This essay will show the growth of investment of the entities during the time period and also the increasing importance of the entities in the investment of the National Accounts. The results will emphasize the importance of the investment in the Application of Resources and the importance of the companies with open capital as investors in the economy.

[pt] O trabalho apresentou as soluções de equações algébricas polinomiais por radicais e operações elementares nos coeficientes com a pesquisa baseada em livros e artigos; buscou explorar as diversas ideias desenvolvidas nas demonstrações, discussões sobre os casos e os artifícios engenhosos envolvidos, além de algumas demonstrações independentes; foram tratados ainda, os casos especiais onde as raízes estão sujeitas a condições pré estabelecidas e os coeficientes obedecem a uma dada lei; utilizamos a teoria de Abel-Ruffini e as implicações da teoria de Galois para justificar a impossibilidade de solução geral por radicais dos polinômios de grau n maior ou igual a 5 e a resposta a esse impasse com o surgimento de métodos numéricos de aproximação. Essas teorias e os métodos foram tratados em caráter elementar, por necessitarem de outros trabalhos detalhados, o que foge do objetivo desta obra. Sendo assim, vimos algoritmos que nos possibilitam o cálculo, nos casos do primeiro ao quarto graus, das soluções de uma equação algébrica polinomial além de casos especiais e aproximações numéricas. Utilizamos os programas de computação algébrica e geometria: Máxima, Geogebra e Maple para as aproximações, desenhos e gráficos. / [en] The work presented the solutions of polynomial algebraic equations by radicals and elementary operations in the coefficients with research based on books and articles; Sought to explore the various ideas developed in the demonstrations, discussions on the cases and ingenious artifacts involved, as well as some independent demonstrations; Were still treated, the special cases where the roots are subject to pre-established conditions and the coefficients obey a given law; We use Abel-Ruffini s theory and the implications of Galois s theory to justify the impossibility of a general solution by radicals of polynomials of degree greater than or equal 5 and the answer to this impasse with the emergence of numerical approximation methods. These theories and methods were treated in an elementary way, because they require other detailed work, which is beyond the scope of this work. Thus, we have seen algorithms that allow us to calculate, in cases from 1st to 4th degrees, the solutions of a polynomial algebraic equation in addition to special cases and numerical approximations. We use the algebraic computing and geometry programs: Maxima, Geogebra and Maple for approximations, drawings and graphs.

[pt] Demonstrações em lógica podem tornar-se muito grandes e complexas. Para resolver problemas, e para estudar lógica, é comum valer-se de assistentes de demonstração. Um assistente de demonstração geral deve integrar ferramentas que ajudem a especificar as lógicas, as equações, os conjuntos de regras, e as estratégias de busca (semi) automática de demonstrações. A comunidade usuária de Provadores Automáticos de Teoremas conhece algumas ferramentas que atendem a estes requisitos. Entretanto, estas ferramentas não estão preparadas para lidar com demonstrações muito grandes. Trabalhos recentes sugerem que uma boa forma de chegar a demonstrações menores é usar grafos, ao invés de árvores, para representar demonstrações. Esta dissertação descreve e implementa uma máquina virtual baseada em grafo e um compilador para a confecção de provadores de teoremas baseados em grafo. Para validar a ferramenta, alguns estudos de casos e provadores de teoremas baseados em grafo são apresentados. / [en] Proofs in logic can become very big and complex. For problem solving, and to teach logic, it is common the use of proof assistants. A general proof assistant should integrate tools to help users on specifying the logics, the formulas, the sets of rules, and the very strategy to perform (semi) automatic proof search. The Automatic Theorem Provers community is aware of some tools that were designed to fulfill these requirements. However, these tools do not take the (possibly) huge size of a proof. Recent works have pointed out that a good way to achieve shorter proofs is the use of graphs, instead of trees, to represent proofs. This dissertation describes and implements a graph-based virtual machine and a compiler for the production of graph-based theorem provers. Some case studies, standard as well as graph-based theorem prover, are illustrated in order to validate the tool.

[pt] Smartphones se tornaram uma parte integrante da vida de muitas pessoas. Podemos usar esses dispositivos para executar uma grande variedade de tarefas, que vão desde dar telefonemas a acessar a Internet. No entanto, às vezes gostaríamos que algumas tarefas fossem executadas automaticamente. Estas tarefas podem ser automatizadas usando aplicativos de automação, os quais monitoram continuamente o contexto do smartphone para realizar um conjunto de ações quando um evento acontece sob certas condições. Estas automações estão começando a ficar popular entre os usuários finais, uma vez que elas podem tornar os celulares mais fáceis de usar e ainda mais eficientes no uso da bateria. No entanto, pouco foi feito para capacitar os usuários finais a criar tais automações. Propomos uma abordagem para automatizar tarefas de smartphones por demonstração retrospectiva. Sucintamente, consideramos a lógica por trás da abordagem como sendo continue fazendo o que eu acabo de fazer : a aplicação de automação grava continuamente as interações dos usuários com seus telefones, e depois que os usuários realizaram uma tarefa que eles gostariam de automatizar, basta eles pedirem à aplicação para criar uma regra de automação com base em suas últimas ações gravadas. Como os usuários só têm que usar seus smartphones, como eles naturalmente fariam, para demonstrar automações, acreditamos que a nossa abordagem pode reduzir a dificuldade na criação de automações de smartphones. Para avaliar a nossa abordagem, desenvolvemos protótipos de um aplicativo chamado Keep Doing It, que permite automatizar tarefas por demonstração. Realizamos um estudo em laboratório com o primeiro protótipo para coletar as primeiras impressões dos participantes. Os participantes tiveram que criar regras de automação usando o nosso aplicativo com base em cenários pré-determinados. Baseado no feedback dos participantes e na nossa observação, nós refinamos o protótipo e realizamos um estudo remoto de cinco dias com novos participantes, os quais desta vez podiam criar quais e quantas regras quisessem. No geral, os resultados de ambos os estudos sugerem que, embora houvesse algumas ocasionais imprecisões (especialmente ao demonstrar regras que contêm condições), os participantes gostariam de automatizar tarefas de smartphones por demonstração devido à facilidade de uso. Concluiu-se que esta abordagem tem muito potencial para ajudar os usuários finais a automatizar seus smartphones, mas ainda há questões que precisam ser abordadas em pesquisas futuras. / [en] Smartphones have become an integral part of many people s lives. We can use these powerful devices to perform a great variety of tasks, ranging from making phone calls to connecting to the Internet. However, sometimes we would like some tasks to be performed automatically. These tasks can be automated by using automation applications, which continuously monitor the smartphone s context to execute a sequence of actions when an event happens under certain conditions. These automations are starting to get popular with end users, since they can make their phones easier to use and even more battery efficient. However, little work has been done on empowering end users to create such automations. We propose an approach for automating smartphone tasks by retrospective demonstration. Succinctly, we consider the logic behind the approach as keep doing what I just did: the automation application continuously records the users interactions with their phones, and after users perform a task that they would like to automate, they can ask the application to create an automation rule based on their latest recorded actions. Since users only have to use their smartphones, as they would naturally do, to demonstrate the actions, we believe that our approach can lower the barrier for creating smartphone automations. To evaluate our approach, we developed prototypes of an application called Keep Doing It, which supports automating tasks by demonstration. We conducted a lab user study with the first prototype to gather participants first impressions. The participants created automation rules using our application based on given scenarios. Based on their feedback and on our observations, we refined the prototype and conducted a five-day remote user study with new participants, who could then create which and how many rules they wanted. Overall, the findings of both studies suggest that, although there were some occasional inaccuracies (especially when demonstrating rules that contain conditions), participants would be willing to automate smartphone tasks by demonstration due to its ease of use. We concluded that this approach has much potential to aid end users to automate their smartphones, but there are still issues that need to be addressed by further research.