Comissão de Pesquisa e Inovação do IME-USP - Pesquisador Colaborador concluído

2023

2023-2023. Módulos de Gelfand-Tsetlin de Álgebra de Vértices
Descrição: Neste projeto de pesquisa buscamos estudar os $\mathfrak{sl}_{n+1}$-módulos de Gelfand-Tsetlin e realizar todos os $\mathfrak{sl}_{n+1}$-módulos de peso simples admissíveis como imagens do funtor de localização torcida de $\mathfrak{sl}_{n+1}$-módulos de peso máximo simples admissíveis. Também estudaremos as imagem do funtor de torção (definido para cada raiz positiva) aplicado a $\mathfrak{sl}_{n+1}$-módulos de Gelfand-Tsetlin. Em particular estamos interessados em realizar módulos induzidos parabolicamente como imagens do funtor de localização torcida (num conjunto comutativo de raízes) de $\mathfrak{sl}_{n+1}$-módulos de peso máximo simples admissíveis. Essas representações são quocientes de módulos induzidos para a álgebra de Kac-Moody não torcida de tipo \textit{A} e incluem, em particular, todos os módulos simples admissíveis induzidos de $\mathfrak{sl}_2(\mathbb{C})$-módulos densos. Assim, completamos alguns dos resultados apresentados em \cite{FHR20} e \cite{FHK21}.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Oscar Armando Hernández Morales - Integrante / Samuel Lopes - Coordenador.
Membro: Oscar Armando Hernández Morales.

2022

2022-2023. Representações Mansas de Álgebras de Lie e Aplicações
Descrição: Programa de Fixação de Recursos Humanos para o Interior do Estado: Mestres e Doutores por Calha de Rio PROFIX-RH. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Doutorado: (3) . Integrantes: Oscar Armando Hernández Morales - Coordenador / Luis Enrique Ramirez - Integrante / Vyacheslav Futorny - Integrante / André Silva de Oliveira - Integrante / Germán Alonso Benitez Monsalve - Integrante / Elkin Oveimar Quintero Vanegas - Integrante / Marcela Guerrini Alves - Integrante / Edilson de Carvalho Filho - Integrante / Edfram Rodrigues Pereira - Integrante / Fernando Junior Soares dos Santos - Integrante / Rainey Ferreira do Nascimento - Integrante / Ashish Mishra - Integrante / Isaías David Marín Gaviria - Integrante / Carlos Alexandre Gomes da Silva - Integrante / Jailson Calado da Silva - Integrante / Alex Sierra Cárdenas - Integrante / Felipe Albino dos Santos - Integrante. Financiador(es): Fundação de Amparo a Pesquisa do Estado do Amazonas - Auxílio financeiro / Fundação de Amparo a Pesquisa do Estado do Amazonas - Bolsa.
Membro: Oscar Armando Hernández Morales.

2022-Atual. Transformando Padawans em Jedis: Usando exemplos trabalhados para melhorar as habilidades dos novatos em projetos de software livre
Descrição: Muitos desenvolvedores novatos participam de projetos de software livre para melhorar suas habilidades, e dentre elas, a programação. No entanto, os desenvolvedores que participam de projetos de Software Livre enfrentam muitas dificuldades em seus primeiros passos, e muitas vezes precisam aprender sozinhos. Em um estudo anterior, mostramos que 80% dos novatos acabam desistindo. Eles enfrentam barreiras para aprender as habilidades necessárias para executar uma tarefa, bem como para obter ajuda dos membros do projeto. Sem o apoio adequado, os novatos tornam-se desmotivados, consomem recursos da comunidade e acabam desistindo. O objetivo geral do presente projeto é apoiar novatos na aquisição de habilidades desde o início de suas contribuições para um projeto de software livre. Um aspecto negligenciado na literatura, é a forma como os novatos adquirem novas habilidades em tais projetos e como é possível apoiar esse processo. Os projetos de software livre oferecem uma grande oportunidade para a aprendizagem baseada em exemplos trabalhados, que a literatura mostra ser uma abordagem eficaz para adquirir conhecimentos e habilidades técnicas em outros contextos. Os projetos de software livre publicam abertamente seu código e as tarefas. Tais tarefas podem ser selecionadas pelos desenvolvedores para serem resolvidas. Além de desenvolver habilidades trabalhando em tarefas abertas existentes, os novatos podem analisar tarefas fechadas (e o código associado), que podem servir como exemplos trabalhados (worked examples). Assim, propomos guiar os novatos na aquisição de habilidades a partir do uso de exemplos trabalhados e do mapeamento de habilidades que são necessárias para concluir as tarefas de uma forma que os novatos aprendam com tarefas previamente realizadas.Essas estratégias são inexploradas na literatura relacionada à Engenharia de Software, que é uma atividade altamente complexa, abstrata e dependente do contexto.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Paulo Roberto Miranda Meirelles - Integrante / Marco Aurelio Gerosa - Integrante / Igor Scaliante Wiese - Coordenador / STEINMACHER, IGOR - Integrante / Christoph Treude - Integrante / Ivanilton Polato - Integrante / Reginaldo Ré - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
Membro: Paulo Roberto Miranda Meirelles.

