Gabriel Alves de Albuquerque Junior

Formação complementar

Idiomas

Áreas de atuação

Participação em eventos

Participação em bancas

Orientou

Produções bibliográficas

• ARAUJO, JEAN ; OLIVEIRA, DANILO ; MATOS, RUBENS ; ALVES, GABRIEL ; Maciel, Paulo . Availability and Reliability Modeling of Mobile Cloud Architectures. IEEE Transactions on Industrial Informatics , v. -, p. 1-13, 2023.

• RODRIGUES, EBONY MARQUES ; GOUVEIA, ROBERTA MACÊDO MARQUES ; ALBUQUERQUE JUNIOR, GABRIEL ALVES DE ; BATISTA, MARIA DA CONCEIÇÃO MORAES . APRENDIZADO DE MAQUINA PARA AGRUPAMENTO E ASSOCIACAO DE DADOS DO ENSINO SUPERIOR PUBLICO BRASILEIRO. REVISTA DE SISTEMAS E COMPUTAÇÃO - RSC , v. 13, p. 20-33, 2023.

• PONTUAL FALCÃO, TACIANA ; ARÊDES, VERENNA ; DE SOUZA, SAMUEL BARBOSA JATOBÁ ; FIORENTINO, GIUSEPPE ; NETO, JOSÉ RODRIGUES ; ALVES, GABRIEL ; MELLO, RAFAEL FERREIRA . Tutoria: a software platform to improve feedback in education. Journal on Interactive Systems , v. 14, p. 383-393, 2023.

• BEZERRA, THIAGO VALENTIM ; LEONARDO, WENDERSON DE SOUZA ; JÚNIOR, GABRIEL ALVES DE ALBUQUERQUE ; CALLOU, GUSTAVO RAU DE ALMEIDA . Dimensioning the relationship between availability and data center energy flow metrics. REVISTA DE INFORMÁTICA TEÓRICA E APLICADA: RITA , v. 27, p. 63-78, 2020.

• NOGUEIRA, BRUNO ; SOUSA, ERICA ; NASCIMENTO, ANDERSON ; TAVARES, EDUARDO ; ALVES JR., GABRIEL . Performability evaluation of transport modes for cloud-based inbound logistics: a study based on coffee industry. International Journal of Manufacturing Technology and Management , v. 34, p. 126, 2020.

• DANTAS, R. ; DANTAS, J. ; ALVES, G. ; MACIEL, P. R. M. . Analysis of a performability model for the BRT system. INTERNATIONAL JOURNAL OF DATA MINING, MODELLING AND MANAGEMENT , v. 11, p. 64, 2019.

• ANDRADE, ERMESON ; NOGUEIRA, BRUNO ; CALLOU, GUSTAVO ; Alves, Gabriel . Dependability analysis of a cyber-physical system for smart environments. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE , v. 31, p. e4739, 2019.

• GONCALVES, R. ; TAVARES, EDUARDO ; SILVA, B. ; ALVES, G. . Stochastic modelling of taxpayer assistance centre for performability evaluation. International Journal of Business Process Integration and Management (Print) , v. 8, p. 53, 2017.

• ARAUJO, J. ; MATOS, R. ; CONCEICAO, V. ; Alves, Gabriel ; MACIEL, P. . Impact of capacity and discharging rate on battery life time: A stochastic model to support mobile device autonomy planning. Pervasive and Mobile Computing , v. 32, p. 1, 2016.

• ALVES, G. ; MACIEL, P. R. M. ; Maciel, Paulo ; LIMA, Ricardo Massa Ferreira ; MAGNANI, F. . Strategic and Tactical Evaluation of Conflicting Environment and Business Goals in Green Supply Chains. IEEE Transactions on Systems, Man, and Cybernetics: Systems , p. 1-15, 2013.

