Dissertações
2024
411. Davi de Andrade Iácono
Título: (Sub)Fall coloring of graphs
Banca Examinadora:
Prof. Dr. Júlio César Silva Araújo (MDCC/UFC – Orientador)
Prof.ª Dr.ª Ana Shirley Ferreira da Silva (UniFI/Itália – Coorientadora)
Prof.ª Dr.ªAna Karolinna Maia de Oliveira (MDCC/UFC)
Prof.ª Dr.ª Diana Sasaki Nóbrega (UERJ)
Data da Defesa: 06/09/2024
410. Bárbara Stéphanie Neves Oliveira
Título: Exploring the Dependence of Text Embeddings on the Target of NLP Tasks
Banca Examinadora:
Prof. Dr. José Antonio Fernandes de Macêdo (MDCC/UFC – Orientador)
Prof.ª Dr.ª Ticiana Linhares Coelho da Silva (UFC – Coorientadora)
Prof. Dr. César Lincoln Cavalcante Mattos (MDCC/UFC)
Prof.ª Dr.ª Lívia Almada Cruz (UFC)
Data da Defesa: 30/08/2024
409. Isabely do Nascimento Costa
Título: Optimus: Mecanismo de otimização de sequência de casos de testes em sistemas autoadaptativos
Banca Examinadora:
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC – Orientadora)
Prof. Dr. Ismayle de Sousa Santos (UFC – Coorientador)
Prof.ª Dr.ª Valéria Lelli Leitão Dantas (MDCC/UFC)
Prof. Dr. Leonardo Sampaio Rocha (UECE)
Prof.ª Dr.ª Genaína Nunes Rodrigues (UnB)
Data da Defesa: 30/08/2024
408. Maria Elanne Mendes Rodrigues
Título: GamIES: Um framework para Gamificação de Sala de Aula Invertida em Engenharia de Software
Banca Examinadora:
Prof. Dr. Windson Viana de Carvalho (MDCC/UFC – Orientador)
Prof.ª Dr.ª Anna Beatriz dos Santos Marques (UFC – Coorientadora)
Prof. Dr. Lincoln Souza Rocha (MDCC/UFC)
Prof.ª Dr.ª Patrícia Freitas Campos de Vasconcelos (UFC)
Prof. Dr. Nécio de Lima Veras (IFCE)
Data da Defesa: 30/08/2024
407. Gabriela Nayara Duarte Oliveira Damazio
Título: Gamificação na Preparação para o ENADE: O uso da Plataforma Questione
Banca Examinadora:
Prof. Dr. Windson Viana de Carvalho (MDCC/UFC – Orientador)
Prof.ª Dr.ª Valéria Lelli Leitão Dantas (MDCC/UFC)
Prof. Dr. Yuri Almeida Lacerda (IFCE/Crato)
Prof. Ms. Pedro Luís Saraiva Barbosa (IFCE/Cedro)
Data da Defesa: 30/08/2024
406. Joyce Quintino Alves
Título: PERCI: Processo de Verificação de Contratos Inteligentes para aplicações IoT
Banca Examinadora:
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC – Orientadora)
Prof.ª Dr.ª Carina Teixeira de Oliveira (UFC – Coorientadora)
Prof. Dr. Emanuel Bezerra Rodrigues (MDDC/UFC)
Prof. Dr. Fernando Parente Garcia (IFCE)
Data da Defesa: 30/08/2024
405. Bruna Neves de Oliveira
Título: Investigação da adaptação do teste de usabilidade para avaliar ferramentas de visualização de redes multivariadas de forma mais abrangente
Banca Examinadora:
Prof.ª Dr.ª Emanuele Marques Rodrigues Santos (MDCC/UFC – Orientadora)
Prof. Dr. Fernando Antonio Mota Trinta (MDCC/UFC – Coorientador)
Prof.ª Dr.ª Ingrid Teixeira Monteiro (UFC/Quixadá)
Prof. Dr. Antonio José Melo Leite Junior (UFC)
Data da Defesa: 30/08/2024
404. Alexandre Magno Monteiro Santos
Título: Revelando as relações entre métodos explicativos e desempenho de agentes de aprendizado por reforço
Banca Examinadora:
Prof. Dr. Joaquim Bento Cavalcante Neto (MDCC/UFC – Orientador)
Prof. Dr. Yuri Lenon Barbosa Nogueira (MDCC/UFC – Coorientador)
Prof. Dr. Creto Augusto Vidal (MDCC/UFC)
Prof. Dr. José Gilvan Rodrigues Maia (UFC)
Me. Paulo Bruno de Sousa Serafim (GSSI/Itália)
Data da Defesa: 29/08/2024
403. Davi Lotfi Lavor Navarro da Rocha
Título: Gaussian Process Latent Variable Models for Anomaly Detection: Implementation and Practical Considerations
Banca Examinadora:
Prof. Dr. César Lincoln Cavalcante Mattos (MDCC/UFC – Orientador)
Prof. Dr. João Paulo do Vale Madeiro (MDCC/UFC)
Prof. Dr. João Paulo Pordeus Gomes (UFC)
Data da Defesa: 27/08/2024
402. Karina da Silva Castelo Branco
Título: Teste de interoperabilidade para aplicações IoT
Banca Examinadora:
Prof.ª Dr.ª Valéria Lelli Leitão Dantas (MDCC/UFC – Orientadora)
Prof. Dr. Windson Viana de Carvalho (MDCC/UFC)
Prof. Dr. Ismayle de Sousa Santos (UECE)
Prof.ª Dr.ª Kathia Marçal de Oliveira (UPHF/França)
Data da Defesa: 27/08/2024
401. Ana Beatriz da Silveira Martins
Título: Resultados Teóricos e Computacionais sobre Coloração Harmoniosa de Grafos
Banca Examinadora:
Prof. Dr. Júlio César Silva Araújo (MDCC/UFC – Orientador)
Prof. Dr. Márcio Santos Costa (UFMG – Coorientador)
Prof. Dr. Manoel Bezerra Campêlo Neto (MDCC/UFC)
Prof. Dr. Fabrício Siqueira Benevides (UFC)
Data da Defesa: 23/08/2024
400. Marcos Maciel de Castro
Título: G4DPA: Uma arquitetura para compartilhamento auditável de arquivos contendo dados pessoais
Banca Examinadora:
Prof. Dr. Miguel Franklin de Castro (MDCC/UFC – Orientador)
Prof. Dr. Dário Vieira Conceição (EFREI Paris/França – Coorientador)
Profa. Dra. Rossana Maria de Castro Andrade (MDCC/UFC)
Prof. Dr. Arlindo Flávio da Conceição (UNIFESP)
Data da Defesa: 23/08/2024
399. Ícaro da Silva Barbosa
Título: Framework de software para desenvolvimento de Tactical Shooters em Realidade Virtual
Banca Examinadora:
Prof. Dr. Creto Augusto Vidal (MDCC/UFC – Orientador)
Prof. Dr. Joaquim Bento Cavalcante Neto (MDCC/UFC – Coorientador)
Prof. Dr. Alysson Diniz dos Santos (UFC)
Prof. Dr. Antônio José Melo Leite Júnior (UFC)
Prof. Dr. George Allan Menezes Gomes (UFC)
Data da Defesa: 23/08/2024
398. Ana Alice Ximenes Mota Peres
Título: Joint learning of GP and GPLVM for Semi-Supervised Tasks
Banca Examinadora:
Prof. Dr. César Lincoln Cavalcante Mattos (MDCC/UFC – Orientador)
Prof. Dr. João Paulo do Vale Madeiro (MDCC/UFC)
Prof. Dr. João Paulo Pordeus Gomes (UFC)
Data da Defesa: 22/08/2024
397. Luís Átila Bezerra Freitas
Título: An Attention-based Machine Learning Solution for Predicting Low Left Ventricular Ejection Fraction in Chagas Disease Patients
Banca Examinadora:
Prof. Dr. João Paulo do Vale Madeiro (MDCC/UFC – Orientador)
Prof. Dr. Luís Otávio Rigo Júnior (UNILAB)
Prof. Dr. César Lincoln Cavalcante Mattos (MDDC/UFC)
Prof. Dr. João Alexandre Lôbo Marques (USJ – Macau/China)
Data da Defesa: 29/07/2024
396. Rafael Avilar Sá
Título: Improving Interoperability between Relational and Blockchain-based Database Systems: A Middleware approach
Banca Examinadora:
Prof. Dr. Javam de Castro Machado (MDCC/UFC – Orientador)
Prof. Dr. Leonardo Oliveira Moreira (UFC) – Coorientador
Prof. Dr. Angelo Roncalli Alencar Brayner (MDDC/UFC)
Prof. Dr. Victor Aguiar Evangelista de Farias (UFC)
Prof.ª Dr.ª Carmen Satie Hara (UFPR)
Data da Defesa: 26/07/2024
395. Diego Nogueira Feijó
Título: Studying the Impact of CI/CD Adoption on Atoms of Confusion Distribution and Prevalence in Open-Source Projects
Banca Examinadora:
Prof. Dr. Lincoln Souza Rocha (MDCC/UFC – Orientador)
Prof. Dr. Windson Viana de Carvalho (MDDC/UFC)
Prof. Dr. Fernando José Castor de Lima Filho (University of Twente/Países Baixos)
Data da Defesa: 29/05/2024
394. Émerson Bezerra Pinheiro
Título: Arquitetura de software e de hardware para o aprimoramento da experiência de uso de jogos de tiro virtuais no estilo point-and-click
Banca Examinadora:
Prof. Dr. Creto Augusto Vidal (MDCC/UFC – Orientador)
Prof. Dr. Joaquim Bento Cavalcante Neto (MDDC/UFC – Coorientador)
Prof. Dr. Antônio José Melo Leite Júnior (UFC)
Prof. Dr. George Allan Menezes Gomes (UFC)
Prof. Dr. Natal Anacleto Chicca Júnior (UFPE)
Data da Defesa: 12/04/2024
393. José Robertty de Freitas Costa
Título: O problema da k-Floresta Geradora Balanceada em Arestas
Banca Examinadora:
Prof. Dr. Manoel Bezerra Campêlo Neto (MDCC/UFC – Orientador)
Prof. Dr. Rafael Castro de Andrade (MDDC/UFC)
Prof. Dr. Fábio Carlos Sousa Dias (UFC)
Prof. Dr. Márcio Costa Santos (UFMG)
Data da Defesa: 20/03/2024
392. Francisco Oton Pinheiro Neto
Título: How they relate and leave: understanding atoms of confusion in open-source java projects
Banca Examinadora:
Prof. Dr. Windson Viana de Carvalho (MDCC/UFC – Orientador)
Prof. Dr. Lincoln Souza Rocha (MDDC/UFC – Coorientador)
Prof. Dr. João Bosco Ferreira Filho (UFC)
Prof. Dr. Matheus Henrique Esteves Paixão (UECE)
Data da Defesa: 29/02/2024
391. José Renato da Silva Freitas
Título: EKG Context Explorer: uma ferramenta gráfica para exploração baseada em contexto da Visão Semântica de um EKG
Banca Examinadora:
Prof.ª Dr.ª Vânia Maria Ponte Vidal (MDCC/UFC – Orientadora)
Prof. Dr. José Maria da Silva Monteiro Filho (MDDC/UFC)
Prof.ª Dr.ª Melissa Lemos Cavaliére (PUC-Rio)
Data da Defesa: 23/02/2024
390. Samir Braga Chaves
Título: Conversão Direta de 1-para-12 Derivações de Eletrocardiograma
Banca Examinadora:
Prof. Dr. José Antonio Fernandes de Macêdo (MDCC/UFC – Orientador)
Prof. Dr. Régis Pires Magalhães (UFC – Coorientador)
Prof. Dr. João Paulo do Vale Madeiro (MDDC/UFC)
Prof.ª Dr.ª Lívia Almada Cruz (UFC)
Data da Defesa: 07/02/2024
2023
389. Antônio Diogo Forte Martins
Título: Automatic Misinformation Detection About COVID-19 in Brazilian Portuguese WhatsApp Messages
Banca Examinadora:
Prof. Dr. Javam de Castro Machado (MDCC/UFC – Orientador)
Prof. Dr. José Maria da Silva Monteiro Filho (MDCC/UFC – Coorientador)
Prof. Dr. César Lincoln Cavalcante Mattos (MDDC/UFC)
Prof. Dr. Sérgio Lifschitz (PUC-RIO)
Data da Defesa: 30/11/2023
388. Lucas de Sousa Fernandes
Título: Extração de informações de imagens de documentos pessoais brasileiros com deep learning
Banca Examinadora:
Prof. Dr. Paulo Antônio Leal Rego (MDCC/UFC – Orientador)
Prof. Dr. José Gilvan Rodrigues Maia (UFC – Coorientador)
Prof. Dr. José Antônio Fernandes de Macêdo (MDCC/UFC)
Prof. Dr. Pedro Pedrosa Rebouças Filho (IFCE)
Data da Defesa: 30/11/2023
387. Francisco Gutenberg da Silva Filho
Título: Taxonomia de Faltas para Aplicações Baseadas em Microsserviços
Banca Examinadora:
Prof.ª Dr.ª Valéria Lelli Leitão Dantas (MDCC/UFC – Orientadora)
Prof.ª Dr.ª Rossana Maria de Castro Andrade (UFC – Coorientadora)
Prof. Dr. Windson Viana de Carvalho (UFC)
Prof. Dr. Ismayle de Sousa Santos (UECE)
Prof. Dr. Marcio Espíndola Freire Maia (UFC)
Data da Defesa: 29/11/2023
386. João Paulo de Araújo
Título: Aplicação da técnica de Otimização por Enxame de Partículas e Path Relink para o problema de alocação de contêineres em ambiente de dados
Banca Examinadora:
Prof. Dr. Fernando Antonio Mota Trinta (MDCC/UFC – Orientador)
Prof. Dr. Paulo Antonio Leal Rego (UFC)
Prof.ª Dr.ª Juliana Oliveira de Carvalho (UFPI)
Data da Defesa: 29/11/2023
385. Alex Felipe Ferreira Costa
Título: DITU: Processo para Gerenciamento de Dívidas Técnicas de Usabilidade
Banca Examinadora:
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC – Orientadora)
Prof.ª Dr.ª Anna Beatriz dos Santos Marques (UFC – Coorientadora)
Prof.ª Dr.ª Valéria Lelli Leitão Dantas (UFC)
Prof. Dr. Ismayle de Sousa Santos (UECE)
Prof.ª Dr.ª Patricia Freitas Campos de Vasconcelos (UFC)
Prof.ª Dr.ª Tayana Uchôa Conte (UFAM)
Data da Defesa: 28/11/2023
384. Macaio Upecor Gomes Cacabro
Título: IARA: Um Modelo Arquitetural para Auxiliar o Desenvolvimento de Chatbots Centrados na Detecção de Desinformação
Banca Examinadora:
Prof. Dr. José Maria da Silva Monteiro Filho (MDCC/UFC – Orientador)
Prof. Dr. José Wellington Franco da Silva (UFC – Coorientador)
Prof. Dr. Angelo Roncalli de Alencar Brayner (UFC)
Prof. Dr. José Gilvan Rodrigues Maia (UFC)
Data da Defesa: 27/11/2023
383. Jorge Magno Lopes Moraes
Título: DDSHP: Um Sistema para a Detecção de DDoS em IoT baseado no Parâmetro de Hurst e SDN
Banca Examinadora:
Prof. Dr. Arthur de Castro Callado (MDCC/UFC – Orientador)
Prof. Dr. Miguel Franklin de Castro (MDCC/UFC)
Prof. Dr. Carlos Alberto Kamienski (UFABC)
Data da Defesa: 24/11/2023
382. Felipe Albuquerque Brito da Silva
Título: Problema de Formação de Equipe com Caminhos Positivos
Banca Examinadora:
Prof. Dr. Manoel Bezerra Campêlo Neto (MDCC/UFC – Orientador)
Prof.ª Dr.ª Tatiane Fernandes Figueiredo (UFC – Coorientadora)
Prof. Dr. Júlio César Silva Araújo UFC)
Prof.ª Dr.ª Rosa Maria Videira de Figueiredo (Avignon Université/França)
Data da Defesa: 23/10/2023
381. Francisca Jamires da Costa
Título: Abordagem baseada na arquitetura DIKW para construção de grafos de conhecimento semântico que integram dados IoT com fontes de dados heterogêneas
Banca Examinadora:
Prof.ª Dr.ª Vânia Maria Ponte Vidal (MDCC/UFC – Orientadora)
Prof.ª Dr.ª Chiara Renso (ISTI-CRN/Itália)
Prof.ª Dr.ª Rossana Maria de Castro Andrade (UFC)
Prof. Dr. Fabio André Machado Porto (LNCC)
Data da Defesa: 02/10/2023
380. Joseane de Oliveira Vale Paiva
Título: MAXIMUM4IOT: Processo para Avaliar Requisitos Não-Funcionais em Sistemas de Internet das Coisas
Banca Examinadora:
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC – Orientadora)
Prof.ª Dr.ª Kathia Marçal de Oliveira (UPHF/França)
Prof.ª Dr.ª Rainara Maia Carvalho (UFC)
Prof.ª Dr.ª Valéria Lelli Leitão Dantas (UFC)
Data da Defesa: 28/09/2023
379. Airton Ferreira de Souza Neto
Título: Spatio-Temporal Wind Speed Forecasting with Bayesian Uncertainty Quantification
Banca Examinadora:
Prof. Dr. César Lincoln Cavalcante Mattos (MDCC/UFC – Orientador)
Prof. Dr. João Paulo Pordeus Gomes (MDCC/UFC)
Prof. Dr. João Paulo do Vale Madeiro (MDCC/UFC)
Prof. Dr. Leonardo Ramos Rodrigues (PG/EEC-ITA)
Data da Defesa: 22/08/2023
378. Felipe Cavalcante Monteiro
Título: DPNetTraffic – Compartilhamento de dados de tráfego de rede utilizando privacidade diferencial
Banca Examinadora:
Prof. Dr. Javam de Castro Machado (MDCC/UFC – Orientador)
Prof. Dr. João Paulo Pordeus (UFC)
Prof. Dr. Victor Aguiar Evangelista de Farias (UFC)
Prof. Dr. Paulo Antonio Leal Rego (UFC)
Data da Defesa: 11/08/2023
377. Paulo Henrique Gonçalves Rocha
Título: Uma solução para offloading computacional em VANETs baseada na predição do tempo de vida do enlace
Banca Examinadora:
Prof. Dr. Paulo Antonio Leal Rego (MDCC/UFC – Orientador)
Prof. Dr. Francisco Airton Silva (UFPI – Coorientador)
Prof. Dr. Fernando Antonio Mota Trinta (UFC)
Prof. Dr. José Gilvan Rodrigues Maia (UFC)
Prof. Dr. Alisson Barbosa de Souza (UFC)
Prof. Dr. Paulo Romero Martins Maciel (UFPE)
Data da Defesa: 06/07/2023
376. Bianca Maria de Melo Alves Coelho
Título: Eliot: um guia para dar suporte à avaliação longitudinal da Experiência do Usuário em sistemas de Internet das Coisas
Banca Examinadora:
Prof.ª Dr.ª Ticianne de Gois Ribeiro Darin (MDCC/UFC – Orientadora)
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC – Coorientadora)
Prof. Dr. Miguel Franklin de Castro (MDCC/UFC)
Prof.ª Dr.ª Ingrid Teixeira Monteiro (UFC)
Prof. Dr. Ismayle de Sousa Santos (UFC)
Data da Defesa: 27/06/2023
375. Emanuel Elias Silva Castelo
Título: Contributions to the k-color shortest path problem
Banca Examinadora:
Prof. Dr. Rafael Castro de Andrade (MDCC/UFC – Orientador)
Prof. Dr. Rommel Dias Saraiva (UNIFOR – Coorientador)
Prof. Dr. Manoel Bezerra Campêlo Neto (MDCC/UFC)
Prof. Dr. Thiago Ferreira de Noronha (UFMG)
Prof. Dr. Iago Augusto de Carvalho (UNIFAL)
Data da Defesa: 16/06/2023
374. Mateus Pinheiro de Góes Carneiro
Título: Simulações de daltonismo no desenvolvimento de jogos cromaticamente acessíveis para dispositivos móveis
Banca Examinadora:
Prof.ª Dr.ª Ticianne de Gois Ribeiro Darin (MDCC/UFC – Orientadora)
Prof. Dr. Windson Viana de Carvalho (UFC – Coorientador)
Prof. Dr. André Pimenta Freire (UFLA)
Prof.ª Dr.ª Kamila Rios da Hora Rodrigues (ICMC/USP)
Prof.ª Dr.ª Emanuele Marques Rodrigues Santos (UFC)
Data da Defesa: 26/05/2023
373. Francisco Antonio Ferreira de Almeida
Título: Teoria algorítmica de matroides
Banca Examinadora:
Prof. Dr. Victor Almeida Campos (MDCC/UFC – Orientador)
Prof. Dr. Manoel Bezerra Campêlo Neto (UFC)
Prof.ª Dr.ª Ana Shirley Ferreira da Silva (UFC)
Data da Defesa: 12/01/2023
2022
372. João Paulo Vital Santos
Título: DMLess: uma abordagem para gerenciamento de dados em ambientes serverless
Banca Examinadora:
Prof. Dr. Flávio Rubens de Carvalho Sousa (MDCC/UFC – Orientador)
Prof. Dr. João Marcelo Uchôa de Alencar (UFC)
Prof. Dr. João Bosco Ferreira Filho (UFC)
Data da Defesa: 30/11/2022
371. José Augusto Câmara Filho
Título: Um guia prático para apoiar tarefas preditivas em Ciência de Dados
Banca Examinadora:
Prof. Dr. José Maria Monteiro da Silva Filho (MDCC/UFC – Orientador)
Prof. Dr. João Paulo do Vale Madeiro (MDCC/UFC)
Prof. Dr. José Gilvan Rodrigues Maia (UFC)
Data da Defesa: 30/11/2022
370. Renan Alves Barbosa
Título: Um testbed para experimentação em Mobile Cloud Computig utilizando virtualização baseada em containers.
Banca Examinadora:
Prof. Dr. Paulo Antonio Leal Rego (MDCC/UFC – Orientador)
Prof. Dr. Fernando Antonio Mota Trinta (UFC)
Prof. Dr. José Neuman de Souza (UFC)
Prof. Dr. Michel Sales Bonfim (UFC)
Prof. Dr. Glauber Dias Gonçalves (UFPI)
Data da Defesa: 30/11/2022
369. Felipe Gomes Rufino Moura Paiva
Título: Estudo sobre os impactos causados pela hibridização em jogos de cartas analógicos
Banca Examinadora:
Prof. Dr. Windson Viana de Carvalho (MDCC/UFC – Orientador)
Prof. Dr. Glaudiney Moreira Mendonça Junior (UFC)
Prof. Dr. Fernando Antonio Mota Trinta (MDCC/UFC)
Prof. Dr. Carlos de Salles Soares Neto (UFMA)
Data da Defesa: 30/11/2022
368. Liana Mara Carvalho de Menezes
Título: Uma abordagem de teste baseada em guias estruturados para avaliar características IoT.
Banca Examinadora:
Prof.ª Dr.ª Valéria Lelli Leitão Dantas (MDCC/UFC – Orientadora)
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC – Coorientadora)
Prof.ª Dr.ª Atslands Rego da Rocha (UFC)
Prof. Dr. Ismayle de Sousa Santos (UFC)
Prof. Dr. Rodrigo Pereira dos Santos (UFRJ)
Data da Defesa: 29/11/2022
367. Antônio José Amâncio da Silva
Título: Towards Automatic Labeling of Exception Handling Bugs: A Case Study of 10 Years Bug-Fixing in Apache Hadoop.
Banca Examinadora:
Prof. Dr. Lincoln Souza Rocha (MDCC/UFC – Orientador)
Prof. Dr. João Paulo Pordeus Gomes (UFC)
Prof. Dr. Paulo Henrique Mendes Maia (UECE)
Data da Defesa: 25/11/2022
366. Francisco Luciano Castro Martins Júnior
Título: Uma arquitetura flexível de segurança para compartilhamento de contexto em internet das coisas
Banca Examinadora:
Prof. Dr. Arthur de Castro Callado (MDCC/UFC – Orientador)
Prof. Dr. José Neuman de Souza (UFC)
Prof. Dr. Eduardo James Pereira Souto (UFAM)
Data da Defesa: 25/11/2022
365. Breno Alef Dourado Sá
Título: Resolução de topônimos em textos não estruturados baseada em heurísticas
Banca Examinadora:
Prof. Dr. José Antônio Fernandes de Macêdo (MDCC/UFC – Orientador)
Prof.ª Dr.ª Ticiana Linhares Coelho da Silva (UFC – Coorientadora)
Prof. Dr. Flávio Rubens de Carvalho Sousa (UFC)
Dr. Vinícius Cezar Monteiro de Lira (ISTI-CNR/Itália)
Data da Defesa: 22/11/2022
364. Rubens Anderson de Sousa Silva
Título: D-CREEA: DSML para criação de jogos analógicos educacionais de cartas
Banca Examinadora:
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC – Orientadora)
Prof. Dr. Ismayle de Sousa Santos (UFC)
Prof. Dr. Windson Viana de Carvalho (UFC)
Prof. Dr. Victor Travassos Sarinho (UFES)
Data da Defesa: 21/11/2022
363. Gustavo de Oliveira Moraes
Título: EBRES: uma estratégia inteligente de substituição de páginas para banco de dados
Banca Examinadora:
Prof. Dr. Angelo Roncalli Alencar Brayner (MDCC/UFC – Orientador)
Prof. Dr. José de Aguiar Moraes Filho (SERPRO – Coorientador)
Prof. Dr. Javam de Castro Machado (UFC)
Prof. Dr. Eduardo Cunha de Almeida (UFPR)
Data da Defesa: 28/10/2022
362. Wendell Militão Fernandes Mendes
Título: Studying the prevalence of Atoms of Confusion in long-lived Java libraries
Banca Examinadora:
Prof. Dr. Windson Viana de Carvalho (MDCC/UFC – Orientador)
Prof. Dr. Lincoln Souza Rocha (UFC – Coorientador)
Prof. Dr. João Bosco Ferreira Filho (UFC)
Prof. Dr. Márcio de Medeiros Ribeiro (UFAL)
Data da Defesa: 17/10/2022
361. Marília Cristina do Carmo Viana
Título: Problema da Precificação Livre de Inveja: uma proposta de modelos matemáticos para a variante de consumidores decididos
Banca Examinadora:
Prof. Dr. Manoel Bezerra Campêlo Neto (MDCC/UFC – Orientador)
Prof. Dr. Rafael Castro de Andrade (UFC)
Prof.ª Dr.ª Tatiane Fernandes Figueiredo (UFC)
Prof.ª Dr.ª Rosiane de Freitas Rodrigues (UFAM)
Data da Defesa: 22/07/2022
360. Maria de Lourdes Maia Silva
Título: Ativando λ-justiça: não-discriminação algorítmica em árvores de decisão
Banca Examinadora:
Prof. Dr. Javam de Castro Machado (MDCC/UFC – Orientador)
Prof. Dr. Cesar Lincoln Mattos (MDCC/UFC)
Prof. Dr. Victor Aguiar Evangelista de Farias (UFC)
Prof. Dr. Sérgio Lifschitz (PUC-RIO)
Data da Defesa: 22/04/2022
359. Juliana Peixoto Silva Alencar
Título: Deep neural networks for pavements distress detection.
Banca Examinadora:
Prof. Dr. João Paulo Pordeus Gomes (MDCC/UFC – Orientador)
Prof. Dr. Cesar Lincoln Cavalcante Mattos (UFC – Coorientador)
Prof. Dr. João Paulo do Vale Madeiro (UFC)
Prof. Dr. Ajalmar Rego Rocha Neto (IFCE)
Data da Defesa: 23/03/2022
358. Erison Miller Santos Mesquita
Título: Mapa de sombras geométricas não sobrepostas.
Banca Examinadora:
Prof. Dr. Creto Augusto Vidal (MDCC/UFC – Orientador)
Prof. Dr. Joaquim Bento Cavalcante Neto (UFC – Coorientador)
Prof. Dr. Rafael Fernandes Ivo (UFC)
Prof. Dr. José Gilvan Rodrigues Maia (UFC)
Data da Defesa: 10/02/2022
2021
357. Lucas Cabral Carneiro da Cunha
Título: FakeWhatsApp.BR: detecção de desinformação e desinformadores em grupos públicos do WhatsApp em PT-BR
Banca Examinadora:
Prof. Dr. José Maria da Silva Monteiro Filho (MDCC/UFC – Orientador)
Prof. Ms. José Wellington Franco da Silva (UFC)
Prof. Dr. César Lincoln Cavalcante Mattos (UFC)
Prof.ª Dr.ª Jonice de Oliveira Sampaio (UFRJ)
Data da Defesa: 22/12/2021
356. Davidson Alves Nunes
Título: Uso clínico dos códigos CID: um estudo exploratório em larga escala
Banca Examinadora:
Prof. Dr. João Bosco Ferreira Filho (MDCC/UFC – Orientador)
Prof. Dr. Luciano Heitor Gallegos Marin (UFPR)
Prof. Dr. Flávio Rubens de Carvalho Sousa (UFC)
Prof. Dr. João Paulo Pordeus Gomes (UFC)
Data da Defesa: 26/11/2021
355. Bruno Menezes Rocha
Título: Uma abordagem de dois níveis baseada em verificação de modelos de uma lógica modal para auxiliar na análise de conformidade arquitetural de software
Banca Examinadora:
Prof.ª Dr.ª Ana Teresa de Castro Martins (MDCC/UFC – Orientadora)
Prof. Dr. Thiago Alves Rocha (IFCE – Coorientador)
Prof. Dr. João Fernando Lima Alcântara (UFC)
Prof. Dr. Lincoln Souza Rocha (UFC)
Prof. Dr. Edward Hermann Haeusler (PUC-RIO)
Prof. Dr. Francicleber Martins Ferreira (UFC)
Data da Defesa: 29/10/2021
354. Ícaro Manfrinni Rodrigues Sousa
Título: Geração automática de modelos geométricos de pontes e viadutos
Banca Examinadora:
Prof. Dr. Creto Augusto Vidal (MDCC/UFC – Orientador)
Prof. Dr. Joaquim Bento Cavalcante Neto (UFC – Coorientador)
Prof. Dr. Joaquim Eduardo Mota (UFC)
Prof. Dr. Valério da Silva Almeida (USP)
Data da Defesa: 30/07/2021
353. Paulo Filipe dos Santos Dantas
Título: ViSCo (View, Scan, and Control it): uso de visão computacional para descoberta de serviços em ambientes residenciais inteligentes
Banca Examinadora:
Prof. Dr. Windson Viana de Carvalho (MDCC/UFC – Orientador)
Prof. Dr. José Gilvan Rodrigues Maia (UFC – Coorientador)
Prof. Dr. Márcio Espíndola Freire Maia (UFC)
Prof. Dr. Fernando Antonio Mota Trinta (UFC)
Prof. Dr. Kiev Santos da Gama (UFPE)
Data da Defesa: 30/04/2021
352. Matheus Mayron Lima de Cruz
Título: Uma abordagem para construção de mashups de dados especificados como uma visão sobre um EKG
Banca Examinadora:
Prof.ª Dr.ª Vânia Maria Ponte Vidal (MDCC/UFC – Orientadora)
Prof. Dr. José Maria da Silva Monteiro Filho (UFC)
Prof. Dr. Angelo Roncalli Alencar Brayner (UFC)
Prof. Dr. José Gilvan Rodrigues Maia (UFC)
Data da Defesa: 30/04/2021
351. André de Oliveira Bastos
Título: S-VIDIA – A Visual Analytics Approach to Facilitate Diagnosing Spatial Interpolation Models.
Banca Examinadora:
Prof.ª Dr.ª Emanuele Marques dos Santos (MDCC/UFC – Orientadora)
Prof. Dr. João Paulo Pordeus Gomes(UFC)
Prof. Dr. George Allan Menezes Gomes (UFC)
Prof. Dr. Luciano Andrade Barbosa (UFPE)
Data da Defesa: 30/04/2021
350. Erick Lima Trentini
Título: Soluções em detecção de anomalias em séries temporais multivariadas utilizando modelos preditivos.
Banca Examinadora:
Prof. Dr. José Antonio Fernandes de Macêdo (MDCC/UFC – Orientador)
Prof.ª Dr.ª Ticiana Linhares Coelho da Silva (UFC – Coorientadora)
Prof. Dr. Leopoldo Melo Junior (UFC)
Prof. Dr. César Lincoln Cavalcante Mattos (UFC)
Data da Defesa: 30/04/2021
349. Nicodemos Freitas
Título: Predição de casos de dengue na cidade de Fortaleza-CE utilizando internet das coisas e aprendizado de máquina
Banca Examinadora:
Prof. Dr. Emanuel Bezerra Rodrigues (MDCC/UFC – Orientador)
Prof. Dr. Miguel Franklin de Castro (UFC – Coorientador)
Prof. Dr. Paulo Antonio Leal Rego (UFC)
Prof. Dr. Antonio Mauro Barbosa de Oliveira (IFCE)
Data da Defesa: 30/04/2021
348. Gabriel Hellen de Sousa
Título: Problema da árvore t-spanner de custo mínimo
Banca Examinadora:
Prof. Dr. Manoel Bezerra Campêlo Neto (MDCC/UFC – Orientador)
Prof. Dr. Rafael Castro de Andrade (UFC)
Prof. Dr. Phablo Fernando Soares Moura (UFMG)
Data da Defesa: 29/04/2021
347. Ivandro Claudino de Sá
Título: Digital lighthouse: a platform for monitoring misinformation in WhatsApp public groups
Banca Examinadora:
Prof. Dr. José Maria da Silva Monteiro Filho (MDCC/UFC – Orientador)
Prof. Dr. Angelo Roncalli Alencar Brayner (UFC)
Prof. Dr. José Gilvan Rodrigues Maia (UFC)
Data da Defesa: 23/04/2021
346. George Edson Albuquerque Pinto
Título: Otimalidade dinâmica: um survey
Banca Examinadora:
Prof. Dr. Victor Almeida Campos (MDCC/UFC – Orientador)
Prof. Dr. Manoel Bezerra Campêlo Neto (UFC)
Prof. Dr. Carlos Vinícius Gomes Costa Lima (UFCA)
Prof. Dr. Nicolas de Almeida Martins (UNILAB)
Data da Defesa: 29/03/2021
345. Vitória Regina Nicolau Silvestre
Título: DOP-MS: Serviço de offloading de dados usando uma arquitetura de microsserviços com suporte a anonimização de dados
Banca Examinadora:
Prof. Dr. Fernando Antonio Mota Trinta (MDCC/UFC – Orientador)
Prof. Dr. Lincoln Souza Rocha (UFC – Coorientador)
Prof. Dr. Paulo Antonio Leal Rêgo (UFC)
Prof. Dr. Vinícius Cardoso Garcia (UFPE)
Data da Defesa: 25/02/2021
344. Michael Ferreira de Sousa
Título: VOLLEYJUMP 2.0: Uma abordagem computacional para análise e classificação de saltos em voleibol baseada em múltiplos sensores.
Banca Examinadora:
Prof. Dr. Fernando Antonio Mota Trinta (MDCC/UFC – Orientador)
Prof. Dr. João Paulo Pordeus Gomes (UFC)
Prof. Dr. César Lincoln Cavalcante Mattos (UFC)
Prof. Dr. Ajalmar Rego da Rocha Neto (IFCE)
Data da Defesa: 25/02/2021
343. Douglas Bandeira Ivo
Título: Um modelo para representação flexível de grupos sociais em simulação de multidão
Banca Examinadora:
Prof. Dr. Joaquim Bento Cavalcante-Neto (MDCC/UFC – Orientador)
Prof. Dr. Creto Augusto Vidal (MDCC/UFC – Coorientador)
Prof. Dr. José Gilvan Rodrigues Maia (UFC)
Prof.ª Dr.ª Soraia Raupp Musse (PUCRS)
Data da Defesa: 19/02/2021
342. Arthur Silva Bastos
Título: O uso de técnicas de testes com usuário combinadas com visualização de dados para aperfeiçoar um jogo masocore de plataforma 2D
Banca Examinadora:
Prof.ª Dr.ª Emanuele Marques dos Santos (MDCC/UFC – Orientadora)
Prof. Dr. George Allan Menezes Gomes (UFC – Coorientador)
Prof. Dr. Creto Augusto Vidal (UFC)
Prof. Dr. Windson Viana de Carvalho (UFC)
Prof. Dr. Esteban Walter Gonzalez Clua (UFF)
Data da Defesa: 10/02/2021
2020
341. Carlos Sérgio da Silva Marinho
Título: MOON: An approach to data management on relational database and blockchain
Banca Examinadora:
Prof. Dr. Javam de Castro Machado (MDCC/UFC – Orientador)
Prof. Dr. Leonardo Oliveira Moreira (UFC – Coorientador)
Prof. Dr. Flávio Rubens de Carvalho Sousa (UFC)
Prof. Dr. Paulo Henrique Mendes Maia (UECE)
Data da Defesa: 23/11/2020
340. Israel de Castro Vidal
Título: ProTECting: garantindo a privacidade de dados gerados em casas inteligentes localmente na borda da rede
Banca Examinadora:
Prof. Dr. Javam de Castro Machado (MDCC/UFC – Orientador)
Prof. Dr. José Maria da Silva Monteiro Filho (UFC – Coorientador)
Prof. Dr. Leonardo Oliveira Moreira (UFC)
Prof. Dr. Carlos Eduardo Santos Pires (UFCG)
Data da Defesa: 09/10/2020
339. Erick Barros dos Santos
Título: RETAkE: Abordagem para teste em tempo de execução de sistemas dinamicamente adaptativos
Banca Examinadora:
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC – Orientadora)
Prof. Dr. Ismayle de Sousa Santos (UFC – Coorientador)
Prof. Dr. Marcio Espíndola Freire Maia (UFC)
Prof.ª Dr.ª Valéria Lelli Leitão Dantas (UFC)
Prof. Dr. Pedro de Alcântara dos Santos Neto (UFPI)
Data da Defesa: 11/09/2020
338. Daniel Augusto Ramos Macedo Antunes de Souza
Título: Contributions on latent projections for Gaussian process modeling
Banca Examinadora:
Prof. Dr. João Paulo Pordeus Gomes (MDCC/UFC – Orientador)
Prof. Dr. César Lincoln Cavalcante Mattos (MDCC/UFC – Coorientador)
Prof. Dr. Felipe Tobar (Universidad de Chile)
Prof. Dr. Amauri Holanda de Souza Júnior (IFCE)
Data da Defesa: 09/09/ 2020
337. Thiago de Paula Vasconcelos
Título: Contributions on portfolio-based Bayesian optimization
Banca Examinadora:
Prof. Dr. João Paulo Pordeus Gomes (MDCC/UFC – Orientador)
Prof. Dr. César Lincoln Cavalcante Mattos (MDCC/UFC – Coorientador)
Prof. Dr. Ricardo Bastos Cavalcante Prudêncio (UFPE)
Prof. Dr. Amauri Holanda de Souza Júnior (IFCE)
Data da Defesa: 11/08/2020
336. Abelardo Vieira Mota
Título: Uma solução baseada em template e multi-solução para geração de textos a partir de triplas
Banca Examinadora:
Prof. Dr. José Antônio Fernandes de Macêdo (MDCC/UFC – Orientador)
Prof.ª Dr.ª Ticiana Linhares Coelho da Silva (UFC – Coorientadora)
Prof. Dr. César Lincoln Cavalcante Mattos (UFC)
Prof. Dr. Régis Pires Magalhães (UFC)
Data da Defesa: 15/07/2020
335. Tulio Vidal Rolim
Título: Sisifo: uma abordagem semântica para construção de Enterprise Knowledge Graphs
Banca Examinadora:
Prof.ª Dr.ª Vânia Maria Ponte Vidal (MDCC/UFC – Orientador)
Prof. Dr. José Maria da Silva Monteiro Filho (MDCC/UFC)
Prof. Dr. José Gilvan Rodrigues Maia (UFC)
Data da Defesa: 10/03/2020
334. Rodolfo Felipe Sganzerla Sabino
Título: Explorando o hardware gráfico: desenvolvimento de algoritmos paralelos de computação de OBBs, geração de hierarquia de volumes, modelagem de BVH de dois níveis e implementação de uma pipeline de renderização híbrida
Banca Examinadora:
Prof. Dr. Creto Augusto Vidal (MDCC/UFC – Orientador)
Prof. Dr. Joaquim Bento Cavalcante Neto (MDCC/UFC – Coorientador)
Prof. Dr. José Gilvan Rodrigues Maia (UFC)
Data da Defesa: 09/03/2020
333. Francisco Lucas Falcão Pereira
Título: Usando modelos de detecção de anomalias para identificação de falhas em discos rígidos.
Banca Examinadora:
Prof. Dr. João Paulo Pordeus Gomes (MDCC/UFC – Orientador)
Prof. Dr. Javam de Castro Machado (MDCC/UFC – Coorientador)
Prof. Dr. César Lincoln Cavalcante Mattos (MDCC/UFC)
Prof. Dr. Ajalmar Rego Rocha Neto (IFCE)
Data da Defesa: 09/03/2020
332. Efraim Naassom Helem Dantas Rodrigues
Título: Coloração k-imprópria gulosa
Banca Examinadora:
Prof.ª Dr.ª Cláudia Linhares Sales (MDCC/UFC – Orientadora)
Prof.ª Dr.ª Ana Karolinna Maia de Oliveira (MDCC/UFC)
Prof. Dr. Tibérius de Oliveira e Bonates (UFC)
Prof. Dr. Vinicius Fernandes dos Santos (UFMG)
Data da Defesa: 06/03/2020
331. Francisco Daniel Bezerra de Souza Praciano
Título: Refinamento das estimativas de cardinalidade no processamento de consultas
Banca Examinadora:
Prof. Dr. Javam de Castro Machado (MDCC/UFC – Orientador)
Prof.ª Dr.ª Carmem Satie Hara (UFPR)
Prof. Dr. Ângelo Roncalli Alencar Brayner (MDCC/UFC)
Data da Defesa: 03/03/2020
330. Francisco Carlos Freire Nunes Junior
Título: Geração de mapas de hotspots em redes de ruas para predição de crimes
Banca Examinadora:
Prof. Dr. José Antonio Fernandes de Macêdo (MDCC/UFC – Orientador)
Prof.ª Dr.ª Ticiana Linhares Coelho da Silva (UFC – Coorientadora)
Prof.ª Dr.ª Emanuele Marques dos Santos (MDCC/UFC)
Prof. Dr. César Lincoln Cavalcante Mattos (MDCC/UFC)
Prof. Dr. Wellington Clay Porcino (FNSP)
Prof.ª Dr.ª Vania Bogorny (UFSC)
Data da Defesa: 28/02/2020
329. Cristiano Sousa Melo
Título: Supporting change-prone class prediction
Banca Examinadora:
Prof. Dr. José Maria da Silva Monteiro Filho (MDCC/UFC – Orientador)
Prof. Dr. João Paulo Pordeus Gomes (MDCC/UFC)
Prof. Dr. César Lincoln Cavalcante Mattos (MDCC/UFC)
Prof. Dr. Gustavo Augusto Lima de Campos (UECE)
Data da Defesa: 22/02/2020
328. Pedro Jorge de Abreu Figueredo
Título: O problema da floresta geradora k-rotulada
Banca Examinadora:
Prof. Dr. Manoel Bezerra Campêlo Neto (MDCC/UFC – Orientador)
Prof. Dr. Rafael Castro de Andrade (MDCC/UFC)
Prof. Dr. Lucídio dos Anjos Formiga Cabral (UFPB)
Prof. Dr. Marcos José Negreiros Gomes (UECE)
Data da Defesa: 10/02/2020
327. Caio Viktor da Silva Ávila
Título: Conquest: um framework para a construção de chatbots de IQA baseados em templates sobre knowledges graphs
Banca Examinadora:
Prof.ª Dr.ª Vânia Maria Ponte Vidal (MDCC/UFC – Orientadora)
Prof. Dr. Ângelo Roncalli Alencar Brayner (MDCC/UFC)
Prof. Dr. José Maria da Silva Monteiro Filho (MDCC/UFC)
Prof.ª Dr.ª Vládia Célia Pinheiro (UNIFOR)
Data da Defesa: 10/02/2020
2019
326. Lucas Peres Gaspar
Título: Consultas sobre fontes de dados ligados baseadas em reconhecimento de entidades nomeadas
Banca Examinadora:
Prof. Dr. José Antonio Fernandes de Macêdo (MDCC/UFC – Orientador)
Prof.ª Dr.ª Ticiana Linhares Coelho da Silva (UFC – Coorientadora)
Prof. Dr. César Lincoln Cavalcante Mattos (MDCC/UFC)
Prof. Dr. Marco Antônio Casanova (PUC-RJ)
Data da Defesa: 16/12/2019
325. Eder Clayton Medeiros Gomes
Título: FLEXMVCC: Uma Abordagem Flexível para Protocolos de Controle de Concorrência Multi-versão.
Banca Examinadora:
Prof. Dr. Javam de Castro Machado (MDCC/UFC – Orientador)
Prof. Dr. José Maria da Silva Monteiro Filho (MDCC/UFC)
Prof. Dr. Paulo Henrique Mendes Maia (UECE)
Data da Defesa: 29/11/2019
324. Luan Pereira Lima
Título: Understanding the effectiveness of exception handling testing in long-lived Java libraries
Banca Examinadora:
Prof. Dr. Lincoln Souza Rocha (MDCC/UFC – Orientador)
Prof.ª Dr.ª Carla Ilane Moreira Bezerra (UFC – Coorientadora)
Prof. Dr. João Bosco Ferreira Filho (MDCC/UFC)
Prof. Dr. Paulo Henrique Mendes Maia (UECE)
Prof. Dr. Matheus Henrique Esteves Paixão (UNIFOR)
Data da Defesa: 29/11/2019
323. Pedro Paiva Alves
Título: Uma abordagem sensível a contexto para offloading de processamento
Banca Examinadora:
Prof. Dr. Fernando Antonio Mota Trinta (MDCC/UFC – Orientador)
Prof. Dr. Paulo Antonio Leal Rêgo (MDCC/UFC – Coorientador)
Prof. Dr. Emanuel Ferreira Coutinho (UFC)
Data da Defesa: 29/11/2019
322. Davi Braga Gomes
Título: ETERNAL: Uma estratégia eficiente de tolerância a falhas utilizando memória não-volátil.
Banca Examinadora:
Prof. Dr. Javam de Castro Machado (MDCC/UFC – Orientador)
Prof. Dr. Ângelo Roncalli Alencar Brayner (MDCC/UFC – Coorientador)
Prof. Dr. José Maria da Silva Monteiro Filho (MDCC/UFC)
Prof. Dr. José de Aguiar Moraes Filho (UNIFOR)
Data da Defesa: 29/11/2019
321. Iago Avelino Trajano
Título: MedPath: A process-based modeling language for designing care pathways.
Banca Examinadora:
Prof. Dr. João Bosco Ferreira Filho (MDCC/UFC – Orientador)
Prof. Dr. Flávio Rubens de Carvalho Sousa (MDCC/UFC – Coorientador)
Prof. Dr. Windson Viana de Carvalho (MDCC/UFC)
Prof. Dr. Paulo Henrique Mendes Maia (UECE)
Data da Defesa: 28/11/2019
320. Patrícia de Sousa Paula
Título: Utilização de inteligência de enxame em UAVs para busca de alvo fixo de localização desconhecida
Banca Examinadora:
Prof. Dr. Miguel Franklin de Castro (MDCC/UFC – Orientador)
Prof. Dr. Gabriel Antoine Louis Paillard (UFC – Coorientador)
Prof. Dr. Arthur de Castro Callado (MDCC/UFC)
Data da Defesa: 28/11/2019
319. Alexandre Ribeiro Cajazeira Ramos
Título: Uma abordagem de partição e interpolação de conjuntos de polígonos para visualização temporal de fenômenos geoespaciais
Banca Examinadora:
Prof.ª Dr.ª Emanuele Marques dos Santos (MDCC/UFC – Orientadora)
Prof. Dr. Joaquim Bento Cavalcante Neto (MDCC/UFC – Coorientador)
Prof. Dr. Creto Augusto Vidal (MDCC/UFC)
Prof. Dr. José Gilvan Rodrigues Maia (UFC)
Data da Defesa: 28/11/2019
318. Bruno Sabóia Aragão
Título: TestDCat: Catalog of Test Debt Subtypes and Management Activities
Banca Examinadora:
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC – Orientadora)
Prof. Dr. Joaquim Bento Cavalcante Neto (MDCC/UFC)
Prof.ª Dr.ª Valéria Lelli Leitão Dantas (MDCC/UFC)
Dr. Ismayle de Sousa Santos (UFC)
Prof. Dr. Rodrigo Oliveira Spínola (UNIFACS)
Data da Defesa: 28/11/2019
317. Nayana Thércia Carneiro Lima
Título: VALERIE: Um guia para elaboração de entrevistas semiestruturadas para avaliação de player experience em jogos baseados em localização
Banca Examinadora:
Prof. Dr. Windson Viana de Carvalho (MDCC/UFC – Orientador)
Prof.ª Dr.ª Ticianne de Góis Ribeiro Darin (UFC – Coorientadora)
Prof.ª Dr.ª Emanuele Marques dos Santos (MDCC/UFC)
Prof. Dr. Alysson Diniz dos Santos (UFC)
Prof. Dr. Cristiano Maciel (UFMT)
Data da Defesa: 28/11/2019
316. Pablo Rocha Ximenes Ponte
Título: TARP Fingerprinting: a countermeasure resistant HTML5 Canvas based browser Fingerprinting mechanism.
Banca Examinadora:
Prof. Dr. Miguel Franklin de Castro (MDCC/UFC – Orientador)
Prof. Dr. Fernando Antonio de Carvalho Gomes (UFC – Coorientador)
Prof. Dr. Ângelo Roncalli Alencar Brayner (MDCC/UFC)
Prof. Dr. André Luiz Moura dos Santos (UECE)
Data da Defesa: 27/11/2019
315. Felipe Zschornack Rodrigues Saraiva
Título: Aspect term extraction via BLSTM-CRF with attention on word dependencies
Banca Examinadora:
Prof. Dr. José Antonio Fernandes de Macêdo (MDCC/UFC – Orientador)
Prof. Dr. João Paulo Pordeus Gomes(MDCC/UFC)
Prof.ª Dr.ª Ticiana Linhares Coelho da Silva (UFC)
Prof.ª Dr.ª Vládia Célia Monteiro Pinheiro (UNIFOR)
Data da Defesa: 27/11/2019
314. Felipe Melo Soares
Título: Compressão de sentenças sobre domínios com disponibilidade limitada de dados rotulados
Banca Examinadora:
Prof. Dr. José Antonio Fernandes de Macêdo (MDCC/UFC – Orientador)
Prof.ª Dr.ª Ticiana Linhares Coelho da Silva (UFC – Coorientadora)
Prof. Dr. João Paulo Pordeus Gomes(MDCC/UFC)
Prof.ª Dr.ª Vládia Célia Monteiro Pinheiro (UNIFOR)
Data da Defesa: 27/11/2019
313. Amanda Oliveira de Sousa
Título: Medidas para avaliação da confiabilidade de sistemas autoadaptativos
Banca Examinadora:
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC – Orientadora)
Prof.ª Dr.ª Carla Ilane Moreira Bezerra (UFC – Coorientadora)
Prof. Dr. José Maria da Silva Monteiro Filho (MDCC/UFC)
Prof. Dr. Márcio Espíndola Freire Maia (UFC)
Prof. Dr. Gibeon Soares de Aquino Júnior (UFRN)
Prof. Dr. Rafael Capilla Sevilla (URJC – Espanha)
Data da Defesa: 26/11/2019
312. Pedro Teixeira de Araújo
Título: FCTOOL: uma ferramenta para a geração de roteiros adaptativos de aulas invertidas de sistemas distribuídos
Banca Examinadora:
Prof. Dr. Windson Viana de Carvalho (MDCC/UFC – Orientador)
Prof. Dr. Flávio Rubens de Carvalho Sousa (MDCC/UFC)
Prof. Dr. José Aires de Castro Filho (UFC)
Prof. Dr. Nabor das Chagas Mendonça (UNIFOR)
Data da Defesa: 22/11/2019
311. Anderson Severo de Matos
Título: Splitting APIs: An exploratory study of software unbundling
Banca Examinadora:
Prof. Dr. Lincoln Souza Rocha (MDCC/UFC – Orientador)
Prof. Dr. João Bosco Ferreira Filho (MDCC/UFC – Coorientador)
Prof. Dr. Paulo Henrique Mendes Maia (UECE)
Prof. Dr. Gustavo Henrique Lima Pinto (UFPA)
Data da Defesa: 22/11/2019
310. João Carlos da Cruz de Lima
Título: Garantia de QoS no núcleo da rede móvel celular de quinta geração utilizando redes definidas por software
Banca Examinadora:
Prof. Dr. Emanuel Bezerra Rodrigues (MDCC/UFC – Orientador)
Prof. Dr. José Neuman de Souza (MDCC/UFC)
Prof. Dr. Miguel Franklin de Castro (MDCC/UFC)
Prof. Dr. Rafael Lopes Gomes (UECE)
Data da Defesa: 22/11/2019
309. Nykolas Mayko Maia Barbosa
Título: Modelos de regressão linear para dados intervalares usando transformações logarítmicas
Banca Examinadora:
Prof. Dr. João Paulo Pordeus Gomes (MDCC/UFC – Orientador)
Prof. Dr. César Lincoln Cavalcante Mattos (MDCC/UFC – Coorientador)
Prof. Dr. João Fernando Lima Alcântara (MDCC/UFC)
Prof. Dr. Leonardo Ramos Rodrigues (IAE)
Data da Defesa: 31/10/2019
308. Adriano Lima Cândido
Título: Migração de uma plataforma de offloading para a abordagem de microsserviços
Banca Examinadora:
Prof. Dr. Fernando Antonio Mota Trinta (MDCC/UFC – Orientador)
Prof. Dr. Paulo Antonio Leal Rêgo (MDCC/UFC – Coorientador)
Prof. Dr. João Bosco Ferreira Filho (MDCC/UFC)
Prof. Dr. Gibeon Soares de Aquino Júnior (UFRN)
Data da Defesa: 25/10/2019
307. Renan Pereira de Figueiredo
Título: Automated verification of care pathways using constraint programming
Banca Examinadora:
Prof. Dr. João Bosco Ferreira Filho (MDCC/UFC – Orientador)
Prof. Dr. Lincoln Souza Rocha (MDCC/UFC)
Prof. Dr. João Fernando Lima Alcântara (MDCC/UFC)
Prof. Dr. Paulo Henrique Mendes Maia (UECE)
Data da Defesa: 07/10/2019
306. Maria Isabel Vasconcelos Lima
Título: Uma estratégia para ajuste automático de parâmetros de configuração em sistemas de banco de dados.
Banca Examinadora:
Prof. Dr. Javam de Castro Machado (MDCC/UFC – Orientador)
Prof. Dr. José Maria da Silva Monteiro Filho (MDCC/UFC)
Prof. Dr. César Lincoln Cavalcante Mattos (MDCC/UFC)
Prof. Dr. Sérgio Lifschitz (PUC-RJ)
Data da Defesa: 14/06/2019
305. Namom Alves Alencar
Título: Scan and join operators for asymmetric media
Banca Examinadora:
Prof. Dr. José Maria da Silva Monteiro Filho (MDCC/UFC – Orientador)
Prof. Dr. Ângelo Roncalli Alencar Brayner (MDCC/UFC – Orientador)
Prof. Dr. José de Aguiar Moraes Filho (UNIFOR)
Data da Defesa: 31/05/2019
304. Rafael da Silva Albuquerque
Título: A rough sets-based rule induction for numerical datasets
Banca Examinadora:
Prof. Dr. João Fernando Lima Alcântara (MDCC/UFC – Orientador)
Prof.ª Dr.ª Ana Teresa de Castro Martins (MDCC/UFC)
Prof. Dr. César Lincoln Cavalcante Mattos (MDCC/UFC)
Prof. Dr. Ajalmar Rêgo da Rocha Neto (IFCE)
Data da Defesa: 12/03/2019
303. José Serafim da Costa Filho
Título: An adaptive replica placement approach for distributed key-value stores
Banca Examinadora:
Prof. Dr. Javam de Castro Machado (MDCC/UFC – Orientador)
Prof. Dr. Leonardo Oliveira Moreira (UFC – Coorientador)
Prof. Dr. João Paulo Pordeus Gomes (MDCC/UFC)
Prof. Dr. Marcial Porto Fernandez (UECE)
Data da Defesa: 12/03/2019
302. Diêgo Farias de Oliveira
Título: Máquina de aprendizagem mínima para dados intervalares.
Banca Examinadora:
Prof. Dr. João Paulo Pordeus Gomes (MDCC/UFC – Orientador)
Prof. Dr. João Fernando Lima Alcântara (MDCC/UFC)
Prof. Dr. Leonardo Ramos Rodrigues (IAE)
Data da Defesa: 11/03/2019
301. Eduardo Rodrigues Duarte Neto
Título: Uma abordagem de privacidade de dados em serviços baseados em localização
Banca Examinadora:
Prof. Dr. Javam de Castro Machado (MDCC/UFC – Orientador)
Prof. Dr. César Lincoln Cavalcante Mattos (MDCC/UFC)
Prof. Dr. Daniel Cardoso Moraes de Oliveira (UFF)
Data da Defesa: 11/03/2019
300. Jonas Costa Ferreira da Silva
Título: Um estudo de redes com fluxos ramificados arco-disjuntos
Banca Examinadora:
Prof.ª Dr.ª Ana Karolinna Maia de Oliveira (MDCC/UFC – Orientadora)
Prof.ª Dr.ª Cláudia Linhares Sales (MDCC/UFC – Coorientadora)
Prof. Dr. Manoel Bezerra Campêlo Neto (MDCC/UFC)
Prof. Dr. Raphael Carlos Santos Machado (CEFET/RJ)
Data da Defesa: 11/03/2019
299. Francisco Sérgio de Freitas Filho
Título: O problema da k-floresta com máximo número de folhas
Banca Examinadora:
Prof. Dr. Rafael Castro de Andrade (MDCC/UFC – Orientador)
Prof. Dr. Manoel Bezerra Campêlo Neto (MDCC/UFC)
Prof. Dr. Júlio César Silva Araújo (UFC)
Data da Defesa: 15/02/2019
298. Jhonata Adam Silva Matias
Título: Métodos para solução do problema de coloração de fluxo
Banca Examinadora:
Prof. Dr. Manoel Bezerra Campêlo Neto (MDCC/UFC – Orientador)
Prof. Dr. Rudini Menezes Sampaio (MDCC/UFC)
Prof.ª Dr.ª Ana Shirley Ferreira da Silva (UFC)
Prof. Dr. Carlos Diego Rodrigues (UFC)
Data da Defesa: 13/02/2019
2018
297. Lucas Pinheiro de Queiroz
Título: Um mecanismo de proveniência para uma nuvem de serviços de computação de alto desempenho orientada a componentes.
Banca Examinadora:
Prof. Dr. Francisco Heron de Carvalho Júnior (MDCC/UFC – Orientador)
Prof. Dr. Javam de Castro Machado (MDCC/UFC)
Prof. Dr. Dalvan Jair Griebler (SETREM)
Prof. Dr. Allberson Bruno de Oliveira Dantas (UNILAB)
Data da Defesa: 30/11/2018
296. Renan Bandeira de Melo Gondim
Título: Volleyjump: Uma ferramenta para a análise de saltos de voleibol de praia.
Banca Examinadora:
Prof. Dr. Fernando Antonio Mota Trinta (MDCC/UFC – Orientador)
Prof. Dr. Márcio Espíndola Freire Maia (UFC – Coorientador)
Prof. Dr. João Paulo Pordeus Gomes (MDCC/UFC)
Prof. Dr. Alexandre Igor Araripe Medeiros (UFC)
Prof. Dr. Alexandre Álvaro (UFSCAR)
Data da Defesa: 30/11/2018
295. Gabriela de Melo Pontes Mendes
Título: Semântica algébrica equivalente para a lógica da inconsistência epistêmica
Banca Examinadora:
Prof.ª Dr.ª Ana Teresa de Castro Martins (MDCC/UFC – Orientadora)
Prof. Dr. Luís Gustavo Bastos Pinho (UFC – Coorientador)
Prof. Dr. João Fernando Lima Alcântara (MDCC/UFC)
Prof. Dr. Edward Hermann Haeusler (PUC-RJ)
Data da Defesa: 30/11/2018
294. Rodrigo Lucas Amora Almeida
Título: CHASE: checklist para avaliação da experiência do usuário em ambientes de internet das coisas
Banca Examinadora:
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC – Orientadora)
Prof.ª Dr.ª Ticianne de Góis Ribeiro Darin (UFC – Coorientadora)
Prof. Dr. Windson Viana de Carvalho (MDCC/UFC)
Prof.ª Dr.ª Andreia Libório Sampaio (UFC)
Prof.ª Dr.ª Carla Ilane Moreira Bezerra (UFC)
Prof. Dr. Cristiano Maciel (UFMT)
Data da Defesa: 30/11/2018
293. Emanuel Eduardo da Silva Oliveira
Título: TrajectMe: planning sightseeing tours with hotel selection from trajectory data
Banca Examinadora:
Prof. Dr. José Antonio Fernandes de Macêdo (MDCC/UFC – Orientador)
Dr. Igo Ramalho Brilhante (UFC – Coorientador)
Prof. Dr. João Paulo Pordeus Gomes (MDCC/UFC)
Prof. Dr. César Lincoln Cavalcante Mattos (UFC)
Prof. Dr. João José Vasco Peixoto Furtado (UNIFOR)
Data da Defesa: 30/11/2018
292. Renato Fernandes Ribeiro
Título: Um estudo da “intencionalidade sem conteúdo” proposta pelo enativismo radical e sua relação com a inteligência artificial
Banca Examinadora:
Prof.ª Dr.ª Ana Teresa de Castro Martins (MDCC/UFC – Orientadora)
Prof. Dr. Marcelino Cavalcante Pequeno (MDCC/UFC – Coorientador)
Prof. Dr. Carlos Eduardo Fisch de Brito (MDCC/UFC)
Prof. Dr. Francicleber Martins Ferreira (UFC)
Prof. Dr. Pedro Porfírio Muniz Farias (UNIFOR)
Data da Defesa: 30/11/2018
291. Fernando Dione dos Santos Lima
Título: Using deep neural networks for failure prediction in hard disk drives
Banca Examinadora:
Prof. Dr. João Paulo Pordeus Gomes (MDCC/UFC – Orientador)
Prof. Dr. Javam de Castro Machado (MDCC/UFC – Coorientador)
Prof. Dr. José Maria da Silva Monteiro Filho (MDCC/UFC)
Prof. Dr. Guilherme de Alencar Barreto (UFC)
Data da Defesa: 29/11/2018
290. João Holanda Freires Junior
Título: SumOpinions: sumarização automática de opiniões sobre pontos turísticos
Banca Examinadora:
Prof. Dr. José Antonio Fernandes de Macêdo (MDCC/UFC – Orientador)
Dr. Igo Ramalho Brilhante (UFC – Coorientador)
Prof. Dr. João Paulo Pordeus Gomes (MDCC/UFC)
Prof. Dr. César Lincoln Cavalcante Mattos (UFC)
Prof.ª Dr.ª Vládia Célia Monteiro Pinheiro (UNIFOR)
Data da Defesa: 29/11/2018
289. Jefferson da Silva Barbosa
Título: Calice – catálogo para a análise do impacto de clones em classes de customização de uma linha de produto de software global
Banca Examinadora:
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC – Orientadora)
Prof.ª Dr.ª Carla Ilane Moreira Bezerra (UFC – Coorientadora)
Prof. Dr. João Bosco Ferreira Filho (MDCC/UFC – Coorientador)
Prof. Dr. José Maria da Silva Monteiro Filho (MDCC/UFC)
Prof. Dr. Márcio de Medeiros Ribeiro (UFAL)
Me. Rodrigo Dias Ferreira (LG Eletronics)
Data da Defesa: 29/11/2018
288. Antônio Nilo de Araújo Neto
Título: Avaliação da estrutura do currículo do ensino superior com aprendizado de máquina
Banca Examinadora:
Prof. Dr. João Paulo Pordeus Gomes (MDCC/UFC – Orientador)
Prof.ª Dr.ª Emanuele Marques dos Santos (MDCC/UFC – Coorientadora)
Prof. Dr. João Fernando Lima Alcântara (MDCC/UFC)
Prof. Dr. João Paulo do Vale Madeiro (UNILAB)
Data da Defesa: 28/11/2018
287. Priscylla da Silva Tavares
Título: Proposta de arquitetura baseada em Internet das Coisas para análise de dados de arboviroses
Banca Examinadora:
Prof. Dr. Emanuel Bezerra Rodrigues (MDCC/UFC – Orientador)
Prof. Dr. Fernando Antonio Mota Trinta (MDCC/UFC)
Prof. Dr. Miguel Franklin de Castro (MDCC/UFC)
Prof. Dr. José Eurico de Vasconcelos Filho (UNIFOR)
Data da Defesa: 28/11/2018
286. Jean Carllo Jardim Costa
Título: Uma análise sobre o impacto de dados faltantes no desempenho de métodos de aprendizado de máquina
Banca Examinadora:
Prof. Dr. João Paulo Pordeus Gomes (MDCC/UFC – Orientador)
Prof. Dr. José Maria da Silva Monteiro Filho (MDCC/UFC)
Prof. Dr. Leonardo Ramos Rodrigues (ITA)
Data da Defesa: 27/11/2018
285. Arthur Leonardo de Alencar Paulino
Título: ceNEAT: Neuroevolução de topologias aumentantes com melhorias culturais
Banca Examinadora:
Prof. Dr. João Paulo Pordeus Gomes (MDCC/UFC – Orientador)
Prof. Dr. João Fernando Lima Alcântara (MDCC/UFC)
Prof. Dr. Cesar Lincoln Cavalcante Mattos (UFC)
Prof. Dr. Ajalmar Rêgo da Rocha Neto (IFCE)
Data da Defesa: 27/11/2018
284. Dêmora Bruna Cunha de Sousa
Título: Um estudo de caso do tratamento de exceção no domínio de sistemas web corporativos
Banca Examinadora:
Prof. Dr. Windson Viana de Carvalho (MDCC/UFC – Orientador)
Prof. Dr. Lincoln Souza Rocha (MDCC/UFC – Coorientador)
Prof. Dr. Joaquim Bento Cavalcante Neto (MDCC/UFC)
Prof. Dr. Paulo Henrique Mendes Maia (UECE)
Prof. Dr. Marco Túlio de Oliveira Valente (UFMG)
Data da Defesa: 26/11/2018
283. Lana Beatriz Medeiros de Mesquita
Título: Cognitive impact evaluation of multimodal interfaces for people who are blind: quali-quantitative review and guidelines
Banca Examinadora:
Prof. Dr. José Antonio Fernandes de Macêdo (MDCC/UFC – Orientador)
Prof. Dr. Jaime Hernán Sánchez Ilabaca (UChile – Coorientador)
Prof. Dr. Windson Viana de Carvalho (MDCC/UFC)
Prof. Dr. Francisco Carlos de Mattos Brito Oliveira (UNIFOR)
Data da Defesa: 16/11/2018
282. Matias Romário Pinheiro dos Santos
Título: Classificação de tráfego e dos dispositivos de IoT através do fluxo de rede e inspeção da carga útil dos pacotes
Banca Examinadora:
Prof. Dr. Arthur de Castro Callado (MDCC/UFC – Orientador)
Prof. Dr. Danielo Gonçalves Gomes (UFC)
Prof.ª Dr.ª Judith Kelner (UFPE)
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC)
Data da Defesa: 16/10/2018
281. Paulo Roberto Pessoa Amora
Título: SmartLTM: Larger-than-memory database storage for hybrid database systems
Banca Examinadora:
Prof. Dr. Javam de Castro Machado (MDCC/UFC – Orientador)
Prof.ª Dr.ª Vanessa Braganholo Murta (IC/UFF)
Prof. Dr. Ângelo Roncalli Alencar Brayner (MDCC/UFC)
Data da Defesa: 11/09/2018
280. Denis Morais Cavalcante
Título: PopRing: a popularity-aware replica placement for reducing latency on distributed key-value stores
Banca Examinadora:
Prof. Dr. José Neuman de Souza (MDCC/UFC – Orientador)
Prof. Dr. Javam de Castro Machado (MDCC/UFC – Coorientador)
Prof. Dr. Leonardo Oliveira Moreira (UFC)
Prof. Dr. Joaquim Celestino Júnior (UECE)
Data da Defesa: 03/09/2018
279. Belmondo Rodrigues Aragão Júnior
Título: SUCCEEd: Um framework de suporte à criação e execução de workflows para SAS em ambientes IoT
Banca Examinadora:
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC – Orientadora)
Prof. Dr. Márcio Espíndola Freire Maia (UFC – Coorientador)
Prof. Dr. Windson Viana de Carvalho (MDCC/UFC)
Dr. Tales Paiva Nogueira (UFC)
Prof. Dr. Everton Ranielly de Sousa Cavalcante (UFRN)
Prof. Dr. Carlos Raniery Paula dos Santos (UFSM)
Data da Defesa: 31/08/2018
278. Artur de Oliveira da Rocha Franco
Título: Modelagem de ações em jogos por meio da análise de RPGs
Banca Examinadora:
Prof. Dr. Miguel Franklin de Castro (MDCC/UFC – Orientador)
Prof. Dr. Fernando Antonio de Carvalho Gomes (UFC – Coorientador)
Prof. Dr. José Gilvan Rodrigues Maia (UFC)
Prof. Dr. Daniel Valente de Macedo (UNIFOR)
Data da Defesa: 25/05/2018
277. Hugo Carvalho de Paula
Título: Matemática feita no computador: estudos sobre uma coleção de sistemas formais, com uma investigação sobre estruturas indutivas, e a separação entre lógica e automação em assistentes de prova
Banca Examinadora:
Prof. Dr. Carlos Eduardo Fisch de Brito (MDCC/UFC – Orientador)
Prof. Dr. João Fernando Lima Alcântara (MDCC/UFC)
Prof. Dr. Pablo Mayckon Silva Farias (UFC)
Prof. Dr. Ruy José Guerra Barretto de Queiroz (UFPE)
Data da Defesa: 24/05/2018
276. Paulo Bruno de Sousa Serafim
Título: Avaliação da competição no treino de agentes autônomos com Aprendizado Profundo por Reforço em jogos de Tiro em Primeira Pessoa
Banca Examinadora:
Prof. Dr. Joaquim Bento Cavalcante Neto (MDCC/UFC – Orientador)
Prof. Dr. Creto Augusto Vidal (MDCC/UFC – Coorientador)
Prof. Dr. Yuri Lenon Barbosa Nogueira (UFC – Coorientador)
Prof.ª Dr.ª Soraia Raupp Musse (PUC-RS)
Data da Defesa: 20/04/2018
275. Elvis Marques Teixeira
Título: MetisIDX: Indexação de dados preditiva
Banca Examinadora:
Prof. Dr. Javam de Castro Machado (MDCC/UFC – Orientador)
Prof. Dr. Caetano Traina Júnior (USP)
Prof. Dr. Ângelo Roncalli Alencar Brayner (MDCC/UFC)
Data da Defesa: 12/03/2018
274. André Luís da Costa Mendonça
Título: Uma abordagem de privacidade diferencial para dados correlacionados utilizando técnicas de agrupamento
Banca Examinadora:
Prof. Dr. Javam de Castro Machado (MDCC/UFC – Orientador)
Prof. Dr. José Maria da Silva Monteiro Filho (MDCC/UFC)
Prof. Dr. Luciano de Andrade Barbosa (UFPE)
Data da Defesa: 05/03/2018
2017
273. Artur Mesquita Barbosa
Título: Exploring learning analytics approaches to minimize undergraduate evasion
Banca Examinadora:
Prof. Dr. Emanuele Marques dos Santos (MDCC/UFC – Orientadora)
Prof. Dr. João Paulo Pordeus Gomes (MDCC/UFC – Coorientador)
Prof. Dr. Creto Augusto Vidal (MDCC/UFC)
Prof. Dr. Luciano de Andrade Barbosa (UFPE)
Data da Defesa: 20/12/2017
272. Lucas Moura Dantas
Título: Uma estratégia paralela e distribuída para assegurar a confidencialidade de dados armazenados em nuvem
Banca Examinadora:
Prof. Dr. José Maria da Silva Monteiro Filho (MDCC/UFC – Orientador)
Prof. Dr. João Paulo do Vale Madeiro (UNILAB – Coorientador)
Prof. Dr. Javam de Castro Machado (MDCC/UFC)
Prof. Dr. José de Aguiar Moraes Filho (UNIFOR)
Prof. Dr. Angelo Roncalli de Alencar Brayner (MDCC/UFC)
Prof. Dr. Flávio Rubens Carvalho Sousa (UFC)
Data da Defesa: 30/11/2017
271. Vladymir de Lima Bezerra
Título: Um estudo empírico sobre a notificação de exceções entre componentes na plataforma Android
Banca Examinadora:
Prof. Dr. Fernando Antonio Mota Trinta (MDCC/UFC – Orientador)
Prof. Dr. Lincoln Souza Rocha (MDCC/UFC – Coorientador)
Prof.ª Dr.ª Roberta de Souza Coelho (UFRN)
Prof. Dr. João Bosco Ferreira Filho (MDCC/UFC)
Data da Defesa: 30/11/2017
270. Jonatas Holanda Nogueira de Aquino
Título: Extração de características de imagens para classificação da qualidade de couro caprino usando padrão binário local
Banca Examinadora:
Prof. Dr. João Fernando Lima Alcântara (MDCC/UFC – Orientador)
Prof. Dr. João Paulo Pordeus Gomes (MDCC/UFC – Coorientador)
Prof. Dr. Ajalmar Rego Rocha Neto (IFCE)
Data da Defesa: 30/11/2017
269. Lucas Andrade Benevides
Título: Uma técnica de otimização de malhas com ruídos por filtragem bilateral com pré-processamento
Banca Examinadora:
Prof. Dr. Joaquim Bento Cavalcante Neto (MDCC/UFC – Orientador)
Prof. Dr. Creto Augusto Vidal (MDCC/UFC – Coorientador)
Prof. Dr. Emanuele Marques dos Santos (MDCC/UFC)
Prof. Dr. Evandro Parente Junior (UFC)
Data da Defesa: 29/11/2017
268. Gabriel Brito dos Santos
Título: Uma proposta de solução para offloading de métodos entre dispositivos móveis
Banca Examinadora:
Prof. Dr. Fernando Antonio Mota Trinta (MDCC/UFC – Orientador)
Prof. Dr. Paulo Antonio Leal Rego (UFC)
Prof. Dr. José Neuman de Souza (MDCC/UFC)
Prof. Dr. Francisco Airton Pereira da Silva (UFPI)
Data da Defesa: 29/11/2017
267. Renato Caminha Juaçaba Neto
Título: Avaliação de desempenho de técnicas de alocação de recursos de rádio para comunicações máquina-à-máquina em redes narrowband IoT
Banca Examinadora:
Prof. Dr. Emanuel Bezerra Rodrigues (MDCC/UFC – Orientador)
Prof.ª Dr.ª Carina Teixeira de Oliveira (IFCE – Coorientadora)
Prof. Dr. Miguel Franklin de Castro (MDCC/UFC)
Prof. Dr. Danielo Gonçalves Gomes (UFC)
Prof. Dr. Marcial Porto Fernandez (UECE)
Data da Defesa: 27/11/2017
266. Rôney Reis de Castro e Silva
Título: Uma abordagem de privacidade diferencial para consultas sobre dados RDF no contexto de redes sociais
Banca Examinadora:
Prof. Dr. Javam de Castro Machado (MDCC/UFC – Orientador)
Prof.ª Dr.ª Vânia Maria Ponte Vidal (MDCC/UFC – Coorientadora)
Prof. Dr. Fábio André Machado Porto (LNCC)
Prof. Dr. Flávio Rubens de Carvalho Sousa (UFC)
Data da Defesa: 27/10/2017
265. Matheus Henrique Machado Pericini
Título: Utilização de metaheurísticas para balanceamento de carga em ambientes MapReduce
Banca Examinadora:
Prof. Dr. Javam de Castro Machado (MDCC/UFC – Orientador)
Prof. Dr. Sergio Lifschitz (PUC-Rio)
Prof. Dr. Francisco Heron de Carvalho Júnior (MDCC/UFC)
Data da Defesa: 22/09/2017
264. Cristiane Mayara de Souza Ferreira
Título: LeGaL: Uma extensão NCL para representação de Jogos Baseados em Localização.
Banca Examinadora:
Prof. Dr. Windson Viana de Carvalho (MDCC/UFC – Orientador)
Prof. Dr. Fernando Antonio Mota Trinta (MDCC/UFC – Coorientador)
Prof. Dr. José Gilvan Rodrigues Maia (UFC)
Prof. Dr. Lincoln Souza Rocha (MDCC/UFC)
Prof. Dr. Carlos de Salles Soares Neto (UFMA)
Data da Defesa: 28/08/2017
263. Larissa Castro Rocha
Título: HUbis: heurísticas de usabilidade para avaliar sistemas ubíquos
Banca Examinadora:
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC – Orientador)
Prof.ª Dr.ª Andreia Libório Sampaio (UFC – Coorientadora)
Prof.ª Dr.ª Valéria Lélli Leitão Dantas (UFC)
Prof. Dr. Windson Viana de Carvalho (MDCC/UFC)
Prof. Dr. Jaime Hernán Sánchez Ilabaca (Universidad de Chile)
Data da Defesa: 28/08/2017
262. Iago Castro Chaves
Título: Redes bayesianas para previsão de falhas em discos rígidos
Banca Examinadora:
Prof. Dr. Javam de Castro Machado (MDCC/UFC – Orientador)
Prof. Dr. João Paulo Pordeus Gomes (MDCC/UFC)
Prof. Dr. José Antônio Fernandes de Macêdo (MDCC/UFC)
Prof. Dr. Leonardo Ramos Rodrigues (IAE)
Data da Defesa: 25/08/2017
261. Felipe Mota Barreto
Título: CoAP-CTX: extensão sensível ao contexto para descoberta de objetos inteligentes em internet das coisas
Banca Examinadora:
Prof. Dr. Windson Viana de Carvalho (MDCC/UFC – Orientador)
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC – Coorientadora)
Prof. Dr. Marcio Espíndola Freire Maia (UFC – Coorientador)
Prof. Dr. Emanuel Bezerra Rodrigues (MDCC/UFC)
Prof.ª Dr.ª Manuele Kirsch Pinheiro (Université Paris 1 – Panthéon Sorbonne, França)
Prof. Dr. Kiev Santos da Gama (UFPE)
Data da Defesa: 21/08/2017
260. Luís Gustavo Coutinho do Rêgo
Título: Bidirectional search for nearest neighbors queries over road networks
Banca Examinadora:
Prof. Dr. José Antônio Fernandes de Macêdo (MDCC/UFC – Orientador)
Prof. Dr. Mário Antonio do Nascimento (University of Alberta, Canadá – Coorientador)
Prof.ª Ms.ª Ticiana Linhares Coelho da Silva (UFC)
Prof. Dr. Javam de Castro Machado (MDCC/UFC)
Data da Defesa: 17/08/2017
259. Thalisson Alves Oliveira
Título: FixOnto: um método para enriquecimento semântico e verificação de modelos de características em LPS sensível ao contexto
Banca Examinadora:
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC – Orientadora)
Prof. Dr. Windson Viana de Carvalho (MDCC/UFC)
Prof. Dr. Vinícius Cardoso Garcia (UFPE)
Prof. Dr. João Bosco Ferreira Filho (MDCC/UFC)
Prof.ª Dr.ª Vânia Maria Ponte Vidal (MDCC/UFC)
Data da Defesa: 28/07/2017
258. Diego Parente Paiva Mesquita
Título: Machine Learning for incomplete data
Banca Examinadora:
Prof. Dr. João Paulo Pordeus Gomes (MDCC/UFC – Orientador)
Prof. Dr. José Antônio Fernandes de Macêdo (MDCC/UFC)
Prof. Dr. Fernandes de Macêdo Aluizio Fausto (UFPE)
Prof. Dr. André Luís Vasconcelos Coelho (UNIFOR)
Data da Defesa: 14/07/2017
257. Manoel Rui Pessoa de Paula
Título: BACOS: uma estratégia de balanceamento de carga para sistemas de armazenamento de objetos em nuvem
Banca Examinadora:
Prof. Dr. Javam de Castro Machado (MDCC/UFC – Orientador)
Prof. Dr. José Maria da Silva Monteiro Filho (MDCC/UFC)
Prof. Dr. Flávio Rubens de Carvalho Sousa (MDCC/UFC)
Prof.ª Dr.ª Carmem Satie hara (UFPR)
Data da Defesa: 12/07/2017
256. Maria Joelma Pereira Peixoto
Título: Lucy: um ambiente para aulas práticas de computação ubíqua
Banca Examinadora:
Prof. Dr. Windson Viana de Carvalho (MDCC/UFC – Orientador)
Prof. Dr. Fernando Antônio Mota Trinta (MDCC/UFC)
Prof.ª Dr.ª Maria de Fátima Costa de Souza (UFC)
Prof. Dr. Carlos André Guimarães Ferraz (UFPE)
Data da Defesa: 29/05/2017
255. Tiago da Silva Vinuto
Título: Uma abordagem para a geração semiautomática de mapeamentos R2R baseado em um catálogo de padrões
Banca Examinadora:
Prof.ª Dr.ª Vânia Maria Ponte Vidal (MDCC/UFC – Orientadora)
Prof.ª Dr.ª Valéria Magalhães Pequeno (INESC-ID/Portugal – Coorientadora)
Prof. Dr. José Antonio Fernandes de Macêdo (MDCC/UFC)
Prof. Dr. José Maria da Silva Monteiro Filho (MDCC/UFC)
Data da Defesa: 05/04/2017
254. Marcelo Bruno de Almeida Veras
Título: Uma variante do método de regressão Forward Stagewise para dados incompletos
Banca Examinadora:
Prof. Dr. João Fernando Lima Alcântara (MDCC/UFC – Orientador)
Prof. Dr. João Paulo Pordeus Gomes (MDCC/UFC – Coorientador)
Prof. Dr. Ajalmar Rêgo da Rocha Neto (IFCE)
Prof. Dr. Yuri Lenon Barbosa Nogueira (MDCC/UFC)
Data da Defesa: 04/04/2017
253. Alisson Sampaio de Carvalho Alencar
Título: Máquina de Aprendizagem Mínima: aspectos teóricos e práticos
Banca Examinadora:
Prof. Dr. João Fernando Lima Alcântara (MDCC/UFC – Orientador)
Prof. Dr. João Paulo Pordeus Gomes (MDCC/UFC – Coorientador)
Prof. Dr. Amauri Holanda de Souza Júnior (IFCE)
Prof.ª Dr.ª Ananda Lima Freire (IFCE)
Prof. Dr. Francesco Corona (UFC)
Data da Defesa: 30/03/2017
252. Weslley Lioba Caldas
Título: Proposta de dois métodos semi-supervisionados baseados na Máquina de Aprendizagem Mínima utilizando Co-Training
Banca Examinadora:
Prof. Dr. João Fernando Lima Alcântara (MDCC/UFC – Orientador)
Prof. Dr. João Paulo Pordeus Gomes (MDCC/UFC – Coorientador)
Prof. Dr. Ajalmar Rêgo da Rocha Neto (IFCE)
Prof. Dr. João Paulo do Vale Madeiro (UNILAB)
Data da Defesa: 27/03/2017
251. Julio Alberto Sibaja Rettes
Título: Robust algorithms for linear regression and locally linear embedding
Banca Examinadora:
Prof. Dr. João Fernando Lima Alcântara (MDCC/UFC – Orientador)
Prof. Dr. Francesco Corona (UFC – Coorientador)
Prof. Dr. João Paulo Pordeus Gomes (MDCC/UFC)
Prof. Dr. Amauri Holanda de Souza Júnior (IFCE)
Data da Defesa: 22/03/2017
250. Raul Wayne Teixeira Lopes
Título: Número de Turán para cópias disjuntas de caminhos
Banca Examinadora:
Prof. Dr. Victor Almeida Campos (MDCC/UFC – Orientador)
Prof. Dr. Rudini Menezes Sampaio (MDCC/UFC)
Prof. Dr. Fabrício Siqueira Benevides (UFC)
Data da Defesa: 20/02/2017
249. Francisco Anderson de Almada Gomes
Título: Um serviço de offloading de dados contextuais com suporte à privacidade
Banca Examinadora:
Prof. Dr. Fernando Antonio Mota Trinta (MDCC/UFC – Orientador)
Prof. Dr. Windson Viana de Carvalho (MDCC/UFC)
Prof. Dr. Paulo Antonio Leal Rego (UFC)
Prof. Dr. Renato de Freitas Bulcão Neto (UFG)
Data da Defesa: 08/02/2017
2016
248. Lucas Gonçalves de Moura Leite
Título: Raciocínio sobre crenças utilizando a lógica de confiança em tópicos
Banca Examinadora:
Prof. Dr. João Fernando Lima Alcântara (MDCC/UFC – Orientador)
Prof. Dr. Pedro Porfírio Muniz Farias (UNIFOR)
Prof. Dr. Davi Romero de Vasconcelos (UFC)
Prof.ª Dr.ª Ana Teresa de Castro Martins (MDCC/UFC)
Data da Defesa: 30/11/2016
247. Márcio André Souto Correia
Título: Avaliação de features de localização para autenticação transparente e contínua: processo e estudo de caso
Banca Examinadora:
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC – Orientadora)
Prof. Dr. Paulo Lício de Geus (UNICAMP)
Prof. Dr. André Luiz Moura dos Santos (UECE)
Prof. Dr. José Antônio Fernandes de Macêdo (MDCC/UFC)
Data da Defesa: 30/11/2016
246. Ildo Ramos Vieira
Título: Estratégia autônoma para conectividade e comunicação em ambientes inteligentes
Banca Examinadora:
Prof. Dr. Miguel Franklin de Castro (MDCC/UFC – Orientador)
Prof. Dr. Arthur de Castro Callado (MDCC/UFC – Coorientador)
Prof. Dr. Joaquim Celestino Junior (UECE)
Prof. Dr. Emanuel Bezerra Rodrigues (MDCC/UFC)
Prof. Dr. Marcio Espindola Freire Maia (UFC)
Data da Defesa: 30/11/2016
245. Larissa Candeia Soares Reis
Título: Uma arquitetura de sistema de visualização web de dados espaço-temporais com foco na granularidade espacial
Banca Examinadora:
Prof.ª Dr.ª Emanuele Marques dos Santos (MDCC/UFC – Orientadora)
Prof. Dr. Creto Augusto Vidal (MDCC/UFC-Coorientador)
Prof. Dr. Francisco Nivando Bezerra (IFCE)
Prof. Dr. Joaquim Bento Cavalcante Neto (MDCC/UFC)
Data da Defesa: 29/11/2016
244. Christiano de Araújo Pereira Rodrigues
Banca Examinadora:
Prof. Dr. Miguel Franklin de Castro (MDCC/UFC – Orientador)
Prof. Dr. Paulo Armando Cavalcante Aguilar (UFC – Coorientador)
Prof. Dr. Rodrigo Varejão Andreão (IFES)
Prof. Dr. José Neuman de Souza (MDCC/UFC)
Data da Defesa: 29/11/2016
243. Willian Almeida Rodrigues
Título: Tardigrade – um framework android para desenvolvimento de jogos de cartas ubíquos
Banca Examinadora:
Prof. Dr. Windson Viana de Carvalho (MDCC/UFC – Orientador)
Prof. Dr. Carlos de Salles Soares Neto (UFMA)
Prof. Dr. Fernando Antonio Mota Trinta (MDCC/UFC)
Prof. Dr. Lincoln Souza Rocha (MDCC/UFC)
Data da Defesa: 28/11/2016
242. Juarez de Lima Meneses Filho
Título: ArCatch: uma solução para verificação estática de conformidade arquitetural do tratamento de exceção
Banca Examinadora:
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC – Orientadora)
Prof. Dr. Lincoln Souza Rocha (MDCC/UFC – Coorientador)
Prof. Dr. Marco Túlio de Oliveira Valente (UFMG)
Prof. Dr. Windson Viana de Carvalho (MDCC/UFC)
Data da Defesa: 23/11/2016
241. Maria da Conceição Carneiro Araújo
Título: Um modelo de audiogame móvel acessível e customizável para práticas ortográficas com o Braille
Banca Examinadora:
Prof. Dr. Windson Viana de Carvalho (MDCC/UFC – Orientador)
Prof.ª Dr.ª Maria da Graça Campos Pimentel (USP)
Prof. Dr. José Aires de Castro Filho (UFC)
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC)
Data da Defesa: 17/11/2016
240. Cleilton Lima Rocha
Título: TPRED: um framework espaço-temporal de predição de localização
Banca Examinadora:
Prof. Dr. José Antônio Fernandes de Macêdo (MDCC/UFC – Orientador)
Prof. Dr. Javam de Castro Machado (MDCC/UFC)
Prof. Dr. José Maria da Silva Monteiro Filho (MDCC/UFC)
Prof. Dr. Fábio André Machado Porto (LNCC)
Data da Defesa: 29/08/2016
239. Rômulo Lopes Frutuoso
Título: Classificação de texturas utilizando métodos de busca com informação
Banca Examinadora:
Prof. Dr. Joaquim Bento Cavalcante Neto (MDCC/UFC – Orientador)
Prof. Dr. João Paulo Pordeus Gomes (MDCC/UFC – Coorientador)
Prof. Dr. Creto Augusto Vidal (MDCC/UFC)
Prof. Dr. Ajalmar Rêgo da Rocha Neto (IFCE)
Data da Defesa: 26/08/2016
238. Joel Cruz Soares
Título: O problema da atribuição conexa
Banca Examinadora:
Prof. Dr. Manoel Bezerra Campêlo Neto (MDCC/UFC – Orientador)
Prof. Dr. Victor Almeida Campos (MDCC/UFC)
Prof. Dr. Tarcisio Ferreira Maciel (UFC)
Prof. Dr. Alexandre Salles da Cunha (UFMG)
Data da Defesa: 26/08/2016
237. Samuel Nascimento de Araújo
Título: Número de dominação romana em grafos
Banca Examinadora:
Prof. Dr. Rudini Menezes Sampaio (MDCC/UFC – Orientador)
Prof. Dr. Manoel Bezerra Campelo Neto (MDCC/UFC)
Prof.ª Dr.ª Ana Karolinna Maia de Oliveira (MDCC/UFC)
Prof. Dr. Vinicius Fernandes dos Santos (UFMG)
Data da Defesa: 26/08/2016
236. Adonias Caetano de Oliveira
Título: Máquina de aprendizagem mínima com opção de rejeição
Banca Examinadora:
Prof. Dr. João Fernando Lima Alcântara (MDCC/UFC – Orientador)
Prof. Dr. João Paulo Pordeus Gomes (MDCC/UFC – Coorientador)
Prof. Dr. Amauri Holanda de Souza Júnior (IFCE)
Prof. Dr. Ajalmar Rêgo da Rocha Neto (IFCE)
Data da Defesa: 23/08/2016
235. Mardson da Silva Ferreira
Título: Problema do arranjo linear mínimo
Banca Examinadora:
Prof. Dr. Rafael Castro de Andrade (MDCC/UFC – Orientador)
Prof. Dr. Manoel Bezerra Campêlo Neto (MDCC/UFC)
Prof. Dr. Tibérius de Oliveira e Bonates (UFC)
Prof. Dr. Plácido Rogério Pinheiro (UNIFOR)
Data da Defesa: 23/06/2016
234. Luiz Alberto do Carmo Viana
Título: Árvore geradora com dependências mínima
Banca Examinadora:
Prof. Dr. Manoel Bezerra Campêlo Neto (MDCC/UFC – Orientador)
Prof. Dr. Leonardo Sampaio Rocha (UECE)
Prof. Dr. Tibérius de Oliveira e Bonates (DEMA/UFC)
Prof. Dr. Rafael Castro de Andrade (MDCC/UFC)
Data da Defesa: 31/05/2016
233. Ricardo Bustamante de Queiroz
Título: Técnicas de visão panorâmica e de percepção de densidade para modelos de simulação de multidão baseados em visão sintética
Banca Examinadora:
Prof. Dr. Creto Augusto Vidal (MDCC/UFC – Orientador)
Prof. Dr. Joaquim Bento Cavalcante Neto (MDCC/UFC – Coorientador)
Prof. Dr. Esdras Soares de Medeiros Filho (UFC)
Data da Defesa: 28/03/2016
232. Tiago Guimarães Sombra
Título: Geração adaptativa de malhas de superfícies paramétricas em paralelo com controle de curvatura
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)
Data da Defesa: 28/03/2016
231. Victor Aguiar Evangelista de Farias
Título: Uma abordagem para a modelagem de desempenho e de elasticidade para Bancos de dados em nuvem
Banca Examinadora:
Prof. Dr. Javam de Castro Machado (MDCC/UFC – Orientador)
Prof. Dr. José Maria da Silva Monteiro Filho (MDCC/UFC)
Prof. Dr. Flávio Rubens de Carvalho Sousa (MDCC/UFC)
Prof. Dr. Daniel Cardoso Moraes de Oliveira (UFF)
Data da Defesa: 22/01/2016
2015
230. Mirla Rafaela Rafael Braga Chucre
Título: K-nearest neighbors queries in time-dependent road networks: analyzing scenarios where points of interest move to the query point
Banca Examinadora:
Prof. Dr. José Maria da Silva Monteiro Filho (MDCC/UFC – Orientador)
Prof. Dr. José Antônio Fernandes de Macêdo (MDCC/UFC)
Prof. Dr. Marco Antônio Casanova (PUC/RJ)
Data da Defesa: 30/12/2015
229. David Bôto Paz Aragão
Título: Propostas para controle de congestionamento em rede LTE ocasionado pela comunicação máquina-a-máquina
Banca Examinadora:
Prof. Dr. Miguel Franklin de Castro (MDCC/UFC – Orientador)
Prof. Dr. Dário Vieira Conceição (EFREI/França)
Prof. Dr. Danielo Gonçalves Gomes (UFC)
Prof. Dr. Emanuel Bezerra Rodrigues (MDCC/UFC)
Data da Defesa: 28/12/2015
228. Felipe Timbó Brito
Título: Uma abordagem distribuída para preservação de privacidade na publicação de dados de trajetória
Banca Examinadora:
Prof. Dr. Javam de Castro Machado (MDCC/UFC – Orientador)
Prof. Dr. José Antônio Fernandes de Macêdo (MDCC/UFC)
Prof. Dr. João Eduardo Ferreira (USP)
Data da Defesa: 17/12/2015
227. Andressa Bezerra Ferreira
Título: Avaliação da confiança no funcionamento de sistemas ubíquos usando medidas de qualidade
Banca Examinadora:
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC – Orientadora)
Prof. Dr. Reinaldo Bezerra Braga (IFCE – Coorientador)
Prof. Dr. Windson Viana de Carvalho (MDCC/UFC)
Prof.ª Dr.ª Ana Regina Cavalcanti da Rocha (UFRJ)
Prof. Dr. Antônio Mauro Barbosa de Oliveira (IFCE)
Data da Defesa: 16/12/2015
226. Arnaldo Araújo Lima Júnior
Título: Uma Abordagem utilizando Lógica de Primeira Ordem para Problemas de Decisão Multiagente baseada em Agregação de Preferências
Banca Examinadora:
Prof.ª Dr.ª Ana Teresa de Castro Martins (MDCC/UFC – Orientadora)
Prof. Dr. Davi Romero de Vasconcelos (UFC – Coorientador)
Prof. Dr. João Fernando Lima Alcântara (MDCC/UFC)
Prof. Dr. Mario Roberto Folhadela Benevides (UFRJ)
Data da Defesa: 20/11/2015
225. Carleandro de Oliveira Nolêto
Título: Uma ferramenta de autoria para o desenvolvimento de jogos móveis baseados em localização com realidade aumentada
Banca Examinadora:
Prof. Dr. Fernando Antonio Mota Trinta (MDCC/UFC – Orientador)
Prof. Dr. Windson Viana de Carvalho (MDCC/UFC – Coorientador)
Prof.ª Dr.ª Emanuele Marques dos Santos (MDCC/UFC)
Prof. Dr. Carlos de Salles Soares Neto (UFMA)
Data da Defesa: 06/11/2015
224. Filipe Francisco Rocha Damasceno
Título: Uma melhoria no algoritmo K-médias utilizando o estimador de James-Stein
Banca Examinadora:
Prof. Dr. Carlos Eduardo Fisch de Brito (MDCC/UFC – Orientador)
Prof. Dr. João Paulo Pordeus Gomes (MDCC/UFC – Coorientador)
Prof. Dr. Amauri Holanda Souza Junior (IFCE)
Prof. Dr. José Valente de Oliveira (Universidade do Algarve/Portugal)
Data da Defesa: 29/09/2015
223. Julian Rodrigues Valério
Título: Um ambiente para o auxílio à aprendizagem de habilidades laparoscópicas usando realidade aumentada e gamificação
Banca Examinadora:
Prof. Dr. Windson Viana de Carvalho (MDCC/UFC – Orientador)
Prof.ª Dr.ª Emanuele Marques dos Santos (MDCC/UFC)
Prof. Dr. Fernando Antonio Mota Trinta (MDCC/UFC)
Prof. Dr. Antônio Aldo Melo Filho (UFC)
Prof. Dr. Esteban Walter Gonzalez Clua (UFF)
Data da Defesa: 17/09/2015
222. Antonio Cavalcante Araújo Neto
Título: G2P-DBSCAN: estratégia de particionamento de dados e de processamento distribuído fazer DBSCAN com MapReduce.
Banca Examinadora:
Prof. Dr. Javam de Castro Machado (MDCC/UFC – Orientador)
Prof. Dr. José Antonio Fernandes de Macêdo (MDCC/UFC)
Prof. Dr. José Neuman de Souza (MDCC/UFC)
Prof. Dr. Altigran Soares da Silva (UFAM)
Data da Defesa: 17/08/2015
221. Diego Sá Cardoso
Título: Manutenção Incremental de Visões RDF Materializadas
Banca Examinadora:
Prof.ª Dr.ª Vânia Maria Ponte Vidal (MDCC/UFC – Orientadora)
Prof. Dr. Marco Antonio Casanova (PUC/RJ)
Prof.ª Dr.ª Valéria Magalhães Pequeno (INESC-ID)
Prof. Dr. José Maria da Silva Monteiro Filho (MDCC/UFC)
Data da Defesa: 23/06/2015
220. Jefferson Lourenço Gurguri
Título: Estudo Poliédrico de Decomposição em Árvore
Banca Examinadora:
Prof. Dr. Victor Almeida Campos (MDCC/UFC – Orientador)
Prof. Dr. Yuri Abitbol de Menezes Frota (UFF)
Prof.ª Dr.ª Ana Shirley Ferreira da Silva (UFC)
Prof. Dr. Manoel Bezerra Campelo Neto (MDCC/UFC)
Data da Defesa: 09/02/2015
219. Eurinardo Rodrigues Costa
Título: Convexidade monofônica em classes de grafos
Banca Examinadora:
Prof. Dr. Rudini Menezes Sampaio (MDCC/UFC – Orientador)
Prof. Dr. Jayme Luiz Szwarcfiter (UFRJ)
Prof. Dr. Mitre Costa Dourado (UFRJ)
Prof. Dr. Rafael Castro de Andrade (MDCC/UFC)
Prof. Dr. Carlos Diego Rodrigues (UFC)
Data da Defesa: 06/02/2015
218. Narciso Moura Arruda Júnior
Título: Manutenção incremental de visões de mashup de dados interligados
Banca Examinadora:
Prof.ª Dr.ª Vânia Maria Ponte Vidal (MDCC/UFC – Orientadora)
Prof. Dr. Marco Antonio Casanova (UFRJ)
Prof. Dr. José Maria da Silva Monteiro Filho (MDCC/UFC)
Prof. Dr. Javam de Castro Machado (MDCC/UFC)
Data da Defesa: 06/02/2015
2014
217. Francisco Caio Maia Rodrigues
Título: Evolução de split grammars para otimização de construções procedurais
Banca Examinadora:
Prof. Dr. Joaquim Bento Cavalcante Neto (MDCC/UFC – Orientador)
Prof. Dr. Manuel Menezes de Oliveira Neto (UFRGS)
Prof. Dr. Creto Augusto Vidal (MDCC/UFC)
Prof.ª Dr.ª Emanuele Marques dos Santos (MDCC/UFC)
Data da Defesa: 28/11/2014
216. Paulo Artur de Sousa Duarte
Título: Uma abordagem dirigida por modelos para a configuração de aquisição de contexto intermediada por middleware
Banca Examinadora:
Prof. Dr. Windson Viana de Carvalho (MDCC/UFC – Orientador)
Prof. Dr. Fernando Antonio Mota Trinta (MDCC/UFC)
Prof. Dr. Lincoln Sousa Rocha (MDCC/UFC)
Prof. Dr. Cidcley Teixeira de Souza (IFCE)
Prof. Dr. Vinicius Cardoso Garcia (UFPE)
Data da Defesa: 14/11/2014
215. Eliezer Tomé de Paula Neto
Título: Escalonamento UET-UCT de Tarefas em Múltiplos Processadores
Banca Examinadora:
Prof. Dr. Manoel Bezerra Campelo Neto (MDCC/UFC – Orientador)
Prof. Dr. Ricardo Cordeiro Corrêa (UFC)
Prof. Dr. Carlos Diego Rodrigues (UFC)
Prof. Dr. Lucídio dos Anjos Formiga Cabral (UFPB)
Data da Defesa: 31/10/2014
214. Thiago Ferraz Vieira da Cunha
Título: SLESS 2.0: uma evolução da abordagem de integração do Scrum e Lean Six Sigma para aplicações móveis
Banca Examinadora:
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC – Orientadora)
Prof. Dr. Fernando Antonio Mota Trinta (MDCC/UFC)
Prof. Dr. Danielo Gonçalves Gomes (UFC)
Prof. Dr. Francisco Rodrigo Porto Cavalcanti (UFC)
Data da Defesa: 29/08/2014
213. Philipp Bernardino Costa
Título: Uma abordagem para offloading em múltiplas plataformas móveis
Banca Examinadora:
Prof. Dr. José Neuman de Souza (MDCC/UFC – Orientador)
Prof. Dr. Fernando Antonio Mota Trinta (MDCC/UFC)
Prof. Dr. Danielo Gonçalves Gomes (UFC)
Prof. Dr. Carlos André Guimarães Ferraz (UFPE)
Data da Defesa: 25/08/2014
212. Tatiane Fernandes Figueiredo
Título: Problema de formação de equipes sociotécnicas: complexidade, formulações matemáticas e resultados computacionais
Banca Examinadora:
Prof. Dr. Manoel Bezerra Campelo Neto (MDCC/UFC – Orientador)
Prof. Dr. Victor Almeida Campos (MDCC/UFC)
Prof.ª Dr.ª Ana Shirley Ferreira da Silva (UFC)
Prof. Dr. Carlos Diego Rodrigues (UFC)
Prof. Dr. Humberto César Brandão de Oliveira (UNIFAL/MG)
Data da Defesa: 14/08/2014
211. Luiz Gustavo Sant’Anna Malkomes Muniz
Título: Uma melhoria do algoritmo K-SVD com aplicações em reconhecimento facial
Banca Examinadora:
Prof. Dr. Carlos Eduardo Fisch de Brito (MDCC/UFC – Orientador)
Prof. Dr. Guilherme de Alencar Barreto (UFC)
Prof. Dr. João Paulo Pordeus Gomes (MDCC/UFC)
Prof. Dr. Luiz Satoru Ochhi (UFF)
Prof. Dr. José Valente de Oliveira (Univ. Algarves/Portugal)
Data da Defesa: 21/07/2014
210. André Castro Ramos
Título: Complexidade e algoritmos de jogos de blocos
Banca Examinadora:
Prof. Dr. Rudini Menezes Sampaio (MDCC/UFC – Orientador)
Prof.ª Dr.ª Cláudia Linhares Sales (MDCC/UFC)
Prof. Dr. Tiberius de Oliveira e Bonates (UFC)
Prof. Dr. Luiz Satoru Ochhi (UFF)
Prof. Dr. Leonardo Sampaio Rocha (UECE)
Data da Defesa: 17/07/2014
209. Rennan Ferreira Dantas
Título: Problemas de código de identificação em grades
Banca Examinadora:
Prof. Dr. Rudini Menezes Sampaio (MDCC/UFC)
Prof. Dr. Victor Almeida Campos (MDCC/UFC)
Prof.ª Dr.ª Ana Shirley Ferreira da Silva (UFC)
Prof. Dr. Mitre Costa Dourado (UFRJ)
Data da Defesa: 16/07/2014
208. Cláudio Soares de Carvalho Neto
Título: Embutimento de Árvores Orientadas em Dígrafos
Banca Examinadora:
Prof.ª Dr.ª Cláudia Linhares Sales (MDCC/UFC – Orientadora)
Prof. Dr. Manoel Bezerra Campêlo Neto (MDCC/UFC)
Prof. Dr. Ricardo Cordeiro Corrêa (UFC)
Prof.ª Dr.ª Sulamita Klein (UFRJ)
Data da Defesa: 25/04/2014
207.Camila Ferreira Costa
Título: Nearest neighbors with operating time constraints and optimal sequenced route queries in time-dependent road networks
Banca Examinadora:
Prof. Dr.Javam de Castro Machado (MDCC/UFC – Orientador)
Prof. Dr. José Antonio Fernandes de Macêdo (MDCC/UFC)
Prof. Dr. Ângelo Roncalli Alencar Brayner (MDCC/UFC)
Prof. Dr. Mário Antonio do Nascimento (Universidade de Alberta/Canadá)
Data da Defesa: 24/04/2014
206. Rainara Maia Santos
Título: Características e medidas de software para avaliação da qualidade da interação humano – computador em sistemas ubíquos
Banca Examinadora:
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC – Orientadora)
Prof.ª Dr.ª Káthia Marçal Oliveira (Valenciennes/França)
Prof. Dr. Adriano Bessa Albuquerque (UNIFOR)
Prof.ª Dr.ª Andréia Libório Sampaio (UFC)
Prof. Dr. Miguel Franklin de Castro (MDCC/UFC)
Prof. Dr. Lincoln Sousa Rocha (MDCC/UFC)
Data da Defesa: 28/02/2014
205. Ítalo Linhares de Araújo
Título: Evoluindo o método ChAPTER em direção à geração de casos de teste
Banca Examinadora:
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC – Orientadora)
Prof. Dr. Pedro de Alcântara dos Santos Neto (UFPI)
Prof. Dr. Pedro Porfírio Muniz (UNIFOR)
Prof. Dr. Windson Viana de Carvalho (MDCC/UFC)
Prof. Dr. Reinaldo Bezerra Braga (UFC)
Data da Defesa: 07/03/2014
204. Thiago Alves Rocha
Título: Complexidade descritiva de classes de complexidade probabilísticas de tempo polinomial e das classes ⊕P e NP∩coNP através de lógicas com quantificadores de segunda ordem
Banca Examinadora:
Prof.ª Dr.ª Ana Teresa de Castro Martins (MDCC/UFC – Orientadora)
Prof. Dr. Ruy Guerra Barretto de Queiroz (UFPE)
Prof. Dr.Carlos Eduardo Fisch de Brito (MDCC/UFC)
Prof. Dr. João Fernando Lima Alcântara (MDCC/UFC)
Data da Defesa: 24/02/2014
203. Paulo Henrique Macêdo de Araújo
Título: Uma heurística langrangeana para o problema de ponderação de rodadas
Banca Examinadora:
Prof. Dr. Ricardo Cordeiro Corrêa (UFC – Orientador)
Prof. Dr. Plácido Rogério Pinheiro (UNIFOR)
Prof. Dr. Rafael Castro de Andrade (MDCC/UFC)
Prof. Dr. Manoel Bezerra Campelo Neto (MDCC/UFC)
Data da Defesa: 22/02/2014
202. Danilo Borges da Silva
Título: Um modelo de contato simplificado para tratamento de equilíbrio
Banca Examinadora:
Prof. Dr. Creto Augusto Vidal (MDCC/UFC)
Prof.ª Dr.ª Luciana Porcher Nedel(UFRGS)
Prof. Dr. Joaquim Bento Cavalcante Neto (MDCC/UFC)
Prof. Dr. Rubens Fernandes Nunes (UFC/Quixadá)
Data da Defesa: 21/02/2014
201. Daniel Nascimento Teixeira
Título: Uma técnica de decomposição a priori para geração paralela de malhas bidimensionais
Banca Examinadora:
Prof. Dr. Joaquim Bento Cavalcante Neto (MDCC/UFC – Orientador)
Prof. Dr. Luiz Fernando Campos Ramos Martha (UFMG)
Prof.ª Dr.ª Emanuele Marques dos Santos (MDCC/UFC)
Data da Defesa: 21/02/2014
200. Rafael Teixeira de Araújo
Título: Convexidades de caminhos e convexidades geométricas
Banca Examinadora:
Prof. Dr. Rudini Menezes Sampaio (MDCC/UFC – Orientador)
Prof. Dr. Leonardo Sampaio Rocha (UECE)
Prof. Dr. Mitre Costa Dourado (UFRJ)
Prof. Dr. Fabrício Siqueira Benevides (UFC)
Data da Defesa: 14/02/2014
199. Ari do Amaral Torres Filho
Título: Análise da utilização de métodos ágeis no desenvolvimento de ambientes virtuais de aprendizagem: um estudo de caso do Solar 2.0
Banca Examinadora:
Prof. Dr. Mauro Cavalcante Pequeno (UFC – Orientador)
Prof. Dr. Miguel Franklin de Castro (MDCC/UFC)
Prof. Dr. Rodrigo Penteado Ribeiro de Toledo (UFRJ)
Data da Defesa: 30/01/2014
198. Luis Eufrásio Teixeira Neto
Título: Uma abordagem para publicação de visões RDF de dados relacionais
Banca Examinadora:
Prof.ª Dr.ª Vânia Maria Ponte Vidal (MDCC/UFC – Orientadora)
Prof. Dr. Marco Antonio Casanova (PUC/RJ)
Prof. Dr. José Maria da Silva Monteiro Filho (MDCC/UFC)
Prof.ª Dr.ª Valéria Magalhães Pequeno (INESC/Portugal)
Data da Defesa: 21/01/2014
2013
197. Adyson Magalhães Maia
Título: Um mecanismo para escalonamento de pacotes no uplink da rede LTE no contexto da comunicação máquina-a-máquina
Banca Examinadora:
Prof. Dr. Miguel Franklin de Castro (MDCC/UFC – Orientador)
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC)
Prof. Dr. Danielo Gonçalves Gomes (UFC)
Prof. Dr. Dario Vieira Conceição (EFREI/França)
Prof. Dr. Yacine Ghamri Douadane (La Rochelle/França)
Data da Defesa: 20/12/2013
196. Daniel Ribeiro Matos
Título: Um algoritmo distribuído para escalonamento de sensores em RSSF
Banca Examinadora:
Prof. Dr. Miguel Franklin de Castro (MDCC/UFC – Orientador)
Prof.Dr. Gabriel Antoine Louis Paillard (UFC – Coorientador)
Prof. Dr. Ângelo Roncalli Alencar Brayner (MDCC/UFC)
Data da Defesa: 30/09/2013
195. Macedo Sousa Maia
Título: ASBJOIN: uma estratégia adaptativa para consultas envolvendo operadores de junção em Linked data
Banca Examinadora:
Prof. Dr. José Antonio Fernandes de Macedo (MDCC/UFC – Orientador)
Prof. Dr. José Maria da Silva Monteiro Filho (MDCC/UFC)
Prof.ª Dr.ª Ana Maria de Carvalho Moura (LNCC)
Prof. Dr. Fábio André Machado Porto (LNCC)
Data da Defesa: 31/10/2013
194. José Wellington Franco da Silva
Título: Aquisição de Conhecimento de Mundo para Sistemas de Processamento de Linguagem Natural
Banca Examinadora:
Prof. Dr. Marcelino Cavalcante Pequeno (MDCC/UFC – Orientador)
Prof. Dr. Cicero Nogueira dos Santos (IBM)
Prof.ª Dr.ª Vládia Célia Monteiro Pinheiro (UNIFOR – Coorientadora)
Prof. Dr. Carlos Eduardo Fisch de Brito (MDCC/UFC)
Data da Defesa: 30/08/2013
193. Nayane Ponte Viana
Título: Um serviço para flexibilização da tarifação em nuvens de infraestrutura
Banca Examinadora:
Prof. Dr. Fernando Antonio Mota Trinta (MDCC/UFC – Orientador)
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC)
Prof. Dr. Nabor das Chagas Mendonça (UNIFOR)
Prof. Dr. Américo Tadeu Falcone Sampaio (UNIFOR)
Data da Defesa: 25/10/2013
192. Gustavo Adolfo Campos dos Santos
Título: S-SWAP: scale-space based workload analysis and prediction
Banca Examinadora:
Prof. Dr. Javam de Castro Machado (MDDC/UFC – Orientador)
Prof. Dr. Edmundo Roberto Mauro Madeira (UNICAMP)
Prof. Dr. José Antonio Fernandes de Macedo (MDDC/UFC)
Prof. Dr. José Gilvan Rodrigues Maia (UFC)
Data da Defesa: 04/10/2013
191. Rodrigo Félix de Almeida
Título: BenchXtend: uma ferramenta para medir a elasticidade de sistemas de banco de dados em nuvem
Banca Examinadora:
Prof. Dr. Javam de Castro Machado (MDCC/UFC – Orientador)
Prof. Dr. Sérgio Lifschitz (PUC/RJ)
Prof. Dr. José Maria da Silva Monteiro Filho (MDCC/UFC)
Prof. Dr. Flávio Rubens de Carvalho Sousa (MDCC/UFC)
Data da Defesa: 27/09/2013
190. David Araújo Abreu
Título: MyDBaaS: um framework para o monitoramento de serviços de banco de dados em nuvem
Banca Examinadora:
Prof. Dr. José Antonio Fernandes de Macedo (MDCC/UFC – Orientador)
Prof. Dr. Javam de Castro Machado (MDCC/UFC)
Prof. Dr. José Maria da Silva Monteiro Filho (MDCC/UFC)
Prof. Dr. Flávio Rubens de Carvalho Sousa (MDCC/UFC)
Prof. Dr. Ângelo Roncalli Alencar Alencar Brayner (MDCC/UFC)
Data da Defesa: 18/09/2013
189. Márcio Costa Santos
Título: Experimentos Computacionais com Implementações de Conjunto por Endereçamento Direto e o Problema de Conjunto Independente Máximo
Banca Examinadora:
Prof. Dr. Ricardo Cordeiro Corrêa (UFC – Orientador)
Prof. Dr. Manoel Bezerra Campelo Neto (MDCC/UFC)
Prof. Dr. Carlo Diego Rodrigues (UFC)
Prof. Dr. Philippe Michelon (Université d´Avignon/França)
Data da Defesa: 13/09/2013
188. Benedito José de Almeida Neto
Título: SYSSU-DTS: um sistema de suporte à computação ubíqua baseado em espaço de tuplas distribuído
Banca Examinadora:
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC – Orientador)
Prof. Dr. Prof. Hervé Martin (Université de Saint-Martin-d’Hères/França)
Prof. Dr. Prof. Windson Viana de Carvalho (MDCC/UFC)
Prof. Dr. Miguel Franklin de Castro (MDCC/UFC)
Data da Defesa: 29/08/2013
187. Rafael de Lima
Título: CatchML: uma linguagem de domínio específico para modelagem do tratamento de exceção sensível ao contexto
Banca Examinadora:
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC – Orientadora)
Prof. Dr. Lincoln Sousa Rocha (MDCC/UFC)
Prof. Dr. Nabor das Chagas Mendonça (UNIFOR)
Prof. Dr. Francisco Heron de Carvalho Junior (MDCC/UFC)
Prof. Dr.José Neuman de Souza (MDCC/UFC)
Data da Defesa: 28/08/2013
186. Arthur Rodrigues Araruna
Título: Caminho mínimo com restrição probabilística de atraso máximo
Banca Examinadora:
Prof. Dr. Rafael Castro de Andrade (MDCC/UFC – Orientador)
Prof. Dr. Manoel Bezerra Campelo Neto (MDCC/UFC)
Prof. Dr. Plácido Rogério Pinheiro (UNIFOR)
Prof. Dr. Carlos Diego Rodrigues (UFC)
Data da Defesa: 29/08/2013
185. André Sales Fonteles
Título: Um framework para aquisição adaptativa e fracamente acoplada de informação contextual para dispositivos móveis
Banca Examinadora:
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCDC/UFC – Orientadora)
Prof. Dr. Windson Viana de Carvalho (MDCC/UFC)
Prof. Dr. Fernando Antonio Mota Trinta (MDCC/UFC)
Prof. Dr. Jérôme Gensel (Université Pierre-Mendès/França)
Data da Defesa: 19/07/2013
184. Anderson Boettge Pinheiro
Título: Fusion: abstrações linguísticas sobre Java para programação paralela heterogênea sobre GPGPUs
Banca Examinadora:
Prof. Dr. Francisco Heron de Carvalho Gomes (MDCC/UFC – Orientador)
Prof. Dr. Albert Einstein Fernandes Muritiba (UFC)
Prof. Dr. Siang Wun Song (USP)
Prof. Dr. Ricardo Cordeiro Corrêa (UFC)
Data da Defesa: 22/05/2013
183. Ângela Maria Alves Pinheiro
Título: OntologyManagementTool – uma ferramenta para gerenciamento de ontologias como teorias lógicas
Banca Examinadora:
Prof. Dr. José Antonio Fernandes de Macedo (MDCC/UFC – Orientador)
Prof. Dr. Marco Antonio Casanova (PUC/RJ)
Prof. Dr. João Fernando Lima Alcântara (MDCC/UFC)
Data da Defesa: 05/04/2013
182. Suzana Matos França de Oliveira
Título: Simulação de malha triangular: um estudo sobre a adaptatividade da malha
Banca Examinadora:
Prof. Dr. Creto Augusto Vidal (MDCC/UFC – Orientador)
Prof. Dr. Joaquim Bento Cavalcante Neto (MDCC/UFC)
Prof. Dr. Murilo Pereira de Almeida (UFC)
Data da Defesa: 06/03/2013
181. Erasmo Artur da Silva Júnior
Título: Método dinâmico para troca de representação em sistemas híbridos de renderização de multidões
Banca Examinadora:
Prof. Dr. Joaquim Bento Cavalcante Neto (MDCC/UFC – Orientador)
Prof. Dr. Creto Augusto Vidal (MDCC/UFC)
Prof.ª Dr.ª Soraia Raupp Musse (PUC/RS)
Data da Defesa: 05/03/2013
180. Jonas Deyson Brito dos Santos
Título: Renderização com amostragem adaptativa no domínio N-dimensional
Banca Examinadora:
Prof. Dr. Joaquim Bento Cavalcante Neto (MDCC/UFC – Orientador)
Prof. Dr. Creto Augusto Vidal (MDCC/UFC)
Prof. Dr. Manuel Menezes de Oliveira (UFRGS)
Data da Defesa: 04/03/2013
179. Ismayle de Sousa Santos
Título: Um ambiente para geração de cenários de testes para linhas de produtos de software sensíveis ao contexto
Banca Examinadora:
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC – Orientadora)
Prof. Dr. Fernando Antonio Mota Trinta (MDCC/UFC)
Prof. Dr. Pedro de Alcântara dos Santos Neto (UFPI)
Prof. Dr. Sérgio Castelo Branco Soares (UFPE)
Data da Defesa: 04/03/2013
178. Charles Welton Ferreira Barbosa
Título: Uma análise comparativa de métodos aproximativos baseados em smoothed particle hydrodynamics para animação de fluidos
Banca Examinadora:
Prof. Dr. Creto Augusto Vidal (MDCC/UFC – Orientador)
Prof. Dr. Murilo Pereira de Almeida (UFC)
Prof. Dr.Joaquim Bento Cavalcante Neto (MDCC/UFC)
Data da Defesa: 01/03/2013
177. Carlos Vinícius Gomes Costa Lima
Título: Sobre b-coloração de grafos com cintura pelo menos 6
Banca Examinadora:
Prof. Dr. Victor Almeida Campos (MDCC/UFC – Orientador)
Prof.ª Dr.ª Erika Morais Martins Coelho (UFG)
Prof. Dr. Rudini Menezes Sampaio (MDCC/UFC)
Prof.ª Dr.ª Ana Shirley Ferreira da Silva (UFC)
Data da Defesa: 25/02/2013
176. Nicolas de Almeida Martins
Título: Problemas de coloração de grafos com poucos P4´s
Banca Examinadora:
Prof. Dr. Rudini Menezes Sampaio (MDCC/UFC – Orientador)
Prof. Dr. Mitre Costa Dourado (UFRJ)
Prof. Dr. Victor Almeida Campos (MDCC/UFC)
Prof.ª Dr.ª Ana Shirley Ferreira da Silva (UFC)
Data da Defesa: 22/02/2013
175. Lívia Almada Cruz
Título: Consultas kNN em redes dependentes do tempo
Banca Examinadora:
Prof. Dr. José Antonio Fernandes de Macedo (MDCC/UFC – Orientador)
Prof. Dr. Marco Antonio Casanova (PUC/RJ)
Prof. Dr. Mario Antonio do Nascimento (UFRGS)
Prof. Dr. Javam de Castro Machado (MDCC/UFC)
Data da Defesa: 21/02/2013
174. Ticiana Linhares Coelho da Silva
Título: Processamento elástico e não-intrusivo de consultas em ambientes de nuvem considerando o SLA
Banca Examinadora:
Prof. Dr.José Antonio Fernandes de Macêdo (MDCC/UFC – Orientador)
Prof.ª Dr.ª Carmem Satie Hara (UFPR)
Prof. Dr. Javam de Castro Machado (MDCC/UFC)
Prof. Dr. José Maria da Silva Monteiro Filho (MDCC/UFC)
Data da Defesa: 16/01/2013
2012
173. Daniel Mourão Martins
Título: Uma estratégia para sistemas de detecção e prevenção de intrusão baseada em software livre
Banca Examinadora:
Prof. Dr. Miguel Franklin de Castro (MDCC/UFC – Orientador)
Prof. Dr. Francisco de Assis Tavares Ferreira da Silva (INPE)
Prof. Dr. André Luiz Moura dos Santos (UECE)
Prof. Dr. José Neuman de Souza (MDCC/UFC)
Data da Defesa: 30/11/2012
172. Carlos Roberto Rodrigues Filho
Título: A evolução do projeto computacional para uma inteligência artificial e as novas perspectivas oferecidas pelos avanços da cognição enativa
Banca Examinadora:
Prof. Dr. Carlos Eduardo Fisch de Brito (MDCC/UFC – Orientador)
Prof. Dr. Mario Roberto Folhadela Benvides (UFRJ)
Prof. Dr. Marcelino Cavalcante Pequeno (MDCC/UFC)
Prof. Dr. João Fernando Lima Alcântara (MDCC/UFC)
Data da Defesa: 30/11/2012
171. Arlino Henrique Magalhães de Araújo
Título: Abordagens para a sintonia de comandos SQL
Banca Examinadora:
Prof. Dr. José Maria da Silva Monteiro Filho (MDCC/UFC – Orientador)
Prof. Dr. Ângelo Roncalli Alencar Brayner (MDCC/UFC)
Prof. Dr. Javam de Castro Machado (MDCC/UFC)
Prof. Dr. José Antonio Fernandes de Macedo (MDCC/UFC)
Data da Defesa: 30/11/2012
170. Manoel Mariano Siqueira Júnior
Titulo: GeDaNIC: um framework para gerenciamento de banco de dados em nuvem baseado nas interações entre consultas
Banca Examinadora:
Prof. Dr. José Maria da Silva Monteiro Filho (MDCC/UFC – Orientador)
Prof. Dr. Ângelo Roncalli Alencar Brayner (MDCC/UFC)
Prof. Dr. Javam de Castro Machado (MDCC/UFC)
Prof. Dr. José Antonio Fernandes de Macedo (MDCC/UFC)
Data da Defesa: 30/11/2012
169. Carlos Alberto Batista de Queiroz Filho
Título: Um mecanismo de tratamento de exceções sensível ao contexto para sistemas ubíquos orientados a tarefas
Banca Examinadora:
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC – Orientadora)
Prof.ª Dr.ª Judith Kelner (UFPE)
Prof. Dr. Miguel Franklin de Castro (MDCC/UFC)
Data da Defesa: 30/11/2012
168. Maria Cecília Rebouças
Título: Um Esquema de Escalonamento Distribuído e Colaborativo para a Gerência de Cobertura em Redes de Sensores sem Fio Densas
Banca Examinadora:
Prof. Dr. Miguel Franklin de Castro (MDCC/UFC – Orientador)
Prof. Dr. Ângelo Roncalli Alencar Brayner (MDCC/UFC)
Prof. Dr. Danielo Gonçalves Gomes (UFC)
Prof. Dr. José Neuman de Souza (MDCC/UFC)
Data da Defesa: 30/11/2012
167. Juliano Efson Norberto Sales
Título: Coordenação e reconfiguração dinâmica de componentes em uma plataforma de computação paralela
Banca Examinadora:
Prof. Dr. Francisco Heron de Carvalho Junior (MDCC/UFC – Orientador)
Prof. Dr. Cidcley Teixeira de Sousa (IFCE)
Prof. Dr. Nabor das Chagas Mendonça (UNIFOR)
Prof. Dr. Ricardo Cordeiro Corrêa (UFC)
Data da Defesa: 30/11/2012
166. Diego Victor Simões de Sousa
Título: Realizando consultas em trajetórias semânticas utilizando uma abordagem baseada em verificação de modelos
Banca Examinadora:
Prof. Dr. José Antonio Fernandes de Macedo (MDCC/UFC – Orientador)
Prof. Dr. Marco Antonio Casanova (PUC/RJ)
Prof. Dr. Javam de Castro Machado (MDCC/UFC)
Prof.ª Dr.ª Vânia Maria Ponte Vidal (MDCC/UFC)
Data da Defesa: 29/11/2012
165. Paulo Alexandre da Silva Costa
Título: Uma ferramenta para análise automática de modelos de características de linhas de produtos de software sensível ao contexto
Banca Examinadora:
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC – Orientadora)
Prof. Dr. Vinícius Cardoso Garcia (UFPE)
Prof.ª Dr.ª Fabiana Gomes Marinho (IFCE)
Prof.ª Dr.ª Vânia Maria Ponte Vidal (MDCC/UFC)
Data da Defesa: 27/11/2012
164. Fabrício Dias Alves Lemos
Título: Uma abordagem para inserção de sensibilidade ao contexto em técnicas de recomendação baseadas em conhecimento
Banca Examinadora:
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC – Orientadora)
Prof. Dr. Cláudio de Souza Baptista (UFCG)
Prof. Dr. Windson Viana de Carvalho (MDCC/UFC)
Prof. Dr. Fernando Antonio Mota Trinta (MDCC/UFC)
Data da Defesa: 31/10/2012
163.Thiago Braga Marcilon
Título: Contratos formais para derivação e verificação de componentes paralelos
Banca Examinadora:
Prof. Dr. Francisco Heron de Carvalho Junior (MDCC/UFC – Orientador)
Prof. Dr. Ricardo Cordeiro Corrêa (UFC)
Prof. Dr. Luis Soares Barbosa (UMinho/Portugal)
Prof. Dr. Paulo Henrique Mendes Maia (UECE)
Data da Defesa: 20/09/2012
162. Agebson Rocha Façanha
Titulo: Uma proposta para acessibilidade visual e táctil em dispositivos touchscreen
Banca Examinadora:
Prof. Dr. Mauro Cavalcante Pequeno (UFC – Orientador)
Prof.ª Dr.ª Maria Elizabeth Sucupira Furtado (UNIFOR)
Prof.ª Dr.ª Andréa Poletto Sonza (IFRS)
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC)
Prof. Dr. Widson Viana de Carvalho (MDCC/UFC)
Data da Defesa: 21/09/2012
161. Henrique Viana Oliveira
Título: Refinamento de consultas em lógicas de descrição utilizando teoria dos rough sets
Banca examinadora:
Prof. Dr. João Fernando Lima Alcântara (MDCC/UFC – Orientador)
Prof.ª Dr.ª Ana Teresa de Castro Martins (MDCC/UFC)
Prof. Dr. Mário Roberto Folhadela Benevides (UFRJ)
Prof. Dr. Carlos Eduardo Fisch de Brito (MDCC/UFC)
Data da Defesa: 14/08/2012
160. Iuri Fernandes Queiroz
Título: Versionamento de Ontologias Baseado em Lógica Temporais
Banca Examinadora:
Prof.ª Dr.ª Ana Teresa de Castro Martins (MDCC/UFC – Orientadora)
Prof. Dr. Mário Roberto Folhadela Benevides (UFRJ)
Prof. Dr. Carlos Eduardo Fisch de Brito (MDCC/UFC)
Prof. Dr. João Fernando Lima Alcântara (MDCC/UFC)
Data da Defesa: 13/08/2012
159. Vinicius da Silva Thiago
Titulo: Arquitetura multi-agentes para detecção de intrusão distribuída
Banca Examinadora:
Prof. José Neuman de Souza (MDCC/UFC – Orientador)
Prof. Dr. Joberto Sérgio Barbosa Martins (UNIFACS)
Prof. Dr. Miguel Franklin de Castro (MDCC/UFC)
Data da Defesa: 29/06/2012
158. Régis Pires Magalhães
Título: Um ambiente para processamento de consultas federadas em linked data Mashups
Banca Examinadora:
Prof.ª Dr.ª Vânia Maria Ponte Vidal (MDCC/UFC – Orientadora)
Prof. Dr. Fábio André Machado Porto (LNCC)
Prof. Dr.José Antonio Fernandes de Macêdo (MDCC/UFC)
Prof. Dr. José Maria da Silva Monteiro Filho (MDCC/UFC)
Data da Defesa: 25/05/2012
157. Eduardo Gurgel Pinho
Título: Uma linguagem de programação paralela orientada a objetos para arquiteturas distribuídas
Banca Examinadora:
Prof. Dr. Francisco Heron de Carvalho Júnior (MDCC/UFC – Orientador)
Prof. Dr. Eugene Francis Vinod Rebello (UFC)
Prof. Dr. Ricardo Cordeiro Corrêa (UFF)
Data da Defesa: 13/04/2012
156. Artur Pereira Sampaio
Título: Uso de refinamento adaptativo em escultura virtual para criação livre de detalhes em malhas triangulares
Banca Examinadora:
Prof. Dr. Creto Augusto Vidal (MDCC/UFC – Orientador)
Prof. Dr. Evandro Parente Júnior (UFC)
Prof. Dr. Joaquim Bento Cavalcante Neto (MDCC/UFC)
Data da Defesa: 26/03/2012
155. Laise Lima de Carvalho
Título: Um estudo comparativo de métodos de simulação de tecidos virtuais através de sistemas de partículas
Banca Examinadora:
Prof. Dr. Creto Augusto Vidal (MDCC/UFC – Orientador)
Prof. Dr. Murilo Pereira de Almeida (UFC)
Prof. Dr. Joaquim Bento Cavalcante Neto (MDCC/UFC)
Data da Defesa: 26/03/2012
154. Lílian de Oliveira Carneiro
Título: Simulação de evacuação de multidão por autômato celular – Estudo de caso em um estádio de futebol
Banca examinadora:
Prof. Dr. Joaquim Bento Cavalcante Neto (MDCC/UFC – Orientador)
Prof.ª Dr.ª Maria Andreia Formico Rodrigues (UNIFOR)
Prof. Dr. Creto Augusto Vidal (MDCC/UFC)
Data da Defesa: 26/03/2012
153. Paulo Antonio Leal Rego
Titulo: FairCPU: uma arquitetura para provisionamento de máquinas virtuais utilizando características de processamento
Banca Examinadora:
Prof. Dr. José Neuman de Souza (MDCC/UFC – Orientador)
Prof. Dr. Bruno Richard Schulze (LNCC)
Prof. Dr. Miguel Franklin de Castro (MDCC/UFC)
Prof. Dr. Paulo Henrique Mendes Maia (UECE)
Data da Defesa: 02/03/2012
152. Antonio Josefran de Oliveira Bastos
Título: Sequências convergentes de estruturas discretas e testabilidade
Banca examinadora:
Prof. Dr. Rudini Menezes Sampaio (MDCC/UFC – Orientador)
Prof. Dr. Carlos Hoppen (UFRGS)
Prof. Dr. Juvêncio Santos Nobre (UFC)
Prof. Dr. Fabrício Siqueira Benevides (UFC)
Data da Defesa: 27/02/2012
151. Igo Ramalho Brilhante
Título: Mobility data under analysis a complex network perspective from Interactions among trajectories to movements among points interest
Banca Examinadora:
Prof. Dr. José Antônio Fernandes de Macedo (MDCC/UFC – Orientador
Prof. Dr. Marco Antonio Casanova (PUC/RJ)
Prof.ª Dr.ª Chiara Renso (CNR/Itália)
Prof.ª Dr.ª Vânia Maria Ponte Vidal (MDCC/UFC)
Data da Defesa: 10/02/2012
2011
150. Leandro Kravczuk Vieira
Título: Análise de desempenho de uma aplicação VoIP em redes veiculares
Banca Examinadora:
Prof. Dr. José Neuman de Souza (MDCC/UFC – Orientador)
Prof. Dr. Ricardo José Paiva de Britto Salgueiro (UFS)
Prof. Dr. Joaquim Celestino Júnior (UECE)
Data da Defesa: 02/12/2011
149. Fernando Wagner Brito Hortêncio Filho
Título: Uma abordagem semi-automática para geração incremental de correspondências entre ontologias
Banca Examinadora:
Prof. Dr. José Antônio Fernandes de Macêdo (MDCC/UFC – Orientador)
Prof.ª Dr.ª Maria Claudia Cavalcanti (IME)
Prof.ª Dr.ª Bernadette Farias Lóscio (UFPE)
Prof. Dr. João Fernando Lima Alcântara (MDCC/UFC)
Data da Defesa: 29/11/2011
148. Camila Helena Souza Oliveira
Titulo: Gerenciamento autonômico de energia em redes de sensores sem fio através do escalonamento de atividade dos nós
Banca Examinadora:
Prof. Dr. Miguel Franklin de Castro (MDCC/UFC – Orientador)
Prof. Dr. Stênio Flavio de Lacerda Fernandes (UFPE)
Prof. Dr José Neuman de Souza (MDCC/UFC)
Data da Defesa: 24/11/2011
147. Alexandre Correia Cirqueira
Titulo: Um mecanismo de segurança com adaptação dinâmica em tempo de execução para dispositivos móveis
Banca Examinadora:
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC – Orientadora)
Prof. Dr. Miguel Franklin de Castro (MDCC/UFC)
Prof. Dr. José Neuman de Sousa (MDCC/UFC)
Prof.ª Dr.ª Judith Kelner (UFPE)
Prof. Dr. José de Ribamar Martins Bringel Filho (Université de Grenoble/França)
Data da Defesa: 07/10/2011
146. Cenez Araújo de Rezende
Titulo: Avaliação de desempenho de uma plataforma de componentes paralelos
Banca Examinadora:
Prof. Dr. Francisco Heron de Carvalho Junior (MDCC/UFC – Orientador)
Prof. Dr. Ricardo Massa Ferreira Lima (UFPE)
Prof. Dr. Joaquim Bento Cavalcante Neto (MDCC/UFC)
Prof. Dr. Ricardo Cordeiro Correa (UFC)
Data da Defesa: 07/10/2011
145. Álinson Santos Xavier
Titulo: Geração de facetas para politopos de conjuntos independentes
Banca Examinadora:
Prof. Dr. Manoel Bezerra Campelo Neto (MDCC/UFC – Orientador)
Prof. Dr. Rafael Castro de Andrade (MDCC/UFC)
Prof. Dr. Ricardo Cordeiro Correa (UFC)
Prof. Dr. Cid Carvalho de Souza (UNICAMP)
Data da Defesa: 26/09/2011
144. Michel Sales Bonfim
Titulo: Um mecanismo de melhoria de handovers verticais utilizando endereçamento multicast e serviços do MIH 802.21
Banca Examinadora:
Prof. Dr. Miguel Franklin de Castro (MDCC/UFC – Orientador)
Prof. Dr. Stênio Flávio de Lacerda Fernandes (UFPE)
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC)
Prof. Dr. Danielo Gonçalves Gomes (UFC)
Data da Defesa: 23/09/2011
143. Francisco Fabrício de Paula Lima
Titulo: SysSU – Um sistema de suporte para computação ubíqua
Banca Examinadora:
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC – Orientadora)
Prof. Dr. Markus Endler (PUC/RJ)
Prof. Dr. Cidcley Teixeira de Souza (IFCE)
Prof. Dr. Miguel Franklin de Castro (MDCC/UFC)
Data da Defesa: 16/09/2011
142. Allberson Bruno de Oliveira Dantas
Titulo: Uma interface de programação distribuída para aplicações em otimização combinatória
Banca Examinadora:
Prof. Dr. Ricardo Cordeiro Corrêa (UFC – Orientador)
Prof.ª Dr.ª Maria Cristina Silva Boeres (UFF)
Prof. Dr. Francisco Heron de Carvalho Junior (MDCC/UFC)
Data da Defesa: 12/09/2011
141. Débora Farias Frota
Título: Uma lógica de descrição default
Banca Examinadora:
Prof.ª Dr.ª Ana Teresa de Castro Martins (MDCC/UFC – Orientadora)
Prof. Dr. Edward Hermann Haeusler (PUC/RJ)
Prof. Dr. João Fernando Lima Alcântara (MDCC/UFC)
Data da Defesa: 19/08/2011
140. Adriano Tavares de Freitas
Título: Árvore de Subgradiente com Pré-Fase VNS-Lagrangeana para a Árvore Geradora com Restrição de Grau Máximo nos Vértices
Banca Examinadora:
Prof. Dr. Rafael Castro de Andrade (MDCC/UFC – Orientador)
Prof. Dr. Celso da Cruz Carneiro Ribeiro (UFF)
Prof. Dr. Manoel Bezerra Campêlo Neto (MDCC/UFC)
Prof. Dr. Ricardo Cordeiro Corrêa (UFC)
Data da Defesa: 19/08/2011
139. Bruno de Carvalho Leal
Titulo: Da modelagem conceitual à representação lógica de trajetórias em SGBDOR e sistemas de DW
Banca Examinadora:
Prof. Dr. José Antonio Fernandes de Macêdo (MDCC/UFC) Orientador
Prof.ª Dr.ª Valéria Cesário Times (UFPE – Coorientadora)
Prof.ª Dr.ª Vânia Maria Ponte Vidal (MDCC/UFC)
Prof. Dr. Fábio André Machado Porto (LNCC)
Prof. Dr. Marco Antônio Casanova (PUC/RJ)
Data da Defesa: 12/08/2011
138. João Bosco Ferreira Filho
Titulo: Enriquecimento Semântico de Linhas de Produto de Software
Banca Examinadora:
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC – Orientadora)
Prof. Dr. Jérôme Gensel (Université Pierre Mendès/França)
Prof. Dr. Cidcley Teixeira de Souza (IFCE)
Prof. Dr. José Antônio Fernandes de Macêdo (MDCC/UFC)
Prof. Dr. Windson Viana de Carvalho (MDCC/UFC)
Data da Defesa: 13/05/2011
137. Ana Karolinna Maia de Oliveira
Título: Estudo de casos de complexidade de colorações gulosa de vértices e de arestas
Banca examinadora:
Prof.ª Dr.ª Claudia Linhares Sales (MDCC/UFC – Orientadora)
Prof. Dr. Frédéric Havet (INRIA/França)
Prof. Dr. Manoel Bezerra Campelo Neto (MDCC/UFC)
Prof. Dr. Rudini Menezes Sampaio (MDCC/UFC)
Data da Defesa: 07/04/2011
136. Teófilo Bezerra Dutra
Título: Um modelo híbrido para simulação de multidão com comportamentos variados em tempo real
Banca Examinadora:
Prof. Dr. Joaquim Bento Cavalcante Neto (MDCC/UFC – Orientador)
Prof.ª Dr.ª Soraia Raupp Musse – (PUC/RS)
Prof. Dr. Creto Augusto Vidal (MDCC/UFC)
Data da Defesa: 14/03/2011
135. Martha Isabel Cárdenas Esguerra
Titulo: Geração de prole virtual por reprodução simulada aplicada ao problema de pessoas desaparecidas
Banca Examinadora:
Prof. Dr. Creto Augusto Vidal (MDCC/UFC – Orientador)
Prof. Dr. Joaquim Bento Cavalcante Neto (MDCC/UFC)
Prof.ª Dr.ª Fátima Lourdes Nunes Marques (USP)
Data da Defesa: 25/02/2011
134. Rafael Fernandes Ivo
Título: Uma nova estratégia para renderizar descontinuidades e superfícies intersectantes em modelos baseados em splats
Banca Examinadora:
Prof. Dr. Creto Augusto Vidal (MDCC/UFC – Orientador)
Prof. Dr. Joaquim Bento Cavalcante Neto (MDCC/UFC)
Prof. Dr. Manuel Menezes de Oliveira Neto (UFRGS)
Data da Defesa: 25/02/2011
133. Rafael Siqueira Telles Vieira
Título: Técnicas para geração de malhas de quadriláteros convexos e sua aplicação em reservatórios naturais
Banca Examinadora:
Prof. Dr. Joaquim Bento Cavalcante Neto (MDCC/UFC – Orientador)
Prof. Dr. Creto Augusto Vidal (MDCC/UFC)
Prof. Dr. Marcelo Gattass (PUC/RJ)
Prof. Dr. Luiz Fernando Martha (PUC/RJ)
Data da Defesa: 21/02/2011
132. Ticianne de Góis Ribeiro
Título: Uma Abordagem Baseada em Ontologias para o Desenvolvimento de Aplicações Web de Integração de Dados
Banca Examinadora:
Prof.ª Dr.ª Vânia Maria Ponte Vidal (MDCC/UFC – Orientadora)
Prof. Dr. Fábio André Machado Porto (LNCC)
Prof. Dr. José Maria Monteiro (MDCC/UFC)
Prof. Dr. José Antonio Fernandes de Macêdo (MDCC/UFC)
Data da Defesa: 26/01/2011
2010
131. Bruno Góis Mateus
Título: Análise sobre o impacto da densidade veicular, da carga da rede e da mobilidade no desempenho de protocolos de roteamento para redes veiculares
Banca Examinadora:
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC – Orientadora)
Prof. Dr. Raimundo Jose de Araújo Macedo (UFBA)
Prof. Dr. Prof. José Neuman de Souza (MDCC/UFC)
Prof. Dr. Prof. Joaquim Celestino Júnior (UECE)
Data da Defesa: 20/12/2010
130. Fernanda Lígia Rodrigues Lopes
Título: Acesso a Dados a partir de Ontologias Utilizando Mapeamentos Heterogêneos e Programação em Lógica
Banca Examinadora:
Prof. Dr. José Antônio Fernandes de Macêdo (MDCC/UFC – Orientador)
Prof.ª Dr.ª Bernadette Farias Lóscio (UFPE)
Prof. Dr. João Fernando Lima Alcântara (MDCC/UFC)
Prof.ª Dr.ª Maria Cláudia Reis Cavalcanti (IME)
Data da Defesa: 30/11/2010
129. Davi Morais Ferreira
Título: Integração de bibliotecas científicas de propósito especial em uma plataforma de componentes paralelos
Banca Examinadora:
Prof. Dr. Francisco Heron de Carvalho Junior (MDCC/UFC – Orientador)
Prof. Dr. Ricardo Massa Ferreira Lima – (UFPE)
Prof. Dr. Ricardo Cordeiro Corrêa (UFC)
Prof. Dr. Gabriel Antoine Louis Paillard (UFC)
Data da Defesa: 23/11/2010
128. João Marcelo Uchôa de Alencar
Título: Um Ambiente de Execução Peer-to-peer para Escalonamento Dinâmico de Workflows em Grades Computacionais
Banca Examinadora:
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC – Orientadora)
Prof. Dr. Bruno Richard Schulze (LNCC)
Prof. Dr. Danielo Gonçalves Gomes (UFC)
Prof. Dr. José Neuman de Souza (MDCC/UFC)
Prof. Dr. Windson Viana de Carvalho (MDCC/UFC)
Data da Defesa: 10/09/2010
127. Cibele Matos Freire
Titulo: Complexidade descritiva das lógicas de ordem superior com menor ponto fixo e análise de expressividade de algumas lógicas modais
Banca Examinadora:
Prof.ª Dr.ª Ana Teresa de Castro Martins (MDCC/UFC – Orientadora)
Prof. Dr. Mario Roberto Folhadela Benevides (UFRJ)
Prof. Dr. João Fernando Lima Alcântara (MDCC/UFC)
Prof. Dr. Carlos Eduardo Fisch de Brito (MDCC/UFC)
Data da Defesa: 13/08/2010
126. Marco Diego Aurélio Mesquita
Titulo: Uma Abordagem para Estimativa de Iluminação Indireta
Banca Examinadora:
Prof. Dr. Creto Augusto Vidal (MDCC/UFC – Orientador)
Prof. Dr. Joaquim Bento Cavalcante Neto (MDCC/UFC – Coorientador)
Prof. Dr. Anselmo Cardoso de Paiva (UFMA)
Data da Defesa: 11/08/2010
125. Ronan Pardo Soares
Título: Procura em Grafos
Banca Examinadora:
Prof.ª Dr.ª Cláudia Linhares Sales (MDCC/UFC – Orientadora)
Prof. Dr. Manoel Bezerra Campelo Campêlo (MDCC/UFC)
Prof. Dr. Rudini Menezes Sampaio (MDCC/UFC)
Prof. Dr. Nicolas Nisse (INRIA/França)
Data da Defesa: 13/04/2010
124. Alfredo Antônio de Araújo Malheiros Filho
Título: Semântica Inferencialista na Resolução de Anáforas Pronominais
Banca Examinadora:
Prof. Dr. Marcelino Cavalcante Pequeno (MDCC/UFC – Orientador)
Prof.ª Dr.ª Helena Franco Martins (PUC/RJ)
Prof.ª Dr.ª Vládia Célia Pinheiro (UFC – Coorientadora)
Prof.ª Dr.ª Ana Teresa de Castro Martins (MDCC/UFC)
Data da Defesa: 09/04/2010
123. Markos Oliveira Freitas
Titulo: Geração em Paralelo de Malhas Triangulares por Avanço de Fronteira com Particionamento por Decomposição Espacial Recursiva
Banca Examinadora:
Prof. Dr. Joaquim Bento Cavalcante Neto (MDCC/UFC – Orientador)
Prof. Dr. Creto Augusto Vidal (MDCC/UFC)
Prof. Dr. Luiz Fernando Martha (PUC/RJ)
Data da Defesa: 05/03/2010
2009
122. Clayton Maciel Costa
Título: RelP: Um Framework Baseado em Serviços Web para Publicação de Dados Relacionais através de Visões XML
Banca Examinadora:
Prof.ª Dr.ª Vânia Maria Ponte Vidal (MDCC/UFC – Orientadora)
Prof. Dr. José Antonio Fernandes de Macêdo (MDCC/UFC)
Prof. Dr. Fabio André Machado Porto (LNCC)
Data da Defesa: 21/12/2009
121. George Marcel Lima Teixeira
Título: Um Framework para Sistemas de Mediação Baseados em XML
Banca Examinadora:
Prof.ª Dr.ª Vânia Maria Ponte Vidal (MDCC/UFC – Orientadora)
Prof.ª Dr.ª Marta Lima de Queirós Mattoso (UFRJ)
Prof. Dr. José Antônio Fernandes de Macêdo (MDCC/UFC)
Data da Defesa: 09/10/2009
120. Valéria Lelli Leitão Dantas
Título: Requisitos para Testes de Aplicações Móveis
Banca Examinadora:
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC – Orientadora)
Prof. Dr. Auri Marcelo Rizzo Vincenzi (UFG)
Prof. Dr. Pedro de Alcântara dos Santos Neto (UFPI)
Prof. Dr. José Antônio Fernandes de Macêdo (MDCC/UFC)
Data da Defesa: 04/09/2009
119. Paulo Henrique Lopes Silva
Título: Implementações de Conexões de Componentes CCA Distribuídos usando Java e MPI
Banca Examinadora:
Prof. Dr. Ricardo Cordeiro Corrêa (UFC – Orientador)
Prof. Dr. Edson Norberto Cáceres – (UFMS)
Prof. Dr. Gabriel Antoine Louis Paillard – (UFC/Sobral)
Prof. Dr. Francisco Heron de Carvalho Junior (MDCC/UFC)
Data da Defesa: 28/08/2009
118. Leonardo Sampaio Rocha
Título: b-Colorações de Grafos
Banca Examinadora:
Prof.ª Dr.ª Cláudia Linhares Sales (MDCC/UFC – Orientadora)
Prof.ª Dr.ª Celina Miraglia Herrera de Figueiredo (UFRJ)
Prof. Dr. Ricardo Cordeiro Corrêa (UFC)
Data da Defesa: 24/08/2009
117. Levi Bayde Ribeiro
Título: BiO4SeL: Uma Abordagem Baseada em Colônia de Formigas para a Otimização do Tempo de Vida de Redes de Sensores Sem Fio
Banca Examinadora:
Prof. Dr. Miguel Franklin de Castro (MDCC/UFC – Orientador)
Prof. Dr. Antônio Alfredo Ferreira Loureiro (UFMG)
Prof. Dr. José Neuman de Souza (MDCC/UFC)
Prof. Dr. Danielo Gonçalves Gomes (UFC)
Prof. Dr. Fernando Antônio de Carvalho Gomes (MDCC/UFC)
Data da Defesa: 20/08/2009
116. Marcio Espíndola Freire Maia
Título: AESPmob – Modelo Autônomo e Evolutivo para Provisão de Serviços Essenciais em Redes Móveis
Banca Examinadora:
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC – Orientadora)
Prof. Dr. Francisco Heron de Carvalho Júnior (UFC)
Prof. Dr. Nabor das Chagas Mendonça (UNIFOR)
Prof. Dr. Wanderley Lopes de Souza (UFSCAR)
Data da Defesa: 07/07/2009
115. Paulo César Linhares da Silva
Titulo: Aplicações de Combinatória Analítica para a Contagem de Tipos Especiais de Árvores
Banca Examinadora:
Prof. Dr. Rafael Castro de Andrade(MDCC/UFC – Orientador)
Prof. Dr. Antonio Caminha Muniz Neto (UFC – Coorientador)
Prof. Dr. Rudini Menezes Sampaio (MDCC/UFC)
Prof. Dr. Carlile Campos Lavor (UNICAMP)
Data da Defesa: 03/07/2009
114. Fabiana Freire de Araújo
Titulo: MeMO: Uma Estratégia para Merging Múltiplo de Ontologias baseada em Clustering
Banca Examinadora:
Prof.ª Dr.ª Bernadette Farias Loscio (UFC – Orientadora)
Prof.ª Dr.ª Diana Magalhaes de Oliveira (UECE)
Prof.ª Dr.ª Ana Carolina Brandao Salgado – (UFPE)
Prof.ª Dr.ª Vânia Maria Ponte Vidal (MDCC/UFC)
Data da Defesa: 18/06/2009
113. Julio Cesar Silva Araujo
Titulo: Coloração Gulosa e Coloração Ponderada
Banca Examinadora:
Prof.ª Dr.ª Cláudia Linhares Sales (MDCC/UFC – Orientadora)
Prof. Dr. Ricardo Cordeiro Correa (UFC)
Prof.ª Dr.ª Célia Picinin de Mello (UNICAMP)
Prof.ª Dr.ª Maria Aurora Morgana (Università di Roma La Sapienza/Itália)
Data da Defesa: 15/05/2009
112. Ricardo Lenz Cesar
Titulo: Geração de malhas por refinamento adaptativo usando GPU
Banca Examinadora:
Prof. Dr. Joaquim Bento Cavalcante Neto (MDCC/UFC – Orientador)
Prof. Dr. Creto Augusto Vidal (MDCC/UFC)
Prof.ª Dr.ª Verônica Teichrieb (UFF)
Data da Defesa: 24/04/2009
111. Daniel Márcio Batista de Siqueira
Titulo: Geração Adaptativa de Malhas de Superfícies Paramétricas com Controle de Curvatura
Banca Examinadora:
Prof. Dr. Creto Augusto Vidal (MDCC/UFC – Orientador)
Prof. Dr. Joaquim Bento Cavalcante Neto (MDCC/UFC – Co-orientador)
Prof.ª Dr.ª Aura Conci (UFPE)
Data da Defesa: 24/04/2009
110. Guilherme Oliveira Mota
Titulo: Uma Generalização do Teorema de Hall e suas Implicacões para a Teoria de Fatores
Banca Examinadora:
Prof.ª Dr.ª Cláudia Linhares Sales (MDCC/UFC – Orientadora)
Prof. Dr. Marcelo Henriques de Carvalho (UFMS)
Prof. Dr. Rafael Castro de Andrade (MDCC/UFC)
Prof. Dr. Rudini Menezes Sampaio (MDCC/UFC)
Data da Defesa: 13/02/2009
2008
109. Samy Soares Passos de Sá
Título: Uma aplicação para a LPR
Banca Examinadora:
Prof. Dr. Tarcísio Haroldo Cavalcante Pequeno (UFC – Orientador)
Prof. Dr. Marcelino Cavalcante Pequeno (MDCC/UFC)
Prof. Dr. Arthur Ronald de Vaullaris Buchsbaum (UFSC)
Prof. Dr. Jean-Yves Beziau (Université de Neuchatel/Suíça)
Data da Defesa: 02/10/2008
108. Wladimir Araújo Tavares
Título: Sistemas Formais Avançados e a Estratificação Relevante : Uma Defesa da Predicatividade das Definições
Banca Examinadora:
Prof. Dr. Marcelino Cavalcante Pequeno (MDCC/UFC – Orientador)
Prof.ª Dr.ª Ana Teresa de Castro Martins (MDCC/UFC – Coorientadora)
Prof. Dr. Jean-Yves Béziau (Université de Neuchatel/Suíça)
Prof. Dr. Arthur Ronald de Vallauris Buchsbaum (UFSC)
Data da Defesa: 02/10/2008
107. Francisco Herbert Lima Vasconcelos
Título: Objeto de aprendizagem como ferramenta de modelagem computacional exploratória aplicada ao ensino de física
Banca Examinadora:
Prof. Dr. Mauro Cavalcante Pequeno (UFC – Orientador)
Prof. Dr. Romero Tavares da Silva (UFPB)
Prof. Dr. José Aires de Castro Filho (UFC)
Prof. Dr. Júlio Wilson Ribeiro (UFC)
Data da Defesa: 02/10/2008
106. Isaac Moreira Barreto
Título: Cálculo do Fator-de-Forma exato entre áreas diferencial e finita usando CSG
Banca Examinadora:
Prof. Dr. Creto Augusto Vidal (MDCC/UFC – Orientador)
Prof. Dr.Joaquim Bento Cavalcante Neto (MDCC/UFC)
Prof. Dr. Marcelo Walter (UFPE)
Data da Defesa: 19/09/2008
105. Aglaíse Frota Moura Carvalho
Título: M-CODE: um modelo para medição de confidencialidade e desempenho para aplicações móveis seguras
Banca Examinadora:
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC – Orientadora)
Prof. Dr. Orlando Gomes Loques Filho (UFF)
Prof. Dr. Miguel Franklin de Castro (MDCC/UFC)
Prof. Dr. Danielo Gonçalves Gomes (UFC)
Data da Defesa: 19/09/2008
104. Fábio Carlos Sousa Dias
Título: Algoritmos para o problema de localização simples baseados nas formulações clássica e canônica
Banca Examinadora:
Prof. Dr. Manoel Bezerra Campêlo Neto (MDCC/UFC – Orientador)
Prof. Dr. Henrique Pacca Loureiro Luna (UFAL)
Prof. Dr. Rafael Castro de Andrade (MDCC/UFC)
Data da Defesa: 29/07/2008
103. Leonardo Oliveira Moreira
Título: DTX: um mecanismo de controle de concorrência distribuído para dados XML
Banca Examinadora:
Prof. Dr. Javam de Castro Machado (MDCC/UFC – Orientador)
Prof.ª Dr.ª Marta Lima de Queirós Mattoso (UFRJ)
Prof.ª Dr.ª Vânia Maria Ponte Vidal (MDCC/UFC)
Data da Defesa: 24/07/2008
102. Jefferson de Carvalho Silva
Título: Infra-estrutura de componentes paralelos para aplicações de computação de alto desempenho
Banca Examinadora:
Prof. Dr. Francisco Heron de Carvalho Júnior (MDCC/UFC – Orientador)
Prof. Dr. Rafael Dueire Lins (UFPE)
Prof. Dr. Ricardo Cordeiro Corrêa (UFC)
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC)
Data da Defesa: 11/06/2008
2007
101. Alexsandro de Oliveira Alves
Título: Integração de heurísticas lagrangeanas com algoritmos exatos para a otimização de particionamento de conjuntos
Banca Examinadora:
Prof. Dr. Rafael Castro de Andrade (MDCC/UFC – Orientador)
Prof. Dr. Manoel Bezerra Campelo Neto (MDCC/UFC)
Prof. Dr. Nelson Maculan Filho (UFRJ)
Prof. Dr. Marcos José Negreiros Gomes (UECE)
Data da Defesa: 31/08/2007
100. Pablo Mayckon Silva Farias
Título: Um estudo sobre as origens da Lógica Matemática e os limites da sua aplicabilidade à formalização da Matemática
Banca Examinadora:
Prof. Dr. Tarcisio Haroldo Cavalcante Pequeno (UFC – Orientador)
Prof. Dr. Nelson Maculan Filho (UFRJ)
Prof. Dr. Marcelino Cavalcante Pequeno (MCDC/UFC)
Data da Defesa: 31/08/2007
099. Rodrigo de Melo Sousa Veras
Título: Uma nova abordagem para o raciocínio não monotônico
Banca Examinadora:
Prof. Dr. Marcelino Pequeno (MDCC/UFC – Orientador)
Prof. Dr. Gerson Zaverucha (UFRJ)
Prof.ª Dr.ª Ana Teresa Martins (MDCC/UFC)
Data da Defesa: 30/08/2007
098. Ítalo Siqueira Lima
Título: Extensões induzidas de altura mínima de um conjunto parcialmente ordenado
Banca Examinadora:
Prof. Dr. Manoel Bezerra Campelo Neto (MDCC/UFC – Orientador)
Prof. Dr. Ricardo Cordeiro Corrêa (MDCC/UFC)
Prof. Dr. Philippe Michelon (Université d’Avignon/França )
Prof. Dr. Luiz Satoru Ochi (UFF)
Data da Defesa: 30/08/2007
097. Aline Alves da Silva
Título: Decomposição e largura em árvore de grafos planares livres de ciclos pares induzidos
Banca Examinadora:
Prof.ª Dr.ª Cláudia Linhares Sales (MDCC/UFC – Orientadora)
Prof. Dr. Ricardo Cordeiro Corrêa (MDCC/(UFC)
Prof.ª Dr.ª Sulamita Klein (UFRJ)
Data da Defesa: 27/08/2007
096. Antonia Diana Braga
Título: Uma proposta de integração das redes UMTS e IEEE 802.11 com suporte a mobilidade
Banca Examinadora:
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/ UFC – Orientadora)
Prof. Dr. Miguel Franklin de Castro (MDCC/UFC)
Prof.ª Dr.ª Judith Kelner (UFPE)
Data da Defesa: 24/08/2007
095. Alexandre Matos Arruda
Título: Um sistema infinitário para a lógica de menor ponto fixo
Banca Examinadora:
Prof.ª Dr.ª Ana Teresa de Castro Martins (MDCC/UFC – Orientadora)
Prof. Dr. Luiz Carlos Pereira (UFRJ)
Prof. Dr. Carlos Eduardo Fisch de Brito (MDCC/UFC)
Data da Defesa: 24/08/2007
094. Marcos Dantas Ortiz
Título: Incentivando a cooperação em redes Ad Hoc
Banca Examinadora:
Prof. Dr. José Neuman de Souza (MDCC/ UFC – Orientador)
Prof. Dr. José Ferreira de Rezende (UFRJ)
Prof. Dr. Marcial Porto Fernandez (UECE)
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC)
Data da Defesa: 17/08/2007
093. Lincoln Souza Rocha
Título: AdaptiveRME e aspectCompose: um middleware adaptativo e um processo de composição orientado a aspecto para o desenvolvimento de software móvel e ubíquo
Banca Examinadora:
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC – Orientadora)
Prof.ª Dr.ª Cláudia Maria Lima Werner (UFRJ)
Prof. Dr. Francisco Heron de Carvalho Junior (MDCC/UFC)
Prof. Dr. Javam de Castro Machado (MDCC/UFC)
Data da Defesa: 03/08/2007
092. Yuri Lenon Barbosa Nogueira
Título: Um modelo de sistema nervoso para o problema do controle de animação por dinâmica direta
Banca Examinadora:
Prof. Dr. Joaquim Bento Cavalcante Neto (MDCC/UFC – Orientador)
Prof. Dr. Creto Augusto Vidal (MDCC/UFC – Coorientador)
Prof. Luiz Marcos Garcia Gonçalves (UFRN)
Data da Defesa: 09/04/2007
091. Roberto César Cavalcante Vieira
Título: Geração de personagens virtuais simulando o processo reprodutivo de seres diplóides
Banca Examinadora:
Prof. Dr. Creto Augusto Vidal (MDCC/UFC – Orientador)
Prof. Dr. Joaquim Bento Cavalcante Neto (MDCC/UFC – Coorientador)
Prof. Dr. Luiz Marcos Garcia Gonçalves – (UFRN)
Data da Defesa: 09/04/2007
090. Fernando Cordeiro de Lemos
Título: Usando assertivas de correspondência para especificação e geração de visões XML para aplicações Web
Banca Examinadora:
Prof.ª Dr.ª Vânia Maria Ponte Vidal (MDCC/UFC – Orientadora)
Prof.ª Dr.ª Bernadette Farias Lóscio (UFC)
Prof. Dr. Marco Antônio Casanova (PUC/RJ)
Data da Defesa: 23/03/2007
089. Flávio Rubens de Carvalho Sousa
Título: RepliX: um mecanismo para a replicação de dados XML
Banca Examinadora:
Prof. Dr. Javam de Castro Machado (MDCC/UFC)
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC)
Prof. Dr. Altigran Soares da Silva (UFAM)
Data da Defesa: 09 /03/2007
088. Francicleber Martins Ferreira
Título: Modelos minimais e hierarquia de expressividade
Banca Examinadora:
Prof.ª Dr.ª Ana Teresa de Castro Martins (MDCC/UFC – Orientadora)
Prof. Dr. Marcelino Cavalcante Pequeno (MDCC/UFC)
Prof. Dr. João Marcos de Almeida (UFRN)
Prof. Dr. Paulo Augusto Silva Veloso (UFRJ)
Data da Defesa: 23/01/2007
2006
087. Luiz David Sales de Paula Campelo
Título: Modelo Para Gerenciamento Remoto de Falhas em Arquiteturas de Ambientes Virtuais em Redes
Banca Examinadora:
Prof. Dr. Mauro Cavalcante Pequeno (MDCC/UFC – Orientador)
Prof. Dr. Mauro Sérgio Pereira Fonseca (PUC/Paraná)
Prof. Dr. Miguel Franklin de Castro (MDCC/UFC)
Prof. Dr. Creto Augusto Vidal (MDCC/UFC)
Data da Defesa: 12/09/2006
086. Rute Nogueira Silveira de Castro
Título: Descoberta de relacionamentos entre padrões de software utilizando semântica latente
Banca Examinadora:
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC – Orientadora)
Prof.ª Dr.ª Jerffeson Teixeira de Souza (UFC)
Prof.ª Dr.ª Maria del Rosario Girardi (UFMA)
Prof. Dr. Javam de Castro Machado (MDCC/UFC)
Data da Defesa: 11/09/2006
085. Rubens Fernandes Nunes
Título: Uma representação flexível de controladores para animação fisicamente realista de personagens virtuais
Banca Examinadora:
Prof. Dr. Creto Augusto Vidal (MDCC/UFC – Orientador)
Prof. Dr. Joaquim Bento Cavalcante Neto (MDCC/UFC)
Prof.ª Dr.ª Luciana Porcher Nedel (UFRGS)
Prof. Dr. Francisco de Assis Tavares Ferreira da Silva (UFC)
Data da Defesa: 28/04/2006
084. Maria de Fátima Costa de Souza
Título: Um ambiente de apoio à seleção de software educativo
Banca Examinadora:
Prof. Dr. Mauro Cavalcante Pequeno (UFC – Orientador)
Prof. Dr. Alex Sandro Gomes (UFPE)
Prof. Dr. José Aires de Castro Filho (UFC)
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC)
Data da Defesa: 31/03/2006
083. Elaine Sampaio Pinho de Castro
Título: XML-PM: Um Método Eficiente para Identificação de Padrões no Processamento de Consultas a Dados XML
Banca Examinadora:
Prof. Dr. Javam de Castro Machado (MDCC/UFC – Orientador)
Prof.ª Dr.ª Ana Carolina Salgado (UFPE)
Prof.ª Dr.ª Cláudia Linhares Sales (MDCC/UFC)
Data da Defesa: 16/01/2006
2005
082. Paulo Leitão Vilar
Título: AHO – Analisador Harmônico Otimista
Banca Examinadora:
Prof. Dr. Marcelino Cavalcante Pequeno (MDCC/UFC – Orientador)
Prof. Dr. Tarcísio Haroldo Cavalcante Pequeno (UFC)
Prof. Dr. Luiz Botelho de Albuquerque (UFC)
Data da Defesa: 16/09/2005
081. Carlos Diego Rodrigues
Título: Limites inferiores para o problema de coloração de vértices via geração de cortes e colunas
Banca Examinadora:
Prof. Dr. Manoel Bezerra Campêlo Neto (MDCC/UFC – Orientador)
Prof. Dr. Ricardo Cordeiro Corrêa (UFC)
Prof. Dr. Philippe Michelon (UECE)
Prof.ª Dr.ª Susana Scheimberg de Makler (UFRJ)
Data da Defesa: 16/09/2005
080. George Allan Menezes Gomes
Título: CRAbCVE- Uma arquitetura para viabilização de CVEs através da Internet
Banca Examinadora:
Prof. Dr. Creto Augusto Vidal (MDCC/UFC – Orientador)
Prof. Dr. Joaquim Bento Cavalcante Neto (MDCC/UFC)
Prof. Dr. Jauvane Cavalcante de Oliveira (LNCC – UFRJ)
Data da Defesa: 08/09/2005
079. Edgar Marçal de Barros Filho
Título: VirTraM: Um framework para o desenvolvimento de treinamentos utilizando realidade virtual em dispositivos móveis
Banca Examinadora:
Prof. Dr. José Riverson Araújo Cysne Rios (UFC – Orientador)
Prof.ª Dr.ª Rossana Maria Castro Andrade (MDCC/UFC)
Prof. Dr. Creto Augusto Vidal (MDCC/UFC)
Prof. Dr. Jauvane Cavalcante de Oliveira (LNCC)
Data da Defesa: 08/09/2005
078. Glaudiney Moreira Mendonça Júnior
Título: BeE /Model/ . Modelo de Comportamento e de Interação de Entidades em Ambientes de Realidade Virtual e em Jogos
Banca Examinadora:
Prof. Dr. Creto Vidal (MDCC/UFC – Orientador)
Prof. Dr. Joaquim Bento Cavalcante Neto (MDCC/UFC)
Prof. Dr. Rubens Nascimento Melo (PUC/RJ)
Data da Defesa: 05/09/2005
077. Ana Shirley Ferreira da Silva
Título: Um estudo computacional sobre o problema de decomposição de grafos em árvore
Banca Examinadora:
Prof.ª Dr.ª Cláudia Linhares Sales (MDCC/UFC – Orientadora)
Prof. Dr. Ricardo Cordeiro Corrêa (UFC)
Prof. Dr. Jayme Luiz Szwarcfiter (UFRJ)
Prof. Dr. Rafael de Castro Andrade (UFC)
Data da Defesa: 31/08/2005
076. Victor Almeida Campos
Título: Um estudo do politopo e dos limites inferiores gerados pela formulação de coloração dos representantes
Banca Examinadora:
Prof. Dr. Ricardo Cordeiro Corrêa (UFC – Orientador)
Prof. Dr. Cid Carvalho de Souza (UNICAMP)
Prof. Dr. Manoel Bezerra Campêlo Neto (MDCC/UFC)
Prof. Dr. Philippe Michelon (UECE)
Data da Defesa: 31/08/2005
075. Valdiana da Silva Araújo
Título: Gerando Regras para Manutenção Incremental de Visões Materializadas de Dados Relacionais
Banca Examinadora:
Prof.ª Dr.ª Vânia Maria Ponte Vidal (MDCC/UFC)
Prof. Dr. Marco Antonio Casanova (PUC/RJ)
Prof. Dr. Carlos Eduardo Fisch de Brito (MDCC/UFC)
Data da Defesa: 12/07/2005
074. Windson Viana de Carvalho
Título: Um Ambiente de Desenvolvimento de Aplicações Multi-Plataformas e Adaptativas para Dispositivos Móveis
Banca Examinadora:
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC)
Prof. Dr. Antônio Alfredo Ferreira Loureiro (UFMG)
Prof. Dr. Javam de Castro Machado (MDCC/UFC)
Prof. Dr. Aldri Luiz dos Santos (UFC)
Data da Defesa: 11/06/2005
073. José Gilvan Rodrigues Maia
Título: CRAbGE – Uma Arquitetura para Motores Gráficos Flexíveis, Expansíveis e Portáveis
Banca Examinadora:
Prof. Dr. Joaquim Bento Cavalcante-Neto (MDCC/UFC – Orientador)
Prof. Dr. Creto Augusto Vidal (MDCC/UFC)
Prof. Dr. Marcelo Gatass (PUC/RJ)
Data da Defesa: 20/04/2005
2004
072. Tâmara Peixoto Lima
Título: PRODIWA: Um Processo Automatizável para Geração e Automatização de Visões de Contexto de Navegaçãopara Aplicações DIWA
Banca Examinadora:
Prof.ª Dr.ª Vânia Maria Ponte Vidal (MDCC/UFC – Orientadora)
Prof. Dr. Daniel Schwabe (PUC/RJ)
Prof. Dr. Fernando Antonio de Carvalho Gomes (MDCC/UFC)
Prof. Dr. Cidcley Teixeira de Souza (CEFET/CE)
Data da Defesa: 28/09/2004
071. William de Araújo Sales
Título: Uma Entidade Funcional para Autenticação de Dispositivos Móveis entre Áreas de Microbilidade
Banca Examinadora:
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC – Orientadora)
Prof.ª Dr.ª Judith Kelner (UFPE)
Prof. Dr. José Neuman de Souza (MDCC/UFC)
Prof. Dr. Francisco Rodrigo Cavalcanti (UFC)
Data da Defesa: 27/09/2004
070. José de Ribamar Martins Bringel Filho
Título: Um Framework para a Provisão de Segurança Fim-a-Fim para Aplicações no Ambiente de Computação Móvel
Banca Examinadora:
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC – Orientadora)
Prof.ª Dr.ª Djamel Fawzi Hadj Sadok (UFPE)
Prof. Dr. José Neuman de Souza (UFC)
Prof. Dr. André Jalles Monteiro (UFC)
Data da Defesa: 23/09/2004
069. Wamberg Gláucon Chaves de Oliveira
Título: Atualizando Banco de Dados Objeto-Relacional através de Visões XML
Banca Examinadora:
Prof.ª Dr.ª Vânia Maria Ponte Vidal (MDCC/UFC – Orientadora)
Prof. Dr. Alberto Henrique Frade Laender (UFMG)
Prof. Dr. Javam de Castro Machado (MDCC/UFC)
Prof.ª Dr.ª Bernadette Farias Lóscio (Fa7)
Data da Defesa: 23/09/2004
068. Daniel Lima Sousa
Título: Geração Adaptativa de Malhas Baseado em Erro de Curvatura
Banca Examinadora:
Prof. Dr. Joaquim Bento Cavalcante Neto (MDCC/UFC – Orientador)
Prof. Dr. Luiz Fernando Campos Ramos Martha (PUC/RJ)
Prof. Dr. Romildo José da Silva (UFC)
Data da Defesa: 23/09/2004
067. Desiere de Sousa Leal
Título: Um Mecanismo de Gerência de Cache para Servidores Móveis em Redes Ad-Hoc
Banca Examinadora:
Prof. Dr. Javam de Castro Machado (MDCC/UFC – Orientador)
Prof. Dr. Marcus Costa Sampaio (UFPB)
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC)
Data da Defesa: 13/09/2004
066. João Carlos da Silveira Costa Filho
Título: Um Sistema para Animação de Estruturas Articuladas através da Técnica Space Time Constraints
Banca Examinadora:
Prof. Dr. Creto Augusto Vidal (MDCC/UFC – Orientador
Prof. Dr. Luiz Fernando Campos Ramos Martha (PUC/RJ)
Prof. Dr. Joaquim Bento Cavalcante Neto (MDCC/UFC)
Data da Defesa: 13/09/2004
065. Felipe Ferreira de Morais Netto
Título: Teoremas de Normalização para a Lógica da Inconsistência Epistêmica
Banca Examinadora:
Prof.ª Dr.ª Ana Teresa de Castro Martins (MDCC/UFC – Orientadora)
Prof. Dr. Ruy Guerra Barreto de Queiroz (UFPE)
Prof. Dr. Marcelino Cavalcante Pequeno (MDCC/UFC)
Data da Defesa: 13/09/2004
064. Tathianne Moreira Paulino
Título: Uma Abordagem para Otimizar o Processamento de Consultas em Ambientes com Recursos Computacionais Limitados
Banca Examinadora:
Prof. Dr. Ângelo Roncalli Alencar Brayner (MDCC/UFC – Orientador)
Prof. Dr. Sérgio Lifschitz (PUC/RJ)
Prof. Dr. Javam de Castro Machado (MDCC/UFC)
Data da Defesa: 13/09/2004
063. Paulo Henrique Mendes Maia
Título: RefaX: Um Arcabouço para Desenvolvimento de Ferramentas de Refatoração Baseado em XML
Banca Examinadora:
Prof. Dr. Nabor das Chagas Mendonça (UNIFOR – Orientador)
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC)
Prof. Dr. Paulo César Masiero (USP)
Prof. Dr. Javam de Castro Machado (MDCC/UFC)
Data da Defesa: 14/08/2004
062. Misael da Silva Santos
Título: Uma Proposta para a Integração de Modelos de Padrões de Software com Ferramentas de Apoio ao Desenvolvimento de Sistemas
Banca Examinadora:
Prof. Dr. Nabor das Chagas Mendoça (UNIFOR – Orientador)
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC)
Prof.ª Dr.ª Vânia Maria Ponte Vidal (MDCC/UFC)
Prof. Dr. Paulo Henrique Borba (UFPE)
Data da Defesa: 10/08/2004
061. Lineu Antonio de Lima Santos
Título: XML Publisher: Um Framework para Publicar Dados Objeto-Relacionais Através de Visões XML
Banca Examinadora:
Prof.ª Dr.ª Vânia Maria Ponte Vidal (MDCC/UFC – Orientadora)
Prof. Dr. Marco Antonio Casanova (PUC/RJ)
Prof. Dr. Angelo Roncalli Alencar Brayner (MDCC/UFC)
Data da Defesa: 06/08/2004
060. Joney Rosas Cysne
Título: Modelo Conceitual para Gerenciamento de Recursos Hídricos em Ambiente de SIG
Banca Examinadora:
Prof. Dr. Marco Antonio Casanova (PUC/RJ – Orientador)
Prof.ª Dr.ª Vânia Maria Ponte Vidal (MDCC/UFC)
Prof. Dr. Angelo Roncalli Alencar Brayner (MDCC/UFC)
Data da Defesa: 06/08/2004
059. Cynthia Pinheiro Santiago
Título: Uma Estratégia de Indexação para Dados XML
Banca Examinadora:
Prof. Dr. Javam de Castro Machado (MDCC/UFC – Orientador)
Prof.ª Dr.ª Rossana de Castro Andrade (MDCC/UFC)
Prof.ª Dr.ª Marta Lima de Queirós Mattoso (UFRJ)
Data da Defesa: 29/04/2004
058. Vitor Almeida dos Santos
Título: Uma Ferramenta para Atribuição de Relógios Lógicos a Execuções Distribuídas
Banca Examinadora:
Prof. Dr. Ricardo Cordeiro Corrêa (UFC – Orientador)
Prof. Dr. Valmir Carneiro Barbosa (UFRJ)
Prof. Dr. Manoel Bezerra Campelo Neto (MDCC/UFC)
Data da Defesa: 05/03/2004
2003
057. Lilia Ramalho Martins
Título: Dedução Natural e Normalização Fraca para Lógica Linear Completa
Banca Examinadora:
Prof.ª Dr.ª Ana Teresa de Castro Martins (MDCC/UFC – Orientadora)
Prof. Dr. Luiz Carlos Pinheiro Dias Pereira (PUC/RJ)
Prof. Dr. Marcelino Calvalcante Pequeno (MDCC/UFC)
Data da Defesa: 11/12/2003
056. Eduardo Edson Felix Mendonça
Título: Extração Resiliente de Dados RDF a partir de Fontes Dinâmicas
Banca Examinadora:
Prof. Dr. Javam de Castro Machado (MDCC/UFC – Orientador)
Prof. Dr. Ulrich Schie (UFCG)
Prof.ª Dr.ª Vânia Maria Ponte Vidal (MDCC/UFC)
Data da Defesa: 28/10/2003
055. Gladsa Farias Castro
Título: Indexação de Objetos Móveis Utilizando Árvore TPKD
Banca Examinadora:
Prof.ª Dr.ª Rossana de Castro Andrade (MDCC/UFC – Orientadora)
Prof. Dr. Ângelo Roncalli Alencar Brayner (MDCC/UFC)
Prof. Dr. Marcus Costa Sampaio (UFPB)
Prof. Dr. Romildo José da Silva (UFC)
Data da Defesa: 19/09/2003
054. Carlos Hairon Ribeiro Gonçalves
Título: Utilizando Redes Neurais Artificiais para Predição de Falhas em Links de Redes Ópticas
Banca Examinadora:
Prof. Dr. Antonio Mauro Barbosa de Oliveira (CEFET/CE – Orientador)
Prof.ª Dr.ª Rossana de Castro Andrade (MDCC/UFC)
Prof. Dr. Luiz Fernando Gomes Soares(PUC/RJ)
Prof. Dr. Guilherme de Alencar Barreto (UFC)
Data da Defesa: 05/09/2003
053. Victória Damasceno Matos
Título: Mecanismos de Coleta de Dados no Framework Ativo ANTS para Subsídio em Gerenciamento de Redes
Banca Examinadora:
Prof. Dr. José Neuman de Souza (MDCC/UFC – Orientador)
Prof.ª Dr.ª Marcília Andrade Campos (UFPE)
Prof. Dr. Javam de Castro Machado (MDCC/UFC)
Data da Defesa: 11/07/2003
052. Aécio Paiva Braga
Título: SGME: Um Sistema Genérico de Monitoração de Redes de Computadores Dirigido a Eventos
Banca Examinadora:
Prof. Dr. José Neuman de Souza (MDCC/UFC – Orientador)
Prof. Dr. Djamel Fawzi Hadj Sadok (UFPE)
Prof. Dr. Javam de Castro Machado (MDCC/UFC)
Data da Defesa: 11/03/2003
051. Camilo Camilo Almendra
Título: Administração Remota de Ambientes Virtuais em Rede para Integração com Sistemas de Gerenciamento de Aprendizado
Banca Examinadora:
Prof. Dr. Creto Augusto Vidal (MDCC/UFC – Orientador)
Prof. Dr. Mauro Cavalcante Pequeno (UFC)
Prof. Dr. Claudio Kirner (UNIMEP)
Data da Defesa: 30/01/2003
2002
050. Rodrigo de Oliveira Lopes
Título: Replicação de Arquivos de Mídias em Ambientes de Educação à Distância e de Realidade Virtual
Banca Examinadora:
Prof. Dr. José Neuman de Souza (MDCC/UFC – Orientador)
Prof. Dr. Francisco Vilar Brasileiro (UFPB)
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC)
Data da Defesa: 23/12/2002
049. Alinson Aguiar Donato
Título: Aplicação do Processamento Paralelo na Resolução de Problemas de Programção Linear de Grande Porte Utilizando o Princípio de Dantzig-Wolf
Banca Examinadora:
Prof. Dr. Mauro Cavalcante Pequeno (UFC – Orientador)
Prof. Dr. João Marques de Carvalho (UFPB)
Prof. Dr. Antonio Clécio Fontelles Thomaz (UFC)
Data da Defesa: 23/12/2002
048. José Marconi Marinho Rodrigues
Título: SEA54: Um Método Subliminar de Estenografia em Imagens Digitais Estáticas
Banca Examinadora:
Prof. Dr. José Riverson Araújo Cysne Rios (UFC – Orientador)
Prof. Dr. José Valdeni de Lima (UFRGS)
Prof. Dr. Romildo José da Silva (UFC)
Prof. Dr. Creto Augusto Vidal (MDCC/UFC)
Data da Defesa: 20/12/2002
047. Juliana Pontes da Costa
Título: Atualização de Banco de Dados Objeto-Relacionais através de Visões de Objetos
Banca Examinadora:
Prof.ª Dr.ª Vânia Maria Ponte Vidal (MDCC/UFC – Orientadora)
Prof. Dr. Marco Antonio Casanova (PUC/RJ)
Prof. Dr. Ângelo Roncalli Alencar Brayner (MDCC/UFC)
Data da Defesa: 19/12/2002
046. Felipe Vieira Silva
Título: Planejamento Automático com Suporte a Recurso
Banca Examinadora:
Prof.ª Dr.ª Ana Teresa de Castro Martins (MDC/UFC – Orientadora)
Prof. Dr. Tarcísio Haroldo Cavalcante Pequeno (UFC)
Prof. Dr. Francisco de Assis Tavares Ferreira da Silva (INPE/MCT)
Data da Defesa: 19/12/2002
045. Patrícia Helaine Landim Nascimento
Título: Métodos e Técnicas para Resolução do Problema de Fluxo Máximo em Redes
Banca Examinadora:
Prof. Dr. Ricardo Cordeiro Corrêa (UFC – Orientador)
Prof. Dr. Luiz Satoru Ochi (UFF)
Prof. Dr. Manoel Bezerra Campelo Neto (MDCC/UFC)
Data da Defesa: 12/12/2002
044. Allan Reffson Granja Lima
Título: Máquinas de Vetores Suporte na Classificação de Impressões Digitais
Banca Examinadora:
Prof. Dr. Fernando Antonio de Carvalho Gomes (MDCC/UFC – Orientador)
Prof. Dr. Stan Matwin (Univ. de Ottawa/Canadá)
Prof. Dr. Francisco de Assis Tavares Ferreira da Silva (INPE/MCT)
Data da Defesa: 10/12/2002
043. Gisele Azevedo de Araújo
Título: Comparação de Técnicas de Data Mining na Previsão de Precipitação
Banca Examinadora:
Prof. Dr. Fernando Antonio de Carvalho Gomes (MDCC/UFC – Orientador)
Prof. Dr. Stan Matwin (Univ. de Ottawa/Canadá)
Prof.ª Dr.ª Sílvia Maria de Freitas (UFC)
Data da Defesa: 09/12/2002
042. Renata Maria de Figueiredo Vilas Boas
Título: XMLS+Matcher: Um Metodo para Identificação de Correspondências entre Esquemas XMLS+
Banca Examinadora:
Prof.ª Dr.ª Vânia Maria Ponte Vidal (MDCC/UFC – Orientadora)
Prof. Dr. Alberto Henrique Fradae Laender (UFMG)
Prof. Dr. Angelo Roncalli Alencar Brayner (MDCC/UFC)
Data da Defesa: 23/08/2002
041. Luis Eduardo Ximenes Carvalho
Título: Decomposição em Árvore de Grafos com Largura Limitada – Uma Pesquisa Algorítmica
Banca Examinadora:
Prof.ª Dr.ª Cláudia Linhares Sales (MDCC/UFC – Orientadora)
Prof. Dr. Basilis Constantine Gidas (University of Brown/USA)
Prof.ª Dr.ª Celina Miraglia Herrera de Figueiredo (UFRJ)
Prof. Dr. Ricardo Cordeiro Corrêa (UFC)
Data da Defesa: 06/08/2002
040. Marcelo Pereira Pinto
Título: Uma Abordagem de Aprendizado Assistido por Computador Utilizando Programação Híbrida Simbólico-Numérica
Banca Examinadora:
Prof. Dr. Júlio Wilson Ribeiro (UFC – Orientador)
Prof. Dr. Mikhail Dimitrov Mikhailov (UFRJ)
Prof. Dr. João Batista Furlan Duarte (UFC)
Prof. Dr. Raimundo Benedito do Nascimento (UFC)
Data da Defesa: 14/06/2002
039. Francisco Gêvane Muniz Cunha
Título: Abordagem Analítico – Numérica da Transferência de Calor e Massa com Efeito da Pressão
Banca Examinadora:
Prof. Dr. Júlio Wilson Ribeiro (UFC – Orientador)
Prof. Dr. Mikhail Dimitrov Mikhailov (UFRJ)
Prof. Dr. Paulo de Tarso Cavalcante Freire (UFC)
Prof.ª Dr.ª Maria Andréia Formico Rodrigues (UNIFOR)
Data da Defesa: 13/04/2002
038. Cris Amon Caminha da Rocha
Título: SNPI: Uma Abordagem para Implantação de Nós Programáveis em Redes de Computadores
Banca Examinadora:
Prof. Dr. José Neuman de Souza (MDCC/UFC – Orientador)
Prof. Dr. Djamel Fawzi Hadj Sadok (UFPE)
Prof. Dra. Rossana Maria de Castro Andrade (MDCC/UFC)
Data da Defesa: 11/03/2002
037. Yuri Abitbol de Menezes Frota
Título: Estudo Computacional de Algoritmos Exatos para Coloração de Grafos
Banca Examinadora:
Prof. Dr. Ricardo Cordeiro Corrêa (UFC – Orientador)
Prof. Dr. Valmir Carneiro Barbosa (UFRJ)
Prof. Dr. Manoel Bezerra Campelo Neto (MDCC/UFC)
Prof. Dr. Marcos José Negreiros (UECE)
Data da Defesa: 05/02/2002
2001
036. Fernando Rodrigues de Almeida
Título: Estratégias de Particionamento de Blocos para o Grid File
Banca Examinadora:
Prof. Dr. Angelo Roncalli Alencar Brayner (MDCC/UFC – Orientador)
Prof. Dr. Geovane Cayres Magalhães (UNICAMP)
Prof. Dr. Creto Augusto Vidal (MDCC/UFC)
Data da Defesa: 21/12/2001
035. Edson Ricardo de Andrade Silva
Título: Uma Estratégia para Interpolação de Superfícies Através de Funções Bases
Banca Examinadora:
Prof. Dr Creto Augusto Vidal (MDCC/UFC – Orientador)
Prof. Dr. Marcelo Gattass (PUC/RJ)
Prof. Dr. Romildo Jose da Silva (UFC)
Prof. Dr. Joaquim Bento Cavalcante Neto (MDCC/UFC)
Data da Defesa: 21/12/2001
034. Emanuele Marques dos Santos
Título: Um Modelo de Integração de Aplicações Externas a Ambientes Virtuais Através do Uso de Aplicações Mediadoras de Simulóides
Banca Examinadora:
Prof. Dr. Creto Augusto Vidal (MDCC/UFC – Orientador)
Prof. Dr. Marcelo Gattass (PUC/RJ)
Prof. Dr. Nabor das Chagas Mendonça (UNIFOR)
Data da Defesa: 20/12/2001
033. Fabiana Gomes Marinho
Título: Padrões para Integração de Visões Modeladas com a UML
Banca Examinadora:
Prof.ª Dr.ª Vânia Maria Ponte Vidal (MDCC/UFC – Orientadora)
Prof. Dr. Décio Fonseca (UFPE)
Prof. Dr. Angelo Roncalli Alencar Brayner (MDCC/UFC)
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC)
Data da Defesa: 19/12/2001
032. Antônio de Barros Serra
Título: Uma Solução de Distribuição para Aplicações em Tempo Real no Contexto do Ensino Tecnológico a Distância
Banca Examinadora:
Prof. Dr Antonio Mauro Barbosa de Oliveira (CEFET/CE – Orientador)
Prof. Dr. Luiz Fernando Gomes Soares (PUC/RJ)
Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC)
Data da Defesa: 14/12/2001
031. Paulo Benício Melo de Sousa
Título: WVM: Uma Ferramenta para Processamento Distribuído de Alto Desempenho
Banca Examinadora:
Prof. Dr. Mário Maurício Fiallos Aguilar (UFC – Orientador)
Prof. Dr. Jairo Panetta (INPE)
Prof. Dr. José Neuman de Souza (MDCC/UFC)
Prof. Dr. Helano de Sousa Castro (UFC)
Data da Defesa: 23/11/2001
030. José Maria da Silva Monteiro Filho
Título: Teste de Grafo de Serialização Temporal: Uma Estratégia Para o Controle de Concorrência em Ambiente Broadcast
Banca Examinadora:
Prof. Dr. Angelo Roncalli Alencar Brayner (MDCC/UFC – Orientador)
Prof. Dr. Sérgio Lifschitz (PUC/RJ)
Prof. Dr. Vânia Maria Ponte Vidal (MDCC/UFC)
Data da Defesa: 26/10/2001
029. Carlo Giovano da Silva Pires
Título: Construção de Otimizadores com Reescrita de Consulta para Sistemas Paralelos de Banco de Dados Orientados a Objetos
Banca Examinadora:
Prof. Dr. Javam de Castro Machado (MDCC/UFC – Orientador)
Prof. Dr. Geovane Cayres Magalhães (UNICAMP)
Prof. Dr. José Riverson Araújo Cysne Rios (UFC)
Data da Defesa: 28/09/2001
028. José Marques Soares
Título: Um Sistema de Gestão para a Educação Tecnológica à Distância: Projeto e Implementação
Banca Examinadora:
Prof. Dr. Antônio Mauro Barbosa de Oliveira (CEFET/CE – Orientador)
Prof. Dr. Luiz Fernando Gomes Soares (PUC/RJ)
Prof. Dr. Tarcísio Haroldo Cavalcante Pequeno (UFC)
Prof. Dr. Giovanni Cordeiro Barroso (UFC)
Data da Defesa: 19/01/2001
2000
027. Rudini Menezes Sampaio
Título: Pares de Amigos e Inimigos em Grafos Planares Perfeitos
Banca Examinadora:
Prof.ª Dr.ª Cláudia Linhares Sales (MDCC/UFC – Orientadora)
Prof. Dr. Jayme Luiz Scwarcfiter (UFRJ)
Prof. Dr. Ricardo Cordeiro Correa (UFC)
Prof. Dr. Manoel Bezerra Campelo Neto (MDCC/UFC)
Data da Defesa: 18/12/2000
026. Antonio Jose Melo Leite Júnior
Título: ATAXIA: Uma Arquitetura para a Viabilização de NVE´S Voltados para Educação à Distância através da Internet
Banca Examinadora:
Prof. Dr. Creto Augusto Vidal (MDCC/UFC – Orientador)
Prof. Dr. Cláudio Kirner (Fundação Eurípedes Soares/SP)
Prof. Dr. José Neuman de Souza (MDCC/UFC)
Prof. Dr. Mauro Cavalcante Pequeno (UFC)
Data da Defesa: 18/12/2000
025. Francisco Erivelton Fernandes Aragão
Título: Raciocínio e Decisão Usando LEI
Banca Examinadora:
Prof. Dr. Tarcísio Haroldo Cavalcante Pequeno (UFC – Orientador)
Prof. Dr. Arthur Ronald de Vallarius Buchsbaum (UFSC)
Prof. Dr. Marcelino Cavalcante Pequeno (MDCC/UFC)
Prof.ª Dr.ª Ana Teresa de Castro Martins (MDCC/UFC)
Data da Defesa: 14/12/2000
024. Marcelo Bezerra de Alcântara
Título: Implementação de um Gateway Transacional para o Ambiente de Integração Web Banco de Dados baseado nos princípios das Transações Encadeadas e Compensatórias
Banca Examinadora:
Prof. Dr. Javam de Castro Machado (MDCC/UFC – Orientador)
Prof. Dr. Sérgio Lifschitz (PUC/RJ)
Prof. Dr. Angelo Roncalli Alencar Brayner (MDCC/UFC)
Data da Defesa: 06/12/2000
023. Valéria Magalhães Pequeno
Título: Auto Manutenção de Classes de Fusão em Visões de Integração de Dados
Banca Examinadora:
Prof.ª Dr.ª Vânia Maria Ponte Vidal (MDCC/UFC – Orientadora)
Prof. Dr. Rubens Nascimento Melo (PUC/RJ)
Prof. Dr. Angelo Roncalli Alencar Brayner (MDCC/UFC)
Data da Defesa: 28/04/2000
022. Carlos Alberto de Sousa Oliveira
Título: Alocação de Freqüência para Telefonia Celular: Uma Solução Através do Procedimento de Busca Guloso Adaptativo Aleatório
Banca Examinadora:
Prof. Dr. Fernando Antonio de Carvalho Gomes (MDCC/UFC – Orientador)
Prof. Dr. Luis Satoru Ochi (UFF)
Prof. Dr. Ricardo Cordeiro Corrêa (UFC)
Data da Defesa: 24/03/2000
021. Jerffeson Teixeira de Souza
Título: Teoria da Revisão de Primeira Ordem Para Modelagem do Estudante
Banca Examinadora:
Prof. Dr. Tarcísio Haroldo Cavalcante Pequeno (UFC – Orientador)
Prof. Dr. Arthur Ronald de Vallarius Buchsbaum (UFSC)
Prof. Dr. Marcelino Cavalcante Pequeno (MDCC/UFC)
Data da Defesa: 11/02/2000
020. João Fernando Lima Alcântara
Título: Programação em Lógica Estendida da Inconsistência Epistêmica
Banca Examinadora:
Prof. Dr. Marcelino Cavalcante Pequeno (MDCC/UFC – Orientador)
Prof. Dr. Tarcísio Haroldo Cavalcante Pequeno (UFC)
Prof. Dr. Jean-Yves Beziau (PUC/RJ)
Data da Defesa: 10/02/2000
1999
019. Roberto Brunori Júnior
Título: Uma Teoria de Primeira Ordem Para Especificação e Análise de Protocolos de Criptografia
Banca Examinadora:
Prof. Dr. Wamberto Weber Miranda Peixoto de Vasconcelos (UECE – Orientador)
Prof. Dr. Flávio Soares Corrêa da Silva (USP)
Prof. Dr. Antonio Mauro Barbosa de Oliveira (CEFET/CE)
Data da Defesa: 25/11/1999
018. Ernesto Vasconcelos Carvalho
Título: Gerenciamento Pró-Ativo Distribuído Baseado em Lógica Difusa
Banca Examinadora:
Prof. Dr. José Neuman de Souza (MDCC/UFC – Orientador)
Prof. Dr. Joberto Sérgio Barbosa Martins (UNIFACS/BA)
Prof. Dr. Arnaldo Dias Belchior (UECE/CE)
Prof.ª Dr.ª Ana Teresa de Castro Martins (MDCC/UFC)
Data da Defesa: 22/11/1999
017. Moisés Almeida Castelo Branco
Título: Um Algoritmo para Diagnóstico Distribuído de Falhas em Redes de Computadores
Banca Examinadora:
Prof. Dr. Antonio Mauro Barbosa de Oliveira (CEFET/CE – Orientador)
Prof. Dr. José Neuman de Souza (MDCC/UFC)
Prof. Dr. Paulo Roberto Freire Cunha (DI/UFPE)
Data da Defesa: 20/08/1999
016. Miguel Franklin de Castro
Título: Redes Neurais na Estimativa da Capacidade Requerida em Comutadores ATM
Banca Examinadora:
Prof. Dr. Mauro Oliveira (CEFET-CE – Orientador)
Prof. Dr. Marcelino Pequeno (MDCC/UFC)
Prof. Dr. José Neuman de Souza (MDCC/UFC)
Prof. Dr. Camillo Penna (CEFET/PR)
Data da Defesa: 24/04/1999
015. Adriano Sá Nascimento
Título: Desenvolvendo Agentes Inteligentes para a Gerencia Pro-Ativa de Redes ATM
Banca Examinadora:
Prof. Dr. Antonio Mauro Barbosa de Oliveira (CEFET/CE – Orientador)
Prof. Dr. José Neuman de Souza (MDCC/UFC)
Prof. Dr. Paulo Roberto Freire Cunha (DI/UFPE)
Data da Defesa: 23/03/1999
1998
014. Ricardo de Sousa Silvestre
Título: Um Tratamento Formal para o Raciocínio sobre Ação em Inteligência Artificial
Banca Examinadora:
Prof. Dr. Tarcísio Haroldo Cavalcante Pequeno (UFC – Orientador)
Prof. Dr. Daniel Roger Vanderveken (UQTR/Canada)
Prof. Dr. Marcelino Cavalcante Pequeno (MDCC/UFC)
Prof.ª Dr.ª Ana Teresa de Castro Martins (MDCC/UFC)
Data da Defesa: 28/12/1998
013. Adail Nunes da Silva
Título: Um Ambiente Computacional Integrado para Entrada e Trataento de Dados para um Modelador Digital de Terrenos
Banca Examinadora:
Prof. Dr. Creto Augusto Vidal (MDCC/UFC – Orientador)
Prof. Dr. Marcelo Gattass (PUC/RIO)
Prof. Dr. José Riverson Araújo Cysne Rios (UFC)
Data da Defesa: 30/11/1998
012. Amedes Eleutério da Costa Júnior
Título: INTEGRE: Um Sistema Acoplado para o Cálculo de Integrais com Análise de Funções Numéricas
Banca Examinadora:
Prof. Dr. Mauro Cavalcante Pequeno (UFC – Orientador)
Prof. Dr. João Marques de Carvalho (UFPB)
Prof. Dr. Júlio Wilson Ribeiro (UFC)
Data da Defesa: 16/10/1998
011. Andrea Soares Rocha dos Santos
Título: SAEL: Sistema de Avaliação Eletrônico: Uma Aplicação da Informática à Atividade Didático-Pedagógica do Professor
Banca Examinadora:
Prof. Dr. Mauro Cavalcante Pequeno (UFC – Orientador)
Prof. Dr. Raul Sidnei Wazlawick (UFSC)
Prof. Dr. José Riverson Araújo Cysne Rios (UFC)
Data da Defesa: 05/10/1998
010. Sandra de Farias Mendes
Título: Extração de Paralelismo no Processamento de Consultas Declarativas em SGBDOO
Banca Examinadora:
Prof. Dr. Javam de Castro Machado (MDCC/UFC – Orientador)
Prof.ª Dr.ª Marta Lima Queiroz Mattoso (UFRJ)
Prof.ª Dr.ª Vânia Maria Ponte Vidal (MDCC/UFC)
Prof. Dr. José Riverson Araújo Cysne Rios (UFC)
Data da Defesa: 27/07/1998
009. Adbeel Goes Filho
Título: Interface Gráfica para Dimensionamento e Otimização de Fluxos em Redes de Abastecimento d’Água
Banca Examinadora:
Prof. Dr. Antonio Clecio Fontelles Thomaz (UFC – Orientador)
Prof. Dr. José Cirilo (UFPE)
Prof. Dr. Creto Augusto Vidal (MDCC/UFC)
Data da Defesa: 15/07/1998
008. Raimir Holanda Filho
Título: SAGRES: Um Sistema Baseado em Conhecimento para Apoio à Gerência de Falhas em Redes de Computadores
Banca Examinadora:
Prof. Dr. Antonio Mauro Barbosa de Oliveira (CEFET/CE – Orientador)
Prof. Dr. Fábio Queda Bueno da Silva (UFPE)
Prof. Dr. Wamberto Weber Vasconcelos (UECE)
Data da Defesa: 08/05/1998
007. Bernadette Farias Lóscio
Título: Atualização de Múltiplas Bases de Dados através de Mediadores
Banca Examinadora:
Prof.ª Dr.ª Vânia Maria Ponte Vidal (MDCC/UFC – Orientadora)
Prof.ª Dr.ª Ana Carolina Salgado (UFPE)
Prof. Dr. Wamberto Weber Vasconcelos (UECE)
Data da Defesa: 30/03/1998
006. Marcelo Vidal Vasconcelos
Título: ATILA: Uma Arquitetura Inteligente e Distribuída para o Gerenciamento Pró-Ativo de Redes ATM
Banca Examinadora:
Prof. Dr. Antonio Mauro Barbosa de Oliveira (CEFET/CE – Orientador)
Prof. Dr. Luiz Fernando Gomes Soares (PUC/RJ)
Prof. Dr. Javam de Castro Machado (MDCC/UFC)
Data da Defesa: 30/03/1998
005. Juliana Silva da Cunha
Título: Gerência de Configuração de Serviços em Ambientes Heterogêneos: Sistemas e Modelos Orientados a Objetos
Banca Examinadora:
Prof. Dr. José Neuman de Souza (MDCC/UFC – Orientador)
Prof. Dr. Fábio Queda Bueno da Silva (UFPE)
Prof. Dr. Javam de Castro Machado (MDCC/UFC)
Data da Defesa: 09/02/1998
1997
004. Jorge Luiz de Castro e Silva
Título: Aplicação da Metodologia ODP na Especificação da Função de Controle de Acesso em Sistemas Abertos Distribuídos, de Acordo com a Recomendação X.812 do ITU-T
Banca Examinadora:
Prof. Dr. José Neuman de Souza (MDCC/UFC – Orientador)
Prof. Dr. Michael Anthony Stanton (PUC/RJ)
Prof. Dr. Joaquim Celestino Júnior (INSOFT/SOFTEX/CE)
Data da Defesa: 08/04/1997
1996
003. Cidcley Teixeira de Souza
Título: Um Ambiente para o Desenvolvimento de Aplicações Orientadas à Configuração Utilizando Objetos Distribuídos
Banca Examinadora:
Prof. Dr. Antonio Mauro Barbosa de Oliveira (UFC – Orientador)
Prof. Dr. Raimundo José Araújo Macedo (UFBA)
Prof. Dr. José Neuman de Souza (MDCC/UFC)
Data da Defesa: 28/12/1996
002. Francisco Edmundo de Andrade
Título: Soluções de Equações Diferenciais Acopladas pela Técnica da Transformada Integral e Computação Simbólica
Banca Examinadora:
Prof. Dr. Júlio Wilson Ribeiro (UFC – Orientador)
Prof. Dr. Mikhail Dimitrov Mikhailov (DC/TU Sofia/Bulgária)
Prof. Dr. Tarcísio Haroldo Cavalcante Pequeno (UFC)
Prof. Dr. Creto Augusto Vidal (MDCC/UFC)
Data da Defesa: 16/12/1996
001. Gerardo Valdisio Rodrigues Viana
Título: Meta-Heurísticas para Solução de Problemas de Otimização Combinatória
(indisponível)
Banca Examinadora:
Prof. Dr. Fernando Antonio de Carvalho Gomes (MDCC/UFC – Orientador)
Prof. Dr. Antonio Clécio Fonteles Thomaz (UFC)
Prof. Dr. Nelson Maculan Filho (UFRJ)
Data da Defesa: 16/12/1996
Esta dissertação deu origem ao livro “META-HEURÍSTICAS E PROGRAMAÇÃO PARALELA EM OTIMIZAÇÃO COMBINATÓRIA”, 250p., publicado em 1998 pela Editora da UFC com ISBN 85-7282-039-6.
