946 resultados para Deep Inference, Proof Theory, Teoria della Dimostrazione, Cut elimination, Gentzen Hauptsatz


Relevância:

30.00% 30.00%

Publicador:

Resumo:

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Relevância:

30.00% 30.00%

Publicador:

Resumo:

O trabalho aqui apresentado visa o estudo da migração 3D no tempo, em amplitudes verdadeiras, de dados da seção afastamento nulo ("zero-offset"), usando a aproximação de segunda ordem do tempo de trânsito de difração. O processo de migração no tempo usa a função difração determinada, corretamente, através de mesmos parâmetros que controlam a função tempo de trânsito de reflexão, além do auxílio dos raios paraxiais. Os parâmetros que controlam a função tempo de trânsito de reflexão são determinados através de pelo menos nove medidas de tempo de trânsito, obtidas a partir de dados pré-empilhados (tiro comum, ponto médio comum - CMP, etc.). Determinada a função difração, pode-se fazer a migração sem a necessidade de que se conheça o modelo de velocidades, pois a função tempo de trânsito de difração, como definido neste trabalho, não necessita do mesmo. O espalhamento geométrico é removido através do processo de migração e aplicação de uma função peso aos dados da seção afastamento nulo. Juntamente com a função peso, aplicou-se um filtro objetivando a recuperação da fase do sinal, ocorrida como consequência do processo de migração. Devido a limitação computacional, fez-se testes com dados sintéticos, em 2D, objetivando verificar a eficiência do programa. Os resultados obtidos foram satisfatórios, mostrando a eficiência e confiabilidade do processo.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Pós-graduação em Geografia - FCT

Relevância:

30.00% 30.00%

Publicador:

Resumo:

O presente estudo objetiva compreender o fenômeno da devolução voluntária à transferência de renda condicionada “Bolsa Família”. Tal estudo tem como base a teoria crítico-dialética,utiliza as categorias de Política social, Assistência social, emancipação/autonomia, cidadania, transferência de renda e pobreza. O método adotado é o dialético, a partir do qual se adotará o estudo de caso com entrevistas em profundidade. Os dados obtidos foram tratados através de análise de conteúdo com que consiste em “uma técnica de investigação que tem por finalidade a descrição objetiva, sistemática e quantitativa do conteúdo manifesto da comunicação” a partir de procedimentos sistemáticos e objetivos de descrição do conteúdo das mensagens, indicadores (quantitativos ou não) que permitam a inferência de conhecimentos relativos às condições de produção/recepção (variáveis inferidas) dessas mensagens e os aspectos quantitativos do método. O Programa Bolsa Família trouxe benefícios ao público alvo, o volume de informações não deixa dúvidas, porém os casos estudados indicam que a devolução do benefício deste Programa não se deu de forma espontânea, mas estimulada, sem que os beneficiários estivessem efetivamente emancipados.Assim, não houve desistência voluntária e sim bloqueio, orientação e saída induzida. Algumas famílias foram detectadas pelo sistema do programa e foram automaticamente bloqueadas, por estarem fora do padrão de renda para continuar recebendo o benefício; outras foram detectadas no momento do recadastramento.Quanto a esse desligamento, o posicionamento das pessoas entrevistadas se dividiu entre aqueles que entendiam que ainda precisavam muito do benefício para continuar o melhoramento de suas vidas; e aqueles que, mesmo não tenham pedido o desligamento de forma espontânea à coordenação do programa, concordaram com os procedimentos institucionais realizados, por entenderem que outras pessoas mais necessitadas precisam da oportunidade gerada por essa política.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