• Alves, Gabriel ; Maciel, Paulo ; Lim, Ricardo ; Magnani, Fábio ; Arcoverde, Adilson . Towards the Evaluation of Environment and Business Trade-offs in Supply Chains. Electronic Notes in Theoretical Computer Science , v. 275, p. 5-21, 2011.

• ALVES, G. ; Maciel, Paulo Romero Martins ; Lima, Ricardo Massa Ferreira ; Zimmermann, Armin . . IEEE Transactions on Systems, Man and Cybernetics. Part A. Systems and Humans , v. 40, p. 1025-1044, 2010.

• ALVES, G. ; MACIEL, P. ; LIMA, R. . Stochastic evaluation of supply chains and replenishment policies with Petri net components. International Journal of Services Operations and Informatics , v. 3, p. 221-241, 2008.

• TAVARES, E. ; BARRETO, R. ; MACIEL, P. ; OLIVEIRA, M. ; ARCOVERDE JR., A. O. ; ALVES, G. ; LIMA, R. ; BARROS, L. ; BESSA, A. . An Integrated Environment for Embedded Hard Real-Time Systems Scheduling with Timing and Energy Constraints. Lecture Notes in Computer Science , v. 3728, p. -, 2005.

• ALVES, G. ; MACIEL, P. ; LIMA, R. ; MAGNANI, F. . Business and Environment Performance Evaluation in Supply Chains: a Formal Model-Driven Approach. In: Mamun Habib. (Org.). Supply Chain Management - Applications and Simulations. : , 2011, v. , p. 157-182.

• BARROS, ABÍLIO NOGUEIRA ; ALBUQUERQUE, ALDÉRYCK FÉLIX DE ; ALENCAR, ANDREZA ; MELLO, RAFAEL FERREIRA ; ALVES, GABRIEL ; BITTENCOURT, IBSEN MATEUS . Arquitetura de Dados Educacionais como Plataforma para Governo Inteligente - Utilizando dados abertos para apoio à gestão educacional baseada em evidências. In: Workshop de Computação Aplicada em Governo Eletrônico, 2023, Brasil. Anais do XI Workshop de Computação Aplicada em Governo Eletrônico (WCGE 2023), 2023. p. 130.

• MARQUES, EBONY ; CAVALCANTI, LHAÍSLLA ; BARBOSA, TARCÍSIO ; ALVES, GABRIEL . SABIA: Uma Plataforma para Auxiliar a Gestão Baseada em Evidências nas Instituições de Ensino Superior. In: Workshop de Aplicações Práticas de Learning Analytics em Instituições de Ensino no Brasil, 2023, Brasil. Anais do II Workshop de Aplicações Práticas de Learning Analytics em Instituições de Ensino no Brasil (WAPLA 2023). p. 71.

• NETO, RODRIGUES ; ALVES, GABRIEL ; MELLO, RAFAEL FERREIRA . Aplicando ChatGPT para Recomendação de Tags para Auxiliar Professores na Correção de Atividades Abertas. In: Workshop de Aplicações Práticas de Learning Analytics em Instituições de Ensino no Brasil, 2023, Brasil. Anais do II Workshop de Aplicações Práticas de Learning Analytics em Instituições de Ensino no Brasil (WAPLA 2023), 2023. p. 51.

• BARROS, ABÍLIO NOGUEIRA ; XAVIER, ELYDA LAISA SOARES ; ALVES, GABRIEL ; MELLO, RAFAEL FERREIRA . Aplicação de Learning Analytics para Identificação de Tomada de Decisão sobre a Distorção Idade-Série no Brasil. In: Workshop de Aplicações Práticas de Learning Analytics em Instituições de Ensino no Brasil, 2023, Brasil. Anais do II Workshop de Aplicações Práticas de Learning Analytics em Instituições de Ensino no Brasil (WAPLA 2023), 2023. p. 21.

