Márcio Dias de Lima

Formação complementar

Idiomas

Organização de eventos

Participação em eventos

Participação em bancas

Orientou

Produções bibliográficas

• DE VASCONCELOS, JOSÉ EDER SALVADOR ; DE LIMA, MÁRCIO DIAS ; FERNANDES, KAROLINE VICTOR . Graded trace generating functions of Aut(¿Kn) acting on A(¿Kn). JOURNAL OF ALGEBRA AND ITS APPLICATIONS , v. 24, p. 2550150, 2025.

• DA COSTA, NATTANE LUÍZA ; DE LIMA, MÁRCIO DIAS . A methodological framework for wine and grape authenticity: combining bibliometrics and text mining. QUALITY & QUANTITY , v. 1, p. 1, 2025.

• SOUZA, DANIEL SOARES DE ; SANTOS, PAULO HENRIQUE ; LOPES, CASSIOMAR RODRIGUES ; OLIVEIRA, LUCAS SANTOS DE ; OLIVEIRA, GERALDO ANDRADE DE ; GOMES, ALAN KELLER ; LIMA, MÁRCIO DIAS ; BATISTA, KARLA DE ALELUIA . Descriptive analysis of intergovernmental contracts in the Brazilian Agriculture Ministry. REVISTA DE GESTÃO E SECRETARIADO , v. 15, p. e3791, 2024.

• SOUZA, DANIEL SOARES DE ; SANTOS, PAULO HENRIQUE ; LOPES, CASSIOMAR RODRIGUES ; OLIVEIRA, LUCAS SANTOS DE ; GOMES, ALAN KELLER ; LIMA, MÁRCIO DIAS ; SILVA, JOSÉ CARLOS BARROS ; BATISTA, KARLA DE ALELUIA . Voluntary federal transfers and resource application: a systematic literature review. REVISTA DE GESTÃO E SECRETARIADO , v. 15, p. e3790, 2024.

• OLIVEIRA, LUCAS SANTOS DE ; LIMA, MÁRCIO DIAS DE ; SOUZA, DANIEL SOARES DE ; SANTOS, PAULO HENRIQUE DOS ; SILVA, JOSÉ CARLOS BARROS ; OLIVEIRA, GERALDO ANDRADE DE ; BATISTA, KARLA DE ALELUIA . Análise não-paramétrica da alocação de recursos do Ministério da Agricultura e Pecuária entre os estados brasileiros. CADERNO PEDAGÓGICO (LAJEADO. ONLINE) , v. 21, p. e6720, 2024.

• LIMA, MÁRCIO DIAS DE ; GOMES, ALAN KELLER ; SOUZA, DANIEL SOARES DE ; OLIVEIRA, LUCAS SANTOS DE ; SANTOS, PAULO HENRIQUE DOS ; LOPES, CASSIOMAR RODRIGUES ; SILVA, JOSÉ CARLOS BARROS ; BATISTA, KARLA DE ALELUIA . Descriptive analysis of intergovernmental agreements in the brazilian ministry of agriculture and livestock: exploring data clustering of agreements and grantees. CADERNO PEDAGÓGICO (LAJEADO. ONLINE) , v. 21, p. e7451, 2024.

• BORGES, JULIA SANTANA GARCIA ; ASSIS, ALINE MOTA DE MESQUITA ; LIMA, MÁRCIO DIAS DE . O Movimento Histórico das Contribuições da Teoria da Extensão de Grassmann para a Álgebra Linear. Obutchénie. Revista de Didática e Psicologia Pedagógica , v. 8, p. 1-26, 2024.

• GOMES, ALAN KELLER ; LIMA, MÁRCIO DIAS DE ; SANTOS, PAULO HENRIQUE DOS ; LOPES, CASSIOMAR RODRIGUES ; OLIVEIRA, LUCAS SANTOS DE ; SOUZA, DANIEL SOARES DE ; SILVA, JOSÉ CARLOS BARROS ; BATISTA, KARLA DE ALELUIA . An approach for K-modes cluster analysis to examine direct resource transfers in brazilian public agreements for innovation and rural development. REVISTA DE GESTÃO E SECRETARIADO , v. 15, p. e4142, 2024.