O presente trabalho trata da análise teórica da plurifuncionalidade da Segurança Alimentar e Nutricional (SAN) no meio ambiente, que se sustenta como um dever de solidariedade agroambiental. O trabalho foi dividido em três partes, cada uma com dois capítulos, que foram desenvolvidos inicialmente com o estabelecimento do contexto em que se encontram os assuntos abordados, e finalizados com observações acerca das principais ideias estudadas, até a elaboração de considerações finais, que demonstram os resultados alcançados pelo trabalho. Utiliza-se a metodologia teórica e o raciocínio indutivo-crítico, pois se parte do estudo de um fenômeno individualizado, a SAN, para se prejetarem hipóteses que considerem seus efeitos e interações com o meio ambiente natural, para ao final buscar generalizar as soluções encontradas, notadamente a solidariedade em sua dimensão de dever jurídico. Procura-se sustentar a argumentação com obras de referência bibliográficas e outras produções científicas de entidades nacionais e estrangeiras. Discute-se introdutoriamente alguns motivos que levaram à realização da tese, quais sejam os graves problemas que envolvem a alimentação humana na contemporaneidade, destaca sua aproximação com os direitos humanos, especialmente com o princípio da solidariedade e suas características de transdisciplinaridade metodológica, que gera necessariamente efeitos em vários outros campos do conhecimento. São revisados criticamente conceitos firmados pela Organização das Nações Unidas para Agricultura e Alimentação (FAO), especialmente os referentes ao direito à alimentação, direito a estar alimentado, soberania alimentar, Segurança Alimentar e Nutricional (SAN), desnutrição, subnutrição e má nutrição. Considera-se a SAN em sua dimensão plurifuncional porque implica necessariamente em repercussões éticas e jurídicas no âmbito dos direitos humanos, a partir da ideia teórica da solidariedade, que é estudada desde a sua formação antiga, quando associada à virtude, até à modernidade e a aproximação com a política e o direito, entendida no presente como princípio que sustenta o dever jurídico ligado à gestão racional de bens ambientais voltados à alimentação, delimitados em especial no direito agroambiental, percebendo-se a solidariedade então como fundamento de direitos, valor superior qualificada pela fraternidade, e ao mesmo tempo prevista em documentos internacionais de direitos humanos e em diversas constituições. Os interesses difusos são necessariamente examinados, pois a SAN é um interesse geral da sociedade humana, e implica na preservação dos bens ambientais alimentares, considerados indivisíveis na visão solidária, que deve ser integrada aos valores liberdade e igualdade, tornando-os princípios com interpretação mais humana, limitando seu exercício absoluto e ainda justificando-os. A ideia de solidariedade faz com que seja possível chegar aos direitos partindo do dever agroambiental e, diante das várias correntes teóricas que tratam do dever jurídico, considera-se que seja autônomo em relação ao direito subjetivo, mas traduzindo deveres ligados a finalidades sociais, de interesse público, que se manifestam em ambiente democrático, podendo o dever agroambiental ser considerado fenômeno com raízes de ética pública, com elevados valores ambientais, decisivos em sua dimensão jurídica de obrigações e responsabilidades, de todos em relação a todos, inclusive com normas objetivas nacionais e internacionais de proteção de bens agroambientais. Sustenta-se que nesse sentido a ética pública ligada à ética ambiental pode ser decisiva na observância ao direito, para além do convencimento meramente externo, mas enquanto manifestação também interna, ética, que carrega de sentido o dever jurídico solidário ligado à plurifuncionalidade da SAN. Também são elaboradas críticas à tradicional argumentação acerca dos direitos das gerações futuras, pela imprecisão e incerteza científica que os cinge, afastando-os da possibilidade de figurarem como objeto do direito, para assentar que os direitos de que se falam são precisamente traduzidos como deveres das gerações presentes, sendo estes deveres o vínculo jurídico entre gerações sucessivas. Nesse sentido, a solidariedade intergeracional passa a ter um liame jurídico contínuo, estudado através da teoria dos direitos fundamentais, o que lhe confere como característica a fluidez entre as gerações, e que por isso exige o aproveitamento racional dos recursos ambientais naturais, amparado nos princípios da precaução e informação, na ética da responsabilidade dirigida a todas as gerações, que demanda a incorporação de longo tempo nas ações humanas, que possibilite a ampla educação ambiental, e o desenvolvimento do pensamento altruísta, transtemporal, que considere problemas ambientais transfonteiriços e os bens ambientais naturais finitos, sendo indispensável conscientização da geração presente e de sua classe política para a afirmação da solidariedade. Estuda-se ainda que o dever de gestão racional dos bens ambientais naturais alimentares é dever de solidariedade, pois se considera que cada indivíduo usa uma parcela imaterial e indivisa desse bem coletivo, que pode ser público ou privado, mas que se sujeita à solidariedade. Nesse contexto só prevalece o direito de propriedade, em relação aos seus atributos tradicionais, se o objetivo comum de preservação dos bens ambientais alimentares não fornecer uma justificativa suficiente para impor readequação da atividade, abstenção de conduta, ou mesmo medidas sancionadoras decorrentes de responsabilização objetiva. Finalmente, enquanto contribuição científica, o trabalho apresenta um ensaio para a construção das características do dever de solidariedade agroambiental, quais sejam, o seu objeto e os sujeitos, a sua estrutura, que abrange a natureza das obrigações dele decorrente, e o regime principiológico. A conclusão geral apresentada é que o dever de solidariedade agroambiental, demonstrado sua ocorrência pela plurifuncionalidade da SAN, corresponde à ideia de justiça e moralidade política, fenômeno no qual é percebida intensa conexão entre o direito e a ética ambiental, compreensão relevante para resolução de conflitos que envolvam alimentação humana e a utilização de bens ambientais naturais.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Este trabalho pretende mostrar que a Teoria da Otimidade proporciona novas formas para explicar mudanças de som que não a re-ordenação no ranqueamento deconstraints. Ele examina os aspectos diacrônicos de harmonia nasal na família Mundurukú, tronco Tupi. A comparação entre os sistemas modernos de Mundurukú e Kuruaya salienta que o sistema original, Proto-Mundurukú, tem propriedades semelhantes às atualmente observadas em Kuruaya. Em especial, os alvos do espalhamento de nasalidadeincluiamoclusivas sonoras e soantes, enquanto que as obstruintes surdas eram transparentes. Esse sistema evoluiu para outro em Pré-Munduruku, quando novos contrastes foram introduzidos na língua, transformando obstruintes em segmentos opacos e, portanto, bloqueando a nasalização. A análise, formalizada dentro da Teoria da Otimidade, demonstra que não houve uma re-ordenação dos constraints harmônicos; eles apenas se tornaram mais restritos, como mostra a cronologia relativa que deu origem ao sistema moderno de Mundurukú. Além disso, o estudo discute também as consequências dessa mudança para a gramática sincrônica, e como isso explica as irregularidades do processo.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Pós-graduação em Ciência e Tecnologia de Materiais - FC

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Buscando colocar o tema da participação em questão, este artigo se dedica a uma incursão na teoria democrática, desde seus ideais clássicos até os temas mais atuais da contemporaneidade, de modo a explorar seus significados, observando-se como este mecanismo se relaciona com a idéia de representação.O objetivo é recuperar as relações que conectam a participação à representação na teoria democrática, em contraposição a uma visão predominante de democracia que busca afastá-las, propondo, ao final, uma perspectiva de participação que se apresente, não como estratégia de substituição da democracia representativa, mas como complemento a ela, no sentido do seu aperfeiçoamento.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Neste ensaio, pretende-se analisar a concepção de Adorno acerca da relação entre teoria e prática com o intuito de explicitar o significado da autonomia da teoria e do intelectual, por ele postulada. Será demonstrado que tal formulação está voltada contra o ativismo dos movimentos estudantis europeus dos anos 60, contra a noção de engajamento e as diretrizes gerais da política cultural comunista, além de se opor à teoria do realismo crítico formulada por Lukács. A autonomia da teoria, como se verá, está ligada à defesa da autonomia estética e as relações existentes entre sujeito-objeto na atividade cognitiva.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