• SILVA, INGRID L. A. DA ; FREITAS, ELYDA L. S. X. ; ALVES, GABRIEL ; MELLO, RAFAEL FERREIRA . Suporte a Tomada de Decisão para o Plano Nacional da Educação: Uma abordagem de Learning Analytics analisando os dados do ENEM. In: Workshop de Aplicações Práticas de Learning Analytics em Instituições de Ensino no Brasil, 2023, Brasil. Anais do II Workshop de Aplicações Práticas de Learning Analytics em Instituições de Ensino no Brasil (WAPLA 2023), 2023. p. 81.

• MARQUES, EBONY ; ALVES, GABRIEL ; ALENCAR, ANDRÊZA ; MELLO, RAFAEL ; BITTENCOURT, IBSEN . Combinando Diferentes Formas de Cálculo de Indicadores do PNE e Agrupamento para o Apoio à Decisão. In: Simpósio Brasileiro de Informática na Educação, 2023, Brasil. Anais do XXXIV Simpósio Brasileiro de Informática na Educação (SBIE 2023), 2023. p. 1454.

• FREITAS, NATHAN C. ; GOUVEIA, ROBERTA M. M. ; RODRIGUES, EBONY M. ; ALVES, GABRIEL ; BATISTA, MARIA DA CONCEIÇÃO M. ; RODRIGUES, RODRIGO LINS . Detecção de Outliers em Finanças de Instituições de Ensino Superior Brasileiras Utilizando Aprendizado de Máquina Não Supervisionado. In: Simpósio Brasileiro de Informática na Educação, 2023, Brasil. Anais do XXXIV Simpósio Brasileiro de Informática na Educação (SBIE 2023), 2023. p. 1489.

• SANTOS, JULIANA F. DOS ; SOUSA, JOSÉ DIOGO A. DE ; MELLO, RAFAEL FERREIRA ; CRISTINO, CLÁUDIO T. ; ALVES, GABRIEL . Análise da Evasão e do Impacto da Retenção Estudantil no Ensino Superior com Cadeias de Markov Absorventes. In: Workshop em Desempenho de Sistemas Computacionais e de Comunicação, 2022, Brasil. Anais do XXI Workshop em Desempenho de Sistemas Computacionais e de Comunicação (WPerformance 2022), 2022. p. 49.

• SOUSA, JOSÉ DIOGO A. DE ; SANTOS, JULIANA F. DOS ; ALVES, GABRIEL . Modelagem e Simulação do Progresso Estudantil no Ensino Superior com Sistemas de Eventos Discretos para Gerenciamento de Capacidade de Turmas Extras. In: Workshop em Desempenho de Sistemas Computacionais e de Comunicação, 2022, Brasil. Anais do XXI Workshop em Desempenho de Sistemas Computacionais e de Comunicação (WPerformance 2022), 2022. p. 25.

• RODRIGUES NETO, JOSÉ ; PONTUAL FALCÃO, TACIANA ; OLIVEIRA, VERENNA ; SOUZA, SAMUEL ; FIORENTINO, GIUSEPPE ; GALDINO, JOÃO VICTOR ; ALVES, GABRIEL ; FERREIRA MELLO, RAFAEL . Tutoria: Plataforma para suporte à correção de atividades e envio de feedback personalizado. In: Workshop de Aplicações Práticas de Learning Analytics em Instituições de Ensino no Brasil, 2022, Brasil. Anais do I Workshop de Aplicações Práticas de Learning Analytics em Instituições de Ensino no Brasil (WAPLA 2022), 2022. p. 21.

• SPANOL, MARIANA ; OLIVEIRA, EMÍLIA ; ALVES, GABRIEL ; BITTENCOURT, IBSEN MATEUS ; PONTUAL FALCÃO, TACIANA ; FERREIRA MELLO, RAFAEL . Uso de Agrupamento para Avaliação de Desempenho Educacional e Apoio à Gestão em Áreas de Investimento. In: Simpósio Brasileiro de Informática na Educação, 2022, Brasil. Anais do XXXIII Simpósio Brasileiro de Informática na Educação (SBIE 2022), 2022. p. 944.

