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-2024 - UFRN - sigaa05-producao.info.ufrn.br.sigaa05-producao v4.12.13