Home Teses e Dissertações Teses e Dissertações Teses de Doutorado
Teses de Doutorado
Documentos
068. Luís Henrique Bustamante de Morais
hot!
Downloads: | 5668 |
Título: Parameterized complexity investigations on the first-order satisfiability and matching problems.
Banca Examinadora:
Prof.ª Dr.ª Ana Teresa de Castro Martins (MDCC/UFC - Orientador)
Prof. Dr. Francicleber Martins Ferreira (UFC - Coorientador)
Prof. Dr. Carlos Eduardo Fisch de Brito (MDCC/UFC)
Prof. Dr. Edward Hermann Haeusler (PUC-RJ)
Prof. Dr. Mário Roberto Folhadela Benevides (UFRJ)
30 de agosto de 2019
067. Thiago Alves Rocha
hot!
Downloads: | 5605 |
Título: Synthesis of First-Order Sentences using Ehrenfeucht–Fraïssé games and Boolean Satisfiability.
Banca Examinadora:
Prof.ª Dr.ª Ana Teresa de Castro Martins (MDCC/UFC - Orientadora)
Prof. Dr. Francicleber Martins Ferreira (UFC - Coorientador)
Prof. Dr. João Fernando Lima Alcântara (MDCC/UFC)
Prof. Dr. Edward Hermann Haeusler (PUC-RJ)
Prof. Dr. Ruy José Guerra Barretto de Queiroz (UFPE)
30 de agosto de 2019
066. Daniel Nascimento Teixeira
hot!
Downloads: | 3436 |
Título: Uma técnica de decomposição de domínios a priori para geração automática de malhas tetraédricas em paralelo.
Banca Examinadora:
Prof. Dr. Joaquim Bento Cavalcante Neto (MDCC/UFC - Orientador)
Prof. Dr. Creto Augusto Vidal (MDCC/UFC - Coorientador)
Prof. Dr. Evandro Parente Júnior (UFC)
Prof. Dr. Markos Oliveira Freitas (UFC)
Prof. Dr. Luiz Fernando Campos Ramos Martha (PUC-RJ)
19 de junho de 2019
065. Rommel Dias Saraiva
hot!
Downloads: | 5659 |
Título: Mathematical programming approaches for NP-Hard constrained shortest path problems.
Banca Examinadora:
Prof. Dr. Rafael Castro de Andrade (MDCC/UFC - Orientador)
Prof. Dr. Manoel Bezerra Campêlo Neto (MDCC/UFC)
Prof.ª Dr.ª Ana Karolinna Maia de Oliveira (MDCC/UFC)
Prof. Dr. Marcos José Negreiros Gomes (UECE)
Prof. Dr. Nelson Maculan Filho (UFRJ)
Prof. Dr. Plácido Rogério Pinheiro (UNIFOR)
29 de agosto de 2019
064. Ernando Gomes de Sousa
hot!
Downloads: | 5722 |
Título: Multigraph, decomposition and BRKGA solution approaches for the Generalized Minimum Spanning Tree Problem.
Banca Examinadora:
Prof. Dr. Rafael Castro de Andrade (MDCC/UFC - Orientador)
Prof.ª Dr.ª Andréa Cynthia Santos Duhamel (UTT/França - Coorientadora)
Prof. Dr. Manoel Bezerra Campêlo Neto (MDCC/UFC)
Prof. Dr. Abílio Pereira Lucena Filho (UFRJ)
Prof. Dr. Philippe Yves Paul Michelon (UNIV-AVIGNON/França)
14 de agosto de 2019