• PONTUAL FALCÃO, TACIANA ; OLIVEIRA, VERENNA ; SOUZA, SAMUEL ; FIORENTINO, GIUSEPPE ; RODRIGUES NETO, JOSÉ ; GALDINO, JOÃO VICTOR ; ALVES, GABRIEL ; FERREIRA MELLO, RAFAEL . Tutoria: Supporting Good Practices for Providing Written Educational Feedback. In: Simpósio Brasileiro de Informática na Educação, 2022, Brasil. Anais do XXXIII Simpósio Brasileiro de Informática na Educação (SBIE 2022). p. 668.

• FREITAS, NATHAN C. ; GOUVEIA, ROBERTA M. M. ; ALBUQUERQUE JÚNIOR, GABRIEL A. DE ; BATISTA, MARIA DA CONCEIÇÃO M. ; RODRIGUES, RODRIGO LINS . A implementation mathematical-computational method for the detection and treatment of financial outliers in higher education. In: Encontro Nacional de Inteligência Artificial e Computacional, 2022, Brasil. Anais do XIX Encontro Nacional de Inteligência Artificial e Computacional (ENIAC 2022). p. 740.

• SANTOS, JULIANA F. DOS ; SOUSA, JOSÉ DIOGO A. DE ; MELLO, RAFAEL FERREIRA ; CRISTINO, CLAUDIO T. ; ALVES, GABRIEL . Um Modelo para Análise do Impacto da Retenção e Evasão no Ensino Superior Utilizando Cadeias de Markov Absorventes. In: Simpósio Brasileiro de Informática na Educação, 2021, Brasil. Anais do XXXII Simpósio Brasileiro de Informática na Educação (SBIE 2021), 2021. p. 813.

• BRITO, BRUNO CLAUDINO PEREIRA DE ; MELLO, RAFAEL FERREIRA LEITE DE ; ALVES, GABRIEL . Identificação de Atributos Relevantes na Evasão no Ensino Superior Público Brasileiro. In: Simpósio Brasileiro de Informática na Educação, 2020, Brasil. Anais do XXXI Simpósio Brasileiro de Informática na Educação (SBIE 2020), 2020. p. 1032.

• MEDEIROS, WILSON ; MENDONÇA, JÚLIO ; ALVES, GABRIEL ; ANDRADE, ERMESON . Avaliação Experimental de Replicação em Banco de Dados para Recuperação de Desastres. In: Workshop em Desempenho de Sistemas Computacionais e de Comunicação, 2020, Brasil. Anais do Workshop em Desempenho de Sistemas Computacionais e de Comunicação (WPerformance 2020), 2020. p. 121.

• SILVA, T. M. ; SOARES, L. ; OLIVEIRA, K. K. S. ; BARBOSA, R. ; SANTOS, H. ; ALVES, G. . Experiência com gamificação: Uma abordagem aplicada no ambiente virtual de aprendizagem Moodle.. In: Workshop de Informática na Escola (WIE), 2019, Brasilia. Anais do Workshop de Informática na Escola, 2019. p. 677-686.

• DANTAS, RENATA ; DANTAS, JAMILSON ; MELO, CARLOS ; Maciel, Paulo ; Alves, Gabriel . A performability model for the BRT system. In: 2018 Annual IEEE International Systems Conference (SysCon), 2018, Vancouver. 2018 Annual IEEE International Systems Conference (SysCon), 2018. p. 1.

• JÚNIOR, GERALDO CRUZ ; NASCIMENTO, RAFAELLA ; Alves, Gabriel ; GOUVEIA, ROBERTA . Identificando Correlações e Outliers Entre Bases de Dados Educacionais. In: VI Congresso Brasileiro de Informática na Educação, 2017, Recife. org.crossref.xschema._1.Title@6448898f, 2017. p. 694.