• VÁSQUEZ, JULIO CÉSAR SAAVEDRA ; LIMA, MÁRCIO DIAS DE ; VAZ, DUELCI APARECIDO DE FREITAS . Abordagens geométricas das propriedades da integral definida: aprimorando a compreensão através de demonstrações visuais. REMAT: REVISTA ELETRÔNICA DA MATEMÁTICA , v. 10, p. e3011, 2024.

• SANTOS, PAULO HENRIQUE DOS ; OLIVEIRA, LUCAS SANTOS DE ; LIMA, MÁRCIO DIAS DE ; SOUZA, DANIEL SOARES DE ; SILVA, JOSÉ CARLOS BARROS ; OLIVEIRA, GERALDO ANDRADE DE ; BROM, PEDRO CARVALHO ; CHAHAD, ALEXANDRE PEREIRA ; LOPES, CASSIOMAR RODRIGUES ; SILVA, MARIA DAS GRAÇAS COSTA NERY DA ; BATISTA, KARLA DE ALELUIA . Exploring public-private partnerships in Latin America and the Caribbean using topic modeling and sentiment analysis. CADERNO PEDAGÓGICO (LAJEADO. ONLINE) , v. 21, p. e7428, 2024.

• DE OLIVEIRA ROQUE E LIMA, JULIANA ; PAGOTTO, VALÉRIA ; ROCHA, BÁRBARA SOUZA ; SCALIZE, PAULO SÉRGIO ; GUIMARÃES, RAFAEL ALVES ; DE LIMA, MÁRCIO DIAS ; DA SILVA, LEANDRO NASCIMENTO ; DA SILVA OLIVEIRA, MICHELE DIAS ; MOURA, WINNY ÉVENY ALVES ; TELES, SHEILA ARAÚJO ; ROSSO, CLACI FÁTIMA WEIRICH ; CAETANO, KARLLA ANTONIETA AMORIM . Low Vaccine Coverage and Factors Associated with Incomplete Childhood Immunization in Racial/Ethnic Minorities and Rural Groups, Central Brazil. Vaccines , v. 11, p. 838, 2023.

• DA COSTA, NATTANE LUÍZA ; DE LIMA, MÁRCIO DIAS ; BARBOSA, ROMMEL . Analysis and improvements on feature selection methods based on artificial neural network weights. APPLIED SOFT COMPUTING , v. 127, p. 109395, 2022.

• de Castro Rodrigues, Diego ; LIMA, M. D. ; BARBOSA, ROMMEL M. . Fraud detection in social income transfer programs: a social data mining approach applied to data from Brazil. SN Social Sciences , v. 2, p. 170, 2022.

• DE LIMA, MÁRCIO DIAS ; DE OLIVEIRA ROQUE E LIMA, JULIANA ; BARBOSA, ROMMEL M. . Medical data set classification using a new feature selection algorithm combined with twin-bounded support vector machine. MEDICAL & BIOLOGICAL ENGINEERING & COMPUTING , v. 58, p. 519-528, 2020.

• LUÍZA DA COSTA, NATTANE ; Dias de Lima, Márcio ; BARBOSA, ROMMEL . Evaluation of feature selection methods based on artificial neural network weights. EXPERT SYSTEMS WITH APPLICATIONS , v. 168, p. 114312, 2020.

• DE LIMA, MÁRCIO DIAS ; BARBOSA, ROMMEL . Methods of Authentication of Food Grown in Organic and Conventional Systems Using Chemometrics and Data Mining Algorithms: a Review. Food Analytical Methods , v. 12, p. 887-901, 2019.

• ARAUJO, E. M. ; LIMA, M. D. ; BARBOSA, R. ; ALLEONI, L. R. F. . Using Machine Learning and Multi-Element Analysis to Evaluate the Authenticity of Organic and Conventional Vegetables. Food Analytical Methods , v. 12, p. 2542-2554, 2019.

• COSTA, N. L. ; LLOBODANIN, L. A. G. ; LIMA, M. D. ; CASTRO, I. A. ; BARBOSA, R. . Geographical recognition of Syrah wines by combining feature selection with Extreme Learning Machine. MEASUREMENT , v. 120, p. 92-99, 2018.

• LIMA, M. D. ; COSTA, N. L. ; BARBOSA, R. . Improvements on least squares twin multi-class classification support vector machine. NEUROCOMPUTING , v. 313, p. 196-205, 2018.

