Teses de Doutorado
Documentos
066. Daniel Nascimento Teixeira
Downloads: | 3417 |
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
067. Thiago Alves Rocha
Downloads: | 5583 |
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
068. Luís Henrique Bustamante de Morais
Downloads: | 5648 |
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
069. Antonio José Melo Leite Júnior
Downloads: | 4168 |
Título: Uma abordagem para a investigação de padrões de movimento e de comportamento de indivíduos empregando análise visual de Predictive Suffix Trees.
Banca Examinadora:
Prof. Dr. Creto Augusto Vidal (MDCC/UFC - Orientador)
Prof.ª Dr.ª Emanuele Marques dos Santos (MDCC/UFC - Coorientadora)
Prof. Dr. José Antonio Fernandes Mecêdo (MDCC/UFC)
Prof. Dr. Anselmo Cardoso de Paiva (UFMA)
Prof. Dr. Aura Conci (UFF)
30 de agosto de 2019
070. Rainara Maia Carvalho
Downloads: | 3568 |
Título: Correlate & lead: process and catalog of non-functional requirements correlations in ubicomp and iot systems.
Banca Examinadora:
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC - Orientadora)
Prof.ª Dr.ª Káthia Marçal de Oliveira (UPHF/França - Coorientadora)
Prof. Dr. Windson Viana de Carvalho (MDCC/UFC)
Prof.ª Dr.ª Andréia Libório Sampaio (UFC)
Prof.ª Dr.ª Cláudia Cappelli Aló (UFRJ)
Prof. Dr. Luiz Márcio Cysneiros (YORKU/Canadá)
04 de setembro de 2019