benjamin rene callejas bedregal

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
2020
PVB17387-2020 Rede Internacional para Análise de Dados de Sistemas de Transporte Inteligente a Partir de Internet das Coisas Teleinformática
PVB17464-2020 Architecting Distributed Monitoring and Analytics for IoT in Disaster Scenarios Teleinformática
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
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 Tecnologia da Informação - (84) 3342 2210 | Copyright © 2006-2024 - UFRN - sigaa14-producao.info.ufrn.br.sigaa14-producao v4.12.18