• TURRA, C. ; LIMA, M. D. ; FERNANDES, E. A. N. ; BACCHI, M. A. ; BARBOSA JR, F. ; BARBOSA, R. . Multielement determination in orange juice by ICP-MS associated with data mining for the classification of organic samples. INFORMATION PROCESSING IN AGRICULTURE , v. 4, p. 199-205, 2017.

• LIMA, M. D. . Matemática no Ensino Superior. 1. ed. Goiânia: PUC Goiás, 2012. v. 300. 172p .

• LIMA, MÁRCIO DIAS DE ; GOMES, ALAN KELLER ; SOUZA, DANIEL SOARES DE ; OLIVEIRA, LUCAS SANTOS DE ; SANTOS, PAULO HENRIQUE ; LOPES, CASSIOMAR RODRIGUES ; SILVA, J. C. B. ; OLIVEIRA, G. A. ; BATISTA, KARLA DE ALELUIA . ANÁLISE DESCRITIVA DE CONTRATOS INTERGOVERNAMENTAIS NO MINISTÉRIO DA AGRICULTURA E PECUÁRIA: UMA ABORDAGEM DE CLUSTERIZAÇÃO DE DADOS DE CONVÊNIOS E CONVENENTES. In: Nayara Guetten Ribaski. (Org.). Agricultural sciences and sustainability in the 21st century. 1ed.Curitiba: Editora Studies Publicações, 2024, v. 1, p. 99-122.

• MERCADANTE, F. ; LIMA, M. D. ; SANTOS, R. S. . Engajamento e aprendizagem significativa na EJA-EPT abordagem andragógica e experiencial para o estudo de circuitos elétricos e resistores. In: Helen Betane Ferreira Pereira, Milton Ferreira de Azara Filho e Wellington Cardoso de Oliveira. (Org.). Educação e tecnologias: reflexões e relatos de possibilidades pedagógicas. 1ed.Goiânia: Editora IFG, 2024, v. 1, p. 1-336.

• VIEIRA, S. R. ; LIMA, M. D. ; ASSIS, A. M. M. . Programação em Python como um recurso pedagógico para as aulas de matemática. In: Marcilene Pelegrine Gomes, Claudionor Renato da Silva. (Org.). Formação Humana, Escola e Didática: lógica instrumental e lógica humanista em disputa. 23ed.: Even3, 2023, v. , p. 1-11.

• de Castro Rodrigues, Diego ; SIQUEIRA, V. S. ; TAVARES, F. ; Dias de Lima, Márcio ; OLIVEIRA, F. ; OSCO, L. ; JUNIOR, W. ; COSTA, R. M. ; M. Barbosa, Rommel . Discovering Associative Patterns in Healthcare Data. Discovering Associative Patterns in Healthcare Data. 1ed.Singapore: Springer, 2021, v. 235, p. 371-379.

• de Castro Rodrigues, Diego ; Dias de Lima, Márcio ; da Conceição, Marcos Dias ; de Siqueira, Vilson Soares ; M. Barbosa, Rommel . A Data Mining Approach Applied to the High School National Examination: Analysis of Aspects of Candidates to Brazilian Universities. Lecture Notes in Computer Science. 118ed.: Springer International Publishing, 2019, v. 11804, p. 3-14.

• OLIVEIRA, I. G. S. ; LIMA, M. D. . PROGRAMAÇÃO LINEAR PELO MÉTODO GRÁFICO. In: 14ª Semana da Licenciatura em Matemática, 2023, Goiânia. 14ª Semana da Licenciatura em Matemática do Instituto Federal de Educação, Ciência e Tecnologia de Goiás Câmpus Goiânia, 2023. p. 40-49.

• LIMA, M. D. ; LIMA, A. S. ; SILVA, J. C. . Automorfismos Coprimos em Grupos Profinitos. In: 63ª Reunião Anual da SPBC, 2011, Goiânia. Anais/Resumos da 63ª Reunião Anual da SBPC, 2011.

• LIMA, M. D. ; SOUZA, I. P. D. . Introduções às Álgebras de Lie. In: 9º seminário de iniciação científica e tecnológica, 2015, Jataí. Anais/Resumos do 9º seminário de iniciação científica e tecnológica IFG, 2015.

