933 resultados para Compositional Rule of Inference
Resumo:
We introduce a calculus of stratified resolution, in which special attention is paid to clauses that "define" relations. If such clauses are discovered in the initial set of clauses, they are treated using the rule of definition unfolding, i.e. the rule that replaces defined relations by their definitions. Stratified resolution comes with a powerful notion of redundancy: a clause to which definition unfolding has been applied can be removed from the search space. To prove the completeness of stratified resolution with redundancies, we use a novel combination of Bachmair and Ganzingerâ??s model construction technique and a hierarchical construction of orderings and least fixpoints.
Resumo:
This paper proposes unit tests based on partially adaptive estimation. The proposed tests provide an intermediate class of inference procedures that are more efficient than the traditional OLS-based methods and simpler than unit root tests based on fully adptive estimation using nonparametric methods. The limiting distribution of the proposed test is a combination of standard normal and the traditional Dickey-Fuller (DF) distribution, including the traditional ADF test as a special case when using Gaussian density. Taking into a account the well documented characteristic of heavy-tail behavior in economic and financial data, we consider unit root tests coupled with a class of partially adaptive M-estimators based on the student-t distributions, wich includes te normal distribution as a limiting case. Monte Carlo Experiments indicate that, in the presence of heavy tail distributions or innovations that are contaminated by outliers, the proposed test is more powerful than the traditional ADF test. We apply the proposed test to several macroeconomic time series that have heavy-tailed distributions. The unit root hypothesis is rejected in U.S. real GNP, supporting the literature of transitory shocks in output. However, evidence against unit roots is not found in real exchange rate and nominal interest rate even haevy-tail is taken into a account.
Resumo:
Uma democracia consolidada pressupõe um estado capaz, e para ambos é necessária uma nação forte e uma sociedade civil ativa. Diversas democracias na América Latina não alcançaram tais requisitos porque não completaram suas respectivas revoluções capitalistas, e o excedente econômico continua dependendo do controle direto do estado. Este fato demonstra que a qualidade das democracias varia de país para país, e prevê que as democracias possíveis nos países mais pobres serão necessariamente democracias limitadas. Desde que a democracia tornou-se uma justificativa para pressões e intervenções externas, é um erro incluir no conceito de democracia mais do que as necessidades mínimas, práticas. Por outro lado, para melhorar a democracia é necessário aumentar a capacidade do estado não apenas para assegurar o respeito às leis, mas também para promover o desenvolvimento econômico e social.
Resumo:
A democracia tornou-se o regime preferido apenas no século XX. Para entender esse processo, um método puramente de escolha racional não é suficiente. O autor busca um novo fato histórico que levou a essa mudança de preferência e o encontra na Revolução Capitalista. Por parte dos capitalistas, a democracia é p regime político que melhor assegura os direitos de propriedade e o cumprimento de contratos. Por parte dos trabalhadores, é o regime que garante que os salários cresçam mais proporcionalmente em relação aos lucros. No plano internacional, atualmente, os principais países não têm inimigos dentre ou outros estados-nação. Aos poucos, a Política de globalização substitui o antigo sistema a Diplomacia de Equilíbrio de Poderes a medida em que a globalização é regulamentada, e o império da lei emerge no plano internacional. Globalização é inerentemente injusta para com os países pobres e em desenvolvimento, que são incapazes de competir em um mundo onde a competição prevalece em toda a parte. Tais países são simplesmente excluídos do sistema ou, frustrados, recorrem ao terrorismo. Através do debate e argumentação, será possível criar um sistema internacional legal menos injusto. E através dele, há esperança de que a idéia de um governo internacional deixe de ser mera utopia.
Resumo:
O presente estudo foi concebido com o intuito de levantar e compilar informações, do ponto de vista conceitual, para a fundamentação da crítica quanto à influência e interferência dos meios de comunicação de massa nos assuntos de segurança pública, uma dupla temática real, mas não problematizada. Abordam-se os aspectos relativos ao histórico da instituição policial e sua estrutura permanente em contextos diferenciados, bem como a premência por um modelo que melhor se adapte ao sistema democrático, ao Estado de Direito. Enfocam-se questões referentes à visão dos meios de comunicação enquanto agentes econômicos e políticos, à liberdade de imprensa, às responsabilidades da mídia e à ética na comunicação. Constata-se, na pesquisa, que a conjunção dos temas 'meios de comunicação e aparato policial' carece de tratamento sistematizado, no meio literário, acadêmico. Busca-se, portanto, trazê-la à discussão, considerando o poder adquirido pela mídia nos últimos tempos e sua penetração na dinâmica social e no próprio aparato policial. Evidencia-se, ainda, a resultante dessa relação para o trato dos assuntos de segurança pública, relegados ao plano comercial da notícia e tratados sob a ótica de mercadoria com potencial gerador de altos índices de audiência.
Resumo:
Mapeamentos geológicos feitos pelo autor na região do Arroio Cambaizinho - são Gabriel/RS, resultaram na definição do Complexo Cambaizinho, representado pelas seqüências meta-sedimentar e máfica-ultramáfica, intimamente associadas ao longo de toda a extensão da associação supracrustal. A seqüência meta-se dimentar é constitu1da por gnaisses quartzo-feldspáticos dominan tes, anfibolitos bandados e quartzitos subordinados, derivados de sedimentos areno-pelítico-carbonatados estruturados, de forma ritmica em ambiente subaquoso. Niveis composicionais de ocorrência restrita contendo estaurolita, definem o grau metamórfico (médio) para esta região. Intercalações de serpentinitos, xistos magnesianos variados e anfibolitos a granulação fina, na forma de camadas e/ou lentes interestratificadas nos meta-sedimentos indicam suas derivações a partir de derrames e/ou intrusões , ígneas de pequena profundidade de composição básica-ultrabásica. Este juntamente com níveis de sedimentos qu1micos intercalados e corpos de gabros, constituem a seqüência máfica-ultramáfica. O complexo, representa o segmento norte de um cintu rão supracrustal polideformado de forma geométrica aproximadamente linear, com orientação NNE, que se extende desde a localidade de Passo do Ivo, situado mais a sul, até a região objeto deste trabalho. Quatro fases de deformação dúcteis foram das para a área, estando as duas primeiras (Dl e D2) identifica associadas xx aos eventos metamórficos regionais Ml e M2. O metamorfismo mais antigo (Ml), assinalado por paragêneses diagnósticas em metapelitos alcançou o fácies anfibolito (zona da estaurolita), estando representado em outras litologias pela ocorrência de olivina metamórfica em paragênese com tremolita e/ou talco (meta-serpentinitos) e hornblenda mais oligoclásio/andesina em meta-básicas. O M2, mais jovem, atingiu o fácies xistos verdes, cujas assembléias mineralógicas se associam à foliação S2, de distribuição ir regular ao longo do cinturão. As condições fisicas de Ml foram de média P/T, similares às do metamorfismo Dalradiano. Intrusões graniticas na forma de lâminas (corpos ta bulares) durante a segunda fase de deformação D2, datados pelo mé todo Rb/Sr em 661 :: 29 Ma e agrupados sob a denominação de Granatóides Sanga do Jobim, fornecem idades mínimas para o complexo. Os vários grupos composiciconais da seqüência máfic~ -ultramáfica, individualizados com base em critérios petrográf~ cos e conteúdo de elementos maiores correspondem a: serpentinitos e olivina-talco ultramafitos (cumulados komatilticos); xis tos magnesianos à talco e clorita e anfibólio xistos (komatiitos); clorita-hornblenda xistos (basaltos komatiiticos), litos e metagabros (basaltos e gabros tolelticos). anfibo Estes vários tipos litológicos foram originados através de diferentes graus de fusão parcial do manto como indicado pelo hiato composicional de MgO (11 à 17%) e os diferentes padrões de ETR existentes entre os anfibolitos/metagabros (toleitos) e os serpentinitos/xistos magnesianos (komatiltos).As variações composicionais no interior de cada grupo, foram controladas pelo fracionamento (acumulação ou extração) de olivina e pouco ortopiroxênio (serpentinitos e olivina-talco ultramafitos)clinopiroxênios (clorita e anfibólios xistos, clorita hornblenda xistos), clinopiroxênio e plagioclásio (anfibolitos e metagabros). As abundâncias e os padrões de ERTL (elementos terras raras leves) enriquecidos, juntamente com os baixos valores das razões A1203/Ti02 e CaO/Ti02 das amostras de xistos magnesiinos das camadas A e B sugerem derivações deste material a partir de baixas percentagens de fusão de um manto enriquecido em mentos incompatíveis. As anomalias negativas de Ce e Eu na ele maio ria das rochas da seqüência máfica-ultramáfica indicam que protólitos ígneossofreram alterações em ambiente submarino.
Resumo:
Esta dissertação avalia os efeitos do Exame Nacional do Ensino Médio (ENEM) sobre o ensino médio brasileiro. Esta avaliação baseia-se na teoria de que exames curriculares com a qualidade de gerar conseqüências diretas sobre os alunos, como no caso do ENEM, são capazes de influenciar positivamente o aprendizado dos alunos por dois canais: por aumento de seu esforço e pela pressão que exercem sobre professores e diretores. O presente trabalho avalia especificamente o segundo canal, sobre o qual o ENEM deve atuar por meio da divulgação ao público das notas médias por escola em todo o país. Neste sentido, estima-se o efeito da divulgação das notas do ENEM sobre os seguintes resultados educacionais: proficiência em Matemática e Língua Portuguesa no Saeb, alocação de insumos escolares e comportamento dos professores. Para tanto, dois métodos são propostos: i) diferenças em diferenças, utilizando dados dos Saeb de 2005 – um ano antes do início da divulgação – e 2007 – um ano após a primeira publicação – e ii) regressão com descontinuidade, explorando o fato de haver uma regra estrita para entrada da escola na divulgação – ter ao menos 10 concluintes do ensino médio participando do ENEM. Os resultados mostram que o fato uma escola ter seu resultado médio no ENEM divulgado não parece influenciar o desempenho de seus alunos nem a quantidade de seus insumos escolares, por nenhum dos métodos propostos. O método de diferenças em diferenças aponta ainda que os professores de escolas submetidas ao tratamento dessa divulgação parecem ter maior enfoque em atividades voltadas a resolução de exercícios e fixação de regras gramaticais, reação que é interpretada por parte da literatura como adversa. Estes últimos resultados, no entanto, podem estar refletindo apenas tendências temporais preexistentes e não um efeito de tratamento legítimo. Conclui-se então que o ENEM não deve estar servindo como indutor de melhorias dos resultados educacionais via pressão dos alunos do ensino médio. Porém, é possível levantar a hipótese de que este tipo de efeito ainda pode ser captado em prazos mais longos ou para grupos de escolas diferentes das usadas na análise.
Resumo:
O presente trabalho aborda o tema “Instituto da Unitização”, ou mesmo “Individualização da Produção”, conforme nomenclatura nacional, termos que designam o que vem a ser uma operação conjunta e coordenada de um reservatório de petróleo, gás natural ou ambos por todas as partes com direitos de propriedade sobre as áreas por onde se estende o reservatório. Os conceitos de Unitização serão estudados e abordados segundo contexto da indústria do petróleo em seus elementos técnicos, jurídicos e econômicos. À luz da Teoria Econômica, serão analisados os Fundamentos do Instituto da Unitização e a evolução de sua aplicação no contexto nacional e internacional.
Resumo:
In this paper we prove convergence to chaotic sunspot equilibrium through two learning rules used in the bounded rationality literature. The rst one shows the convergence of the actual dynamics generated by simple adaptive learning rules to a probability distribution that is close to the stationary measure of the sunspot equilibrium; since this stationary measure is absolutely continuous it results in a robust convergence to the stochastic equilibrium. The second one is based on the E-stability criterion for testing stability of rational expectations equilibrium, we show that the conditional probability distribution de ned by the sunspot equilibrium is expectational stable under a reasonable updating rule of this parameter. We also report some numerical simulations of the processes proposed.
Resumo:
Recentes evidências empíricas sugerem que o consumo aumenta em resposta a um aumento nos gastos do governo. Essa descoberta não pode ser facilmente reconciliada com os resultados dos modelos de otimização dos ciclos econômicos. Para testar tais evidências utilizamos uma versão simplificada do modelo novo keynesiano padrão estendido em Galí, López-Salido e Vallés (2007), para permitir a presença de consumidores Rule-of-Thumb. Mostramos como a interação desses últimos, sob a hipótese de rigidez de preços e financiamento via déficits, pode explicar as evidências existentes sobre os efeitos dos gastos do governo.
Resumo:
O presente texto está focado na temática da Reforma Tributária e, em particular, na sua dificuldade em ser aprovada pelo Congresso Nacional. Sendo o Sistema Tributário a base da manutenção do federalismo, já que sem a partilha das receitas tributárias entre os entes federados não há como assegurar sua independência financeira e, portanto, também sua autonomia, o contexto federativo se apresenta como um dificultador. A Reforma, além de tratar de aproximar o atual Sistema Tributário de um sistema ideal, tem que procurar manter uma autonomia mínima dos entes para que o Estado Federal – cláusula pétrea de nossa Constituição Federal - não se converta em Unitário. Nesse panorama, a relação entre o Executivo Federal, os Executivos Estaduais e o Congresso Nacional, no que tange à aprovação de assuntos ligados à agenda da Reforma Tributária, se reveste de fundamental importância para o entendimento dos obstáculos que têm levado à paralisação os principais projetos a ela ligados. Importante, também, se afigura o entendimento do jogo entre as elites que ocorre dentro e fora do Congresso Nacional, resultando substanciais alterações nessas propostas. Nesse sentido, a teoria das escolhas racionais se mostra uma ferramenta adequada para ajudar nessa compreensão. Para se alcançar o objetivo proposto - levantar os obstáculos que têm impedido o avanço de projetos que visem promover ampla reforma no Sistema Tributário brasileiro -, foram realizadas 28 entrevistas que tiveram com requisitos básicos para a seleção dos sujeitos: o de estarem exercendo suas atividades no Estado de Pernambuco; e de terem participado direta ou indiretamente em processos de Reformas Tributárias amplas, em particular, da proposta que foi apresentada em 2008 por meio da PEC 233/08. Foram entrevistados Ex-ministros de Estado, Ex-governadores, Secretários e Ex- Secretários das Receitas das três esferas de Poder, Deputados Federais, líderes empresariais, líderes de órgãos e entidades de classe, advogados tributaristas e agentes do fisco estadual. Os resultados obtidos sugerem que, embora existam diversos obstáculos de difícil superação e que devem ser esgotados em mesas de negociação antes de a proposta ser remetida ao Congresso Nacional, o conflito distributivo entre os entes federados se apresenta como o principal problema a ser observado. A sua presença parece ter a capacidade de romper o tecido partidário e dissolver as coalizões de apoio e de oposição ao Governo, repercutindo sobre o eixo da negociação que, para processos dessa natureza, passa a ser entre os Executivos Federal e Estaduais e não mais entre o Executivo Federal e sua coalizão de apoio, como normalmente ocorre.
Resumo:
Este trabalho visa produzir conhecimento sobre como o Tribunal Regional Federal da 3ª Região tem decidido sobre dois dos principais crimes afetos à administração das instituições financeiras: gestão fraudulenta e gestão temerária. Trata-se de delitos criticados pela doutrina em razão das falhas de definição dos tipos, desde a edição da Lei 7.492, em 1986. Além disso, a sua previsão legislativa possui características que os aproximam do paradigma do direito penal do risco, ou seja: são crimes de perigo abstrato, que tutelam bem jurídico supra-individual, praticados por administradores detentores do dever de probidade na condução das instituições frente aos riscos inerentes à dinâmica do sistema financeiro. A adoção desse paradigma é controversa na doutrina penal por implicar a flexibilização de garantias do Estado Democrático de Direito sob a perspectiva do paradigma do direito penal tradicional. Diante disso, adota-se a metodologia de análise de conteúdo de decisões para se responder a dois problemas de pesquisa: (1) Quais os critérios adotados pelo Tribunal para a configuração dos crimes? (2) As decisões aproximam-se de algum paradigma de direito penal? As hipóteses objeto de teste são: (1) que o Tribunal considera principalmente a prática da conduta sem analisar a sua potencialidade lesiva sob uma perspectiva ex ante; e, (2) que esse discurso de imputação de responsabilidade aproxima as decisões do paradigma do direito penal do risco, considerados, em contexto, outros elementos presentes nas decisões. Na primeira parte, é feita uma introdução metodológica; na segunda, estabelece-se o referencial teórico; na terceira e na quarta, realizam-se as análises dos resultados quantitativos e qualitativos obtidos com a sua discussão; por fim, procede-se à conclusão, levantando-se novo problema a ser investigado.
Resumo:
Neste trabalho abordamos a unitização como uma reinterpretação de cartel, partindo do modelo clássico de Green e Porter. A incerteza geológica é representada por um componente estocástico no custo marginal. Caracterizamos o contrato ótimo e, a partir da estática comparativa, avaliamos a eficiência e a viabilidade da cooperação. O preço e o grau da externalidade afetam positivamente o nível de eficiência do contrato ótimo. Mas enquanto preços elevados viabilizam os acordos, o grau de externalidade elevado pode conduzir a equilíbrios ineficientes ou mesmo inviabilizar a produção. O mesmo resultado ocorre com os custos fixos. Adicionalmente, quanto maior for o número de firmas envolvidas no acordo, menor será a chance de existir um contrato mais eficiente que a regra da captura.
Resumo:
O propósito deste estudo é compreender como os diferentes membros gerenciam o risco na cadeia de suprimentos global. Por meio de um estudo multicaso na cadeia de exportação da manga brasileira para os Estados Unidos foram investigados os elos fornecedor, exportador, operador logístico e importador. Foi desenvolvido um protocolo de pesquisa conforme sugestão de Yin (2010) e adaptação de instrumento de coleta de dados semi-estruturado de Christopher, et al. (2011). A partir de entrevistas com organizações de apoio ao objeto da pesquisa, foi selecionado a amostra de empresas nas quais o fenômeno de gestão do risco poderia ser melhor observado. Baseado nas classificações de tipo de risco elaboradas por Christopher et al. (2011), é sugerida uma nova organização das categorias de risco (demanda, suprimentos, processo e controle, ambiental e sustentabilidade). Este trabalho apresenta uma descrição da cadeia de exportação de manga, bem como os principais riscos e as estratégias mitigadoras de risco empregadas pelos quatro membros da cadeia estudados. Conforme regra de Sousa (2001), foram realizadas comparações entre os tipos de risco e estratégias mitigadoras observadas na cadeia de suprimentos. Por fim, o estudo mostrou que a gestão do risco é heterogenia entre os membros da cadeia, o exportador é o mais penalizado pela consequência de risco à cadeia e a colaboração é a principal forma observada de mitigação.
Resumo:
Este trabalho se propõe a estudar a jurisdição constitucional sob a perspectiva pós-positivista com destaque para o controle de constitucionalidade concentrado. O pós-positivimo quebrou os paradigmas do direito constitucional clássico dando ao Poder Judiciário uma grande ascensão política realçando a dificuldade contramajoritária do controle de constitucionalidade concentrado. Ademais, as diversas manifestações da jurisdição constitucional que alijam o cidadão comum da Corte fazem do Supremo Tribunal Federal um tribunal isolado. As novas facetas do Poder Judiciário, especialmente do STF, têm gerado um déficit democrático na jurisdição constitucional. Este déficit democrático gera desequilíbrio entre as duas dimensões do Estado Democrático de Direito, onde a democracia se encontra em desvantagem em relação ao ideal constitucionalista. Na tentativa de diminuir o déficit democrático da jurisdição constitucional este trabalho se assenta sobre a importância de se reforçarem os instrumentos de participação social no controle de constitucionalidade concentrado: amicus curiae, audiências públicas e visitas in loco. Além de reequilibrar o Estado de Direito, o reforço desses instrumentos traz a racionalização das decisões em sede de controle concentrado, uma vez que promove uma troca de experiência entre o julgador e a realidade possibilitando a ele proferir decisões mais eficientes.