Dalcidio Moraes Claudio

Bacharel em Matemática pela Universidade Federal do Rio Grande do Sul (1973) e Doutorado em Matemática Aplicada - Universitat Karlsruhe - Alemanha (1979). Tem experiência na área de Ciência da Computação, com ênfase em Matemática da Computação, tendo atuado principalmente nos seguintes temas: intervalos, internet no ensino de matemática e cálculo numérico. Professor aposentado pela UFRGS(1996) e PUCRS(2012). Atuou de 2012 a 2014 como voluntário no HSL - Hospital São Lucas da PUCRS. Desde 2014 atua como voluntário na Sociedade Beneficente Espírita Bezerra de Menezes em Porto Alegre nas áreas de : Fluidoterapia , Preces e Irradiações e Apoio e Valorização a Vida .

Informações coletadas do Lattes em 18/01/2026

Acadêmico

Formação acadêmica

Doutorado em Matemática Aplicada

1975 - 1979

Karlsruher Institut für Technologie
Título: Beitraege zur Struktur der Rechnerarithmetik
Orientador: Ulrich Kulisch
Grande área: Ciências Exatas e da Terra

Graduação em Bacharelado Em Matemática

1970 - 1973

Universidade Federal do Rio Grande do Sul

Pós-doutorado

1996 - 1997

Pós-Doutorado. , Karlsruher Institut für Technologie, KIT, Alemanha. , Grande área: Ciências Exatas e da Terra

1986 - 1987

Pós-Doutorado. , Karlsruher Institut für Technologie, KIT, Alemanha. , Grande área: Ciências Exatas e da Terra

Formação complementar

2012 - 2012

curso de preparação para o voluntariado. (Carga horária: 21h). , Federação das Indústrias do Estado do Rio Grande do Sul, FIERGS, Brasil.

Idiomas

Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Espanhol

Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Pouco.

Francês

Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.

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: Matemática da Computação.

Grande área: Ciências Exatas e da Terra / Área: Matemática.

Participação em eventos

9 Congresso Espírita Do Rio Grande do Sul. 2017. (Congresso).

Dependência Quimica - AME. 2017. (Seminário).

Espiritismo em ação-Conhecer Para Servir. 2017. (Seminário).

III Encontro Nacional Espirita De Surdos e Ouvintes. 2017. (Encontro).

Seminário Internacional Pare Pense. 2012. (Seminário).

Capacitação Docente na PUCRS - Seminário Inovação e Mudança Curricular nos Cursos de Graduação: Desafios e Tendências a Partir das Diretrizes Curriculares. 2006. (Seminário).

Oficina - Filosofia e Poesia: O Olhar e a Palavra no encontro da Alteridade. 2006. (Oficina).

Capacitação Docente na PUCRS - Vivências e Visão de Futuro. 2005. (Encontro).

Programa de Extensão Universitária. 2005. (Encontro).

V CIBEM - Congresso Ibero-Americano de Educação Matemática. V CIBEM - Congresso Ibero-Americano de Educação Matemática. 2005. (Congresso).

XI Salão de Iniciação Científica da ULBRA.XI Salão de Iniciação Científica da ULBRA. 2005. (Outra).

I Simpósio de Propriedade Intelectual da PUCRS.I Simpósio de Propriedade Intelectual da PUCRS. 2004. (Simpósio).

V Fórum de Pesquisa Científica e Tecnológica.V Fórum de Pesquisa Científica e Tecnológica. 2004. (Encontro).

V Salão de Iniciação Científica. Representação de equações com coeficientes intervalares. 2004. (Congresso).

V Salão de Iniciação Científica.Ambiente computacional para estudo e pesquisa de matemática por conteúdos. 2004. (Encontro).

V Salão de Iniciação Científica.V Salão de Iniciação Científica. 2004. (Encontro).

X Salão de Iniciação Científica.X Salão de Iniciação Científica. 2004. (Encontro).

XXVII CNMAC - Congresso Nacional de Matemática Aplicada e Computacional. XXVII CNMAC - Congresso Nacional de Matemática Aplicada e Computacional. 2004. (Congresso).

XXVII CNMAC - Congresso Nacional de Matemática Aplicada e Computacional.A Matemática Intervalar no Brasil: Origens e Estado da Arte. 2004. (Simpósio).

XXVII CNMAC - Congresso Nacional de Matemática Aplicada e Computacional.Matemática e Fundamentos da Computação: Modelos e Aplicações. 2004. (Simpósio).

Módulo de Capacitação: Aprendizagem e Ensino - Concepções e Dinâmicas de Ação em Aula. 2003. (Encontro).

Participação em bancas

Aluno: Márcio Dorn