2020

1.	2020-Atual. Análise (espectral) de grafos/hipergrafos para comparar redes metabólicas do patógeno Trypanosoma sp Descrição: O Trypanosoma é um gênero que contém duas espécies patogênicas para os seres humanos: Trypanosoma brucei e Trypanosoma cruzi. Essas duas espécies são relevantes em termos de economia, bem-estar e saúde. O metabolismo dos diferentes estágios de ambos os tripanossomatídeos patogênicos tem sido objeto de estudo não apenas por sua relevância para a economia e a saúde humana, mas também por seu interesse biológico intrínseco. Vários trabalhos relataram como as vias metabólicas centrais funcionam nesses parasitas. Além disso, baseados em análises omics, um quadro mais geral foi construído na última década. No entanto, tentativas de abordar a complexidade do metabolismo de T. cruzi e T. brucei ainda são escassas. Assim, propomos combinar algoritmos e estatísticas baseados na teoria dos grafos para responder a duas questões relevantes do parasitismo. (i) As redes metabólicas são mais complexas e interconectadas nos estágios dos insetos do que nos estágios dos mamíferos? (ii) Para cada tipo de hospedeiro (insetos ou mamíferos), as redes metabólicas desses parasitas são significativamente diferentes em termos de complexidade e conectividade entre suas sub-redes? As respostas a essas perguntas trarão informações biológicas valiosas em termos de adaptações metabólicas desses parasitas aos ambientes que eles colonizam em seus hospedeiros. Além disso, contribuirá para identificar freqüentes gargalos metabólicos essenciais para propor novos alvos de medicamentos metabólicos para o tratamento das infecções que causam.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Guilherme Oliveira Mota - Integrante / Yoshiharu Kohayakawa - Integrante / André fujita - Coordenador. Membro: Guilherme Oliveira Mota.
2.	2020-Atual. Extremal and Structural Problems in Graph Theory Descrição: This is a research project for the joint call of proposals between the São Paulo Research Foundation (FAPESP), Brazil, and the Comisión Nacional de Investigación Científica y Tecnológica (CONICYT), Chile. The Brazilian and the Chilean teams have been working in Combinatorics and Graph Theory for several years now. Some of the Brazilian members have already collaborated with some of the Chilean members of the team. This joint application intends to establish and consolidate a cooperation between both teams by working collaboratively on important problems in the areas.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (3) Doutorado: (4) . Integrantes: Guilherme Oliveira Mota - Integrante / Andrea Jiménez - Integrante / Yoshiko Wakabayashi - Integrante / Cristina Gomes Fernandes - Coordenador / Hiep Hàn - Integrante / Carla Negri Lintzmayer - Integrante / KOHAYAKAWA, YOSHIHARU - Integrante / Maycon Sambinelli - Integrante / maya stein - Integrante. Membro: Guilherme Oliveira Mota.
3.	2020-Atual. Previsão no processo INAR(1) com inovações binomiais Descrição: O objetivo principal deste projeto é desenvolver metodologias de previsão para um tempo futuro arbitrário, porém finito, no processo autorregressivo de primeira ordem para valores inteiros não-negativos com inovações binomiais, estudar as principais propriedades dos preditores propostos e avaliar aqualidade das previsões por meio de simulações numéricas, considerando estimativas obtidas por métodos clássicos de estimação para o modelo, bem como aplicar os resultados obtidos em conjuntos de dados reais.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) . Integrantes: Antonio Marcos Batista do Nascimento - Coordenador / LUZ MILENA ZEA FERNANDEZ - Integrante. Membro: Antonio Marcos Batista do Nascimento.
4.	2020-Atual. Transição de fase em sistemas de disparos de neurônios Descrição: Neste projeto, estudamos uma extensão de um modelo estocástico em tempo contínuo proposto por Ferrari et al., no artigo "Phase Transition for Infinite Systems of Spiking Neurons" [Journal of Statistical Physics - 2018], o qual descreve a evolução temporal dos valores dos potenciais de membrana de um conjunto infinito enumerável de neurônios. Nosso objetivo é investigar a existência de 2 transições de fase para o modelo, caracterizando 3 tipos de comportamento para a atividade de disparos: sobrevivência local, extinção local com sobrevivência global e extinção global, conforme variamos determinado parâmetro real.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Antonio Marcos Batista do Nascimento - Coordenador. Membro: Antonio Marcos Batista do Nascimento.
5.	2020-2023. Um Estudo sobre o Impacto de Anotações de Código na Evolução de Software Descrição: O principal objetivo do projeto é investigar e avaliar o impacto do uso das anotações de código na evolução do código-fonte de um software. Na primeira etapa do estudo, serão utilizadas técnicas de mineração de repositórios de software para buscar fenômenos que ocorrem com as anotações em projetos de código aberto. Posteriormente, experimentos controlados serão realizados com desenvolvedores para investigar mais profundamente o impacto de determinados fenômenos relacionados ao uso de anotações para compreensão do código e realização de tarefas de manutenção. Adicionalmente, esse projeto também tem como objetivo tornar mais acessível para o desenvolvedor o resultado dessas análises para que ele possa avaliar o uso de anotações em suas aplicações. Isso será feito através de uma ferramenta que utiliza técnicas de visualização de software. A ideia é que ela apresente de forma visual as informações a respeito das anotações, podendo ser integrada no IDE do desenvolvedor ou como um relatório em uma ferramenta de inspeção contínua.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Doutorado: (1) . Integrantes: Paulo Roberto Miranda Meirelles - Coordenador / Tiago Silva da Silva - Integrante / LIMA, PHYLLIPE - Integrante / GUERRA, EDUARDO - Integrante / Everaldo de Avila Gomes Junior - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: Paulo Roberto Miranda Meirelles.

