regivan hugo nunes santiago

DIM - DEPARTAMENTO DE INFORMÁTICA E MATEMÁTICA APLICADA

Projetos de Pesquisa

Projeto de Pesquisa Área de Conhecimento
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 Informática - (84) 3215-3148 | Copyright © 2006-2019 - UFRN - sigaa13-producao.info.ufrn.br.sigaa13-producao v3.44.0