Menu toggle

Atenção

Apesar do tema escolhido por um candidato ser associado a um professor orientador, por conta da disponibilidade de orientação dos professores, um aluno pode ser aprovado no processo de seleção para ser orientado por um outro professor da mesma linha de pesquisa associada ao tema escolhido. No resultado da seleção, será informado o nome do orientador alocado para cada candidato aprovado.

Agentes Inteligentes e Representação do Conhecimento

Temas Pré-projeto
Ensino à Distância – Desafios superados e a serem vencidos
Extração de Informação a partir de textos semiestruturados
automação de testes
Ambientes Virtuais de Aprendizagem Gamificados
Personalização, Recomendação e Representação de Preferências
Orientador
Flávia de Almeida Barros
Patrícia Cabral de Azevedo Restelli Tedesco
Rafael Dueire Lins
Sergio Ricardo de Melo Queiroz

Aprendizagem de Máquina e Mineração

Temas Pré-projeto
Modelos Interpretáveis (White Box) de Aprendizagem de Máquina para Aplicações em Data Science
Casas inteligentes — abordagens para reconhecimento de atividades usando Aprendizagem de Máquina
Combinação de classificadores: algoritmos e aplicações
Regressão usando combinação de modelos
Análise de texto (mineração de opinião, análise de sentimento, fake news) usando combinação de classificadores
Mestrado em Data Streams+Concept Drift 2020-1-RSMB
Data Science for Evaluating Educational Behavior
Teoria da Resposta ao Item (TRI) para avaliação de algoritmos de aprendizagem de máquina
Processamento de Linguagem Natural (NLP) Aplicado à Análise de Personalidade
Aprendizagem de Máquina em problemas de Saúde Pública
Verificação de Assinaturas Manuscritas Off-line em Fluxos de Imagens (data streams)
Modelagem e Previsão de Séries Temporais na Presença de Mudanças de Conceito (Concept Drift)
Investigação e proposta de novas técnicas para geração de protótipos artificiais para o aprendizado online na presença do desbalanceamento de dados.
Algoritmos Quânticos de Aprendizagem de Máquina
Técnicas de combinação de Extreme Learning Machine e Deep Learning para problemas de big data.
Aprendizagem de Decisões em Robôs Inteligentes
Decisões sequenciais e aprendizagem por reforço
Chatbots como facilitadores de aprendizagem ou acompanhantes digitais
Mineração de Processos em ambientes reais
Orientador
Adriano Lorena Inácio de Oliveira
Fernando Maciano de Paula Neto
Germano Crispim Vasconcelos
George Darmiton da Cunha Cavalcanti
Hansenclever de França Bassani
Ricardo Bastos Cavalcante Prudêncio
Ricardo Massa Ferreira de Lima
Roberto Souto Maior de Barros
Sergio Ricardo de Melo Queiroz

Avaliação de Desempenho e Dependabilidade

Temas Pré-projeto
Arquiteturas e Protocolos para Internet das Coisas
Avaliação de Dependabilidade de Redes Virtualizadas
Avaliação de Redes Definidas por Software (SDN) e Virtualização de Funções de Rede (NFV)
Comparação de serviços e aplicações em redes LTE e 5G
Avaliação de Performabilidade de Serviços baseados em Cloud Computing
Modelagem Formal de Sistemas de Tempo Real Críticos com Restrições de Energia
Análise de Desempenho e Disponibilidade para Processamento em Nuvem de Dispositivos de IoT
Avaliação de Mecanismos de Tolerância a Falhas em Fog Computing
Orientador
Eduardo Antônio Guimarães Tavares
Paulo Romero Martins Maciel

Banco de Dados

Temas Pré-projeto
Ciência de Dados na Web
Armazenamento e Processamento de Dados Geográficos em Data Warehouse e OLAP NoSQL
Orientador
Luciano de Andrade Barbosa
Robson do Nascimento Fidalgo

Computação Evolucionária, Aprendizagem e Otimização

Temas Pré-projeto
Otimizando Custos Operacionais no Problema de Recuperação de Contêineres
Otimização do Compartilhamento de Passeio
Otimizacao em Terminais de Containers
Scheduling
Otimização em Power Systems
Orientador
Ricardo Martins de Abreu Silva
Valéria Cesário Times

Engenharia de Software e Linguagens de Programação