CLAUDIO, Dalcidio Moraes. Uma Proposta para a Predição Computacional da Estrutura 3D Aproximada de Polipeptídeos com Redução do Espaço Conformacional Utilizando Análise de Intervalos. 2008. Dissertação (Mestrado em Programa de Pós-Graduação em Ciênica da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Marcos Borba Cardoso

CLAUDIO, Dalcidio Moraes. Uma Proposta para a Predição Computacional da Estrutura Terciária de Polipeptídeos. 2007. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Nathalie Rey da Silva

CLAUDIO, Dalcidio Moraes. Visualização 3D de Dados Oceanográficos Simulados. 2006. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Ricardo de Gasperi Presotto

CLAUDIO, Dalcidio Moraes. Otimizações para a Multidão Vetor-Descritor através do Algoritmo Slice. 2006. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Diego Alonzo Hinojosa Foronda

CLAUDIO, Dalcidio Moraes. Estudo Exploratório da Indexação Semântica Latente e das Funções 'peso'. 2006. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Luís Alberto Prates Piccoli

CLAUDIO, Dalcidio Moraes. A Construção de Conceitos em Matemática: Uma Proposta Usando Tecnologia da Informação. 2006. Dissertação (Mestrado em Programa de Pós-Graduação em Ciências e Matemática) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Tifani Teixeira Gonçalvez

CLAUDIO, Dalcidio Moraes. Algoritmos Adaptativos para o Método GMRES(m). 2005. Dissertação (Mestrado em Matemática Aplicada) - Universidade Federal do Rio Grande do Sul.

Aluno: Mariana Luderitz Kolberg

CLAUDIO, Dalcidio Moraes. Redefinição de Expressões Exatas em C-XSC. 2005. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Marlusa Benedetti da Rosa

CLAUDIO, Dalcidio Moraes; ROCHA FILHO, João Bernardes da; GARCIA, Vera Clotilde Vanzetto. A Construção do Conceito de Função em Atividades Integradas entre a Matemática e a Física. 2005. Dissertação (Mestrado em Educação em Ciências e Matemática) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Maria Beatriz dos Santos Almeida Moraes

CLAUDIO, Dalcidio Moraes; SILVEIRA, Fernando Lang da; BRUNNET, Leonardo Gregory; TEIXEIRA, Rejane Maria Ribeiro. Uma Proposta para ensino de Eletrodinâmica no Nível Médio. 2005. Dissertação (Mestrado em Física) - Universidade Federal do Rio Grande do Sul.

Aluno: Dolurdes Voos

CLAUDIO, Dalcidio Moraes. Dissertação. 2005. Dissertação (Mestrado em Educação em Ciências e Matemática) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Simone Fátima Zanoello

CLAUDIO, Dalcidio Moraes; SEGATTO, Cynthia Feijó; CLAEYSSEN, Julio Cesar Ruiz. Raízes Polinomiais em Corpos Finitos. 2004. Dissertação (Mestrado em Matemática Aplicada) - Universidade Federal do Rio Grande do Sul.

Aluno: Osmar Fernandes de Oliveira Júnior

BEDREGAL, Benjamín René Callejas;CLAUDIO, Dalcidio Moraes; LYRA, Aarão; SANTIAGO, Regivan Hugo Nunes; DÓRIA NETO, Adrião Duarte. Múmeros Dinâmicos: uma abordagem computacional orientada a objetos com implementação na linguagem Java. 2004. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: Maria Helena Sório de Carvalho

CLAUDIO, Dalcidio Moraes; PINET, Carlos Eduardo da Cunha; TEIXEIRA, Rejane Maria Ribeiro. Uso de software no ensino de Matemática: uma investigação na rede estadual de Ensino Médio de Porto Alegre. 2004. Dissertação (Mestrado em Educação em Ciências e Matemática) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Dolurdes Voos

CLAUDIO, Dalcidio Moraes; PINET, Carlos Eduardo da Cunha; GRAVINA, Maria Alice. Educação Matemática, Software e Rede de Professores: Repercussões no Discurso e na Prática Pedagógica. 2004. Dissertação (Mestrado em Educação em Ciências e Matemática) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: LESSA DE CARLI BELEZA

CLAUDIO, Dalcidio Moraes. Simulação do Movimento Sangüineo na Artéria Carótica usando Diferenças Finitas. 2003. Dissertação (Mestrado em Matemática Aplicada) - Universidade Federal do Rio Grande do Sul.

Aluno: Thais Christina Webber dos Santos

CLAUDIO, Dalcidio Moraes; FERNANDES, Paulo Henrique Lemelle; ZORZO, Avelino Francisco; ALMEIDA, Virgílio Augusto Fernandes. Alternativas para o Tratamento Numérico Otimizado da Multiplicação Vetor-Descritor. 2003. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Eliamara Ceresoli

CLAUDIO, Dalcidio Moraes. Dissertação. 2002. Dissertação (Mestrado em Matemática Aplicada) - Universidade Federal do Rio Grande do Sul.

Aluno: Luciano Vargas Flores

CLAUDIO, Dalcidio Moraes. Dissertação. 2002. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Dulcenéia Becker

CLAUDIO, Dalcidio Moraes. Dissertação. 2001. Dissertação (Mestrado em Matemática Aplicada) - Universidade Federal do Rio Grande do Sul.

Aluno: Luicile Matei Jacoby

CLAUDIO, Dalcidio Moraes. Dissertação. 2000. Dissertação (Mestrado em Matemática) - Universidade Federal do Rio Grande do Sul.

Aluno: Roque Roman da Silveira

CLAUDIO, Dalcidio Moraes. Dissertação. 2000. Dissertação (Mestrado em Matemática Aplicada) - Universidade Federal do Rio Grande do Sul.

Aluno: Aline Brum Loreto

CLAUDIO, Dalcidio Moraes. Dissertação. 2000. Dissertação (Mestrado em Matemática Aplicada) - Universidade Federal do Rio Grande do Sul.

Aluno: Maria da Graça Gomes

CLAUDIO, Dalcidio Moraes. Dissertação. 1999. Dissertação (Mestrado em Matemática Aplicada) - Universidade Federal do Rio Grande do Sul.

Aluno: Francisco Alberto Rheingantz da Silveira

CLAUDIO, Dalcidio Moraes. Dissertação. 1998. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Orly Tarcísio Spannemberg

CLAUDIO, Dalcidio Moraes. Dissertação. 1998. Dissertação (Mestrado em Matemática Aplicada) - Universidade Federal do Rio Grande do Sul.

Aluno: Regina Barwaldt

CLAUDIO, Dalcidio Moraes; FRANCO, Sérgio Roberto Kieling. Sistema com Recurso de Voz: Uma Proposta para Favorecer o Processo de Interação e Inclusão dos Cegos em Ambientes Virtuais de Aprendizagem. 2007. Tese (Doutorado em Programa de Pós-Graduação em Educação) - Universidade Federal do Rio Grande do Sul.

Aluno: Carlos Amaral Hölbig

CLAUDIO, Dalcidio MoraesNAVAUX, Philippe Olivier Alexandre; MAILLARD, Nicolas Bruno;DIMURO, Graçaliz PereiraREISER, Renata Hax SanderDIVERIO, Tiaraju Asmuz. Ambiente de Alto Desempenho com Alta Exatidão. 2005. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Marilton Sanchotene de Aguiar

CLAUDIO, Dalcidio Moraes. Um Modelo Categorizador Intervalar n-Dimensional com L-Camadas Baseado em Tesselações. 2004. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Isolda Giani de Lima

CLAUDIO, Dalcidio Moraes; VALENTINI, Carla Beatris; SOARES, Eliana Maria Do Sacramento; FRANCO, Sérgio Roberto Kieling;COSTA, Antônio Carlos da Rocha; MARASCHIN, Cleci. Mecam: metodologia e recursos tecnológicos para a melhoria das condições de aprendizagem de matemática. 2004. Tese (Doutorado em Informática na Educação) - Universidade Federal do Rio Grande do Sul.

Aluno: Luciano Gonsalves Costa

CLAUDIO, Dalcidio Moraes; CARVALHO, Marie Jane; AMORETTI, Maria Suzana Marc; BARONE, Dante Augusto Couto; NEVES, Marcos Cesar Danhoni. O Ensino de Física para Deficientes Visuais e as Tecnologias de Informação e Comunicação: um Estudo de Processo de Desenvolvimento Conceitual. 2003. Tese (Doutorado em Informática na Educação) - Universidade Federal do Rio Grande do Sul.

Aluno: Eunice Polonia

CLAUDIO, Dalcidio Moraes; LIMA, Marilia dos Santos; FRANCO, Sérgio Roberto Kieling; FAGUNDES, Léa da Cruz; BARONE, Dante Augusto Couto. Parâmetros para Procedimentos Pedagógicos na Aprendizagem das Relações Forma-Significado em Inglês como Língua Estrangeira em uma Rede Telemática. 2003. Tese (Doutorado em Informática na Educação) - Universidade Federal do Rio Grande do Sul.

Aluno: Isolda Giani de Lima

CLAUDIO, Dalcidio Moraes; SOARES, Eliana Maria Do Sacramento; FRANCO, Sérgio Roberto Kieling;COSTA, Antônio Carlos da Rocha; MARASCHIN, Cleci. MECAM: Metodologia e Recursos Tecnológicos para a Melhoria das Condições de Aprendizagem de Matemática. 2003. Tese (Doutorado em Informática na Educação) - Universidade Federal do Rio Grande do Sul.

Aluno: Márcia de Borba Campos

CLAUDIO, Dalcidio Moraes. Tese. 2001 - Universidade Federal do Rio Grande do Sul.

Aluno: Regivan Hugo Nunes Santiago

CLAUDIO, Dalcidio Moraes. Tese. 1999. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

CLAUDIO, Dalcidio Moraes. Comitê Externo para Avaliação das Bolsas PIBIC/CNPq. 2006. Universidade do Vale do Rio dos Sinos.

CLAUDIO, Dalcidio Moraes. Comitê Externo para Avaliação das Bolsas PIBIC/CNPq. 2006. Universidade Luterana do Brasil.

CLAUDIO, Dalcidio Moraes. Consultor Ad-hoc nas Propostas de Projetos de Pesquisa do Edital 2007. 2006. Universidade Católica de Brasília.

CLAUDIO, Dalcidio Moraes. Comitê de Avaliação de Projetos de Pesquisa em 2005. 2005. Universidade Luterana do Brasil.

CLAUDIO, Dalcidio Moraes. Comissão Avaliadora do Edital BPA/PUCRS Nº 01/2005. 2005. Pontifícia Universidade Católica do Rio Grande do Sul.

CLAUDIO, Dalcidio Moraes. Comitê Externo de Avaliação do PIBIC/CNPq. 2004. Universidade do Vale do Rio dos Sinos.

CLAUDIO, Dalcidio Moraes. Comitê Externo para Avaliação das Bolsas PIBIC/CNPq. 2004. Universidade Luterana do Brasil.

CLAUDIO, Dalcidio Moraes. Seleção para Professor na área de Teoria da Computação. 1998. Universidade de Passo Fundo.

Orientou

André Vinicius dos Santos

EQUAÇÕES COM COEFICIENTES INTERVALARES; 2007; Dissertação (Mestrado em Programa de Pós-Graduação em Ciênica da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul,; Orientador: Dalcidio Moraes Claudio;

Nathalie Rey da Silva

VISUALIZAÇÃO 3D DE DADOS OCEONÁGRAFICOS SIMULADOS; 2006; Dissertação (Mestrado em Programa de Pós-Graduação em Ciênica da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul,; Orientador: Dalcidio Moraes Claudio;

Luís Alberto Prates Piccoli

A CONSTRUÇÃO DE CONCEITOS EM MATEMÁTICA: UMA PROPOSTA USANDO TECNOLOGIA DE INFORMAÇÃO; 2006; Dissertação (Mestrado em Programa de Pós-Graduação em Ciências e Matemática) - Pontifícia Universidade Católica do Rio Grande do Sul,; Orientador: Dalcidio Moraes Claudio;

Mariana Luderitz Kolberg

REDEFINIÇÃO DE EXPRESSÕES EXATAS EM C-XSC; 2005; 48 f; Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul,; Orientador: Dalcidio Moraes Claudio;

Dolurdes Voos

Dissertação; 2005; 0 f; Dissertação (Mestrado em Educação em Ciências e Matemática) - Pontifícia Universidade Católica do Rio Grande do Sul,; Orientador: Dalcidio Moraes Claudio;

Fernanda Guedes

USO DE SOFTWARE COM APLICAÇÕES NO ENSINO MÉDIO; 2004; 0 f; Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul,; Orientador: Dalcidio Moraes Claudio;

Daniela Rodrigues

CONSTRUÇÃO DO ESPAÇO INTERVALAR E RESOLUÇÃO DE EQUAÇÕES LINEARES; 2002; 0 f; Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul,; Orientador: Dalcidio Moraes Claudio;

Simone Cristine Mendes

APLICAÇÕES DO PARADIGMA FUNCIONAL NO ENSINO DE MATEMÁTICA DISCRETA; 2001; 134 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Dalcidio Moraes Claudio;

André Luis Andrejew Ferreira

AVALIAÇÃO DE SOFTWARE NO ENSINO DE CÁLCULO; 1999; 0 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Dalcidio Moraes Claudio;

Fabiana Zamora Wilke

ESTRATÉGIAS PARA ANÁLISE DO ERRO DE MEDIÇÃO EM MÁQUINAS DE MEDIÇÃO DE COORDENADAS; 1998; 0 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Dalcidio Moraes Claudio;

Renata Hax Sander Reiser

ESTUDO DA CATEGORIA DOS ESPAÇOS COERENTES GERADOS POR CONJUNTOS BÁSICOS COM UMA APLICAÇÃO EM ANÁLISE NUMÉRICA; 1997; 0 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Dalcidio Moraes Claudio;

Carlos Amaral Hölbig

MÉTODOS INTERVALARES PARA A RESOLUÇÃO DE SISTEMAS DE EQUAÇÕES LINEARES; 1996; 0 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Dalcidio Moraes Claudio;

Magda Leyser

AMBIENTES COMPUTACIONAIS PARA CÁLCULO NUMÉRICO; 1996; 0 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Dalcidio Moraes Claudio;

Debora Laurino Maçada

AMBIENTE INFORMATIZADO PARA O ENSINO DE MÉTODOS NUMÉRICOS; 1995; 0 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Dalcidio Moraes Claudio;

Paulo Werlang de Oliveira

ANÁLISE INTERVALAR; 1995; 0 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Dalcidio Moraes Claudio;

Luis da Cunha Lamb

UMA ABORDAGEM CATEGÓRICA À TEORIA DAS MÁQUINAS SEQÜENCIAIS; 1995; 0 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Dalcidio Moraes Claudio;

Leda Mara Cadore

ESTUDO, ANÁLISE E VALIDAÇÃO DE ZEROS DE POLINÔMIOS; 1994; 0 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Dalcidio Moraes Claudio;

Heidi Korzenowski

ESTUDO SOBRE RESOLUÇÃO DE EQUAÇÕES DE COEFICIENTES INTERVALARES; 1994; 0 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Dalcidio Moraes Claudio;

Rosa Rita Maenza

HIPERTEXTO COMO FERRAMENTA DE APOIO NO PROCESSO DE ENSINO-APRENDIZAGEM; 1994; 0 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Dalcidio Moraes Claudio;

Ana Lizete de Oliveira Trindade

IDENTIFICAÇÃO DOS PADRÕES ESPECTRAIS DE FONEMAS DA LINGUA PORTUGUESA E SUA LOCALIZAÇÃO AUTOMÂTICA EM AMOSTRAS DE FALA; 1994; 0 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Dalcidio Moraes Claudio;

Patricia Alejandra Behar

AVALIAÇÃO DE SOFTWARE EDUCACIONAIS NO PROCESSO DE ENSINO-APRENDIZAGEM COMPUTADORIZADO: ESTUDO DE CASO; 1993; 0 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Dalcidio Moraes Claudio;

Martin Hötzel Escardó

NÚMEROS NATURAIS PARCIAIS; 1992; 0 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Dalcidio Moraes Claudio;

Joao Batista Souza de Oliveira

UMA FERRAMENTA PARA DETERMINAÇÃO DE ZEROS POLINOMIAIS; 1992; 0 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Dalcidio Moraes Claudio;

Claudia Helena Fettermann Batistela

OTIMIZAÇÕES MÚLTIPLAS: UMA APLICAÇÃO À QUÍMICA; 1991; 0 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Dalcidio Moraes Claudio;

[Nome removido após solicitação do usuário]

DOMÍNIOS INTERVALARES DA MATEMÁTICA COMPUTACIONAL; 1991; 0 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Dalcidio Moraes Claudio;

Luis Carlos Guerreiro Lopes

MÉTODOS COMPUTACIONAIS PARA DETERMINAÇÃO DE RAÍZES COMPLEXAS DE EQUAÇÕES POLINOMIAIS; 1991; 0 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Dalcidio Moraes Claudio;

Clevi Elena Rapkiewicz

INFORMÁTICA E EDUCAÇÃO ESPECIAL: USO DE PROCESSAMENTO DE VOZ PARA DEFICIENTES AUDITIVOS; 1990; 0 f; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro,; Orientador: Dalcidio Moraes Claudio;

Maria Angelica de Oliveira Camargo

INSTABILIDADE E COMPLEXIDADE COMPUTACIONAL DA AVALIAÇÃO POLINOMIAL; 1988; 0 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Dalcidio Moraes Claudio;

Beatriz Regina Tavares Franciosi

PROJETO DE INTERFACES GRÁFICAS PARA O ENSINO DE DEFICIENTES AUDITIVOS; 1988; 0 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Dalcidio Moraes Claudio;

Margareth Irene Schaffer

ANÁLISE COMPUTACIONAL DE MÉTODOS ITERATIVOS UNIPONTUAIS E MULTIPONTUAIS PARA A RESOLUÇÃO DE EQUAÇÕES NÃO LINEARES; 1987; 0 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Dalcidio Moraes Claudio;

Tiarajú Asmuz Divério

SOFTWARE NUMÉRICO: APLICATIVO E INSTRUCIONAL; 1986; 0 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Dalcidio Moraes Claudio;

Jussara Maria Marins

MÉTODOS COMPUTACIONAIS PARA O CÁLCULO DE RAÍZES REAIS DE EQUAÇÕES POLINOMIAIS; 1982; 0 f; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Dalcidio Moraes Claudio;

Mariana Luderitz Kolberg

parallel self-verified solver for dense linear systems; 2009; Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Dalcidio Moraes Claudio;

Carlos Amaral Hölbig

AMBIENTE DE ALTO DESEMPENHO COM ALTA EXATIDÃO PARA A RESOLUÇÃO DE PROBLEMAS; 2005; 0 f; Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul,; Coorientador: Dalcidio Moraes Claudio;

Liara Aparecida dos Santos Leal

UMA FUNDAMENTAÇÃO TEÓRICA PARA A COMPLEXIDADE ESTRUTURAL DE PROBLEMAS DE OTIMIZAÇÃO; 2002; 0 f; Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Dalcidio Moraes Claudio;

Renata Hax Sander Reiser

UM MODELO SEMÂNTICO PARA CONCORRÊNCIA E NÃO-DETERMINISMO UTILIZANDO COMO ESTRUTURA OS ESPAÇOS COERENTES; 2000; 0 f; Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul,; Coorientador: Dalcidio Moraes Claudio;

Beatriz Regina Tavares Franciosi

REPRESENTAÇÃO GEOMÉTRICA DE INTERVALOS; 1999; 0 f; Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Dalcidio Moraes Claudio;

[Nome removido após solicitação do usuário]

UMA REPRESENTAÇÃO CONSTRUTIVA GLOBAL PARA SISTEMAS ORDENADOS DE 2a; ORDEM EM ESPAÇOS COERENTES INTERVALARES BI-ESTRUTURADOS, COM APLICAÇÃO EM MATEMÁTICA INTERVALAR; 1998; 0 f; Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Dalcidio Moraes Claudio;

Jussara Maria Marins

LOCALIZAÇÃO DE ZEROS REAIS DE POLINÔMIOS INTERVALARES; 1996; 0 f; Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Dalcidio Moraes Claudio;

Tiarajú Asmuz Divério

USO EFETIVO DA MATEMÁTICA INTERVALAR EM SUPERCOMPUTADORES VETORIAIS; 1995; 0 f; Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Dalcidio Moraes Claudio;

Maria Angelica de Oliveira Camargo

ALGORITMOS ALGÉBRICOS PARA ENUMERAR E ISOLAR ZEROS POLINOMIAIS COMPLEXOS; 1994; 0 f; Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Dalcidio Moraes Claudio;

ANTÔNIO CARLOS DA ROCHA COSTA

INTELIGÊNCIA DE MÁQUINA: ESBOÇO DE UMA ABORDAGEM CONSTRUTIVISTA; 1993; 0 f; Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Dalcidio Moraes Claudio;

Benedito Melo Acyoli

FUNDAMENTAÇÃO COMPUTACIONAL DA MATEMÁTICA INTERVALAR; 1991; 0 f; Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul,; Orientador: Dalcidio Moraes Claudio;

Produções bibliográficas

KOLBERG, Mariana Luderitz ; Fernandes, Luiz Gustavo ; CLAUDIO, Dalcidio Moraes . Dense Linear System: A Parallel Self-verified Solver. International Journal of Parallel Programming , v. 36, p. 412-425, 2008.
Fortes, Luciane ; Giraffa, Lúcia ; Claudio, Dalcidio Moraes . Estendendo a sala de aula tradicional para o ciberespaço: Uma experiência com o ensino de Cálculo. Hífen (Uruguaiana. Online) , v. 1, p. 1, 2008.
KOLBERG, Mariana Luderitz ; BOHLENDER, Gerd ; CLAUDIO, Dalcidio Moraes . IMPROVING THE PERFORMANCE OF A VERIFIED LINEAR SYSTEM SOLVER USING OPTIMIZED LIBRARIES AND PARALLEL COMPUTING. Lecture Notes in Computer Science , v. 5336, p. 13-26, 2008.
KOLBERG, Mariana Luderitz ; Baldo, Lucas ; Velho, Pedro ; Fernandes, Luiz Gustavo ; CLAUDIO, Dalcidio Moraes . OPTIMIZING A PARALLEL SELF-VERIFIED METHOD FOR SOLVING LINEAR SYSTEMS. Lecture Notes in Computer Science , v. 4699, p. 949-955, 2007.
LEAL, Liara Aparecida dos Santos ; CLAUDIO, Dalcidio Moraes ; TOSCANI, Laira Vieira ; MENEZES, Paulo Blauth . APPROXIMATION PROBLEMS CATEGORIES. Lecture Notes in Computer Science , v. 3643, p. 9-14, 2005.
MARKOV, Svetoslav ; CLAUDIO, Dalcidio Moraes . ON THE APPROXIMATION OF CENTERED ZONOTOPES IN THE PLANE. Lecture Notes in Computer Science , Bulgária, v. 1, p. 246-253, 2004.
KOLBERG, Mariana Luderitz ; HÖLBIG, Carlos Amaral ; BOHLENDER, Gerd ; CLAUDIO, Dalcidio Moraes . NEW ACCURATE EXPRESSIONS IN C-XSC. Proceedings In Applied Mathematics And Mechanics, Berlin, v. 4, p. 592-593, 2004.
HÖLBIG, Carlos Amaral ; KOLBERG, Mariana Luderitz ; DIVERIO, Tiaraju Asmuz ; CLAUDIO, Dalcidio Moraes . SOLVING LINEAR SYSTEMS WITH HIGH ACCURACY ON CLUSTER COMPUTERS. Proceedings In Applied Mathematics And Mechanics, Berlin, v. 4, n.1, p. 259-259, 2004.
KOLBERG, Mariana Luderitz ; HÖLBIG, Carlos Amaral ; BOHLENDER, Gerd ; CLAUDIO, Dalcidio Moraes . A CATEGORICAL VIEW TO STRUCTURAL COMPLEXITY. Proceedings In Applied Mathematics And Mechanics, Berlin, v. 2907, p. 592-593, 2004.
MARKOV, Svetoslav ; CLAUDIO, Dalcidio Moraes . ON THE INTERVAL ARITHMETIC IN MIDPOINT-RADIUS FORM. Lecture Notes in Computer Science , Bulgária, v. 1, p. 434-439, 2004.
HÖLBIG, Carlos Amaral ; CLAUDIO, Dalcidio Moraes ; DIVERIO, Tiaraju Asmuz . COMPUTAÇÃO VERIFICADA EM AGREGADOS DE COMPUTADORES. Cadernos de Informática (UFRGS) , Porto Alegre - RS, v. 3, n.1, p. 145-150, 2003.
LEAL, Liara Aparecida dos Santos ; CLAUDIO, Dalcidio Moraes ; TOSCANI, Laira Vieira ; MENEZES, Paulo Blauth . A CATEGORICAL APPROACH TO NP-HARD OPTIMATION PROBLEMS. Lecture Notes in Computer Science , Alemanha, v. 2809, p. 62-73, 2003.
LEAL, Liara Aparecida dos Santos ; CLAUDIO, Dalcidio Moraes ; MENEZES, Paulo Blauth ; TOSCANI, Laira Vieira . A MODELLING THE APPROXIMATION HIERARCHY TO OPTIMIZATION PROBLEMS THROUGH CATEGORY THEORY. CASYS. International Journal of Computing Anticipatory Systems , Bélgica, v. 1, p. 336-349, 2002.
AKYILDIZ, A ; CLAUDIO, Dalcidio Moraes ; MARKOV, Svetoslav . ON THE LINEAR COMBINATIONS OF SYMMETRIC SEGMENTS. Lecture Notes in Computer Science , Bulgária, v. 1, p. 321-326, 2002.
LEAL, Liara Aparecida dos Santos ; MENEZES, Paulo Blauth ; CLAUDIO, Dalcidio Moraes ; TOSCANI, Laira Vieira . OPTIMIZATION PROBLEMS CATEGORIES. Lecture Notes in Computer Science , Alemanha, v. 2178, p. 285-299, 2001.
CLAUDIO, Dalcidio Moraes ; DOBNER, Hans J . A NEW APPROACH FOR SOLVING EQUATIONS WITH INTERVAL COEFFICIENTS. Mathematica Balkanica , Sofia-Bulgária, v. 15, n.3-4, p. 227-238, 2001.
DIMURO, Graçaliz Pereira ; COSTA, Antônio Carlos da Rocha ; CLAUDIO, Dalcidio Moraes . A COHERENCE SPACE OF RATIONAL INTERVALS FOR A CONSTRUCTION OF IR. Reliable Computing , Dordrecht, v. 6, n.2, p. 139-178, 2000.
CAMARGO-BRUNETTO, M. A. O. ; CLAUDIO, Dalcidio Moraes ; TREVISAN, V. . AN ALGEBRAIC ALGORITHM TO ISOLATE COMPLEX POLYNOMIAL ZEROS USING STURM SEQUENCES. Computers and Mathematics With Applications , New York - Estados Unidos, v. 39, p. 95-105, 2000.
WILKE, Fabiana Zamora ; OLIVEIRA, João Batista Souza de ; CLAUDIO, Dalcidio Moraes . STRATEGIES FOR MEASUREMENT ERROR ANALYSIS IN COORDINATE MEASURING MACHINES. Tema Tendências Em Matemática Aplicada, São Carlos - São Paulo, v. 1, p. 233-244, 2000.
CLAUDIO, Dalcidio Moraes ; DOBNER, Hans J . CONSTRUCTIVE ERROR ANALYSISFOR LINEAR DIFFERENTIAL AND INTEGRAL EQUATIONS. Lecturas Matemáticas, Colômbia, v. 19, p. 69-86, 1999.
WILKE, Fabiana Zamora ; FRANCIOSI, B. R. T. ; OLIVEIRA, P. W. ; CLAUDIO, Dalcidio Moraes . MODELLING THE MEASUREMENT UNCERTAINTY BY INTERVALS. Journal Of Universal Computer Science, Estados Unidos, v. 4, p. 82-88, 1998.
ALEFELD, G. ; CLAUDIO, Dalcidio Moraes . THE BASIC PROPERTIES OF INTERVAL ARITHMETIC, ITS SOFTWARE REALIZATIONS AND SOME APPLICATIONS. Computers And Structures, Estados Unidos, v. 67, p. 3-8, 1998.
OLIVEIRA, P. W. ; CLAUDIO, Dalcidio Moraes . AN INTERVAL FIXED POINT THEOREM. Revista de Informática Teórica e Aplicada , Porto Alegre - RS, v. 3, p. 117-131, 1997.
DIVERIO, Tiaraju Asmuz ; CLAUDIO, Dalcidio Moraes . COMPUTATIONAL ARITHMETIC: AN UPDATED VIEW. Revista de Informática Teórica e Aplicada , Porto Alegre - RS, v. 3, p. 167-181, 1997.
DIVERIO, Tiaraju Asmuz ; NAVAUX, Philippe Olivier Alexandre ; CLAUDIO, Dalcidio Moraes ; HÖLBIG, Carlos Amaral ; FERNANDES, U. A. L. ; SAGULA, R. L. . HIGH PERFORMANCE WITH HIGH ACCURACY LABORATORY. Revista de Informática Teórica e Aplicada , Porto Alegre - RS, v. 3, p. 35-53, 1997.
DIVERIO, Tiaraju Asmuz ; FERNANDES, U. A. L. ; CLAUDIO, Dalcidio Moraes . ERRORS IN VECTOR PROCESSING AND THE LIBRARY LIBAVI.A. Reliable Computing , Estados Unidos, v. 2, p. 103-109, 1996.
CLAUDIO, Dalcidio Moraes ; OLIVEIRA, João Batista Souza de . INTERVAL APPROXIMATIONS. Zamm Angew Math Mech, Berlin - Alemanha, v. 76, p. 375-376, 1996.
CAMARGO-BRUNETTO, M. A. O. ; TREVISAN, V. ; CLAUDIO, Dalcidio Moraes . ISOLATING COMPLEX POLYNOMIAL ROOTS: AN ALGEBRAIC ALGORITHM USING STURM SEQUENCES. Zamm Angew Math Mech, Berlin - Alemanha, v. 76, p. 367-368, 1996.
CLAUDIO, Dalcidio Moraes ; RUMP, S. M. . INCLUSION METHODS FOR REAL AND COMPLEX FUNCTIONS IN ON VARIABLE. Revista de Informática Teórica e Aplicada , Porto Alegre - RS, v. 2, p. 125-136, 1995.
COSTA, Antônio Carlos da Rocha ; CASTILHO, J. M. V. ; CLAUDIO, Dalcidio Moraes . TOWARD A CONSTRUCTIVE NOTION OF FUNCTIONALITY. Cybernetics and Systems , Vienna - Austria, v. 26, p. 443-480, 1995.
CAMARGO, M. A. O. ; TREVISAN, V. ; CLAUDIO, Dalcidio Moraes . UM ALGORITMO ALGÉBRICO PARA ISOLAR ZEROS POLINOMIAIS COMPLEXOS. Revista de Informática Teórica e Aplicada , Porto Alegre - RS, v. 2, p. 93-113, 1995.
CLAUDIO, Dalcidio Moraes ; ESCARDÓ, M. H. ; FRANCIOSI, B. R. T. . AN ORDER-THEORIC APPROACH TO INTERVAL ANALYSIS. Interval Computations, St. Petersburg - Moscow, v. 3 (5), p. 38-45, 1992.
CLAUDIO, Dalcidio Moraes . SICHERE NUMERIK UND ANZAHL DER KORREKTEN ZIFFERN DER ERRECHNETEN ERGEBNISSE BEI FIXPUNKTSATZ. Zamm Angew Math Mech, Berlin - Alemanha, v. 70, p. 541-542, 1990.
CLAUDIO, Dalcidio Moraes ; ZINGANO, P. R. . A TWO-SIDED METHOD FOR NONLINEAR EQUATIONS WITH CUBIC CONVERGENCE. Revista de Informática Teórica e Aplicada , Porto Alegre - RS, v. 1, p. 21-27, 1989.
CLAUDIO, Dalcidio Moraes ; CUNHA, R. D. . A STABLE ALGORITHM FOR THE CALCULUS OF THE INTERNAL PRESSURE COEFFICIENT ON WIND TUNNELS. Advances in Engineering Software , England, v. 10, p. 215-218, 1988.
CUNHA, R. D. ; CLAUDIO, Dalcidio Moraes . UM ALGORITMO ESTÁVEL PARA O CÁLCULO DO COEFICIENTE DE PRESSÃO INTERNA EM TÚNEIS DE VENTO. Revista Portuguesa de Engenharia de Estruturas, Portugal, v. 10, p. 49-51, 1987.
CLAUDIO, Dalcidio Moraes . HYBRID INTERVALAR ALGORITHMS AND THEIR IMPLEMENTATION ON THE HP-85. Zamm Angew Math Mech, Berlin - Alemanha, v. 66, p. 294-296, 1986.
CLAUDIO, Dalcidio Moraes . AN ALGORITHM FOR SOLVING NONLINEAR EQUATIONS BASED ON THE REGULA FALSI AND NEWTON METHODS. Zamm Angew Math Mech, Berlin - Alemanha, v. 64, p. 407-408, 1984.
CLAUDIO, Dalcidio Moraes . CONTRIBUTIONS TO THE STRUCTURE OF COMPUTER ARITHMETIC. Computing Springer Verlag, Austria, v. 24, p. 115-118, 1980.
OLIVEIRA, P. W. ; SILVEIRA, F. A. R. ; CLAUDIO, Dalcidio Moraes . GEOMETRIA ANALÍTICA: UM ENFOQUE COMPUTACIONAL. Caxambú - MG: SBMAC, 1998. 61p .
OLIVEIRA, P. W. ; DIVERIO, Tiaraju Asmuz ; CLAUDIO, Dalcidio Moraes . FUNDAMENTOS DA MATEMÁTICA INTERVALAR. 1a. ed. Porto Alegre - RS: INSTITUTO DE INFORMATICA DA UFRGS - SAGRA - LUZZATTO, 1997. 93p .
CLAUDIO, Dalcidio Moraes ; CORREA, M. B. ; CAMPOS, M. A. ; LINS, R. D. . LINGUAGENS DE PROGRAMAÇÃO E COMPUTAÇÃO CIENTÍFICA. Canela - RS: José Valdeni de Lima, 1995. 44p .
CLAUDIO, Dalcidio Moraes ; MARINS, J. M. . CÁLCULO NUMÉRICO COMPUTACIONAL: TEORIA E PRÁTICA. 2a. ed. São Paulo - SP: ATLAS, 1994. 464p .
CLAUDIO, Dalcidio Moraes ; VICCARI, R. M. C. . COMPENDIO DE TRABALHOS SOBRE INFORMÁTICA NA EDUCAÇÃO. Porto Alegre - RS: CPGCC - UFRGS, 1994. v. 2.
MARINS, J. M. ; CLAUDIO, Dalcidio Moraes ; SUZIM, A. A. . UM ESTUDO SOBRE CURVAS E SUPERFICIES COM TÓPICOS DE ANÁLISE INTERVALAR. Porto Alegre - RS: CPGCC - UFRGS, 1993. 208p .
ACYOLI, B. M. ; CLAUDIO, Dalcidio Moraes . UM MISTO DE VISÃO CLÁSSICA E MODERNA DE TOPOLOGIA. Porto Alegre - RS: CPGCC - UFRGS, 1992. 114p .
CLAUDIO, Dalcidio Moraes ; FRANCIOSI, B. R. T. ; DIVERIO, Tiaraju Asmuz ; LEYSER, M. . LEPMAC: CADERNO DE EXERCÍCIOS. Porto Alegre - RS: CPGCC - UFRGS, 1990. 48p .
CLAUDIO, Dalcidio Moraes ; MARINS, J. M. . CÁLCULO NUMÉRICO COMPUTACIONAL: TEORIA E PRÁTICA. São Paulo - SP: ATLAS, 1989. 464p .
CLAUDIO, Dalcidio Moraes ; DIVERIO, Tiaraju Asmuz ; TOSCANI, Laira Vieira . FUNDAMENTOS DE MATEMÁTICA COMPUTACIONAL. Porto Alegre - RS: D. C. Luzzatto Ed. Ltda., 1987. 194p .
CLAUDIO, Dalcidio Moraes ; ROYO DOS SANTOS, J. A. . MICROCOMPUTADORES E MINICALCULADORAS: SEU USO EM CIÊNCIAS E ENGENHARIA. 2a. ed. São Paulo - SP: EDGARD BLÜCHER LTDA., 1983. 423p .
HÖLBIG, Carlos Amaral ; MORANDI JÚNIOR, Paulo Sérgio ; CLAUDIO, Dalcidio Moraes ; DIVERIO, Tiaraju Asmuz . SOLVING REAL LIFE APPLICATIONS WITH HIGH ACCURACY. In: Joubert, G. R.; Nagel, W. E.; Peters, F. J.;Plata, O. G.; Tirado, P.. (Org.). Parallel Computing: Current & Future Issues of High-End Computing. Malaga: , 2005, v. 33, p. 317-324.
CLAUDIO, Dalcidio Moraes ; CUNHA, M. L. . AS NOVAS TECNOLOGIAS NA FORMAÇÃO DE PROFESSORES DE MATEMÁTICA. In: Helena Noronha Cury. (Org.). FORMAÇÃO DE PROFESSORES DE MATEMÁTICA UMA VISÃO MULTIFACETADA. Porto Alegre - RS: Edipucrs, 2001, v. , p. 167-190.
MANSSOUR, I. H. ; FREITAS, C. M. D. S. ; CLAUDIO, Dalcidio Moraes ; WAGNER, F. R. . VISUALIZING AND EXPLORING METEOROLOGICAL DATA USING A TOOL-ORIENTED APPROACH. In: Rae Earnshaw; John Vince; Huw Jones. (Org.). VISUALIZATION & MODELING. New York: ACADEMIC PRESS, 1997, v. , p. 47-62.
CLAUDIO, Dalcidio Moraes ; OLIVEIRA, P. W. ; HÖLBIG, Carlos Amaral ; DIVERIO, Tiaraju Asmuz ; SAGULA, R. L. . INTRODUÇÃO À TEORIA DOS INTERVALOS. In: Waldir L. Roque. (Org.). EIMAC'96 - Escola de Inverno de Matemática Aplicada e Computacional. Porto Alegre - RS: CPGCC - UFRGS, 1996, v. , p. 215-244.
OLIVEIRA, João Batista Souza de ; CLAUDIO, Dalcidio Moraes . A USER DIRECTED APPROACH TO FINDING ROOTS OF POLYNOMIALS. In: E. KAUCHER; S. M. MARKOV; G. MAYER. (Org.). COMPUTER ARITHMETIC, SCIENTIFIC COMPUTATION AND MATHEMATICAL MODELLING. Alemanha: J. C. Baltzer AG, Scientific Publishing Co., 1991, v. , p. 351-366.
CLAUDIO, Dalcidio Moraes . ROUNDING INVARIANTE STRUCTURES BY APPLICATIONS OF A MAPPING OF RINGOID. In: Karl Nickel. (Org.). INTERVAL MATHEMATICS. Freiburg: ACADEMIC PRESS, 1980, v. , p. -.
KOLBERG, Mariana Luderitz ; BOHLENDER, G. ; CLAUDIO, Dalcidio Moraes . IMPROVING THE PERFORMANCE OF A VERIFIED LINEAR SYSTEM SOLVER USING OPTIMIZED LIBRARIES AND PARALLEL COMPUTING. In: VECPAR'08 8th International Meeting High Performance Computing for Computational Science, 2008, Toulouse. VECPAR'08 8th International Meeting High Performance Computing for Computational Science, 2008. v. 5336. p. 13-26.
KOLBERG, Mariana Luderitz ; BOHLENDER, Gerd ; CLAUDIO, Dalcidio Moraes . IMPROVING THE PERFORMANCE OF A VERIFIED LINEAR SYSTEM SOLVER USING OPTIMIZED LIBRARIES AND PARALLEL COMPUTATION. In: Numerical Validation in Current Hardware Architectures 2008, 2008, Dagstuhl. Numerical Validation in Current Hardware Architectures 2008, 2008. p. 13-26.
TORRES, T. ; Giraffa, Lúcia ; Claudio, Dalcidio Moraes . LABORATÓRIO VIRTUAL PARA SUPORTE AO ENSINO DE CÁLCULO: UMA EXPERIÊNCIA NO MOODLE. In: 14° Congresso Internacional ABED de Educação a Distância, 2008, Santos. 14° Congresso Internacional ABED de Educação a Distância, 2008. v. 1. p. 1-10.
SILVA, Nathalie Rey da ; MANSSOUR, Isabel Harb ; CLAUDIO, Dalcidio Moraes . VISUALIZAÇÃO 3D DE DADOS OCEANOGRÁFICOS SIMULADOS. In: SIBGRAPI - Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens - Workshop de Teses de Dissertações em Computação Gráfica, 2007, Belo Horizonte. XXth Brazilian Symposium on Computer Graphics and Image Processing - Workshop of Workshop of Theses and Dissertations, 2007.
KOLBERG, Mariana Luderitz ; Baldo, Lucas ; Velho, Pedro ; Webber, Thais ; Fernandes, Luiz Gustavo ; Fernandes, Paulo ; CLAUDIO, Dalcidio Moraes . PARALLEL SELF-VERIFIED METHOD FOR SOLVING LINEAR SYSTEMS. In: 7th International Meeting on High Performance Computing for Computational Science, 2006, Rio de Janeiro. International Meeting on High Performance Computing for Computational Science, 2006. p. 179-190.
KOLBERG, Mariana Luderitz ; Baldo, Lucas ; Velho, Pedro ; Fernandes, Luiz Gustavo ; CLAUDIO, Dalcidio Moraes . OPTIMIZING A PARALLEL SELF-VERIFIED METHOD FOR SOLVING LINEAR SYSTEMS. In: PARA - WORKSHOP ON STATE-OF-THE-ART IN SCIENTIFIC AND PARALLEL COMPUTING, 2006, Umea. PARA - WORKSHOP ON STATE-OF-THE-ART IN SCIENTIFIC AND PARALLEL COMPUTING, 2006. v. 3. p. 949-955.
HÖLBIG, Carlos Amaral ; CLAUDIO, Dalcidio Moraes ; DIVERIO, Tiaraju Asmuz . USE OF C-XSC INTERVAL LIBRARY ON CLUSTER COMPUTERS. In: IV International Conference on Numerical Analysis and Applied Mathematics, 2006, Hersonissos. IV International Conference on Numerical Analysis and Applied Mathematics, 2006. v. 1. p. 151-154.
LEAL, Liara Aparecida dos Santos ; CLAUDIO, Dalcidio Moraes ; TOSCANI, Laira Vieira ; MENEZES, Paulo Blauth . APPROXIMATION PROBLEMS CATEGORIES. In: EUROCAST'2005 - Computer Aided Systems Theory, 2005, Las Palmas de Gran Canária. EUROCAST'2005 - Computer Aided Systems Theory, 2005. v. 3643. p. 9-14.
LEAL, Liara Aparecida dos Santos ; CLAUDIO, Dalcidio Moraes ; TOSCANI, Laira Vieira ; MENEZES, Paulo Blauth . A CATEGORICAL APPROACH TO NP-HARD OPTIMIZATION. In: EUROCAST 2003, 2003, Las Palmas de Gran Canária. Computer Aided Systems Theory - EUROCAST 2003. Las Palmas de Gran Canária: Roberto Moreno-Diaz, Franz Pichel (Eds.), 2003. v. 0. p. 62-73.
AKYILDIZ, A ; CLAUDIO, Dalcidio Moraes ; MARKOV, Svetoslav . ON THE LINEAR COMBINATIONS OF SYMMETRIC SEGMENTS. In: Thirty First Spring Conference of the Union of Bulgarian Mathematicians, 2002, Bulgaria. Thirty First Spring Conference of the Union of Bulgarian Mathematicians. Borovets: Union of Bulgarian Mathematicians, 2002. v. 0. p. 321-326.
LEAL, Liara Aparecida dos Santos ; CLAUDIO, Dalcidio Moraes ; TOSCANI, Laira Vieira ; MENEZES, Paulo Blauth . UMA ABORDAGEM CATEGÓRIAL PARA A COMPLEXIDADE ESTRUTURAL DE PROBLEMAS DE OTIMIZAÇÃO. In: VII ERMAC - ENCONTRO REGIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL, 2002, Porto Alegre. VII ERMAC - ENCONTRO REGIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL, 2002. v. 0. p. 101-106.
KOLBERG, Mariana Luderitz ; CLAUDIO, Dalcidio Moraes ; BOCIAN, D. . FERRAMENTA PARA AVALIAÇÃO GRÁFICA DE RAÍZES DE POLINÔMIOS. In: VII ERMAC - ENCONTRO REGIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL, 2002, Porto Alegre. VII ERMAC - ENCONTRO REGIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL, 2002. v. 0. p. 170-174.
HÖLBIG, Carlos Amaral ; NOTARE, Márcia Rodrigues ; DIVERIO, Tiaraju Asmuz ; CLAUDIO, Dalcidio Moraes ; BOHLENDER, Gerd ; KRÄMER, Walter . AUTOMATIC RESULT VERIFICATION IN THE ENVIRONMENT OF HIGH PERFORMANCE COMPUTING. In: International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, 2002, Paris. International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics. Paris: Université Pierre & Marie Curi, 2002. v. 0. p. 83-84.
HÖLBIG, Carlos Amaral ; OTTONI, Jaqueline Bellini ; BILIBIO, Rafael Laimer ; DIVERIO, Tiaraju Asmuz ; CLAUDIO, Dalcidio Moraes . COMPUTAÇÃO VERIFICADA EM AMBIENTES DE ALTO DESEMPENHO. In: III Simpósio de Informática do Planalto Médio, 2002, Passo Fundo. Anais Eletrônicos do III Simpósio de Informática do Planalto Médio. Passo Fundo, 2002.
LEAL, Liara Aparecida dos Santos ; MENEZES, Paulo Blauth ; CLAUDIO, Dalcidio Moraes ; TOSCANI, Laira Vieira . OPTIMIZATION PROBLEMS CATEGORIES. In: EUROCAST 2001, 2001, Las Palmas de Gran Canária. FORMAL METHODS AND TOOLS FOR COMPUTER SCIENCE - EXTENDED ABSTRACTS. Las Palmas de Gran Canária: R. Moreno-Diaz and A. Quesada-Arencibia, 2001. v. 2178. p. 285-299.
RIBAS, D. R. ; CLAUDIO, Dalcidio Moraes . CONSTRUÇÃO DO ESPAÇO INTERVALAR. In: CLEI'2001, 2001. CLEI'2001.
MENDES, S. C. ; DIVERIO, Tiaraju Asmuz ; CLAUDIO, Dalcidio Moraes . TEACHING OF DISCRETE MATHEMATICS IN THE COMPUTER SCIENCE COURSES BY USING FUNCTIONAL LANGUAGES. In: SEVENTH IFIP WORLD CONFERENCE ON COMPUTERS IN EDUCATION WCCE 2001, 2001, COPENHAGEN. SEVENTH IFIP WORLD CONFERENCE ON COMPUTERS IN EDUCATION WCCE 2001. Massachusetts - Estados Unidos: KLUWER ACADEMICS, 2001. p. 443-451.
MENDES, S. C. ; DIVERIO, Tiaraju Asmuz ; CLAUDIO, Dalcidio Moraes . UMA METOLOGIA ALTERNATIVA PARA ENSINO DE MATEMÁTICA DISCRETA UTILIZANDO LINGUAGENS FUNCIONAIS. In: Conferencia Latinoamericana de Informatica, 2001, Mérida - Venezuela. Universidad de los Andes, 2001.
LEAL, Liara Aparecida dos Santos ; CLAUDIO, Dalcidio Moraes ; TOSCANI, Laira Vieira ; MENEZES, Paulo Blauth . MODELLING THE APPROXIMATION HIERARCHY TO OPTIMISATION PROBLEMS THROUGH CATEGORY THEORY. In: CASYS'01 - V International Conference on Computing Anticipatory Systems, 2001, Liège. CASYS'01 - V International Conference on Computing Anticipatory Systems, 2001. v. 11. p. 336-349.
LEAL, Liara Aparecida dos Santos ; MENEZES, Paulo Blauth ; CLAUDIO, Dalcidio Moraes ; TOSCANI, Laira Vieira . CATEGORIAS DOS PROBLEMAS DE OTIMIZAÇÃO. In: XIV SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 2000, João Pessoa. CEFET - PB, 2000. v. 0. p. 104-109.
MORAES, D. C. ; CLAUDIO, Dalcidio Moraes . METODOLOGIA DE AVALIAÇÃO DE SOFTWARE DE COMPUTAÇÃO ALGÉBRICA NO PROCESSO DE ENSINO-APRENDIZAGEM COMPUTADORIZADO: ESTUDO DE CASO. In: IV SEMANA ACADÊMICA DO PPGCC, 1999, Porto Alegre - RS. Anais da IV Semana Acadêmica do PPGC. Porto Alegre - RS: CPGCC - UFRGS, 1999. v. 0. p. 351-354.
DIMURO, Graçaliz Pereira ; COSTA, Antônio Carlos da Rocha ; CLAUDIO, Dalcidio Moraes . A BI-STRUCTURED COHERENCE SPACE FOR S GLOBAL REPRESENTATION OF THE SYSTEM IR OF REAL INTERVALS. In: CIT 99 - Trends in Information Technology, 1999, Bhubaneswar - India. Proceedings of the International Conference on Information Technology. New Delhi: Mc Graw - Hill Publishing Company Limited, 1999. v. 0. p. 173-178.
DIMURO, Graçaliz Pereira ; COSTA, Antônio Carlos da Rocha ; CLAUDIO, Dalcidio Moraes . THE CONSTRUCTION OF GLOBAL REPRESENTATIONS IN BI-STRUCTURED COHERENCE SPACES, WITH APPLICATIONS IN SCIENTIFIC COMPUTING. In: XXV Conferência Latinoamericana de Informática, 1999. Anais da XXV Conferência Latinoamericana de Informática, 1999. v. 0. p. 0-0.
DIMURO, Graçaliz Pereira ; COSTA, Antônio Carlos da Rocha ; CLAUDIO, Dalcidio Moraes . A CONSTRUÇÃO DE REPRESENTAÇÕES GLOBAIS EM ESPAÇOS COERENTES BI-ESTRUTURADOS, COM APLICAÇÃO EM COMPUTAÇÃO CIENTÍFICA. In: XXV Conferência Latinoamericana de Informática, 1999, Asunción. Universidad Autónoma de Asunción & Universidad Católica Ntra. Sra. de la Asunción. Asunción, 1999. v. 2. p. 673-684.
CLAUDIO, Dalcidio Moraes ; VACCARO, G. L. R. ; FERREIRA, A. L. A. ; HÖLBIG, Carlos Amaral . MATWEB: AMBIENTE DE APOIO AO ENSINO DE DISCIPLINAS MATEMÁTICAS. In: Clate'98 - Congreso Latinoamericano de Tecnologias Educativas, 1998, San Nicolás - Argentina. Anais do Congreso Latinoamericano de Tecnologias Educativas - Clate'98. San Nicolás - Argentina: CD-ROM, 1998.
CLAUDIO, Dalcidio Moraes ; VACCARO, G. L. R. ; FERREIRA, A. L. A. . EXPERIÊNCIAS DE ENSINO DE MATEMÁTICA EM 3o GRAU COM O AUXÍLIO DE RECURSOS COMPUTACIONAIS. In: V Encontro Paulista de Educação Matemática, 1998, São José do Rio Preto - SP. Anais do V Encontro Paulista de Educação Matemática. São José do Rio Preto - SP, 1998. v. 0. p. 212-214.
DIMURO, Graçaliz Pereira ; COSTA, Antônio Carlos da Rocha ; CLAUDIO, Dalcidio Moraes . A MEASURE SYSTEM FOR THE BI-STRUCTURED COHERENCE SPACE OF RATIONAL INTERVALS. In: International Conference on Interval Methods and Their Applications on Global Optmization - INTERVAL98, 1998, Nanjing - P.R. - China. Proceedings: International Conference on Interval Methods and Their Applications on Global Optmization - INTERVAL98. Nanjing - P.R. - China: Nanjing University, 1998. v. 0. p. 21-25.
CLAUDIO, Dalcidio Moraes ; VACCARO, G. L. R. ; FERREIRA, A. L. A. ; HÖLBIG, Carlos Amaral . MATWEB: UM AMBIENTE DE APOIO AO ENSINO DE DISCIPLINAS MATEMÁTICAS. In: V Encontro Paulista de Educação Matemática, 1998, São José do Rio Preto - SP. Anais do V Encontro Paulista de Educação Matemática. São José do Rio Preto - SP, 1998. v. 0. p. 215-217.
NAVAUX, Philippe Olivier Alexandre ; DIVERIO, Tiaraju Asmuz ; LINS, R. D. ; CLAUDIO, Dalcidio Moraes . ARINPAR: PARALLEL INTERVAL ARITHMETIC. In: WORKSHOP OF INTERNATIONAL EVALUATION OF THE PROTEM-CC PROGRAM - PROJETS PHASE II - 2a ED., 1998, Belo Horizonte - MG. Proceedings: WORKSHOP OF INTERNATIONAL EVALUATION OF THE PROTEM-CC PROGRAM - PROJETS PHASE II - 2a ED.. Belo Horizonte - MG: Virgilio A. F. Almeida, Celso D. Costa e Rosa M. Viccari, 1998. v. 0. p. 11-33.
FERREIRA, A. L. A. ; CLAUDIO, Dalcidio Moraes . AVALIAÇÃO DE SOFTWARE NO ENSINO DE CÁLCULO. In: II Encontro Brasileiro de Estudantes de Pós-Graduação em Educação Matemática, 1998, Rio Claro - SP. Anais do II Encontro Brasileiro de Estudantes de Pós-Graduação em Educação Matemática. Rio Claro - SP: UNESP, 1998. v. 0. p. 6-10.
CLAUDIO, Dalcidio Moraes ; FERREIRA, A. L. A. ; SAMPAIO, L. A. ; SILVA, L. G. . SOFTWARES MATEMÁTICOS: UMA NOVA OPÇÃO DE ENSINO. In: II Simpósio Nacional de Informática, 1997, Santa Maria - RS. Anais do II Simpósio Nacional de Informática. Santa Maria - RS: GPDI - FAFRA, 1997. p. 76-79.
CLAUDIO, Dalcidio Moraes . INTERVAL APPROXIMATIONS. In: Primeiro Workshop sobre Métodos Formais e Qualidade de Software, 1997, Porto Alegre - RS. Anais do Primeiro Workshop sobre Métodos Formais e Qualidade de Software. Porto Alegre - RS: Instituto de Informática - UFRGS, 1997. p. 7-9.
CLAUDIO, Dalcidio Moraes ; VACCARO, G. L. R. ; FERREIRA, A. L. A. . USANDO RECURSOS COMPUTACIONAIS NO ENSINO DE MATEMÁTICA. In: VIII Simpósio Brasileiro de Informática na Educação, 1997, São José dos Campos - SP. Anais do VIII Simpósio Brasileiro de Informática na Educação. São José dos Campos - SP: ITA, 1997. p. 61-71.
OLIVEIRA, P. W. ; CLAUDIO, Dalcidio Moraes . A FORMAL EXTENSION FOR THE SET IR. In: GAMM/IMACS - International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics - SCAN97, 1997, Lyon - França. Anais: SCAN97- GAMM/IMACS - International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics. Lyon - França: CNRS, 1997. p. IV-8-IV-11.
DIMURO, Graçaliz Pereira ; COSTA, Antônio Carlos da Rocha ; CLAUDIO, Dalcidio Moraes . BI-STRUCTURED COHERENCE SPACES AND GLOBAL CONSTRUCTIVE REPRESENTATION OF DATA TYPES FOR SCIENTIFIC COMPUTATION. In: PRIMEIRO WORKSHOP SOBRE METODOS FORMAIS E QUALIDADE DE SOFTWARE, 1997, Porto Alegre - RS. Anais do Primeiro Workshop sobre Métodos Formais e Qualidade de Software. Porto Alegre - RS: Instituto de Informática - UFRGS, 1997. p. 43-51.
DIMURO, Graçaliz Pereira ; COSTA, Antônio Carlos da Rocha ; CLAUDIO, Dalcidio Moraes ; REISER, Renata Hax Sander . REPRESENTING DATA TYPES FOR SCIENTIFIC COMPUTATION USING BI-STRUCTURED COHERENCE SPACES. In: WORKSHOP ON COMPUTATION AND APPROXIMATION, 1997, Birmingham - Alemanha. Anais: WORKSHOP ON COMPUTATION AND APPROXIMATION. Birmingham - Alemanha, 1997.
DIMURO, Graçaliz Pereira ; COSTA, Antônio Carlos da Rocha ; CLAUDIO, Dalcidio Moraes . GLOBAL REPRESENTATION OF SECOND ORDER ORDERED SYSTEMS. In: Second US-Brazil Workshop on the Formal Foundations of Software Systems, 1997, New Orleans - USA. Anais: Second US-Brazil Workshop on the Formal Foundations of Software Systems. New Orleans - USA: National Science Foundation, 1997. p. 20-21.
LEAL, Liara Aparecida dos Santos ; TOSCANI, Laira Vieira ; CLAUDIO, Dalcidio Moraes . DOMÍNIOS DE SCOTT: TEORIA E APLICAÇÕES. In: Primeiro Workshop sobre Métodos Formais e Qualidade de Software, 1997, Porto Alegre - RS. Anais do Primeiro Workshop sobre Métodos Formais e Qualidade de Software. Porto Alegre - RS: Instituto de Informática - UFRGS, 1997. p. 62-67.
MORAES, D. C. ; CUNHA, M. L. ; VACCARO, G. L. R. ; HÖLBIG, Carlos Amaral ; CLAUDIO, Dalcidio Moraes . USO DA INFORMÁTICA NO AUXÍLIO AO ENSINO DE DISCIPLINAS DE CÁLCULO. In: II Simpósio Nacional de Informática, 1997, Santa Maria - RS. Anais do II Simpósio Nacional de Informática. Santa Maria - RS: GPDI - FAFRA, 1997. p. 53-57.
REISER, Renata Hax Sander ; COSTA, Antônio Carlos da Rocha ; DIMURO, Graçaliz Pereira ; CLAUDIO, Dalcidio Moraes . REPRESENTAÇÃO DE FUNÇÕES NO ESPAÇO COERENTE BI-ESTRUTURADO IIQ. In: Primeiro Workshop sobre Métodos Formais e Qualidade de Software, 1997, Porto Alegre - RS. Anais do Primeiro Workshop sobre Métodos Formais e Qualidade de Software. Porto Alegre - RS: Instituto de Informática - UFRGS, 1997. p. 43-60.
REISER, Renata Hax Sander ; COSTA, Antônio Carlos da Rocha ; CLAUDIO, Dalcidio Moraes ; DIMURO, Graçaliz Pereira . THE RECURSIVE FUNCTIONS ON BI-STRUCTURED COHERENCE SPACES. In: Second US-Brazil Workshop on the Formal Foundations of Software Systems, 1997, New Orleans - USA. Anais: Second US-Brazil Workshop on the Formal Foundations of Software Systems. New Orleans - USA: National Science Foundation, 1997. p. 47-49.
WILKE, Fabiana Zamora ; FRANCIOSI, B. R. T. ; OLIVEIRA, P. W. ; CLAUDIO, Dalcidio Moraes . MODELLING OF THE MEASURES UNCERTAINTY BY INTERVALS. In: GAMM/IMACS - International Symposium on Scientific Computing - SCAN97, 1997, Lyon - França. Anais: - SCAN97 - GAMM/IMACS - International Symposium on Scientific Computin. Lyon - França: CNRS, 1997. p. 10-13.
CLAUDIO, Dalcidio Moraes ; CAMARGO, M. A. O. ; TREVISAN, V. . ALGEBRAIC ALGORITHMS FOR ENUMERATING POLYNOMIAL ZEROS IN A DISK: HOW TO CHOOSE THE SUITABLE ALGORITHM. In: GAMM/IMACS - International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics - SCAN97, 1997, Lyon - França. Anais: - SCAN97 - GAMM/IMACS - International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics. p. 10-13.
CLAUDIO, Dalcidio Moraes ; OLIVEIRA, João Batista Souza de ; FRANCIOSI, B. R. T. ; RUMP, S. M. ; BATRA, P. ; SILVA, J. C. P. ; ALVES, C. A. F. C. . HIGH-ACCURACY ARITHMETIC APPLIED TO DIMENSIONAL METROLOGY - HARDY. In: Proceedings of the 4th German-Brazilian Workshop on Information Technology, 1997, Porto Alegre - RS. Proceedings of the 4th German-Brazilian Workshop on Information Technology. Porto Alegre - RS: MCT, 1997. p. 9-11.
TOSCANI, Laira Vieira ; LEAL, Liara Aparecida dos Santos ; CLAUDIO, Dalcidio Moraes . COMPLEXITY AS PART OF ALGORITHMS DESING. In: Second US-Brazil Workshop on the Formal Foundations of Software Systems, 1997, New Orleans - USA. Anais: Second US-Brazil Workshop on the Formal Foundations of Software Systems. New Orleans - USA: National Science Foundation, 1997. p. 56-58.
REISER, Renata Hax Sander ; DIMURO, Graçaliz Pereira ; COSTA, Antônio Carlos da Rocha ; CLAUDIO, Dalcidio Moraes . A REPRESENTATION SYSTEM FOR FUNCTIONS IN THE CATEGORY OF BI-STRUCTURED COHERECE SPACES. In: Brasil Joint Usa Workshop on Formal Foundations of Software Systems, 1997, Rio de Janeiro - RJ. Anais: Brasil Joint Usa Workshop on Formal Foundations of Software Systems. Rio de Janeiro - RJ, 1997.
DIMURO, Graçaliz Pereira ; COSTA, Antônio Carlos da Rocha ; CLAUDIO, Dalcidio Moraes . BI-STRUCTURED COHERENCE SPACES AND GLOBAL CONSTRUCTIVE REPRESENTATION OF R. In: Brasil Joint Usa Workshop on Formal Foundations of Software Systems, 1997, Rio de Janeiro - RJ. Anais: Brasil Joint Usa Workshop on Formal Foundations of Software Systems. Rio de Janeiro - RJ, 1997.
DIMURO, Graçaliz Pereira ; COSTA, Antônio Carlos da Rocha ; CLAUDIO, Dalcidio Moraes . A COHERENCE SPACE OF RATIONAL INTERVALS. In: II Workshop on Computer Arithmetic, Interval and Symbolic Computation, 1996, Recife - PE. Abstracts: II Workshop on Computer Arithmetic, Interval and Symbolic Computation. Recife - PE: UFPE - DI, 1996. p. 26-28.
FRANCIOSI, B. R. T. ; CLAUDIO, Dalcidio Moraes . INTERVALOS APLICADOS A VISUALIZAÇÃO DE MAPAS DE ERRO. In: II Workshop on Computer Arithmetic, Interval and Symbolic Computation, 1996, Recife - PE. Abstracts: II Workshop on Computer Arithmetic, Interval and Symbolic Computation. Recife - PE: UFPE - DI, 1996. p. 36-38.
HÖLBIG, Carlos Amaral ; DIVERIO, Tiaraju Asmuz ; CLAUDIO, Dalcidio Moraes . INTERVAL METHODS FOR SOLUTION OF SYSTEMS OF LINEAR EQUATIONS. In: II Workshop on Computer Arithmetic, Interval and Symbolic Computation, 1996, Recife - PE. Abstracts: II Workshop on Computer Arithmetic, Interval and Symbolic Computation. Recife - PE: UFPE - DI, 1996. p. 42-44.
HÖLBIG, Carlos Amaral ; SAGULA, R. L. ; FERNANDES, U. A. L. ; DIVERIO, Tiaraju Asmuz ; CLAUDIO, Dalcidio Moraes . HIGH ACCURACY AND HIGH PERFORMANCE ENVIRONMENT. In: INTERVAL96 - International Conference on Interval Methods and Computer Aided Proofs in Science and Engineering, 1996, Wurzburg - Germany. Abstracts: INTERVAL96 - International Conference on Interval Methods and Computer Aided Proofs in Science and Engineering. Wurzburg - Germany: Wurzburg University, 1996. p. 51-52.
HÖLBIG, Carlos Amaral ; DIVERIO, Tiaraju Asmuz ; CLAUDIO, Dalcidio Moraes . BIBLIOTECAS APLICATIVAS INTERVALARES. In: 25 JAIIO - 25 JORNADAS ARGENTINAS DE INFORMATICA E INVESTIGACION OPERATIVA, 1996, Buenos Aires - Argentina. Anais: 25 JAIIO - 25 JORNADAS ARGENTINAS DE INFORMATICA E INVESTIGACION OPERATIVA. Buenos Aires - Argentina: SADIO, 1996. p. 49-60.
HÖLBIG, Carlos Amaral ; SAGULA, R. L. ; FERNANDES, U. A. L. ; DIVERIO, Tiaraju Asmuz ; CLAUDIO, Dalcidio Moraes . LABORATÓRIO DE ALTA EXATIDÃO E ALTO DESEMPENHO. In: UNSL - 2do Congreso Argentino de Ciências de la Computacion, 1996, San Luis - Argentina. Anais: UNSL - 2do Congreso Argentino de Ciências de la Computacion. San Luis - Argentina: UNSL, 1996. p. 235-245.
LEAL, Liara Aparecida dos Santos ; CLAUDIO, Dalcidio Moraes ; TOSCANI, Laira Vieira . EXTENSION OF THE FIRST KLEENES RECURSION THEOREM. In: II Workshop on Computer Arithmetic, Interval and Symbolic Computation, 1996, Recife - PE. Abstracts: II Workshop on Computer Arithmetic, Interval and Symbolic Computation. Recife - PE: UFPE - DI, 1996. p. 52-54.
MANSSOUR, I. H. ; FREITAS, C. M. D. S. ; CLAUDIO, Dalcidio Moraes . TOOLS FOR METEOROLOGICAL DATA VISUALIZATION. In: IX Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens, 1996, Caxambú - MG. Anais do IX Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens. Caxambú - MG, 1996. p. 63-70.
OLIVEIRA, P. W. ; CLAUDIO, Dalcidio Moraes . AN INTERVAL FIXED POINT THEOREM. In: II Workshop on Computer Arithmetic, Interval and Symbolic Computation, 1996, Recife - PE. Abstracts: II Workshop on Computer Arithmetic, Interval and Symbolic Computation. Recife - PE: UFPE - DI, 1996. p. 65-67.
REISER, Renata Hax Sander ; CLAUDIO, Dalcidio Moraes ; DIMURO, Graçaliz Pereira . THE INTERVAL GAUSS-SEIDEL ITERATION. In: II Workshop on Computer Arithmetic, Interval and Symbolic Computation, 1996, Recife - PE. Abstracts: II Workshop on Computer Arithmetic, Interval and Symbolic Computation. Recife - PE: UFPE - DI, 1996. p. 72-74.
CLAUDIO, Dalcidio Moraes ; RUMP, S. M. ; FRANCIOSI, B. R. T. ; OLIVEIRA, João Batista Souza de . HIGH-ACCURACY ARITHMETIC APPLIED TO DIMENSIONAL METROLOGY - HARDY. In: PROCEEDINGS OF THE 3rd GERMAN - BRAZILIAN WORKSHOP ON INFORMATION TECHNOLOGY, 1995, Berlin - Germany. PROCEEDINGS OF THE 3rd GERMAN - BRAZILIAN WORKSHOP ON INFORMATION TECHNOLOGY. Berlin - Germany: SRTD, 1995. p. 29-37.
DIMURO, Graçaliz Pereira ; COSTA, Antônio Carlos da Rocha ; CLAUDIO, Dalcidio Moraes . ESPAÇOS COERENTES. In: XVIII CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 1995, Curitiba - PR. Anais do XVIII CNMAC - Congresso Nacional de Matemática Aplicada e Computacional. Curitiba - PR: SBMAC, 1995. p. 188-194.
DIVERIO, Tiaraju Asmuz ; NAVAUX, Philippe Olivier Alexandre ; CLAUDIO, Dalcidio Moraes . BIBLIOTECA DE ROTINAS INTERVALARES EM AMBIENTE VETORIAL. In: XVIII CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 1995, Curitiba - PR. Anais do XVIII CNMAC - Congresso Nacional de Matemática Aplicada e Computacional. Curitiba - PR: SBMAC, 1995. p. 147-149.
DIVERIO, Tiaraju Asmuz ; NAVAUX, Philippe Olivier Alexandre ; CLAUDIO, Dalcidio Moraes . ALTO DESEMPENHO E EFICIÊNCIA EM PROCESSAMENTO NUMÉRICO. In: VII Simpósio Brasileiro de Arquitetura de Computadores e Processamento de Alto Desempenho, 1995, Porto Alegre - RS. Anais do VII Simpósio Brasileiro de Arquitetura de Computadores e Processamento de Alto Desempenho. Porto Alegre - RS: Instituto de Informática - UFRGS, 1995. p. 257-269.
MANSSOUR, I. H. ; FREITAS, C. M. D. S. ; CLAUDIO, Dalcidio Moraes ; WAGNER, F. R. . VISUALIZING AND EXPLORING METEOROLOGICAL DATA USING A TOOL - ORIENTED APPROACH. In: International Conference on Visualization and Modelling, 1995, Leeds - Inglaterra. Anais: International Conference on Visualization and Modelling. Leeds - Inglaterra: University of Leeds, 1995. p. 30-42.
OLIVEIRA, P. W. ; CLAUDIO, Dalcidio Moraes . O METODO INTERVALAR DO PONTO FIXO. In: XVIII CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 1995, Curitiba - PR. Anais do XVIII CNMAC - Congresso Nacional de Matemática Aplicada e Computacional. Curitiba - PR: SBMAC, 1995. p. 178-182.
OLIVEIRA, P. W. ; CLAUDIO, Dalcidio Moraes . UMA NOVA EXTENSÃO PARA O CONJUNTO IR. In: XVIII CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 1995, Curitiba - PR. Anais do XVIII CNMAC - Congresso Nacional de Matemática Aplicada e Computacional. Curitiba - PR: SBMAC, 1995. p. 138-142.
REISER, Renata Hax Sander ; CLAUDIO, Dalcidio Moraes ; DIMURO, Graçaliz Pereira . PRECONDICIONAMENTO EM SELAS INTERVALARES. In: XVIII CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 1995, Curitiba - PR. Anais do XVIII CNMAC - Congresso Nacional de Matemática Aplicada e Computacional. Curitiba - PR: SBMAC, 1995. p. 123-127.
HÖLBIG, Carlos Amaral ; CLAUDIO, Dalcidio Moraes ; DIVERIO, Tiaraju Asmuz . AMBIENTE DE ALTO DESEMPENHO COM ALTA EXATIDÃO PARA A RESOLUÇÃO DE PROBLEMAS. In: VI Escola Regional de Alto Desempenho, 2006, Porto Alegre. VI Escola Regional de Alto Desempenho, 2006. p. 63-64.
SANTANA JUNIOR, Edsom Nieves ; CLAUDIO, Dalcidio Moraes ; REIS, Rubem da Cunha . CONSTRUÇÃO DA CURVA DE SATURAÇÃO DA ÁGUA MEDIANTE O USO DE RELAÇÕES DE MAXWELL E FERRAMENTAS COMPUTACIONAIS MATEMÁTICAS. In: IX Salão de Iniciação Científica da PUCRS, 2008, Porto Alegre. IX Salão de Iniciação Científica da PUCRS, 2008.
SCHWANCK, Diogo Israel ; SANTANA JUNIOR, Edsom Nieves ; CLAUDIO, Dalcidio Moraes ; OURIQUE, Luiz Eduardo . VI@CALCULO: SUPORTE VIRTUAL DE APRENDIZAGEM AO CÁLCULO. In: IX Salão de Iniciação Científica da PUCRS, 2008, Porto Alegre. IX Salão de Iniciação Científica da PUCRS, 2008.
CLAUDIO, Dalcidio Moraes ; GEROLDO, Augusto César de Brito ; NUNURA, Cesar Rolando Nunura . ANÁLISE MATEMÁTICA DE TRANSFERÊNCIA DE CALOR NA PREVISÃO DA FORMAÇÃO ESTRUTURAL DE AÇOS SAE 1050 NO ENSAIO JOMINY. In: XXX CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2007, Florianópolis. XXX CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2007. v. 1. p. 56-56.
CLAUDIO, Dalcidio Moraes ; GEROLDO, Augusto César de Brito ; NUNURA, Cesar Rolando Nunura . APLICAÇÃO DIDÁTICA DA DERIVADA EM VIBRAÇÕES MECÂNICAS. In: XXX CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2007, Florianópolis. XXX CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2007. v. 1. p. 56-56.
CLAUDIO, Dalcidio Moraes ; GEROLDO, Augusto César de Brito ; NUNURA, Cesar Rolando Nunura . MÉTODOS NUMÉRICOS PARA PROBLEMAS DE CONDUÇÃO DE CALOR BIDIMENSIONAL ESTACIONÁRIA. In: XXX CNMAC - Congresso nacional de Matemática Aplicada e Computacional, 2007, Florianópolis. XXX CNMAC - Congresso nacional de Matemática Aplicada e Computacional, 2007. v. 1. p. 56-56.
CLAUDIO, Dalcidio Moraes ; NUNURA, Cesar Rolando Nunura ; GEROLDO, Augusto César de Brito . ANÁLISE MATEMÁTICA DE TRANSFERÊNCIA DE CALOR NA PREVISÃO DA FORMAÇÃO ESTRUTURAL DE AÇOS SAE 1050 NO ENSAIO JOMINY. In: VIII Salão de Inciação Científica da PUCRS, 2007, Porto Alegre. VIII Salão de Inciação Científica da PUCRS, 2007.
CLAUDIO, Dalcidio Moraes ; SANTANA JUNIOR, Edsom Nieves ; NUNURA, Cesar Rolando Nunura ; GEROLDO, Augusto César de Brito . DETERMINAÇÃO DOS VALORES DE SATURAÇÃO DA ÁGUA POR MÉTODOS NUMÉRICOS EM COMPARAÇÃO AOS PARÂMETROS TABELADOS. In: VIII Salão de Inciação Científica da PUCRS, 2007, Porto Alegre. VIII Salão de Inciação Científica da PUCRS, 2007.
NUNURA, Cesar Rolando Nunura ; GEROLDO, Augusto César de Brito ; SANTOS, C. A. ; CLAUDIO, Dalcidio Moraes . PREVISÃO DA FORMAÇÃO ESTRUTURAL DOS AÇOS SAE 1050 NA ANÁLISE DA TRANSFERÊNCIA DE CALOR NO ENSAIO JOMINY. In: VIII Salão de Iniciação Científica da PUCRS, 2007, Porto Alegre. VIII Salão de Iniciação Científica da PUCRS, 2007.
HÖLBIG, Carlos Amaral ; CLAUDIO, Dalcidio Moraes ; DIVERIO, Tiaraju Asmuz . PARALLEL ENVIRONMENT WITH HIGH ACCURACY USING C-XSC. In: XII GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, 2006, Duisburg. Book of Abstracts of SCAN 2006, 2006. p. 87-88.
CLAUDIO, Dalcidio Moraes . FERRAMENTAS NUMÉRICAS EM ENGENHARIA. In: VII Salão de Inciação Científica da PUCRS, 2006, Porto Alegre. VII Salão de Inciação Científica da PUCRS, 2006.
CLAUDIO, Dalcidio Moraes . FERRAMENTA PARA AVALIAÇÃO GRÁFICA DE RAÍZES DE POLINÔMIOS. In: VII Salão de Inciação Científica da PUCRS, 2006, Porto Alegre. VII Salão de Inciação Científica da PUCRS, 2006.
CLAUDIO, Dalcidio Moraes . INTRODUÇÃO AO MODELAMENTO DO ESPIRAL DE ARQUIMEDES PARA APLICAÇÃO EM SISTEMAS HIDRÁULICOS. In: VII Salão de Inciação Científica da PUCRS, 2006, Porto Alegre. VII Salão de Inciação Científica da PUCRS, 2006.
LORETO, Aline Brum ; TOSCANI, Laira Vieira ; RIBEIRO, Leila ; CLAUDIO, Dalcidio Moraes ; LEAL, Liara Aparecida dos Santos ; LONGPRÉ, Luc ; KREINOVICH, Vladik . IF AN EXACT INTERVAL COMPUTATION PROBLEM IS NP-HARD, THEN THE APPROXIMATE PROBLEM IS ALSO NP-HARD: A META-RESULT. In: IEEE - Conference on Computational Complexity, 2005. IEEE - Conference on Computational Complexity, 2005. v. XV. p. 11-13.
HÖLBIG, Carlos Amaral ; MORANDI JÚNIOR, Paulo Sérgio ; CLAUDIO, Dalcidio Moraes ; DIVERIO, Tiaraju Asmuz . SOLVING REAL LIFE APPLICATIONS WITH HIGH ACCURACY. In: International Conference on Parallel Computing, 2005, Málaga. International Conference on Parallel Computing, 2005. p. 98-98.
HÖLBIG, Carlos Amaral ; MORANDI JÚNIOR, Paulo Sérgio ; CLAUDIO, Dalcidio Moraes ; DIVERIO, Tiaraju Asmuz . SOLVING LINEAR SYSTEMS WITH HIGH ACCURACY ON CLUSTER COMPUTERS. In: IMM-Technical report-2005 - Department of Informatics and Mathematical Modelling of the Technical University of Denmark, 2005, Copenhagen. IMM-Technical report-2005 - Department of Informatics and Mathematical Modelling of the Technical University of Denmark, 2005. v. 1. p. 98-98.
NUNURA, Cesar Rolando Nunura ; GEROLDO, Augusto César de Brito ; CLAUDIO, Dalcidio Moraes ; BECK, J. C. P ; SANTOS, P. R. P. ; ROSO, Daniel Signori . AS DIFERENÇAS FINITAS NA RESOLUÇÃO DE PROBLEMAS DE CONDUÇÃO DE CALOR BIDIMENSIONAL. In: VI Salão de Iniciação Científica, 2005, Porto Alegre. VI Salão de Iniciação Científica, 2005.
KOLBERG, Mariana Luderitz ; BOHLENDER, Gerd ; CLAUDIO, Dalcidio Moraes . MODIFICATIONS TO EXPRESSION EVALUATION IN C-XSC. In: SCAN - 11th GAMM - IMACS - International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, 2004, Fukuoka. Abstracs of SCAN. Fukuoka, 2004. p. 20-20.
HÖLBIG, Carlos Amaral ; CLAUDIO, Dalcidio Moraes ; DIVERIO, Tiaraju Asmuz . RESOLUÇÃO DE SISTEMAS LINEARES COM ALTA EXATIDÃO NO AMBIENTE DE AGREGADOS. In: ERAD - Escola Regional de Alto Desempenho, 2004, Pelotas. Anais da ERAD 2004. Pelotas, 2004. p. 81-86.
KOLBERG, Mariana Luderitz ; HÖLBIG, Carlos Amaral ; BOHLENDER, Gerd ; CLAUDIO, Dalcidio Moraes . ACCURATE EXPRESSIONS IN C-XSC: A NEW FORMAT. In: ICCAM 2004 - Eleventh International Congress on Computational and Applied Mathematics, 2004, Leuven. ICCAM 2004 - Eleventh International Congress on Computational and Applied Mathematics, 2004. p. 592-593.
HÖLBIG, Carlos Amaral ; KOLBERG, Mariana Luderitz ; MORANDI JÚNIOR, Paulo Sérgio ; ALCALDE, Bernardo Frederes Krämer ; DIVERIO, Tiaraju Asmuz ; CLAUDIO, Dalcidio Moraes . LINEAR SYSTEMS: SOLVERS WITH HIGH ACCURACY ON CLUSTER COMPUTERS. In: Modern Computational Methods in Applied Mathematics, 2004, Bedlewo. Modern Computational Methods in Applied Mathematics, 2004. p. 20-20.
KOLBERG, Mariana Luderitz ; HÖLBIG, Carlos Amaral ; BOHLENDER, Gerd ; CLAUDIO, Dalcidio Moraes . NEW ACCURATE EXPRESSIONS IN C-XSC. In: GAMM 2004 - Gesellschaft Für Angewandte Mathematik und Mechanik, 2004, Dresden. GAMM 2004 - Gesellschaft Für Angewandte Mathematik und Mechanik, 2004. v. 1. p. 218-218.
KOLBERG, Mariana Luderitz ; HÖLBIG, Carlos Amaral ; CLAUDIO, Dalcidio Moraes . REDEFINING ACCURATE EXPRESSIONS IN C-XSC. In: Modern Computational Methods in Applied Mathematics, 2004, Bedlewo. Modern Computational Methods in Applied Mathematics, 2004. p. 26-26.
HÖLBIG, Carlos Amaral ; KOLBERG, Mariana Luderitz ; MORANDI JÚNIOR, Paulo Sérgio ; ALCALDE, Bernardo Frederes Krämer ; DIVERIO, Tiaraju Asmuz ; CLAUDIO, Dalcidio Moraes . SOLVERS WITH HIGH ACCURACY TO LINEAR SYSTEMS ON CLUSTERS. In: ICCAM 2004 - Eleventh International Congress on Computational and Applied Mathematics, 2004, Leuven. ICCAM 2004 - Eleventh International Congress on Computational and Applied Mathematics, 2004. p. 28-29.
HÖLBIG, Carlos Amaral ; MORANDI JÚNIOR, Paulo Sérgio ; ALCALDE, Bernardo Frederes Krämer ; DIVERIO, Tiaraju Asmuz ; CLAUDIO, Dalcidio Moraes . SOLVING LINEAR SYSTEMS ON CLUSTER COMPUTERS WITH HIGH ACCURACY. In: PARA'2004 - Workshop on State-of-the-art in Scientific Computing, 2004, Copenhagem. PARA'2004 - Workshop on State-of-the-art in Scientific Computing, 2004. p. 28-29.
HÖLBIG, Carlos Amaral ; KOLBERG, Mariana Luderitz ; MORANDI JÚNIOR, Paulo Sérgio ; ALCALDE, Bernardo Frederes Krämer ; DIVERIO, Tiaraju Asmuz ; CLAUDIO, Dalcidio Moraes . SOLVING LINEAR SYSTEMS WITH HIGH ACCURACY. In: GAMM 2004 - Gesellschaft Für Angewandte Mathematik und Mechanik, 2004, Dresden. GAMM 2004 - Gesellschaft Für Angewandte Mathematik und Mechanik, 2004. v. 1. p. 259-259.
LEAL, Liara Aparecida dos Santos ; CLAUDIO, Dalcidio Moraes ; TOSCANI, Laira Vieira . A CATEGORICAL VIEW TO STRUCTURAL COMPLEXITY. In: GAMM 2004 - Gesellschaft Für Angewandte Mathematik und Mechanik, 2004, Dresden. GAMM 2004 - Gesellschaft Für Angewandte Mathematik und Mechanik, 2004. p. 219-219.
LORETO, Aline Brum ; CLAUDIO, Dalcidio Moraes ; LEAL, Liara Aparecida dos Santos ; RIBEIRO, Leila ; SILVA, Roberto da ; TOSCANI, Laira Vieira . AMOSTRAGEM POR IMPORTÂNCIA EM PROBLEMAS DE ESTÁTISTICA AMOSTRAL INTERVALAR NP-DIFÍCEIS. In: XXVII CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2004, Porto Alegre. XXVII CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2004. p. 21-22.
LORETO, Aline Brum ; SILVA, Roberto da ; TOSCANI, Laira Vieira ; CLAUDIO, Dalcidio Moraes ; LEAL, Liara Aparecida dos Santos ; RIBEIRO, Leila . APLICANDO HEURÍSTICA EM PROBLEMAS NP-DIFÍCIL DE ESTATÍSTICA AMOSTRAL INTERVALAR. In: XXVII CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2004, Porto Alegre. XXVII CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2004. p. 83-84.
LORETO, Aline Brum ; SILVA, Roberto da ; TOSCANI, Laira Vieira ; CLAUDIO, Dalcidio Moraes ; LEAL, Liara Aparecida dos Santos ; RIBEIRO, Leila . IS ESTIMATE THE EXPECTED VALUE OF AN INTERVAL FUNCTION NP-HARD?. In: GAMM - IMACS - International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, 2004, Fukoka. GAMM - IMACS - International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, 2004. p. 51-52.
LORETO, Aline Brum ; TOSCANI, Laira Vieira ; RIBEIRO, Leila ; SILVA, Roberto da ; CLAUDIO, Dalcidio Moraes ; LEAL, Liara Aparecida dos Santos . COMPLEXIDADE DE PROBLEMAS INTERVALARES. In: XXVII CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2004, Porto Alegre. XXVII CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2004.
CLAUDIO, Dalcidio Moraes ; ABREU, Edgar Gomes de . AMBIENTE COMPUTACIONAL PARA ESTUDO E PESQUISA DE MATEMÁTICA POR CONTEÚDOS. In: XV Salão de Iniciação Científica - URGS, 2003, Porto Alegre. XV Salão de Iniciação Científica - URGS, 2003. v. 0. p. 0-0.
CLAUDIO, Dalcidio Moraes ; ABREU, Edgar Gomes de . ENSINO DE MATEMÁTICA. In: XV Salão de Iniciação Científica - UFRGS, 2003, Porto Alegre. XV Salão de Iniciação Científica - URGS, 2003. v. 0. p. 0-0.
CLAUDIO, Dalcidio Moraes . A INTERAÇÃO DA FAPERGS COM OS INSTITUTOS DE PESQUISA DO ESTADO PARA INCENTIVO AO DESENVOLVIMENTO REGIONAL. In: Organização dos Centros de Pesquisas do Estado do Rio Grande do Sul, 2002, Porto Alegre - RS. Organização dos Centros de Pesquisas do Estado do Rio Grande do Sul. Porto Alegre - RS, 2002. v. 0. p. 0-0.
CLAUDIO, Dalcidio Moraes ; LEAL, Liara Aparecida dos Santos . A CATEGORICAL APPROACH TO NP-HARD OPTIMIZATION. In: XXV Congresso Nacional de Matemática Aplicada e Computacional, 2002, Nova Friburgo - RJ. XXV Congresso Nacional de Matemática Aplicada e Computacional. Nova Friburgo - RJ, 2002. v. 0. p. 0-0.
CLAUDIO, Dalcidio Moraes . A FAPERGS E O DESENVOLVIMENTO DA PESQUISA NAS INSTITUIÇÕES DE ENSINO SUPERIOR. In: I MOSTRA DE INCIAÇÃO CIENTÍFICA E I JORNADA DE PÓS-GRADUAÇÃO, PESQUISA E EXTENSÃO, 2002, Bagé. I MOSTRA DE INCIAÇÃO CIENTÍFICA E I JORNADA DE PÓS-GRADUAÇÃO, PESQUISA E EXTENSÃO, 2002. v. 0. p. 0-0.
HÖLBIG, Carlos Amaral ; NOTARE, Márcia Rodrigues ; DIVERIO, Tiaraju Asmuz ; CLAUDIO, Dalcidio Moraes ; BOHLENDER, Gerd ; KRÄMER, Walter . AUTOMATIC RESULT VERIFICATION IN THE ENVIRONMENT OF HIGH PERFORMANCE COMPUTING. In: GAMM - IMACS - International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, 2002, Paris. Book of SCAN 2002. Paris, 2002. p. 83-84.
CLAUDIO, Dalcidio Moraes . A SBMAC E O FINANCIAMENTO À PESQUISA PELAS FUNDAÇÕES ESTADUAIS DE FOMENTO. In: XXV Congresso Nacional de Matemática Aplicada e Computacional, 2002, Nova Friburgo - RJ. XXV Congresso Nacional de Matemática Aplicada e Computacional. Nova Friburgo - RJ, 2002. v. 0. p. 0-0.
CLAUDIO, Dalcidio Moraes . O PAPEL DA FAPERGS COMO FINANCIADORA E PROMOTORA DA PESQUISA NO RIO GRANDE DO SUL. In: Aula Inaugural do Programa de Pós-Graduação em Educação, 2001, Canoas. Aula Inaugural do Programa de Pós-Graduação em Educação, 2001. v. 0. p. 0-0.
CLAUDIO, Dalcidio Moraes . O PAPEL DAS AGÊNCIAS DE FOMENTO ESTADUAIS - FORUM DE PESQUISA NA ÁREA DA SAÚDE DO HOSPITAL SÃO LUCAS DA PUCRS. In: FORUM DE PESQUISA NA ÁREA DA SAÚDE DO HOSPITAL SÃO LUCAS DA PUCRS, 2001, PORTO ALEGRE - RS. FORUM DE PESQUISA NA ÁREA DA SAÚDE DO HOSPITAL SÃO LUCAS DA PUCRS, 2001. v. 0. p. 0-0.
CLAUDIO, Dalcidio Moraes . AÇÕES DA FAPERGS COMO AGÊNCIA DE FOMENTO PARA O DESENVOLVIMENTO DA PESQUISA NO ESTADO. In: ENCONTRO DE CENTROS UNIVERSITÁRIOS, 2001, SANTA MARIA - RS. ENCONTRO DE CENTROS UNIVERSITÁRIOS. v. 0. p. 0-0.
CLAUDIO, Dalcidio Moraes . O PAPEL DAS AGÊNCIAS DE FOMENTO ESTADUAIS - I EREMA - ENCONTRO REGIONAL DE ESTATÍSTICA E MATEMÁTICA. In: I EREMA - ENCONTRO REGIONAL DE ESTATÍSTICA E MATEMÁTICA, 2001, PORTO ALEGRE - RS. I EREMA - ENCONTRO REGIONAL DE ESTATÍSTICA E MATEMÁTICA, 2001. v. 0. p. 0-0.
CLAUDIO, Dalcidio Moraes . COMO OBTER RECURSOS FINANCEIRO. In: CURSO DE EXTENSÃO: PESQUISA EM SAÚDE ASPECTOS ÉTICOS E METODOLÓGICOS, 2001, PORTO ALEGRE - RS. CURSO DE EXTENSÃO: PESQUISA EM SAÚDE ASPECTOS ÉTICOS E METODOLÓGICOS, 2001. v. 0. p. 0-0.
CLAUDIO, Dalcidio Moraes . PROGRAMAS DE ATUALIZAÇÃO DE PROFESSORES DE ENSINO MÉDIO. In: 21º EDEQ - ENCONTRO DE DEBATES SOBRE O ENSINO DE QUÍMICA, 2001, SANTA MARIA - RS. 21º EDEQ - ENCONTRO DE DEBATES SOBRE O ENSINO DE QUÍMICA, 2001. v. 0. p. 0-0.
CLAUDIO, Dalcidio Moraes . SEMINÁRIO DE COOPERAÇÃO BRASIL/EQUADOR EM CIÊNCIA E TECNOLOGIA. In: SEMINÁRIO DE COOPERAÇÃO BRASIL/EQUADOR EM CIÊNCIA E TECNOLOGIA, 2001, EQUADOR. SEMINÁRIO DE COOPERAÇÃO BRASIL/EQUADOR EM CIÊNCIA E TECNOLOGIA, 2001. v. 0. p. 0-0.
CLAUDIO, Dalcidio Moraes . ENCONTRO COM AS FAP'S: POLÍTICAS REGIONAIS DE FINANCIAMENTO À PESQUISA E AO PÓS-GRADUAÇÃO. In: XVI ENCONTRO ANUAL DA ANPOLL, 2001, PORTO ALEGRE - RS. XVI ENCONTRO ANUAL DA ANPOLL, 2001. v. 0. p. 0-0.
CLAUDIO, Dalcidio Moraes . COMO OBTER RECURSOS FINANCEIROS. In: CURSOS DE EXTENSÃO: PESQUISA EM SAÚDE: ASPECTOS ÉTICOS E METODOLÓGICOS, 2001, PORTO ALEGRE - RS. CURSOS DE EXTENSÃO: PESQUISA EM SAÚDE: ASPECTOS ÉTICOS E METODOLÓGICOS, 2001. v. 0. p. 0-0.
CLAUDIO, Dalcidio Moraes . A FAPERGS E O FOMENTO À PESQUISA. In: ENCONTRO DE PROFESSORES DO INSTITUTO DE LETRAS DA UFRGS, 2001, PORTO ALEGRE - RS. ENCONTRO DE PROFESSORES DO INSTITUTO DE LETRAS DA UFRGS, 2001. v. 0. p. 0-0.
CLAUDIO, Dalcidio Moraes . OS PROGRAMAS E AÇÕES DA FAPERGS PARA O DESENVOLVIMENTO DA PESQUISA (E RECURSOS HUMANOS) NO ESTADO. In: I ENCONTRO DE CENTROS UNIVERSITÁRIOS DO RIO GRANDE DO SUL, 2001, SANTA MARIA - RS. I ENCONTRO DE CENTROS UNIVERSITÁRIOS DO RIO GRANDE DO SUL, 2001. v. 0. p. 0-0.
CLAUDIO, Dalcidio Moraes . AMBIENTES DE APOIO AO ENSINO NA WEB. In: VI CONGRESO ARGENTINO DE CIENCIAS DE LA COMPUTACIÓN, 2000, Ushuaia. VI CONGRESO ARGENTINO DE CIENCIAS DE LA COMPUTACIÓN, 2000. v. 0. p. 0-0.
CLAUDIO, Dalcidio Moraes . ANÁLISE DE FERRAMENTAS INTERVALARES PARA COMPUTAÇÃO CIENTÍFICA. In: VI CONGRESO ARGENTINO DE CIENCIAS DE LA COMPUTACIÓN, 2000, Ushuaia. VI CONGRESO ARGENTINO DE CIENCIAS DE LA COMPUTACIÓN, 2000. v. 0. p. 0-0.
FRANCIOSI, B. R. T. ; OLIVEIRA, João Batista Souza de ; FREITAS, C. M. D. S. ; CLAUDIO, Dalcidio Moraes . GRAPHICAL APPROACH TO INTERVALS. In: SCAN 2000-GAMM-IMACS INTERNATIONAL SYMPOSIUM ON SCIENTIFIC COMPUTING, COMPUTER ARITHMETIC, AND VALIDATED NUMERICS - INTERVAL 2000-INTERNATIONAL CONFERENCE ON INTERVAL METHODS IN SCIENCE AND ENGINEERING, 2000, Karlsruhe - Germany. SCAN 2000-GAMM-IMACS INTERNATIONAL SYMPOSIUM ON SCIENTIFIC COMPUTING, COMPUTER ARITHMETIC, AND VALIDATED NUMERICS - INTERVAL 2000-INTERNATIONAL CONFERENCE ON INTERVAL METHODS IN SCIENCE AND ENGINEERING, 2000. v. 0. p. 179-179.
CLAUDIO, Dalcidio Moraes . RESOLUÇÃO DE EQUAÇÕES NÃO LINEARES. In: VI ENCONTRO REGIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL, 2000, Santa Cruz do Sul. VI ENCONTRO REGIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL, 2000. v. 0. p. 0-0.
CLAUDIO, Dalcidio Moraes . ATUAÇÃO DA FAPERGS COMO AGENTE PROPULSOR DA PESQUISA NO ESTADO DO RIO GRANDE DO SUL. In: V SEMANA ACADÊMICA E I ENCONTRO DE INICIAÇÃO CIENTÍFICA EM ENGENHARIA DE ALIMENTOS, 2000, Erechim. V SEMANA ACADÊMICA E I ENCONTRO DE INICIAÇÃO CIENTÍFICA EM ENGENHARIA DE ALIMENTOS, 2000. v. 0. p. 0-0.
CLAUDIO, Dalcidio Moraes . OS FUNDOS SETORIAIS E O FINANCIMENTO DA PESQUISA. In: II REUNIÃO ANUAL DO PROGRAMA DE PÓS-GRADUAÇÃO EM BIOLOGIA CELULAR E MOLECULAR, 2000, Porto Alegre. II REUNIÃO ANUAL DO PROGRAMA DE PÓS-GRADUAÇÃO EM BIOLOGIA CELULAR E MOLECULAR, 2000. v. 0. p. 0-0.
CLAUDIO, Dalcidio Moraes . CAMINHOS DE PÓS-GRADUAÇÃO PARA PROFESSORES LICENCIADOS EM MATEMÁTICA. In: I JORNADA EM EDUCAÇÃO MATEMÁTICA DA UFRGS - I JEM, 2000, Porto Alegre. I JORNADA EM EDUCAÇÃO MATEMÁTICA DA UFRGS - I JEM, 2000. v. 0. p. 0-0.
CLAUDIO, Dalcidio Moraes . A PESQUISA NO ESTADO DO RIO GRANDE DO SUL. In: III MOSTRA DE ENSINO, EXTENSÃO E PESQUISA - III MEEP, 2000, Lajeado. III MOSTRA DE ENSINO, EXTENSÃO E PESQUISA - III MEEP, 2000. v. 0. p. 0-0.
CLAUDIO, Dalcidio Moraes . SISTEMA DE APOIO À PESQUISA NO ESTADO DO RIO GRANDE DO SUL. In: FÓRUM DE COORDENADORES DE PÓS-GRADUAÇÃO, 2000, Porto Alegre. FÓRUM DE COORDENADORES DE PÓS-GRADUAÇÃO, 2000. v. 0. p. 0-0.
CLAUDIO, Dalcidio Moraes . PALESTRA INAUGURAL - I ENCONTRO REGIONAL DE ENSINO DE ESTATÍSITICA E MATEMÁTICA. In: I ENCONTRO REGIONAL DE ENSINO DE ESTATÍSITICA E MATEMÁTICA, 2000, Porto Alegre. I ENCONTRO REGIONAL DE ENSINO DE ESTATÍSITICA E MATEMÁTICA, 2000. v. 0. p. 0-0.
CLAUDIO, Dalcidio Moraes . PALESTRA AO CORPO DOCENTE E DISCENTE. In: PROGRAMA DE PÓS-GRADUAÇÃO EM FÍSICA, 2000, Santa Maria. PROGRAMA DE PÓS-GRADUAÇÃO EM FÍSICA, 2000. v. 0. p. 0-0.
CLAUDIO, Dalcidio Moraes . PALESTRA INAUGURAL - WORKSHOP OLEOQUÍMICA. In: WORKSHOP OLEOQUÍMICA, 2000, Canela. WORKSHOP OLEOQUÍMICA, 2000. v. 0. p. 0-0.
CLAUDIO, Dalcidio Moraes . PROJETOS E METAS DA FAPERGS. In: ENCONTRO DOS REPRESENTANTES DE PESQUISA DOS CENTROS - ULBRA, 2000, Canoas. ENCONTRO DOS REPRESENTANTES DE PESQUISA DOS CENTROS - ULBRA, 2000. v. 0. p. 0-0.
CLAUDIO, Dalcidio Moraes ; CAMARGO-BRUNETTO, M. A. O. ; TREVISAN, V. . AN ALGEBRAIC ALGORITHM FOR COUNTING POLYNOMIAL ZEROS IN A CIRCLE USING PRINCIPLE OF ARGUMENT AND CHEBYSHEV POLYNOMIALS. In: ICIAM 99 - International Congress on Industrial and Applied Mathematics, 1999, Edinburgh. Anais do International Congress on Industrial and Applied Mathematics. Edinburgh, 1999. v. 0. p. 0-0.
FRANCIOSI, B. R. T. ; OLIVEIRA, João Batista Souza de ; CLAUDIO, Dalcidio Moraes ; FREITAS, C. M. D. S. . REPRESENTAÇÃO GEOMÉTRICA DE INTERVALOS. In: XXII CNMAC - CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL, 1999, Santos - SP. Resumo das Comunicações - CNMAC. Santos - SP: SBMAC, 1999. v. 0. p. 47-47.
CUNHA, M. L. ; BOCIAN, D. ; BOCIAN JR, J. ; CLAUDIO, Dalcidio Moraes . O ENSINO DE CÁLCULO COM O USO DA INFORMÁTICA. In: XXII CNMAC - CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL, 1999, Santos - SP. Resumo das Comunicações - CNMAC. Santos - SP: SBMAC, 1999. v. 0. p. 152-152.
MORAES, D. C. ; OLIVEIRA, P. W. ; CLAUDIO, Dalcidio Moraes . SOFTWARE MATEMÁTICOS NO PROCESSO DE ENSINO E APRENDIZAGEM. In: XXII CNMAC - CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL, 1999, Santos - SP. Resumo das Comunicações - CNMAC. Santos - SP: SBMAC, 1999. v. 0. p. 159-159.
WILKE, Fabiana Zamora ; OLIVEIRA, João Batista Souza de ; CLAUDIO, Dalcidio Moraes . ESTRATÉGIAS PARA ANÁLISE DO ERRO DE MEDIÇÃO EM MÁQUINAS DE MEDIÇÃO DE COORDENADAS. In: XXII CNMAC - CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL, 1999, Santos - SP. Resumo das Comunicações - CNMAC. Santo - SP: SBMAC, 1999. v. 0. p. 305-305.
PRESTES, R. C. ; MARANGON, C. L. ; KOLBERG, Mariana Luderitz ; CLAUDIO, Dalcidio Moraes . RAÍZES DE POLINÔMIOS COM COEFICIENTES INTERVALARES. In: XXII CNMAC - CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL, 1999, Santos - SP. Resumo das Comunicações - CNMAC. Santos - SP: SBMAC, 1999. v. 0. p. 358-358.
DIMURO, Graçaliz Pereira ; COSTA, Antônio Carlos da Rocha ; REISER, Renata Hax Sander ; CLAUDIO, Dalcidio Moraes . REPRESENTING R AND IR IN COHERENCE SPACES. In: XXII CNMAC - CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL, 1999, Santos - SP. Resumo das Comunicações - CNMAC. Santos - SP: SBMAC, 1999. v. 0. p. 371-371.
COSTA, Antônio Carlos da Rocha ; DIMURO, Graçaliz Pereira ; DUARTE, G. D. ; RODRIGUES, F. P. M. ; CLAUDIO, Dalcidio Moraes ; OLIVEIRA, P. W. . ENSINO INTEGRADO DOS FUNDAMENTOS MATEMÁTICOS DA CIÊNCIA DA COMPUTAÇÃO. In: XXII CNMAC - CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL, 1999, Santos - SP. Resumo das Comunicações - CNMAC. Santos - SP: SBMAC, 1999. v. 0. p. 372-372.
KOLBERG, Mariana Luderitz ; MARANGON, C. L. ; PRESTES, R. C. ; VACCARO, G. L. R. ; CLAUDIO, Dalcidio Moraes . RAÍZES DE POLINÔMIOS COM COEFICIENTES INTERVALARES. In: XI Salão de Iniciação Científica - UFRGS, 1999, Porto Alegre - RS. Anais do XI Salão de Iniciação Científica - UFRGS. Porto Alegre - RS: CD-ROM, 1999. v. 0. p. 65-65.
BOCIAN JR, J. ; SILVA, L. S. ; CLAUDIO, Dalcidio Moraes ; VACCARO, G. L. R. . MATWEB: UM AMBIENTE DE SUPORTE AO ENSINO DE DISCIPLINAS MATEMÁTICAS NA INTERNET. In: II Jornada de Iniciação Científica - PUCRS, 1998, Porto Alegre - RS. Resumos da II Jornada de Iniciação Científica - PUCRS. Porto Alegre - RS: PUCRS, 1998. v. 0. p. 17-17.
BOCIAN JR, J. ; SILVA, L. S. ; CLAUDIO, Dalcidio Moraes ; VACCARO, G. L. R. . MATWEB: AMBIENTE VIRTUAL DE APOIO AO ENSINO DE DISCIPLINAS MATEMÁTICAS. In: X Salão de Iniciação Científica - UFRGS, 1998, Porto Alegre - RS. REsumos do X Salão de Iniciação Científica - UFRGS. Porto Alegre - RS: UFRGS, 1998. v. 0. p. 52-52.
CUNHA, M. L. ; CLAUDIO, Dalcidio Moraes ; OLIVEIRA, P. W. . UMA APLICAÇÃO COMPUTACIONAL DOS SÓLIDOS DE REVOLUÇÃO. In: II Jornada de Iniciação Científica - PUCRS, 1998, Porto Alegre - RS. Resumos da II Jornada de Iniciação Científica - PUCRS. Porto Alegre - RS: PUCRS, 1998. v. 0. p. 19-20.
CUNHA, M. L. ; MORAES, D. C. ; VACCARO, G. L. R. ; CLAUDIO, Dalcidio Moraes . UMA VISUALIZAÇÃO COMPUTACIONAL DOS SÓLIDOS DE REVOLUÇÃO. In: X Salão de Iniciação Científica - UFRGS, 1998, Porto Alegre - RS. Resumo do X Salão de Iniciação Científica - UFRGS. Porto Alegre - RS: UFRGS, 1998. v. 0. p. 44-44.
LEAL, Liara Aparecida dos Santos ; CLAUDIO, Dalcidio Moraes ; TOSCANI, Laira Vieira . APPROXIMATIVE ALGORITHMS THROUGH SCOTTS DOMAIN THEORY. In: OPTIMIZATION/98, 1998, Coimbra - Portugal. Anais: OPTIMIZATION/98. Coimbra - Portugal: University of Coimbra, 1998. v. 0. p. 44-44.
PRESTES, R. C. ; MENEGUZZI, F. R. ; CLAUDIO, Dalcidio Moraes ; VACCARO, G. L. R. . MAPLE V COMO FERRAMENTA DE ENSINO DE DISCIPLINAS DE MATEMÁTICA. In: II Jornada de Iniciação Científica - PUCRS, 1998, Porto Alegre - RS. Resumo da II Jornada de Iniciação Científica - PUCRS. Porto Alegre - RS: PUCRS, 1998. v. 0. p. 19-19.
SANTOS, L. R. ; OLIVEIRA, P. W. ; VACCARO, G. L. R. ; CLAUDIO, Dalcidio Moraes . O MAPLE V COMO FERRAMENTA AUXILIAR NO ENSINO DO CÁLCULO DIFERENCIAL E INTEGRAL C. In: X Salão de Iniciação Científica - UFRGS, 1998, Porto Alegre - RS. Resumos do X Salão de Iniciação Científica - UFRGS. Porto Alegre - RS: UFRGS, 1998. v. 0. p. 52-52.
SILVA, C. ; CLAUDIO, Dalcidio Moraes ; OLIVEIRA, P. W. . APLICAÇÕES DA ÁLGEBRA LINEAR E DA GEOMETRIA ANALÍTICA EM CIÊNCIAS DA COMPUTAÇÃO. In: II Jornada de Iniciação Científica - PUCRS, 1998, Porto Alegre - RS. Resumos da II Jornada de Iniciação Científica - PUCRS. Porto Alegre - RS: PUCRS, 1998. v. 0. p. 15-16.
GASPERIN, C. V. ; PICCOLI, L. ; NAVAUX, Philippe Olivier Alexandre ; CLAUDIO, Dalcidio Moraes . MÉTODO DE SEGMENTAÇÃO DE IMAGENS ECOCARDIOGRÁFICAS UTILIZANDO REDES NEURAIS. In: X Salão de Iniciação Científica - UFRGS, 1998, Porto Alegre - RS. Resumos do X Salão de Iniciação Científica - UFRGS. Porto Alegre - RS: UFRGS, 1998. v. 0. p. 34-34.
SILVA, C. ; OLIVEIRA, P. W. ; CLAUDIO, Dalcidio Moraes . APLICAÇÕES DA ÁLGEBRA LINEAR E DA GEOMETRIA ANALÍTICA EM CIÊNCIAS DA COMPUTAÇÃO. In: X Salão de Iniciação Cientifica - UFRGS, 1998, Porto Alegre - RS. Resumos do X Salão de Iniciação Cientifica - UFRGS. Porto Alegre - RS: UFRGS, 1998. v. 0. p. 52-53.
SILVA, C. ; OLIVEIRA, P. W. ; CLAUDIO, Dalcidio Moraes . APLICAÇÕES DA ÁLGEBRA LINEAR E DA GEOMETRIA ANALÍTICA EM CIÊNCIAS DA COMPUTAÇÃO. In: V Jornada Nacional de Iniciação Científica - 50. Reunião Anual do SBPC, 1998, Natal - RN. Anais da V Jornada Nacional de Iniciação Científica - 50. Reunião Anual do SBPC. Natal - RN, 1998. v. 0. p. 0-0.
BOCIAN JR, J. ; SILVA, L. S. ; HÖLBIG, Carlos Amaral ; CLAUDIO, Dalcidio Moraes . MATWEB: UM AMBIENTE DE APOIO AO ENSINO DE DISCIPLINAS MATEMÁTICAS. In: I Jornada de Iniciação Científica - PUCRS, 1997, Porto Alegre - RS. Resumo da I Jornada de Iniciação Científica - PUCRS. Porto Alegre - RS: PUCRS, 1997. p. 14-14.
CLAUDIO, Dalcidio Moraes ; VACCARO, G. L. R. ; FERREIRA, A. L. A. ; HÖLBIG, Carlos Amaral . EXPERIENCIAS DE ENSENANZA DE LA MATEMATICA EN 3er GRADO CON EL AUXILIO DE RECURSOS COMPUTACIONALES. In: Tercer Evento Internacional Cientifico Metodologico de la Enseñanza de la Matemática y la Computacion - COMAT'97, 1997, Matanzas - Cuba. Resumenes del Tercer Evento Internacional Cientifico Metodologico de la Enseñanza de la Matemática y la Computacion - COMAT'97. Matanzas - Cuba: Universidad de Matanzas, 1997. p. 32-32.
CLAUDIO, Dalcidio Moraes ; VACCARO, G. L. R. ; FERREIRA, A. L. A. ; HÖLBIG, Carlos Amaral . MATWET: UN AMBIENTE DE APOYO A LA ENSENANZA DE DISCIPLINAS MATEMATICAS. In: Tercer Evento Internacional Científico Metodologico de la Enseñanza de la Matemática y la Computacion - COMAT'97, 1997, Matanzas - Cuba. Resumenes del Tercer Evento Internacional Científico Metodologico de la Enseñanza de la Matemática y la Computacion - COMAT'97. Matanzas - Cuba: Universidad de Matanzas, 1997. p. 33-33.
CLAUDIO, Dalcidio Moraes ; HÖLBIG, Carlos Amaral . DESARROLLO DE BIBLIOTECAS CIENTIFICAS INTERVALARES. In: Tercer Evento Internacional Científico Metodologico de la Enseñanza de la Matemática y la Computacion - COMAT'97, 1997, Matanzas - Cuba. Resumenes del Tercer Evento Internacional Científico Metodologico de la Enseñanza de la Matemática y la Computacion - COMAT'97. Matanzas - Cuba: Universidad de Matanzas, 1997. p. 23-23.
CUNHA, M. L. ; MORAES, D. C. ; VACCARO, G. L. R. ; CLAUDIO, Dalcidio Moraes . UTILIZAÇÃO DE RECURSOS COMPUTACIONAIS NO ENSINO DE CÁLCULO. In: Encontro A Informática no Ensino da Matemática, 1997, São Carlos - SP. Resumos do Encontro A Informática no Ensino da Matemática. São Carlos - SP: ICMSC - USP, 1997. p. 8-8.
CUNHA, M. L. ; MORAES, D. C. ; HÖLBIG, Carlos Amaral ; CLAUDIO, Dalcidio Moraes . O ENSINO DE CÁLCULO COM AUXÍLIO DA INFORMÁTICA. In: XX CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 1997, Gramado - RS. Resumos do XX CNMAC - Congresso Nacional de Matemática Aplicada e Computacional. Gramado - RS: SBMAC, 1997. p. 413-414.
CUNHA, M. L. ; MORAES, D. C. ; HÖLBIG, Carlos Amaral ; CLAUDIO, Dalcidio Moraes . UMA NOVA PERSPECTIVA PARA O ENSINO DE CÁLCULO. In: IX Salão de Iniciação Científica - UFRGS, 1997, Porto Alegre - RS. Resumo do IX Salão de Iniciação Científica - UFRGS. Porto Alegre - RS: UFRGS, 1997. p. 62-62.
DIMURO, Graçaliz Pereira ; COSTA, Antônio Carlos da Rocha ; CLAUDIO, Dalcidio Moraes . UMA CARACTERIZAÇÃO TOPOLÓGICA PARA O ESPAÇO COERENTE INTERVALAR BI-ESTRUTURADO. In: XX CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 1997, Gramado - RS. Resumos do XX CNMAC - Congresso Nacional de Matemática Aplicada e Computacional. Gramado - RS: SBMAC, 1997. p. 249-250.
FREITAS, M. S. ; OLIVEIRA, P. W. ; CLAUDIO, Dalcidio Moraes . ESTUDO COMPARATIVO SOBRE A AVALIAÇÃO DE POLINOMIOS INTERVALARES NOS AMBIENTES MAPLE V E MATHEMATICA. In: IX Salão de Iniciação Científica - UFRGS, 1997, Porto Alegre - RS. Resumo do IX Salão de Iniciação Científica - UFRGS. Porto Alegre - RS: UFRGS, 1997. p. 62-62.
FREITAS, M. S. ; CLAUDIO, Dalcidio Moraes . ESTUDO COMPARATIVO SOBRE A VISUALIZAÇÃO DE POLINOMIOS INTERVALARES NOS AMBIENTES MAPLE V E MATHEMATICA. In: I Jornada de Iniciação Científica - PUCRS, 1997, Porto Alegre - RS. Resumo da I Jornada de Iniciação Científica - PUCRS. Porto Alegre - RS: PUCRS, 1997. p. 12-12.
LEAL, Liara Aparecida dos Santos ; TOSCANI, Laira Vieira ; CLAUDIO, Dalcidio Moraes . FORMALIZAÇÃO DE ALGORITMOS APROXIMATIVOS ATRAVÉS DA TEORIA DOS DOMÍNIOS. In: XX CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 1997, Gramado - RS. Resumos do XX CNMAC - Congresso Nacional de Matemática Aplicada e Computacional. Gramado - RS: SBMAC, 1997. p. 372-373.
LUZ, D. A. ; HÖLBIG, Carlos Amaral ; CLAUDIO, Dalcidio Moraes . OFICINA DE CÁLCULO COM USO DO SOFTWARE MATHEMATICA. In: IX Salão de Iniciação Científica - UFRGS, 1997, Porto Alegre - RS. Resumo do IX Salão de Iniciação Científica - UFRGS. Porto Alegre - RS: UFRGS, 1997. p. 62-62.
LUZ, D. A. ; MORAES, D. C. ; HÖLBIG, Carlos Amaral ; CLAUDIO, Dalcidio Moraes . UMA NOVA ABORDAGEM PARA O ENSINO DE CÁLCULO B. In: I Jornada de Iniciação Científica - PUCRS, 1997, Porto Alegre - RS. Resumo da I Jornada de Iniciação Científica - PUCRS. Porto Alegre - RS: PUCRS, 1997. p. 10-10.
MENDES, S. C. ; SILVA, L. S. ; HÖLBIG, Carlos Amaral ; CLAUDIO, Dalcidio Moraes . A INTERNET E SUA UTILIZAÇÃO NO ENSINO MATEMÁTICO. In: XX CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 1997, Gramado - RS. Resumos do XX CNMAC - Congresso Nacional de Matemática Aplicada e Computacional. Gramado - RS: SBMAC, 1997. p. 594-595.
MENDES, S. C. ; SILVA, L. S. ; HÖLBIG, Carlos Amaral ; CLAUDIO, Dalcidio Moraes . USO DA INTERNET NO ENSINO. In: IX Salão de Iniciação Científica - UFRGS, 1997, Porto Alegre - RS. Resumo do IX Salão de Iniciação Científica - UFRGS. Porto Alegre - RS: UFRGS, 1997. p. 18-18.
REISER, Renata Hax Sander ; DIMURO, Graçaliz Pereira ; COSTA, Antônio Carlos da Rocha ; CLAUDIO, Dalcidio Moraes . REPRESENTAÇÃO DE FUNÇÕES EM ESPAÇOS COERENTES BI-ESTRUTURADOS. In: XX CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 1997, Gramado - RS. Resumos do XX CNMAC - Congresso Nacional de Matemática Aplicada e Computacional. Gramado - RS: SBMAC, 1997. p. 530-531.
ROCHA, A. P. ; CLAUDIO, Dalcidio Moraes ; HAUSER, E. B. . UTILIZAÇÃO DO MAPLE V NO CÁLCULO NUMÉRICO. In: I Jornada de Iniciação Científica - PUCRS, 1997, Porto Alegre - RS. Resumo da I Jornada de Iniciação Científica - PUCRS. Porto Alegre - RS: PUCRS, 1997. p. 10-10.
SAMPAIO, L. A. ; LAGO, F. F. ; CLAUDIO, Dalcidio Moraes . UTILIZAÇÃO DE SOFTWARE MATEMÁTICOS NA APRENDIZAGEM DO CÁLCULO. In: I Jornada de Iniciação Científica - PUCRS, 1997, Porto Alegre - RS. Resumo da I Jornada de Iniciação Científica - PUCRS. Porto Alegre - RS: PUCRS, 1997. p. 40-40.
SILVA, C. ; CLAUDIO, Dalcidio Moraes ; OLIVEIRA, P. W. . APLICAÇÕES DE ÁLGEBRA LINEAR E DE GEOMETRIA ANALÍTICA EM CIÊNCIAS DA COMPUTAÇÃO. In: I Jornada de Iniciação Científica - PUCRS, 1997, Porto Alegre - RS. Resumo da I Jornada de Iniciação Científica - PUCRS. Porto Alegre - RS: PUCRS, 1997. p. 16-16.
SILVA, L. G. ; SAMPAIO, L. A. ; FERREIRA, A. L. A. ; CLAUDIO, Dalcidio Moraes . USO DE SOFTWARES MATEMÁTICOS DISPONÍVEIS NA INTERNET. In: XX CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 1997, Gramado - RS. Resumos do XX CNMAC - Congresso Nacional de Matemática Aplicada e Computacional. Gramado - RS: SBMAC, 1997. p. 377-378.
SILVA, L. G. ; SAMPAIO, L. A. ; FERREIRA, A. L. A. ; CLAUDIO, Dalcidio Moraes . RECURSOS COMPUTACIONAIS QUE AUXILIAM NAS DEFICIÊNCIAS DO ENSINO-APRENDIZAGEM DO CÁLCULO. In: IX Salão de Iniciação Científica - UFRGS, 1997, Porto Alegre - RS. Resumo do IX Salão de Iniciação Científica - UFRGS. Porto Alegre - RS: UFRGS, 1997. p. 54-54.
SILVA, L. S. ; BOCIAN JR, J. ; HÖLBIG, Carlos Amaral ; CLAUDIO, Dalcidio Moraes . USO DA INTERNET NO ENSINO MATEMÁTICO. In: I Jornada de Iniciação Científica - PUCRS, 1997, Porto Alegre - RS. Resumo da I Jornada de Iniciação Científica - PUCRS. Porto Alegre - RS: PUCRS, 1997. p. 9-9.
SOSTER, T. S. ; OLIVEIRA, P. W. ; CLAUDIO, Dalcidio Moraes . UM SOFTWARE GRÁFICO PARA A REPRESENTAÇÃO DE FUNÇÕES INTERVALARES. In: IX Salão de Iniciação Científica - UFRGS, 1997, Porto Alegre - RS. Resumo do IX Salão de Iniciação Científica - UFRGS. Porto Alegre - RS: UFRGS, 1997. p. 61-61.
TEIXEIRA, S. B. ; CUNHA, M. L. ; CLAUDIO, Dalcidio Moraes ; VACCARO, G. L. R. . A UTILIZAÇÃO DE RECURSOS COMPUTACIONAIS NO ENSINO DE CÁLCULO. In: I Jornada de Iniciação Científica - PUCRS, 1997, Porto Alegre - RS. Resumo da I Jornada de Iniciação Científica - PUCRS. Porto Alegre - RS: PUCRS, 1997. p. 12-12.
CLAUDIO, Dalcidio Moraes . CONSIDERAÇÕES SOBRE RESOLUÇÃO DE EQUAÇÕES COM COEFICIENTES NÃO EXATOS. In: I Encontro de Verão de Matemática Computacional, 1996, Porto Alegre - RS. Anais do I Encontro de Verão de Matemática Computacional. Porto Alegre - RS: Instituto de Informática - UFRGS, 1996. p. 32-33.
CLAUDIO, Dalcidio Moraes . SOLVING EQUATIONS WITH INTERVAL COEFFICIENTS. In: International Conference on Uncertain Structures: Analytical, Numerical and Experimental Methods, 1996, Miami - USA. Abstracts: International Conference on Uncertain Structures: Analytical, Numerical and Experimental Methods. Miami - USA, 1996. p. 16-16.
DIMURO, Graçaliz Pereira ; COSTA, Antônio Carlos da Rocha ; CLAUDIO, Dalcidio Moraes . ESPAÇOS COERENTES E INTERVALOS. In: I Encontro de Verão de Matemática Computacional, 1996, Porto Alegre - RS. Anais do I Encontro de Verão de Matemática Computacional. Porto Alegre - RS: Instituto de Informática - UFRGS, 1996. p. 20-21.
DIMURO, Graçaliz Pereira ; COSTA, Antônio Carlos da Rocha ; CLAUDIO, Dalcidio Moraes . UMA CONSTRUÇÃO DOS NÚMEROS REAIS COMPUTÁVEIS UTILIZANDO ESPAÇOS COERENTES DE INTERVALOS RACIONAIS. In: XIX CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 1996, Goiânia. Resumos do XIX CNMAC - Congresso Nacional de Matemática Aplicada e Computacional. Goiânia: SBMAC, 1996. p. 130-131.
FERREIRA, A. L. A. ; MOURA, F. ; OLIVEIRA, P. W. ; CLAUDIO, Dalcidio Moraes . REPRESENTAÇÃO GEOMÉTRICA DE FUNÇÕES INTERVALARES. In: XIX CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 1996, Goiânia. Resumos do XIX CNMAC - Congresso Nacional de Matemática Aplicada e Computacional. Goiânia: SBMAC, 1996. p. 236-237.
LEAL, Liara Aparecida dos Santos ; TOSCANI, Laira Vieira ; CLAUDIO, Dalcidio Moraes . ALGORITMOS APROXIMATIVOS COMO SISTEMAS DE INFORMAÇÃO. In: XIX CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 1996, Goiânia. Resumos do XIX CNMAC - Congresso Nacional de Matemática Aplicada e Computacional. Goiânia: SBMAC, 1996. p. 110-111.
MENDES, S. C. ; WILKE, Fabiana Zamora ; CLAUDIO, Dalcidio Moraes . FUNÇÕES LIMÍTROFES DE EQUAÇÕES COM COEFICIENTES INTERVALARES. In: I Encontro de Verão de Matemática Computacional, 1996, Porto Alegre - RS. Anais do I Encontro de Verão de Matemática Computacional. Porto Alegre - RS: Instituto de Informática - UFRGS, 1996. p. 25-25.
REISER, Renata Hax Sander ; CLAUDIO, Dalcidio Moraes . PRECONDICIONAMENTO EM SELAS INTERVALARES. In: I Encontro de Verão de Matemática Computacional, 1996, Porto Alegre - RS. Anais do I Encontro de Verão de Matemática Computacional. Porto Alegre - RS: Instituto de Informática - UFRGS, 1996. p. 22-22.
REISER, Renata Hax Sander ; DIMURO, Graçaliz Pereira ; COSTA, Antônio Carlos da Rocha ; CLAUDIO, Dalcidio Moraes . ESTUDO DA LINEARIDADE DAS FUNÇÕES TRIGONOMÉTRICAS NO ESPAÇO COERENTE DE INTERVALOS RACIONAIS. In: XIX CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 1996, Goiânia. Resumos do XIX CNMAC - Congresso Nacional de Matemática Aplicada e Computacional. Goiânia: SBMAC, 1996. p. 116-117.
REISER, Renata Hax Sander ; CLAUDIO, Dalcidio Moraes ; DIMURO, Graçaliz Pereira . GAUSS-SEIDEL INTERVALAR. In: XIX CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 1996, Goiânia. Resumos do XIX CNMAC - Congresso Nacional de Matemática Aplicada e Computacional. Goiânia: SBMAC, 1996. p. 118-119.
SILVA, L. G. ; SILVA, L. S. ; CLAUDIO, Dalcidio Moraes . AVALIAÇÃO DO COMPORTAMENTO DE RAÍZES POLINOMIAIS EM DIFERENTES AMBIENTES. In: XIX CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 1996, Goiânia. Resumos do XIX CNMAC - Congresso Nacional de Matemática Aplicada e Computacional. Goiânia: SBMAC, 1996. p. 216-217.
TRUCCOLO, D. S. ; MENDES, S. C. ; OLIVEIRA, P. W. ; CLAUDIO, Dalcidio Moraes . LOCALIZAÇÃO DE ZEROS DE FUNÇÕES FAIXA. In: XIX CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 1996, Goiânia. Resumos do XIX CNMAC - Congresso Nacional de Matemática Aplicada e Computacional. Goiânia: SBMAC, 1996. p. 224-225.
FRANCIOSI, B. R. T. ; OLIVEIRA, João Batista Souza de ; CLAUDIO, Dalcidio Moraes . HANDLING DIMENSIONAL METROLOGY WITH INTERVAL ARITHMETIC. In: GAMM/JAHRESTAGUNG - Gesellschaft für Angewandte Mathematik und Mechanik, 1996, Praga - República Tcheca. Anais: GAMM/JAHRESTAGUNG - Gesellschaft für Angewandte Mathematik und Mechanik. Praga - República Tcheca, 1996.
CAMARGO-BRUNETTO, M. A. O. ; TREVISAN, V. ; CLAUDIO, Dalcidio Moraes . ISOLATING COMPLEX POLYNOMIAL ROOTS: AN ALGEBRAIC ALGORITHM USING STURM SEQUENCES. In: ICIAM 95 - The Third International Congress on Industrial and Applied Mathematics, 1995, Hamburg - Germany. Abstracts: ICIAM 95 - The Third International Congress on Industrial and Applied Mathematics. Hamburg - Germany, 1995. p. 243-243.
CLAUDIO, Dalcidio Moraes . INTERVAL APPROXIMATION. In: The Third International Congress on Industrial and Applied Mathematics, 1995, Hamburg - Alemanha. Abstracts of The Third International Congress on Industrial and Applied Mathematics. Hamburg - Alemanha, 1995. p. 256-256.
CLAUDIO, Dalcidio Moraes . EQUATIONS WITH INTERVAL COEFFICIENTS: THEORY AND PRACTICE. In: Modelling and Information System in Biology - BIOMATH, 1995, Sofia - Bulgária. Anais: Modelling and Information System in Biology - BIOMATH. Sofia - Bulgária, 1995. p. 36-36.
CLAUDIO, Dalcidio Moraes . EQUAÇÕES COM COEFICIENTES NÃO EXATOS. In: XVIII CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 1995, Curitiba - PR. Anais do XVIII CNMAC - Congresso Nacional de Matemática Aplicada e Computacional. Curitiba - PR: SBMAC, 1995. p. 165-168.
DIVERIO, Tiaraju Asmuz ; FERNANDES, U. A. L. ; CLAUDIO, Dalcidio Moraes . ERRORS IN VECTOR PROCESSING. In: IMACS/GAMM - International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, 1995, Wuppertal - Germany. Abstracts: IMACS/GAMM - International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics. Wuppertal - Germany: IMACS, 1995. p. 39-39.
MANSSOUR, I. H. ; FREITAS, C. M. D. S. ; CLAUDIO, Dalcidio Moraes . UM SISTEMA PARA VISUALIZAÇÃO E EXPLORAÇÃO DE DADOS METEOROLÓGICOS. In: SIBGRAPI 95 - VIII Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens, 1995, São Carlos - SP. Resumo do SIBGRAPI 95 - VIII Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens. São Carlos - SP: SBC - UFSCar, 1995. p. 321-322.

Projetos de pesquisa

2007 - 2008

MEQ - Uma Abordagem para Ensino de Matemática Auxiliado por Computador - Estudo de Caso 1: Engenharia Química, Descrição: O projeto MEQ, constitui-se no desenvolvimento de um ambiente de apoio ao ensino, que dispõe de recursos para a construção das aulas, auxiliando o ensino da disciplina de Cálculo 1 para Engenharia Química. É um projeto multidisciplinar que propõe a integração entre as áreas de Matemática, Informática e Educação, tendo, na sua essência, o propósito de viabilizar uma nova forma de trabalhar conteúdos de Cálculo para alunos do 1º semestre. Além disso, este sistema visa a interação entre professores e alunos, buscando um maior crescimento e aproveitamento do processo ensino-aprendizagem.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Dalcidio Moraes Claudio - Coordenador / Ana Laura Nonnenmacher Junqueira - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2006 - 2008

CIA - Computação com Intervalos e Aproximação - Bolsa AT, Descrição: Sumário O trabalho tem como objetivo geral o estudo e desenvolvimento de versões paralelas de métodos de resolução de sistemas lineares com computação verificada, em clusters de computadores usando as bibliotecas C-XSC e MPI, em especial nos ambientes de cluster da PUCRS e da Universidade de Karlsruhe (Alemanha). Destacam-se como objetivos específicos: - Pesquisar, estudar e aprofundar os conhecimentos do tema computação verificada; - Pesquisar, estudar e aprofundar os conhecimentos do tema algoritmos paralelos intervalares; - Pesquisar e avaliar ambientes de alto desempenho (hardware) que suportam a aritmética intervalar; - Estudar os clusters da PUCRS e o cluster do Centro de competência em Alto Desempenho de Baden-Würtenberg, que localiza-se parte em Karlsruhe e parte em Stuttgart (http://www.hkz-bw.de); - Pesquisar, instalar e avaliar ferramentas computacionais (software) que possibilitam a construção de algoritmos com computação verificada e sua respectiva utilização em ambientes de alto desempenho, em especial a biblioteca C-XSC; - Identificar e definir abordagens para a construção de algoritmos paralelos intervalares; - Estudar as possibilidades de paralelização dos métodos números para resolução de equações lineares; - Implementar, testar e validar os métodos numéricos intervalares com suporte a computação verificada nos clusters estudados; - Identificar aplicações que possam fazer uso dos algoritmos/métodos estudados, avaliados, construídos nesta pesquisa; - Submeter trabalhos a conferências e elaborar textos (artigos, relatórios de pesquisa, etc...) para divulgar o uso da computação verificada em ambientes de alto desempenho. Trabalhos já realizados sobre esta temática: - Dissertação de Mestrado de Mariana Kolberg. - Tese de Doutorado de Carlos Hölbig e Guilherme Vaccaro. - Nove Artigos em Congressos.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Dalcidio Moraes Claudio - Coordenador / Monica Lourdes de Souza - Integrante / Edsom Nieves Santana Junior - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2006 - 2007

MEQ - Uma Abordagem para Ensino de Matemática Auxiliado por Computador - Estudo de Caso 1: Engenharia Química, Descrição: O projeto MEQ, constitui-se no desenvolvimento de um ambiente de apoio ao ensino, que dispõe de recursos para a construção das aulas, auxiliando o ensino da disciplina de Cálculo 1 para Engenharia Química. É um projeto multidisciplinar que propõe a integração entre as áreas de Matemática, Informática e Educação, tendo, na sua essência, o propósito de viabilizar uma nova forma de trabalhar conteúdos de Cálculo para alunos do 1º semestre. Além disso, este sistema visa a interação entre professores e alunos, buscando um maior crescimento e aproveitamento do processo ensino-aprendizagem.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Dalcidio Moraes Claudio - Coordenador / Ana Laura Nonnenmacher Junqueira - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2005 - 2007

CIA - Computação com Intervalos e Aproximação - Bolsa IC, Descrição: Sumário O trabalho tem como objetivo geral o estudo e desenvolvimento de versões paralelas de métodos de resolução de sistemas lineares com computação verificada, em clusters de computadores usando as bibliotecas C-XSC e MPI, em especial nos ambientes de cluster da PUCRS e da Universidade de Karlsruhe (Alemanha). Destacam-se como objetivos específicos: - Pesquisar, estudar e aprofundar os conhecimentos do tema computação verificada; - Pesquisar, estudar e aprofundar os conhecimentos do tema algoritmos paralelos intervalares; - Pesquisar e avaliar ambientes de alto desempenho (hardware) que suportam a aritmética intervalar; - Estudar os clusters da PUCRS e o cluster do Centro de competência em Alto Desempenho de Baden-Würtenberg, que localiza-se parte em Karlsruhe e parte em Stuttgart (http://www.hkz-bw.de); - Pesquisar, instalar e avaliar ferramentas computacionais (software) que possibilitam a construção de algoritmos com computação verificada e sua respectiva utilização em ambientes de alto desempenho, em especial a biblioteca C-XSC; - Identificar e definir abordagens para a construção de algoritmos paralelos intervalares; - Estudar as possibilidades de paralelização dos métodos números para resolução de equações lineares; - Implementar, testar e validar os métodos numéricos intervalares com suporte a computação verificada nos clusters estudados; - Identificar aplicações que possam fazer uso dos algoritmos/métodos estudados, avaliados, construídos nesta pesquisa; - Submeter trabalhos a conferências e elaborar textos (artigos, relatórios de pesquisa, etc...) para divulgar o uso da computação verificada em ambientes de alto desempenho. Trabalhos já realizados sobre esta temática: - Dissertação de Mestrado de Mariana Kolberg. - Tese de Doutorado de Carlos Hölbig e Guilherme Vaccaro. - Nove Artigos em Congressos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) . , Integrantes: Dalcidio Moraes Claudio - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2005 - 2006

MEA - Modelos com Constantes Sujeitas a Erro: Estrutura e Aplicações, Descrição: Introdução: O objeto desta pesquisa é a resolução de equações não lineares com coeficientes reais e ou intervalares. Além disso, e utilizando-se de técnicas de visualização científica pretende-se disponibilizar uma ferramenta que auxilia na busca de raízes, em especial àquelas muito próximas uma das outras. Objetivos Gerais: - Introduzir a noção de ordem no espaço dinâmico = ( , +, -, ., , /). - Desenvolver métodos intervalares para resolução de equações no espaço . - Estender o trabalho desenvolvido em [VAC 2001], no sentido de possibilitar a obtenção de raízes complexas. - Dar destaque ao uso das técnicas desenvolvidas na resolução de raízes complexas de equações polinomiais. - Implementar um sistema automatizado de visualização de resolução de equações a partir do protótipo já desenvolvido pelo grupo.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Dalcidio Moraes Claudio - Coordenador / Ana Laura Nonnenmacher Junqueira - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Cientifico e Tecnologico - Bolsa.
2004 - 2006

Verified Computing Using C-XSC (PROBAL), Descrição: Este projeto tem como objetivo principal o desenvolvimento de ferramentas computacionais (software) com Validação Numérica para ambientes de alto desempenho (cluster de PC´s) utilizando a biblioteca C-XSC, em especial o desenvolvimento de solvers com alta exatidão para a resolução paralela de sistemas de equações lineares. Os métodos desenvolvidos nesta pesquisa serão testados do ponto de vista de exatidão e de desempenho, para se poder ter uma idéia clara de sua qualidade numérica. Juntamente com esse desenvolvimento, a biblioteca C-XSC será otimizada e alterada, tornando-a mais amigável ao usuário, em especial na elaboração de programas com uma notação mais próxima à notação matemática usual, similar ao que acontece com a linguagem Pascal-XSC. Além disso, esse projeto visa a transferência de tecnologia e conhecimento sobre computação verificada e matemática intervalar da Alemanha para o Brasil e o intercâmbio de tecnologia e conhecimento sobre Computação de Alto Desempenho do Brasil para a Alemanha. Outro objetivo do projeto que está sendo proposto é o desenvolvimento, em conjunto com pesquisadores alemães, de artigos e relatórios científicos referentes aos temas abordados nesta pesquisa.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Especialização: (0) / Mestrado acadêmico: (3) / Mestrado profissional: (0) / Doutorado: (2) . , Integrantes: Dalcidio Moraes Claudio - Integrante / Tiaraju Asmuz Diverio - Coordenador / Liara Aparecida dos Santos Leal - Integrante / Mariana Luderitz Kolberg - Integrante / Gerd Bohlender - Integrante / Rudi Klatte - Integrante / Rúbia Medianeira Denardin - Integrante / André Martinotto - Integrante / Delcio Piccinini - Integrante / Diego Contessa - Integrante / Paulo Sérgio Morandi Júnior - Integrante / Bernardo Frederes Krämer Alcalde - Integrante / Marcelo Claro Zembrzuski - Integrante.
2003 - 2007

CIA - Computação com Intervalos e Aproximação, Descrição: Principais objetivos do projeto original: Desenvolvimento do projeto de visualização da avaliação intervalar baseado na apresentação gráfica de propriedades dos intervalos; Elaboração de uma teoria de Álgebra Linear Intervalar visando trabalhar com matrizes e vetores intervalares através de uma aritmética intervalar estendida; Formalização de Algoritmos Aproximativos através da Teoria dos Domínios. Principais etapas executadas no período visando o alcance dos objetivos: Determinação de propriedades algébricas do espaço dinâmico bem como relações entre funções e suas diferentes avaliações intervalares; Pesquisas sobre Métodos Intervalares de Ponto Fixo e funções multivaloradas; Estudo/Pesquisa das relações entre visualização e resolução de Métodos Intervalares; Participação em congresso e realização de visitas científicas em Portugal e Alemanha.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (4) / Mestrado profissional: (0) / Doutorado: (2) . , Integrantes: Dalcidio Moraes Claudio - Coordenador / Tiaraju Asmuz Diverio - Integrante / Guilherme Luis Roëhe Vaccaro - Integrante / Liara Aparecida dos Santos Leal - Integrante / Mariana Luderitz Kolberg - Integrante / Monica Lourdes de Souza - Integrante / Aline Brum Loreto - Integrante / Augusto César de Brito Geroldo - Integrante / Cesar Rolando Nunura Nunura - Integrante / Daniel Signori Roso - Integrante / Edsom Nieves Santana Junior - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 23 / Número de orientações: 4

Prêmios

1998

Prêmio Pesquisador Destaque do Rio Grande do Sul 1998 da Fundação de Amparo à Pesquisa, FAPERGS.

1998

Menção Honrosa na II Jornada de Iniciação Científica da PUCRS, Pró-Reitoria de Pesquisa e Pós-Graduação da PUCRS.

1997

Quatro Menções Honrosas na I Jornada de Iniciação Científica da PUCRS, Pró-Reitoria de Pesquisa e Pós-Graduação da PUCRS.

1995

Menção Honrosa no VII Salão de Iniciação Científica, Pró-Reitoria Adjunta de Pesquisa/Propesp da UFRGS.

1990

Citado no Who´s Whos, Dictionary of International Biography -Cambridge - England.

1989

Menção Honrosa em Software, SUCESU - São Paulo.

1989

Segundo Prêmio - Apresentação de Trabalho, SUCESU - Belém - PA.

Histórico profissional

Experiência profissional

1996 - Atual

Pontifícia Universidade Católica do Rio Grande do Sul

Vínculo: Celetista, Enquadramento Funcional: Professor Adjunto, Regime: Dedicação exclusiva.

Atividades

08/2003
Ensino, Educação em Ciências e Matemática, Nível: Pós-Graduação,Disciplinas ministradas, Computação em Ciências e Matemática, Novas Tecnologias na Formação de Professores de Matemática
01/2000
Ensino, Ciência da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Estruturas Algébricas, Matemática Intervalar, Métodos Computacionais, Teoria dos Intervalos, Trabalho Individual
08/1996
Ensino, Matemática, Nível: Graduação,Disciplinas ministradas, Álgebra Linear, Cálculo A, Cálculo B, Cálculo Numérico