• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 882
  • 25
  • 8
  • 7
  • 7
  • 7
  • 7
  • 4
  • 3
  • 3
  • 3
  • 3
  • 2
  • 1
  • 1
  • Tagged with
  • 926
  • 581
  • 235
  • 234
  • 145
  • 128
  • 106
  • 100
  • 99
  • 96
  • 93
  • 92
  • 89
  • 84
  • 77
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
71

O "regular" da escola regular : desafios na/da construção de uma escola para todos

Santos, Maria Terezinha da Consolação Teixeira dos 01 August 2018 (has links)
Orientador : Maria Teresa Egler Mantoan / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Educação / Made available in DSpace on 2018-08-01T13:48:05Z (GMT). No. of bitstreams: 1 Santos_MariaTerezinhadaConsolacaoTeixeirados_D.pdf: 53227501 bytes, checksum: d59ba1df8f2633f001a45063430079c3 (MD5) Previous issue date: 2002 / Doutorado
72

Um algoritmo para comparação sintatica de genomas baseado na complexidade condicional de Kolmogorov

Pinto, Marcelo Cezar 03 December 2002 (has links)
Orientador : João Meidanis / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-01T14:19:36Z (GMT). No. of bitstreams: 1 Pinto_MarceloCezar_M.pdf: 1999848 bytes, checksum: 7799783942d9c23c9162fd09dd7f0591 (MD5) Previous issue date: 2002 / Resumo: Desde 1953, quando Natson e Crick desvendaram a estrutura do DNA (ácido desoxirribonucleico), a área de Biologia Molecular tem avançado rapidamente. Técnicas que permitem a manipulação de biomoléculas foram criadas e aperfeiçoadas desde então, gerando enormes quantidades de dados. A necessidade de processar estas informações criou um novo campo chamado de Biologia Molecular Computacional, o qual consiste em desenvolver e usar técnicas matemáticas e de computação para ajudar a resolver problemas de Biologia Molecular. Existem problemas desta área relacionados a Comparação de Genomas, que consiste, a grosso modo, em analisar e comparar seqüências de ácidos nucléicos ou aminoácidos entre espécies. A comparação de genomas busca desvendar as relações existentes entre diferentes espécies. A descoberta de genes ou porções semelhantes nos genomas pode indicar proximidade evolutiva ou regiões indispensáveis à existência da vida. Por outro lado, as diferenças podem relacionar o comportamento particular de uma espécie com uma determinada região de seu genoma. Diante destas observações, iniciamos o desenvolvimento de um algoritmo que realiza a comparação sintática de genomas baseado nos trabalhos de Li e colegas, que utilizam a Complexidade de Kolmogorov para medir a distância entre dois genomas. Ao invés de uma medida de distância, o algoritmo proposto indica as regiões similares entre genomas que são consideradas relevantes pelo critério da Complexidade Condicional de Kolmogorov / Abstract: Since 1953, when Watson and Crick discovered the DNA (deoxiribonucleic acid) structure, Molecular Biology has advanced quickly. Techniques were developed and improved to manipulate biomolecules since that, generating huge quantities of data. The need to process this information created a new field called Computational Molecular Biology, which consists in the development and usage of mathematical and computing techniques to solve Molecular Biology problems. There are problems in that are a related to Genome Comparison, which consists, roughly speaking, in analysis and comparison of nucleic acid or aminoacid sequences between species. Genome Comparison tries to reveal existing relationships between species. The discovery of similar genes or pieces in genomes can point out evolutionary proximity or indispensable regions for life existence. Besides, differences can relate the unique behavior of a species with some of its genome regions. Based on these observations, we start the development of an algorithm that makes sintatic genome comparison using some ideas of Li and colleagues. They work with Kolmogorov Complexity to measure the distance between two genomes. Instead of a distance measure, the proposed algorithm shows similar regions that are considered relevant by the Conditional Kolmogorov Complexity criteria / Mestrado / Mestre em Ciência da Computação
73

A visão sistêmica e sua contribuição ao estudo do espaço pecuário de Venturosa e Pedra no agreste de Pernambuco

