Paulo Henrique Macêdo de Araújo

Formação complementar

Idiomas

Áreas de atuação

Organização de eventos

Participação em eventos

Participação em bancas

Orientou

Produções bibliográficas

• ARAUJO, PAULO ; CORREA, RICARDO ; CAMPELO, MANOEL . A parallel lagrangian heuristic for the fractional chromatic number of a graph. RAIRO-OPERATIONS RESEARCH , v. 1, p. 1-27, 2023.

• ARAÚJO, PAULO H.M. ; CAMPÊLO, MANOEL ; CORRÊA, RICARDO C. ; Labbé, Martine . Integer Programming Models and Polyhedral Study for the Geodesic Classification Problem on Graphs. EUROPEAN JOURNAL OF OPERATIONAL RESEARCH , v. 1, p. 1-34, 2023.

• DE SOUZA, CRÍSTON PEREIRA ; DE ARAUJO, PAULO HENRIQUE MACEDO ; COSTA, IANA MARY GOMES ; DE VASCONCELOS, DAVI ROMERO ; MAGALHÃES, REGIS PIRES . Trace selection and allocation for log-move audit of business process directly-follows graphs. INFORMATION SYSTEMS , v. 1, p. 102143, 2022.

• DE ARAÚJO, PAULO HENRIQUE MACÊDO ; CAMPÊLO, MANOEL ; CORRÊA, RICARDO C. ; Labbé, Martine . The Geodesic Classification Problem on Graphs. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE , v. 346, p. 65-76, 2019.

• DE ARAÚJO, PAULO HENRIQUE MACÊDO ; MARTINS, L. ; HOLANDA, A. . O projeto de extensão APRIMORE: Aprimoramento da Qualidade de Vida através do Autoconhecimento. 12º volume da Revista Extensão, 2017, Bahia-Brasil, 01 jul. 2017.

• DE ARAÚJO, PAULO HENRIQUE MACÊDO ; CORREA, R. C. ; CAMPELO NETO, M. B. ; Labbé, Martine . Integer Programming Models for the Geodesic Classification Problem on Graphs. In: APPLIED COMBINATORIAL OPTIMIZATION 2021-2022, 2022, Santiago. APPLIED COMBINATORIAL OPTIMIZATION 2021-2022, 2022.

• DE ARAÚJO, PAULO HENRIQUE MACÊDO ; CORREA, R. C. ; CAMPELO NETO, M. B. . A Parallel Lagrangean Heuristic for the Chromatic Number of a Graph. In: 50o SBPO - Simpósio Brasileiro de Pesquisa Operacional, 2018, Rio de Janeiro. 50o SBPO - Simpósio Brasileiro de Pesquisa Operacional, 2018.

• S., WALLESSON C. ; A., PAULO HENRIQUE M. ; D., FÁBIO C. S. ; C., EMANUEL F. ; S., CRISTON P. . Heurísticas para o Problema de Partição de Strings Comuns Mínima. In: Encontro de Teoria da Computação, 2022, Brasil. Anais do VII Encontro de Teoria da Computação (ETC 2022), 2022. p. 9.

• DE ARAÚJO, PAULO HENRIQUE MACÊDO ; Silva, F. M. A. . Uma Heurística Probabilística para o Problema de Classificação Geodésica. In: II Escola de Teoria da Computação, 2021, Quixadá-CE. II Escola de Teoria da Computação, 2021.

• DE ARAÚJO, PAULO HENRIQUE MACÊDO ; Costa, I. M. G. . UM ALGORITMO VND PARA O PROBLEMA DA PARTIÇÃO DE STRINGS COMUNS MÍNIMA. In: IX Encontros Universitários da UFC Quixadá, 2019, Quixadá-CE. IX Encontros Universitários da UFC Quixadá, 2019.

• DE ARAÚJO, PAULO HENRIQUE MACÊDO ; Costa, I. M. G. . UM ALGORITMO DE BUSCA TABU PARA O PROBLEMA DA PARTIÇÃO DE STRINGS COMUNS MÍNIMA. In: VIII Encontros Universitários UFC Campus de Quixadá, 2018, Quixadá. VIII Encontros Universitários UFC Campus de Quixadá, 2018.

• DE ARAÚJO, PAULO HENRIQUE MACÊDO ; Vieira, M. P. . O PROBLEMA DE CLASSIFICAÇÃO COMBINATÓRIA - UMA ABORDAGEM DE CLASSIFICAÇÃO EM GRAFOS. In: VIII Encontros Universitários UFC Campus de Quixadá, 2018, Quixadá. VIII Encontros Universitários UFC Campus de Quixadá, 2018.

• DE ARAÚJO, PAULO HENRIQUE MACÊDO ; ANDRADE, R. C. . Algoritmos de branch-and-cut com branch combinatório para o problema de conjunto dominante mínimo conexo. In: XVIII CLAIO, the Latin-Iberoamerican Conference on Operations Research, 2016, Santiago. Otimização Combinatória, 2016.