2018

1.	2018-Atual. Combinatória de grafos: uma abordagem estrutural e algorítmica Descrição: Trata-se de um projeto que tem como objetivo principal investigar características estruturais e algorítmicas de grafos e estruturas relacionadas, utilizando para isso métodos de combinatória extremal e o desenvolvimento e análise de algoritmos de aproximação. Este projeto enquadra-se nas áreas de Análise de Algoritmos e Matemática Discreta, na frente de pesquisa em Combinatória Estrutural e Algorítmica. Dentre as principais metas deste projeto, destacamos a resolução de problemas específicos nas linhas de pesquisa propostas, com a publicação de artigos em periódicos internacionais de grande circulação e apresentação de trabalhos em importantes conferências da área. Esperamos também contribuir para a formação de recursos humanos nas universidades, através da orientação de alunos.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (3) Doutorado: (1) . Integrantes: Guilherme Oliveira Mota - Coordenador / Yoshiharu Kohayakawa - Integrante / Mathias Schacht - Integrante / Carla Negri Lintzmayer - Integrante / Maurício Collares - Integrante / Robert Morris - Integrante / Maycon Sambinelli - Integrante. Membro: Guilherme Oliveira Mota.
2.	2018-Atual. Por uma nova hierarquia em Lógica Algébrica Abstrata Descrição: Proposta e justificação teórica de uma nova hierarquia na área de lógica algébrica abstrata baseada no tipo de ordem das semânticas algébricas subjacentes.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Claudio Andrés Callejas Olguín - Coordenador. Membro: Claudio Andrés Callejas Olguín.
3.	2018-2022. Teoria de Ramsey, Teoria Estrutural de Grafos e aplicações em Bioinformática Descrição: Projeto de pesquisa de auxílio Jovens Pesquisadores em Centro Emergente desenvolvido no Centro de Matemática, Computação e Cognição (CMCC) da Universidade Federal do ABC (UFABC). A Ciência da Computação está presente em diversas áreas do conhecimento, de modo que a necessidade de lidar com problemas cada vez mais complexos exige o desenvolvimento de novas tecnologias. Tal fenômeno tem gerado uma demanda por novas técnicas e avanços em Ciência da Computação. Importantes avanços tecnológicos não são possíveis sem resultados teóricos consistentes que sirvam de base para eles. Por exemplo, áreas como a Bioinformática tem se beneficiado da aplicação de técnicas combinatórias e da investigação de propriedades estruturais de grafos. Este projeto tem dois objetivos principais: (i) Investigar características estruturais e algorítmicas de grafos e estruturas relacionadas; (ii) Aplicar a Teoria dos Grafos em problemas na área de Bioinformática através de uma abordagem interdisciplinar. Progressos no primeiro dos objetivos devem fornecer novas estratégias para problemas relacionados, bem como disponibilizar novas técnicas para problemas em diversas áreas do conhecimento. Um estudo de variadas técnicas combinatórias e um bom entendimento de propriedades estruturais de grafos são os pilares deste projeto.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Guilherme Oliveira Mota - Coordenador / Roberto Freitas Parente - Integrante / Mathias Schacht - Integrante / Fabrício Siqueira Benevides - Integrante / Cristiane Maria Sato - Integrante / Fábio Botler - Integrante / JUNIOR, DAVID C. MARTINS - Integrante / Carla Negri Lintzmayer - Integrante / Maurício Collares - Integrante / KOHAYAKAWA, YOSHIHARU - Integrante / Jie Han - Integrante / Daniel Martin - Integrante / Robert Morris - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: Guilherme Oliveira Mota.
4.	2018-2021. Uma cartografia das bi-implicações fuzzy Descrição: Em lógica fuzzy (ou lógica difusa) os conectivos lógicos mais utilizados da lógica clássica têm sido generalizados para serem valorados no intervalo [0,1]. Alguns exemplos de conectivos da lógica fuzzy são: as t-normas, as t-conormas, as negações fuzzy, as implicações fuzzy e as bi-implicações fuzzy, que generalizam, respectivamente, a conjunção, a disjunção, a negação, a implicação e a bi-implicação da lógica clássica. Este projeto visa estudar e propor distintas classes de bi-implicações fuzzy e investigar a relação entre elas.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Claudio Andrés Callejas Olguín - Integrante / Benjamín René Callejas Bedregal - Integrante / Joao Marcos de Almeida - Integrante / Regivan Hugo Nunes Santiago - Integrante / Antonio Diego Silva Farias - Coordenador. Financiador(es): Universidade Federal Rural do Semi-Árido - Auxílio financeiro. Membro: Claudio Andrés Callejas Olguín.