• PEREIRA, B. S. ; LIMA, M. D. . Métodos de Otimização e Uso de Algoritmos Computacionais para Modelagem de Tráfego Urbano.. In: 13º Seminário de Iniciação Cientifica e Tecnologica, 2020, Goiânia. 13º Seminário de Iniciação Cientifica e Tecnologica, 2020.

• FARIA, A. R. ; LIMA, M. D. . Aplicação Matemática utilizando a linguagem de programação Python em Análises Financeiras. 2025. (Apresentação de Trabalho/Seminário).

• LIMA, M. D. . A Matemática nos Algoritmos de Mineração de Dados. 2023. (Apresentação de Trabalho/Conferência ou palestra).

• LIMA, M. D. . Minicurso: Programação em Python - Operações com Matrizes. 2022. (Apresentação de Trabalho/Outra).

• LIMA, M. D. ; VIEIRA, S. R. . Desmistificando o ensino de matemática por meio da programação C++.. 2021. (Apresentação de Trabalho/Seminário).

• PEREIRA, B. S. ; LIMA, M. D. . Métodos de Otimização e Uso de Algoritmos Computacionais para modelagem de Tráfefo Urbano. 2021. (Apresentação de Trabalho/Seminário).

• LIMA, M. D. . Automorfismos Coprimos em Grupos Profinitos. 2014. (Apresentação de Trabalho/Seminário).

• LIMA, M. D. . Noções Básicas sobre o uso da calculadora HP12C. 2013. (Apresentação de Trabalho/Outra).

• LIMA, M. D. . Resultados do Sistema de Avaliação Educacional de Goiás - SAEGO e a Discussão do Currículo Referência da Rede Estadual de Goiás. 2013. (Apresentação de Trabalho/Conferência ou palestra).

• LIMA, M. D. . Programa de Acompanhamento e Suporte Pedagógico. 2013. (Apresentação de Trabalho/Conferência ou palestra).

• LIMA, M. D. . Semana de Planejamento da Secretaria de Estado da Educação. 2013. (Apresentação de Trabalho/Conferência ou palestra).

• LIMA, M. D. . Resultados do Sistema de Avaliação Educacional de Goiás - SAEGO e a Discussão do Currículo Referência da Rede Estadual de Goiás. 2013. (Apresentação de Trabalho/Conferência ou palestra).

• LIMA, M. D. . Resultados do Sistema de Avaliação Educacional de Goiás - SAEGO e a Discussão do Currículo Referência da Rede Estadual de Goiás. 2013. (Apresentação de Trabalho/Conferência ou palestra).

• LIMA, M. D. . Resultados do Sistema de Avaliação Educacional de Goiás - SAEGO e a Discussão do Currículo Referência da Rede Estadual de Goiás. 2012. (Apresentação de Trabalho/Conferência ou palestra).

• LIMA, M. D. . Resultados do Sistema de Avaliação Educacional de Goiás - SAEGO e a Discussão do Currículo Referência da Rede Estadual de Goiás. 2012. (Apresentação de Trabalho/Conferência ou palestra).

• LIMA, M. D. . Resultado da Avaliação Diagnóstica no Estado de Goiás. 2011. (Apresentação de Trabalho/Conferência ou palestra).

• LIMA, M. D. . Análise comparativa sobre os gráficos da 2ª e 3ª avaliação diagnóstica do Estado de Goiás. 2011. (Apresentação de Trabalho/Conferência ou palestra).

• LIMA, M. D. . Resultados da Avaliação Diagnóstica no Estado de Goiás. 2011. (Apresentação de Trabalho/Conferência ou palestra).

• LIMA, M. D. ; LIMA, A. S. ; SILVA, J. C. . Automorfismos Coprimos em Grupos Profinitos. 2011. (Apresentação de Trabalho/Comunicação).

• LIMA, M. D. . Geometricks. 2001. (Apresentação de Trabalho/Outra).

Outras produções

Projetos de pesquisa

