benjamin rene callejas bedregal

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
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
2008
PVB790-2008 Fundamentos e Aplicações da Lógica Fuzzy Intervalar Sistemas de Computação
PVB1319-2008 No sentido de uma matemática financeira intervalar Modelos Analíticos e de Simulação
2007
PVB790-2007 Fundamentos e Aplicações da Lógica Fuzzy Intervalar Sistemas de Computação
PVB1319-2007 No sentido de uma matemática financeira intervalar Modelos Analíticos e de Simulaçã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
PVB541-2003 Processamento de Imagens Digitais Intervalares Metodologia e Técnicas da Computação
PVB719-2003 Papílio: Um Algoritmo de Criptografia Sistemas de 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
PVB719-2002 Papílio: Um Algoritmo de Criptografia Sistemas de Computação
PIB993-2002 ESPECIFICAÇÕES ALGÉBRICAS E COMPUTAÇÃO CIENTÍFICA Sistemas de Computação
2001
PVB205-2001 Arquitetura multi-agentes para construção de sistemas complexos e dinâmicos Sistemas de Computação
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 - sigaa09-producao.info.ufrn.br.sigaa09-producao v3.44.4