Banca de DEFESA: CIRO MORAIS MEDEIROS

Uma banca de DEFESA de DOUTORADO foi cadastrada pelo programa.
STUDENT : CIRO MORAIS MEDEIROS
DATE: 30/08/2022
TIME: 09:00
LOCAL: DIMAp + Google Meet
TITLE:

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


KEY WORDS:

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


PAGES: 91
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 solutions for the cases where the formal language is regular or context-free.


COMMITTEE MEMBERS:
Externa à Instituição - CARMEM SATIE HARA - UFPR
Externo à Instituição - CÉDRIC EICHLER
Interna - 1201268 - ELIZABETH FERREIRA GOUVEA GOLDBARG
Externo à Instituição - FAROUK TOUMANI
Presidente - 1221251 - MARTIN ALEJANDRO MUSICANTE
Externo à Instituição - MATHIEU LIEDLOFF - UDO
Externa à Instituição - MIRIAN HALDFELD FERRARI - UDO
Externo à Instituição - NICOLAS TRAVERS
Externa à Instituição - NORA REYES - UNSL
Notícia cadastrada em: 23/08/2022 15:26
SIGAA | Superintendência de Tecnologia da Informação - | | Copyright © 2006-2022 - UFRN - sigaa21-producao.info.ufrn.br.sigaa21-producao