2016

2016-Atual. INCT da Internet do Futuro para Cidades Inteligentes
Descrição: Desenvolvimento de modelos, técnicas, métodos e sistemas de software visando à melhoria da vida da população urbana por meio da utilização da tecnologia da informação e da comunicação. Essa pesquisa envolve técnicas avançadas de Computação em Nuvem, Internet das Coisas, Computação de Alto Desempenho, Engenharia de Software, Big Data e Aprendizado de Máquina. Em particular, estou gerenciando o desenvolvimento de uma plataforma para visualização espacial de grandes quantidades de dados de cidades como São Paulo, em colaboração com a Secretaria Municipal de Saúde de São Paulo (SMS-SP), para o processamento e visualização de dados da base do Sistema de Informações Hospitalares do SUS (SIH-SUS) da cidade de São Paulo. A plataforma denominada InternaSUS beneficiará a população atendida pelo SUS e também a gestão do sistema público de saúde. A partir dessa parceria com a SMS-SP, estamos implementando e homologando uma plataforma que possibilite agregar diferentes bases de dados SIH-SUS de qualquer região do país, permitindo uma melhor visualização das informações dinamicamente, incentivamos a elaboração de melhores políticas públicas.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (20) / Doutorado: (10) . Integrantes: Paulo Roberto Miranda Meirelles - Integrante / Fabio Kon - Coordenador / Daniel Batista - Integrante / Arthur de Moura Del Esposte - Integrante / Alfredo Goldman vel Lejbman - Integrante / Lucas Kanashiro Duarte - Integrante / Dylan Guedes - Integrante / Tallys Martins - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
Membro: Paulo Roberto Miranda Meirelles.

2016-Atual. Loops de Código e Grupos com Trialidade: Representações e Classificações
Descrição: As linhas do projeto de pesquisa concentram-se nos seguintes temas: Loops de Moufang, Loops de Código e Grupos com Trialidade.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Rosemary Miguel Pires - Coordenador.
Membro: Rosemary Miguel Pires.

2015

