Login/Cadastro
Faça login ou crie uma nova conta no Escavador, é simples e rápido.
Cadastrar com e-mail
Para criar uma nova conta com e-mail, preencha os campos abaixo, ou clique em voltar para mais opções.
Login com e-mail
Entre com seu e-mail e senha para fazer login
Possui graduação em Tecnologia de Processamento de Dados pelo Centro
de Estudos Superiores do Pará (1993), mestrado em Ciências da
Computação pela Universidade Federal de Pernambuco (1995) e
doutorado em Ciências da Computação pela Universidade Federal de
Pernambuco (1999). Em 2007 realizou seu sabático junto ao Centro Alemão
de Inteligência Artificial em Bremen-Alemanha. Atualmente é Professor Titular
da Universidade Federal do Rio Grande do Norte (UFRN). Tem experiência na área de Ciência
da Computação, com ênfase em Teoria da Computação, atuando
principalmente nos seguintes temas: Matemática Intervalar -
fundamentos e aplicações, Especificação Formal, Teoria dos Domínios, Sistemas Fuzzy,
Lógica e Semântica. No período de 2004-2005 coordenou o curso de
pós-graduação em Sistemas e Computação da UFRN e exerceu o cargo de
Secretário Regional da Sociedade Brasileira de Matemática Aplicada e
Computacional.
Informações coletadas do Lattes em 24/06/2020
Acadêmico
Formação acadêmica
Doutorado em Ciências da Computação
1995 - 1999
Universidade Federal de Pernambuco
Título: Teoria das Equações Intervalares Locais
Orientador: Benedito Melo Acióly
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Equações Intervalares Locais - Teoria; Lógica; Teorias Não-Classicas; Simple Equality; Matemática Intervalar - Fundamentos; Computação - Fundamentos. Grande área: Ciências Exatas e da TerraSetores de atividade: Informática.
Mestrado em Ciências da Computação
1993 - 1995
Universidade Federal de Pernambuco
Título: No Sentido de uma Lógica Construtiva para a Análise Real,Ano de Obtenção: 1995
Benedito Melo Acióly.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Teoria dos Tipos; Semântica Denotacional; Matemática Intervalar - Fundamentos.Grande área: Ciências Exatas e da TerraSetores de atividade: Informática.
Curso técnico/profissionalizante em Formação de Analistas de Sistemas
1987 - 1990
Pós-doutorado
2007 - 2008
Pós-Doutorado. , Centro Alemao de Pesquisas em Inteligencia Artificial, DFKI, Alemanha. , Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. , Grande área: Ciências Exatas e da Terra, Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Especificação Formal. , Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógica Fuzzy.
Formação complementar
2013 - 2014
Visita Científica. , Universidad Publica de Navarra, UPNA, Espanha.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Alemão
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Áreas de atuação
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.
Organização de eventos
MORAES, Ronei Marcos de ; MACHADO, Liliane dos Santos ; SANTIAGO, R. H. N. . The 12th International FLINS Conference - Special Session on Computational Intelligence and Applications. 2016. (Congresso).
SANTIAGO, R. H. N. . XXXV Congresso Nacional de Matemática Aplicada e Computacional. 2014. (Congresso).
MORAES, Ronei Marcos de ; MACHADO, Liliane dos Santos ; SANTIAGO, R. H. N. ; BEDREGAL, B. R. C. ; GOMIDE, F. A. C. ; BARROS, L. C. ; ROVEDA, J. A. F. . III Congresso Brasileiro de Sistemas Fuzzy. 2014. (Congresso).
SANTIAGO, R. H. N. ; BEDREGAL, B. R. C. ; Almeida, J.M. ; DÓRIA, A. D. ; BARROS, L. C. ; GOMIDE, F. A. C. . II Congresso Brasileiro de Sistemas Fuzzy. 2012. (Congresso).
CRUZ, M. M. C. ; SANTIAGO, R. H. N. ; Almeida, J.M. . I Congresso de Matemárica Aplicada - NE. 2012. (Congresso).
CRUZ, M. M. C. ; SANTIAGO, R. H. N. ; Almeida, J.M. ; BEDREGAL, B. R. C. . VIII Encontro Regional de Matemática Aplicada e Computacional. 2008. (Congresso).
SANTIAGO, R. H. N. ; FEITOSA, Antônio Joaquim ; MACHADO, Liliane dos Santos ; MONTE, Edmundo M. Do ; ALMEIDA, Hélio Pires de ; PINHEIRO NETO, Antonio ; OLIVEIRA, Milton Lacerda de ; LYRA, Aarão ; BEDREGAL, Benjamín ; CRUZ, Ângela Maria Paiva ; CAMPOS, Marcília Andrade ; MELO, Silvio B. . VI Encontro Regional de Matemática Aplicada e Computacional. 2006. (Congresso).
SANTIAGO, R. H. N. ; LYRA, Aarão ; DÓRIA NETO, Adrião Duarte ; CRUZ, Angela Maria de Paiva ; ALVES, Daniel Pereira Durante ; MOURA, José Eduardo de Almeida ; MEDEIROS, Maria da Paz N de ; CRUZ, M. M. C. ; OLIVEIRA JR, Osmar Ferreira de . V Encontro Regional de Matemática Aplicada e Computacional. 2005. (Congresso).
SANTOS, Rômulo José Gomes dos ; SANTOS, Turíbio José Gomes dos ; PINHEIRO, Augusto Antônio ; BEDREGAL, Roberto Callejas ; CAMPOS, Marcília Andrade ; MORAES, Ronei Marcos de ; FEITOSA, Antônio Joaquim Rodrigues ; SANTIAGO, R. H. N. . III Encontro Regional de Matemática Aplicada e Computacional. 2003. (Congresso).
SANTIAGO, R. H. N. ; BEDREGAL, Benjamin René Callejas ; DEZOTTI, C. H. ; CRUZ, M. M. C. ; BEDREGAL, R. C. ; CAMPUS, M. A. . II Encontro Regional da Sociedade Brasileira de Matemática Aplicada e Computacional. 2002. (Congresso).
SANTIAGO, R. H. N. . Self-validaded methods in Numerical Analysis. 2002. (Outro).
SANTIAGO, R. H. N. ; DEQUEIROZ, R. ; MOREIRA, A. ; BEDREGAL, Benjamin René Callejas ; DERHABE, D. ; GRISI, A. ; MARTINS, A. T. C. . 7th Wokshop on Logic, Language, Information and Computation. 2000. (Congresso).
Participação em eventos
IV CONGRESSO BRASILEIRO DE SISTEMAS FUZZY. Intervalizing Fuzzy Logics. 2016. (Congresso).
.Visita técnica Laboratoire de Recherche en Informatique et ses Applications (LORIA). 2003. (Outra).
.Visita técnica Laboratoire de Recherche en Informatique et ses Applications (LORIA). 2002. (Outra).
Participação em bancas
BEDREGAL, B. R. C.SANTIAGO, R. H. N.CRUZ, A. P.REISER, R. H. S.. Linguagens Lineares Fuzzy. 2016. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
BEDREGAL, B. R. C.SANTIAGO, R. H. N.CANUTO, A. M. P.DIMURO, G. P.. Novos Métodos deterministicos para gerar centros iniciais dos grupos no algoritmo fuzzy C-means e variantes. 2014. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
BEDREGAL, B. R. C.SANTIAGO, R. H. N.CANUTO, A. M. P.; CARVALHO, F. A. T.. Algoritmos de Agrupamento Fuzzy Intervalares e Índices de Validação para Agrupamento de Dados Simbólicos do Tipo Intervalo. 2014. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
DIMURO, G. P.; AGUIAR, M. S.; ADAMATTI, D. F.;SANTIAGO, R. H. N.. Estação de Coleta de Dados Climáticos utilizando a plataforma Arduíno: Uma abordagem baseada em lógica fuzzy (intervalar) para a detecção de pestes na agricultura.. 2013. Dissertação (Mestrado em Modelagem Computacional) - Universidade Federal do Rio Grande.
MORAES, Ronei Marcos de; VIANNA, R. P. T.; ANJOS, U. U.; SANTOS, S. R.;SANTIAGO, R. H. N.. Modelo de suporte à tomada de decisão sobre acidentes de trânsito com vítimas baseado em Lógica Fuzzy. 2013. Dissertação (Mestrado em Modelos de Decisão e Saúde) - Universidade Federal da Paraíba.
Almeida, J.M.;SANTIAGO, R. H. N.; MIRANDA, L. C.;HAEUSLER, E. H.. A integração do tutorial interativo trylogic via ims learning tools interoperability: construindo uma infraestrutura para o ensino de lógica através de estratégias de demonstração e refutação. 2013. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
FARIAS, V. J. C.;SANTIAGO, R. H. N.; ALMEIDA, A. C.; MARANHAO, C. H. M.; ROCHA, M. P. C.. Solução de Equações Diferenciais usando Redes Neurais e Múltiplas Camadas com Métodos de Descida mais Íngreme e Levengerg-Marquardt. 2012. Dissertação (Mestrado em Matemática e Estatística) - Universidade Federal do Pará.
BEDREGAL, B. R. C.; Almeida, J.M.;VIANA, J. P.SANTIAGO, R. H. N.. What is a Fuzzy Bi-implication. 2012. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
SANTIAGO, R. H. N.; AGUIAR, M. S.; AQUINO JR., G. S.;BEDREGAL, B. R. C.. Java-XSC: Módulos Complexo e Complexo Intervalar. 2012. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
ROCHA, M. P. C.; FARIAS, V. J. C.; TAVARES, H. R.;SANTIAGO, R. H. N.. Aplicação da Decomposição em Valores Singulares e Análise de Componentes Independentes em Dados de FMRI. 2011. Dissertação (Mestrado em Matemática e Estatística) - Universidade Federal do Pará.
FARIAS, V. J. C.; ROCHA, M. P. C.; TAVARES, H. R.;SANTIAGO, R. H. N.. Otimização do Projeto de Antena Yagi-UDA pelo Método Particle Swarm Optimization-PSO. 2011. Dissertação (Mestrado em Matemática e Estatística) - Universidade Federal do Pará.
BEDREGAL, B. R. C.BEDREGAL, R. C.SANTIAGO, R. H. N.; AHUMADA, R. O. M.. Integrais de Linha Intervalares: Fundamentos e Aplicações. 2010. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
SANTIAGO, R. H. N.BEDREGAL, B. R. C.CANUTO, A. M. P.; COSTA, A. C. R.. Logica BDI Fuzzy. 2008. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
SANTIAGO, R. H. N.BEDREGAL, Benjamin René Callejas; SILVA, Ivan Saraiva; MORAES, Fernando Gehm. Modelagem de Arquiteturas Reconfiguráveis com Espaçõs de Chu. 2006. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
SANTIAGO, R. H. N.MOREIRA, A. M.BEDREGAL, Benjamin René CallejasHAEUSLER, E. H.. Sistemas de Reescrita de Termos para Intervalos: Em direção a um modelo formal para a Computação Intervalar. 2005. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
SANTIAGO, R. H. N.; LYRA, Aarão;CLAUDIO, D. M.DÓRIA NETO, Adrião DuarteBEDREGAL, Benjamin René Callejas. Números dinâmicos: Uma abordagem computacional orientada a objetos com implementaões na linguagem Java. 2004. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
MOREIRA, A.SANTIAGO, R. H. N.HAEUSLER, E. H.. Uma ferramenta para suporte formal à evolução e reutilização para linguagens de especificação algébrica com semântica inicial. 2004. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
SANTIAGO, R. H. N.MOREIRA, A. M.; CAMPOS, Marcília Andrade. A linguagem de especificação algébrica CASL e o tipo de dados intervalos. 2004. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
SANTIAGO, R. H. N.DÓRIA NETO, Adrião DuarteBEDREGAL, Benjamin René CallejasCLAUDIO, D. M.; LYRA, Aarão. Números Dinâmicos: Uma Abordagem Computacional Orientada a Objetos com Implementação em Java. 2004. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
SANTIAGO, R. H. N.MOREIRA, A. M.HAEUSLER, E. H.. Uma Ferramenta para Suporte Formal à Evolução e Reutilização para Linguagens de Especificação Algébrica com Semântica Inicial. 2004. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
SANTIAGO, R. H. N.; CAMPOS, Marcília Andrade;BEDREGAL, Benjamin René CallejasMOREIRA, A. M.. Especificação do Tipo Intervalar Parametrizado em CASL. 2003. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
SANTIAGO, R. H. N.ACIÓLY, B. M.; DEQUEIROZ, R.. Sobre a Igualdade Local nos Domínios Intervalos. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
SANTIAGO, R. H. N.ACIÓLY, B. M.; DEQUEIROZ, R.. Uma Lógica Intuicionista Bidimensional com Semântica Categórica. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
SANTIAGO, R. H. N.; SILVA, Ivan Saraiva;DIMURO, G.BEDREGAL, Benjamin René Callejas. Modelando uma Arquitetura PRAM-CRCW com Espaços de Chu. 2002. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
SANTIAGO, R. H. N.; COSTA, A. C. R.;BEDREGAL, Benjamin René Callejas. Teoria Fuzzy Intervalar: Uma Proposta de Integração da Matemática Intervalar à Teoria Fuzzy. 2002. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
SANTIAGO, R. H. N.BEDREGAL, Benjamin René Callejas; DOMÍNGUES, A. H.. Um Framework para Desenvolvimento de Sistemas de Apoio a Atividades Práticas ,Tendo como Caso de Estudo a Hotelaria. 2001. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
SANTIAGO, R. H. N.ACIÓLY, B. M.BEDREGAL, Benjamin René Callejas. Em Direção à uma Representação para Equações Algébricas: Uma Lógica Equacional Local. 2001. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
SANTIAGO, R. H. N.ACIÓLY, B. M.BEDREGAL, Benjamin René Callejas. Equivalência e Consistência entre Funções Intervalares. 2000. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
BEDREGAL, B. R. C.SANTIAGO, R. H. N.DIMURO, G. P.MEZZOMO, I.; ROCHA, M. P. C.. Tomada de Decisão em Grupo e Multi-atributos Baseada na Lógica Fuzzy Intuicionista de Atanassov Intervalarmente Valorada. 2016. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Rio Grande do Norte.
BEDREGAL, B. R. C.SANTIAGO, R. H. N.PALMEIRA, E. S.DIMURO, G. P.. Homogeneidade e Pseudo-Homogeneidade de T-Normas Intervalares e de T-Normas Intuicionistas de Atanassov Intervalarmente Valoradas. 2016. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Rio Grande do Norte.
BEDREGAL, B. R. C.SANTIAGO, R. H. N.VIANA, J. P.; OLIVEIRA JR., W. R.;SANTANA, F. L.. Um estudo topológico e de teoria dos domínios das funções totais computáveis. 2016. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
BEDREGAL, B. R. C.SANTIAGO, R. H. N.; ROCHA, M. P. C.;PALMEIRA, E. S.REISER, R. H. S.. A New Class of Fuzzy Subsethood Measures. 2016. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
SANTIAGO, R. H. N.BEDREGAL, B. R. C.; PIMENTEL, E. G.;HAEUSLER, E. H.; BARROS, L. C.. Primalidade Forte em Ambiente Fuzzy. 2015. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
MORAES, Ronei Marcos de; VIANNA, R. P. T.; NOGUEIRA, J. A.; FERREIRA, M. R. P.;Santiago, R.H.N.. Novo Método para a Combinação de Aglomerados Espaciais e Aplicação em Epidemiologia. 2015. Tese (Doutorado em Modelos de Decisão e Saúde) - Universidade Federal da Paraíba.
SANTIAGO, R. H. N.CANUTO, A. M. P.BEDREGAL, B. R. C.; LEON, A. C. P.; CARVALHO, F. A. T.. Uma Plataforma Intervalar para Agrupamentos de Dados. 2015. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
GUERREIRO, A. M. G.DÓRIA, A. D.; SOARES, H. B.;SANTIAGO, R. H. N.ACIÓLY, B. M.Trindade R. M. P.. Sistema de Contagem com Morfologia Fuzzy. 2014. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Rio Grande do Norte.
BEDREGAL, B. R. C.SANTIAGO, R. H. N.; ROCHA, M. P. C.;DIMURO, G. P.; BARROS, L. C.. On Extension of Fuzzy Connectives. 2013. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
BEDREGAL, B. R. C.SANTIAGO, R. H. N.REISER, R. H. S.. Ideais e Filtros Fuzzy em Reticulados Fuzzy: Uma nova abordagem. 2013. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
BEDREGAL, B. R. C.SANTIAGO, R. H. N.REISER, R. H. S.; PROLO, C. A.. On Fuzzy Ideals and Fuzzy Filters of Fuzzy Lattices. 2013. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
BEDREGAL, B. R. C.REISER, R. H. S.; MORAES, Ronei Marcos de;CANUTO, A. M. P.SANTIAGO, R. H. N.. Uma Nova Forma de Calcular os Centros dos Clusters em Algoritmos de Agrupamento Tipo Fuzzy C-Means. 2012. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
Goldbarg, M. C.; Goldbarg, E. F. G.;SANTIAGO, R. H. N.; BATISTA, T. V.; FAMPA, M. H. C.;SALGADO, M. R. B. S.. Flow-Shop de Pemutação Variante Total Flowtime: um Estudo Algoritmo. 2012. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
SANTIAGO, R. H. N.BEDREGAL, B. R. C.; PIMENTEL, E. G.;DIMURO, G. P.; QUEIROZ, R. J. G. B.. On Fuzzy Implications Classes - Towards Extensions of Fuzzy Rule-Based Systems. 2012. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
SANTIAGO, R. H. N.BEDREGAL, B. R. C.; SIQUEIRA, M. F.;LODWICK, W. A.; OLIVEIRA JR., W. R.. Generalizações do Conceito de Distância, i-Distâncias, Distâncias Intervalares e Topologia. 2012. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
Goldbarg, M. C.; Goldbarg, E. F. G.;SANTIAGO, R. H. N.SALGADO, M. R. B. S.; LUNA, H. P. L.. O Problema do Caixeiro Viajante com Alugueis de Carros: Um Estudo Algoritmico. 2011. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
SANTIAGO, R. H. N.DÓRIA NETO, Adrião DuarteGUERREIRO, A. M. G.REISER, Renata Hax Sander; LYRA, Aarão. Uma Fundamentação para Sinais e Sistemas Intervalares. 2011. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Rio Grande do Norte.
Favero, E. L.; SANTO, A. E.; OLIVEIRA, R. C. L.;SANTIAGO, R. H. N.; CAMPOS, G. A. L.; SOUZA SOBRINHO, C. L.. Avaliação da Aprendizagem: Uma abordagem qualitativa baseada em mapas conceituais, ontologias e algoritmos genéticos. 2007. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Pará.
SANTIAGO, R. H. N.DÓRIA NETO, Adrião DuarteACIÓLY, B. M.BEDREGAL, Benjamin René CallejasBEDREGAL, Roberto Callejas. Uma fundamentação matemática para o processamento de imagens digitais intervalares. 2003. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Rio Grande do Norte.
BEDREGAL, BenjamínSANTIAGO, R. H. N.REISER, R. H. S.. A New Class of Fuzzy Subsethood Measures. 2016. Exame de qualificação (Doutorando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
BEDREGAL, B. R. C.SANTIAGO, R. H. N.VIANA, J. P.. Aproximações Topológicas Computáveis à Classe de Funções Totais Computáveis. 2015. Exame de qualificação (Doutorando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
SANTIAGO, R. H. N.BEDREGAL, B. R. C.; BARROS, L. C.. Ideais Fortemente Primos no Ambiente Fuzzy. 2015. Exame de qualificação (Doutorando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
BEDREGAL, B. R. C.Santiago, R.H.N.PALMEIRA, E. S.. Generalização e Extensão da Propriedade de Homogeneidade para Operadores de Agregação no Contexto de Lógica Fuzzy. 2014. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal do Rio Grande do Norte.
SANTIAGO, R. H. N.CANUTO, A. M. P.BEDREGAL, B. R. C.; LEON, A. C. P.. Uma Plataforma Intervalar para Agrupamentos de Dados. 2014. Exame de qualificação (Doutorando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
SANTIAGO, R. H. N.; OLIVEIRA JR., W. R.;BEDREGAL, B. R. C.. Generalizações do Conceito de Métrica, Metricas Intervalares e Topologia. 2012. Exame de qualificação (Doutorando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
SANTIAGO, R. H. N.BEDREGAL, B. R. C.DIMURO, G. P.. Characterization of the Three Main Fuzzy Implications Classes Satisfying the Boolean-like Laws y<=I(x,y),I(x,I(y,z))=1 and I(x,I(y,z))=I(I(x,y),I(x,z)). 2012.
GUERREIRO, A. M. G.DÓRIA NETO, Adrião DuarteSANTIAGO, R. H. N.ACIÓLY, B. M.. Um Sistema Adaptativo de Segmentação de Imagens baseado em Morfologia Matemática Fuzzy. 2012. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal do Rio Grande do Norte.
DÓRIA NETO, Adrião DuarteDIMURO, Graçaliz PereiraSANTIAGO, R. H. N.. Probabilidades Fuzzy Intuicionistas. 2011. Exame de qualificação (Doutorando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
BEDREGAL, B. R. C.SANTIAGO, R. H. N.; BARROS, L. C.. Homotopia Fuzzy e Extensão de Conectivos Fuzzy Valorados em Reticulados Limitados. 2011. Exame de qualificação (Doutorando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
SANTIAGO, R. H. N.DÓRIA NETO, Adrião DuarteBEDREGAL, B. R. C.REISER, R. H. S.. Fundamentação Teórica e Propriedades Aritméticas Complexas Intervalares Aplicadas em Processamento de Sinais. 2010. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal do Rio Grande do Norte.
BEDREGAL, B. R. C.; CARVALHO, B. M.;SANTIAGO, R. H. N.VIANA, J. P.. Uma Nova Forma de Calcular os Centros dos Clusters em Algoritmos de Agrupamento Tipo Fuzzy C-Means. 2010.
BEDREGAL, B. R. C.DÓRIA, A. D.; AGUIAR, M. S.;SANTIAGO, R. H. N.. Teoria dos conjuntos rough com uma noção de indescernibilidade fuzzy: Uma aplicação em mineração de dados.. 2009. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal do Rio Grande do Norte.
Goldbarg, M. C.; Goldbarg, E. F. G.;SANTIAGO, R. H. N.SALGADO, M. D.. Flow-Shop de Permutação Variante Total Flowtime: Um estudo algoritmico. 2009. Exame de qualificação (Doutorando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
Goldbarg, M. C.; Goldbarg, E. F. G.;SALGADO, M. D.SANTIAGO, R. H. N.. O Problema do Caixeiro Alugador: Um estudo algoritmico. 2009. Exame de qualificação (Doutorando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
SANTIAGO, R. H. N.; LYRA, Aarão;BEDREGAL, Benjamin René CallejasBEDREGAL, R. C.DÓRIA NETO, Adrião Duarte. A Morfologia Matemática em Imagens Intervalares: Fundamentos e Aplicações. 2005. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal do Rio Grande do Norte.
SANTIAGO, R. H. N.ACIÓLY, B. M.BEDREGAL, Benjamin René CallejasDÓRIA NETO, Adrião Duarte. Uma Teoria Fuzzy Intervalar Aplicada ao Processamento Digital de Imagens. 2002. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal do Rio Grande do Norte.
BEDREGAL, B. R. C.SANTIAGO, R. H. N.CRUZ, A. P.. Linguagens Lineares Fuzzy. 2016. Exame de qualificação (Mestrando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
BEDREGAL, B. R. C.SANTIAGO, R. H. N.CANUTO, A. M. P.. Dois novos métodos para gerar centros iniciais dos grupos no algoritmo fuzzy C-means e variantes. 2014. Exame de qualificação (Mestrando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
SANTIAGO, R. H. N.CANUTO, A. M. P.BEDREGAL, B. R. C.. Números Complexos Graduados e Aplicações. 2014. Exame de qualificação (Mestrando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
BEDREGAL, B. R. C.SANTIAGO, R. H. N.CANUTO, A. M. P.. Algoritmos Fuzzy Intervalares e Índices de Validação para Agrupamento de Dados Simbólicos do Tipo Intervalo. 2013. Exame de qualificação (Mestrando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
Almeida, J.M.; MIRANDA, L. C.;SANTIAGO, R. H. N.; PIMENTEL, E. G.. Ensino de Lógica via Demonstração ou Refutação (DxR) de Conjecturas: a aplicação do tutorial interativo TryLogic. 2012. Exame de qualificação (Mestrando em Sistemática e Evolução) - Universidade Federal do Rio Grande do Norte.
SANTIAGO, R. H. N.; AQUINO JR., G. S.;BEDREGAL, B. R. C.. Java-XSC: Módulos Complexo e Complexo Intervalar. 2011. Exame de qualificação (Mestrando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
BEDREGAL, B. R. C.; Almeida, J.M.;SANTIAGO, R. H. N.. A Generalization of the Fodor-Roubens Fuzzy Bi-implications. 2011. Exame de qualificação (Mestrando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
SANTIAGO, R. H. N.Trindade R. M. P.BEDREGAL, B. R. C.. Estudo da Bi-Implicação Nebulosa. 2007. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal do Rio Grande do Norte.
SANTIAGO, R. H. N.DÓRIA NETO, Adrião DuarteBEDREGAL, Benjamin René Callejas. Fundamentos de Sistemas Fuzzy Baseados em Dados Intervalares à Luz Fundamentos de Sistemas Fuzzy Baseados em Dados Intervalares à Luz de uma Teoria de Representação Intervalar.. 2006. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal do Rio Grande do Norte.
SANTIAGO, R. H. N.MOREIRA, A. M.DÉHARBE, D. B. P.. Geração automática de AGRAPHS. 2004. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal do Rio Grande do Norte.
LUCENA, M. J. N. R.; PEREIRA, M. M.;SANTIAGO, R. H. N.. Professor Substituto Edital 008/2015-PROGESP de 10/06/2015. 2015. Universidade Federal do Rio Grande do Norte.
Goldbarg, M. C.;SALGADO, M. D.BEDREGAL, B. R. C.; LUNA, H. P. L.;SANTIAGO, R. H. N.; BATISTA, T. V.. Concurso público para docente de nível superior, na classe de Adjunto 1, edital No 036/2009-DOU-05-05/01/2010, no Departamento de informática e matemática aplicada do Centro de Ciências Exatas e da Terra - UFRN. Àrea de Algoritimos Experimentais. 2010. Universidade Federal do Rio Grande do Norte.
SANTIAGO, R. H. N.BEDREGAL, B. R. C.; FONSECA, I. E.; CASTRO, A. F.. Concurso Público para Professor Efetivo (Edital 007/2009 e 008/2009) para a Disciplina de Teoria da Computação. 2009. Universidade Federal Rural do Semi-Árido.
SALGADO, M. R. B. S.BEDREGAL, B. R. C.; LUNA, H. P. L.;SANTIAGO, R. H. N.; BATISTA, T. V.. Concurso Público para Professor Efetivo (Edital 036/2009) para a Disciplina de Algoritmos Experimentais. 2009. Universidade Federal do Rio Grande do Norte.
SANTIAGO, R. H. N.MOREIRA, A. M.; SOUTO, M. C. P.. Concurso público para docente de nível superior, na classe de substituto, edital No 03/2005-DAP, no Departamento de informática e matemática aplicada do Centro de Ciências Exatas e da Terra - UFRN. 2005. Universidade Federal do Rio Grande do Norte.
SANTIAGO, R. H. N.DÉHARBE, D. B. P.; LIFSCHITZ, S.. Concurso público para docente de nível superior, na classe de Adjunto 1, edital No 005/2003-PRH, no Departamento de informática e matemática aplicada do Centro de Ciências Exatas e da Terra - UFRN. 2004. Universidade Federal do Rio Grande do Norte.
SANTIAGO, R. H. N.; BRASILEIRO, F. V.; SILVA, Ivan Saraiva. Concurso público para docente de nível superior, na classe de Adjunto 1, edital No 006/2004-PRH, no Departamento de informática e matemática aplicada do Centro de Ciências Exatas e da Terra - UFRN. 2004. Universidade Federal do Rio Grande do Norte.
SANTIAGO, R. H. N.CANUTO, A. M. P.; SOUTO, M. C. P.. Concurso público para docente de nível superior, na classe de substituto, edital No 013/2004-DAP, no Departamento de informática e matemática aplicada do Centro de Ciências Exatas e da Terra - UFRN. 2004. Universidade Federal do Rio Grande do Norte.
SANTIAGO, R. H. N.; BATISTA, T. V.; ALMEIDA, E. S.. Concurso público para docente de nível superior, na classe de Adjunto 1, edital No 005/2004-PRH, no Departamento de informática e matemática aplicada do Centro de Ciências Exatas e da Terra - UFRN. 2004. Universidade Federal do Rio Grande do Norte.
SANTIAGO, R. H. N.; DANTAS, A. L.; QUEIROZ JUNIOR, I. S.. Concurso público para docente de nível superior, na classe de Assistente 1, na área de Engenharia de Software - UERN. 2004. Universidade do Estado do Rio Grande do Norte.
SANTIAGO, R. H. N.; FERNANDES, Jorge Henrique Cabral;BEDREGAL, Benjamin René Callejas. Concurso público para docente de nível superior, na classe de Substituto, edital No 011/2003-DAP, para a matéria/disciplina Ciência da Computação com Ênfase em Teoria da Computação no Departamento de informática e matemática aplicada do Centro de Ciências Exatas e da Terra - UFRN. 2003. Universidade Federal do Rio Grande do Norte.
SANTIAGO, R. H. N.ACIÓLY, B. M.; LIMA, M. E.. Concurso público para docente de nível superior, na classe auxiliar, edital No 015/99, para a matéria/disciplina Ciência da Computação com Ênfase em Arquitetura de Computadores no Centro de Ciências Exatas da Universidade Estadual do Sudoeste da Bahia- UESB. 1999. Universidade Estadual do Sudoeste da Bahia.
SANTIAGO, R. H. N.ACIÓLY, B. M.; LIMA, M. E.. Membro da Comissão Examinadora do Concurso Público para docente de nível superior, na classe auxiliar, edital No 015/99, para a matéria/disciplina Ciência da Computação com Ênfase em Engenharia de Software no Centro de Ciências Exatas da Universidade Estadual do Sudoeste da Bahia- UESB. 1999. Universidade Estadual do Sudoeste da Bahia.
CORREA, E. F.; LUCENA, M. J. N. R.;Santiago, R.H.N.. Comissão de Aproveitamento de Disciplinas. 2011. Universidade Federal do Rio Grande do Norte.
SANTIAGO, R. H. N.. Programa de Apoio à Pesquisa, desenvolvimento e inovação em microempresas e empresas de pequeno porte na modalidade subvenção econômica - PAPPE - FINEP/FAPESQ/PB. 2011. Fundação de Amparo à Pesquisa do Estado da Paraíba.
SANTIAGO, R. H. N.. Comissão de seleção e atribuição de bolsas do PPgSC-DIMAP/UFRN. 2004. Universidade Federal do Rio Grande do Norte.
SANTIAGO, R. H. N.. Comissão de seleção e atribuição de bolsas do PPgSC-DIMAP/UFRN. 2003. Universidade Federal do Rio Grande do Norte.
SANTIAGO, R. H. N.. Comissão de seleção e atribuição de bolsas do PPgSC-DIMAP/UFRN. 2002. Universidade Federal do Rio Grande do Norte.
Comissão julgadora das bancas
CLAUDIO, Dalcidio Moraes. Tese. 1999. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
SANTIAGO, R. H. N.MOREIRA, A. M.; QUEIROZ, R. G. B.; CLAUDIO, D. M.; COSTA, A. C. R.. Teoria das Equações Intervalares Locais. 1999. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
COSTA, A. C. R.; Queiroz, R. J. G. B.;CLAUDIO, D. M.; Moreira, A. M.;CAMPOS, Marcília Andrade. Teoria das Equações Intervalares Locais. 1999. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
Orientou
Anéis de Grupo Fuzzy; Início: 2018; Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte; (Orientador);
Números Complexos Graduados e Avaliação de Desempenho de Classificadores; 2015; Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte,; Orientador: Regivan Hugo Nunes Santiago;
Java-XSC: Módulos Complexo e Complexo Intervalar; 2012; Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte,; Orientador: Regivan Hugo Nunes Santiago;
Lógica BDI Fuzzy; 2008; Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte,; Orientador: Regivan Hugo Nunes Santiago;
Arredondamento Direcionado em JAVA; 2006; 0 f; Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte,; Coorientador: Regivan Hugo Nunes Santiago;
Um Sistema de reescrita para intervalos; 2005; Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte,; Orientador: Regivan Hugo Nunes Santiago;
Estendendo CASL para Especificar Sistemas Contínuos; 2004; Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Regivan Hugo Nunes Santiago;
Modelando uma Arquitetura PRAM-CRCW com Espaços de Chu; 2002; 0 f; Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte,; Coorientador: Regivan Hugo Nunes Santiago;
Em Direção a uma representação para equações algébricas: Uma lógica equacional local; 2001; 0 f; Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte,; Orientador: Regivan Hugo Nunes Santiago;
Equivalência e consistência entre funções intervalares; 2000; Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte,; Orientador: Regivan Hugo Nunes Santiago;
On Algebras for Interval-Valued Fuzzy Logic; 2019; Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte,; Orientador: Regivan Hugo Nunes Santiago;
Funções Mistura Generalizada e Aplicações; 2018; Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte,; Orientador: Regivan Hugo Nunes Santiago;
Uma extensão de overlap e naBL-Álgebras para reticulados; 2018; Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte,; Orientador: Regivan Hugo Nunes Santiago;
Primalidade Forte em Ambiente Fuzzy; 2015; Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte,; Orientador: Regivan Hugo Nunes Santiago;
Uma Plataforma Intervalar para agrupamentos de dados; 2015; Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Regivan Hugo Nunes Santiago;
Sistema de Contagem com Morfologia Matemática Fuzzy; 2014; Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Rio Grande do Norte,; Coorientador: Regivan Hugo Nunes Santiago;
On Fuzzy Ideals and Fuzzy Filters of Fuzzy Lattices; 2013; Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte,; Coorientador: Regivan Hugo Nunes Santiago;
Generalizações do Conceito de Distância, i-Distâncias, Distâncias Intervalares e Topologia; 2012; Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte,; Orientador: Regivan Hugo Nunes Santiago;
On Fuzzy Implication Classes - Towards Extensions of Fuzzy Rule-Based Systems; 2012; Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte,; Orientador: Regivan Hugo Nunes Santiago;
Uma Fundamentação para Sinais e Sistemas Intervalares; 2011; Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Regivan Hugo Nunes Santiago;
Uma Fundamentação Intervalar Aplicada à Morfologia Matemática; 2008; Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Rio Grande do Norte,; Coorientador: Regivan Hugo Nunes Santiago;
A non-classical approach to Interval Analysis; 2011; Universidade Federal do Rio Grande do Norte,; Regivan Hugo Nunes Santiago;
Uma biblioteca de pontos-flutuantes no padrão IEEE para PHP; 2006; 0 f; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Regivan Hugo Nunes Santiago;
Especificação de um sistema de ponto-flutuantes em Isabelle; 2006; 22 f; Iniciação Científica; (Graduando em Ciências da Computação) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Regivan Hugo Nunes Santiago;
Provas automáticas em Isabelle; 2004; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Regivan Hugo Nunes Santiago;
Extendendo a Biblioteca CASL para Intervalos; 2003; 0 f; Iniciação Científica; (Graduando em Ciências da Computação) - Universidade Federal do Rio Grande do Norte; Orientador: Regivan Hugo Nunes Santiago;
Atividades de Tutorando; 2017; Orientação de outra natureza; (Tecnologia da Informação) - Universidade Federal do Rio Grande do Norte; Orientador: Regivan Hugo Nunes Santiago;
Atividades de Tutorando; 2017; Orientação de outra natureza; (Tecnologia da Informação) - Universidade Federal do Rio Grande do Norte; Orientador: Regivan Hugo Nunes Santiago;
Atividades de Tutorando; 2017; Orientação de outra natureza; (Tecnologia da Informação) - Universidade Federal do Rio Grande do Norte; Orientador: Regivan Hugo Nunes Santiago;
Atividades de Tutorando; 2017; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal do Rio Grande do Norte; Orientador: Regivan Hugo Nunes Santiago;
Atividades de Tutorando; 2017; Orientação de outra natureza; (Tecnologia da Informação) - Universidade Federal do Rio Grande do Norte; Orientador: Regivan Hugo Nunes Santiago;
Atividades de Tutorando; 2016; Orientação de outra natureza; (Ciências da Computação) - Universidade Federal do Rio Grande do Norte; Orientador: Regivan Hugo Nunes Santiago;
Atividades de Tutorando; 2016; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal do Rio Grande do Norte; Orientador: Regivan Hugo Nunes Santiago;
Atividades de Tutorando; 2016; Orientação de outra natureza; (Tecnologia da Informação) - Universidade Federal do Rio Grande do Norte; Orientador: Regivan Hugo Nunes Santiago;
Atividades de Tutorando; 2016; Orientação de outra natureza; (Tecnologia da Informação) - Universidade Federal do Rio Grande do Norte; Orientador: Regivan Hugo Nunes Santiago;
Atividades de Tutorando; 2016; Orientação de outra natureza; (Tecnologia da Informação) - Universidade Federal do Rio Grande do Norte; Orientador: Regivan Hugo Nunes Santiago;
Atividades de Tutorando; 2016; Orientação de outra natureza; (Ciências da Computação) - Universidade Federal do Rio Grande do Norte; Orientador: Regivan Hugo Nunes Santiago;
Atividades de Tutorando; 2016; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal do Rio Grande do Norte; Orientador: Regivan Hugo Nunes Santiago;
Atividades de Tutorando; 2009; Orientação de outra natureza; (Ciências da Computação) - Universidade Federal do Rio Grande do Norte; Orientador: Regivan Hugo Nunes Santiago;
Atividades de Tutorando; 2009; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal do Rio Grande do Norte; Orientador: Regivan Hugo Nunes Santiago;
Atividades de Tutorando; 2009; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal do Rio Grande do Norte; Orientador: Regivan Hugo Nunes Santiago;
Atividades de Tutorando; 2009; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal do Rio Grande do Norte; Orientador: Regivan Hugo Nunes Santiago;
Atividades de Tutorando; 2009; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal do Rio Grande do Norte; Orientador: Regivan Hugo Nunes Santiago;
Atividades de Tutorando; 2009; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal do Rio Grande do Norte; Orientador: Regivan Hugo Nunes Santiago;
Atividades de Tutorando; 2009; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal do Rio Grande do Norte; Orientador: Regivan Hugo Nunes Santiago;
Foi orientado por
No Sentido de uma Lógica Construtiva para a Análises Real; 1995; 0 f; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Benedito Melo Acióly;
Teoria da Equações Intervalares Locais; 1999; 0 f; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco,; Orientador: Benedito Melo Acióly;
Uma proposta de junção entre os métodos de Warnier e Peter Chen para a modelagem de sistemas; 1993; 0 f; Trabalho de Conclusão de Curso; (Graduação em Tecnologia do Processamento de Dados) - Centro de Ensino Superior do Pará; Orientador: Adagenor Lobato Ribeiro;
Produções bibliográficas
REGIVAN H. N. SANTIAGO ; BEDREGAL, BENJAMIN R. C. ; Madeira, Alexandre ; MARTINS, M. . On interval dynamic logic: Introducing quasi-action lattices. SCIENCE OF COMPUTER PROGRAMMING , v. 175, p. 1-16, 2019.
SANTIAGO, R. H. N. ; BEDREGAL, B. R. C. ; Almeida, J.M. ; CALEIRO, C. ; PINHEIRO, JOCIVANIA . Semi BCI-Algebras. JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING , v. 32, p. 87-109, 2019.
PAIVA, RUI ; SANTIAGO, REGIVAN ; BEDREGAL, Benjamín . On BL-Algebras and its Interval Counterpart. TENDÊNCIAS EM MATEMÁTICA APLICADA E COMPUTACIONAL , v. 20, p. 241, 2019.
PINHEIRO, JOCIVANIA ; BEDREGAL, BENJAMIN ; SANTIAGO, REGIVAN H.N. ; SANTOS, HELIDA . A study of (T,N)-implications and its use to construct a new class of fuzzy subsethood measure. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING , v. 97, p. 1-16, 2018.
LUSTOSA FILHO, JOSE AUGUSTO S. ; CANUTO, ANNE M.P. ; SANTIAGO, REGIVAN HUGO NUNES . Investigating the impact of selection criteria in dynamic ensemble selection methods. EXPERT SYSTEMS WITH APPLICATIONS , v. 106, p. 141-153, 2018.
COSTA, VALDIGLEIS S. ; FARIAS, ANTONIO DIEGO S. ; BEDREGAL, BENJAMIN ; SANTIAGO, REGIVAN H.N. ; CANUTO, ANNE MAGALY DE P. . Combining multiple algorithms in classifier ensembles using generalized mixture functions. NEUROCOMPUTING , v. 313, p. 402-414, 2018.
CRUZ, A. ; Bedregal, B.C. ; Santiago, R.H.N. . On the characterizations of fuzzy implications satisfying I ( x , I ( y , z ))= I ( I ( x , y ), I ( x , z )). INTERNATIONAL JOURNAL OF APPROXIMATE REASONING , v. 93, p. 261-276, 2017.
FARIAS, ANTONIO DIEGO S. ; COSTA, VALDIGLEIS S. ; SANTIAGO, R. H. N. ; BEDREGAL, B. R. C. . Constructing Generalized Mixture Functions from Bounded Generalized Mixture Functions. MATHWARE & SOFT COMPUTING , v. 24, p. 43-52, 2017.
SILVA, EMMANUELLY L. ; SANTIAGO, REGIVAN H. N. ; CANUTO, ANNE M. P. ; NUNES, ROMULO O. . Gradual Complex Numbers and Their Application for Performance Evaluation Classifiers. IEEE TRANSACTIONS ON FUZZY SYSTEMS , v. 26, p. 1-1, 2017.
SANTANA, F. L. ; SANTIAGO, R. H. N. ; BEDREGAL, B. R. C. ; PATERNAIN, DANIEL ; SOLA, H. B. . Generalized Quasi-Metric on Strings. Information Sciences , v. 348, p. 153-162, 2016.
SANTANA, FAGNER ; SANTIAGO, REGIVAN . A Generalized Distance based on a Generalized Triangle Inequality. Information Sciences , v. 345, p. 106-115, 2016.
FLAULLES B. BERGAMASCHI ; ALEXSANDRA OLIVEIRA ANDRADE ; REGIVAN H. N. SANTIAGO . On Properties of Uniformly Strongly Fuzzy Ideals. Journal of Communication and Computer , v. 13, p. 42-49, 2016.
ANDRADE, A. O. ; Trindade R. M. P. ; FLAULLES B. BERGAMASCHI ; BARROS, A. S. ; SANTIAGO, R. H. N. ; GUERREIRO, A. M. G. . Analyzing the R-Implications of Weber and Fodor in the Counting of Mycorrhizal Fungi Spores. Journal of Communication and Computer , v. 13, p. 116-124, 2016.
SILVA FARIAS, ANTONIO DIEGO ; DE ARAÚJO LOPES, LUIZ RANYER ; BEDREGAL, Benjamín ; SANTIAGO, REGIVAN H.N. . Closure properties for fuzzy recursively enumerable languages and fuzzy recursive languages. Journal of Intelligent & Fuzzy Systems , v. 31, p. 1795-1806, 2016.
FLAULLES B. BERGAMASCHI ; Santiago, R.H.N. . Uniform Strong Primeness on Fuzzy Setting. The Journal of Fuzzy Mathematics , v. 24, p. 799-814, 2016.
SILVA, I. ; BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. . On Admissible Total Orders for Interval-valued Intuitionistic Fuzzy Membership Degrees. Fuzzy Information and Engineering , v. 8, p. 169-182, 2016.
MEZZOMO, I. ; BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. . Types of fuzzy ideals in fuzzy lattices. Journal of Intelligent & Fuzzy Systems , v. 28, p. 929-945, 2015.
SILVA, LILIANE ; MOURA, RONILDO ; CANUTO, ANNE M. P. ; SANTIAGO, REGIVAN H. N. ; BEDREGAL, BENJAMIN . An Interval-Based Framework for Fuzzy Clustering Applications. IEEE Transactions on Fuzzy Systems , v. 23, p. 2174-2187, 2015.
CRUZ, ANDERSON ; BEDREGAL, Benjamín ; SANTIAGO, REGIVAN . On the Boolean-like Law I(x, I(y, x)) = 1. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems , v. 22, p. 205-215, 2014.
BEDREGAL, BENJAMIN ; SANTIAGO, REGIVAN H.N. ; BUSTINCE, HUMBERTO ; PATERNAIN, DANIEL ; REISER, RENATA . Typical Hesitant Fuzzy Negations. International Journal of Intelligent Systems (Print) , v. 29, p. 525-543, 2014.
DIMURO, Graçaliz Pereira ; BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. . On (G,N)-implications Derived from Grouping Functions. Information Sciences , v. 279, p. 1-17, 2014.
MEZZOMO, I. ; BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. ; REISER, R. H. S. . On Some Operations on Bounded Fuzzy Lattices. The Journal of Fuzzy Mathematics , v. 22, p. 853-878, 2014.
ANDRADE, A. O. ; Trindade R. M. P. ; MAIA, D. S. ; SANTIAGO, R. H. N. ; GUERREIRO, A. M. G. . Analysing some R-Implications and its application in fuzzy mathematical morphology. Journal of Intelligent & Fuzzy Systems , v. 27, p. 201-209, 2014.
BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. . Interval Representations, Lukasiewicz Implicators and Smets-Magrez Axioms.. Information Sciences , v. 221, p. 192-200, 2013.
REISER, Renata Hax Sander ; BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. ; AMARAL, M. D. . Canonical representation of the Yagers classes of fuzzy implications. Matemática Aplicada e Computacional (Cessou em 1997. Cont. ISSN 1807-0302 Computational & Applied Mathematics) , v. 32, p. 401-412, 2013.
BEDREGAL, B. R. C. ; Santiago, R.H.N. . Some continuity notions for interval functions and representation. Matemática Aplicada e Computacional (Cessou em 1997. Cont. ISSN 1807-0302 Computational & Applied Mathematics) , v. 32, p. 435-446, 2013.
SANTANA, F. L. ; SANTIAGO, R. H. N. . Interval metrics, topology and continuous functions. Matemática Aplicada e Computacional (Cessou em 1997. Cont. ISSN 1807-0302 Computational & Applied Mathematics) , v. 32, p. 459-470, 2013.
Santana, F. T. ; SANTANA, F. L. ; DÓRIA NETO, Adrião Duarte ; SANTIAGO, R. H. N. . Sinais e Sistemas Definidos sobre Aritmética Intervalar Complexa. TEMA. Tendências em Matemática Aplicada e Computacional , v. 13, p. 85-96, 2012.
DIMURO, Graçaliz Pereira ; Bedregal, Benjamín Callejas ; SANTIAGO, R. H. N. ; BEDREGAL, B. R. C. ; REISER, Renata Hax Sander . Interval Additive Generators of Interval T-Norms and Interval T-Conorms. Information Sciences , v. 181, p. 3898-3916, 2011.
SANTIAGO, R. H. N. ; MAEDER, C. . Linguistic Variables of Type-N. A Mathematical Model. TEMA. Tendências em Matemática Aplicada e Computacional , v. 12, p. 21-30, 2011.
PALMEIRA, E. S. ; BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. . Homotopia Intervalar. TEMA. Tendências em Matemática Aplicada e Computacional , v. 12, p. 145-156, 2011.
Santana, F. T. ; SANTANA, F. L. ; DÓRIA, A. D. ; GUERREIRO, A. M. G. ; SANTIAGO, R. H. N. . A framework for interval quantization and application to interval based algorithms in digital signal processing. Fundamenta Informaticae , v. 112(4), p. 337-363, 2011.
SANTIAGO, R. H. N. ; Bedregal, B.C. ; Dimuro, G.P. ; Reiser, R.H.S. . On interval fuzzy S-implications. Information Sciences , v. 180, p. 1373-1389, 2010.
REISER, R. H. S. ; BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. ; DIMURO, G. P. . Analyzing the relationship between interval-valued D-Implications and interval-valued QL-Implications. TEMA. Tendências em Matemática Aplicada e Computacional , v. 11, p. 89-100, 2010.
Santana, F. T. ; DÓRIA NETO, Adrião Duarte ; SANTIAGO, R. H. N. . Uma Proposta de Análise Intervalar para o Mapa Auto-Organizável de Kohonen. Learning and Nonlinear Models , v. 7, p. 03-08, 2009.
Reiser, R.H.S. ; AGUIAR, M. S. ; BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. ; DIMURO, G. P. . Interval Valued D-Implications. TEMA. Tendências em Matemática Aplicada e Computacional , v. 10, p. 63-74, 2009.
SANTIAGO, R. H. N. ; MOREIRA, A. M. ; LOPES, K. . Implementing Local Intervals in CASL. Electronic Notes in Theoretical Computer Science , v. 184C, p. 133-149, 2007.
BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. ; REISER, R. H. S. ; DIMURO, G. P. . Properties of Fuzzy Implications obtained via the Interval Constructor. TEMA. Tendências em Matemática Aplicada e Computacional , v. 8, p. 33-42, 2007.
SANTIAGO, R. H. N. ; BEDREGAL, Benjamin René Callejas ; ACIÓLY, B. M. . Formal Aspects of Correctness and Optimality of Interval Computations. Formal Aspects of Computing , v. 18, n.2, p. 231-243, 2006.
CARVALHO, Adriano X. ; SANTIAGO, R. H. N. . Interval Term Rewriting System: Toward a Formal Model for Interval Computations.. TEMA. Tendências em Matemática Aplicada e Computacional , v. 7, p. 249-258, 2006.
SANTIAGO, R. H. N. ; BEDREGAL, B. R. C. ; ACIÓLY, Benedito Melo . Comparing continuity of interval functions based on Moore and Scott topologies. Electronic Journal on Mathematics of Computation , Recife-Pe, v. 2, n.1, p. 1-14, 2005.
SANTIAGO, R. H. N. ; BEDREGAL, Benjamin René Callejas ; ACIÓLY, B. M. . Interval Representations. TEMA. Tendências em Matemática Aplicada e Computacional , v. 5, n.2, p. 315-324, 2004.
BEDREGAL, R. C. ; BEDREGAL, Benjamin René Callejas ; SANTIAGO, R. H. N. . Generalizing the Real Interval Arithmetic. TEMA. Tendências em Matemática Aplicada e Computacional , v. 3(1), p. 61-70, 2002.
SANTIAGO, R. H. N. ; ACIÓLY, B. M. . Toward a Logic for Numerical Approximations. Revista de Informática Teórica e Aplicada , v. III, n.2, p. 147-166, 1996.
SANTIAGO, R. H. N. ; ACIÓLY, B. M. . Intervals As Real Numbers Specification. Journal of Reliable Computing, p. 99-100, 1996.
Outras produções
REGIVAN H. N. SANTIAGO . Membro do Comitê de Programa do ENIAC - Encontro Nacional de Inteligência Artificial e Computacional. 2019.
Santiago, R.H.N. . Membro do Comitê de Programa do CNMAC 2017. 2017.
SANTIAGO, R. H. N. . Membro do Comitê de Programa do IFSA-SCIS 2017 Joint 17th World Congress of International Fuzzy Systems Association and 9th International Conference on Soft Computing and Intelligent Systems. 2017.
SANTIAGO, R. H. N. . Membro do Comitê de Programa do DaLí - Dynamic Logic: New trends and applications. 2017.
SANTIAGO, R. H. N. . Membro do Comitê de Programa do (IDEAL'2017) The 18th International Conference on Intelligent Data Engineering and Automated Learning. 2017.
SANTIAGO, R. H. N. . Membro do Comitê de Programa do ENIAC - Encontro Nacional de Inteligência Artificial e Computacional. 2017.
Santiago, R.H.N. . Membro do Comitê de Programa da Escola de Informática Teórica e Métodos Formais (ETMF 2017). 2017.
Santiago, R.H.N. . Membro do Comitê de Programa da Escola de Informática Teórica e Métodos Formais (ETMF 2016). 2016.
Santiago, R.H.N. . Membro do Comitê de Programa do (FLINS 2016) Fuzzy Logic and Intelligent Technologies in Nuclear Science.. 2016.
Santiago, R.H.N. . Co-Chair do Comitê de Programa do IV Congresso Brasileiro de Sistemas Fuzzy. 2016.
BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. ; MEZZOMO, I. ; ROCHA, M. P. C. ; MENEZES, M. . Comitê Julgador CNMAC 2016 (Melhor Tese de Doutorado). 2016.
MARTINEZ, J. M. ; CARVALHO, L. M. ; ORGAMBIDE, A. C. F. ; DIMURO, G. P. ; BISOGNIN, E. ; MOZOLEVSKI, I. ; CLAEYSSEN, J. C. R. ; RODRIGUES, L. A. D. ; SANTIAGO, R. H. N. . Membro do Comitê Cientifico do CNMAC 2016. 2016.
SANTIAGO, R. H. N. . Membro do Comitê de Programa do Encontro Nacional de Inteligência Artificial e Computacional - ENIAC 2016. 2016.
SANTIAGO, R. H. N. ; et al. . Membro do Comitê de Programa do 2nd LA-CCI (Latin American) and 12th. CBIC (Brazilian) Congress on Computational Intelligence. 2015.
SANTIAGO, R. H. N. . Membro de Comitê de Programa do The 11th International FLINS Conference on Decision Making and Soft Computing (FLINS2014). 2014.
SANTIAGO, R. H. N. . Chair do Comitê de Programa do III Congresso Brasileiro de Sistemas Fuzzy. 2014.
SANTIAGO, R. H. N. . Membro do Steerling Comitê do III Congresso Brasileiro de Sistemas Fuzzy. 2014.
SANTIAGO, R. H. N. ; AGUIAR, M. S. ; DIMURO, G. P. . Membro do Comitê de Programa do Workshop-Escola de Informática Teórica ? WEIT 2013. 2013.
SANTIAGO, R. H. N. . Membro do Comitê de Programa do MCSul2012. 2012.
SANTIAGO, R. H. N. . Membro do Comitê de Programa do II Congresso Brasileiro de Sistemas Fuzzy. 2012.
COSTA, J. A. F. ; SANTIAGO, R. H. N. . Membro do Comitê de Programa do the 13th International Conference on Intelligent Data Engineering and Automated Learning. 2012.
Santiago, R.H.N. . Programa de apoio à pesquisa, desenvolvimento e inovação em microempresas e empresas de pequeno porte na modalidade subvenção econômica - PAPPE - FINEP/FAPESQ PB. 2011.
SANTIAGO, R. H. N. . Consultor AD HOC da Revista Princípios. 2001.
SANTIAGO, R. H. N. . Revisor do 2014 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2014). 2014.
SANTIAGO, R. H. N. . Revisor de artigos do IDEAL 2014 : 15th International Conference on Intelligent Data Engineering and Automated Learning. 2014.
SANTIAGO, R. H. N. . Revisor de artigos do The 11th International FLINS Conference on Decision Making and Soft Computing (FLINS2014). 2014.
SANTIAGO, R. H. N. . Revisor de artigos do XXXV Congresso Nacional da Sociedade Brasileira de Matemática Aplicada e Computacional (CNMAC 2014). 2014.
SANTIAGO, R. H. N. ; BEDREGAL, B. R. C. . Selected Papers from the Second Brazilian Congress on Fuzzy Systems to EUSFLAT Magazine. 2013.
SANTIAGO, R. H. N. . Membro do Comitê de Programa do ENIA 2011. 2011.
SANTIAGO, R. H. N. . Revisor de artigos do 2010 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2010). 2010.
SANTIAGO, R. H. N. . Membro do comitê de programa e revisor de artigos do I Congresso de Sistemas Fuzzy (I CBSF). 2010.
SANTIAGO, R. H. N. . Membro do comitê de programa e revisor de artigos do IV Southern Conference on Computational Modeling. 2010.
SANTIAGO, R. H. N. . Revisor de artigos do 20th SBIA - Brazilian Symposium on Artificial Intelligence (SBIA 2010). 2010.
SANTIAGO, R. H. N. . Revisor de artigos do XXXV LATIN-AMERICAN CONFERENCE ON INFORMATICS - CLEI09. 2009.
SANTIAGO, R. H. N. . Revisor de artigos do The Tenth International Workshop on Rule-Based Programming - Rule09. 2009.
SANTIAGO, R. H. N. . Revisor de artigos da 2° Escola Potiguar de Computação e suas Aplicações. 2009.
SANTIAGO, R. H. N. . Revisor de artigo para o XX Concurso de Teses e Dissertações. 2007.
SANTIAGO, R. H. N. . Membro do comitê de programa e revisor de artigos do 2° Workshop-Escola de Computação e Informação Quântica. 2007.
SANTIAGO, R. H. N. . Revisor de artigos do ICTAC07 - The 4th International Colloquium on Theoretical Aspects of Computing. 2007.
SANTIAGO, R. H. N. . Revisor de artigos da 2° Workshop-Escola de Computação e Informação Quântica. 2007.
SANTIAGO, R. H. N. . Parecer sobre Processo de Incentivo à Produção Acadêmica - Proc. 231120/UESB. 2006.
SANTIAGO, R. H. N. . Parecer sobre processo de Incentivo à Produção Acadêmica - Proc. 249361/UESB. 2006.
SANTIAGO, R. H. N. . Membro do comitê de programa e revisor de artigos do Logical and Semantic Frameworks, with Applications (LSFA 2006). 2006.
SANTIAGO, R. H. N. ; ACIÓLY, B. M. . An Algebraic Specification for the Real Data Type. RT DI-UFPE 006/95. 1995.
Santiago, R.H.N. ; BEDREGAL, B. R. C. . Raciocínio Aproximado. 2016. (Curso de curta duração ministrado/Extensão).
SANTIAGO, R. H. N. . Approximate Reasoning. 2015. (Curso de curta duração ministrado/Extensão).
Santiago, R.H.N. . Fundamentos Matemáticos da Computação. 2013. (Desenvolvimento de material didático ou instrucional - Notas de Aula).
SANTIAGO, R. H. N. . Teoria dos Reticulados. 2013. (Desenvolvimento de material didático ou instrucional - NotasdeAula).
SANTIAGO, R. H. N. . Funções Residuadas. 2012. (Desenvolvimento de material didático ou instrucional - Notas de Aula).
CAMPOS, A. M. C. ; SANTIAGO, R. H. N. ; SIQUEIRA, M. F. ; DÉHARBE, D. B. P. ; CORREA, E. F. ; Almeida, J.M. . Núcleo Docente Estruturante do Curso de Ciência da Computação. 2012. (Reestruturação Acadêmica).
SANTIAGO, R. H. N. ; CRIBARI NETO, F. ; ROCHA, M. ; LUNA, H. P. L. ; GALEAO, A. . Pesquisa Multidisciplinar e ensino de Pós-graduação em Matemática Computacional. 2005. (Painel).
SANTIAGO, R. H. N. ; BEDREGAL, Benjamin René Callejas . Computabilidade: Os Limites da Computação. 2004. (Curso de curta duração ministrado/Extensão).
SANTIAGO, R. H. N. . Especificação Formal de Softwares. 2003. (Curso de curta duração ministrado/Extensão).
SANTIAGO, R. H. N. . Especificação Formal de Softwares. 2003. (Curso de curta duração ministrado/Extensão).
SANTIAGO, R. H. N. . Notas em Lógica e Topoi. 1996. (Desenvolvimento de material didático ou instrucional - Notas de Aula).
BEDREGAL, B. R. C. ; Almeida, J.M. ; SANTIAGO, R. H. N. . Membro da Banca de Avaliação do Exame de Qualificação do Aluno Claudio Andrés Callejas Olguín submetido ao Curso de Mestrado em Sistemas e Computação do Depto. de Informática e Matemática Aplicada - UFRN, sob o título: Integrais de Linha Intervalares: Fundamentos e Aplicações. 2011 (Bancas Examinadoras) .
BEDREGAL, Roberto Callejas ; BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. . Membro da Banca de Avaliação do Exame de Qualificação do Aluno Giovani Angelo da Silva Nóbrega submetido ao Programa de Mestrado em Sistemas e Computação do Depto. de Informática e Matemática Aplicada - UFRN, sob o título: Integrais de Linha Intervalares: Fundamentos e Aplicações. 2009 (Bancas Examinadoras) .
BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. ; SILVA, Ivan Saraiva . Membro da Banca de Avaliação do Exame de Qualificação do Aluno José Frank Viana da Silva submetido ao Programa de Mestrado em Sistemas e Computação do Depto. de Informática e Matemática Aplicada - UFRN, sob o título Arredondamento Direcionado em Java. 2006 (Bancas Examinadoras) .
Goldbarg, M. C. ; Goldbarg, E. F. G. ; SANTIAGO, R. H. N. . Membro da Banca de Avaliação do Exame de Qualificação da Aluna Ligia Bariani Bagi submetido ao Programa de Mestrado em Sistemas e Computação do Depto. de Informática e Matemática Aplicada - UFRN, sob o título. 2006 (Bancas Examinadoras) .
SANTIAGO, R. H. N. ; MOREIRA, A. ; DERHABE, D. . Membro da Banca de Avaliação do Exame de Qualificação do Aluno Adriano Xavier Carvalho submetido ao Programa de Mestrado em Sistemas e Computação do Depto. de Informática e Matemática Aplicada - UFRN.. 2005 (Bancas Examinadoras) .
SANTIAGO, R. H. N. . Secretário regional da Sociedade Brasileira de Matemática Aplicada e Computacional. 2005 (Colegiados) .
SANTIAGO, R. H. N. ; BEDREGAL, Benjamin René Callejas ; DÉHARBE, D. B. P. ; SILVA, Ivan Saraiva . Membro da Banca de Avaliação do Exame de Qualificação da Aluna Camila de Araújo submetido ao Programa de Mestrado em Sistemas e Computação do Depto. de Informática e Matemática Aplicada - UFRN.. 2005 (Bancas Examinadoras) .
SANTIAGO, R. H. N. . Secretário regional da Sociedade Brasileira de Matemática Aplicada e Computacional. 2004 (Colegiados) .
SANTIAGO, R. H. N. . Membro do Conselho de Centro do Centro de Ciências Exatas e da Terra. 2004 (Colegiados) .
SANTIAGO, R. H. N. ; LOPES, K. . Membro da Banca de Avaliação do Exame de Qualificação da Aluna Katiane Ribeiro Lopes submetido ao Programa de Mestrado em Sistemas e Computação do Depto. de Informática e Matemática Aplicada - UFRN.. 2003 (Bancas Examinadoras) .
SANTIAGO, R. H. N. . Membro da Banca de Avaliação do Exame de Qualificação da Aluna Samara Pereira da Costa Melo submetido ao Programa de Mestrado em Sistemas e Computação do Depto. de Informática e Matemática Aplicada - UFRN.. 2003 (Bancas Examinadoras) .
SANTIAGO, R. H. N. . Membro da Banca de Avaliação do Exame de Qualificação do Aluno Anderson Santana de Oliveira submetido ao Programa de Mestrado em Sistemas e Computação do Depto. de Informática e Matemática Aplicada - UFRN.. 2003 (Bancas Examinadoras) .
SANTIAGO, R. H. N. . Interval Mathematics and Specification on Uncertain Data. 2002 (Palestras) .
SANTIAGO, R. H. N. ; MOURA, José Eduardo de Almeida ; ARAÚJO, A. L. . Mesa Redonda: Perspectivas da Lógica Contemporânea. 2001 (Palestras) .
BEDREGAL, Benjamin René Callejas ; SANTIAGO, R. H. N. . Pesquisador do Projeto Uma Abordagem Lógica e Computacional da Análise Intervalar. 2000 (Membro de Projeto) .
SANTIAGO, R. H. N. . Membro da Banca de Avaliação do Exame de Qualificação da Aluna Marcia Maria de Castro Cruz submetido ao Programa de Mestrado em Sistemas e Computação do Depto. de Informática e Matemática Aplicada - UFRN.. 2000 (Bancas Examinadoras) .
SANTIAGO, R. H. N. . Membro da Banca de Avaliação do Exame de Qualificação do Aluno José Medeiros dos Santos submetido ao Programa de Mestrado em Sistemas e Computação do Depto. de Informática e Matemática Aplicada - UFRN.. 2000 (Bancas Examinadoras) .
SANTIAGO, R. H. N. . Membro da Banca de Avaliação do Exame de Qualificação do Aluno José Eneas Montenegro Dutra submetido ao Programa de Mestrado em Sistemas e Computação do Depto. de Informática e Matemática Aplicada - UFRN.. 2000 (Bancas Examinadoras) .
SANTIAGO, R. H. N. . Membro do Grupo de Pesquisa: Grupo de Matemática e Fundamentos da Computação (CNPq ref: UCPEL.0009). 1999 (Membro de Grupo de Pesquisa) .
SANTIAGO, R. H. N. . Membro do Grupo de Pesquisa: Teoria e Inteligência Computacional - Ref: UFRN. 0051. 1999 (Membro de Grupo de Pesquisa) .
SANTIAGO, R. H. N. . Membro da Base de Pesquisa FUNDAMENTAÇÃO E DESENVOLVIMENTO DE SISTEMAS INTELIGENTES CONFIÁVEIS - BCB087-00 Coordenador: BENJAMIN RENE CALLEJAS BEDREGAL. 1999 (Membro de Grupo de Pesquisa) .
SANTIAGO, R. H. N. . Lógica e Computação. 1999 (Palestras) .
SANTIAGO, R. H. N. . Membro da Banca de Avaliação do Exame de Qualificação da Aluna Anne Christine Leite submetido ao Programa de Mestrado em Sistemas e Computação do Depto. de Informática e Matemática Aplicada - UFRN. 1999 (Bancas Examinadoras) .
SANTIAGO, R. H. N. . Membro do Colegiado do Mestrado em Sistemas e Computação. 1999 (Colegiados) .
2016 - Atual
Computação com Incertezas - Fundamentos e Aplicações (PQ-304597/2015-5), Descrição: O título aqui proposto aparentemente exclui a investigação em Matemática e Computação intervalar, já que, devido a grande difusão, associa-se imediatamente o termo incerteza com teorias dos Conjuntos Difusos e dos ``Rough Sets''. Entretanto, a teoria intervalar também pode ser vista como uma teoria de incerteza: Por um lado, um intervalo pode ser visto como um conjunto fuzzy Tipo-2 e por outro, tanto a matemática quanto as computações intervalares (com propósito numérico) visam o controle dos erros e portanto o controle da incerteza existente na exatidão do valor desejado. Dessa forma, decidi manter o título do projeto anteriormente submetido (Processo CNPq 306876/2012-4), por entender que o mesmo é o que melhor se aproxima do meu universo de investigação e dos sub-projetos aqui propostos. Devido incluir mais de um tema de pesquisa, que envolvem cooperações com outros colegas e alunos de mestrado e doutorado, esse projeto é subdividido em mais de um tema; a saber: (1) i-métricas e suas aplicações e (2) Números Graduados e suas aplicações.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (2) Doutorado: (4) . , Integrantes: Regivan Hugo Nunes Santiago - Coordenador / Benjamin René Callejas Bedregal - Integrante / Anne Magaly de Paula Canuto - Integrante / Graçaliz Pereira Dimuro - Integrante / Fabiana Tristão Santana - Integrante / Fagner Lemos de Santana - Integrante / Javier Fernandes - Integrante / Humberto Bustince Sola - Integrante / MOURA, RONILDO P. A. - Integrante / PATERNAIN, DANIEL - Integrante / Liliane Ribeiro da Silva - Integrante / FLAULLES B. BERGAMASCHI - Integrante / Emmanuelly Monteiro Silva de Sousa - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2014 - Atual
Teoria dos Conjuntos Fuzzy e Algumas Extensões/PVE-2013, Projeto certificado pelo(a) coordenador(a) Benjamín René Callejas Bedregal em 24/07/2015., Descrição: O principal objetivo deste projeto é contribuir na consolidação de uma base teórica das diversas extensões da teoria dos conjuntos fuzzy mencionadas acima, assim como desenvolver técnicas, que sejam extensões de algumas técnicas já usadas em lógica fuzzy [0,1]-valorada ou novas que aproveitem a natureza própria da extensão de alguma dessas extensões fuzzy. Um segundo objetivo, é também propor um novo tipo de extensão de lógica fuzzy, a lógica fuzzy não-Determinística, que consiga capturar aspectos de incertezas nos graus de pertinências não tratados pelas outras extensões. Algumas metas que se esperam alcançar com este projeto: 1. Uma maior integração científica entre os membros do grupo; 2. Fortalecimento da cooperação dos membros da equipe deste projeto com o grupo GIARA liderado pelo prof. Humberto Bustince; 3. Consolidar o grupo, tanto no cenário nacional como internacional, na área de lógica fuzzy, principalmente no que diz respeito a fundamentos da lógica fuzzy e de suas extensões; 4. Aumento significativo da produção científica do grupo; e 5. Melhorar a qualidade das pesquisas dos alunos de doutorado e mestrado do grupo ao cooperar em seus trabalhos com bons pesquisadores de outras instituições.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Regivan Hugo Nunes Santiago - Integrante / Anne Magaly de Paula Canuto - Integrante / Graçaliz Pereira Dimuro - Integrante / Benjamín René Callejas Bedregal - Coordenador / João Marcos de Almeida - Integrante / Eduardo Silva Palmeira - Integrante / Fagner Lemos de Santana - Integrante / Marcus Pinto da Costa Rocha - Integrante / Anderson Paiva Cruz - Integrante / Javier Fernandes - Integrante / REISER, RENATA H. S. - Integrante / BUSTINCE, HUMBERTO - Integrante / Claudilene Gomes da Costa - Integrante / Rogério Rodrigues de Vargas - Integrante.
2013 - 2015
Computação com Incertezas (Projeto PQ 306876/2012-4), Descrição: A noção de ambiguidade possui diferentes sentidos. De acordo com Mukaidono, ela pode ser classificada da seguinte maneira: (i) incomplete: not understandable because of the lack of information. (ii) ambiguity: inde niteness in several interpretations of one word. (iii) randomness: not yet known since it will be done in future. (iv) imprecision: not precise or exact. This covers ambiguous cases which include errors or 'noise'. This ambiguity is caused by imprecision of information. (v) fuzziness: unable to de ne, or have a meaningless de nition. There are the ambiguities with respect to words, that is, ambiguity of semantics. Este projeto est á não somente imerso na quarta e na quinta noções de ambiguidade, mas na conexão existente entre elas. O mesmo imerge duas grandes areas de investigação do autor num mesmo assunto: a ambiguidade, como imprecisão e fuzziness, seus fundamentos e aplicações. Ele é dividido em duas grandes areas: 1. Matem atica e Computação Intervalar (MCI), e 2. L ogica Difusa (LD). Essas areas não são investigadas isoladamente, pois j á existem e se visa aplicações de resultados obtidos no campo da MCI para a resolução de problemas em L ogica Difusa (LD), como o Teorema de Representação Intervalar do autor que tem sido amplamente aplicado em vários artigos na área de Lógica Fuzzy. Esse projeto foi dividido nos seguintes tópicos: (1) Extensão de operadores difusos a operandos em vários níveis; (2) Raciocínio Aproximado e sua versão intervalar; (3) Métricas Intervalares e suas aplicações; e (4) Lógicas Difusas Modais. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (2) Doutorado: (2) . , Integrantes: Regivan Hugo Nunes Santiago - Coordenador / Graçaliz Pereira Dimuro - Integrante / Benjamín René Callejas Bedregal - Integrante / Fagner Lemos de Santana - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2012 - 2014
CONDE - Conjuntos Difusos Estendidos (Edital Universal CNPq No 14/2011 faixa B), Projeto certificado pelo(a) coordenador(a) Benjamín René Callejas Bedregal em 09/08/2012., Descrição: A teoria dos conjuntos difusos surge em 1965 com o trabalho de Lotfi Asker Zadeh quem propõe relaxar a teoria usual de conjuntos por considerar infinitos níveis ou graus de pertinência de um elemento ao conjunto para assim incluir na teoria de conjuntos as incertezas e vaguezas que se têm na hora de se definir um conjunto. A teoria dos conjuntos difusos, tem-se mostrado uma ferramenta muito útil que, pela sua própria natureza, é adequada para lidar com imprecisões, ignorância e vagueza presentes em problemas do mundo real. No entanto, a definição de conjunto difuso não permite levar em consideração completamente esta vagueza, pois impõe que seja dado um valor numérico pertencente ao intervalo [0,1] para descrever o grau com o qual um elemento do universo pertence a um determinado conjunto, o qual pode não ser simples de se fazer e, como quem determina esse valor é um ``especialista'', o valor provavelmente seria diferente se mudarmos de especialista ou mesmo mantendo o especialista pedirmos para fazer sua avaliação um tempo depois. Ou seja, esse valor exato não consegue encapsular as diferencias de avaliações de diferentes especialistas nem as hesitações que tem um especialista em sua avaliação. Assim, parece razoável considerar formas alternativas de proporcionar a informação que não requeiram de tal precisão, ou que, ao menos, levem em consideração, de alguma forma, a imprecisão ou vagueza inerente ao problema que está sendo abordado. Neste sentido, existem diversas propostas para abordar este problema as quais levam a diferentes extensões da teoria dos conjuntos difusos, por considerar graus de pertinências mais gerais. O principal objetivo deste projeto é contribuir na consolidação de uma base teórica das diversas extensões da teoria dos conjuntos difusos mencionadas acima, assim como desenvolver técnicas, que sejam extensões de algumas técnicas já usadas em lógica difusa [0,1]-valorada ou novas que aproveitem a natureza própria da extensão de alguma. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (3) Doutorado: (4) . , Integrantes: Regivan Hugo Nunes Santiago - Integrante / Renata Hax Sander Reiser - Integrante / Benjamín René Callejas Bedregal - Coordenador / João Marcos de Almeida - Integrante / Javier Fernandes - Integrante / Humberto Bustince Sola - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2012 - Atual
GeTFun: Generalizing Truth-Functionality, Descrição: A coordinated exchange programme for the investigation of compositional meaning in logic and applications. FP7 Marie Curie PIRSES-GA-201 2-318986 GeTFun: Generalizing Truth-Functionality (Uniao Europeia). , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Regivan Hugo Nunes Santiago - Integrante / Edward Hermann Haeusler - Integrante / João Marcos de Almeida - Coordenador / Luis Carlos Pereira - Integrante / Ofer Arieli - Integrante / Arnon Avron - Integrante / Jean-Yves Béziau - Integrante / Carolina Blasio - Integrante / Carlos Caleiro - Integrante / Agata Ciabattoni - Integrante / Valeria de Paiva - Integrante / Razvan Diaconescu - Integrante / Beata Konikowska - Integrante / Luca Viganò - Integrante / Anna Zamansky - Integrante / Ori Lahav - Integrante / Manuel Martins - Integrante / Alexandre Rademaker - Integrante / Jaime Ramos - Integrante / Yaroslav Shramko - Integrante., Financiador(es): Research Executive Agency - European Commission - Bolsa.
2008 - 2010
Fortalecimento do PPgSC/UFRN através de Projetos para Desenvolvimento de Tecnologias em Software e Hardware para Sistemas Embarcados, Descrição: Este projeto atende o Edital MCT/CNPq/CT-Infra/CT-Petro/Ação Transversal IV No. 16/2008 (CASADINHO). Na equipe so estao listados o coordenador geral e os membros do meu sub-projeto. O objetivo principal desse projeto é fortalecer e consolidar o programa de Pós-Graduação em Sistemas e Computação (PPgSC) da Universidade Federal do Rio Grande do Norte (UFRN), atualmente com conceito 4 atribuído pela CAPES e com um curso de Doutorado recém-credenciado (iniciou suas atividades em 2008). Esse fortalecimento acontecerá através da cooperação, no contexto desse projeto, entre grupos de pesquisa do PPgSC/UFRN com grupos de excelência nas mesmas linhas de pesquisa em instituições consolidadas no Pais. O projeto está subdivido em 5 subprojetos com grupos de excelência das seguintes instituições: (1) PUC-Rio no contexto da linha de pesquisa de Engenharia de Software com foco em desenvolvimento de linhas de produtos de software; (2) UFPE no contexto da linha de pesquisa de Engenharia de Software com foco em Especificações Formais e Linguagens de Programação; (3) PPGC/UFRGS que conta dois subprojetos: (a) no contexto da linha de pesquisa de Sistemas Integrados e Distribuídos; (b) no contexto da linha de pesquisa de Algoritmos Experimentais; (4) PESC/UFRJ no contexto da linha de pesquisa de Teoria da Computação.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Regivan Hugo Nunes Santiago - Integrante / Thais Vasconcelos Batista - Coordenador / Benjamín René Callejas Bedregal - Integrante / João Marcos de Almeida - Integrante / Paulo S Veloso - Integrante / Paulo Augusto Veloso - Integrante / Mario Roberto Folhadela Benevides - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2007 - 2009
Uma Extensão Fuzzy-Intervalar para CASL, Descrição: Visa lançar as bases teoricas que permitam a extensão da Linguagem de especificação algébrica CASL descrever sistemas difusos. Nesse projeto são investigados como as entidades existentes nas aplicações difusas; como: T-normas, S-norms, Agregações, vários níveis de verdade, Variáveis Linguísticas podem ser implementadas na Linguagem CASL. Esse projeto teve origem durante o meu ano sabático no Centro Alemão de Inteligência Artificial em Bremen e tem sido desenvolvido em parceria com aquele Grupo. O mesmo recebeu financiamento, durante minha estada na Alemanha, pela CAPES.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Regivan Hugo Nunes Santiago - Coordenador / Christian Maeder - Integrante / Bern Krieg Brückner - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa.
2006 - 2008
Computação Intervalar: Fundamentos e Aplicações, Descrição: Vários problemas e aplicações surgem no universo da computação intervalar, dentre eles podemos citar a aplicação de intervalos enquanto elemento de incerteza no processamento de imagens e a extensão de algumas linguagens de programação com alto grau de portabilidade para conterem o tipo intervalo (permitindo assim uma maior distribução das aplicações intervalares). Seguindo nessa linha, esse projeto propõe a EXTENSÃO DA TEORIA DA MORFOLOGIA MATEMÁTICA para a noção de conjuntos intervalares, fazendo com que o processamento de imagens intervalares seja agora dotado das ferramentas da morfologia (operadores de dilatação, erosão, etc.). Além da extensão da teoria da morfologia matemática, pretende-se estudar a viabilidade da EXTENSÃO DA LINGUAGEM DE PROGRAMAÇÃO PHP afim de que a mesma venha a oferecer o tipo intervalo. O objetivo desse segundo subprojeto é aproveitar a portabilidade oferecida pela linguagem e buscar uma alternativa aos problemas enfrentados pela implementação do arredondamento direcionado em JAVA, necessário para a implementação de uma aritmética intervalar em qualquer linguagem. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (1) . , Integrantes: Regivan Hugo Nunes Santiago - Coordenador / Benjamin René Callejas Bedregal - Integrante / Marcia Maria de Castro Cruz - Integrante / Adrião Duarte Dória Neto - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2002 - 2004
Especificações Algébricas e Computação Científica, Descrição: Esse projeto visa fazer a integração entre as áreas de especificação algébrica e computação científica, fazendo com que sistemas onde os dados envolvam erros de representação possam ser especificados, verificados e refinados rigorosamente. A integração se dá através da implementação de uma biblioteca de intervalos e da noção de igualdade local na linguagem de especificação algébrica CASL. O projeto é experimentado através da aplicação da linguagem alterada na especificação de um sistema computacional. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Regivan Hugo Nunes Santiago - Coordenador / Benjamin René Callejas Bedregal - Integrante / Anamaria Martins Moreira - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 3 / Número de orientações: 4
2001 - 2004
Apoio Formal a especificação e Re-Utilização de Software, Descrição: Aproveitando os conhecimentos complementares dos parceiros franceses e brasileiros nas áreas de Sistemas de Reescrita e Especificação Algébrica, o projeto FERUS tem como principal objetivo contribuir para a área de especificação e reutilização de software. Essa contribuição deverá efetuar-se principalmente através das seguintes atividades: Aplicação das técnicas formais desenvolvidas pelos parceiros brasileiros, implementando-se um gerenciador de bibliotecas de componentes reutilizáveis, e sendo gerado material e conhecimento práticos que forneçam subsídios para a continuação do desenvolvimento da teoria. Estudo das construções de estruturação oriunda das áreas de especificações algébricas e sua aplicação à linguagem de especificação e prototipação ELAN (desenvolvida pelos parceiros franceses no projeto PROTHEO) Integração dos resultados acima à ELAN e ao ambiente da linguagem de especificação algébrica CASL. Definição de uma extensão de CASL que comporte a aritmética intervalar, afim de oferecer uma ferramenta para a especificação de sistemas que envolvam dados contínuos, como é o caso na área de computação científica. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Regivan Hugo Nunes Santiago - Integrante / Benjamin René Callejas Bedregal - Integrante / Anamaria Martins Moreira - Coordenador / Virgínia Carvalho Carneiro de Paula - Integrante / David Boris Paul Déharbe - Integrante / Claude Kirchner - Integrante / Christophe Ringeissen - Integrante / Helène Kirchner - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 3 / Número de orientações: 1
2001 - 2002
Linguagens de Especificação e Intervalos, Descrição: Nesse projeto, o conceito de igualdade local, definido sobre o espaço dos intervalos, é estendido para estruturas algébricas. Pretetende-se definir uma espécie de lógica equacional para essa igualdade, fazendo com que a lógica equacional subjacente à muitas linguagens de especificação algébricas, sejam um caso particular da mesma. Espera-se com isso estabelecer a fundamentação necessária para que algumas linguagens de especificação algébricas possam implementar representações de números reais cujas propriedades algébricas não sejam as mesmas para os números reais.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Regivan Hugo Nunes Santiago - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Outra / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 4 / Número de orientações: 1
1999 - 2000
Fundamentação da Computação Intervalar, Descrição: Esse projeto visa estudar as consequências da definição do espaço dos intervalos de Moore como um espaço de informação a la Scott. São estudadas várias consequências da introdução da noção de igualdade local nos intervalos (definidas pelo autor) entre elas a extensão desse conceito para o espaço de função dos intervalos e a relação entre as noções de equivalência e a de consistência entre funções intervalares. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Regivan Hugo Nunes Santiago - Coordenador / Benedito Melo Acióly - Integrante / Benjamin René Callejas Bedregal - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa., Número de produções C, T & A: 4 / Número de orientações: 1
Prêmios
2016
SBMF 2016 - Best Paper Award - 3rd Place, Brazilian Computing Society - SBC.
2014
NAFIPS'2014 Best Paper Awards - 3rd Place, North American Fuzzy Information Processing Society.
Histórico profissional
Endereço profissional
Universidade Federal do Rio Grande do Norte, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada. , Campus Universitário, S/N, Lagoa Nova, 59072970 - Natal, RN - Brasil, Telefone: (84) 32153814, Ramal: 228, Fax: (84) 32153813, URL da Homepage:
Experiência profissional
2018 - Atual
Universidade Federal do Rio Grande do NorteVínculo: Servidor Público, Enquadramento Funcional: Professor titular, Carga horária: 40, Regime: Dedicação exclusiva.
2016 - 2018
Universidade Federal do Rio Grande do NorteVínculo: Servidor Público, Enquadramento Funcional: Professor Associado 4, Carga horária: 40, Regime: Dedicação exclusiva.
2014 - 2016
Universidade Federal do Rio Grande do NorteVínculo: Servidor Público, Enquadramento Funcional: Professor Associado 3, Carga horária: 40
2012 - 2014
Universidade Federal do Rio Grande do NorteVínculo: Servidor Público, Enquadramento Funcional: Professor Associado 2, Carga horária: 40, Regime: Dedicação exclusiva.
2010 - 2012
Universidade Federal do Rio Grande do NorteVínculo: Servidor Público, Enquadramento Funcional: Professor Associado 1, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações:
Membro do Núcleo Docente de Estruturante do Curso de Ciência da Computação
2008 - 2010
Universidade Federal do Rio Grande do NorteVínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto 4, Carga horária: 40, Regime: Dedicação exclusiva.
2006 - 2008
Universidade Federal do Rio Grande do NorteVínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto 3, Carga horária: 40, Regime: Dedicação exclusiva.
2004 - 2006
Universidade Federal do Rio Grande do NorteVínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto 2, Carga horária: 40, Regime: Dedicação exclusiva.
2002 - 2004
Universidade Federal do Rio Grande do NorteVínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto 1, Carga horária: 40, Regime: Dedicação exclusiva.
2001 - 2002
Universidade Federal do Rio Grande do NorteVínculo: Bolsista recém-doutor, Enquadramento Funcional: Bolsista CNPq, Carga horária: 40, Regime: Dedicação exclusiva.
1999 - 2001
Universidade Federal do Rio Grande do NorteVínculo: Professor Visitante, Enquadramento Funcional: Bolsista PPV-CAPES, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
Extensão universitária , Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.,Atividade de extensão realizada, Seminários sobre Fundamentos da Computação.
Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, DIM0323 - Matemática Discreta para a Computação
Ensino, Ciências da Computação, Nível: Graduação,Disciplinas ministradas, DIM0422 - Fundamentos Matemáticos da Computação
Ensino, Sistemas e Computação, Nível: Pós-Graduação,Disciplinas ministradas, DIM0809 - Lógica
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas, .,Cargo ou função, Representante do Centro de Ciencias Exatas e da Terra na Comissão de Pós-graduação da UFRN.
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas, .,Cargo ou função, Comissão de seleção e atribuição de bolsas do programa de pós-graduação em sistemas e computação.
Pesquisa e desenvolvimento , Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.,Linhas de pesquisa
Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, DIM0049-Teoria da Computação, DIM0323-Matemática Discreta para a Computação, DIM0415-Lógicas Não-Clássicas
Ensino, Sistemas e Computação, Nível: Pós-Graduação,Disciplinas ministradas, DIM0801-Estudo Orientado, DIM0810-Lógicas Não-Clássicas
Ensino, Sistemas e Computação, Nível: Pós-Graduação,Disciplinas ministradas, DIM0809-Lógica
Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, DIM0050-Lógica
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas, .,Cargo ou função, Comissão de produção científica do PPgSC-UFRN.
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas, .,Cargo ou função, Conselheiro do Centro de Ciências Exatas e da Terra.
Direção e administração, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.,Cargo ou função, Coordenador do programa de Pós-graduação em Sistemas e Computação.
Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, DIM0050-Lógica Aplicada à Computação
Extensão universitária , Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.,Atividade de extensão realizada, Coordenação do V encontro Regional de Matemática Aplicada e Computacional - V ERMAC.
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.,Cargo ou função, Integrante da comissão de planejamento estratégico do Centro de Ciências Exatas e da Terra.
Ensino, Sistemas e Computação, Nível: Pós-Graduação,Disciplinas ministradas, DIM0809-Lógica
Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, DIM0050-Lógica Aplicada a Computação
Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, DIM0050-Lógica Aplicada a Computação, DIM0337-Computabilidade
Ensino, Sistemas e Computação, Nível: Pós-Graduação,Disciplinas ministradas, DIM0801-Estudo Orientado
Ensino, Sistemas e Computação, Nível: Pós-Graduação,Disciplinas ministradas, DIM0835-Tópicos Avançados em Teoria e Inteligência Computacional, DIM0851-Teoria da Computação
Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, DIM0323-Matemática Discreta para a Computação, DIM0337-Computabilidade
Direção e administração, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.,Cargo ou função, Vice-coordenador do programa de pós-graduação em Sistemas e Computação.
Direção e administração, Centro de Ciências Exatas, .,Cargo ou função, Vice-Coordenador de Programa de Pós-graduação.
Ensino, Sistemas e Computação, Nível: Pós-Graduação,Disciplinas ministradas, DIM810-Lógicas Não-Clássicas, DIM801-Estudo Orientado
Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, DIM0323-Matemática Discreta para a Computação, DIM0337-Computabilidade
Ensino, Sistemas e Computação, Nível: Pós-Graduação,Disciplinas ministradas, DIM737-Teoria da Computação, DIM836-Tópicos Avançados em Teoria e Inteligência Computacional II
Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, DIM0323-Matemática Discreta para a Computação, DIM0337-Computabilidade
Ensino, Sistemas e Computação, Nível: Pós-Graduação,Disciplinas ministradas, DIM737 - Teoria da Computação
Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, DIM0323-Matemática Discreta para a Computação, DIM0336-Especificação e Verificação de Programas, DIM0337-Computabilidade
Extensão universitária , Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.,Atividade de extensão realizada, Seminário do professor Siegfried Rump da universidade de Hamburg-Alemanha: Métodos auto-validáveis em análise numérica.
Extensão universitária , Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.,Atividade de extensão realizada, Coordenação do 2o Encontro Regional de Matemática Aplicada e Computacional - ERMAC 2002.
Ensino, Sistemas e Computação, Nível: Pós-Graduação,Disciplinas ministradas, DIM805-Especificações Formais, DIM737-Teoria da Computação
Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, DIM0323-Matemática Discreta para a Computação, DIM0336-Especificação e Verificação de Programas, DIM0337-Computabilidade
Ensino, Sistemas e Computação, Nível: Pós-Graduação,Disciplinas ministradas, DIM0801-Estudo Orientado, DIM0837-Estágio Docência
Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, DIM0323-Matemática Discreta para a Computação, DIM0330-Linguagens Formais
Ensino, Sistemas e Computação, Nível: Pós-Graduação,Disciplinas ministradas, DIM0737-Teoria da Computação
Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, DIM0323-Matemática Discreta para a Computação, DIM0337-Computabilidade
Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, DIM0323-Matemática Discreta para a Computação, DIM0327-Laboratório de Algoritmos e Estrutura de Dados, DIM0336-Especificação e Verificação de Programas
Ensino, Sistemas e Computação, Nível: Pós-Graduação,Disciplinas ministradas, DIM0736-Programação
Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, DIM0323-Matemática Discreta para a Computação
Ensino, Sistemas e Computação, Nível: Pós-Graduação,Disciplinas ministradas, DIM0765-Lógicas Não-Clássicas
Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, DIM0049-Teoria da Computação
Ensino, Sistemas e Computação, Nível: Pós-Graduação,Disciplinas ministradas, DIM0736-Programação
1988 - 1992
Beldata Processamento de Dados LtdaVínculo: Celetista, Enquadramento Funcional: Programador de Computadores, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
Serviços técnicos especializados .,Serviço realizado, Análise de sistemas e programação de computadores.
Estágios , Beldata Processamento de Dados Ltda, .,Estágio realizado, Programador de Computadores.
Você é Regivan Hugo Nunes Santiago?
Que tal assumir essas informações?
Basta criar uma conta no Escavador e enviar uma forma de comprovante. São três passos:
Escolha uma dentre três formas de verificação: Facebook, CPF ou Documento com Foto.
O Escavador irá analisar a sua solicitação.
As informações presentes nessa página serão transferidas para a sua página do perfil.
Depois do processo concluído, quem acessar essa página será redirecionado para seu cantinho no Escavador, seunome.escavador.com. Onde você poderá fazer a sua reputação, conhecer gente antenada, se informar e até mesmo ganhar clientes. Tudo isso de graça!
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Regivan Hugo Nunes Santiago e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?