• DE ARAÚJO, PAULO HENRIQUE MACÊDO ; OLIVEIRA, D. S. ; RODRIGUES, C. G. C. . Evasão nos cursos de TIC no campus da UFC em Quixadá. In: Décima Segunda edição do Encontros Universitários da UFC em Quixadá, 2022, Quixadá-CE. Décima Segunda edição do Encontros Universitários da UFC em Quixadá, 2022.

• DE ARAÚJO, PAULO HENRIQUE MACÊDO ; BARBOSA, I. A. . RELATO DE EXPERIÊNCIA DA MONITORIA REMOTA EM MATEMÁTICA. In: X Encontros Universitários da UFC Quixadá, 2021, Quixadá-CE. X Encontros Universitários da UFC Quixadá, 2021.

• DE ARAÚJO, PAULO HENRIQUE MACÊDO ; VICTOR, J. . JULIA - UMA LINGUAGEM EM ASCENÇÃO. In: IX Encontros Universitários da UFC Quixadá, 2019, Quixadá-CE. IX Encontros Universitários da UFC Quixadá, 2019.

• DE ARAÚJO, PAULO HENRIQUE MACÊDO ; GUEDES, M. S. . A LINGUAGEM METAQUOTES LANGUAGE 5. In: IX Encontros Universitários da UFC Quixadá, 2019, Quixadá-CE. IX Encontros Universitários da UFC Quixadá, 2019.

• DE ARAÚJO, PAULO HENRIQUE MACÊDO ; PEREIRA, J. L. C. . RELATO DE EXPERIÊNCIA NO ESTUDO DE LEVANTAMENTO DE REQUISITOS DE SOFTWARE. In: IX Encontros Universitários da UFC Quixadá, 2019, Quixadá-CE. IX Encontros Universitários da UFC Quixadá, 2019.

• DE ARAÚJO, PAULO HENRIQUE MACÊDO ; Silva, A. A. N. . Relato de Experiência da Monitoria de Projeto e Análise de Algoritmos. In: VIII Encontros Universitários UFC Campus de Quixadá, 2018, Quixadá. VIII Encontros Universitários UFC Campus de Quixadá, 2018.

• DE ARAÚJO, PAULO HENRIQUE MACÊDO ; Chaves, N. N. . LINGUAGEM DE PROGRAMAÇÃO JULIA. In: VIII Encontros Universitários UFC Campus de Quixadá, 2018, Quixadá. VIII Encontros Universitários UFC Campus de Quixadá, 2018.

• DE ARAÚJO, PAULO HENRIQUE MACÊDO . Introdução aos Algoritmos Probabilísticos. 2020. (Apresentação de Trabalho/Seminário).

• DE ARAÚJO, PAULO HENRIQUE MACÊDO ; CORREA, R. C. . APLICAÇÕES PARALELAS E DISTRIBUÍDAS DE OTIMIZAÇÃO COMBINATÓRIA. 2011. (Apresentação de Trabalho/Outra).

• DE ARAÚJO, PAULO HENRIQUE MACÊDO ; CORREA, R. C. . Difusão Personalizada em Hipercubos com Restrições de Interferência. 2010. (Apresentação de Trabalho/Outra).

• CORREA, R. C. ; DE ARAÚJO, PAULO HENRIQUE MACÊDO . Construção e Uso de Notas de Aula Colaborativas. 2009. (Apresentação de Trabalho/Outra).

Outras produções

Projetos de pesquisa

• 2022 - Atual

  Uma abordagem teórica e aplicada a problemas combinatórios em redes sociais, Descrição: Três problemas serão abordados no projeto: (1) Um processo reversível sobre um grafo é aquele onde cada vértice possui um entre dois estados, mudando se existir uma quantidade de vizinhos com estado oposto. Estudaremos parâmetros relacionados, como o número máximo de passos até repetir uma certa configuração. (2) No contexto de agrupamento, a detecção de comunidades tenta encontrar comunidades já existentes e outras que possam estar começando a emergir. Estudaremos o problema de detecção de comunidades sob uma nova perspectiva utilizando conceitos da Teoria dos Jogos. (3) O uso de técnicas de programação linear inteira para geração de modelos matemáticos que possam solucionar o Problema de Minimização de Custo de Propagação de Influência em Redes Sociais que consiste em encontrar um conjunto de indivíduos que influenciam um certo número de usuários com custo mínimo para contratá-los. O problema 1 será trabalhado de forma teórica, onde estudaremos propriedades dos grafos e processos que modelam a rede, além da complexidade computacional do mesmo. Os problemas 1, 2 e 3, serão trabalhados no viés prático, criando-se e implementando-se algoritmos para suas resoluções. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) . , Integrantes: Paulo Henrique Macêdo de Araújo - Integrante / Wladimir Araújo Tavares - Integrante / Tatiane Fernandes Figueiredo - Integrante / Pablo Luiz Braga Soares - Integrante / Fábio Carlos Sousa Dias - Integrante / Atílio Gomes Luiz - Integrante / Carlos Vinícius Gomes Costa Lima - Coordenador / Marcio Costa Santos - Integrante / Thiago Braga Marcilon - Integrante / Cicero Samuel Santos Morais - Integrante / ISAC PEIXOTO COSTA - Integrante / Nelson Carvalho Sandes - Integrante.