• JÚNIOR, GERALDO CRUZ ; NASCIMENTO, RAFAELLA ; CYSNEIROS, GILBERTO ; Alves, Gabriel ; SANTOS, EDNILZA . Internet das Coisas, Games e Data Science a serviço da conscientização e preservação da Caatinga. In: XXVIII Simpósio Brasileiro de Informática na Educação SBIE (Brazilian Symposium on Computers in Education), 2017, Recife. org.crossref.xschema._1.Title@3de91216, 2017. p. 714.

• BEZERRA TORRES, ELTON ; CALLOU, GUSTAVO ; Alves, Gabriel ; ACCIOLY, JOSE ; GUSTAVO, HALLYSON . Performance and availability evaluation of storage services in private cloud. In: 2016 11th Iberian Conference on Information Systems and Technologies (CISTI), 2016, Gran Canaria. 2016 11th Iberian Conference on Information Systems and Technologies (CISTI). p. 1.

• DIONÍSIO, MÁVERICK ; OLIVEIRA, AUGUSTO ; FERREIRA, RAFAEL ; BUENO, VALBER ; Alves, Gabriel . Fórum.Edu: Um Fórum Educacional Mobile que utiliza Mineração de Texto. In: Workshops do Congresso Brasileiro de Informática na Educação, 2016, Uberlandia. org.crossref.xschema._1.Title@394ad6e1, 2016. p. 346.

• TORRES, ELTON ; CALLOU, GUSTAVO ; Alves, Gabriel ; ACCIOLY, JOSE ; GUSTAVO, HALLYSON . Storage services in private clouds: Analysis, performance and availability modeling. In: 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2016, Budapest. 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2016. p. 003288.

• GONCALVES, R. ; TAVARES, E. ; NASCIMENTO, A. ; SOUSA, E. ; LINS, F. ; Alves, Gabriel . Performability Assessment of a Government Process in the Cloud. In: 2015 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2015, Kowloon Tong. 2015 IEEE International Conference on Systems, Man, and Cybernetics, 2015. v. 1. p. 87-6.

• DANTAS, RENATA ; DANTAS, JAMILSON ; Maciel, Paulo ; Alves, Gabriel . Assessment of Bus Rapid Transit (BRT) Time Lags under Probabilistic Uncertainties. In: 2015 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2015, Kowloon Tong. 2015 IEEE International Conference on Systems, Man, and Cybernetics, 2015. v. 1. p. 1273.

• NASCIMENTO, ANDERSON ; Alves, Gabriel ; SOUSA, ERICA ; NOGUEIRA, BRUNO ; TAVARES, EDUARDO . Transport mode assessment for inbound logistics: A study based on coffee industry. In: 2014 IEEE International Conference on Systems, Man and Cybernetics SMC, 2014, San Diego. 2014 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2014. p. 1318-1323.

• SOUSA, ERICA ; Maciel, Paulo ; ARAUJO, CARLOS ; Alves, Gabriel ; CHICOUT, FABIO . Performance modeling for evaluation and planning of Electronic Funds Transfer Systems. In: 2009 IEEE Symposium on Computers and Communications (ISCC), 2009, Sousse. 2009 IEEE Symposium on Computers and Communications, 2009. p. 73.

• Alves, Gabriel ; Maciel, Paulo ; LIMA, RICARDO ; Zimmermann, Armin . Performance evaluation of logistics with componentized stochastic models. In: 2008 IEEE International Conference on Systems, Man and Cybernetics (SMC), 2008, Singapore. 2008 IEEE International Conference on Systems, Man and Cybernetics. p. 2087.

• ALVES, G. ; MACIEL, P. ; LIMA, R. . Modeling and Evaluation of Supply Chains with GSPN Components. In: 2nd International Conference on Performance Evaluation (Valuetools 2007), 2007, Nantes. Prodceedings of the 2nd International Conference on Performance Evaluation, 2007.

