Rede de Colaboração
Diretório de grupos de pesquisa|
Regivan Hugo Nunes Santiago 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 Associado
1 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.
Última
atualização do currículo em 31/01/2012
Endereço para acessar este CV: http://lattes.cnpq.br/7536988783793885 |
Dados pessoais
| Nome | Regivan Hugo Nunes Santiago |
| Nome em citações bibliográficas | SANTIAGO, R. H. N.;Santiago, R.H.N. |
| Sexo | Masculino |
| 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 59072-970 - Natal, RN - Brasil Telefone: (84) 32153814 Ramal: 228 Fax: (84) 32153813 URL da Homepage: http://www.dimap.ufrn.br |
Formação acadêmica/Titulação
| 2007 - 2008 | Pós-Doutorado
. Centro Alemao de Pesquisas em Inteligencia Artificial. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior ,CAPES ,Brasil . Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação. 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. |
| 1995 - 1999 | Doutorado em Ciências da Computação
.
Universidade Federal de Pernambuco, UFPE, Brasil. Título: Teoria das Equações Intervalares Locais, Ano de Obtenção: 1999. 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 Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas. Setores de atividade: Informática. |
| 1993 - 1995 | Mestrado em Ciências da Computação
.
Universidade Federal de Pernambuco, UFPE, Brasil. Título: No Sentido de uma Lógica Construtiva para a Análise Real, Ano de Obtenção: 1995. Orientador:  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 Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas. Setores de atividade: Informática. |
| 1990 - 1993 | Graduação em Tecnólogo Em Processamento de Dados
.
Centro de Estudos Superiores do Pará. |
| 1987 - 1990 | Curso técnico/profissionalizante em Formação de Analistas de Sistemas
.
Universiversidade da Amazônia. |
Atuação profissional
| Universidade Federal do Rio Grande do Norte, UFRN, Brasil. |
| Vínculo institucional |
| 2010 - Atual | Vínculo: Servidor Público, Enquadramento Funcional: Professor Associado 1, Carga horária: 40, Regime: Dedicação exclusiva. |
| Vínculo institucional |
| 2008 - 2010 | Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto 4, Carga horária: 40, Regime: Dedicação exclusiva. |
| Vínculo institucional |
| 2006 - 2008 | Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto 3, Carga horária: 40, Regime: Dedicação exclusiva. |
| Vínculo institucional |
| 2004 - 2006 | Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto 2, Carga horária: 40, Regime: Dedicação exclusiva. |
| Vínculo institucional |
| 2002 - 2004 | Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto 1, Carga horária: 40, Regime: Dedicação exclusiva. |
| Vínculo institucional |
| 2001 - 2002 | Vínculo: Bolsista recém-doutor, Enquadramento Funcional: Bolsista CNPq, Carga horária: 40, Regime: Dedicação exclusiva. |
| Vínculo institucional |
| 1999 - 2001 | Vínculo: Professor Visitante, Enquadramento Funcional: Bolsista PPV-CAPES, Carga horária: 40, Regime: Dedicação exclusiva. |
| Atividades |
| 2010 - Atual | Atividades de Participação em Projeto, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada. |
|
Projetos de pesquisa Uma Extensão Fuzzy-Intervalar para CASL |
| 03/2009 - Atual | 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. |
| 2009 - Atual | Atividades de Participação em Projeto, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada. |
|
Projetos de pesquisa Fortalecimento do PPgSC/UFRN através de Projetos para Desenvolvimento de Tecnologias em Software e Hardware para Sistemas Embarcados |
| 02/2007 - Atual | Ensino, Engenharia de Computação, Nível: Graduação. |
| Disciplinas ministradas DIM0323 - Matemática Discreta para a Computação |
| 02/2007 - Atual | Ensino, Ciências da Computação, Nível: Graduação. |
| Disciplinas ministradas DIM0422 - Fundamentos Matemáticos da Computação |
| 02/2007 - Atual | Ensino, Sistemas e Computação, Nível: Pós-Graduação. |
| Disciplinas ministradas DIM0809 - Lógica |
| 8/2006 - Atual | Atividades de Participação em Projeto, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada. |
|
Projetos de pesquisa Computação Intervalar: Fundamentos e Aplicações |
| 3/2006 - Atual | 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. |
| 4/2001 - Atual | 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. |
| 04/1999 - Atual | Pesquisa e desenvolvimento , Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada. |
|
Linhas de pesquisa Teoria e inteligência computacional |
| 7/2006 - 12/2006 | 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 |
| 7/2006 - 12/2006 | Ensino, Sistemas e Computação, Nível: Pós-Graduação. |
| Disciplinas ministradas DIM0801-Estudo Orientado DIM0810-Lógicas Não-Clássicas |
| 3/2006 - 7/2006 | Ensino, Sistemas e Computação, Nível: Pós-Graduação. |
| Disciplinas ministradas DIM0809-Lógica |
| 3/2006 - 7/2006 | Ensino, Engenharia de Computação, Nível: Graduação. |
| Disciplinas ministradas DIM0050-Lógica |
| 05/2005 - 4/2006 | Conselhos, Comissões e Consultoria, Centro de Ciências Exatas, . |
|
Cargo ou função
Comissão de produção científica do PPgSC-UFRN. |
| 05/2002 - 4/2006 | Conselhos, Comissões e Consultoria, Centro de Ciências Exatas, . |
|
Cargo ou função
Conselheiro do Centro de Ciências Exatas e da Terra. |
| 04/2004 - 3/2006 | 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. |
| 7/2005 - 12/2005 | Ensino, Engenharia de Computação, Nível: Graduação. |
| Disciplinas ministradas DIM0050-Lógica Aplicada à Computação |
| 8/2004 - 10/2005 | 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. |
| 09/2005 - 09/2005 | 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. |
| 3/2005 - 7/2005 | Ensino, Sistemas e Computação, Nível: Pós-Graduação. |
| Disciplinas ministradas DIM0809-Lógica |
| 3/2005 - 7/2005 | Ensino, Engenharia de Computação, Nível: Graduação. |
| Disciplinas ministradas DIM0050-Lógica Aplicada a Computação |
| 2002 - 2005 | Atividades de Participação em Projeto, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada. |
|
Projetos de pesquisa Especificações Algébricas e Computação Científica |
| 7/2004 - 12/2004 | Ensino, Engenharia de Computação, Nível: Graduação. |
| Disciplinas ministradas DIM0050-Lógica Aplicada a Computação DIM0337-Computabilidade |
| 7/2004 - 12/2004 | Ensino, Sistemas e Computação, Nível: Pós-Graduação. |
| Disciplinas ministradas DIM0801-Estudo Orientado |
| 3/2004 - 7/2004 | 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 |
| 3/2004 - 7/2004 | Ensino, Engenharia de Computação, Nível: Graduação. |
| Disciplinas ministradas DIM0323-Matemática Discreta para a Computação DIM0337-Computabilidade |
| 05/2002 - 04/2004 | 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. |
| 04/2002 - 03/2004 | Direção e administração, Centro de Ciências Exatas, . |
| Cargo ou função Vice-Coordenador de Programa de Pós-graduação. |
| 3/2001 - 2/2004 | Atividades de Participação em Projeto, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada. |
|
Projetos de pesquisa Apoio Formal a especificação e Re-Utilização de Software |
| 8/2003 - 12/2003 | Ensino, Sistemas e Computação, Nível: Pós-Graduação. |
| Disciplinas ministradas DIM810-Lógicas Não-Clássicas DIM801-Estudo Orientado |
| 8/2003 - 12/2003 | Ensino, Engenharia de Computação, Nível: Graduação. |
| Disciplinas ministradas DIM0323-Matemática Discreta para a Computação DIM0337-Computabilidade |
| 3/2003 - 7/2003 | 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 |
| 3/2003 - 7/2003 | Ensino, Engenharia de Computação, Nível: Graduação. |
| Disciplinas ministradas DIM0323-Matemática Discreta para a Computação DIM0337-Computabilidade |
| 2001 - 2003 | Atividades de Participação em Projeto, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada. |
| 8/2002 - 12/2002 | Ensino, Sistemas e Computação, Nível: Pós-Graduação. |
| Disciplinas ministradas DIM737 - Teoria da Computação |
| 8/2002 - 12/2002 | 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 |
| 10/2002 - 10/2002 | 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. |
| 9/2001 - 08/2002 | 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. |
| 3/2002 - 7/2002 | Ensino, Sistemas e Computação, Nível: Pós-Graduação. |
| Disciplinas ministradas DIM805-Especificações Formais DIM737-Teoria da Computação |
| 3/2002 - 7/2002 | 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 |
| 2001 - 2002 | Atividades de Participação em Projeto, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada. |
|
Projetos de pesquisa Linguagens de Especificação e Intervalos |
| 7/2001 - 12/2001 | Ensino, Sistemas e Computação, Nível: Pós-Graduação. |
| Disciplinas ministradas DIM0801-Estudo Orientado DIM0837-Estágio Docência |
| 7/2001 - 12/2001 | Ensino, Engenharia de Computação, Nível: Graduação. |
| Disciplinas ministradas DIM0323-Matemática Discreta para a Computação DIM0330-Linguagens Formais |
| 3/2001 - 7/2001 | Ensino, Sistemas e Computação, Nível: Pós-Graduação. |
| Disciplinas ministradas DIM0737-Teoria da Computação |
| 3/2001 - 7/2001 | Ensino, Engenharia de Computação, Nível: Graduação. |
| Disciplinas ministradas DIM0323-Matemática Discreta para a Computação DIM0337-Computabilidade |
| 7/2000 - 12/2000 | 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 |
| 3/2000 - 7/2000 | Ensino, Sistemas e Computação, Nível: Pós-Graduação. |
| Disciplinas ministradas DIM0736-Programação |
| 3/2000 - 7/2000 | Ensino, Engenharia de Computação, Nível: Graduação. |
| Disciplinas ministradas DIM0323-Matemática Discreta para a Computação |
| 5/1999 - 4/2000 | Atividades de Participação em Projeto, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada. |
|
Projetos de pesquisa Fundamentação da Computação Intervalar |
| 7/1999 - 12/1999 | Ensino, Sistemas e Computação, Nível: Pós-Graduação. |
| Disciplinas ministradas DIM0765-Lógicas Não-Clássicas |
| 7/1999 - 12/1999 | Ensino, Engenharia de Computação, Nível: Graduação. |
| Disciplinas ministradas DIM0049-Teoria da Computação |
| 3/1999 - 7/1999 | Ensino, Sistemas e Computação, Nível: Pós-Graduação. |
| Disciplinas ministradas DIM0736-Programação |
| Beldata Processamento de Dados Ltda, BELDATA, Brasil. |
| Vínculo institucional |
| 1988 - 1992 | Vínculo: Celetista, Enquadramento Funcional: Programador de Computadores, Carga horária: 40, Regime: Dedicação exclusiva. |
| Atividades |
| 03/1989 - 04/1992 | Serviços técnicos especializados . |
|
Serviço realizado Análise de sistemas e programação de computadores. |
| 9/1988 - 3/1989 | Estágios . |
|
Estágio realizado Programador de Computadores. |
Projetos de Pesquisa
| 2009 - Atual | 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: Em andamento; Natureza: Pesquisa. Integrantes: 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 / Regivan Hugo Nunes Santiago - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.. |
| 2007 - Atual | 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: Em andamento; Natureza: Pesquisa. Integrantes: Christian Maeder - Integrante / Bern Krieg Brückner - Integrante / Regivan Hugo Nunes Santiago - Coordenador. Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa.. |
| 2006 - Atual | 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: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 1) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 1) . Integrantes: Benjamin René Callejas Bedregal - Integrante / Marcia Maria de Castro Cruz - Integrante / Adrião Duarte Dória Neto - Integrante / Regivan Hugo Nunes Santiago - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.. |
| 2002 - Atual | 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: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 2) / Mestrado acadêmico ( 2) . Integrantes: Benjamin René Callejas Bedregal - Integrante / Anamaria Martins Moreira - Integrante / Regivan Hugo Nunes Santiago - Coordenador. 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 profissionalizante ( 0) / Doutorado ( 0) . Integrantes: 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 / Regivan Hugo Nunes Santiago - 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: 4 / Número de orientações: 4. |
| 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 profissionalizante ( 0) / Doutorado ( 0) . Integrantes: Regivan Hugo Nunes Santiago - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Outra. 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 profissionalizante ( 0) / Doutorado ( 0) . Integrantes: Benedito Melo Acióly - Integrante / Benjamin René Callejas Bedregal - Integrante / Regivan Hugo Nunes Santiago - Coordenador. 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. |
Revisor de periódico
| 2008 - Atual | Periódico: Revista de Informática Teórica e Aplicada |
| 2009 - Atual | Periódico: TEMA. Tendências em Matemática Aplicada e Computacional |
| 2010 - Atual | Periódico: Knowledge-Based Systems |
| 2011 - Atual | Periódico: IEEE Transactions on Fuzzy Systems |
Áreas de atuação
| 1. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação. |
Idiomas
| Inglês | Compreende Bem, Fala Bem, Lê Bem, Escreve Bem. |
| Alemão | Compreende Bem, Fala Bem, Lê Bem, Escreve Bem. |
Produção em C,T & A
| Produção bibliográfica |
| Artigos completos publicados em periódicos |
| 1. |   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. |
| 2. | 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. |
| 3. | 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. |
| 4. | 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. |
| 5. | Bedregal, B.C. ; Dimuro, G.P. ; SANTIAGO, R. H. N. ; Reiser, R.H.S. . On interval fuzzy S-implications. Information Sciences, v. 180, p. 1373-1389, 2010. |
| 6. | 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. |
| 7. | 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. |
| 8. | 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. |
| 9. | 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. |
| 10. | 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. |
| 11. | 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. |
| 12. | 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. |
| 13. | 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. |
| 14. | 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. |
| 15. | 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. |
| Livros publicados/organizados ou edições |
| 1. | SANTIAGO, R. H. N. ; BEDREGAL, Benjamin René Callejas . Computabilidade: Os limites da computação. 1. ed. São Carlos - SP: SBMAC - Sociedade Brasileira de Matemática Aplicada e Computacional, 2004. v. 500. 94 p. |
| Capítulos de livros publicados |
| 1. | BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. . Some Continuity Notions for Interval Functions and Interval Representations. In: Renata Hax Sander Reiser, Maurício Lima Pila. (Org.). IntMath-2010. Interval Mathematics and Connections in Teaching and Scientific Development [1980-2010]. 1 ed. Pelotas: Universidade Federal de Pelotas, 2010, v. 1, p. 115-130. |
| 2. | SANTANA, F. L. ; SANTIAGO, R. H. N. . Introducing Interval Metrics. In: Renata Hax Sander Reiser, Maurício Lima Pila. (Org.). IntMath-2010. Interval Mathematics and Connections in Teaching and Scientific Development [1980-2010]. 1 ed. Pelotas: Universidade Federal de Pelotas, 2010, v. 1, p. 131-144. |
| 3. | REISER, R. H. S. ; BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. ; DIAS, M. A. . Interval Valued Fuzzy Logic: The Best Interval Representation of the Yager's Implication. In: Renata Hax Sander Reiser, Maurício Lima Pila. (Org.). IntMath-2010. Interval Mathematics and Connections in Teaching and Scientific Development [1980-2010]. 1 ed. Pelotas: Universidade Federal de Pelotas, 2010, v. 1, p. 155-166. |
| 4. | BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. ; REISER, R. H. S. ; DIMURO, G. P. . Analyzing Properties of Fuzzy Implications Obtained via the Interval Constructor. In: Wolfram Luther; Werner Otten. (Org.). IEEE Post-Proceedings of SCAN 2006 - Revised Selected Papers of the 12th GAMM - IMACS International Symposion on Scientific Computing, Computer Arithmetic and Validated Numerics. 1 ed. Los Alamitos: IEEE Computer Society Press, 2007, v. 1, p. 1-9. |
| Trabalhos completos publicados em anais de congressos |
| 1. | BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. ; BENEVIDES, M. R. F. ; VIANA, J. P. . K, T and D-like fuzzy Kripke models. In: Fuzzy Information Processing Society (NAFIPS), 2011 Annual Meeting of the North American Fuzzy Information Processing, 2011, El Paso - Texas. Proceedings of NAFIPS 2011, 2011. p. 1-5. |
| 2. | SANTANA, F. L. ; SANTIAGO, R. H. N. . Natural Topology via Fuzzy Metric. In: 2011 IEEE International Conference on Fuzzy Systems, 2011, Taipei-Taiwan.
Proceedings of IEEE International Conference on Fuzzy Systems - 2011, 2011. p. 584-589. |
| 3. | Santana, F. T. ; SANTANA, F. L. ; DÓRIA NETO, Adrião Duarte ; SANTIAGO, R. H. N. . Relações entre Intervalos e Corpos. In: CMAC-Congresso de Matemática Aplicada e Computacional, 2011, Uberlândia-MG. Anais do Congresso de Matemática Aplicada e Computacional, 2011. p. 1-4. |
| 4. | Santana, F. T. ; DÓRIA NETO, Adrião Duarte ; Santiago, R.H.N. . Fundamentação Intervalar Complexa para Sinais e Sistemas. In: XXXIII Congresso Nacional da Sociedade Brasileira de Matemática Aplicada e Computacional, 2010, Águas de Lindóia. Anais do XXXIII Congresso Nacional da Sociedade Brasileira de Matemática Aplicada e Computacional. São Carlos : SBMAC, 2010. v. 1. p. 1-7. |
| 5. | PALMEIRA, E. S. ; BEDREGAL, B. R. C. ; Santiago, R.H.N. . Homotopia Intervalar. In: XXXIII Congresso Nacional da Sociedade Brasileira de Matemática Aplicada e Computacional, 2010, Águas de Lindóia. Anais do XXXIII Congresso Nacional da Sociedade Brasileira de Matemática Aplicada e Computacional. São Carlos : SBMAC, 2010. v. 1. p. 1-7. |
| 6. | BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. ; BENEVIDES, M. R. F. ; VIANA, J. P. . K-Like Fuzzy Kripke Models. In: I Congresso Brasileiro de Sistemas Fuzzy, 2010, Sorocaba-SP. Anais do I Congresso Brasileiro de Sistemas Fuzzy. São Carlos : Universidade Federal de São Carlos, 2010. v. 1. p. 1-7. |
| 7. | REISER, R. H. S. ; BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. . On Yager`s Implications and their Conjugates. In: I Congresso Brasileiro de Sistemas Fuzzy, 2010, Sorocaba-SP. Anais do I Congresso Brasileiro de Sistemas Fuzzy. São Carlos : Universidade Federal de São Carlos, 2010. v. 1. p. 1-7. |
| 8. | BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. ; BENEVIDES, M. R. F. ; VIANA, J. P. . K, T and D-like Fuzzy Kripke Models. In: Nafips 2011, 2010, El Passo. Proceedings of Nafips 2011, 2011. |
| 9. | REISER, R. H. S. ; DIMURO, G. P. ; BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. . Analyzing the Relations Between Interval -Valued D-Implications and Interval-Valued QL-Implications. In: XXXII Congresso Nacional da Sociedade Brasileira de Matemática Aplicada e Computacional - XXXII CNMAC, 2009, Cuiabá. Anais do XXXII Congresso Nacional da Sociedade Brasileira de Matemática Aplicada e Computacional. São Carlos : SBMAC, 2009. v. 1. p. 1-10. |
| 10. | SANTIAGO, R. H. N. ; MAEDER, C. . Linguistic Variables of Type-N. A Mathematical Model. In: XXXII Congresso Nacional da Sociedade Brasileira de Matemática Aplicada e Computacional - XXXII CNMAC, 2009, Cuiabá. Anais do XXXII Congresso Nacional da Sociedade Brasileira de Matemática Aplicada e Computacional. São Carlos : SBMAC, 2009. v. 1. p. 11-19. |
| 11. | Santana, F. T. ; DÓRIA NETO, Adrião Duarte ; SANTIAGO, R. H. N. . Uma Abordagem Intervalar para os Mapas Auto-Organizáveis de Kohonen. In: IX Congresso Brasileiro de Redes Neurais / Inteligência Computacional (IX CBRN), 2009, Ouro Preto. Anais do IX Congresso Brasileiro de Redes Neurais / Inteligência Computacional (IX CBRN), 2009. p. 1-5. |
| 12. | DIMURO, G. P. ; BEDREGAL, B. R. C. ; REISER, R. H. S. ; SANTIAGO, R. H. N. . Interval Additive Generators of Interval T-Norms. In: 15th International Workshop on Logic, Language, Information and Computation, 2008, Berlin Heidelberg. Lecture Notes in Computer Science. Berlin Heidelberg : Springer-Verlag, 2008. v. 5110. p. 123-135. |
| 13. | REISER, R. H. S. ; DIMURO, G. P. ; BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. . Interval Valued D-Implications. In: XXXI CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2008, Belém. Anais do XXXI CNMAC (CD-ROM). São Carlos : Sociedade Brasileira de Matemática Aplicada e Computacional, 2008. v. 1. p. 1-7. |
| 14. | CRUZ, M. M. C. ; DÓRIA, A. D. ; SANTIAGO, R. H. N. ; BEDREGAL, B. R. C. . Uma Fundamentação Intervalar Aplicada à Morfologia Matemática. In: XXXI CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2008, Belém. Anais do XXXI CNMAC (CD-ROM). São Carlos : Sociedade Brasileira de Matemática Aplicada e Computacional, 2008. v. 1. p. 1-7. |
| 15. | BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. ; REISER, R. H. S. ; DIMURO, G. P. . The Best Interval Representation of Fuzzy S-Implications and Automorphisms. In: IEEE International Conference on Fuzzy Systems - FUZZ-IEEE 2007, 2007, Londres. Proceedings of Fuzz-IEEE 2007, 2007. |
| 16. | BEDREGAL, B. R. C. ; DIMURO, G. P. ; REISER, R. H. S. ; SANTIAGO, R. H. N. . Interval Valued QL-Implications. In: 14th Workshop on Logic, Language, Information and Computation, 2007, Rio de Janeiro.
Lecture Notes in Computer Science. Berlim :
Springer Verlag, 2007. v. 4576. p. 307-321. |
| 17. | CRUZ, M. M. C. ; SANTIAGO, R. H. N. ; DÓRIA NETO, Adrião Duarte . Em Direção a Morfologia Matemática para Imagens Binárias com Indefinição. In: XXX Congresso Nacional de Matemática - XXX CNMAC, 2007, Florianópolis. Anais do XXX Congresso Nacional de Matemática Aplicada e Computacional,, 2007. |
| 18. | BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. ; DIMURO, G. P. ; REISER, R. H. S. . Interval Valued R-Implications and Automorphisms. In: Second Workshop on Logical and Semantic Frameworks, with Applications (LSFA'07), 2007, Ouro Preto. Proceedings of Second Workshop on Logical and Semantic Frameworks, with Applications (LSFA'07), 2007. p. 82-97. |
| 19. | SANTIAGO, R. H. N. ; MOREIRA, A. M. ; LOPES, K. . Implementing Local Intervals in CASL. In: Simpósio Brasileiro de Métodos Formais, 2005, Porto Alegre. Anais do Simpósio Brasileiro de Métodos Formais. Porto Alegre, 2005. v. 1. p. 112-127. |
| 20. | BEDREGAL, Benjamin René Callejas ; SANTIAGO, R. H. N. ; CANUTO, A. M. P. . A Normal Form which preserves 1-Tautologies and 0-Contradictions in a class of residuum-based propositional Fuzzy Logics.. In: Fuzz IEEE 2004 - IEEE International Conference on Fuzzy Systems, 2004, Budapeste. 2004 IEEE International Conference on Fuzzy Systems, 2004. v. 2. p. 647-652. |
| 21. | SANTIAGO, R. H. N. . Local Sigma-algebras. In: International Symposium on Domain Theory 2001, 2001, Chengdu. Proceedings of International Symposium on Domain Theory, 2001. |
| 22. | SANTIAGO, R. H. N. . Interval Local Equality (Toward a Model for Real type). In: Workshop on Formal Methods, 2001, Rio de Janeiro. Proceedings of IV WMF (Workshop on Formal Methods), 2001. p. 108-114. |
| 23. | SANTIAGO, R. H. N. ; DEQUEIROZ, R. . Toward a Proof Theory for Proofs by Induction. In: First Workshop of the Laboratory of Logic, Language, Information and Computation - LaLLIC, 1994, Recife. Proceedings of the First Workshop of the Laboratory of Logic, Language, Information and Computation - LaLLIC, 1994. p. 149-164. |
| Resumos expandidos publicados em anais de congressos |
| 1. | SILVA, José Frank Viana da ; BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. . JFLOAT: Uma Biblioteca de Ponto Flutuante com Arredondamento Direcionado para a Linguagem Java. In: VIII Encontro Regional de Matemática Aplicada e Computacional, 2008, Natal. Anais do VIII Encontro Regional de Matemática Aplicada e Computacional. São Carlos : SBMAC, 2008. v. 1. p. 1-4. |
| 2. | BEDREGAL, Benjamin René Callejas ; SANTIAGO, R. H. N. . Funções Intervalares Bi-contínuas. In: Encontro Norte-nordeste de Pesquisa Operacional e Matemática Computacional, 2005, Maceió-AL. Anais do Encontro Norte-nordeste de Pesquisa Operacional e Matemática Computacional, 2005. |
| 3. | CARVALHO, A. X. ; SANTIAGO, R. H. N. . Interval Term Rewriting System: A formal Model for Interval Computation. In: XXVIII Congresso Nacional de Matemática Aplicada e Computacional, 2005, São Paulo. Anais do XXVIII Congresso Nacional de Matemática Aplicada e Computacional, 2005. |
| 4. | SANTIAGO, R. H. N. ; ACIÓLY, B. M. . A Numerical Approximation Logic. In: Second International Workshop on Computer Arithmetic, Interval and Symbolic Computation - WAI'96, 1996, Recife. Proceedings of Second Workshop on Computer Arithmetic, Interval and Symbolic Computation - WAI'96, 1996. |
| Resumos publicados em anais de congressos |
| 1. | Santana, F. T. ; Santiago, R.H.N. ; DÓRIA NETO, Adrião Duarte . Sinais e Sistemas Complexos Intervalares. In: XXXIII Congresso Nacional da Sociedade Brasileira de Matemática Aplicada e Computacional, 2010, Águas de Lindóia. Anais do XXXIII Congresso Nacional da Sociedade Brasileira de Matemática Aplicada e Computacional. São Carlos : SBMAC, 2010. v. 1. p. 1-1. |
| 2. | Santana, F. T. ; DÓRIA NETO, Adrião Duarte ; SANTIAGO, R. H. N. . Uma Abordagem Intervalar para Sinais e Sistemas. In: IX Encontro Regional de Matemática Aplicada e Computacional - ERMAC, 2009, João Pessoa. Anais do IX Encontro Regional de Matemática Aplicada e Computacional - ERMAC, 2009. |
| 3. | DIMURO, G. P. ; REISER, R. H. S. ; BEDREGAL, Benjamin René Callejas ; SANTIAGO, R. H. N. . Analyzing the relation between interval-valued D-implications, QL-implications and automorphisms. In: 13th Internationa Symposium on Scientific Computing, Computer Arithmeitc and Verified Numerical Computations - SCAN'08, 2008, El Paso. Book of Abstracts of 13th Internationa Symposium on Scientific Computing, Computer Arithmeitc and Verified Numerical Computations. El Paso - Texas : University of Texas, 2008. v. 1. p. 35-36. |
| 4. | BEDREGAL, B. R. C. ; SILVA, Ivan Saraiva ; SANTIAGO, R. H. N. ; Araújo C . Toward a Formal Model for Combinatorial Reconfigurable Architectures. In: Toward a Formal Model for Combinatorial Reconfigurable Architectures, 2007, Ouro Preto-MG. Proceedings of the SBMF 2007 Brazilian Symposium on Formal Methods. Rio Grande do Sul : Sociedade Brasileira de Computação, 2007. v. 1. p. 182-182. |
| 5. | REISER, R. H. S. ; DIMURO, G. P. ; BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. . Properties of Fuzzy Implications obtained via the Interval Constructor. In: XXIX Congresso Nacional da Sociedade Brasileira de Matemática Aplicada e Computacional, 2006, Campinas. Anais do XXIX Congresso Nacional da Sociedade Brasileira de Matemática Aplicada e Computacional, 2006. |
| 6. | CRUZ, M. M. C. ; DÓRIA, A. D. ; SANTIAGO, R. H. N. . A importância da álgebra dos reticulados nas operações de transformações morfológicas em imagens binárias. In: XXIX Congresso Nacional da Sociedade Brasileira de Matemática Aplicada e Computacional, 2006, Campinas. Anais do XXIX Congresso Nacional da Sociedade Brasileira de Matemática Aplicada e Computacional, 2006. |
| 7. | BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. ; REISER, R. H. S. ; DIMURO, G. P. . Properties of Interval Fuzzy Implications. In: II International Colloquium on Metaphysics, 2006, Natal. Proceedings of II International Colloquium on Metaphysics, 2006. p. 1-1. |
| 8. | BEDREGAL, Benjamin René Callejas ; REISER, R. H. S. ; DIMURO, G. P. ; SANTIAGO, R. H. N. . Analyzing Some Properties of Fuzzy Implications Obtained via the Interval Constructor. In: 12th GAMM-IMACS International Symposion on Scientific Computing, Computer Arithmetic and Validated Numerics, 2006, Duisburg-Essen. Book of abstracts of 12th GAMM-IMACS International Symposion on Scientific Computing, Computer Arithmetic and Validated Numerics, 2006. v. 1. p. 109-110. |
| 9. | SILVA, José Frank Viana da ; BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. . A Java Floating Point Library with Directed Rounding. In: 12th GAMM-IMACS International Symposion on Scientific Computing, Computer Arithmetic and Validated Numerics, 2006, Duisburg-Essen. Book of abstracts of 12th GAMM-IMACS International Symposion on Scientific Computing, Computer Arithmetic and Validated Numerics, 2006. p. 43-43. |
| 10. | BEDREGAL, B. R. C. ; SANTIAGO, R. H. N. . The Best Interval Representations of Additive Generators for Interval T-norms. In: 12th GAMM-IMACS International Symposion on Scientific Computing, Computer Arithmetic and Validated Numerics, 2006, Duisburg-Essen. Book of abstracts of 12th GAMM-IMACS International Symposion on Scientific Computing, Computer Arithmetic and Validated Numerics, 2006. v. 1. p. 157-158. |
| 11. | SANTIAGO, R. H. N. ; BEDREGAL, Benjamin René Callejas . Interval Machines: An approach to real computability. In: Encontro Norte-Nordeste de Matemática Aplicada e Computacional, 2004, Recife. Anais do Encontro Norte-Nordeste de Matemática Aplicada e Computacional, 2004. v. 1. p. 17-17. |
| 12. | SANTIAGO, R. H. N. ; BEDREGAL, Benjamin René Callejas . Uma topologia pseudo-métrica para intervalos reais. In: Mini-simpósio: Matemática e Fundamentos da Computação. XXVII Congresso Nacional da Sociedade Brasileira de Matemática Aplicada e Computacional, 2004, Porto Alegre. Anais do XVII Congresso Nacional de Matemática Aplicada e Computacional. Porto Alegre : CD-Rom do evento, 2004. v. 1. |
| 13. | LOPES, K. ; SANTIAGO, R. H. N. . A Linguagem de Especificação Algébrica CASL e o Tipo de Dados Intervalos. In: Congresso Nacional da Sociedade Brasileira de Matemática Aplicada e Computacional, 2003, São José do Rio Preto - SP. Anais do XXVI Congresso Nacional da Sociedade Brasileira de Matemática Aplicada e Computacional, 2003. v. 1. p. 618-618. |
| 14. | CARVALHO, Adriano X. ; SANTIAGO, R. H. N. . Especificações Algébricas de Sistemas e Matemática Intervalar. In: Encontro Regional de Matemática Aplicada e Computacional, 2003, João Pessoa. Anais do terceiro Encontro Regional de Matemática Aplicada e Computacional, 2003. |
| 15. | SANTIAGO, R. H. N. ; BEDREGAL, Benjamin René Callejas ; ACIÓLY, B. M. . Interval Representations. In: Congresso Nacional da Sociedade Brasileira de Matemática Aplicada e Computacional, 2003, São José do Rio Preto - SP. Anais do XXVI Congresso Nacional da Sociedade Brasileira de Matemática Aplicada e Computacional, 2003. p. 625-625. |
| 16. | SANTIAGO, R. H. N. ; LOPES, K. ; MELO, S. ; BEDREGAL, Benjamin René Callejas . Especificando o Tipo de Dado Intervalo Racional em CASL. In: Encontro Regional de Matemática Aplicada e Computacional, 2002, Natal. Anais do 2o Encontro Regional de Matemática Aplicada e Computacional, 2002. v. 1. p. 46-47. |
| 17. | SANTIAGO, R. H. N. ; SILVA, Ivan Saraiva ; SANTOS, M. J. L. . Espaços de Chu para a Modelagem de Arquiteturas e Sistemas Paralelos. In: Segundo Encontro Regional de Matemática Aplicada e Computacional, 2002, Natal. Anais do Segundo Encontro Regional de Matemática Aplicada e Computacional. Natal, 2002. v. 1. p. 78-79. |
| 18. | SANTIAGO, R. H. N. ; SANTOS, J. M. . Um Sistema Dedutivo para Equações Algébricas Locais. In: Segundo Encontro Regional de Matemática Aplicada e Computacional, 2002, Natal. Anais do Segundo Encontro Regional de Matemática Aplicada e Computacional. Natal, 2002. v. 1. p. 81-82. |
| 19. | SANTIAGO, R. H. N. . Consistency and equivalence. In: International Symposium on Domain Theory 2001, 2001, Chenddu. Proceedings of International Symposim on Domain Theory 2001, 2001. |
| 20. | SANTIAGO, R. H. N. . Em Direção a uma Logica Equacional Local. In: XXIV Congresso Nacional da Sociedade Brasileira de Matematica Aplicada e Computacional, 2001, Belo Horizonte. Anais do XXIV Congresso Nacional da Sociedade Brasileira de Matematica Aplicada e Computacional, 2001. |
| 21. | BEDREGAL, R. C. ; SANTIAGO, R. H. N. . Generalizing the Real Interval Arithmetic. In: XXIV Congresso Nacional da Sociedade Brasileira de Matematica Aplicada e Computacional, 2001, Belo Horizonte. Anais do XXIV Congresso Nacional da Sociedade Brasileira de Matematica Aplicada e Computacional, 2001. |
| 22. | LOPES, K. ; MELO, S. ; SANTIAGO, R. H. N. ; BEDREGAL, Benjamin René Callejas ; MOREIRA, A. M. . Estendendo o Sistema de Tipos de CASL com o tipo Intervalo Racional. In: Encontro Regional de Matemática Aplicada e Computacional - ERMAC, 2001, Recife. Anais do Encontro Regional de Matemática Aplicada e Computacional, 2001. p. 35-35. |
| 23. | SANTIAGO, R. H. N. ; ACIÓLY, B. M. . Identity and Consistency. In: XXIII Congresso Nacional de Matemática Aplicada e Computacional, 2000, Santos. Anais do XXIII Congresso Nacional de Matemática Aplicada e Computacional, 2000. v. 1. p. 338-338. |
| 24. | SANTIAGO, R. H. N. ; SANTOS, J. M. . Em Direção à uma Representação para Equações Algébricas. In: XXIII Congresso Nacional de Matemática Aplicada e Computacional, 2000, Santos-SP. Anais do XXIII Congresso Nacional de Matemática Aplicada e Computacional, 2000. v. 1. p. 339-339. |
| 25. | SANTIAGO, R. H. N. ; ACIÓLY, B. M. . Interval Local Equality. In: 9th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics; and International Conference on Interval Methods in Science and Engineering., 2000, Karlsruhe-Germany.
Extended Abstracts of Scan2000 and Interval2000, 2000. v. 1. p. 172-172. |
| 26. | SANTIAGO, R. H. N. ; CRUZ, M. M. C. . Consistência e Equivalência entre Funções Intervalares. In: XXIII Congresso da Sociedade Brasileira de Matemática Aplicada e Computacional, 2000, Santos-SP. XXIII Congresso da SBMAC. Santos-SP, 2000. v. 1. p. 201-201. |
| 27. | SANTIAGO, R. H. N. ; ACIÓLY, B. M. . A Real Numbers Datatype Specification. In: II Panamerican Workshop of Computational and Applied Mathematics, 1997, Gramado-RS. Abstracts of II Panamerican Workshop of Computational and Applied Mathematics, 1997. |
| 28. | SANTIAGO, R. H. N. ; ACIÓLY, B. M. . Intervals as Real Numbers Specification. In: Interval'96, 1996, Wüzburg. Proceedings of the International Conference on Interval Methods and Computer Aided Proofs in Science and Engineering, 1996. |
| Resumos publicados em anais de congressos(artigos) |
| 1. | SANTIAGO, R. H. N. ; ACIÓLY, B. M. . Intervals As Real Numbers Specification. Journal of Reliable Computing, p. 99-100, 1996. |
| Apresentações de Trabalho |
| 1. | Santana, F. T. ; DÓRIA, A. D. ; SANTIAGO, R. H. N. . Sinais e Sistemas Complexos Intervalares Aplicados em Somas de Convoluções. 2010. (Apresentação de Trabalho/Outra). |
| 2. | SANTIAGO, R. H. N. ; MAEDER, C. . Linguistic Variables of Type-N. A Mathematical Model. 2009. (Apresentação de Trabalho/Comunicação). |
| 3. | SANTIAGO, R. H. N. . Computabilidade. 2005. (Apresentação de Trabalho/Seminário). |
| Produção técnica |
| Trabalhos técnicos |
| 1. | SANTIAGO, R. H. N. . Membro do Comitê de Programa do ENIA 2011. 2011. |
| 2. | SANTIAGO, R. H. N. . Revisor de artigos do 2010 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2010). 2010. |
| 3. | SANTIAGO, R. H. N. . Membro do comitê de programa e revisor de artigos do I Congresso de Sistemas Fuzzy (I CBSF). 2010. |
| 4. | SANTIAGO, R. H. N. . Membro do comitê de programa e revisor de artigos do IV Southern Conference on Computational Modeling. 2010. |
| 5. | SANTIAGO, R. H. N. . Revisor de artigos do 20th SBIA - Brazilian Symposium on Artificial Intelligence (SBIA 2010). 2010. |
| 6. | SANTIAGO, R. H. N. . Revisor de artigos do XXXV LATIN-AMERICAN CONFERENCE ON INFORMATICS - CLEI09. 2009. |
| 7. | SANTIAGO, R. H. N. . Revisor de artigos do The Tenth International Workshop on Rule-Based Programming - Rule09. 2009. |
| 8. | SANTIAGO, R. H. N. . Revisor de artigos da 2 Escola Potiguar de Computação e suas Aplicações. 2009. |
| 9. | SANTIAGO, R. H. N. . Revisor de artigo para o XX Concurso de Teses e Dissertações. 2007. |
| 10. | 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. |
| 11. | SANTIAGO, R. H. N. . Revisor de artigos do ICTAC07 - The 4th International Colloquium on Theoretical Aspects of Computing. 2007. |
| 12. | SANTIAGO, R. H. N. . Revisor de artigos da 2 Workshop-Escola de Computação e Informação Quântica. 2007. |
| 13. | SANTIAGO, R. H. N. . Parecer sobre Processo de Incentivo à Produção Acadêmica - Proc. 231120/UESB. 2006. |
| 14. | SANTIAGO, R. H. N. . Parecer sobre processo de Incentivo à Produção Acadêmica - Proc. 249361/UESB. 2006. |
| 15. | SANTIAGO, R. H. N. . Membro do comitê de programa e revisor de artigos do Logical and Semantic Frameworks, with Applications (LSFA 2006). 2006. |
| 16. | SANTIAGO, R. H. N. . Consultor AD HOC da Revista Princípios . 2001. |
| 17. | SANTIAGO, R. H. N. ; ACIÓLY, B. M. . An Algebraic Specification for the Real Data Type. RT DI-UFPE 006/95. 1995. |
| Demais tipos de produção técnica |
| 1. | 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). |
| 2. | SANTIAGO, R. H. N. ; BEDREGAL, Benjamin René Callejas . Computabilidade: Os Limites da Computação. 2004. (Curso de curta duração ministrado/Extensão). |
| 3. | SANTIAGO, R. H. N. . Especificação Formal de Softwares. 2003. (Curso de curta duração ministrado/Extensão). |
| 4. | SANTIAGO, R. H. N. . Especificação Formal de Softwares. 2003. (Curso de curta duração ministrado/Extensão). |
| 5. | SANTIAGO, R. H. N. . Notas em Lógica e Topoi. 1996. (Desenvolvimento de material didático ou instrucional - Notas de Aula). |
| Demais trabalhos |
| 1. | 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). |
| 2. | 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). |
| 3. | 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). |
| 4. | 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). |
| 5. | 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). |
| 6. | SANTIAGO, R. H. N. . Secretário regional da Sociedade Brasileira de Matemática Aplicada e Computacional. 2005 (Colegiados). |
| 7. | 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). |
| 8. | SANTIAGO, R. H. N. . Secretário regional da Sociedade Brasileira de Matemática Aplicada e Computacional. 2004 (Colegiados). |
| 9. | SANTIAGO, R. H. N. . Membro do Conselho de Centro do Centro de Ciências Exatas e da Terra. 2004 (Colegiados). |
| 10. | 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). |
| 11. | 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). |
| 12. | 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). |
| 13. | SANTIAGO, R. H. N. . Interval Mathematics and Specification on Uncertain Data. 2002 (Palestras). |
| 14. | SANTIAGO, R. H. N. ; MOURA, José Eduardo de Almeida ; ARAÚJO, A. L. . Mesa Redonda: Perspectivas da Lógica Contemporânea. 2001 (Palestras). |
| 15. | 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). |
| 16. | 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). |
| 17. | 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). |
| 18. | 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). |
| 19. | 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). |
| 20. | SANTIAGO, R. H. N. . Membro do Grupo de Pesquisa: Teoria e Inteligência Computacional - Ref: UFRN. 0051. 1999 (Membro de Grupo de Pesquisa). |
| 21. | 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). |
| 22. | SANTIAGO, R. H. N. . Lógica e Computação. 1999 (Palestras). |
| 23. | SANTIAGO, R. H. N. . Membro do Colegiado do Mestrado em Sistemas e Computação. 1999 (Colegiados). |
| 24. | 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). |
Bancas
| Participação em bancas examinadoras |
| Dissertações |
| 1. | ROCHA, M. P. C.; FARIAS, V. J. C.; TAVARES, H. R.; SANTIAGO, R. H. N.. Participação em banca de Liliane Ribeiro da Silva. 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á. |
| 2. | FARIAS, V. J. C.; ROCHA, M. P. C.; TAVARES, H. R.; SANTIAGO, R. H. N.. Participação em banca de Marcos Antônio Rosa das Chagas. 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á. |
| 3. | BEDREGAL, B. R. C.; BEDREGAL, R. C.; SANTIAGO, R. H. N.; AHUMADA, R. O. M.. Participação em banca de Giovani Angelo da Silva Nóbrega. Integrais de Linha Intervalares: Fundamentos e Aplicações. 2010. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte. |
| 4. | SANTIAGO, R. H. N.; BEDREGAL, B. R. C.; CANUTO, A. M. P.; COSTA, A. C. R.. Participação em banca de Anderson Paiva Cruz. Logica BDI Fuzzy. 2008. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte. |
| 5. | SANTIAGO, R. H. N.; BEDREGAL, Benjamin René Callejas; SILVA, Ivan Saraiva; MORAES, Fernando Gehm. Participação em banca de Camila de Araújo. 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. |
| 6. | SANTIAGO, R. H. N.; MOREIRA, A. M.; BEDREGAL, Benjamin René Callejas; HAEUSLER, E. H.. Participação em banca de Adriano Xavier Carvalho. 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. |
| 7. | SANTIAGO, R. H. N.; LYRA, Aarão; CLAUDIO, D. M.; DÓRIA NETO, Adrião Duarte; BEDREGAL, Benjamin René Callejas. Participação em banca de Osmar Fernandes de Oliveira Júnior. 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. |
| 8. | MOREIRA, A.; SANTIAGO, R. H. N.; HAEUSLER, E. H.. Participação em banca de Anderson Santana de Oliveira. 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. |
| 9. | SANTIAGO, R. H. N.; MOREIRA, A. M.; CAMPOS, Marcília Andrade. Participação em banca de Katiane Ribeiro Lopes. 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. |
| 10. | SANTIAGO, R. H. N.; DÓRIA NETO, Adrião Duarte; BEDREGAL, Benjamin René Callejas; CLAUDIO, D. M.; LYRA, Aarão. Participação em banca de Osmar Fernandes de Oliveira Júnior. 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. |
| 11. | SANTIAGO, R. H. N.; MOREIRA, A. M.; HAEUSLER, E. H.. Participação em banca de Anderson Santana de Oliveira. 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. |
| 12. | SANTIAGO, R. H. N.; CAMPOS, Marcília Andrade; BEDREGAL, Benjamin René Callejas; MOREIRA, A. M.. Participação em banca de Samara Pereira da Costa Melo. Especificação do Tipo Intervalar Parametrizado em CASL. 2003. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte. |
| 13. | SANTIAGO, R. H. N.; ACIÓLY, B. M.; DEQUEIROZ, R.. Participação em banca de Alzira Ferreira da Silva. Sobre a Igualdade Local nos Domínios Intervalos. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco. |
| 14. | SANTIAGO, R. H. N.; ACIÓLY, B. M.; DEQUEIROZ, R.. Participação em banca de Sergio da Silva Aguiar. Uma Lógica Intuicionista Bidimensional com Semântica Categórica. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco. |
| 15. | SANTIAGO, R. H. N.; SILVA, Ivan Saraiva; DIMURO, G.; BEDREGAL, Benjamin René Callejas. Participação em banca de Maria José Lima dos Santos. 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. |
| 16. | SANTIAGO, R. H. N.; COSTA, A. C. R.; BEDREGAL, Benjamin René Callejas. Participação em banca de Maria Mônica Macêdo Torres Silva. 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. |
| 17. | SANTIAGO, R. H. N.; BEDREGAL, Benjamin René Callejas; DOMÍNGUES, A. H.. Participação em banca de Ivanosca Andrade da Silva. 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. |
| 18. | SANTIAGO, R. H. N.; ACIÓLY, B. M.; BEDREGAL, Benjamin René Callejas. Participação em banca de Jose Medeiros dos Santos. 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. |
| 19. | SANTIAGO, R. H. N.; ACIÓLY, B. M.; BEDREGAL, Benjamin René Callejas. Participação em banca de Marcia Maria Castro Cruz. 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. |
| Teses de doutorado |
| 1. | Goldbarg, M. C.; Goldbarg, E. F. G.; SANTIAGO, R. H. N.; SALGADO, M. R. B. S.; LUNA, H. P. L.. Participação em banca de Paulo Henrique Asconavieta da Silva. 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. |
| 2. | SANTIAGO, R. H. N.; DÓRIA NETO, Adrião Duarte; GUERREIRO, A. M. G.; REISER, Renata Hax Sander; LYRA, Aarão. Participação em banca de Fabiana Tristão de Santana. Uma Fundamentação para Sinais e Sistemas Intervalares. 2011. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Rio Grande do Norte. |
| 3. | Favero, E. L.; SANTO, A. E.; OLIVEIRA, R. C. L.; SANTIAGO, R. H. N.; CAMPOS, G. A. L.; SOUZA SOBRINHO, C. L.. Participação em banca de FRANCISCO EDSON LOPES DA ROCHA. 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á. |
| 4. | SANTIAGO, R. H. N.; DÓRIA NETO, Adrião Duarte; ACIÓLY, B. M.; BEDREGAL, Benjamin René Callejas; BEDREGAL, Roberto Callejas. Participação em banca de Aarão Lyra. 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. |
| Qualificações de doutorado |
| 1. | DÓRIA NETO, Adrião Duarte; DIMURO, Graçaliz Pereira; SANTIAGO, R. H. N.. Participação em banca de Claudilene Gomes da Costa. Probabilidades Fuzzy Intuicionistas. 2011. Exame de qualificação (Doutorando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte. |
| 2. | BEDREGAL, B. R. C.; SANTIAGO, R. H. N.; BARROS, L. C.. Participação em banca de Eduardo Silva Palmeira. 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. |
| 3. | SANTIAGO, R. H. N.; DÓRIA NETO, Adrião Duarte; BEDREGAL, B. R. C.; REISER, R. H. S.. Participação em banca de Fabiana Tristão de Santana. 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. |
| 4. | BEDREGAL, B. R. C.; CARVALHO, B. M.; SANTIAGO, R. H. N.; VIANA, J. P.. Participação em banca de Rogério Rodrigues de Vargas. Uma Nova Forma de Calcular os Centros dos Clusters em Algoritmos de Agrupamento Tipo Fuzzy C-Means. 2010. |
| 5. | BEDREGAL, B. R. C.; DÓRIA, A. D.; AGUIAR, M. S.; SANTIAGO, R. H. N.. Participação em banca de Ytalo Rosendo do Amaral. 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. |
| 6. | Goldbarg, M. C.; Goldbarg, E. F. G.; SANTIAGO, R. H. N.; SALGADO, M. D.. Participação em banca de Wagner Emanoel Costa. 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. |
| 7. | Goldbarg, M. C.; Goldbarg, E. F. G.; SALGADO, M. D.; SANTIAGO, R. H. N.. Participação em banca de Paulo Henrique Asconavieta da Silva. 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. |
| 8. | SANTIAGO, R. H. N.; LYRA, Aarão; BEDREGAL, Benjamin René Callejas; BEDREGAL, R. C.; DÓRIA NETO, Adrião Duarte. Participação em banca de Marcia Maria de Castro Cruz. 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. |
| 9. | SANTIAGO, R. H. N.; ACIÓLY, B. M.; BEDREGAL, Benjamin René Callejas; DÓRIA NETO, Adrião Duarte. Participação em banca de Aarão Lyra. 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. |
| Trabalhos de Conclusão de Curso de graduação |
| 1. | SANTIAGO, R. H. N.; Trindade R. M. P.; BEDREGAL, B. R. C.. Participação em banca de Allan Rocha de Menezes. 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. |
| 2. | SANTIAGO, R. H. N.; DÓRIA NETO, Adrião Duarte; BEDREGAL, Benjamin René Callejas. Participação em banca de Anderson Paiva Cruz. 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. |
| 3. | SANTIAGO, R. H. N.; MOREIRA, A. M.; DÉHARBE, D. B. P.. Participação em banca de Demóstenes Santos de Sena. 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. |
| Participação em bancas de comissões julgadoras |
| Concurso público |
| 1. | 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. |
| 2. | SANTIAGO, R. H. N.; BEDREGAL, B. R. C.; FONSECA, I. E.. 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. |
| 3. | 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. |
| 4. | 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. |
| 5. | 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. |
| 6. | 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. |
| 7. | 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. |
| 8. | 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. |
| 9. | 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. |
| 10. | 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. |
| 11. | 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. |
| Outras participações |
| 1. | 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. |
| 2. | 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. |
| 3. | 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. |
| 4. | 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. |
Eventos
| Participação em eventos |
| 1. | .Visita técnica Laboratoire de Recherche en Informatique et ses Applications (LORIA). 2003. (Outra). |
| 2. | .Visita técnica Laboratoire de Recherche en Informatique et ses Applications (LORIA). 2002. (Outra). |
| Organização de eventos |
| 1. | 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). |
| 2. | 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). |
| 3. | 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). |
| 4. | 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). |
| 5. | 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). |
| 6. | SANTIAGO, R. H. N. . Self-validaded methods in Numerical Analysis. 2002. (Outro). |
| 7. | 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). |
Orientações
| Orientações em andamento |
| Dissertação de mestrado |
| 1. | Marciano Gonçalves. Inteiros Não-sinalizados em Java e suas aplicações em computações intervalares. Início: 2010. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte. (Orientador). |
| 2. | Emmanuelly Monteiro Silva de Sousa. Números Complexos Fuzzy. Início: 2010. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador). |
| Tese de doutorado |
| 1. | Liliane Ribeiro da Silva. Métricas Informátivas. Fundamentos e Aplicações.
Início: 2011. 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). |
| 2. | Flaulles Boone Bergamaschi. Morfologia Intervalar Difusa. Fundamentos e Aplicações.
Início: 2011. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte. (Orientador). |
| 3. | Anderson Paiva Cruz. Lógicas Difuso-modais. Início: 2010. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte. (Orientador). |
| 4. | Giovani Angelo da Silva Nóbrega. Matemática Intervalar e Aprendizado de Máquina.
Início: 2010. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte. (Orientador). |
| 5. | Fagner Lemos de Santana. Distâncias Intervalares e suas Aplicações. Início: 2008. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte. (Orientador). |
| Supervisão de pós-doutorado |
| 1. | Benedito Melo Acióly. A non-classical approach to Interval Analysis. Início: 2011. Universidade Federal do Rio Grande do Norte. |
| Supervisões e orientações concluídas |
| Dissertação de mestrado |
| 1. | Anderson Paiva Cruz. 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. |
| 2. | José Frank Viana da Silva. Arredondamento Direcionado em JAVA. 2006. 0 f. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, . Co-Orientador: Regivan Hugo Nunes Santiago. |
| 3. | Adriano Xavier Carvalho. 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. |
| 4. | Katiane Lopes. Extendendo 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. |
| 5. | Maria José Lima dos Santos. 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, . Co-Orientador: Regivan Hugo Nunes Santiago. |
| 6. | José Medeiros dos Santos. 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. |
| 7. | Marcia Maria de Castro Cruz. 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. |
| Tese de doutorado |
| 1. | Fabiana Tristão de Santana. 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. |
| 2. | Marcia Maria de Castro Cruz. Uma Fundamentação Intervalar Aplicada à Morfologia Matemática. 2008. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Rio Grande do Norte, . Co-Orientador: Regivan Hugo Nunes Santiago. |
| Iniciação Científica |
| 1. | Allan Rocha de Menezes. 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. |
| 2. | Thiago Medeiros Barros. 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. |
| 3. | Kelly Patrícia da Silva. 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. |
| 4. | João Paulo de araújo Bezerra. 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. |
| Orientações de outra natureza |
| 1. | Diego Sotero Chacon - Mat 2009033841. 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. |
| 2. | Dyego Caldas Luz - Mat 2009033850. 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. |
| 3. | Eduardo Alexandre Ferreira Silva - Mat 2009033868. 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. |
| 4. | Ericksen Hilston Lima - Mat 2009033876. 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. |
| 5. | Felipe Xavier de Albuquerque - Mat 2009033884. 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. |
| 6. | Flavio Fernando Vasconcelos - Mat 2009033892. 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. |
| 7. | Gabriela Oliveira da Trindade - Mat 2009033806. 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. |
| Página gerada pelo Sistema Currículo Lattes em 09/02/2012 às 22:01:50 |