Temas Pré-projeto
SMART ORGANIZATIONS and DIGITAL TRANSFORMATION
Teste baseado em Princípios de Aplicações Android
Depuração Ativa
Encontrando Bugs em Bibliotecas a partir da Documentação
Testando a Web por Recompensas Financeiras
Frisk para Prototipação de Sistemas Web
ASSERT Framework for Scalable and Productive Continuous Delivery of Applications
Formalização de uma teoria de sistemas concorrentes em Coq
Ambiente integrado para relações de conformidade baseado em Coq
Avaliação do impacto da aplicação do conhecimento gerado por uma Rapid Review no suporte à decisão baseada em evidência
Avaliação da percepção de desenvolvedores de software quanto ao uso de Rapid Reviews para suporte à decisão baseada em evidência
Repositório de Revisões Sistemáticas de Literatura
Ferramentas para prevenção, detecção, e resolução de conflitos de integração de código
Precise continuous integration and delivery with smarter code integration tools
Requirements Communication in the software development process
Investigation of relationship between safety and information security
Engenharia de Software Experimental na avaliação da usabilidade em aplicações e plataformas de cidades inteligentes
Suporte a Ética na Condução de Estudos Empíricos que Envolvem Pessoas em Engenharia de Software
Compreendendo Código de Difícil Compreensão
Eficiência Energética de Aplicações Móveis
Linguagem para Modelagem de Casos de Segurança
Comunicação interpessoal na Engenharia de Requisitos*
Elicitação e Especificação de Requisitos de Sistemas Embarcados
Síntese de Software de um Subconjunto da Lógica
Teste de Regressão Efetivo, Eficiente e Escalável
Predição estática de test flakiness
Teste de Cobertura Baseado em Contexto
Determinação da Aplicabilidade de Leis de Programação utilizando SMT solver
Suporte Ferramental à Evolução de Linhas de Produtos de Software
Explorando cobertura de telas em testes automáticos para dispositivos Android
Verificação de contratos inteligentes na tecnologia Blockchain
Orientador
Augusto Cézar Alves Sampaio
Breno Alexandro Ferreira de Miranda
Marcelo Bezerra d'Amorim
Fernando José Castor de Lima Filho
Gustavo Henrique Porto de Carvalho
Jaelson Freire Brelaz de Castro
Jessyka Flavyanne Ferreira Vilela
Juliano Manabu Iyoda
Leopoldo Motta Teixeira
Márcio Lopes Cornélio
Paulo Henrique Monteiro Borba
Sérgio Castelo Branco Soares
Silvio Romero de Lemos Meira
Vinicius Cardoso Garcia

Fundamentos Matemáticos da Computação

Temas Pré-projeto
Translating Description Logic Proofs from a DL Non-Clausal Connection Calculus or DL Sequents to Natural Language
Protocolos de Confiança Distribuída baseados no Conceito de Blockchain
Grafos de Prova para Lógicas Não Clássicas
AVALIAÇÃO MULTICRITÉRIO DE INVESTIMENTO E EXTENSÕES DO MODELO DE MARKOWITZ
Orientador
Adiel Teixeira de Almeida Filho
Anjolina Grisi de Oliveira
Frederico Luiz Gonçalves de Freitas
Ruy José Guerra Barretto de Queiroz

Inteligência Computacional

Temas Pré-projeto
Métodos de aprendizado de máquina para dados quantitativos, simbólicos e relacionais
Sistemas Inteligentes para Previsão de Séries Temporais
Técnicas para Visualização de Dados Espaciais em Algoritmos Bioinspirados
Geração de Arquivos de Mídia para Teste de Software usando Transformações Inteligentes de Sinais
Usando Redes Adversárias Geradoras para Geração de Entradas de Teste Estruturadas
Sistemas Híbridos Baseados em Decomposição para Previsão de Séries Temporais
Navegação de Manipulador Móvel em Ambientes com Humanos – Estudo Comparativo
Agrupamento por Subespaço para Dados de Altas Dimensões – Estudo Comparativo
Controle Preditivo por Visão para Manipulador Móvel
Seleção de Protótipos em Problemas de Regressão para Dados Intervalares
Extração de informação em fóruns educacionais
Otimização de arquiteturas de redes neurais artificiais
Inteligência Computacional e Ética
Orientador
Adenilton José da Silva
Adriano Lorena Inácio de Oliveira
Aluizio Fausto Ribeiro Araújo
Marcelo Bezerra d'Amorim
Francisco de Assis Tenório de Carvalho
Leandro Maciel Almeida
Paulo Salgado Gomes de Mattos Neto
Renata Maria Cardoso Rodrigues de Souza
Teresa Bernarda Ludermir