1.	2015-Atual. Criptografia e Implementação em FPGA Descrição: Estudo de curvas elípticas que geram um criptossistema seguro e eficiente. Ataques a criptossistemas Implementação em hardware de criptossistemas gerados por curvas elípticas. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) . Integrantes: Andre Luiz Martins Pereira - Coordenador / Luiz Maltar Castello Branco - Integrante / Márcio Nunes Miranda - Integrante / Cláudio Saccomori - Integrante. Membro: Andre Luiz Martins Pereira.
2.	2015-2017. Interface de Programação para Recuperação de Metadados de Elementos em Linguagens Orientadas a Objetos Descrição: estudo recente, desenvolveu uma arquitetura de referência que capturou as principais soluções utilizadas nesse tipo de framework. Porém, a utilização desse modelo em vários frameworks mostrou que, devido a uma interface de programação deficiente para a recuperação de metadados, ainda existe um certa repetição de código e dificuldades para efetuar sua leitura. Dentro desse contexto, o objetivo desse projeto de pesquisa é, baseado em necessidades comuns de frameworks, definir uma interface de programação para a recuperação de metadados. Para isso, será realizada uma análise em frameworks existentes de forma a identificar as necessidades para essa interface, e, em seguida, serão desenvolvidos a partir de um processo iterativo, a interface de programação e uma implementação de referência, que serão disponibilizadas como software livre. A solução desenvolvida será avaliada durante o desenvolvimento de novos frameworks baseados em metadados e com a refatoração de frameworks existentes para incorporar à sua utilização. Adicionalmente, será realizado um experimento controlado que irá monitorar a construção de frameworks com e sem a utilização da solução proposta, comparando métricas relacionadas a estrutura do software e a dinâmica de desenvolvimento. Como consequência desse trabalho, espera-se que, através do desenvolvimento de uma interface de programação que auxilia no uso de boas práticas para leitura de metadados, o processo de desenvolvimento seja simplificado, tornando mais acessível a utilização dessa técnica por programadores menos experimentes... Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) / Doutorado: (1) . Integrantes: Paulo Roberto Miranda Meirelles - Integrante / Eduardo Martins Guerra - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: Paulo Roberto Miranda Meirelles.
3.	2015-2016. Portal para desenvolvedores novatos em comunidades de software livre Descrição: Projetos de software livre têm alavancado o desenvolvimento e crescimento de diversos setores da sociedade. Muitos desses projetos são mantidos ou recebem contribuições de voluntários globalmente distribuídos. Entretanto, ao tentar entrar em um projeto, os desenvolvedores são sujeitos a várias barreiras relacionadas a, por exemplo, quebras de expectativa, problemas de recepção, configuração de ambiente, curva de aprendizado etc., e muitos novatos acabam desistindo. Estudos anteriores investigaram o processo de tornar-se membro do projeto e as motivações para contribuir, entretanto poucos focaram na identificação e entendimento das barreiras críticas que os novatos encontram até enviar sua primeira contribuição. Neste projeto, propomos a extensão de um estudo qualitativo realizado anteriormente, a concepção de mecanismos de awareness para mitigar essas barreiras, a implementação de um portal para comunidades de software livre e a implantação e avaliação desse portal. Alguns mecanismos serão baseados em técnicas de mineração de repositórios para identificação de dependências de mudança entre artefatos, análise de redes sociotécnicas e identificação de indícios de problemas de qualidade de software. Esperamos com esse projeto avançar na direção de um maior fluxo de contribuições por novatos em comunidades de software livre.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) / Doutorado: (1) . Integrantes: Paulo Roberto Miranda Meirelles - Integrante / Marco Aurelio Gerosa - Coordenador / Igor Fabio Steinmacher - Integrante / Igor Scaliante Wiese - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Membro: Paulo Roberto Miranda Meirelles.

2013

