Contexto: Embora diversas técnicas de teste de software tenham sido propostas para o contexto da programação concorrente, as informações sobre elas encontram-se de dispersas na literatura, não oferecendo uma caracterização apropriada e dados relevantes que possam auxiliar a compreensão e consequente aplicação efetiva dessas técnicas, dificultando o processo de transferência de conhecimento entre a academia e a comunidade interessada. Objetivo: Nesse contexto, o principal objetivo deste trabalho é oferecer subsídios, na forma de um framework, que seja capaz de apoiar a caracterização e seleção sistemática de técnicas de teste de software concorrente. Metodologia: Para atender esse objetivo, foi construído um corpo de conhecimento que reúne de maneira integrada informações relevantes ao processo de tomada de decisão sobre qual técnica de teste aplicar a um determinado projeto de software. Um design de experimentos é definido, funcionando como guia para condução de estudos empíricos que podem ser usados para a realimentação, atualização e evolução do corpo de conhecimento. Buscando sistematizar o processo de seleção de técnicas de teste, é definido um esquema de caracterização que considera as principais características da programação concorrente que influenciam a atividade de teste de software e calcula a adequação desses atributos aos atributos do projeto em desenvolvimento. Resultados e Conclusões: A fim de permitir que a comunidade interaja com o framework proposto, foi disponibilizada uma infraestrutura computacional que permite o acesso ao corpo de conhecimento e automatiza o processo de seleção de técnicas de teste de software concorrente. O estudo experimental conduzido para avaliação da proposta, mostrou que a abordagem contribui de maneira efetiva para caracterizar, comparar e quantificar a adequabilidade baseada em atributos, melhorando consideravelmente o processo de seleção de técnicas de teste para software concorrente segundo as expectativas dos usuários. / Background: Although a variety of concurrent software testing techniques have been proposed for the concurrent programming context, the information about them are scattered in the literature, not offering an appropriate characterization and relevant data that can aid the understanding and consequently the effective application of these techniques, hindering the process of knowledge transfer between the academia and the interested community. Objective: In this context, the main objective of this work is to provide subsidies in form of a framework which will be able to support the characterization and systematic selection of concurrent software testing techniques. Methodology: In order to meet this objective, a body of knowledge has been built that brings together, in an integrated way, information relevant for the decision-making process about what testing technique should be applied in a specific software project. A design of experiments is defined as a guide for conducting empirical studies that can be used for feedback, updating, and evolution of the body of knowledge. With the objective of systematizing the process of testing techniques selection is defined a characterization scheme that considers the main characteristics of the concurrent programming that influence the testing activity and calculates the adequacy for these attributes in comparison with the software project in development. Results and Conclusions: In order to allow the community interaction with the proposed framework was provided a computational infrastructure that allows access to the body of knowledge and the automation of the selection process. The empirical study conducted to evaluate the proposal showed that the approach effectively contributes to characterize, compare and quantify the adequacy based on the attributes, improving the selection process of concurrent software testing techniques according to the users expectations.

