Banca de QUALIFICAÇÃO: CIRO MORAIS MEDEIROS

Uma banca de QUALIFICAÇÃO de DOUTORADO foi cadastrada pelo programa.
DISCENTE : CIRO MORAIS MEDEIROS
DATA : 17/12/2021
HORA: 09:30
LOCAL: online
TÍTULO:

Melhorias nas Consultas de Caminhos em Gráfos: Expressão, Avaliação e Satisfiabilidade Mínima


PALAVRAS-CHAVES:

Linguagens livres de contexto; consultas em grafos (bancos de dados); minimização de grafos.


PÁGINAS: 83
RESUMO:

Lidamos com três problemas relacionados com grafos e linguagens livres de contexto:
(1) desenvolvemos uma notação alternativa para expressar linguagens livres de contexto;
(2) concebemos, implementamos e experimentamos um algoritmo de avaliação de consultas de caminhos linguagens livres de contexto; e
(3) formalizamos o problema de minimização de grafos usando linguagens formais, para o qual desenhamos uma solução para o caso em que a linguagem é livre de contexto.


MEMBROS DA BANCA:
Presidente - 1221251 - MARTIN ALEJANDRO MUSICANTE
Interno - 1495704 - UMBERTO SOUZA DA COSTA
Externo à Instituição - MATHIEU LIEDLOFF - UDO
Externa à Instituição - MIRIAN HALDFELD FERRARI - UDO
Notícia cadastrada em: 08/12/2021 08:56
SIGAA | Superintendência de Tecnologia da Informação - (84) 3342 2210 | Copyright © 2006-2024 - UFRN - sigaa14-producao.info.ufrn.br.sigaa14-producao