2013-2016. GeVe - Generalizações de Verofuncionalidade (Edital Universal CNPq No 14/2013 faixa C)
Descrição: O _Princípio de Composicionalidade do Significado_ (PCS) para linguagens formais, de inspiração fregeana, pode ser compreendido como asseverando que o significado de uma expressão composta é analisável deterministicamente (e, com frequência, recursivamente) a partir do significado de suas expressões constituintes, levando em consideração o modo pelo qual tais constituintes são combinadas de modo a formar a expressão composta. De um ponto de vista lógico, isto consiste na prescrição de uma restrição ---que pode ou não ser respeitada--- aos mecanismos internos que constroem e dão significado a um dado sistema formal. Nos domínios da semântica formal e da estrutura das derivações lógicas, o PCS costuma ser diretamente refletido por metapropriedades importantes como a _verofuncionalidade_ e a _analiticidade_, características de sistemas lógicos computacionalmente bem-comportados. O projeto *GeVe* é dedicado ao estudo de várias formas bem motivadas através das quais as propriedades e metapropriedades mais atraentes das lógicas verofuncionais podem ser alargadas de modo a cobrir terrenos lógicos mais amplos. A ubiquidade do uso das lógicas não-clássicas na formalização do raciocínio prático exige a formulação de teorias do significado e da composicionalidade mais flexíveis do que as usuais, teorias estas que permitam o estabelecimento de bases mais inclusivas para a compreensão de tais lógicas. Tais investigações pressupõem não apenas o desenvolvimento de arcabouços adequados desde as perspectivas da Teoria dos Modelos, da Teoria das Demonstrações e da Lógica Universal, mas também a construção de pontes sólidas entre estes campos de estudo, baseadas em diversas generalizações da noção de verofuncionalidade. Prevêem-se aplicações das lógicas verofuncionais neste sentido ampliado, em suas múltiplas versões, em diversas áreas da ciência da computação, da matemática, da filosofia e da linguística, onde a complexidade sempre crescente dos sistemas erigidos dá origem a novos e complicados desafios para a composicionalidade.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (2) Doutorado: (2) . Integrantes: Claudio Andrés Callejas Olguín - Integrante / Benjamín René Callejas Bedregal - Integrante / Joao Marcos de Almeida - Coordenador / Carlos Caleiro - Integrante / Jaime Ramos - Integrante / Jean Yves Béziau - Integrante / Regivan Hugo Nunes Santiago - Integrante / Elaine Gouvea Pimentel - Integrante / Luiz Carlos Pereira - Integrante / Marco Volpe - Integrante / Ofer Arieli - Integrante / Arnon Avron - Integrante / Agata Ciabattoni - Integrante / Valeria de Paiva - Integrante / Razvan Diaconescu - Integrante / Edward Hermann Haeusler - Integrante / Beata Konikowska - Integrante / Manuel Martins - Integrante / Alexandre Rademaker - Integrante / Yaroslav Shramko - Integrante / Luca Viganò - Integrante / Anna Zamansky - Integrante / Adriano Dodó - Integrante / Flaulles Boone Bergamaschi - Integrante / Sanderson Molick Silva - Integrante / Hélida Salles Santos - Integrante / Vivek Nigam - Integrante.
Membro: Claudio Andrés Callejas Olguín.

2010

2010-Atual. Loops de Código
Descrição: Classificar os Loops de Códigos de posto 3, 4 e 5. Este projeto teve auxílio financeiro da FAPERJ (Auxílio Instalação- ano 2013).. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Rosemary Miguel Pires - Coordenador. Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Outra.
Membro: Rosemary Miguel Pires.

2010-2014. Álgebras, Representações e Aplicações
Descrição: A maior parte do projeto será dedicada às álgebras e super álgebras de Lie e de Jordan e as suas representações. Além disso, as álgebras e super álgebras alternativas e de Malcev serão considerados, os loops de Moufang e varias generalizações de álgebras mencionadas acima. As linhas do projeto de pesquisa concentram nos seguintes temas: álgebras de Lie e suas representações; álgebras e super álgebras alternativas e de Jordan e suas generalizações; identidades, graduações, automorfismos; aplicações e generalizações. Álgebras de Lie e suas representações e uma das áreas mais importantes e ativas da álgebra moderna, com uma variedade ampla de resultados, aplicações e conexões com outras partes de ciência, Os novos desenvolvimentos na geometria não comutativa e física matemática sugeriram a necessidade de estudar os modules de dimensão infinita, como modules de Verma generalizados, modules com espaços de peso de dimensão finita, modules de Gelfand-Tsetlin, módulas de Harish-Chandra etc. A primeira tema da proposta trata de vários aspectos desta teoria. Além de álgebras de Lie, as classes mais importantes de álgebras não associativas são as álgebras alternativas e de Jordan. As questões típicas da segunda linha se tratam do estudo e classificação de álgebras e super álgebras simples e módulos irredutíveis e indecomponíveis nas variedades de álgebras alternativas e de Jordan e suas generalizações. A terceira parte da proposta esta dedicada as questões combinatórias de teoria de álgebras: estudo de álgebras livres, identidades, graduações e automorfismos. Esta parte de teoria tem muitos aspectos comuns nos casos associativos e não associativo tanto em problemas estudados quanta em métodos de solução. Portanto, nesta parte nos consideramos tanto as álgebras associativas quantas não associativas. Estudaremos automorfismos e sub álgebras de álgebras livres, identidades e graduações de álgebras e super álgebras em varias classes. Tentaremos também estender alguns aspectos da teoria de álgebras de Hopf para álgebras não associativas. Na parte de aplicações e generalizações, nos consideremos os loops de Moufang, que tem uma forte relação com as álgebras alternativas e algumas outras classes importantes de loops. Estudaremos também o problema de Albert sobre existência de nil álgebras simples comutativas de potencias associativas e de dimensão finita e consideremos as álgebras que surgem em genética.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Rodrigo Lucas Rodrigues - Integrante / Ivan Shestakov - Coordenador / Alexandre Grishkov - Integrante / Plamen Kochloukov - Integrante / Vyacheslav Futorny - Integrante.
Membro: Rodrigo Lucas Rodrigues.