En los últimos años se han propuesto diferentes aproximaciones para el desarrollo de sistemas altamente complejos. Algunos esfuerzos intentan aplicar la aproximación de Líneas de Producto Software tratando de sacar partido de la reutilización masiva para producir sistemas software que comparten un conjunto común de características. Una Línea de Producto Software (LPS) es un conjunto de sistemas software que comparten un conjunto de características comunes que satisfacen las necesidades específicas de un segmento de mercado particular y que son desarrollados a partir de un conjunto de activos software comunes de un modo preestablecido [6]. El desarrollo de una LPS consta de dos procesos básicos: la Ingeniería del Dominio, donde se establece cuáles son las partes comunes y las variables y se construye un conjunto de activos (product¿s line core assets) como partes de los sistemas software a desarrollar, y la Ingeniería de la Aplicación, donde los core assets son reutilizados sistemáticamente para derivar productos específicos. De este modo se reducen costes y tiempo de desarrollo. En el desarrollo de líneas de producto se presentan dos arquitecturas software que juegan dos roles diferenciados; i) la arquitectura de la línea de producto que da soporte a todas los posibles productos que pueden ser obtenidos a partir de la línea de producto y que cuenta con los mecanismos de variabilidad necesarios para cubrir toda la gama de productos y ii) la arquitectura de producto, que es creada a partir de la arquitectura de la línea de producto ejerciendo los mecanismos de variabilidad, para que esta se adapte a los requisitos del producto en desarrollo. En general, el aseguramiento de la calidad del producto es una actividad crucial para el éxito de la industria del software, pero es, si cabe, más importante cuando se trata del desarrollo de líneas de producto software, dado que la reutilización masiva de core assets hace que los atributos de calidad (propiedades físicas o abstractas de un artefacto software) de los core assets impacten en la calidad de todos los productos de una línea de producto. Este hecho es de especial relevancia cuando tratamos con la arquitectura software, que es el core asset mas critico en el desarrollo de líneas de producto. La arquitectura software es la vía para conseguir el cumplimiento de los requisitos no funcionales de nuestro producto, por lo que asegurar que estos requisitos se cumplen durante el proceso de derivación de la arquitectura es una actividad crítica en el proceso de desarrollo. El desarrollo de líneas de producto va, en la mayoría de los casos, ligada a la aplicación del paradigma de desarrollo dirigido por modelos. El Desarrollo de Software Dirigido por Modelos (DSDM) que promueve el uso de modelos durante a lo largo de todo el proceso de desarrollo de software, permitiendo que estos modelos puedan ser transformados sucesivamente hasta la obtención del producto final. En la literatura no se encuentran propuestas que, de forma completa, sistemática y automatizada, permitan obtener arquitecturas de producto software que cumplan una serie de requisitos de calidad. El presente trabajo de investigación pretende la mejora del contexto anterior proponiendo el método QuaDAI (Quality Driven Architecture Derivation and Improvement), un método de derivación, evaluación y mejora de la calidad de arquitecturas software en el Desarrollo de Líneas de Producto Dirigido por Modelos mediante la definición de un artefacto (el multimodelo) y de un proceso dirigido por transformaciones que permite automatizar un proceso (el de derivación, evaluación y mejora) de por si altamente complejo. Este método va dirigido a empresas de desarrollo de software que utilice el paradigma de LPS y que pretendan introducir técnicas automatizadas de aseguramiento de calidad y para investigadores interesados en el campo de las arquitecturas software, líneas de producto y desarrollo dirigido por modelos. / González Huerta, J. (2014). Derivación, Evaluación y Mejora de la Calidad de Arquitecturas Software en el Desarrollo de Líneas de Producto Software Dirigido por Modelos [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/36448

This work is divided into two major topics: many-worlds (or multiverse) theories in cosmology and Richard Dawids string theory-based epistemology, or non-empirical confirmation theory, as he calls it. The former is discussed in part I and the latter in part II of this dissertation. These topics are not intertwined in this work, as are not the essays that compose each chapter: in part I, first chapter, probability arguments that are presented in the literature as indications a multiverse must exist are accessed, whereas the second chapter is concerned with analyzing the metaphysical view that motivates many-world theory building, namely, the need to find unconditioned explanations in physics. Non-empirical confirmation theory is built upon three arguments, the No Alternatives Argument, the Meta-Inductive Argument from the Success of Other Theories in the Research Program and the Unexpected Explanatory Coherence Argument. Each compose a chapter in part II of this work, as they encode different philosophical issues that require for their assessment different tools from the philosophers arsenal. Skeptical conclusions are drawn at the end of each chapter. The wide spectrum of questions this work touches are designed to give at least slight indication that critical exploration of foundational theories made upon grounds familiar to philosophers can be found as internal to scientific practice itself, if that practice is concerned with the discovery, refinement and revision of fundamental theories. / Este trabalho divide-se em dois grandes tópicos: teorias de muitos mundos (ou multiverso) em cosmologia e a epistemologia não-empírica, embasada na teoria das cordas, de Richard Dawid. O primeiro é discutido na parte I e o segundo compõe a parte II deste trabalho. Tais tópicos não estão ligados, e a problemática desenvolvida em cada capítulo deste trabalho é, em larga medida, independente das demais: no primeiro capítulo da parte I argumentos probabilísticos indicados a literatura em prol da existência de muitos mundos são analisados, enquanto no segundo capítulo os pressupostos metafísicos que motivam a construção de teorias de muitos mundos em cosmologia, a saber, o fundamentalismo que busca explicações não-condicionadas para os fenômenos com os quais lida a física, são discutidos. A teoria da confirmação não-empírica de Dawid, tema da segunda parte deste trabalho, tem por base três argumentos, a saber, o argumento das alternativas inexistentes, o argumento meta-indutivo do sucesso de outras teorias no programa de pesquisa e o argumento da coerência explanatória inesperada. Cada um destes argumentos é tema de um capítulo neste trabalho, posto que desvelam problemáticas filosóficas distintas que requerem, por sua natureza, ferramentas de análise diferentes. Conclusões céticas são indicadas ao final de cada capítulo. O amplo espectro de questões que aborda este trabalho é desenhado com o propósito de fornecer ao menos vaga indicação de que a exploração crítica de teorias fundamentais, levadas a cabo a partir de vieses familiares ao filósofo, pode ser vista como interna à própria prática científica, se esta prática é preocupada com a descoberta, refinamento e revisão de teorias fundamentais.

Made available in DSpace on 2016-07-27T14:20:01Z (GMT). No. of bitstreams: 1 Fabiola Ribeiro de Moraes Santeiro.pdf: 516590 bytes, checksum: 7fda62f80ca77c11ea5208db2f849244 (MD5) Previous issue date: 2013-03-07 / Studies on coping help to understand about human contexts and on coping skills to everyday demands. This work consists of two parts. In the first one performs an analysis of scientific literature on coping. The sample consists of 294 articles published between 1993 and 2012 in journals indexed to international database SciELO. Several indicators show that the academic production on coping enjoys positive characteristics, among which stands out the occurrence of significant empirical studies. Given the relevance of the study of coping in adolescents, obtained through systematic analysis of the production area, the second part takes place descriptive study about the use of coping strategies in adolescents, students of big Goiânia (N=430) of both genders and aged between 12 and 19 years. There are significant differences in the use of coping strategies as age and gender of the participants. To consolidate the findings presented, further research is desirable. / Estudos sobre coping ajudam a entender sobre contextos humanos e sobre habilidades de enfrentamento às demandas cotidianas. Este trabalho se compõe de duas partes. Na primeira delas realiza-se uma análise de produção científica sobre coping. A amostra é composta por 294 artigos publicados entre 1993 e 2012, em periódicos indexados à base de dados internacional SciELO. Diversos indicadores demonstram que a produção acadêmica sobre coping desfruta de características positivas, dentre as quais se destaca a ocorrência significante de estudos empíricos. Constatada a relevância do estudo sobre coping em adolescentes, obtida por meio do levantamento sistemático da produção na área, na segunda parte realiza-se estudo descritivo sobre o uso de estratégias de coping em adolescentes, escolares da grande Goiânia (N=430), de ambos os sexos e com idades entre 12 e 19 anos. Verificam-se diferenças significativas no uso de estratégias de coping conforme idade e gênero dos participantes. Para consolidação dos achados apresentados, novas pesquisas são desejáveis.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-02T21:21:48Z No. of bitstreams: 1 ALINE BARBOSA TSUYUGUCHI - DISSERTAÇÃO PPGMAT 2012..pdf: 613833 bytes, checksum: c354cd90842e461c0fb29b0ee5f925d3 (MD5) / Made available in DSpace on 2018-08-02T21:21:48Z (GMT). No. of bitstreams: 1 ALINE BARBOSA TSUYUGUCHI - DISSERTAÇÃO PPGMAT 2012..pdf: 613833 bytes, checksum: c354cd90842e461c0fb29b0ee5f925d3 (MD5) Previous issue date: 2012-02 / CNPq / Neste trabalho estudamos testes de bondade de ajuste para a distribuição Birnbaum-Saunders. Consideramos testes clássicos baseados em função de distribuição empírica (Anderson-Darling, Cramér-von Mises e Kolmogorov-Sminorv) e baseados em função característica empírica. Nos limitamos ao caso onde o vetor de parâmetros é desconhecido e, portanto deverá ser estimado. Apresentamos estudos de simulação para verificar o desempenho das estatísticas de teste em estudo. Além disso, propomos estudos de simulação de Monte Carlo para testes de bondade de ajuste para a distribuição Birnbaum-Saunders com dados com censura tipo II. / In this work we study goodness-of-fit tests for Birnbaum-Saunders distribution. We consider classical tests based on empirical distribution function (Anderson-Darling, Cramér-von Mises e Kolmogorov-Sminorv) and based on empirical characteristic function. We limited this study to the case in which the vector of parameters is unknown and, therefore, must be estimated. We present the simulation studies to verify the performance of the test statistics in study. Also, we propose simulation studies of Monte Carlo for goodness-of-fit test for Birnbaum-Saunders distribution using Type-II censored data.

Submitted by Ana teresa Rosa Lopes (anateresa002@gmail.com) on 2017-04-27T19:32:18Z No. of bitstreams: 1 DISSERTAÇÃO_FINAL_25.04.17.pdf: 1409935 bytes, checksum: f5b230d1c7fbe974efa1cab1a1e4c195 (MD5) / Rejected by Vera Lúcia Mourão (vera.mourao@fgv.br), reason: Ana Teresa, boa tarde. para aprovar a sua submissão necessito que você corrija os itens abaixo e poste novamente: 1) Getulio - não tem acento, quando registraram a FGV foi grafado sem; 2) A numeração das páginas devem ser a partir da "introdução" levando em consideração as páginas anteriores, exemplo: tem a capa, contra capa ... Sumário, se totalizar 11 páginas a introdução será a página 12. atenciosamente. Vera - tel. 3799-3445 on 2017-04-27T20:47:44Z (GMT) / Submitted by Ana teresa Rosa Lopes (anateresa002@gmail.com) on 2017-05-04T21:11:01Z No. of bitstreams: 1 DISSERTAÇÃO_FINAL_25.04.17.pdf: 1449310 bytes, checksum: 220581e7f2d1a0a10ace7e1626b47bba (MD5) / Approved for entry into archive by Vera Lúcia Mourão (vera.mourao@fgv.br) on 2017-05-04T22:06:48Z (GMT) No. of bitstreams: 1 DISSERTAÇÃO_FINAL_25.04.17.pdf: 1449310 bytes, checksum: 220581e7f2d1a0a10ace7e1626b47bba (MD5) / Made available in DSpace on 2017-05-05T15:11:59Z (GMT). No. of bitstreams: 1 DISSERTAÇÃO_FINAL_25.04.17.pdf: 1449310 bytes, checksum: 220581e7f2d1a0a10ace7e1626b47bba (MD5) Previous issue date: 2017-03-15 / O presente trabalho traz um levantamento empírico do contencioso tributário brasileiro a partir de dados obtidos nas Demonstrações Financeiras e Formulários de Referência publicados pelas trinta maiores companhias abertas brasileiras no ano de 2014. Pode-se dizer que a principal contribuição almejada com este trabalho é apresentar um levantamento de dados objetivos sobre os pontos de instabilidade jurídica do sistema tributário, trazendo, assim, um pouco de luz à obscuridade que permeia a relação jurídico-tributária. A realização de pesquisa empírica sobre o assunto tem como pressupostos o questionamento da cultura formalista do direito tributário e a aposta de que para mudar a realidade, o primeiro passo é entendê-la. O levantamento das informações fiscais divulgadas pelas companhias mostra que há muitos aspectos da relação jurídico-tributária entre empresas e Estado que não são divulgados. Contudo, o pouco que foi possível identificar, demonstrou que há pontos de instabilidade nesta relação, cuja consequência está exprimida no vultoso valor envolvido nos processos administrativos e judiciais atualmente em curso sobre matéria tributária. De modo geral, este trabalho corrobora com a percepção de que há um ambiente de incerteza quanto à forma e conteúdo da divulgação de informações contábeis pelas companhias. As inconsistências verificadas, somada às idiossincrasias do sistema tributário brasileiro, torna recomendável a discussão acadêmica e profissional sobre a criação de regras específicas para a mensuração, reconhecimento e divulgação dos passivos contingentes e provisões decorrentes de processos de natureza tributária. Além disso, o mapeamento das disputas relevantes e aprofundamento das questões de mérito ali envolvidas permite indicar que o problema do alto grau de litigiosidade deve ser pensado para além da técnica da regra tributária. Ainda que existam ineficiências que possam ser melhoradas no plano normativo, este estudo mostra que a busca por parâmetros interpretativos das regras tributárias atualmente em vigor pode ser uma alternativa viável para o estancamento da litigiosidade em matéria fiscal. / This work presents an empirical research about tax litigation based on data obtained in the Financial Statements and Reference Forms published by the thirty largest Brazilian publicly traded companies in 2014. The main contribution sought by this work is to present data regarding the points of legal instability of the Brazilian tax system, thus bringing a little light to the obscurity that permeates the legal relationship between State and taxpayer. In furtherance of this result, this work is based on the assumption of questioning the formalist culture of tax law and stakes that in order to change reality; the first step is to understand it. The information disclosed by the companies show there are many aspects of the legal relationship between State and taxpayer that remain shadowy. Nonetheless, the aspects that could be identified through this empirical research showed there are lots of points of instability on such relationship, expressed in the large amount involved in administrative and judicial proceedings underway on tax matters. In a general perspective, this work corroborates the perception that there is an environment of uncertainty as to the form and content of disclosing accounting information by the companies. The inconsistencies verified therein, coupled with the idiosyncrasies of the Brazilian tax system, make it advisable to discuss, in both academic and professional levels, the creation of specific rules for the measurement, recognition and disclosure of contingent liabilities and provisions arising from tax matters. Furthermore, by means of mapping the relevant disputes with regard to judicial and administrative proceedings on tax matters and deepening the analysis of the merits of the issues therein, this work suggests that the problem of high degree of litigation should be addressed beyond the normative technique of the tax rule. Although there are inefficiencies that can be improved at the normative level, this study shows that the search for consistent interpretative parameters of the tax rules currently in force can be a viable alternative in order to stagnate the escalation of tax litigation.

