Banca de QUALIFICAÇÃO: CIRO MORAIS MEDEIROS

Uma banca de QUALIFICAÇÃO de DOUTORADO foi cadastrada pelo programa.
STUDENT : CIRO MORAIS MEDEIROS
DATE: 17/12/2021
TIME: 09:30
LOCAL: online
TITLE:

Improvements on Graph Path Queries:
Expression, Evaluation and Minimum
Satisfiability


KEY WORDS:

context-free languages, graph path queries, graph minimization.


PAGES: 83
BIG AREA: Ciências Exatas e da Terra
AREA: Ciência da Computação
SUBÁREA: Metodologia e Técnicas da Computação
SPECIALTY: Linguagens de Programação
SUMMARY:

We deal with three problems related to graphs and context-free languages: (1) we develop
an alternative notation for expressing context-free languages; (2) we design, implement
and experiment a context-free path query evaluation algorithm; and (3) we formalize the
formal-language-constrained graph minimization problem, for which we design a solution
for the case where the formal language is context-free.


BANKING MEMBERS:
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 - sigaa07-producao.info.ufrn.br.sigaa07-producao