Predição de Links é uma área de pesquisa importante no contexto de Análise de Redes Sociais tendo em vista que predizer sua evolução é um mecanismo útil para melhorar e propiciar a comunicação entre usuários. Nas redes de coautoria isso pode ser utilizado para recomendação de usuários com interesses de pesquisa comuns. Este trabalho propõe um processo sistemático baseado em métricas não-dicotômicas para avaliação de predição de links em redes de coautoria, sendo considerada a definição de métodos para as seguintes tarefas identificadas: seleção de dados, determinação de novos links e avaliação dos resultados. Para seleção de dados definiu-se um sensor fuzzy baseado em atributos dos nós. O uso de composições fuzzy foi considerado para determinação de novos links _ponderados_ entre dois autores, adotando-se não apenas atributos dos nós, mas também a combinação de atributos de outros links observados. O link ponderado é denominado _qualidade da relação_ e é obtido pelo uso de propriedades estruturais da rede. Para avaliação dos resultados foi proposta a curva ROC fuzzy, que permite explorar os pesos dos links não apenas para ordenação dos exemplos. / Link prediction is an important research line in the Social Network Analysis context, as predicting the evolution of such nets is a useful mechanism to improve and encourage communication among users. In co-authorship networks, it can be used for recommending users with common research interests. This work proposes a systematic process based on non-dichotomic metrics for evaluation of link prediction in co-authorship networks considering the definition of methods for the following tasks: data selection, new link determination and result evaluation. Fuzzy sensor based on node attributes is adopted for data selection. Fuzzy compositions are used to predict new link weights between two authors, adopting not only attributes nodes, but also the combination of attributes of other observed links. The link weight called _relation quality_ is obtained by using structural features of the social network. The fuzzy roc curve is used for results evaluation, allowing us to consider the weights of the links and not only the ordering of examples.

Predição de Links é uma área de pesquisa importante no contexto de Análise de Redes Sociais tendo em vista que predizer sua evolução é um mecanismo útil para melhorar e propiciar a comunicação entre usuários. Nas redes de coautoria isso pode ser utilizado para recomendação de usuários com interesses de pesquisa comuns. Este trabalho propõe um processo sistemático baseado em métricas não-dicotômicas para avaliação de predição de links em redes de coautoria, sendo considerada a definição de métodos para as seguintes tarefas identificadas: seleção de dados, determinação de novos links e avaliação dos resultados. Para seleção de dados definiu-se um sensor fuzzy baseado em atributos dos nós. O uso de composições fuzzy foi considerado para determinação de novos links _ponderados_ entre dois autores, adotando-se não apenas atributos dos nós, mas também a combinação de atributos de outros links observados. O link ponderado é denominado _qualidade da relação_ e é obtido pelo uso de propriedades estruturais da rede. Para avaliação dos resultados foi proposta a curva ROC fuzzy, que permite explorar os pesos dos links não apenas para ordenação dos exemplos. / Link prediction is an important research line in the Social Network Analysis context, as predicting the evolution of such nets is a useful mechanism to improve and encourage communication among users. In co-authorship networks, it can be used for recommending users with common research interests. This work proposes a systematic process based on non-dichotomic metrics for evaluation of link prediction in co-authorship networks considering the definition of methods for the following tasks: data selection, new link determination and result evaluation. Fuzzy sensor based on node attributes is adopted for data selection. Fuzzy compositions are used to predict new link weights between two authors, adopting not only attributes nodes, but also the combination of attributes of other observed links. The link weight called _relation quality_ is obtained by using structural features of the social network. The fuzzy roc curve is used for results evaluation, allowing us to consider the weights of the links and not only the ordering of examples.

Minimal Walks are a method of demonstrations in set theory and general topology. Although the main work of this document will be the construction of the L space, we intend to explain walk\'s fundamentals in a bit more detail. / Passeios mínimos são um método de demonstrações em teoria dos conjuntos e topologia geral. Apesar do trabalho principal dessa dissertação ser a existência do L espaço, a intenção é explicar os fundamentos dos passeios mínimos um tanto detalhadamente.

Dissertação apresentada para obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores (Área de especificação de Sistemas de Energia), apresentada na Faculdade de Engenharia da Universidade do Porto, sob a orientação dos Professores Doutores Fernando pires Maciel Barbosa e José Américo Dias Pinto

