Banca de DEFESA: CIRO MORAIS MEDEIROS

Uma banca de DEFESA de DOUTORADO foi cadastrada pelo programa.
DISCENTE : CIRO MORAIS MEDEIROS
DATA : 30/08/2022
HORA: 09:00
LOCAL: DIMAp + Google Meet
TÍTULO:

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


PALAVRAS-CHAVES:

linguages livres-de-contexto, consultas de caminhos em grafos, minimização de grafos. 


PÁGINAS: 91
RESUMO:

Nós tratamos três problemas relacionados a grafos e linguagens livres-de-contexto: (1) nós desenvolvemos uma notação alternativa para expressar linguagens livres-de-contexto; (2) nós desenvolvemos e experimentamos um algoritmo para avaliação de consultas de caminhos livres-de-contexto; e (3) nós formalizamos o prolema da minimização de grafos restrita a uma linguagem formal, para o qual desenvolvemos soluções para os casos onde a linguagem formal é regular ou livre-de-contexto.


MEMBROS DA BANCA:
Presidente - 1221251 - MARTIN ALEJANDRO MUSICANTE
Interna - 1201268 - ELIZABETH FERREIRA GOUVEA GOLDBARG
Externo à Instituição - FAROUK TOUMANI
Externo à Instituição - NICOLAS TRAVERS
Externo à Instituição - CÉDRIC EICHLER
Externa à Instituição - CARMEM SATIE HARA - UFPR
Externa à Instituição - MIRIAN HALDFELD FERRARI - UDO
Externa à Instituição - NORA REYES - UNSL
Notícia cadastrada em: 15/08/2022 19:51
SIGAA | Superintendência de Tecnologia da Informação - (84) 3342 2210 | Copyright © 2006-2024 - UFRN - sigaa03-producao.info.ufrn.br.sigaa03-producao