2009

1.	2009-2012. Estrutura algébrica das álgebras báricas Descrição: Um propósito do projeto é tentar classificar as álgebras de Bernstein indecomponíveis de ordem 1 e 2, e possivelmente de ordem n de baixa dimensão. Tentaremos também classificar as álgebras de Bernstein de ordem n que são de Jordan ou que são de potências associativas. Um segundo objetivo do projeto é tentar obter propriedades para as álgebras básicas b-simples, b-semisimples e para o b-radical, como por exemplo, classificar as álgebras de Bernstein que são b-simples. Uma terceira linha é buscar resultados já válidos para álgebras associativas e não associativas e tentar prová-los para as álgebras básicas. Por exemplo: 1. Definir ideal básico primitivo e tentar provar que o b-radical é a inter-secção de todos os ideais básicos primitivos de (A,W). 2. Estudar condições de nilpotência para o b-radical. 3. Tentar demonstrar um teorema do tipo de Wedderburn.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Rodrigo Lucas Rodrigues - Integrante / Henrique Guzzo Júnior - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa. Membro: Rodrigo Lucas Rodrigues.
2.	2009-2012. Estruturas algébricas das álgebras báricas, ra loops e códigos lineares Descrição: O foco desse projeto é o estudo de anéis e álgebras que não são necessariamente associativos. O objetivo inicial é terminar de resolver os problemas de Doutorado do candidato que estão em processo avançado de desenvolvimento, tais como determinar as álgebras de composição que são báricas, o b-radical de uma álgebra de grupo e estudar a questão da anti-comutatividade dos elementos anti-simétricos de um RA loop sob involuções orientadas.Um segundo propósito, relacionado ao estudo das estruturas algébricas das b-álgebras, é determinar condições de nilpotência e solubilidade para algumas b-álgebras particulares, como por exemplo, as de potências associativas e as alternativas, e provar uma conjectura que formulamos sobre um teorema do tipo de Wedderburn para as b-álgebras alternativas.Uma terceira linha é usar técnicas de álgebras de grupo e de representações para estender alguns resultados sobre códigos lineares ótimos obtidos na teoria de códigos corretores de erros, trabalho este que será desenvolvido conjuntamente com os especialistas Dr. Francisco César Polcino Milies e Dra. Consuelo Martínez López. Por fim, em parceria com o especialista Dr. João Carlos da Motta Ferreira, pesquisar a respeito de um assunto que já foi estudado para anéis associativos, o qual é determinar quando uma derivação multiplicativa definida sobre anéis de potências associativas ou alternativos é aditiva.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Rodrigo Lucas Rodrigues - Integrante / Henrique Guzzo Júnior - Coordenador. Membro: Rodrigo Lucas Rodrigues.
3.	2009-2014. Grupos, Anéis e Álgebras: Interações e Aplicações Descrição: há bastante tempo e já obteve resultados expressivos, frequentemente citados na literatura. Os assuntos que serão objetos de pesquisa no período são, entre outros: estrutura do grupo das unidades de um anel de grupo, determinando geradores do complemento livre, para grupos abelianos finitos, e pares de gerdores livres, no caso geral. Também se estudarão elementos simétricos e antissimétricos de uma álgebra de grupo. A estrutura do grupo das unidades de um anel com divisão e a existência de pares livres de tipos especiais. Estudo de globalizações de ações parciais, produtos cruzados generalizados, isomorfismo de álgebras de grupo parciais, ações e coações parciais de álgebras de Hopf, representações parciais projetivas e co-homológica baseadas nas ações parciais. Estudo da teoria de códigos cíclicos, abelianos, metacíclicos, etc., utilizando técnicas próprias da teoria de álgebras de grupo finitas.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Rodrigo Lucas Rodrigues - Integrante / Francisco César Polcino Milies - Coordenador / Jairo Zacarias Gonçalves - Integrante / Mikhaiolo Dokuchaev - Integrante. Membro: Rodrigo Lucas Rodrigues.