A ideologia da cultura no Brasil, abordada do ponto de vista de uma cultura mais e mais administrada e burocratizada. Os problemas decorrentes da falta de integração cultural do país — integração esta obstaculizada a nível da ideologia — e a necessidade de se formular uma teoria que dê conta dos mecanismos ideológicos engendrados nesse processo, e que atuem a nível do cotidiano, destruindo as possibilidades integradoras do processo cultural.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Uma leitura atenta da ficção de Graciliano Ramos pode revelar uma forma aguda de refletir o mundo através de uma reflexão anterior sobre a própria linguagem da literatura e da sociedade. É uma leitura desse teor que se pretende mostrar, apoiada na conhecida teoria das funções da linguagem de Jakobson. Num jogo constante entre as funções fática e metalingüística, Graciliano Ramos demonstra visível consciência dos problemas de linguagem, cujo tratamento moderno aponta uma postura bastante crítica (via linguagem) perante o homem e a vida. An attentive of Graciliano Ramos’ fiction reveals a deep form of reflection on the world thorough a previous reflection on the very language of literature and society. Such a reading is here attempted based on Jakobson’s well known theory of language functions. In a constante play between the fatic and the metalinguistic function, Graciliano Ramos demonstrates a clear awareness of the problems of language, whose modern treatment points at a very critical poise (via language) before man and life.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Pós-graduação em Matematica Aplicada e Computacional - FCT