UFRN ›
SIGAA - Sistema Integrado de Gestão de Atividades Acadêmicas
Natal,
16 de Abril de
2026
regivan hugo nunes santiago
DIM - DEPARTAMENTO DE INFORMÁTICA E MATEMÁTICA APLICADA
Projetos de Pesquisa
| Projeto de Pesquisa | Área de Conhecimento | |||
|---|---|---|---|---|
| 2021 | ||||
| PVB18464-2021 | Lógica Fuzzy e suas Principais Extensões – Fundamentos e Aplicações | Lógicas e Semântica de Programas | ||
| PVB18472-2021 | MOSAIC | Lógicas e Semântica de Programas | ||
| 2019 | ||||
| PVB18468-2019 | Architecting Distributed Monitoring and Analytics for IoT in Disaster Scenarios (ADMITS) | Teleinformática | ||
| 2018 | ||||
| PIB18455-2018 | TIC – Tecnologias da Informação e Comunicação, Projeto “Ferramentas de processamento de Imagens para diagnosticos” | Metodologia e Técnicas da Computação | ||
| PVB18465-2018 | Intervalos e Nebulosidade. Fundamentos e Aplicações | Lógicas e Semântica de Programas | ||
| 2014 | ||||
| PVT10750-2014 | Operadores fuzzy e suas aplicações em sistemas computacionais fuzzy | Lógicas e Semântica de Programas | ||
| PVB11864-2014 | GeVe - Generalizações de Verofuncionalidade | Lógicas e Semântica de Programas | ||
| 2012 | ||||
| PVG8990-2012 | PESQUISA E DESENVOLVIMENTO DE INSTRUMENTOS EDUCACIONAIS DE SUPORTE A AQUISIÇÃO DE CONHECIMENTOS NA ÁREA DE TECNOLOGIA DA INFORMAÇÃO NO INSTITUTO METROPOLE DIGITAL | Circuitos Eletrônicos | ||
| PVB11865-2012 | GeTFun Generalizing Truth-Functionality | Lógicas e Semântica de Programas | ||
| 2010 | ||||
| PIB4230-2010 | IMAGENS INTERVALARES E MORFOLOGIA MATEMÁTICA | Matemática da Computação | ||
| PIB4983-2010 | Uma Nova Noção Matemática de Distância | Matemática Discreta e Combinatória | ||
| PIB5427-2010 | Medidas de similaridade no problema de reconhecimento de padrões | Matemática Discreta e Combinatória | ||
| PIB5475-2010 | Busca de similaridades via métricas | Matemática Discreta e Combinatória | ||
| 2008 | ||||
| PVB790-2008 | Fundamentos e Aplicações da Lógica Fuzzy Intervalar | Sistemas de Computação | ||
| 2007 | ||||
| PVB790-2007 | Fundamentos e Aplicações da Lógica Fuzzy Intervalar | Sistemas de Computação | ||
| PVB1898-2007 | Uma extensão Fuzzy-Intervalar para CASL | Ciência da Computação | ||
| 2006 | ||||
| PVB790-2006 | Fundamentos e Aplicações da Lógica Fuzzy Intervalar | Sistemas de Computação | ||
| PVB927-2006 | Computação Intervalar: Fundamentos e Aplicações | Teoria da Computação | ||
| 2005 | ||||
| PVB790-2005 | Fundamentos e Aplicações da Lógica Fuzzy Intervalar | Sistemas de Computação | ||
| PIB993-2005 | ESPECIFICAÇÕES ALGÉBRICAS E COMPUTAÇÃO CIENTÍFICA | Sistemas de Computação | ||
| 2004 | ||||
| PVB436-2004 | Apoio Formal à Especificação e Re-Utilização de Software - FERUS | Metodologia e Técnicas da Computação | ||
| PIB993-2004 | ESPECIFICAÇÕES ALGÉBRICAS E COMPUTAÇÃO CIENTÍFICA | Sistemas de Computação | ||
| 2003 | ||||
| PVB436-2003 | Apoio Formal à Especificação e Re-Utilização de Software - FERUS | Metodologia e Técnicas da Computação | ||
| PIB993-2003 | ESPECIFICAÇÕES ALGÉBRICAS E COMPUTAÇÃO CIENTÍFICA | Sistemas de Computação | ||
| 2002 | ||||
| PVB206-2002 | Uma abordagem lógica e computacional da análise intervalar | Matemática da Computação | ||
| PVB436-2002 | Apoio Formal à Especificação e Re-Utilização de Software - FERUS | Metodologia e Técnicas da Computação | ||
| PIB993-2002 | ESPECIFICAÇÕES ALGÉBRICAS E COMPUTAÇÃO CIENTÍFICA | Sistemas de Computação | ||
| 2001 | ||||
| PVB206-2001 | Uma abordagem lógica e computacional da análise intervalar | Matemática da Computação | ||
SIGAA | Superintendência de Tecnologia da Informação - (84) 3342 2210 | Copyright © 2006-2026 - UFRN - sigaa07-producao.info.ufrn.br.sigaa07-producao v4.19.19