https://hdl.handle.net/10438/7823 2021-11-05T20:13:38Z 2021-11-05T20:13:38Z Fontanella, Flavio Cordeiro https://hdl.handle.net/10438/31227 2021-10-25T13:54:34Z 2021-02-02T00:00:00Z

Métodos de avaliação de modelos de previsão de resultados de futebol Fontanella, Flavio Cordeiro Este trabalho tem por objetivos revisar a teoria de avalia¸c˜ao de modelos de previs˜ao, apresentando conceitos como a utiliza¸c˜ao de medidas de avalia¸c˜ao pr´oprias e suas decomposi¸c˜oes em somas de atributos distintos; adequar essa teoria ao contexto de previs˜oes de placares e resultados de partidas de futebol, propondo medidas apropriadas ao tema; e aplicar as medidas a partidas do campeonato brasileiro de futebol masculino, entre as temporadas de 2014 e 2019, buscando avaliar diferentes modelos de previs˜ao e inferir atributos como a incerteza dos resultados, o refinamento das previs˜oes e a discrimina¸c˜ao das previs˜oes ante os resultados.; This work main goals are to review the theory of forecasting evaluation, presenting notions like the use of proper scoring rules and their decompositions as sums of attributes; to address this theory to the context of football (soccer) match results/scores forecasting, proposing scoring rules that are suited to this environment; and to apply the scoring rules to the matches of Brazilian championship of men’s football, from 2014 to 2019, evaluating different forecasting models and estimating attributes such as the uncertainty of the results, the refinement of the forecasts and the discrimination of the forecasts given the results.

2021-02-02T00:00:00Z Purificação, Rafael Henrique Figueiredo da https://hdl.handle.net/10438/30949 2021-09-27T22:23:49Z 2021-07-01T00:00:00Z

Ecossistema Elixir: um exemplo de aplicação para registro de transações entre contas Purificação, Rafael Henrique Figueiredo da Esse projeto teve como ideia principal apresentar a linguagem Elixir e os benefícios de sua utilização. Para exemplificar uma utilização prática da linguagem foi feita uma API onde foi demonstrado desde a organização do projeto até a execução final e inicialização do servidor para funcionamento da API. Com isso foi desenvolvido uma API de criação de contas, onde também é possível realizar operações entre as mesmas. Foi um projeto onde tentei ao mesmo tempo que aprendia a linguagem e suas implementações, também entender sobre o negócio da empresa. Tentei apresentar por meio desse documento o passo a passo que tive sobre a parte prática de utilização do Elixir e levantar também pontos que considerei importantes ao estudar melhor a linguagem. Trabalho de conclusão de curso - Rafael Henrique Figueiredo da Purificação

2021-07-01T00:00:00Z Dantas, Leonardo Santana https://hdl.handle.net/10438/30819 2021-07-08T14:07:01Z 2021-07-01T00:00:00Z

Transformers: teoria e viabilização Dantas, Leonardo Santana Transformers atualmente representam uma das classes mais poderosas de modelos de aprendizado de máquina para processamento de linguagem natural (PLN). Neste trabalho, exploramos os conceitos teóricos por trás dessa arquitetura de redes neurais, os desafios do cenário presente e os aprimoramentos de eficiência propostos na literatura desde a introdução desses modelos. Trabalho de conclusão de curso - Leonardo Santana Dantas

2021-07-01T00:00:00Z Oliveira, Franklin Alves de https://hdl.handle.net/10438/30711 2021-06-11T01:05:01Z 2021-03-30T00:00:00Z

Visualização de coleções científicas digitais de biodiversidade: um framework em Altair, Python Oliveira, Franklin Alves de Coleções científicas de biodiversidade têm o compromisso de ser um registro permanente da herança natural, constituídas de espécimes ou objetos relacionados ao seu domínio. Todo material é catalogado, recebendo um número de registro, permitindo que seja incorporado ao acervo. Coleções digitais tipicamente contém uma versão digitalizada dos metadados correspondentes a cada item do inventário e podem, adicionalmente, conter arquivos multimídia tais como textos, registros fotográficos ou outros registros associados ao item, quando pertinente. Garantir a qualidade desses registros é uma tarefa complexa e de fundamental relevância. Fatores como o grande volume de dados e a interdependência entre múltiplas variáveis dificultam determinar até que ponto esses dados estão completos, corretos e se, de fato, fornecem uma boa cobertura geográfica, temporal e taxonômica das espécies correspondentes. Não obstante, garantir a acurácia no registro de espécimes é uma tarefa que se inicia no campo de coleta, passando pelo seu registro, que muitas vezes é escrito em uma folha de papel ou anotado por meio de planilhas e dispositivos eletrônicos, até o processo de tombo do registro na coleção e futura publicação. O presente trabalho propõe a construção de um framework que visa guiar a aplicação de princípios e técnicas de Visualização da Informação ao contexto de coleções científicas digitais de história natural, visando fornecer um conjunto de representações visuais cuja finalidade é a de facilitar a verificação de qualidade dos registros por um especialista. Aliando a flexibilidade da linguagem de programação Python para tratamento de dados e as vantagens de se empregar uma gramática declarativa de gráficos, construiu-se propostas gráficas empregando-se a biblioteca Altair. Tal conjunto de técnicas e propostas gráficas visa atender demandas de especialistas de domínio - curadores e pesquisadores do campo de biodiversidade - fornecendo recursos visuais para a identificação de possíveis inconsistências em suas bases de dados auxiliando, por exemplo, no processo de preparação dos dados para publicação. Com pequenos ajustes, o mesmo conjunto de visualizações também pode servir à finalidade de exibir os dados da coleção em publicações científicas ou diretamente ao público não-especializado.