Multidisciplinar

Temas Pré-projeto
Questões de gênero em eventos colaborativos limitados por tempo
Design de Ferramentas de Visualização para Análise e Avaliação de Algoritmos Genéticos
Análise Visual de Dados Espaço-temporais via Profundidade de Dados
Políticas de Encriptação
Cryptoeconomics: Problemas em Aberto
Ferramentas Computacionais para Criatividade
AVALIAÇÃO DE HEURÍSTICAS BASEADA EM EVIDÊNCIAS PARA DECISÕES EM ACESSIBILIDADE
Orientador
Adiel Teixeira de Almeida Filho
Filipe Carlos de Albuquerque Calegario
Kiev Santos da Gama
Nivan Roberto Ferreira Júnior
Ruy José Guerra Barretto de Queiroz

Processamento e Síntese de Mídias e Interação

Temas Pré-projeto
Escolha inteligente de algoritmos para binarização de documentos
Compressão eficiente de imagens 3D
Interatividade, Criatividade e Tecnologia em Games e Arte
Orientador
Geber Lisboa Ramalho
Rafael Dueire Lins

Reconhecimento de Padrões e Processamento de Sinais

Temas Pré-projeto
Detecção de Múltiplas Regiões Salientes em Cenas Naturais
Reconhecimento Automático de Acordes Musicais a partir de Áudio Digital
Segmentacao de Imagens Médicas
Reconstrução de Imagens
Sensores inteligentes aplicados no auxi?lio ao diagno?stico de doenc?as com base em odores
Orientador
Carlos Alexandre Barros de Mello
Leandro Maciel Almeida
Tsang Ing Ren

Redes de Computadores

Temas Pré-projeto
Metodologia para o monitoramento de detecção de falhas em redes de energia na indústria de Petróleo e Gás
Privacidade e Segurança em Redes de Objetos Conectados
Soluções e aplicações com suporte à mobilidade para a Internet das Coisas Definida por Software
Caracterização de Dispositivos na Internet das Coisas
Análise de Fluxos de Comunicação na Internet das Coisas
Novas arquiteturas de redes, Reprodutibilidade de experimentos e Segurança em Internet das Coisas
Orientador
Divanilson Rodrigo de Sousa Campelo
Djamel Fawzi Hadj Sadok
Kelvin Lopes Dias
Paulo André da Silva Gonçalves
José Augusto Suruagy Monteiro

Sistemas Embarcados

Temas Pré-projeto
Inteligência Computacional para Otimização de Trânsito em Grandes Cidades
Sistema embarcado baseado em biometria para interação entre condutor e veículo
Sensoriamento e Conectividade LPWAN para Aplicações no Campo
Ambiente de Desenvolvimento de Sistemas Embarcados
Geração Automática de Device Drivers para Sistemas Embarcados
Processamento Embarcado de Imagens/Sinais para Aplicações na Medicina
Internet das Coisas
Prototipação Rápida para Integração Hardware e Software na Robótica de Consumo
Suportando o Projeto de Sistemas Cyber-Physicals: Desenvolvimento de Sistemas Embarcados Inteligentes
Redes Neurais em Computação de Alto Desempenho
Redes Neurais em Computação de Alto Desempenho
Orientador
Adriano Augusto de Moraes Sarmento
Abel Guilhermino da Silva Filho
Edna Natividade da Silva Barros
Judith Kelner

Visão Computacional, Realidade Virtual e Aumentada

Temas Pré-projeto
Manutenção autônoma em Equipamentos na Indústria 4.0
Utilização de métodos computacionais inteligentes no combate do mosquito Aedes aegypti
Realidade Aumentada
Orientador
Judith Kelner
Leandro Maciel Almeida
Veronica Teichrieb

Sistemas de Comunicação

Temas Pré-projeto
Antenas de Microfita
Protocolos de Redes e Comunicação Eficientes
Orientador
Odilon Maroja da Costa Pereira Filho
Renato Mariz de Moraes

Sistemas Distribuídos

Temas Pré-projeto
Autenticação baseada no comportamento físico do usuário
Privacidade em IoT
Execução de Aplicações Multi-tenancy Auxiliada por Middleware
Orientador
Carlos André Guimarães Ferraz
Nelson Souto Rosa

Biologia Computacional

Temas Pré-projeto
Algoritmos e estruturas de dados eficientes para processamento de texto com aplicações à Biologia Computacional
Orientador
Paulo Gustavo Soares Fonseca