• Alves, Gabriel ; Maciel, Paulo ; LIMA, RICARDO . A GSPN based approach to evaluate outbound logistics. In: 2007 IEEE International Conference on Systems, Man and Cybernetics, 2007, Montreal. 2007 IEEE International Conference on Systems, Man and Cybernetics. p. 708-713.

• Alves, Gabriel ; Maciel, Paulo ; MASSA, RICARDO . Evaluating Supply Chains with Stochastic Models. In: 2007 IEEE International Conference on Service Operations and Logistics, and Informatics, 2007, Philadelphia. 2007 IEEE International Conference on Service Operations and Logistics, and Informatics. p. 1-6.

• TAVARES, E. ; BARRETO, R. ; MACIEL, P. ; OLIVEIRA, M. ; ARCOVERDE, A. ; ALVES, G. ; LIMA, R. ; BARROS, L. ; BESSA, A. . An Integrated Environment for Embedded Hard Real-Time Systems Scheduling with Timing and Energy Constraints. In: PATMOS, 2005, Leuven. Lecture Notes in Computer Science, 2005. v. 3728. p. 382-392.

• Arcoverde, Adilson ; Alves, Gabriel ; LIMA, RICARDO . Petri nets tools integration through Eclipse. In: the 2005 OOPSLA workshop, 2005, San Diego. Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange - eclipse '05. New York: ACM Press. p. 90.

• ARCOVERDE, A. ; COSTA NETO, A. ; RABELO, A. ; FREITAS, B. ; RIBEIRO, D. ; SILVA, F. ; ALVES, G. ; XAVIER, J. ; FALCAO, T. ; MEDEIROS, V. . An Experience of Modeling and Implementing an Open Source Software Factory Methodology. In: X Simpósio de Informática e V Mostra de Software Acadêmico (SIMS 2005), 2005, Uruguaiana. Anais do X Simpósio de Informática e V Mostra de Software Acadêmico, 2005.

• ARCOVERDE, A. ; ALVES, G. ; LIMA, R. ; MACIEL, P. . EZPetri: A Petri net interchange framework for Eclipse based on PNML. In: International Symposium on Leveraging Applications of Formal Method (ISOLA 2004), 2004, Paphos. Proceedings of the International Symposium on Leveraging Applications of Formal Method, 2004.

• BANDEIRA, E. M. N. ; JÚNIOR, GERALDO CRUZ ; ALVES, G. . Análise de Sentimentos e Amplitude de Divulgação dos Eventos Turísticos da Cidade do Recife no Twitter. In: XVII JEPEX, 2017, Recife. Anais do XVII JEPEX, 2017. v. 1.

• JÚNIOR, GERALDO CRUZ ; NASCIMENTO, R. L. S. ; GOUVEIA, R. M. M. ; ALVES, G. . Um serious game multiplataforma para o ensino e difusao da cultura da reciclagem. In: XVI Simpósio Brasileiro de Jogos e Entretenimento Digital, 2017, Curitiba. Anais do XVI Simpósio Brasileiro de Jogos e Entretenimento Digital, 2017. v. 1.

• JÚNIOR, GERALDO CRUZ ; NASCIMENTO, R. L. S. ; CYSNEIROS FILHO, G. A. A. ; ROLIM, V. B. ; SANTOS, E. ; ALVES, G. . Planejamento de serious games focados nos usuários e a serviço da preservação dos biomas brasileiro. In: XVI Simpósio Brasileiro de Jogos e Entretenimento Digital, 2017, Curitiba. Anais do XVI Simpósio Brasileiro de Jogos e Entretenimento Digital, 2017. v. 1.

• GUSTAVO, HALLYSON ; ALVES, G. . Análise de Disponibilidade em Sistema Mhealth com Rede Corporal de Sensores sem Fio. In: JEPEX - XVI Jornada de Ensino, Pesquisa e Extensão da UFRPE, 2016, Recife. JEPEX - XVI Jornada de Ensino, Pesquisa e Extensão da UFRPE, 2016.