2021-03-30T00:00:00Z Costa, Felipe Vieira https://hdl.handle.net/10438/30459 2021-05-06T16:18:57Z 2020-12-01T00:00:00Z

Estudo sobre ideais, Bases de Gröbner e suas aplicações Costa, Felipe Vieira Neste trabalho, estudaremos o Teorema das Quatro Cores, problema que, apesar de simples de enunciar, ficou por mais de um século sem uma prova concreta. O resultado foi conjecturado em 1852, quando um matemático sul-africano chamado Francis Guthrie, ao tentar colorir o mapa de condados ingleses, notou que quatro cores bastavam para colorir cada região de modo que cada uma recebesse uma única cor e que condados vizinhos não fossem pintados com cores iguais. Daí, esta conjectura foi passando de boca em boca até chegar em Alfred Bray Kempe, que, em 1879, foi o primeiro a publicar uma tentativa de demonstração do Teorema, cujo método utilizado ficou conhecido como Método das Cadeias de Kempe. Porém, anos depois, em 1890, o matemático britânico Percy J. Heawood construiu um mapa no qual o processo de Kempe não funcionava, deixando a demonstração da até então Conjectura das Quatro Cores em aberto. Em 1976, 86 anos depois, foi publicado por Appel e Haken, finalmente, uma solução para o problema, com um detalhe curioso: eles tiveram o auxílio de um computador chamado IBM 360, que teve que realizar bilhões de cálculos por volta de 1200 horas. Em 1994, outro grupo de matemáticos conseguiu uma solução mais simples, também usando métodos computacionais, mas que ainda deixavam dúvidas pela dificuldade de ser analisada. Por fim, estas dúvidas foram saciadas por volta de 2005, graças ao trabalho de Georges Gonthier. Nosso papel aqui será fazer uma abordagem diferente sobre o Problema das Quatro Cores sem usar, ao menos explicitamente, Teoria dos Grafos, que seria a abordagem mais usual para lidar com regiões e adjacências. Usaremos, no lugar, o conhecimento obtido estudando Álgebra, mais especificamente sobre Anéis, Ideais de Polinômios e Bases de Gröbner, chegando a um algoritmo que apesar de não poder ser usado em geral por sua complexidade e custo computacional, tem muito valor teórico e é capaz de colorir, usando apenas ferramentas algébricas, cálculos simples e um pouco de inteligência, um mapa plano com no máximo quatro cores, como demonstrado pela literatura. Trabalho de conclusão de curso - Felipe Vieira Costa

2020-12-01T00:00:00Z Amorim, Giovanni Almeida Argento de https://hdl.handle.net/10438/30458 2021-05-06T16:10:06Z 2020-11-01T00:00:00Z

Desenvolvimento de estratégias e fenômenos em dinâmicas de jogos de múltiplos agentes Amorim, Giovanni Almeida Argento de Recent developments in Reinforcement Learning (RL) methods are focused on models that can learn good policies in non stationary environments, such as multi-agent games, where agents must learn how to react to changes in other agent’s strategies or in the environment. Some development has been made by studying not only how one agent can develop it’s policy, but how a population of agents can evolve from initial distributions to stable states of strategies. Evolutionary Game Theory (EGT) is the theoretical framework that applies mathematical and economical knowledge from game theory and biological evolution inspiration to study how individuals from a population dynamically interact in an environment. In this paper, we first introduce EGT concepts and show how they can be applied to understanding a population’s learning dynamics in the context of RL. Then we link those concepts with learning algorithms and study how one can infer the behaviour of those methods from links with evolutionary dynamics. Finally, we study and evaluate a recently proposed algorithm derived from policy gradient model and EGT dynamics and discuss next steps. Trabalho de conclusão de curso - Giovanni Almeida Argento de Amorim

2020-11-01T00:00:00Z Calderoni, Breno de Moura https://hdl.handle.net/10438/30457 2021-05-06T15:59:06Z 2020-12-01T00:00:00Z