• 2024 - Atual

  Aplicação Matemática utilizando a linguagem de programação Python em Análises Financeiras, Descrição: Este projeto visa investigar o uso da linguagem de programação Python como ferramenta para análise de fundos de investimento imobiliários. A pesquisa adota uma abordagem prática e exploratória para avaliar a eficácia do Python na aplicação de matemática financeira, comparando seus resultados com ferramentas tradicionais. Inicialmente, uma revisão bibliográfica será conduzida para fornecer uma base teórica sólida, seguida pelo estudo dos princípios de Python e matemática financeira que permeia os fundos de investimento, em particular, os fundos imobiliários. Exemplos práticos de análise de fundos serão desenvolvidos, utilizando bibliotecas como Pandas e Numpy para a manipulação de dados. Os resultados obtidos serão analisados e interpretados, destacando as vantagens e limitações do uso de Python na análise matemática de fundos de investimento imobiliários. Ao final, esperamos oferecer recomendações para a aplicação prática dessa metodologia, contribuindo para uma tomada de decisão mais informada no mercado de investimentos imobiliários. O objetivo final deste projeto é demonstrar a viabilidade e os benefícios do uso de Python na análise de fundos de investimento, facilitando a automação de cálculos e otimizando a gestão de dados financeiros.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Márcio Dias de Lima - Coordenador / Andréia Ribeiro de Faria - Integrante.

• 2023 - 2024

  Análise de investimentos utilizando a linguagem de programação Python: explorando eficiência e viabilidade financeira, Descrição: Este projeto tem como objetivo explorar a utilização da linguagem de programação Python como ferramenta de análise de investimentos. Através de uma abordagem prática e exploratória, a pesquisa visa avaliar a eficácia do Python na análise financeira, comparando-o com outras ferramentas tradicionais. Será realizada uma revisão bibliográfica para embasar teoricamente o estudo, seguida pelo estudo dos fundamentos de Python e matemática financeira. Exemplos práticos de análise de investimentos serão desenvolvidos, utilizando bibliotecas como Pandas e Numpy para manipulação de dados. Os resultados serão analisados e interpretados, evidenciando as vantagens e limitações da abordagem Python na análise de investimentos. Por fim, esperamos fornecer recomendações para a aplicação prática dessa abordagem, contribuindo para uma tomada de decisão mais informada no mercado financeiro. Os resultados esperados desse projeto têm o propósito de evidenciar a viabilidade e os benefícios do uso do Python na análise de investimentos, facilitando a automação de cálculos e otimizando a manipulação de dados financeiros.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Márcio Dias de Lima - Coordenador / Andréia Ribeiro de Faria - Integrante.

• 2023 - Atual

  Desenvolvimento de pesquisa aplicada visando o estudo de ferramenta para mineração de dados e aglutinação do público agro em bases de dados governamentais para comunicação inclusiva e assistiva, Descrição: O Ministério da Agricultura, Pecuária e Abastecimento (MAPA) tem por missão promover o desenvolvimento sustentável da agropecuária e a segurança e competitividade de seus produtos. Dentro do organograma do MAPA, a Secretaria de Inovação, Desenvolvimento Rural e Irrigação (SDI) atua ativamente na melhoria do ambiente brasileiro de inovação para o agronegócio, e para dar conta destas atribuições, a SDI tem investido na inserção de inovações tecnológicas e operacionais com a finalidade de otimizar a força de trabalho, melhorar a eficiência e a efetividade na gestão dos trabalhos internos que desenvolve. Na tentativa de otimizar o agrupamento e visualização, pela SDI/MAPA, de informações a respeito das comunidades do agronegócio, o projeto tem por objetivo estudar a viabilidade de desenvolvimento de uma ferramenta digital de comunicação inclusiva e assistiva que extraia das plataformas governamentais existentes dados que possam auxiliar a SDI/MAPA na otimização do direcionamento e aplicação dos recursos públicos em programas e/ou projetos. Além disso, a possibilidade de desenvolvimento de um canal de comunicação com as diferentes comunidades do agronegócio permitirá uma melhor difusão de informações entre a secretaria e a comunidade, de modo a conferir maior agilidade, isonomia e engajamento das comunidades do agronegócio na utilização dos recursos governamentais. Para o desenvolvimento da ferramenta digital serão utilizadas técnicas estatísticas de mineração e ciência de dados, de modo a possibilitar o desenvolvimento de um sistema funcional e eficiente. Associado ao desenvolvimento tecnológico será desenvolvido um curso de formação continuada para atualização e aprofundamento na temática de gestão de negócios no setor do agronegócio que auxiliará na atualização de conhecimentos dos indivíduos associados ao MAPA e dos integrantes da comunidade do agronegócio.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Márcio Dias de Lima - Integrante / Karla de Aleluia Batista - Integrante / Geraldo Andrade de Oliveira - Coordenador / Maria das Graças Costa Neri da Silva - Integrante / José Carlos Barros Silva - Integrante.