• ALVES, GABRIEL ; TSCHA, E. . Aprendizagem ativa no âmbito educacional brasileiro em tempos de pandemia. 2020. (Apresentação de Trabalho/Conferência ou palestra).

• ALVES, G. ; MACIEL, P. ; LIMA, R. ; MAGNANI, F. ; ARCOVERDE JR., A. O. . Towards the evaluation of environment and business trade-offs in supply chains. 2011. (Apresentação de Trabalho/Conferência ou palestra).

Outras produções

Projetos de pesquisa

• 2021 - Atual

  Feedback bot: Sistema para aprimoramento na escrita de feedback, Descrição: Esse projeto propõe a criação de um sistema, que utiliza técnicas de processamento de linguagem natural e learning analytics que geram visualizações, para auxiliar professores na elaboração de feedback.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (6) . , Integrantes: Gabriel Alves de Albuquerque Júnior - Integrante / Rafael Ferreira Leite de Mello - Coordenador / Taciana Pontual da Rocha Falcão - Integrante., Financiador(es): Rede Nacional de Ensino e Pesquisa - Bolsa.

• 2021 - Atual

  Análise de dados educacionais para apoiar a gestão de ensino orientada a evidências, Descrição: O ensino superior enfrenta diversos problemas que são estudados em diferentes áreas do conhecimento, tanto do ponto de vista qualitativo, quanto do ponto de vista quantitativo. Dadas as origens multifatoriais dos riscos e das oportunidades de melhoria, diferentes abordagens, métodos e técnicas precisam ser utilizadas neste tipo de estudo. As características socioeconômicas e geopolíticas do Brasil tornam o este estudo ainda mais desafiador e complexo. A ciência de dados utiliza os dados disponíveis sobre um sistema real para tentar descrevê-lo ou prever o seu comportamento. Para isso, utiliza-se de diferentes técnicas provenientes principalmente da estatística e da computação. Por sua vez, modelos matemático-computacionais são capazes de simular o comportamento de sistemas reais em programas de computador. Assim, estes modelos permitem a realização de experimentos, observando-se como o sistema real se comportaria mediante uma dada situação. Este projeto tem o objetivo de utilizar a ciência de dados, engenharia de software e modelos matemático-computacionais para realizar análises quantitativas e qualitativas dos problemas e oportunidades de melhoria que estão ligados direta ou indiretamente com o ensino superior. A partir destas análises, pretende-se sistematizar os resultados obtidos em métodos, indicadores e sistemas computacionais capazes de apoiar a gestão do ensino superior.. Situação: Em andamento; Natureza: Pesquisa.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (3) . , Integrantes: Gabriel Alves de Albuquerque Júnior - Coordenador / Taciana Falcão - Integrante / GOUVEIA, ROBERTA - Integrante / Maria da Conceição Moraes Batista - Integrante / Rafael Ferreira Leite de Mello - Integrante.

• 2021 - Atual

  Plataforma +PNE e TC Educa: Integrando Dados Conectados, Inteligência Artificial e Análise de Dados, Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Gabriel Alves de Albuquerque Júnior - Coordenador / Rafael Ferreira Leite de Mello - Integrante / Ig Ibert Bittencourt - Integrante / Péricles Barbosa Cunha De Miranda - Integrante / André Câmara Alves do Nascimento - Integrante / Ibsen Mateus Bittencourt Santana Pinto - Integrante / Seiji Isotani - Integrante / Taciana Pontual da Rocha Falcão - Integrante / Ibsen Mateus Bittencourt - Integrante., Financiador(es): Ministério da Educação - Cooperação.

