Submitted by Eduarda Figueiredo (eduarda.ffigueiredo@ufpe.br) on 2015-03-06T15:05:20Z No. of bitstreams: 2 teseTCAgilson2012digital.pdf: 1787853 bytes, checksum: 4942f4072dad835d860eb3e2ccfdcecf (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-06T15:05:20Z (GMT). No. of bitstreams: 2 teseTCAgilson2012digital.pdf: 1787853 bytes, checksum: 4942f4072dad835d860eb3e2ccfdcecf (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2012-04-27 / Encontrar a forma mais e ciente de resolver um problema aritmético e desenvolver algoritmos cada vez melhores é uma grande preocupação dos cientistas, matemáticos e engenheiros projetistas. Economizar operações aritméticas signi ca diminuir o tamanho do hardware, reduzir o consumo de energia e baixar custos de produção. Um algoritmo otimizado minimiza essas três variáveis destacadas. Nesta tese é introduzida a teoria para se obter algoritmos otimizados para qualquer transformada linear. Uma aplicação direta dessa teoria resulta na construção da transformada rápida de Fourier otimizada, a qual atinge o número mínimo possível de multiplicações, sendo mais e ciente do que qualquer algoritmo conhecido na literatura, para computar a transformada discreta de Fourier.

Made available in DSpace on 2014-06-12T23:13:55Z (GMT). No. of bitstreams: 2 arquivo4165_1.pdf: 1044747 bytes, checksum: d2f89237cdf22aa158eb8b215c4a1800 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2008 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Pesquisa de mestrado que tem como objetivo investigar a capacidade de resposta dos hospitais de alta complexidade cardiovascular, na cidade do Recife-PE, quanto às diretrizes da Política Nacional de Alta Complexidade Cardiovascular no ano de 2007. Trata-se de uma pesquisa exploratória porque aborda um problema específico que foi pouco estudado pela literatura corrente, necessitando de estudos iniciais para estruturar o conhecimento. A coleta de dados compreendeu o uso de entrevistas semi-estruturadas dirigidas a 21 profissionais distribuídos nas respectivas instituições. Utilizou-se uma abordagem qualitativa, analisando os dados de forma interpretativa. Entre outros resultados, há evidência de problemas relacionados à escassez de recursos humanos e de falta de regulação dos serviços de alta complexidade cardiovascular, os quais constituem barreiras e obstáculos para a implementação desta política. Pode-se afirmar, assim, que os hospitais da cidade do Recife não conseguiram responder de forma satisfatória aos critérios estabelecidos pela Portaria nº. 1.169/GM

Orientadora: Mariana Claudia Broens / Banca: Max Rogério Vicentini / Banca: Maria Eunice Quilici González / Resumo: Nesta dissertação de mestrado trataremos de como uma perspectiva sistêmica e interdisciplinar da filosofia poderia nos auxiliar a investigar diversos problemas éticos contemporâneos, cujas soluções por éticas dogmáticas ou relativistas têm se mostrado insatisfatórias. A fim de que possamos pensar a filosofia e a ética de uma perspectiva sistêmica, tentaremos mostrar como a filosofia e a ética de Wittgenstein já prenunciam em muitos aspectos o pensamento sistêmico, e como este último vai além da filosofia wittgensteiniana, permitindo que a filosofia trate de questões inéditas, para as quais nossos conceitos se mostram inapropriados ou insuficientes. / Abstract: In this dissertation we will deal on how a systemic and interdisciplinary perspective of philosophy could help us investigate many contemporary ethical problems, whose solutions by dogmatic or relativistic ethics have shown to be unsatisfactory. In order to think philosophy and ethics from a systemic perspective, we will try to show how Wittgenstein's philosophy and ethics already foreshadow, in many aspects, a systemic thought, and how this last one goes beyond Wittgensteinian philosophy, allowing philosophy to handle unprecedented questions, to which our concepts are inappropriate or insufficient. / Mestre

Made available in DSpace on 2016-08-29T11:03:40Z (GMT). No. of bitstreams: 1 tese_6100_Lilian_Pereira_Menenguci.pdf: 3270181 bytes, checksum: ad7edd25500d733a26672dada5eaeee2 (MD5) Previous issue date: 2012-05-11 / Trata-se de uma pesquisa que aposta na religação de saberes e fazeres como possibilidade de ampliar e fortalecer a rede inclusiva entre as áreas de Educação, Cultura e Saúde. Compreende, nesse aspecto, que a Arte se apresenta como uma proposição conectora na tessitura do movimento que entrelaça cada um desses campos de atuação e de produção de conhecimento. Objetiva garantir a inclusão como garantia de direitos para além do chão e dos muros da escola comum. Elege como arcabouço teórico as contribuições de Gregory Bateson e de Edgar Morin, respectivamente. Caracteriza-se como uma pesquisa-ação de complexidade sistêmica, cuja metodologia se tece na processualidade do próprio estudo. Os sujeitos participantes da pesquisa são, ao mesmo tempo, autores e atores desta investida teórica e metodológica: assistente administrativo, assistente social, atores e atrizes, bacharel em filosofia, fisioterapeuta, gestor cultural, instrutores de teatro, instrutores de dança, intérprete de Libras, pedagoga, pessoas com deficiência, pessoas surdas, professora de Arte, entre outros. Os dados foram produzidos e capturados na circularidade da pesquisa. Desse movimento, vivido no cenário de uma Escola de Arte de natureza pública e municipal na cidade de Vitória, além da instituição de um grupo transdisciplinar para a discussão e proposição de políticas e práticas inclusivas tecidas em rede, da realização de uma oficina de teatro para pessoas surdas, resultou também a realização da Mostra Cultura e Diversidade, envolvendo diretamente 180 protagonistas. Este projeto assume a incerteza como mote propulsor. Essa última retroalimenta não só a curiosidade epistemológica de seus participantes como provoca mudanças nos sistemas aprendentes por eles representados inaugurando políticas e práticas inclusivas transdisciplinares.

Made available in DSpace on 2016-08-29T11:11:33Z (GMT). No. of bitstreams: 1 tese_4532_Sebastiao_Ferreira.pdf: 2844564 bytes, checksum: 24d1f3c65f1dbb125ed9c6966fbdcffe (MD5) Previous issue date: 2010-06-02 / Este trabalho, que buscou compreender o fenômeno socioambiental a Educação Ambiental desenvolvida pela Escola Família Agrícola de Jaguaré, Jaguaré-ES, teve como objetivo pesquisar a articulação da Educação Ambiental com a Educação do Campo na produção de novas racionalidades. As experiências socioambientais e os espaços-tempos pedagógicos com práticas comunitárias ambientais constituem uma comunidade aprendente, num movimento de pertencimento nos saberes e fazeres. Trata-se de uma pesquisa qualitativa, com influência fenomenológica e hermenêutica, que procura compreender e interpretar os fenômenos que se mostram por si mesmos nas experiências relatadas e vivenciadas apoiando-se na complexidade e na transdisciplinaridade. Os dados pesquisados foram produzidos a partir de roteiros de entrevistas semiestruturadas com monitor/as, estudantes e famílias camponesas, com registros de fotografias e gravação de áudio; e de vivência no ambiente comunitário, com registro de fotografias e diário de campo. A partir da compreensão e interpretação da realidade pesquisada, percebe que a escola realiza um trabalho de formação dos/com os/as estudantes e suas famílias, seguindo seu plano de formação com toda orientação voltada à agroecologia. Dentro da realidade socioambiental familiar e comunitária, as mudanças se manifestam de forma tímida, os/as estudantes e suas famílias têm compreensão dos problemas que a racionalidade imediatista e economicista provoca ao meio ambiente, bem como suas consequências socioambientais. Constata ainda que a visão urbanocêntrica, fruto do paradigma hegemônico da ciência moderna, paira nesses espaços e interfere nas organizações sociais familiares e comunitárias; ao mesmo tempo, percebe a necessidade de assumir a formação, reconhecer a experiência e romper com o paradigma hegemônico da ciência moderna.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Comunicação e Expressão, Programa de Pós-Graduação em Jornalismo, Florianópolis, 2013 / Made available in DSpace on 2013-12-05T22:53:29Z (GMT). No. of bitstreams: 1 320314.pdf: 906856 bytes, checksum: ec993438cfcb3d09eaa600c3bda452da (MD5) Previous issue date: 2013 / O trabalho estabelece conexões entre a epistemologia da complexidade e o jornalismo, entendido aqui como forma social de conhecimento que, enquanto campo de estudo e prática social, estruturou-se sob as diretrizes do paradigma positivista-cartesiano. A noção de pensamento complexo, desenvolvida na obra de Edgar Morin, aponta a necessidade de superação do pensamento simplificador para a construção dos conhecimentos no mundo atual. Tal superação implicaria a religação dos saberes e o reconhecimento da interdependência existente entre os fenômenos. Essa perspectiva teórica é congruente com a proposta de Adelmo Genro Filho, para quem as categorias singular, particular e universal coexistem nos fatos jornalísticos, em relação dialética. A aproximação dos pensamentos dos dois autores busca indicar caminhos para compreender o fenômeno jornalístico na perspectiva da complexidade <br> / Abstract: This research establishes connections between epistemology of complexity and journalism, here taken as a social kind of knowledge which has been structured guided by positivist-cartesian paradigm. The notion of complex thinking, developed at Edgar Morin?s work, indicates the necessity of overcoming the simplifier thinking to build knowledge in the current world. That overcoming would involve the reconnection of different kinds of knowledge and the assumption of the existing interdependence between phenomenon. Such theoretical perspective is congruent with Adelmo Genro Filho?s proposal, which sustains that cathegories singular, particular and universal coexist dialectically in journalistic facts. The approach of both author?s thoughts intends to indicate possibilities to understanding the journalistic phenomenon under the perspective of complexity.

ROCHA, T. A. Complexidade descritiva de classes de complexidade probabilísticas de tempo polinomial e das classes ⊕P e NP∩coNP através de lógicas com quantificadores de segunda ordem. 2014. 81 f. Dissertação (Mestrado em Ciência da Computação) - Centro de Ciências, Universidade Federal do Ceará, Fortaleza, 2014. / Submitted by Daniel Eduardo Alencar da Silva (dealencar.silva@gmail.com) on 2015-01-23T20:35:59Z No. of bitstreams: 1 2014_dis_tarocha.pdf: 600184 bytes, checksum: 8e317715dd15118a1061361a5251f08e (MD5) / Approved for entry into archive by Rocilda Sales(rocilda@ufc.br) on 2015-02-09T15:45:32Z (GMT) No. of bitstreams: 1 2014_dis_tarocha.pdf: 600184 bytes, checksum: 8e317715dd15118a1061361a5251f08e (MD5) / Made available in DSpace on 2015-02-09T15:45:32Z (GMT). No. of bitstreams: 1 2014_dis_tarocha.pdf: 600184 bytes, checksum: 8e317715dd15118a1061361a5251f08e (MD5) Previous issue date: 2014 / Many computable problems can be solved more efficiently or in a more natural way through probabilistic algorithms, which shows that the use of such algorithms is quite relevant in Computer Science. However, probabilistic algorithms may return a wrong answer with a certain probability. Also, the use of probabilistic algorithms does not solve problems that are not computable. In Computational Complexity, the complexity of a problem is characterized based on the amount of computational resources, such as space and time, needed to solve it. Problems that have the same complexity compose the same class. The computational complexity classes are related by a hierarchy. In Descriptive Complexity, a logic is used to express problems and capture computational complexity classes in order to express all and only the problems of this class. Thus, the complexity of a problem does not depend on physical factors, such as time and space, but only on the expressiveness of the logic that defines it. Important results of the area states that several classes of computational complexity can be characterized by a logic. For example, the class NP has been shown equivalent to the class of problems expressed by the existential fragment of Second-Order Logic. This close relationship between these areas allows some results about Logics to be transferred to Computational Complexity and vice versa. Despite of the importance of probabilistic algorithms and of Descriptive Complexity, there are few results on the characterization, by a logic, of probabilistic computational complexity classes. In this work, we show characterizations for each of the polinomial time probabilistic complexity classes. In our results, we use second-order generalized quantifiers to simulate the acceptance of the nondeterministic machines of these classes. We found Logical characterizations in the literature only for classes PP and BPP. In the first case, the logic employed was the first-order added by a quantifier most of second-order. With the approach established in this work, we obtain an alternative proof for the characterization of PP. With the same methodology, we also characterize the class ⊕P through a logic with a second-order parity quantifier. In the case of BPP , there was a result that used a logic with probabilistic semantics. Using our approach of generalized quantifiers, we obtain an alternative characterization for this class. With the same method, we were able to characterize the probabilistic semantic classes RP, coRP, ZPP and the semantic class NP ∩ coNP. Finally, we show an application of Descriptive Complexity results in the creation of algorithms from a logic specification. / Vários problemas computáveis podem ser resolvidos de maneira mais eficiente ou mais natural através de algoritmos probabilísticos, o que mostra que o uso de tais algoritmos é bastante relevante em computação. Entretanto, os algoritmos probabilísticos podem retornar uma resposta errada com uma certa probabilidade. Observe, ainda que o uso de algoritmos probabilísticos não resolve problemas não computáveis. A Complexidade Computacional caracteriza a complexidade de um problema a partir da quantidade de recursos computacionais, como espaço e tempo, para resolvê-lo. Problemas que tem a mesma complexidade compõem uma classe. As classes de complexidade computacional são relacionadas através de uma hierarquia. A Complexidade Descritiva usa lógicas para expressar os problemas e capturar classes de complexidade computacional no sentido de expressar todos, e apenas, os problemas desta classe. Dessa forma, a complexidade de um problema não depende de fatores físicos, como tempo e espaço, mas apenas da expressividade da lógica que o define. Resultados importantes da área mostraram que várias classes de complexidade computacional podem ser caracterizadas por lógicas. Por exemplo, a classe NP foi mostrada equivalente à classe dos problemas expressos pelo fragmento existencial da Lógica de Segunda Ordem. Este estreito relacionamento entre tais áreas permite que alguns resultados da área de Lógica sejam transferidos para a de Complexidade Computacional e vice-versa. Apesar da importância de algoritmos probabilísticos e da Complexidade Descritiva, existem poucos resultados de caracterização, por lógicas, das classes de complexidade computacional probabilísticas. Neste trabalho, buscamos mostrar caracterizações para cada uma das classes de complexidade probabilísticas de tempo polinomial. Nos nossos resultados, utilizamos quantificadores generalizados de segunda ordem para simular a aceitação das máquinas não-determinísticas dessas classes. Achamos caracterizações lógicas na literatura apenas para as classes PP e BPP. No primeiro caso, a lógica utilizada era a de primeira ordem adicionada de um quantificador maioria de segunda ordem. Com a abordagem criada neste trabalho, conseguimos obter uma prova alternativa para a caracterização de PP. Com essa mesma metodologia, também conseguimos caracterizar a classe ⊕P através de uma lógica com um quantificador de paridade. No caso de BPP, existia um resultado que utilizava uma lógica com semântica probabilística. Usando nossa abordagem de quantificadores generalizados, conseguimos obter uma caracterização alternativa para essa classe. Com o mesmo método, conseguimos caracterizar as classes probabilísticas semânticas RP, coRP, ZPP e a classe semântica NP∩coNP. Por fim, mostramos uma aplicação dos resultados de Complexidade Descritiva na criação de algoritmos através de uma especificação lógica.

A Estatística é uma ferramenta indispensável em todos os campos científicos. A Estatística descritiva é usada para sintetizar dados. O principal problema desta área está relacionado aos valores de uma amostra, os quais geralmente possuem erros que ocorrem durante a obtenção dos dados. Um dos objetivos deste trabalho é apresentar uma forma de representação para os valores amostrais que considera os erros contidos nestes valores. Esta representação é realizada através de intervalos. A literatura mostra que foram realizadas pesquisas somente em problemas de calcular os valores intervalares das medidas de dispersão variância, covariância e coeficiente de correlação, que a utilização da computação intervalar na solução de problemas de medidas de dispersão intervalar sempre fornece solução com intervalos superestimados (intervalos com amplitude grande), e que ao procurar uma solução com intervalos de amplitude pequena (através da computação da imagem intervalar), o problema passa a pertencer a classe de problemas NP-Difícil. Com o objetivo principal de analisar a complexidade computacional dos problemas de computar os valores dos indicadores estatísticos descritivos com entradas intervalares, e realizar uma classificação quanto a classe de complexidade, a presente tese apresenta: i) definições intervalares de medidas de tendência central, medidas de dispersão e separatrizes; ii) investigação da complexidade de problemas das medidas de tendência central média, mediana e moda, das medidas de dispersão amplitude, variância, desvio padrão, coeficiente de variação, covariância, coeficiente de correlação e das separatrizes e iii) representação intervalar dos valores reais, de tal modo que garante a qualidade de aproximação nos intervalos solução calculado através da extensão intervalar Primeiramente, apresentamos uma abordagem intervalar para os indicadores estatísticos e propomos algoritmos para a solução dos problemas de computar os intervalos de medidas de tendência central intervalar, dispersão intervalar e separatrizes intervalares. Tais algoritmos utilizam a aritmética intervalar definida por Moore, a extensão intervalar e foram projetados para serem executados em ambientes intervalares como IntLab e Maple Intervalar. Por meio da análise da complexidade computacional verificamos que os problemas de medidas de tendência central, dispersão e separatrizes, com entradas intervalares, pertencem à classe de problemas P. Este trabalho apresenta, portanto, algoritmos de tempo polinomial que calculam os intervalos dos indicadores estatísticos com entradas intervalares, e que retornam como solução intervalos com qualidade de aproximação. Os resultados obtidos no desenvolvimento do trabalho tornaram viável a computação da Estatística Descritiva Intervalar.