Made available in DSpace on 2010-04-20T20:51:10Z (GMT). No. of bitstreams: 3 61060100575.pdf.jpg: 19845 bytes, checksum: ec1296b2a91ab760c26686c5b99be4d9 (MD5) 61060100575.pdf: 1237652 bytes, checksum: c302bc45bad6eeb40cb674c0f5cc0555 (MD5) 61060100575.pdf.txt: 232894 bytes, checksum: d0bc39df629e1b289689ffa494022f0c (MD5) Previous issue date: 2008-02-22T00:00:00Z / Despite the recent increase of publications on the subject, the area of supply chain management (SCM) still faces two important challenges: its theoretical development is still in its early stages and it lacks empirical evidence of its benefits. There is still a need to achieve consensus on its definition and its constructs (BURGUESS, SINGH; KOROGLU, 2006; CHEN; PAULRAJ, 2004, COUSINS; LAWSON; SQUIRE, 2006; HARLAND et al., 2006) and most of the published studies on the subject do not explain it on a theoretical perspective (BURGUESS, SINGH; KOROGLU, 2006; KETCHEN; HULT, 2007), representing an additional difficulty for practitioners and academics to verify the effectiveness of the strategy on the performance of companies. Besides that, the results of empirical studies are not conclusive due to research design differences. Based on the transaction cost theory, resource based view and relational view and in the recent empirical papers review, this study presents an integrative conceptual model of antecedents and consequences of SCM. The constructs are operationalized based on extensive review of empirical literature on the subject in order to increase the consistency of the scales of measurement and provide a tool for future research. Using structural equation model, alternative measurement models for the antecedents of SCM and operational performance are tested based on a sample of 107 companies in Brazil. The results do not show that there is a multidimensional construct responsible for the SCM implementation, but suggest the existence of independent and correlated dimensions, such as benevolence, credibility, top management support and internal relationships. A comparison of the models of operational performance provides evidence that this construct can be treated as a latent variable of second order, but can also be analyzed in its dimensions of cost, quality, flexibility and time. Additionally we empirically tested a number of hypothesized relationships between SCM antecedents, SCM and operational performance. The results do not support the mentioned dimensions as antecedents of SCM, but there is evidence of the impact of supply chain management on operational performance and its various dimensions. / Apesar do aumento recente de publicações sobre o tema, a área de gestão da cadeia de suprimentos (supply chain management - SCM) ainda carece de desenvolvimento teórico e de comprovação empírica de seus benefícios. A ausência de consenso sobre a definição de gestão da cadeia de suprimentos e de construtos claramente definidos e a falta de fundamentação teórica para os estudos publicados representam uma dificuldade para que a efetividade da estratégia sobre o desempenho das empresas possa ser comprovada por praticantes e acadêmicos. Os resultados dos poucos estudos empíricos também não são conclusivos em função de diferenças significativas nos desenhos de pesquisa. Fundamentado na teoria dos custos de transação, visão baseada em recursos e na visão relacional e na revisão dos estudos empíricos recentes, este estudo apresenta um modelo conceitual integrativo dos antecedentes e conseqüências de SCM. Usando modelo de equação estrutural, a partir de uma amostra de 103 empresas no Brasil, são testados empiricamente modelos alternativos de mensuração para os aspectos precursores de supply chain management e para o desempenho operacional. Os resultados não permitem afirmar que existe um construto multidimensional que antecede SCM, mas sugerem a existência de aspectos independentes e correlacionados, como benevolência, credibilidade, apoio da alta gerência e relacionamentos internos. A comparação dos modelos de desempenho operacional fornece evidências de que esse construto pode ser tratado como uma variável latente de segunda ordem, mas também pode ser analisado em suas dimensões de custo, qualidade, flexibilidade e tempo. A mesma técnica permite a análise das relações entre os antecedentes e as conseqüências da gestão da cadeia de suprimentos. Os resultados não forneceram suporte para identificar os fatores motivadores de SCM, mas evidenciaram o impacto dessa estratégia no desempenho operacional e em suas diferentes dimensões