• 2020 - 2021

  Ecossistema de Gestão das Graduações das Instituições Federais de Ensino Superior (EcoGrad), Descrição: Esse projeto tem o objetivo de desenvolver um Ecossistema de Gestão para graduações das IFES (EcoGrad) baseado, mas não restrito, nas boas práticas e nas experiências das IFES brasileiras. As ferramentas desenvolvidas e as metodologias elaboradas visam contribuir, por exemplo, para o aumento dos índices de diplomação, a diminuição da evasão e da retenção, a melhoria dos indicadores de qualidade dos cursos de graduação e subsidiar análises sobre o potencial de empregabilidade dos egressos. A partir do conhecimento de suas realidades, os gestores institucionais terão condições objetivas de proporem políticas acadêmicas que impactarão no trato desses fenômenos. Isso será possível a partir de evidências fornecidas pelos módulos que serão criados com a finalidade de cruzar dados e elaborar relatórios circunstanciados. A partir do conceito de Academic Analytics, o projeto utiliza Ciência de Dados para analisar dados das IFES, bem como análise qualitativa sobre as boas práticas de gestão das graduações.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (12) / Mestrado profissional: (2) / Doutorado: (13) . , Integrantes: Gabriel Alves de Albuquerque Júnior - Coordenador / Jose Jorge Lima Dias Junior - Integrante / Gilberto Farias - Integrante / Bruno Jefferson de Sousa Pessoa - Integrante / Rafael Ferreira Leite de Mello - Integrante / Cassiano Caon Amorim - Integrante / Ignácio Tavares de Araújo - Integrante / Antonio Vinícius Barros Barbosa - Integrante / Jorge Henrique Norões Viana - Integrante / Evandro Farias Rocha - Integrante / Anderson Santos do Nascimento - Integrante / Uyguaciara Veloso Castelo Branco - Integrante.

• 2005 - 2006

  Teaching Formal Methods Through Eclipse - IBM Faculty Award, Descrição: A disciplina de Métodos formais está presente no currículo de muitos cursos de graduação, mestrado e doutorado na área de Ciência da Computação. Devido aos conceitos matemáticos e aspectos teóricos envolvidos, a disciplina é normalmente ensinada através de métodos tradicionais (quadro branco e slides). Além disso, as ferramentas computacionais disponíveis não contemplam as modernas tecnologias voltadas para a área de ensino e aprendizagem. Em particular, nenhuma delas oferece um ambiente virtual de ensino e aprendizagem, com facilidades para troca de informações e experiências sobre o tema em estudo. Finalmente, requisitos de extensibilidade não são considerados por tais ferramentas. Este projeto propõe o desenvolvimento de um ambiente educacional para ensino de métodos formais em cursos de graduação baseado no Eclipse. Petri nets será a técnica de especificação formal a ser adotada. O ambiente educacional será parte do framework EZPetri. O framework EZPetri é uma perspectiva da plataforma Eclipse voltada para redes de Petri. Ele adota o Petri Net Markup Language (PNML) como formato interno para representação das redes [2]. A união do Eclipse e PNML tem se mostrado um instrumento bastante efetivo para a integração de ferramentas e aplicações baseadas em redes de Petri. Atualmente, três aplicações estão sendo integradas ao framework: estimativa de consumo de potência em software; um modelo SystemC para redes de Petri; síntese de escalas para sistemas de tempo real críticos. Tais aplicações foram desenvolvidas com nenhum conhecimento sobre o EZPetri. EZPetri é portanto um terreno fértil para a combinação de ferramentas e aplicações baseadas em redes de Petri em um único ambiente. oferecendo uma nova perspectiva de integração para a comunidade de redes de Petri.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (7) / Mestrado acadêmico: (1) . , Integrantes: Gabriel Alves de Albuquerque Júnior - Integrante / Ricardo Massa Ferreira Lima - Coordenador / César Augusto Lins de Oliveira - Integrante / Henrique Emanuel Mostaert Rebêlo - Integrante / Frederico Guilherme Alvares de Oliveira Jr. - Integrante / Renata Wanderley Medeiros - Integrante / Vanessa Figueiredo Trajano - Integrante / Petrônio Braga - Integrante / Leopoldo Pires Ferreira - Integrante., Financiador(es): IBM Research Brazil - Auxílio financeiro.

Prêmios