• 2017 - 2020

  Problemas em grafos: complexidade e métodos, Descrição: O tema central deste projeto é a resolução computacional eficiente de problemas de otimização combinatória, envolvendo teoria, algoritmos e implementações sequenciais e paralelas, com aplicações. Nesse sentido, as atividades do projeto seguem os três eixos complementares do ParGO que são paralelismo, grafos e otimização. Os problemas investigados nesta proposta são classificados entre os mais difíceis computacionalmente considerando o critério de complexidade de tempo. Com isto, é necessário o estudo estrutural sobre o problema para a obtenção de algoritmos eficientes para instâncias de médio ou grande porte. Uma técnica que pode se mostrar eficiente é o estudo teórico de descrições matemáticas distintas, porém equivalentes para o problema. Tais descrições matemáticas são analisadas, com o objetivo de determinar propriedades estruturais que possam ser, posteriormente, exploradas de forma adequada usando métodos algorítmicos. No âmbito desta proposta, as descrições dos problemas utilizam principalmente Teoria dos Grafos, Teoria Poliédrica e Programação Linear Inteira. Junto com o estudo teórico, realizamos a resolução computacional dos problemas propostos. Dados a dificuldade de resolver tais problemas computacionalmente, utilizamos algumas técnicas para facilitar a obtenção de resultados para instâncias de médio a grande porte. As principais técnicas empregadas são decomposições, relaxações, planos de corte e paralelismo.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Paulo Henrique Macêdo de Araújo - Integrante / Manoel Bezerra Campêlo Neto - Integrante / Cláudia Linhares Sales - Integrante / Rudini Menezes Sampaio - Integrante / Rafael Castro de Andrade - Integrante / Victor de Almeida Campos - Coordenador / Criston Souza - Integrante / Wladimir Araújo Tavares - Integrante / Fábio Carlos Sousa Dias - Integrante / Julio César Araújo - Integrante., Financiador(es): Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2011 - 2014

  Paralelismo, Grafos e Otimização, Descrição: O tema deste projeto é a resolução computacional eficiente de problemas de otimização combinatória, envolvendo teoria, algoritmos e implementações sequenciais e paralelas, com aplicações. A pesquisa se desenvolverá em três grandes eixos: (i) Estruturas Matemáticas e Métodos Algorítmicos em Otimização Combinatória; (ii) Aplicações; (iii) Resolução Eficiente de Grandes Instâncias de Problemas. Os principais objetivos científicos são: 1. estabelecer modelos, formulações e propriedades estruturais para de problemas de otimização combinatória, especialmente aqueles definidos sobre conjuntos independentes em grafos e através de fluxos em redes; 2. desenvolver algoritmos exatos e heurísticos eficientes usando técnicas de decomposição, de relaxação linear e Lagrangeana, geração de cortes ou colunas; 3. obter implementações computacionais sequenciais e paralelas capazes de resolver instâncias de tamanho médio para grande desses problemas. O principal objetivo instituciona é consolidar o grupo de pesquisa ParGO nacional e internacionalmente, aumentando a sua inserção no meio acadêmico e a sua relevância para o desenvolvimento da Ciência da Computação no Estado do Ceará. (Proj Aprovado no Edital CNPq/FUNCAP PRONEM 2010 PRN 0040-00040.01.00/10). , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (11) / Doutorado: (7) . , Integrantes: Paulo Henrique Macêdo de Araújo - Integrante / Ricardo Cordeiro Corrêa - Integrante / Manoel Bezerra Campêlo Neto - Coordenador / Andréia Carneiro Linhares - Integrante / Cláudia Linhares Sales - Integrante / Carlos Diego Rodrigues - Integrante / Rudini Menezes Sampaio - Integrante / Rafael Castro de Andrade - Integrante / Victor de Almeida Campos - Integrante / Francisco Heron de Carvalho Junior - Integrante / Criston Souza - Integrante.

• 2010 - 2011

  APLICAÇÕES PARALELAS E DISTRIBUÍDAS DE OTIMIZAÇÃO COMBINATÓRIA, Descrição: Projeto financiado pelo CNPq (Processo 100512/2010-0), com vigência de Janeiro/2010 a Dezembro/2011. O desenvolvimento deste projeto conta com a participação de um aluno de graduação (bolsista IC/PIBIC/CNPq/UFC/Computação) da UFC. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Paulo Henrique Macêdo de Araújo - Integrante / Ricardo Cordeiro Corrêa - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

Prêmios