AMADOR, Maria Betânia Moreira 31 January 2008 (has links)
Made available in DSpace on 2014-06-12T18:02:08Z (GMT). No. of bitstreams: 4 arquivo3570_1.pdf: 7226818 bytes, checksum: 51a31dd82ad30882bedcf8b4141ecbda (MD5) arquivo3570_2.pdf: 3610935 bytes, checksum: 0b3b9b792d7e7b7b2afa6618e583c434 (MD5) arquivo3570_3.pdf: 6196612 bytes, checksum: d4f2cb64981c07b8b704136970dbe48b (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2008 / Esta tese versa sobre a perspectiva sistêmica no âmbito de uma Geografia una e complexa se atendo ao estudo do espaço pecuário leiteiro nos municípios de Venturosa e Pedra no Agreste de Pernambuco. Evidencia-se o sistemismo pelo fato de se ter recorrido à aplicação da metodologia morfodinâmica proposta por Jean Tricart em sua obra Ecodinâmica para a obtenção de parâmetros no âmbito da Geografia Física. Associou-se ainda a metodologia agroecológica difundida, em especial, na obra de Miguel Altieri quanto à obtenção de dados no contexto da Geografia Humana tentando-se realizar um estudo integrado entre essas duas dimensões, tendo-se como pano de fundo o cenário agrário. Julgou-se possível unir essas metodologias, que comungam um mesmo corpo teórico ancestral e presente. A teoria sistêmica ancorada na teoria complexa fornece oportunidade para a apreensão do grau de sustentabilidade, respeitada a escala, conceito fundamental tanto no bojo da ciência, quanto na vida cotidiana, portanto condizente com as preocupações geográficas. Para a concretização deste objetivo, além de se perpassar a literatura pertinente, buscando-se respaldar as reflexões em autores clássicos nas várias vertentes da ciência geográfica e, em importantes pensadores dispersos em áreas afins, de cunho inter e transdisciplinar, procedeu-se levantamentos de campo nas propriedades seguindo, em conjunto, orientações nas linhas morfodinâmica e agroecológica. O procedimento metodológico exigiu a demarcação e análise detalhada de cada célula da área de estudo de acordo com os parâmetros: Estrutura Superficial da Paisagem, Uso da Terra, Vegetação e Processos Superficiais da Paisagem, passíveis de observação e classificação qualitativa direta em campo, tomando-se por base áreas-pilotos de um hectare e células de 100 m². Os dados obtidos da observação direta de cada célula foram tentativamente parametrizados em uma escala de estabilidade/instabilidade morfodinâmica variando de 0 a 4. Os valores obtidos foram inseridos numa planilha Excel e processados pelo Programa Surfer 8.0, obtendo-se cartogramas para cada nível categórico evidenciando uma síntese para a confrontação com o Mapa de uso da terra com indicação da dinâmica geomorfológica, de detalhe, da área de estudo, arte-finalizado no Programa Corel 12 a partir de um croqui detalhado construído mediante observação dos atributos morfológicos e morfométricos do terreno diretamente em campo em escala de 1:100. Perante a necessidade de verticalização do estudo, coletou-se amostras de solo para análise em laboratório especializado em fertilidade do solo. Os resultados geraram uma base de dados espacializados a partir da qual se pôde aferir o nível da sustentabilidade agroecológica na área trabalhada em determinada escala espacial e temporal. Esses resultados puderam ser aplicados à análise do conjunto agricultura/pecuária como agentes da morfodinâmica, cuja ênfase presente nesse enfoque é o resgate da análise física do meio a partir da inserção dos componentes agroecológicos como proposto por Tricart. Entende-se que os resultados obtidos proporcionam uma visão sistêmica do espaço pecuário analisado traduzindo-se em cartogramas de isovalores de estabilidade ambiental dos níveis categóricos e, através de biogramas de sustentabilidade apresentados ao nível de propriedades. Ao final do trabalho, como ação futura de gestão do território, sugere-se o redesenho dos agroecossistemas analisados, observando-se princípios agroecológicos
74

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 / Descriptive complexity of polynomial time probabilistic complexity classes and classes ⊕P and NP∩coNP through second order generalized quantifiers

Rocha, Thiago Alves January 2014 (has links)
ROCHA, Thiago Alves. 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)- Universidade Federal do Ceará, Fortaleza-CE, 2014. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-07-12T18:02:32Z 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 2016-07-22T12:36:28Z (GMT) No. of bitstreams: 1 2014_dis_tarocha.pdf: 600184 bytes, checksum: 8e317715dd15118a1061361a5251f08e (MD5) / Made available in DSpace on 2016-07-22T12:36:28Z (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.
75

Reinventar a universidade: um ensaio sobre o Grupo de Estudos da Complexidade (GRECOM/UFRN)

Reis, M?nica Karina Santos 15 February 2018 (has links)
Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2018-03-21T11:09:24Z No. of bitstreams: 1 MonicaKarinaSantosReis_TESE.pdf: 16908095 bytes, checksum: cd29896754619f2f54f7f444536182cb (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2018-03-22T15:12:12Z (GMT) No. of bitstreams: 1 MonicaKarinaSantosReis_TESE.pdf: 16908095 bytes, checksum: cd29896754619f2f54f7f444536182cb (MD5) / Made available in DSpace on 2018-03-22T15:12:13Z (GMT). No. of bitstreams: 1 MonicaKarinaSantosReis_TESE.pdf: 16908095 bytes, checksum: cd29896754619f2f54f7f444536182cb (MD5) Previous issue date: 2018-02-15 / Esta tese tem como prop?sito expor fragmentos da hist?ria de uma experi?ncia de reforma do pensamento constru?da, ao longo de 25 anos, na Universidade Federal do Rio Grande do Norte (UFRN). O conjunto de atividades desenvolvidas pelo Grupo de Estudos da Complexidade (GRECOM) no ?mbito do ensino, pesquisa e extens?o demonstram que ? poss?vel empreender uma reforma da universidade como sugere Edgar Morin. A atua??o desta base de pesquisa acad?mica amplia a concep??o de complexidade no que se refere ? religa??o das culturas cient?ficas e human?sticas. Ao construir uma hist?ria de pesquisa que ? anterior ao surgimento do pr?prio grupo, Maria da Concei??o de Almeida, coordenadora do GRECOM, apoiada e alimentada por um grupo de pesquisadores que foi se revezando com o passar dos tempos, extrapola as fronteiras da ci?ncia e reconhece a necessidade de se estabelecer o di?logo entre saberes distintos e complementares. Religar conhecimentos cient?ficos e conhecimentos da tradi??o, compartilhar o produto das pesquisas em espa?os de forma??o para professores e consolidar interc?mbios nacionais e internacionais importantes, fazem desse espa?o acad?mico um n?cleo de estudos de complexidade reconhecido nos ?mbitos local, nacional e internacional. A tese foi constru?da tendo por refer?ncia pensadores que se afinam com as ci?ncias da complexidade e t?m sobretudo em Edgar Morin uma refer?ncia matricial. Tamb?m com cientistas e fil?sofos, como Claude L?vi-Strauss, Isabelle Stengers, Nuccio Ordine, Wilhelm von Humboldt, Gerhard Casper, que defendem, de uma forma lata, um conhecimento aberto e complexo a respeito da educa??o, da ci?ncia e da ?tica acad?mica da pesquisa. Utilizo como refer?ncia emp?rica o acervo documental dispon?vel no GRECOM, composto por: relat?rios de pesquisa, projetos, livros, cat?logos, monografias, disserta??es, teses, fotografias, cartazes, banners, convites e demais registros das atividades desenvolvidas. Defendo aqui o argumento de que o GRECOM se constitui no casulo de um ide?rio de educa??o e ci?ncia que extrapola o esperado de um grupo multidisciplinar de produ??o do conhecimento, porque atua nos espa?os do ensino, da pesquisa e da extens?o, mas, sobretudo, por expor novas estrat?gias de m?todo complexo, originalidade das reflex?es, criatividade na produ??o de conhecimento e o fim das fronteiras entre teoria e pr?tica, filosofia e ci?ncia, ?tica profissional e atitudes de vida. Dessa perspectiva, recorro ? no??o de modelo reduzido de Claude L?vi-Strauss, utilizada aqui como um operador para narrar a hist?ria do GRECOM e afirmar que o GRECOM se constitui numa miniuniversidade dentro da estrutura maior da Universidade Federal do Rio Grande do Norte e das institui??es de ensino superior brasileiras. / The present dissertation aims at presenting fragments from the history of a thought reform experience built throughout 25 years in the Federal University of Rio Grande do Norte. The set of activities carried out by GRECOM ? Grupo de Estudos da Complexidade within the teaching, research and extension scopes shows that it is possible to enact a university reform as proposed by Edgar Morin. The accomplishments of this academic research base widens the conception of complexity in regards to the reconnection between the scientific and humanistic cultures. Putting together a research history which precedes the birth of the research group itself, GRECOM?s coordinator Maria da Concei??o de Almeida, along with and supported by a group of different researchers, extrapolates science?s frontiers and recognizes the need for establishing a dialog between distinct and complementary knowledge. By reconnecting scientific and traditional knowledge, sharing the product of its research making it available for teachers? development environments and consolidating national and international interchanges, this academic base has come to be recognized as a nucleus for the study of complexity not only locally, but also nationally and internationally. The thesis has been built based on thinkers who are in line with the science of complexity and it has, above all, Edgar Morin as the core foundation. It also encompasses the works of scientists and philosophers such as Claude L?vi-Strauss, Isabelle Stengers, Nuccio Ordine, Wilhelm Von Humboldt and Gerhard Casper, who broadly advocate open and complex knowledge when it comes to education, science and the academic ethics of research. As empirical evidence I used the group?s documental collection, which is composed of research reports, projects, books, catalogues, monographs, dissertations, theses, pictures, posters, banners, invitations and further entries of developed activities. I argue that GRECOM consists of a pod of educational and scientific principles which extrapolates what is expected from a knowledge-producing multidisciplinary group, since it not only functions in the teaching, research and extension scopes, but above all because it proposes complex method new strategies, originality in its reasoning, creativity in the production of knowledge and the end of frontiers between theory and practice, philosophy and science, professional ethics and living. From the perspective above I resort to Claude L?vi Strauss?s notion of reduced model, using it as a metaphor to narrate GRECOM?s story, thus claiming that GRECOM is, in itself, a mini-university within Universidade Federal do Rio Grande do Norte?s larger structure and Brazilian higher education institutions.
76

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 / Descriptive Complexity of Polynomial Time Probabilistic Complexity Classes and Classes ⊕P and NP∩coNP Through Second Order Generalized Quantifiers

Thiago Alves Rocha 24 February 2014 (has links)
CoordenaÃÃo de AperfeiÃoamento de Pessoal de NÃvel Superior / 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. / 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.
77

A complexidade da moda: influência dos principais designers belgas e japoneses / The complexity of fashion: the influence of the most important japanese and belgians designers in contemporary fashion.

Santos, Antonio Carlos Rodrigues dos 27 September 2017 (has links)
Esta pesquisa caracteriza-se pelo estudo dos principais designers de moda pertencentes à frente japonesa e belga na década de 1980, tais como: Rei Kawakubo, Yohji Yamamoto, Issey Miyake e Martin Margiela a partir da Teoria da Complexidade, do pensador francês Edgar Morin. Tem como objetivo investigar a hipótese de que o trabalho de tais designers se estabeleceu de maneira complexa como uma força de ruptura ao questionar e subverter a moda então vigente e, sobretudo, influenciar os rumos da moda contemporânea. Para tanto, a pesquisa fundamenta-se na Teoria da Complexidade enquanto base teórica e metodológica para certificar a complexidade do trabalho destes designers, bem como a complexidade da própria moda. Parte-se da premissa de que a moda é uma ciência sistêmica, e como tal, deve ser abordada por uma visão plurilateral mediante ao agrupamento e correlação de diversas áreas e, respaldada pelo caráter de não especialização proposto pela Teoria da Complexidade, esta pesquisa perpassa por diferentes campos do conhecimento como a filosofia, sociologia, história, arte e design. Isto posto, propõe-se um estudo bibliográfico e a análise iconográfica dos designers mencionados, ainda de maneira interdisciplinar, em três vertentes distintas e complementares: ideias, tecnologia e forma; e o estudo de sua respectiva influência sobre a moda contemporânea / This research is characterized by the study of the main fashion designers from the Japanese and Belgian movements in the 1980s, including Rei Kawakubo, Yohji Yamamoto, Issey Miyake and Martin Margiela, analyzed through the perspective of the Complexity Theory created by the French philosopher Edgar Morin. The objective of this study is to investigate the hypothesis that the work of these designers was based in a complex way as a force of rupture, questioning, subversion and influence to the contemporary fashion. For this, the research is based on the Complexity Theory with theoretical and methodological bases to certify the complexity in the career of these designers and also the complexity of fashion itself. It is based on the premise that fashion is a systemic science and should be approached by a plurilateral view through the grouping and correlation of several segments and, supported by the non-specialization profile proposed by Theory of Complexity, this research studies different areas of knowledge, including philosophy, sociology, history and design. The main proposal of this research is to trace a biographical study and an iconographic analysis of the designers in an interdisciplinary way with three distinct and complementary aspects: ideas, technology and form, and also study their respective influence on contemporary fashion.
78

\'Ser ou não ser\': questões sobre subjetividade e o ensino de inglês na escola pública / To be or not to be: questions around subjectivity and the teaching of English in a Brazilian public school

Fortes, Lívia 05 October 2017 (has links)
Esse trabalho tem como objetivo maior a defesa pelo ensino de língua inglesa crítico e subjetificador, entendendo a subjetificação como dimensão da educação formal ainda carente de entendimentos e aplicações práticas uma vez que, tradicionalmente, as dimensões da qualificação e da socialização costumam ser mais enfatizadas em contextos formais de escolarização. Nesse sentido, a educação subjetificadora foi defendida como possibilidade de ruptura a ordens e funcionamentos sociais já existentes e previstos, bem como possibilidade de ressignificação e emancipação de sentidos e conteúdos habitualmente trabalhados na escola básica, que, por meio da crítica, promovam a agência, o exercício de cidadania participativa e a emergência de subjetividades mais condizentes com a natureza complexa dos sujeitos na contemporaneidade. Os horizontes aqui perseguidos foram idealizados e defendidos por meio de pesquisa bibliográfica em torno de questões associadas ao campo da educação crítica, dos múltiplos letramentos necessários e presentes na sociedade globalizada e tecnologizada, e do Letramento Crítico como epistemologia fundante do trabalho com linguagens, textos, e portanto, subjetividades e identidades presentes no cotidiano escolar. Os dados apresentados e debatidos ao longo dos capítulos originaram-se de um período de observação de aulas de inglês e conversas com alunos de uma turma de Ensino Médio de uma escola pública da Grande Vitória (ES), cujas interações aqui expostas se estabeleceram por meio de uma pesquisa-ação crítico-colaborativa culminando no desenvolvimento de uma proposta didática baseada nos princípios teóricos aqui defendidos. Tal proposta, desenvolvida junto ao docente colaborador desse estudo, visava um maior engajamento dos aprendizes daquele contexto diante da constatação de seu pouco envolvimento com as práticas de sala de aula, especialmente traduzido por atitudes indiferentes e pelo pouco investimento por parte dos mesmos na aprendizagem de língua inglesa, atitudes essas possivelmente influenciadas pelo discurso do fracasso ou da deficiência do ensino público, bem como pelo fenômeno da neoliberalização e suas subjetividades opressoras. A partir de noções Pós-modernas de sujeito e da linguagem, as questões aqui levantadas mostraram que a subjetificação pode ser um caminho para que aprendizes de língua inglesa se tornem mais conscientes dos lugares que ocupam na sociedade, bem como daqueles que desejam ocupar pelo investimento que fazem ou ao qual estão assujeitados pelas práticas escolares às quais estão expostos, e que, por vezes, não os representam. O debate aqui empreendido se inicia no Capítulo I discutindo a constituição do sujeito pela linguagem. O Capítulo II trata de noções relacionadas ao engajamento discente, enquanto que, no Capítulo III a proposta de intervenção baseada no Letramento Crítico é apresentada e discutida. No Capítulo IV, o processo subjetificador emergente da práxis científico-pedagógica é debatido, e por fim, reflexões sobre coletividade e responsabilidade emergentes da complexidade das relações e dos processos subjetificadores vivenciados pelos sujeitos aqui expostos concluem o estudo. / This work has as its main objective the case for a critical English education based on the notion of subjectification, discussed here as a dimension of formal education still lacking understanding and practical applications once, traditionally, the dimensions of qualification and socialization have usually been more emphasized in formal schooling contexts. In this sense, subjectification is defended as a possibility of rupture from already existing and predicted social orders and functionings, as well as the possibility of emancipation through the re-design of meanings and contents usually transmitted in basic school practices, which, through critique, should promote agency, the exercise of active citizenship and the emergence of subjectivities more consistent with the complex nature of subjects in contemporary times. The horizons pursued here are idealized and defended by means of bibliographical research around issues related to the field of critical education; the multiple literacies needed and present in the global and technological society we live in, and, Critical Literacy as a foundation epistemology for working with languages, and therefore, the subjectivities and identities present in school routines. The data presented and discussed throughout the chapters originated from a period of observation of English lessons and conversations with students of a public high school class in Grande Vitória (ES, Brazil), with whom interactions were established through a critical-collaborative action research project culminating in the development of lesson plans based on the theoretical principles defended here. This intervention, developed with the collaborator teacher of this study, aimed at increasing students engagement in the face of their lack of involvement with the classroom routines, indifferent attitudes and little investment in the learning of English; which, were possibly influenced by the discourse of failure or deficiency of public Brazilian education, as well as by the phenomenon of neoliberalization and its oppressive subjectivities. Stemming from Postmodern notions of the subject and language, the issues raised here have shown that subjectification can be an orientation for English-speaking learners to become more aware of the places they occupy in society as well as those they wish to occupy through the investment they make or which they are subject to by the school practices they are exposed to, which, many times, unfortunately, do not represent them. The debate carried out here begins, thus, in Chapter I, with a discussion on the constitution of the subject through language. Chapter II deals with notions related to student engagement, while in Chapter III the intervention plan based on Critical Literacy assumptions is presented and discussed. In Chapter IV the subjectification process emerging from the scientific-pedagogical praxis is debated, and finally, reflections on collectivity and responsibility emerging from the complexity of the relations and subjective processes experienced by the subjects here exposed conclude the study.
79

A armadilha do subdesenvolvimento: uma discussão do período desenvolvimentista brasileiro sob a ótica da abordagem da complexidade / The trap of underdevelopment: a discussion of Brazilian developmentalist period from the perspective of complexity approach

Cardoso, Fernanda Graziella 03 May 2012 (has links)
Essa tese apresenta como investigação norteadora porque o Brasil, mesmo tendo avançado em sua matriz industrial e alcançado altas taxas de crescimento no período 1930-1980, não conseguiu escapar da armadilha do subdesenvolvimento econômico. Para tentar vislumbrar alguns caminhos que potencialmente alargariam a discussão e compreensão do tema, recorre-se à perspectiva da Abordagem da Complexidade, combinada com a retomada das discussões teóricas promovidas por alguns dos autores conhecidos como pioneiros do desenvolvimento econômico. Desse modo, a novidade proposta por essa tese reside na perspectiva pela qual se discute o tema, e não ao tema propriamente dito, que foi e vem sendo amplamente discutido pela literatura. O objetivo é a realização de algumas discussões e ilações teóricas relativas à experiência brasileira no período, tendo sempre em mente a Abordagem da Complexidade e sua potencial contribuição para o alargamento do escopo de compreensão do tema. / This thesis presents as main question why Brazil, even having developed its industrial park and having achieved high rates of growth between 1930 and 1980, was unable to escape from the trap of economic underdevelopment. In order to list some ways that could potentially enrich the thinking and the understanding of the question, this inquiry is based on the perspective of Complexity thinking combined with the resumption of theoretical contributions of some authors known as economic development pioneers. Thus, the core of this thesis lies in the perspective by which accomplishes the theme discussion, not in the theme itself, which was and is being widely discussed by the literature. The aim is the achievement of some theoretical considerations and discussions about Brazilian experience in the period, always keeping in mind the Complexity thinking and its potential contribution to broaden the theme comprehension.
80

Medida de complexidade no fenômeno de ondas de depressão alastrante. / Measure of complexity in the phenomenon of spreading depression waves.

Batistela, Cristiane Mileo 14 November 2012 (has links)
O que se desejou apresentar neste trabalho é se a aplicação da medida de complexidade LMC no estudo do fenômeno da depressão alastrante mostra-se eficiente na perspectiva de contribuir para uma melhor compreensão do fenômeno. Para isso, usou-se como modelo experimental a retina de pintinho in vitro. Na tentativa de obter informações sobre estados de equilíbrio entre a ordem e desordem, propõe-se as análises dos registros de dois dos concomitantes do fenômeno: a alteração lenta do potencial extracelular e do sinal intrínseco óptico. Para isso, avaliou-se o efeito de manipulações fármaco-química sobre esses dois concomitantes do fenômeno e através de análises comparativas entre as ondas de controle e as ondas obtidas em presença das diversas substâncias foram discutidas a aplicabilidade do método proposto, mostrando que a medida de complexidade trouxe novas informações sobre a depressão alastrante contribuindo para um entendimento melhor do fenômeno. / What we wanted to present in this work is the application of the LMC measure of complexity in the study of the phenomenon of spreading depression proves efficient in order to contribute to a better understanding of the phenomenon. For this, we used as an experimental model of the chick retina in vitro. In an attempt to obtain information about equilibrium states between order and disorder, it is proposed that the analysis of the records of two of the concomitant phenomena: a slowly changing the extracellular potential and intrinsic optical signal. For this, we evaluated the effect of pharmaco-chemical manipulations on these two concomitant phenomenon and by comparative analyzes of the control waves and the waves obtained in the presence of various substances discussed the applicability of the proposed method, the measure complexity brought new information on the spreading depression to a better understanding of the phenomenon.

Page generated in 0.071 seconds