• 2023 - Atual

  Representações irredutíveis de Dn agindo em A(ΓKn) e A(ΓKn)!, Descrição: Para todo grafo orientado em níveis, associamos uma álgebra definida por geradores e relações, cujo conjunto de geradores são as arestas do grafo. Gelfand at al. (2005) introduziram essa nova classe de álgebras associadas a grafos orientados em níveis. As relações na álgebra são definidas associando cada caminho do grafo a um polinômio com coeficientes na álgebra associativa livre sobre o conjunto de arestas e determinando que polinômios dados por caminhos conectando o mesmo par de vértices do grafo são iguais. Gelfand at al. (2001) definiram a álgebra universal das pseudo-raízes Qn, associada ao reticulado booleano dos subconjuntos de um conjunto finito e apresentaram uma base para essas álgebras. Gelfand at al. (2002) determinaram as séries de Hilbert das álgebras Qn e Qn! onde Qn! é a álgebra dual de Qn. Posteriormente Serkonec e Wilson (2004) provaram que as álgebras Qn são Koszul. As álgebras A(Γ) são uma generalização das álgebras Qn. Froberg (1999) apresentou diversas caraterizações para as álgebras Koszul, algumas que envolvem propriedades homológicas. Um importante detalhe a se observar sobre álgebras quadráticas Koszul é que elas satisfazem a seguinte identidade, conhecida como a Fórmula de Froberg, introduzida por Froberg (1975): H(A,t) × H(A^!,-t)=1, em que V é o espaço vetorial graduado V=∑Vi, e H(V,t) é a série formal H(V,t)=∑dim(Vi)ti desde que dim(Vi)<∞ para todo i. No caso específico das álgebras A(Γ) utilizamos H(t)=(1-t)/(1+∑v1>∙∙∙>vl≥*(-1)lt|v_1|-|v_l|+1 determinado por Retakh, Sercone e Wilson (2003). Cada automorfismo do grafo determina um automorfismo da álgebra e um subgrafo, obtido pelos vértices fixados pelo automorfismo. O grafo subgrafo dá origem à uma subálgebra que é uma subálgebra da álgebra graduada associada, denotada por grA(Γ). Duffy (2009) define e estuda as subálgebras determinadas pelos elementos do grupo de automorfismos do grafo. Particularmente ela aplica à teoria as seguintes classes de grafos: grafo de Hasse do conjunto parcialmente ordenado das faces de um polígono regular com n lados; grafo do reticulado booleano de subconjuntos de um conjunto finito. Resumidamente, A(Γ) é a álgebra gerada pelo conjunto Bf de todos os produtos de vértices, de comprimento, no máximo i. A equação Trf(A(Γ),t)×Trf(A(Γ)!,-t) generaliza a Fórmula de Froberg e uma álgebra que a satisfaça é denominada tipo-Koszul. Para o cálculo desta funções utilizamos. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Márcio Dias de Lima - Integrante / José Eder Salvador de Vasconcelos - Coordenador / Karoline Victor Fernandes - Integrante.

• 2021 - 2021

  Desmistificando o ensino de matemática por meio da programação C++, Descrição: Devido ao aumento das ferramentas computacionais, faz-se necessário impulsionar a criação de metodologias didáticas-pedagógicas na área tecnológica e de educação, buscando principalmente incentivar o raciocínio por meio da programação. A presença das linguagens computacionais pode contribuir para a formação de novos conhecimentos, mostrando ligação entre a ciência matemática e o mundo real, fazendo com que essa prática pedagógica contribua, no sentido de formar cidadãos capazes de compreender e resolver problemas do seu dia a dia. Nesse sentido, vale destacar que um dos maiores impasses dos alunos ingressantes dos cursos superiores, estão relacionados com as dificuldades de aprendizagem em matemática básica. Nesse sentido, esse projeto de iniciação cientifica visa apresentar ao discente do curso de licenciatura em matemática o primeiro contato com a criação de algoritmos, utilizando o conhecimento matemático para a dedução de fórmulas, desenvolvimento do raciocínio lógico matemático, para entender a matemática através de programação, aplicando uma metodologia atual, que instiga o aluno a pensar com mais criatividade e desenvolver um poder cognitivo nas ciências exatas e mostrar também a diversificação na área tecnológica, para isso, utilizaremos a linguagem de programação C++. Esperamos que esse estudo possa trazer diversas contribuições para o ensino nos cursos superiores de licenciatura em matemática e áreas afins, motivando alunos e professores a aprender e usar programação como uma maneira diferente, interessante e atual no ensino da matemática.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Márcio Dias de Lima - Coordenador / Sabrina Rodrigues Vieira - Integrante.

• 2018 - 2022

  Funções Geradoras do traço graduado de $Aut(\Gamma_{K_n})$ atuando em $A(\Gamma_{K_n})$ e $A(\Gamma_{K_n})^!$, Descrição: Descrição: Através deste projeto, nos propomos a estudar a estrutura da álgebra $Aut(\Gamma_(K_n))$, associada ai grafo completo em $n$ vértices $K_n$. Particularmente, iremos determinar as funções geradoras do traço graduado de $A(\Gamma_{K_n})$ agindo sobre $A(\Gamma_{K_n})$ e $A(\Gamma_{K_n})^!$. Para todo grafo orientado em níveis ? podemos associar uma álgebra, definida por geradores e relações, $A(\Gamma)$, cujo conjunto de geradores são as arestas do grafo e as relações são: caminhos com mesmo início e fim determinam a fatoração do mesmo polinômio em variáveis não comutativas. Essas álgebras têm uma graduação natural em subespaços de dimensão finita, dada pelos níveis do grafo $\Gamma$, o que permite calcular, com uma análise mais minuciosa sua Série de Hilbert. Além disso, cada automorfismo $\sigma$ do grafo $\Gamma$ determina um automorfismo de $A(\Gamma)$ e o grafo $\Gamma^{\sigma}$ da origem a álgebra $A(\Gamma)^{\sigma}$, que é, em certo sentido, uma subálgebra de $A(\Gamma)$. Quando essas álgebras são quadráticas, as relações em $A(\Gamma)$ são quadráticas, é um problema interessante decidir se essas álgebras satisfazem uma importante propriedade de álgebras quadráticas: a Propriedade da koszulidade.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Márcio Dias de Lima - Integrante / José Eder Salvador de Vasconcelos - Coordenador.

• 2018 - 2022

  Mineração de dados e de textos, Descrição: Como as diferenças entre produtos orgânicos e não-orgânicos são imperceptíveis a olhos nus, controles sistemáticos da autenticidade de produtos alimentícios orgânicos devem ser feitos usando-se dados químicos com uma analise de reconhecimento de padrões. Buscamos modelos e algoritmos para o reconhecimento destes alimentos.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Márcio Dias de Lima - Integrante / Rommel Barbosa - Coordenador / Nattane Luíza da Costa - Integrante.

• 2012 - 2022

  Condições de Finitude em Grupos e Álgebras de Lie e Aplicações, Descrição: Seja p um número primo. Seja A um p-grupo abeliano elementar agindo sobre um p'-grupo finito G. É bem conhecido que a estrutura de um grupo finito está intimamente relacionada com os subgrupos de pontos fixos de automorfismos do grupo. Vários autores obtiveram resultados interessantes a partir desta relação. A melhor e mais conhecida ilustração da influência do subgrupo de pontos fixos na estrutura de um grupo é devido a Thompson (1959): se G admite um automorfismo livre de pontos fixos de ordem prima, então G é nilpotente, e Higman (1957) complementa: a classe de nilpotência de G é limitada por uma função dependendo somente da ordem do automorfismo. Neste projeto objetivamos realizar um estudo da influência dos centralizadores dos automorfismos em A sobre a estrutura de G.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Márcio Dias de Lima - Integrante / Aline de Souza Lima - Integrante / Jhone Caldeira Silva - Coordenador.

Prêmios