PPGCC - Mestrado (Dissertações)
URI Permanente para esta coleção
Navegar
Submissões Recentes
Item Extração de características em dados tabulares : abordagem com redes neurais convolucionais e pooling adaptativo.(2024) Silva, Sammuel Ramos da; Silva, Rodrigo César Pedrosa; Silva, Rodrigo César Pedrosa; Luz, Eduardo José da Silva; Silva, Pedro Henrique Lopes; Silva, Marcelo Oliveira daNeste estudo, é proposto uma arquitetura de Redes Neurais Convolucionais para a extração de características (features) em dados tabulares. Comparamos o desempenho desta arquitetura com modelos especializados desenvolvidos para essa finalidade. Introduzimos um novo método de pooling, correlation-based pooling, especialmente adaptado para dados tabulares, o qual leva em consideração as relações intrínsecas entre as features de um conjunto de dados. Adicionalmente, investigamos a eficácia do uso de redes esparsas na criação de features com baixa conectividade. Nossos resultados destacam a promissora capacidade da arquitetura proposta, a qual demonstrou um desempenho competitivo em relação aos modelos especializados. A abordagem de pooling baseada na consideração de correlações entre features exibiu uma vantagem distinta sobre as técnicas tradicionais de pooling, sugerindo um novo caminho para aprimoramentos no pré-processamento de dados tabulares. Essa abordagem oferece uma perspectiva interessante para o desenvolvimento futuro de modelos de aprendizado de máquina aplicados a dados tabulares complexos. Em suma, introduz novos conceitos e métodos que demonstraram potencial para melhorar o desempenho e a eficácia da extração de features para dados tabulares.Item Explorando SAM para segmentação Zero-Shot em MRI para classificação de Alzheimer.(2024) Pinheiro, Jean Christopher de Oliveira; Luz, Eduardo José da Silva; Silva, Pedro Henrique Lopes; Luz, Eduardo José da Silva; Silva, Pedro Henrique Lopes; Santos, Valeria de Carvalho; Oliveira, Roberta BarbosaEste estudo avalia o uso do Segment Anything Model (SAM) para a segmentação sem treinamento prévio de crânio no contexto da classificação da doença de Alzheimer em imagens de ressonância magnética, comparando-o com métodos convencionais de remoção do crânio, como a ferramenta de extração de cérebro do FMRIB (FSL-BET). A importância da ressonância magnética no diagnóstico de distúrbios neurodegenerativos exige uma remoção precisa do crânio para uma análise computacional aprimorada. Utilizando o conjunto de dados da Alzheimer’s Disease Neuroimaging Initiative (ADNI), examinamos a eficácia do SAM em comparação com o FSL-BET em imagens brutas. Propomos uma heurística baseada em templates para o pós-processamento das máscaras geradas pelo SAM, utilizando métricas de similaridade como Dice e Jaccard para selecionar a máscara mais adequada sem a necessidade de refinamento do modelo. Nossas avaliações qualitativas e quantitativas demonstram a superioridade do SAM na remoção do crânio e sua contribuição significativa ao processo de classificação, alcançando 70% de acurácia na classificação binária (Normal vs. Alzheimer) contra 66% da abordagem baseada no FSL-BET.Item Detecção de discurso de ódio em língua portuguesa : uma análise do impacto da qualidade e diversidade de dados no desempenho de grandes modelos de linguagem.(2024) Oliveira, Amanda da Silva; Luz, Eduardo José da Silva; Luz, Eduardo José da Silva; Gertrudes, Jadson Castro; Freitas, Larissa Astrogildo de; Silva, Rodrigo César PedrosaCom a popularização de grandes modelos de linguagem, o mercado e a academia têm mudado a forma de lidar com tarefas de processamento de linguagem natural. Na tentativa de investigar se existem mudanças significativas em diferentes tarefas fazendo uso desses novos modelos, este estudo busca entender o comportamento de grandes modelos de linguagem na tarefa de detecção de discurso de ódio quando comparado a performance de modelos baseados em BERT, utilizando dois diferentes conjuntos de dados: um vindo da literatura e outro inédito, criado nesta pesquisa. Comparamos modelos como Claude 3 Opus, versões do ChatGPT e grandes modelos de linguagem feitos especificamente para o português brasileiro como o Maritalk com modelos baseados em BERT. Este estudo mostra que o desempenho desses modelos pode variar de forma significativa, destacando a importância dos dados no processo de treinamento e avaliação dessas ferramentas. Além disso, a introdução de um novo conjunto de dados inédito busca enriquecer as ferramentas disponíveis para futuras pesquisas. Os resultados indicam que, apesar dos desafios, é possível alcançar bons níveis de precisão na detecção de discurso de ódio utilizando grandes modelos de linguagem ou modelos baseados em BERT, e enfatizam também a importância de usar diferentes conjuntos de dados atualizados para avaliar os modelos para a tarefa de detecção de discurso de ódio.Item Self-supervised learning for arrhythmia classification.(2023) Silva, Guilherme Augusto Lopes; Luz, Eduardo José da Silva; Silva, Pedro Henrique Lopes; Luz, Eduardo José da Silva; Silva, Pedro Henrique Lopes; Freitas, Vander Luis de Souza; Meneghini, Ivan ReinaldoArrhythmias, heart diseases that are commonly diagnosed through electrocar- diograms (ECG), require computational methods for detection and classification to improve the physician’s diagnosis. Although there is abundant literature on the subject, the high intra-patient variability and noise of ECG signals pose challenges in developing practical machine-learning models. To address this, we propose a cus- tomized adjustment of machine learning models through self-supervised learning with human-in-the-loop. Our approach introduces a pretext task called ECGWavePuzzle, which improves classification performance through better generalization. Evaluation metrics on the MIT-BIH database demonstrate the effectiveness of our approach, which improved the ECGnet global accuracy by over 10% and the Mousavi’s CNN by over 13%. Additionally, the experimental results demonstrated that the proposed approach improved the sensitivity and positive predictive value of the arrhythmic classes for certain patients.Item Computational techniques to find and suppress bone from chest radiological images.(2023) Ziviani, Hugo Eduardo; Cámara Chávez, Guillermo; Silva, Mateus Coelho; Cámara Chávez, Guillermo; Queiroz, Rafael Alves Bonfim de; Oliveira, Thiago Eustaquio Alves de; Silva, Mateus CoelhoThe proposal of this work is to propose bone suppression techniques in chest images. The most common, but inaccessible, way is through Dual Energy Subtraction (DES). This the technique requires specific hardware to generate and receive di erent energy levels capable of di erentiating materials by atomic number. This work uses GAN to perform bone suppression on X-ray images and aimed to evaluate the performance of the cGAN, train a model to locate the thoracic box, and assess two di erent training techniques for boneless image translation. Based on deep learning the main contribution of this work is to improve the bone shadow elimination delimiting the learning region of the Deep Learning (DL) model. By the contextualization of the bones region, was possible present a metric that measures the model accuracy in an interested region. With this study was possible a more precise metric to evaluate the bone suppression quality. Using the Japanese Society of Radiological Technology (JSRT) this study achieved a PSNR index of 31.604, and a similarity coe cient, known as SSIM of 0.9402. When delimiting the learning region, the results were: 31.9136 for PSNR and 0.9633 for SSIM.Item Uma formalização da lógica modal usando o assistente de provas Coq.(2023) Silveira, Ariel Agne da; Ribeiro, Rodrigo Geraldo; Roggia, Karina Girardi; Ribeiro, Rodrigo Geraldo; Roggia, Karina Girardi; Vasconcellos, Cristiano Damiani; Reis, Leonardo Vieira dos SantosA modelagem de determinados tipos de sistemas computacionais com a lógica clássica possui fatores limitantes. Neste contexto, a apresentação de outros sistemas lógicos, como a lógica modal, e a construção de uma biblioteca para o assistente de provas Coq tem o intuito de auxiliar nesta tarefa e facilitar o uso para a verificação de propriedades de sistemas. A semântica da lógica modal é representada pela semântica dos mundos possíveis, onde existe uma relação de acessibilidade que conecta os mundos de um mo- delo. Diferentes restrições impostas na relação de acessibilidade constroem sistemas da lógica modal que auxiliam na representação de propriedades nas mais diversas áreas de estudo. O desenvolvimento da biblioteca tem como objetivo sustentar a formalização de propriedades de softwares e prová-los em Coq.Item Problema de roteamento de mamógrafos móveis : uma abordagem bi-objetiva.(2023) Araujo, Thiago Giachetto de; Penna, Puca Huachi Vaz; Souza, Marcone Jamilson Freitas; Penna, Puca Huachi Vaz; Souza, Marcone Jamilson Freitas; Coelho, Igor Machado; Carvalho, Marco Antonio Moreira deEsta dissertação trabalha com o Problema de Roteamento de Unidades Móveis de Mamografia (MMURP). O problema é uma variante do Problema de Rotea- mento de Veículos Aberto Multi-depósito. Neste problema, existe uma quantidade fixa de depósitos, cada um com uma quantidade limitada de Unidades Móveis de Mamografia (MMUs). Cada MMU tem sua capacidade de realização de exames conhecida e um conjunto de cidades candidatas com uma demanda conhecida por exames de mamografia. O objetivo é definir a ordem de visitação das cidades can- didatas para cada MMU, buscando maximizar a demanda atendida e minimizar a distância total percorrida. Ou seja, o MMURP é tratado como um problema de otimização bi-objetivo. Uma formulação de programação matemátia é pro- posta, o método ε-restrito é implementado e dois algoritmos heurísticos baseados no Non-dominated Sorting Genetic Algorithm II (NSGA-II) são desenvolvidos. Os algoritmos heurísticos se diferenciam pela utilização de busca local como um dos operadores de mutação, um possui e o outro não. O método exato e as duas versões do algoritmo heurístico foram implementados e usados para resolver o MMURP para diversos estados do Brasil. Instâncias baseadas em dados reais foram geradas e usadas para avaliar os métodos implementados. Os resultados computacionais mos- traram que ao considerar o hipervolume, as soluções encontradas pelo método exato são superiores. Porém, ao considerar o min-max da taxa de cobertura, o algoritmo heurístico com a busca local é superior.Item Detecção de fraudes financeiras em contas digitais : explorando abordagens hierárquicas e técnicas de aprendizado profundo.(2023) Souza, Andressa Oliveira; Luz, Eduardo José da Silva; Moreira, Gladston Juliano Prates; Luz, Eduardo José da Silva; Moreira, Gladston Juliano Prates; Lima, Helen de Cássia Sousa da Costa; Silva, Rodrigo César Pedrosa; Oliveira, Samuel Evangelista Lima deNos últimos anos, houve um aumento na oferta de serviços financeiros por meio de aplicativos e internet banking, mas isso também levou a um aumento de contas digitais fraudulentas. Em problemas de detecção de fraudes financeiras, é comum encontrar um desbalanceamento significativo entre amostras não fraudulentas e fraudulentas, dificultando sua identificação. Dessa forma, este trabalho aborda a detecção dessas contas, utilizando métodos de sobreamostragem e classificação hierárquica para lidar com o desbalanceamento das classes. Também é investigado se o uso de deep learning com dados matriciais pode superar os classificadores tradicionais Random Forest e XGBoost. Os dados foram fornecidos pela Efí S.A. e incluem 45.209 contas organizadas de forma hierárquica. As contas são categorizadas em primeiro nível como Fraude ou Não Fraude, e no segundo nível, as não fraudes são divididas em quatro classes (A, B, C e D), enquanto as fraudes são divididas em duas (E e F). O problema foi abordado como classificação binária e multiclasse. A análise abrangente revelou que o uso dos métodos de sobreamostragem SMOTE e Borderline SMOTE melhorou as métricas de Sensibilidade e F-score para as classes fraudulentas nos classificadores tradicionais, na classificação binária e na multiclasse. A abordagem hierárquica destacou-se nas métricas de Precisão e F-score para as classes E e F, enquanto a abordagem plana apresentou o melhor desempenho em Sensibilidade para essas classes. O uso de deep learning com dados matriciais superou os classificadores tradicionais apenas na métrica de Sensibilidade na classificação binária.Item Classificação automática de arritmias utilizando mapeamento de sinais de ECG em grafos e redes neurais convolucionais de grafos.(2023) Oliveira, Rafael Francisco de; Luz, Eduardo José da Silva; Freitas, Vander Luis de Souza; Luz, Eduardo José da Silva; Freitas, Vander Luis de Souza; Bianchi, Andrea Gomes Campos; Gertrudes, Jadson Castro; Quiles, Marcos GonçalvesConforme a Organização Mundial da Saúde (OMS), as doenças cardíacas figuram como a principal causa de morte em âmbito global. Embora muitas dessas condições possam ser diagnosticadas antecipadamente, a incidência de casos segue em ascensão. Estimativas indi- cam que mais de 75% dos casos ocorrem em países de baixa renda ou em desenvolvimento, e 17,9 milhões de pessoas morreram de doenças cardíacas apenas em 2019, totalizando 32% das mortes globais. A persistência desse aumento de casos realça a necessidade de novas abordagens que automatizem a detecção de arritmias em sinais de eletrocardiograma (ECG). Na literatura, inúmeras técnicas de extração de características são utilizadas para representar o ECG como séries temporais unidimensionais, com o intuito de classificar pa- drões associados à arritmias. Notavelmente, abordagens baseadas em aprendizado profundo (redes de convolução) têm obtido resultados impressionantes para tal tarefa. Entretanto, abordagens baseadas em grafos e redes complexas foram recentemente investigadas como alternativas para aprimorar o desempenho na detecção de arritmias, porém, ainda se apresenta como um desafio mapear ou representar adequadamente sinais de ECG na forma de grafos. Assim, este estudo explora a representação dos sinais de ECG em grafos por meio do Visibility Graph (VG) e Vector Visibility Graph (VVG). Adicionalmente, utilizamos a estrutura de grafo para a classificação de arritmias com Redes Neurais Convolucionais de Grafos (Graph Convolutional Networks - GCNs). Experimentos envolvendo diferen- tes arquiteturas de GCNs foram avaliados no conjunto de dados MIT-BIH, seguindo os paradigmas inter-patient e intra-patient. Os resultados indicam que a representação dos sinais de ECG por meio de VG e VVG é promissora, e que o VG provou ser mais eficiente em comparação ao método VVG para as arquiteturas de GCNs exploradas. Em relação à classe de batimentos ectópicos supraventriculares (S), os resultados evidenciam que no paradigma inter-patient ainda há um grande desafio a ser superado. Arquiteturas mais simples de GCNs tiveram melhores resultados do que as complexas, indicando que sua simplicidade melhora a captura das características essenciais dos dados e evita ruídos. Essas arquiteturas também são mais eficientes computacionalmente, o que é importante em cenários de recursos limitados.Item ChurNAS : uma busca de arquitetura neural para previsão de desligamento de clientes.(2023) Almeida, Marcus Daniel de; Moreira, Gladston Juliano Prates; Luz, Eduardo José da Silva; Moreira, Gladston Juliano Prates; Luz, Eduardo José da Silva; Silva, Ivair Ramos; Meneghini, Ivan ReinaldoA Predição de desligamento de clientes PDC (do inglês Customer Churn Pre- diction) é fundamental para a gestão eficiente de clientes, uma vez que permite a otimização da lucratividade por meio de estratégias de marketing informadas e cam- panhas de retenção. Nesse contexto, o presente estudo propõe uma nova abordagem, chamada ChurNAS, baseada em algoritmo genético para a busca de arquiteturas neurais (Neural Architecture Search - NAS) em problemas de PDC na indústria de serviços financeiros. Ao contrário dos modelos tradicionais, como regressão logística e árvore de decisão, as redes neurais profundas apresentam maior versatilidade para modelagem de dados complexos. No entanto, a busca pela arquitetura ideal em redes neurais profundas ́e um desafio devido `a sua alta complexidade. Os resultados demonstram que a abordagem ChurNAS encontrou modelos com desempenho supe- rior aos classificadores tradicionais ajustados por otimiza ̧c ̃ao de hiperparâmetros. A abordagem proposta obteve uma acurácia de 88,6%, em comparação com 82,54% do XG-Boost e 82,49% do Floresta Aleatória. Al ́em disso, alcançou uma sensibilidade de 58,89%, enquanto o XG-Boost e o Floresta Aleatória apresentaram 57,1% e 57,81%, respectivamente. Quanto `a precisão, a abordagem ChurNAS obteve 39,41%, superando o XG-Boost (26,96%) e o Floresta Aleatória (26,17%). Adicionalmente, o estudo examinou o impacto da quantidade de dados e da capacidade do modelo, enfatizando a importância de considerar a natureza temporal das transações financei- ras ao utilizar redes neurais para PDC. Em suma, este trabalho destaca o potencial da abordagem ChurNAS para solucionar problemas de PDC no setor de servi ̧cos financeiros e melhorar a eficiência do gerenciamento de clientes.Item Desenvolvimento de algoritmos de IA para dispositivos vestíveis utilizando computação de borda.(2023) Silva, Jonathan Cristovão Ferreira da; Oliveira, Ricardo Augusto Rabelo; Silva, Mateus Coelho; Oliveira, Ricardo Augusto Rabelo; Silva, Saul Emanuel Delabrida; Nacif, José Augusto Miranda; Amorim, Vicente José Peixoto deOs dispositivos vestíveis estão cada vez mais presentes em nossas vidas. Além disso, os algoritmos de inteligência artificial vêm se tornando essenciais para com- por estes dispositivos. Como os dispositivos vestíveis são restritos de recursos, tec- nologias que exigem grande capacidade computacional podem ser inviáveis para aplicações neste contexto, principalmente quando se trata da computação de borda. Visto isso, o trabalho propõe o desenvolvimento de algoritmos de inteligência arti- ficial para integração nestes dispositivos com o processamento dos dados na borda, sem utilizar recursos em nuvem. Esta proposta é validada com base em dois estudos de casos. O primeiro estudo de caso é a aplicação de técnicas de Machine Learning e Deep Learning na agricultura, com o objetivo de desenvolver um capacete inte- ligente para realizar inspeção de doençãs em laranjas. No segundo estudo de caso ́e desenvolvida uma nova solução vestível para o reconhecimento de atividade de caminhada. Com o auxílio de três algoritmos de IA, este estudo de caso apresentou novas perspectivas para autoavaliação do usuário a partir dos dados coletados na atividade realizada. Dessa maneira, esse trabalho apresenta uma análise de aspec- tos do desenvolvimento de algoritmos de IA para integração em dois dispositivos vestíveis através da computação de borda.Item Jogos sérios como estratégia de apoio ao ensino e aprendizagem de música : aplicação do jogo Musicália na educação infantil.(2023) Lima, Wemerson Geisler de; Freitas, Alan Robert Resende de; Freitas, Alan Robert Resende de; Bianchi, Andrea Gomes Campos; Silva, Saul Emanuel Delabrida; Darin, Ticianne de Gois RibeiroO presente estudo tem como objetivo analisar a possibilidade de aplicação do jogo Musicália no processo de ensino e aprendizagem de música para crianças pequenas da Educação Infantil com base nos campos de experiência da BNCC e seus objetivos de aprendizagem e desenvolvimento. Foi realizada uma análise comparativa do jogo Musicália com os objetivos de aprendizagem e desenvolvimento dos campos de experiências para crianças pequenas da BNCC, com vistas ao desenvolvimento de uma visão crítica sobre a possibilidade de sua aplicação para o processo de ensino e aprendizagem de música por crianças da pré-escola (4 a 5 anos e 11 meses). Trata-se de uma pesquisa exploratória de abordagem qualitativa, com os resultados a serem analisados com base em uma análise de conteúdo. Foram avaliadas variáveis como usabilidade, leiturabilidade, topografia, uso de mídias, imagens e figuras e sua adequação à idade das crianças e às propostas da BNCC. Os resultados verificados nesta pesquisa demons- traram que o Musicália apresenta importantes características para ser aplicado em sala de aula no processo de ensino e aprendizagem de música para crianças da educação infantil a partir de 1 ano e 7 meses, sendo capaz de inserir a música no cotidiano dessas crianças. Todavia, ainda demanda ajustes para que fique de acordo com a BNCC e, assim, possa atingir os objetivos previstos na mesma.Item Modelo de otimização de portfólios restrito : um modelo para custos para B3 e um estudo do impacto das restrições de cardinalidade e fronteira.(2023) Chagas, Eduardo de Carvalho; Freitas, Alan Robert Resende de; Freitas, Alan Robert Resende de; Souza, Fernanda Sumika Hojo de; Silva, Rodrigo César Pedrosa; Martins, Flávio Vinícius Cruzeiro; Pimenta, AlexandreObserva-se na literatura, um grande esforço no desenvolvimento dos modelos de otimização de portfólios buscando formas melhores de mensuração de risco ao mesmo tempo em que se buscam adicionar restrições que tornam os mesmos mais próximos de uma aplicação prática pelos investidores. Entretanto, formas de mensuração de risco mais elaboradas e novas restrições tendem a tornar os algoritmos de otimização mais complexos se fazendo necessário buscar um equilíbrio entre um modelo mais realístico e um tempo de execução computacional que seja aceitável. Além disso, o mercado de ações do Brasil possui algumas peculiaridades tributárias que podem influenciar nos resultados práticos obtidos pelo investidor, mas não foram encontrados na literatura nenhum trabalho que aborde essa especificidade. Assim, esse trabalho propõe uma modelagem matemática para o cálculo de custos de transação e tributação voltado para o mercado de ações do Brasil que é apresentado num modelo de otimização de portfólios usando o MAD que considera os custos de transação sujeito as restrições de cardinalidade e de fronteira. Para os testes são utilizados os algoritmos NSGA-II e SPEA2 e procurou-se mensurar o impacto de cada restrição individualmente na qualidade das fronteiras Pareto e no tempo de execução do algoritmo. Notou-se que o NSGA-II apresentou uma vantagem em relação ao SPEA2; que apesar dos custos de transação impactarem no tempo de execução do algoritmo, a qualidade das fronteiras Pareto obtidas são muito próximas. Por fim, observou-se que enquanto a restrição de cardinalidade apresentou um impacto mais significativo nas métricas estudas a restrição de fronteira não teve um impacto menos relevante.Item Uma abordagem centrada em dados para reconhecimento de fala em português : modelo de língua e suas implicações.(2023) Alvarenga, João Paulo Reis; Luz, Eduardo José da Silva; Luz, Eduardo José da Silva; Merschmann, Luiz Henrique de Campos; Silva, Rodrigo César PedrosaOs avanços mais recentes no Reconhecimento Automático de Fala permitem alcançar uma qualidade jamais antes vista em línguas com dados abundantes, tais como o inglês, e em línguas com dados limitados, como o português. Em particular, abordagens baseadas em modelos de Transformers permitem realizar a tarefa de reconhecimento de fala diretamente a partir da representação do sinal bruto. Alguns estudos já indicam que a qualidade da transcrição pode ser melhorada ainda mais com o uso de modelos de linguagem. No entanto, o impacto real destes modelos ainda não está claro para o português brasileiro, assim como a importância da qualidade dos dados usados para treinar os modelos. Por isso, este trabalho explora o impacto dos modelos de linguagem aplicados ao reconhecimento de fala para língua portuguesa, tanto em termos de qualidade de dados quanto de desempenho computacional, com uma abordagem centrada em dados. Uma abordagem para medir a similaridade entre conjuntos de dados é proposta para auxiliar na tomada de decisão durante o treinamento. Os resultados mostram que é possível reduzir o tamanho do modelo de linguagem em ~80% e ainda alcançar taxas de erro por palavra em torno de 7,17% para o conjunto de dados Common Voice.Item Compiling general recursive functions into finite depth pattern matching.(2023) Amaro, Maycon José Jorge; Ribeiro, Rodrigo Geraldo; Ribeiro, Rodrigo Geraldo; Vieira, Bruno Lopes; Reis, Leonardo Vieira dos SantosProgramming languages are popular and diverse, and the convenience of extending or changing the behavior of complex systems is attractive even for the systems with stringent security requirements, which often impose restrictions on the programs. A very common restriction is that the program must terminate, which is very hard to check in general because the Halting Problem is undecidable. In this work, we proposed a technique to unroll recursive programs in functional languages to create terminating versions of them. We prove that our strategy is total and we also formalize term generation and run property- based tests to build confidence that the semantics is preserved through the transformation. This strategy can be used to compile general purpose functional languages to targets such as the eBPF and smart contracts for blockchain networks.Item Uma rede U-Net modificada para segmentação de lesões de pele em imagens dermatoscópicas.(2022) Araujo, Graziela Silva; Cámara Chávez, Guillermo; Oliveira, Roberta Barbosa; Cámara Chávez, Guillermo; Oliveira, Roberta Barbosa; Ferreira, Anderson Almeida; Saúde, André VitalO diagnóstico auxiliado por computador pode ser viável para o diagnóstico precoce de câncer de pele. Para isso a tarefa de segmenta- ção de imagem desempenha um papel importante. A segmentação de uma imagem é um processo do qual a imagem é dividida, e a região de interesse é destacada, nesse caso, a lesão de pele pigmentada é segmentada. A segmentação de imagens dermatoscópicas é um desa- fio para os métodos tradicionais de segmentação e também para os métodos de aprendizado de máquina devido às diferentes condições de imagem. Há uma variação significativa na cor, textura, forma, tamanho e localização nas imagens dermatoscópicas. Além disso, po- dem conter imagens com variação de iluminação e diversos artefatos, como pelos, régua, bolhas de ar/óleo e amostra de cor. As imagens dermatoscópicas são adquiridas a partir de um dermatoscópio que permite que eventuais lesões possam ser visualizadas considerando estruturas nas camadas mais profundas da pele. Enfim, a arquitetura U-Net, é amplamente utilizada na literatura para segmentar imagens dermatoscópicas. O presente trabalho propõe um modelo baseado na arquitetura U-Net para segmentação de lesão de pele em imagens dermatoscópicas. Ainda, apresenta um estudo de ablação para jus- tificar as modificações feitas no modelo U-Net original, sendo elas, o número de épocas de treinamento, tamanho da imagem, funções de ativação e otimização, dropout e número de blocos convolucionais. Experimentos foram realizados nos conjuntos de dados ISIC 2017 e ISIC 2018 e mostram que é possível chegar a um modelo simples capaz de apresentar resultados competitivos em relação a outros trabalhos de última geração com os devidos ajustes em seus parâmetros.Item Strong e Herde : jogos em 2D e 3D com características para estimular o processo cognitivo das crianças com autismo.(2022) Honorato, Noemi da Silva; Silva, Saul Emanuel Delabrida; Silva, Saul Emanuel Delabrida; Bianchi, Andrea Gomes Campos; Darin, Ticianne de Gois Ribeiro; Santos, Wilk Oliveira dosO autismo é uma síndrome cujas causas não são completamente conhecidas. É caracterizada por limitação na comunicação e socialização, atraso significativo de linguagem e deficiência intelectual. Tais limitações tem feito com que ao longo dos últimos anos, diferentes estratégias tenham sido analisadas para diminuir os aspectos negativos da síndrome. Dentre as estratégias adotadas, os jogos educativos tem ganhado destaque. Assim, no intuito de contribuir com o desenvolvimento cognitivo e aprendizagem de crianças autistas, foram desenvolvidos dois jogos, um em 2D e o outro em 3D. Além de um mapeamento sistemático, para identificar os critérios usados na elaboração de jogos sérios para autistas. Neste contexto, os jogos educativos, podem ajudar as crianças autistas, auxiliar os familiares e professores na aplicação do conteúdo pedagógico nas aulas remotas. Dessa forma, o jogo Strong é voltado a comunicação e socialização. Apresenta o ensino das cores, expressões faciais, atividades da vida diária, números, palavras e formas geométricas. O Herde é um jogo ambiental baseado em ciência cidadã, que visa facilitar a compreensão, o aprendizado e a preservação do meio ambiente. O jogo desenvolvido apresenta além de cenário e personagem, questionários de prova para fixação de conteúdo disciplinar. Os resultados esperados indicam que os jogos podem auxiliar os educadores contribuindo com i) o desenvolvimento das funções conativas, ii) funções executivas superiores, e iii) funções cognitivas das crianças.Item Logo detection with second judge single shot multibox.(2017) Coelho, Leonardo Bombonato Simões; Cámara Chávez, Guillermo; Bianchi, Andrea Gomes Campos; Cámara Chávez, Guillermo; Ferreira, Anderson Almeida; Bianchi, Andrea Gomes Campos; Schwartz, William RobsonWith the increasing popularity of Social Networks, the way people interact has changed and the huge amount of data generated open doors to new strategies and marketing analysis. According to Instagram 1 and Tumblr2 an average of 95 and 35 million photos, respectively, are published every day. These pictures contain several implicit or explicit brand logos, this allows us to research how can a brand be better widespread based in regional, temporal and cultural criteria. Using advanced computer vision techniques for object detection and recognition, we can extract information from these images, making possible to understand the impact and the comprehensiveness of a specific brand. This thesis proposes a logo detection technique based on a Convolutional Neural Network (CNN), also used as a second judge. Our proposal is built on the Single Shot Multibox (SSD). In our research, we explored several approaches of the second judge and managed to reduce significantly the number of false positives in comparison with the original approach. Our research outperformed all the others researches on two different datasets: FlickrLogos-32 and Logos-32plus. On the FlickrLogos-32, we surpass the actual state-of-the-art method by 5.2% of F-score and for the Logos-32Plus by 3.0% of F-score.Item MASLAB : um software interativo de simulação para apoio no ensino de modelagem e análise de sistemas lineares.(2022) Aguiar, Italo Almeida; Ribeiro, Rodrigo Geraldo; Ricco, Rodrigo Augusto; Ribeiro, Rodrigo Geraldo; Ricco, Rodrigo Augusto; Silva, Saul Emanuel Delabrida; Reis, Leonardo Vieira dos SantosSimulações aplicadas no contexto educacional são capazes de prover um considerável apoio no processo de aprendizado de determinada área de conhecimento. Este traba- lho propõe o desenvolvimento de um software de simulação interativo, gratuito e de código aberto para uso educacional no contexto da disciplina de Modelagem e Análise de Sistemas Lineares, nomeado MASLAB. Dentro do escopo da disciplina, MASLAB é capaz de compor e simular graficamente, dentro do escopo da disciplina, variações de cenários definidos pelos usuários, seja por visualização em tempo real ou por visuali- zação de um instante específico. Como forma se de testar as saídas do simulador, a metodologia de validação se propôs a replicar um experimento real por meio de dados previamente amostrados, de modo a se buscar uma proximidade relativa aos dados do experimento original. Por fim, são apresentados os resultados obtidos na replicação vir- tual do experimento real e a análise da proximidade esperada dos resultados obtidos no simulador.Item Modelos evolutivos para composição algorítmica afetiva.(2022) Santos, Carla Sanches Nere dos; Freitas, Alan Robert Resende de; Freitas, Alan Robert Resende de; Ribeiro, Rodrigo Geraldo; Barbosa, Rogério VasconcelosSistemas de Composição Algorítmica Afetiva buscam gerar músicas que expressam ou provocam emoções. Ainda se encontra em aberto a composição de melodias que passam todos os sentimentos presentes nos modelos emocionais. Esses sistemas podem ser utilizados em diferentes contextos, como saúde e entretenimento. Assim, pessoas podem se expressar através da música ou ter experiências de maior imersão em jogos ou filmes. Este trabalho visa identificar estratégias para realizar múltiplas transformações afetivas em melodias, de modo a passar emoções para o ouvinte. São propostos dois algoritmos transformativos: um modelo evolutivo mono-objetivo e outro multiob- jetivo, baseado no algoritmo Non-dominated Sorting Genetic Algorithm II (NSGA-II). Os resultados mostram que os dois modelos geraram melodias que passam emoções positivas e negativas. O modelo multiobjetivo alcançou melhores resultados do que o mono-objetivo. No entanto, é preciso analisar estratégias para melhorar a qualidade das melodias e alcançar mais emoções.