A análise de um algoritmo tem por finalidade melhorar, quando possível, seu desempenho e dar condições de poder optar pelo melhor, dentre os algoritmos existentes, para resolver o mesmo problema. O cálculo da complexidade de algoritmos é muito dependente da classe dos algoritmos analisados. O cálculo depende da função tamanho e das operações fundamentais. Alguns aspectos do cálculo da complexidade, entretanto, não dependem do tipo de problema que o algoritmo resolve, mas somente das estruturas que o compõem, podendo, desta maneira, ser generalizados. Com base neste princípio, surgiu um método para o cálculo da complexidade de algoritmos no pior caso. Neste método foi definido que cada estrutura algorítmica possui uma equação de complexidade associada. Esse método propiciou a análise automática da complexidade de algoritmos. A análise automática de algoritmos tem como principal objetivo tornar o processo de cálculo da complexidade mais acessível. A união da metodologia para o pior caso, associada com a idéia da análise automática de programas, serviu de motivação para o desenvolvimento do protótipo de sistema ANAC, que é uma ferramenta para análise automática da complexidade de algoritmos não recursivos. O objetivo deste trabalho é implementar esta metodologia de cálculo de complexidade de algoritmos no pior caso, com a utilização de técnicas de construção de compiladores para que este sistema possa analisar algoritmos gerando como resultado final a complexidade do algoritmo dada em ordens assintóticas.