Submitted by Cristiane Oliveira (cristiane.oliveira@fgv.br) on 2011-06-02T20:58:15Z No. of bitstreams: 1 73070100004.pdf: 2232001 bytes, checksum: 9856a8d96a4aa549b5df3081ac3390a7 (MD5) / Approved for entry into archive by Suzinei Teles Garcia Garcia(suzinei.garcia@fgv.br) on 2011-06-03T11:51:08Z (GMT) No. of bitstreams: 1 73070100004.pdf: 2232001 bytes, checksum: 9856a8d96a4aa549b5df3081ac3390a7 (MD5) / Approved for entry into archive by Suzinei Teles Garcia Garcia(suzinei.garcia@fgv.br) on 2011-06-03T11:52:22Z (GMT) No. of bitstreams: 1 73070100004.pdf: 2232001 bytes, checksum: 9856a8d96a4aa549b5df3081ac3390a7 (MD5) / Made available in DSpace on 2011-06-03T13:53:03Z (GMT). No. of bitstreams: 1 73070100004.pdf: 2232001 bytes, checksum: 9856a8d96a4aa549b5df3081ac3390a7 (MD5) Previous issue date: 2010-06-22 / lnefficiency in Brazili~~ courts has long been discussed witliin academic and business circles. Most of the discussion, however, is based on personal "feelings", common sense, and anecdotal evidence. Almost no empirical or quantitative research has ever been carried out in the nationalliterature. This dissertation offers a qualitative and quantitative analysis. of the Brazilian Judiciary, using the perspectives ofthe Economic Analysis ofLaw (or Law and Economics). First, it discusses how institutions, in géneral, and legal institutions, in particular, became subjects of interest for economists. This has to do with the development of Institutional Economics, and more precisely, New lnstitutional Economics in the 1960s. Since then, pieces of empirical research in the field abound, highlighting the importance of the quality of (legal) institutions over the economy. Economic Analysis ofLaw was developed within this contexto The dissertation then, offers a descriptive analysis ofthe current (critical) situation of the Brazilian Judiciary. We present the most "traditional" explanations for inefficiency in courts, mainly the lack of resources, and the bad quality of the procedurallaw. Then, we offer altemative explanations, which question the emphasis placed on the amount of resources and, instead, focus on the quality of court management as one ofthe maio sources of (in)efficiency. Then, we apply Data Envelopment Analysis (DEA) to quantitatively and empirically measure relative efficiency of the Brazilian State Courts. Results show that it varies substantially across the different states and cannot be explained mainly by the amount of resources that each one has available. Finally, we test one of the most acknowledged hypotheses of the Brazilian Law and Economics literature: that judges tend to favor debtors in contractual relations, i.e., that they have a pro-debtor bias when making judicial decisions. Based on a set of 1,687 decisions ofthe STJ (Superior Tribunal de Justiça) we find that such a pro-debtor bias does not seem to exist in a consistent manner among Brazilian judges, at least not among the STJ Justices. Yet, judicial decisions do seem to be inconsistent over time, what mar cause a high degree of uncertainty. 'i This dissertation tries to offer a contribution in making economic analysis of the Brazilian Judiciary more empirical, and less based on feelings, anecdotes or common sense. / A ineficiência nas cortes brasileiras tem sido objeto de debates nos círculos acadêmicos e empresariais desde há muito tempo. Entretanto, grande parte das discussões tem sido baseada em 'achismos', senso comum e evidências anedóticas. Pouca ou nenhuma pesquisa empírica tem sido desenvolvida na literatura nacional. Esta tese oferece uma análise qualitativa e quantitativa do Judiciário brasileiro, usando a perspectiva da Análise Econômica do Direito (ou Law and Economics). Primeiro, discutimos como as instituições, de maneira geral, e as instituições legais, de maneira específica tornaram-se objetos de interesse dos economistas. Isso relaciona-se com o surgimento da Economia Institucional, e mais precisamente, da Nova Economia Institucional nos anos 1960s. Desde então, muitos trabalhos empíricos na área têm surgido, enfatizando a importância da qualidade das instituições (legais) na economia. A Análise Econômica do Direito desenvolveu-se dentro deste contexto. Oferecemos então uma análise descritiva da atual situação (crítica) do Judiciário brasileiro. Apresentamos as explicações 'tradicionais' para a ineficiência, mais comumente a falta de recursos e a má qualidade do direito processual. No entanto, oferecemos explicações alternativas, que questionam a ênfase normalmente dada à quantidade de recursos e, ao invés disso, focam na qualidade da gestão das cortes como a principal fonte de (in) eficiência. Depois, empregaremos a Análise Envoltória de Dados (DEA) para medir empiricamente a eficiência relativa dos Tribunais Estaduais brasileiros. Os resultados indicam que ela varia significativamente entre os estados e pode não ser unicamente explicada pela falta de recursos disponíveis para cada corte. Finalmente, testamos uma das mais conhecidas hipóteses da literatura brasileira da Análise Econômica do Direito: que os juízes tendem a favorecer os devedores contratuais, ou seja, que eles têm um viés pró-devedor em seus julgamentos. Baseados em 1.687 decisões do Superior Tribunal de Justiça mostramos que tal viés não existe de forma consistente entre os juízes brasileiros, pelo menos não entre os Ministros do STJ. Entretanto, as decisões parecem ser inconsistentes ao longo do tempo, algo que pode gerar alto grau de incerteza. Desejamos com esta tese fazer uma contribuição tornando a análise econômica do Judiciário mais empírica, menos baseada em 'achismos', anedotas ou no senso comum.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Turbulent flow high complexity makes it difficult to describe complex phenomena, such as the transport of vector and scalar quantities at the lower atmosphere, making the analysis of experimental data, such as time series, largely employed. The method mostly used by the micrometeorological community to quantify such turbulent transport is associated with the determination of the statistical covariance between two variables. It is known that the determination of statistical quantities for very long temporal windows leads to a large flux uncertainty. At the same time, the theory indicates that the association between fluxes and statistical covariance is only valid for temporally stationary series. The aim of the present study is to test the hypothesis that the estimate uncertainty is directly related to the series non-stationarity. To better understand this issue, we use a methodology based on a group of parametric and nonparametric statistical tests. The tests considered here are the T-test, F-test, median test, U-test and run test. Furthermore, the test results are compared with the outputs of two signal decomposition procedures: multiresolution analysis and empirical mode decomposition. The results suggest that the flux variability over large temporal scales characterizes the existence of temporal trends and low frequency components in the time series considered, so that it is more associated with an observational limitation of the analysis than with non-stationarity, as this concept should be the property of an ensemble, rather than of a single realization. Such limitation suggests the definition of a practical single order stationarity, associated with temporal trends and low frequency components whose energy is similar or larger to that of the turbulent fluctuations. For that reason, we affirm that the interactions test is, among all considered, the best suited for analyzing atmospheric data, because it is the most sensible to the existence of temporal trends. Furthermore, such test allows obtaining a temporal scale beyond which mesoscale events become important. / A complexidade de escoamentos turbulentos causa dificuldade para a descrição de fenômenos complexos, como o transporte de grandezas vetoriais e escalares na baixa atmosfera, fazendo com que a análise de dados experimentais, principalmente séries temporais, seja amplamente utilizada. O método mais utilizado pela comunidade micrometeorológica para quantificar esse transporte pela turbulência está associado à determinação da covariância entre duas variáveis. Sabe-se que a determinação de quantidades estatísticas para janelas temporais muito longas resulta em uma grande incerteza nos valores dos fluxos obtidos através desse método. Ao mesmo tempo, a teoria indica que o procedimento de associar fluxos a covariâncias estatísticas só vale para séries temporalmente estacionárias. O objetivo deste trabalho é testar a hipótese de que a incerteza das estimativas esteja relacionada diretamente com a não-estacionariedade das séries temporais. Para entendermos melhor isso, usamos uma metodologia baseada em um conjunto de testes estatísticos paramétricos e não-paramétricos de hipótese nula. Os testes considerados são o teste-T, teste-F, teste da mediana, teste-U e o teste das interações. Os resultados dos testes são ainda comparados com os obtidos com dois métodos de decomposição de sinais: a análise de multiresolução e a Decomposição Empírica de Modos. Os resultados sugerem que a variabilidade dos fluxos nas grandes escalas temporais está associada diretamente com a presença de tendências e componentes de baixa frequência nas séries analisadas, e que este fato está mais ligado à limitação observacional em que a análise é realizada do que propriamente com a não-estacionariedade, já que esta última é uma propriedade de ensemble e não de apenas uma realização. Esta limitação sugere a definição de um conceito mais prático de estacionariedade de primeira ordem, que seja associado à presença de tendências ou componentes de baixa frequência com energias da ordem ou maiores que a energia das escalas turbulentas. Por esse motivo podemos afirmar que na análise de dados atmosféricos o teste das interações mostrou-se, entre todos os considerados, o mais sensível à presença de tendências, permitindo inclusive a obtenção de uma escala temporal na qual os eventos de meso/submesoescala ganham importância.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-05-04T22:31:28Z No. of bitstreams: 1 ANA EMÍLIA VICTOR BARBOSA COUTINHO - TESE PPGCC 2015..pdf: 3805756 bytes, checksum: 2bee7d8777dfd753eb994680cd2bb6c5 (MD5) / Made available in DSpace on 2018-05-04T22:31:28Z (GMT). No. of bitstreams: 1 ANA EMÍLIA VICTOR BARBOSA COUTINHO - TESE PPGCC 2015..pdf: 3805756 bytes, checksum: 2bee7d8777dfd753eb994680cd2bb6c5 (MD5) Previous issue date: 2015-03-20 / Capes