Made available in DSpace on 2014-06-11T19:27:10Z (GMT). No. of bitstreams: 0 Previous issue date: 2013-12-16Bitstream added on 2014-06-13T20:08:10Z : No. of bitstreams: 1 000734174.pdf: 1301603 bytes, checksum: c022c2b4e049a701b1abb5a9e04fe8e9 (MD5) / Neste traboalho são apresentados alguns conceitos básicos da Teoria de Conjuntos Fuzzy como: operações comu conjunto fuzzy, Princípio de Extensão de Zadeh, números fuzzy e noçoes de lógica fuzzy. As relações são apresentadas com o objetivo de tratarmos de sistemas baseados em regras fuzzy e algumas aplicações / In this paper are presented some basic concepts of Fuzzy Sets Theory: operation with fuzzy sets, Zadeh extension principle, fuzzy numbers and fuzzy logic. The fuzzy relations are presented for the purpose of treating systems based on fuzzy rules and some application

Orientador: Luciano Barbanti / Banca: Ernandes Rocha de Oliveira / Banca: antonio Carlos Tamarozzi / Resumo: Este trabalho apresenta uma proposta relacionada ao ensino e prática do pensamento dedutivo formal em Matemática. São apresentados no âmbito do conjunto dos números Naturais três temas essencialmente interligados: indução/boa ordem, dedução e esquemas de computação representados pela máquina teórica de Turing. Os três temas se amalgamam na teoria lógica de dedução e tangem os fundamentos da Matemática, sua própria indecidibilidade e extensões / limites de tudo que pode ser deduzido utilizando a lógica de Aristóteles, caminho tão profundamente utilizado nos trabalhos de Gödel, Church, Turing, Robinson e outros. São apresentadas inúmeros esquemas de dedução referentes às "fórmulas" e Teoremas que permeiam o ensino fundamental e básico, com uma linguagem apropriada visando treinar os alunos (e professores) para um enfoque mais próprio pertinente à Matemática / Abstract: This work deals with the teaching and practice of formal deductive thinking in Mathematics. Three essentially interconnected themes are presented within the set of Natural Numbers: induction, deduction and computation schemes represented by the Turing theoretical machine. The three themes are put together into the logical theory of deduction and touch upon the foundations of Mathematics, its own undecidability and the extent / limits of what can be deduced by using Aristotle's logic, that is the subject in the works of Gödel, Church, Turing, Robinson, and others. There are a large number of deduction schemes referring to the "formulas" and Theorems that are usual subjects in elementary and basic degrees of the educational field, with an appropriate language in order to train students (and teachers) for a more pertinent approach to Mathematics / Mestre

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-17T20:27:48Z (GMT). No. of bitstreams: 1 244635.pdf: 643291 bytes, checksum: 10dddc5e96e73351f4f0a02ae3faee8b (MD5) / Neste trabalho estuda-se um Modelo para classificação de espécies, em função do risco de extinção. A IUCN (International Union for the Conservation Nature) classifica as espécies, quanto ao risco de extinção, em cinco categorias. A classificação leva em conta fatores como Declínio Populacional, Extensão de Ocorrência, Área de Ocupação etc. Nesta classificação são estabelecidos limites que fazem uma mudança brusca de uma categoria para outra. É muito difícil estimar, com exatidão, o número de indivíduos de uma espécie ou o seu Declínio Populacional nos últimos tempos, tornando difícil saber a qual categoria da IUCN que a mesma pertence, principalmente se os dados são valores próximos aos valores de fronteira entre duas categorias. Visando melhorar esta classificação, uma fronteira entre duas categorias será tratada, neste trabalho, de forma fuzzy, afim de evitar uma mudança brusca de uma categoria para outra. Desta forma, uma pequena variação nos dados não muda a classificação de uma espécie.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-17T11:10:06Z (GMT). No. of bitstreams: 1 221454.pdf: 643291 bytes, checksum: 10dddc5e96e73351f4f0a02ae3faee8b (MD5) / Neste trabalho estuda-se um Modelo para classificação de espécies, em função do risco de extinção. A IUCN (International Union for the Conservation Nature) classifica as espécies, quanto ao risco de extinção, em cinco categorias. A classificação leva em conta fatores como Declínio Populacional, Extensão de Ocorrência, Área de Ocupação etc. Nesta classificação são estabelecidos limites que fazem uma mudança brusca de uma categoria

Este trabalho oferece um estudo das configurações intervalares contidas no grupo de peças para piano intitulado Seis Pequenos Quadros (1981) de Bruno Kiefer (1923- 1987). A análise toma como referencial teórico a obra Introduction to Post-Tonal Theory de Joseph Straus, a qual elucida a teoria dos conjuntos. Objetivou-se encontrar padrões que fornecem coerência ao discurso das peças isoladamente e como um todo. Para tanto, além da análise de conjuntos, fez-se necessário o levantamento de características estruturais, temporais e de textura. Todos estes parâmetros, os quais contribuem para um equilíbrio entre unidade e diversidade no discurso desta coleção de peças, foram investigados a partir dos gestos musicais característicos do estilo de Kiefer.

Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2010 / Bibliografia: f. 130-133