ARAUJO, Samuel Nascimento de. Número de dominação romana em grafos. 2016. 51 f. Dissertação (Mestrado em Ciência da Computação)-Universidade Federal do Ceará, Fortaleza, 2016. / Submitted by Anderson Silva Pereira (anderson.pereiraaa@gmail.com) on 2017-01-25T17:42:43Z No. of bitstreams: 1 2016_dis_snaraújo.pdf: 1382335 bytes, checksum: fd12ba0538ea370f6fd3606ec0b79031 (MD5) / Approved for entry into archive by Jairo Viana (jairo@ufc.br) on 2017-01-26T20:23:42Z (GMT) No. of bitstreams: 1 2016_dis_snaraújo.pdf: 1382335 bytes, checksum: fd12ba0538ea370f6fd3606ec0b79031 (MD5) / Made available in DSpace on 2017-01-26T20:23:42Z (GMT). No. of bitstreams: 1 2016_dis_snaraújo.pdf: 1382335 bytes, checksum: fd12ba0538ea370f6fd3606ec0b79031 (MD5) Previous issue date: 2016 / In a Roman domination of a graph, vertices are assigned a value from {0,1,2} in such a way that every vertex assigned the value 0 is adjacent to a vertex assigned the value 2. The Roman domination number is the minimum possible sum of all values in such an assignment. In this dissertation, we show the history of the problem and prove that the Roman domination number is NP-Complete even for induced subgraphs of grids and it is APX-hard even for bipartite graphs with maximum degree 4. We also prove that the Roman domination number is fixed parameter tractable for graphs with bounded local treewidth, as graphs with bounded maximum degree or bounded genus (like planar graphs or toroidal graphs). We also obtain complexity results when we consider digraphs as an input for the problem such as bipartite tournaments and planar digraphs. / No problema de dominação romana de um grafo, os vértices são atribuídos um valor de {0,1,2}, de tal maneira que cada vértice atribuído o valor 0 é adjacente a um vértice que foi atribuído o valor 2. O número de dominação romana é a menor soma possível de todos os valores dos vértices em tal atribuição. Nesta dissertação apresentamos a história do problema, e provamos que o número dominação romana é NP-Completo mesmo para subgrafos induzidos de grids e é APX-difícil mesmo para grafos bipartidos com o grau máximo 4. Nós também provamos que o número de dominação romana é tratável por parâmetro fixo para grafos com treewidth local limitada, como grafos com grau máximo limitado ou genus limitado (como por exemplo grafos planares). Nós também obtivemos resultados de complexidade quando consideramos digrafos como entrada para o problema, tais como torneios bipartidos e digrafos planares.