2008

2008-2011. Qualipso - Quality Plataform for Open Source
Descrição: O projeto integrado Qualipso (Quality Plataform for Open Source) propõe-se a definir e implementar tecnologias, procedimentos, leis e políticas com o objetivo de potencializar as práticas de desenvolvimento de software livre, tornando-as confiáveis, reconhecidas e estabelecidas na indústria. Para viabilizar o projeto e a sustentação do software livre como uma solução confiável para a indústria, foi criado um consórcio formado por indústrias, academia e governo. O projeto conta com a participação de colaboradores de diferentes origens: França, Itália, Brasil, Espanha, China, Alemanha e Escócia. A abordagem do Qualipso é aberta no sentido de: (a) utilizar padrões abertos e desenvolvimento de software de código aberto; (b) estar baseado em uma comunidade aberta, formada por cientistas, pesquisadores, profissionais e usuários, para evoluir seus recursos; e (c) estar aberto a expansões por meio da inserção de novos cenários de aplicação e de resultados de projetos.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Paulo Roberto Miranda Meirelles - Coordenador / Fabio Kon - Integrante / josé carlos maldonado - Integrante.
Membro: Paulo Roberto Miranda Meirelles.

2006

2006-2010. Álgebras de Lie e de Jordan, suas representações e generalizações
Descrição: A maior parte do projeto será dedicada às álgebras e superálgebras de Lie e de Jordan, que são as principais classes de álgebras não associativas. Além disso, as álgebras e superálgebras alternativas e de Malcev serão consideradas, assim como os loops de Moufang e várias generalizações de álgebras mencionadas acima. As linhas do projeto de pesquisa concentram-se nos seguintes temas: 1) estrutura e representações de álgebras; 2) aspectos geométricos da teoria de álgebras; 3) aspectos combinatórios da teoria de álgebras; 4) aplicações e generalizações. As questões típicas da primeira linha tratam do estudo e classificação de estruturas simples (os blocos de construção atômicos principais dos quais todas outras estruturas estão formadas): álgebras e superálgebras simples e primas, módulos irredutíveis e indecomponíveis, módulos de Verma e suas generalizações, etc. Além disso, o problema de especialidade será estudado para álgebras de Jordan e de Malcev. Na segunda linha, estudaremos a estrutura de certas variedades algébricas relacionadas com as álgebras de dimensão finita e com várias categorias de representações de álgebras. A parte combinatória de teoria de álgebras tem muitos aspectos comuns nos casos associativos e não associativo, tanto em problemas estudados quanto em métodos de solução. Por exemplo, a teoria de PI-álgebras desempenhou um papel importantíssimo na classificação de álgebras simples alternativas e de Jordan. Por outro lado, as álgebras de colchetes de Poisson (que são não associativas) mostraram sua importância para o estudo de automorfismos de álgebra de polinômios. Portanto, nesta parte de pesquisa nós consideramos tanto as álgebras associativas quanto não associativas. Estudaremos automorfismos e subálgebras de álgebras livres, identidades de álgebras e superálgebras em várias classes. Tentaremos também estender alguns aspectos da teoria de álgebras de Hopf para álgebras não associativas. Finalmente, na parte de aplicações e generalizações, consideraremos os loops de Moufang, que têm uma forte relação com as álgebras alternativas, e algumas generalizações das álgebras de Jordan.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Rodrigo Lucas Rodrigues - Integrante / Ivan Shestakov - Coordenador / Alexandre Grishkov - Integrante / Plamen Kochloukov - Integrante / Vyacheslav Futorny - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
Membro: Rodrigo Lucas Rodrigues.

(*) Relatório criado com produções desde 2000 até 2024
Data de processamento: 08/08/2024 12:41:02