Métodos numéricos para resolver equações de Klein-Gordon Calderoni, Breno de Moura O objetivo principal do trabalho é estudar soluções numérico-computacionais para a equação de seno-Gordon. Métodos de diferenças finitas são aplicados para transformar o problema de valor inicial e de contorno associado da equação não linear hiperbólica de seno-Gordon, em um sistema algébrico de equações. Especifi camente, os métodos apresentados serão um método explícito de diferenças finitas e o método de Crank-Nicolson. Serão analisadas a consistência, convergência, estabilidade linear e será abordado um comparativo entre os métodos considerados. Trabalho de conclusão de curso - Breno de Moura Calderoni

2020-12-01T00:00:00Z Barreira, Davi Sales https://hdl.handle.net/10438/30407 2021-04-27T14:07:33Z 2021-03-25T00:00:00Z

Optimal transport for machine learning: theory and applications Barreira, Davi Sales O que os operadores de produção de petróleo valorizam ao comprar produtos químicos?: uma análise sobre a percepção de valor na decisão de compra ou contratação de um provedor de especialidades químicas no mercado de óleo e gásIn recent years, advances in Optimal Transport have led to a surge of applications in fields such as Economics, Quantitative Finance and Signal Processing, among others. One area in which it has been found particularly successful is Machine Learning. The development of computationally efficient methods for solving Optimal Transport problems opened doors for creating Machine Learning algorithms using concepts from Optimal Transport. These new algorithms encompass many different sub-areas such as Transfer Learning, Clustering, Dimensionality Reduction, Generative Models, just to name some. This work provides an overview of the different ways in which Optimal Transport has been used in Machine Learning, thus helping Machine Learning researchers to better understand its impact in the field and how to use it. This thesis first introduces the main theoretical and computational aspects of Optimal Transport theory in an accessible way to Machine Learning researchers, followed by a semi-systematic literature review focusing on the main uses of Optimal Transport in Machine Learning.

2021-03-25T00:00:00Z Novais, Gabriel Lima https://hdl.handle.net/10438/30387 2021-04-22T03:26:33Z 2021-03-22T00:00:00Z

Modelagem de nicho ambiental de vetores do vírus da dengue com métodos de Gradient Boosting Decision Tree Novais, Gabriel Lima O objetivo deste trabalho concentra-se em modelar o nicho ambiental de vetores do vírus da Dengue em nível municipal. Isto é realizado através de métodos baseados em árvores de decisão. Os métodos são famosos pela sua capacidade de resolver problemas de classificação produzindo elevada acurácia e apresentando relevância das variáveis para o modelo. Os resultados obtidos apontam que esses modelos conseguem apresentar acurácia razoável, acima de 75%, o que associada as demais métricas de avaliação, indicam ótima performance e possível aplicação em tomadas de decisão no contexto de políticas públicas.

2021-03-22T00:00:00Z Gabriel, Lucas Almada https://hdl.handle.net/10438/30378 2021-04-21T00:58:17Z 2020-12-01T00:00:00Z

Deep Reinforcement Learning aplicado ao mercado de ações Gabriel, Lucas Almada Muitos algoritmos que possuem boa performance em diversos campos da literatura, tão logo são utilizados, recebem atenção do mercado financeiro. Prever com uma boa taxa de acerto o movimento das ações é o sonho de muitos investidores e utilizar os melhores modelos conhecidos é uma das formas de encontrar essa performance desejada. Não é diferente em relação aos algoritmos de Reinforcement Learning. Como pode ser observado em [12], existem alguns artigos com abordagem de trading e utilização de Reinforcement Learning. Porém, a quantidade de artigos sobre o assunto é bem baixa se comparado a modelos criados com algoritmos clássicos de machine learning. A baixa menção ao assunto reflete em sites e blogs que passam informações sobre análise de dados, uma vez que existem poucas postagens sobre o assunto. Por ser ainda um terreno pouco explorado, existe muito o que se estudar e melhorar em Reinforcement Learning. Em relação ao presente trabalho existem melhorias que serão feitas. A primeira adição futura é uma melhor engenharia de features. As features usadas seguem o modelo padrão de outros artigos ao utilizar OHLC das ações como input para o modelo. Uma boa modelagem tem a capacidade de aumentar significativamente a performance de modelos e algumas ideias de features serão implementadas futuramente. Outra melhoria a ser feita e a estruturação do ambiente construído. O ambiente e o cerne do funcionamento do modelo, e algumas ideias relacionados aos passos a serem tomadas pelo agente entre as posições ainda precisam ser implementadas. Por fim, uma mudança que ser a feita e segue uma linha de mudança de ambiente, e permitir que sejam colocadas mais ações em um mesmo modelo. Essa melhoria segue a linha de adicionar um portfólio, ou seja, adicionar várias ações e deixar que o agente escolha as oportunidades. No modelo atual, como é utilizada uma ação por modelo, o agente escolhe apenas que posição tomar em um determinado período. Trabalho de conclusão de curso - Lucas Almada Gabriel

2020-12-01T00:00:00Z