CLAUDIO CESAR DE SA

Concluiu sua graduação em Engenharia Elétrica pela Universidade do Estado de Santa Catarina (1981), mestrado em Engenharia Elétrica pela Universidade Federal da Paraíba (1987) e doutorado em Engenharia Eletrônica e Computação pelo Instituto Tecnológico de Aeronáutica (1997). Atualmente é professor universitário da Universidade do Estado de Santa Catarina. Tem experiência na área de Ciência da Computação, com ênfase em Inteligência Artificial, atuando principalmente nos seguintes temas: inteligência artificial simbólica, sistemas híbridos, linguagens declarativas aplicadas à resolução de problemas, programação por restrições, e programação em lógica com restrições. Obs: as publicações, textos, etc, estão sendo lentamente cadastradas. Minha produção técnica relevante encontra-se em: https://github.com/claudiosa/ O meu GitHub da uma clara idéia do quanto programo e as áreas de meu interesse Meu LINKDLN está em inglês: https://www.linkedin.com/in/claudio-cesar-de-sa/ No momento, encontro-me em Licença Prêmio para efetivação da aposentadoria na UDESC.

Informações coletadas do Lattes em 05/02/2020

Acadêmico

Seção coletada automaticamente pelo Escavador

Formação acadêmica

Doutorado em Engenharia Eletrônica e Computação

1992 - 1997

Instituto Tecnológico de Aeronáutica
Título: Uma Arquitetura para Agentes Autônomos Móveis sob a Visão da Inteligência Artificial Distribuída
Orientador: Nizam Omar
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Agentes autônomos; Inteligência Artificial Distribuída; Arquiteturas de agentes móveis; Arquiteturas adaptativas.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Sistemas de Informação. Setores de atividade: Outros Setores; Informática.

Mestrado em Engenharia Elétrica

1982 - 1987

Universidade Federal da Paraíba
Título: Modelagem de Aplicações em Redes Locais,Ano de Obtenção: 1987
Orientador: Marco Antonio Gonçalves Brasileiro
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Avaliação de desempenho; Aplicações em Redes Locais; Simulação discreta.Grande área: EngenhariasGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Arquitetura de Sistemas de Computação. Setores de atividade: Informática.

Graduação em Engenharia Elétrica

1977 - 1981

Universidade do Estado de Santa Catarina

Seção coletada automaticamente pelo Escavador

Pós-doutorado

2010 - 2010

Pós-Doutorado. , Université d'Auvergne - Clermont I, CHU Estaing, França. , Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. , Grande área: Ciências Exatas e da Terra, Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação / Especialidade: Teoria da Computação.

Seção coletada automaticamente pelo Escavador

Idiomas

Inglês

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

Espanhol

Compreende Bem, Fala Razoavelmente, Lê Razoavelmente.

Francês

Compreende Bem, Fala Bem, Lê Bem.

Seção coletada automaticamente pelo Escavador

Áreas de atuação

    Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Inteligência Artificial.

    Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Computabilidade e Modelos de Computação.

    Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.

Seção coletada automaticamente pelo Escavador

Organização de eventos

Sá, C.C. . Maratona de Programação -- Regional de SC. 2018. (Concurso).

Sá, C.C. ; EDUARDO, R. ; ROSSO JR., R. S. U. ; Negri, L. H. ; ALCANTARA, M. F. ; LOPES, Y. K. . 1ª Maratona Catarinense de Programação. 2013. (Concurso).

Sá, C.C. ; EDUARDO, R. ; ROSSO JR., R. S. U. ; Negri, L. H. ; ALCANTARA, M. F. ; LOPES, Y. K. . 2ª Maratona de Programação da UDESC - 2013. 2013. (Concurso).

Sá, C.C. ; EDUARDO, R. ; ROSSO JR., R. S. U. . 3a Seletiva Intena da Maratona de Programação da UDESC. 2013. (Concurso).

Sá, C.C. ; ROSSO JR., R. S. U. ; EDUARDO, R. ; ALCANTARA, M. F. ; LOPES, Y. K. ; Negri, L. H. . 1ª Maratona de Programação da UDESC - 2013. 2013. (Concurso).

Sá, C.C. ; SILVA, A. G. ; ROSSO JR., R. S. U. . 1a Maratona de Programação da UDESC - 2012. 2012. (Concurso).

Sá, C.C. ; SILVA, A. G. ; ROSSO JR., R. S. U. . 2a Maratona de Programação da UDESC - 2012. 2012. (Concurso).

Sá, C.C. ; ROSSO JR., R. S. U. ; SILVA, A. G. . 3ª Maratona de Programação da UDESC - 2012. 2012. (Concurso).

Sá, C.C. ; ROSSO JR., R. S. U. ; SANTOS, G. B. . 1a Maratona de Programação da UDESC - 2011. 2011. (Concurso).

Sá, C.C. ; SANTOS, G. B. ; ROSSO JR., R. S. U. . 2a. Maratona de Programação da UDESC - 2011. 2011. (Concurso).

Sá, C.C. ; GUEDES, A. L. P. ; ROSSO JR., R. S. U. . 1a. Maratona Doméstica de Programação da UDESC (Dona Vanda -23/05/09). 2009. (Concurso).

Sá, C.C. ; GUEDES, A. L. P. ; ROSSO JR., R. S. U. . 2a. Maratona de Programação Doméstica da UDESC (Jennifer - 29/08/09). 2009. (Concurso).

Sá, C.C. ; ROSSO JR., R. S. U. . 1a. Maratona Doméstica de Programação da UDESC (Lurdes - 03/09/08). 2008. (Concurso).

Sá, C.C. ; GUEDES, A. L. P. ; ROSSO JR., R. S. U. . 2a. Maratona Doméstica de Programação da UDESC (Claudete - 31/05/08). 2008. (Concurso).

ROSSO JR., R. S. U. ; Sá, C.C. . 1a. Maratona Doméstica de Programação da UDESC (02/06/2007). 2007. (Concurso).

Sá, C.C. ; ROSSO JR., R. S. U. . 2a. Maratona Doméstica de Programação da UDESC (Edlileuza - 15/09/2007). 2007. (Concurso).

Sá, C.C. ; CAPELLARI, C. A. . Escola Regional de Informática - ERI. 2004. (Outro).

Seção coletada automaticamente pelo Escavador

Participação em bancas

Aluno: Jhonatan Alves

MARCHI, J.; Renato Fileto; DORNELES, C. F.; SÁ, C. C.. UMA ABORDAGEM BASEADA EM PLANEJAMENTO NÃO-DETERMINÍSTICO E SAT PARA A COMPOSIÇÃO RESILIENTE E AUTOMÁTICA DE WEB SERVICE. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

Aluno: RICARDO TAVARES DE OLIVEIRA

SILVA, F.; CARMO, R.;Sá, C.C.. Reduções de Problemas em Grafos com Soluções Conexas para (max)SAT e Adapatação de um Resolvedor sat e maxsat Não-clausal para as Instâncias Obtidas. 2013. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

Aluno: Yujuan Wang

PATERNO, A. S.;Sá, C.C.; VINCENCE, V. C.; WEHRMEISTER, M. A.; SILVA, J. C. C.; ADEMIR NIED. Instrumentação Optoeletrônica em em Hardware: Implementação de Algoritmos Otimizados em Sensoriamento a FBG. 2012. Dissertação (Mestrado em Engenharia Elétrica) - Universidade do Estado de Santa Catarina.

Aluno: Ana Teruko Yokomizo Watanabe

SOUSA, A. H.; A. Leal Bittencourt;Sá, C.C.. Monitoramento, Controle e Parametrização de Eletrodomésticos numa Rede sem Fio via Interface Virtual Remota. 2008. Dissertação (Mestrado em Engenharia Elétrica) - Universidade do Estado de Santa Catarina.

Aluno: Rodrigo Curvêllo

MISAGHI, M.; SOUSA, A. H.; BITTENCOURT, A. L.;Sá, C.C.. Desenvolvimento de um sistema de supervisão remota de eletrodomésticos em rede sem fio IEEE 802.15.4. 2008. Dissertação (Mestrado em Engenharia Elétrica) - Universidade do Estado de Santa Catarina.

Aluno: Paulo Marcondes Bousfield

Sá, C.C.; ZANOTELLI, C. T.; FURLAN, S. A.. Uso de uma Rede Neural para a Previsão do Volume de Lodo Gerado em Estações de Tratamento de Efluentes: Um Estudo de Caso. 2008. Dissertação (Mestrado em Engenharia de Processos) - Universidade da Região de Joinville.

Aluno: Flávio Marcelo Strelow

Sá, C.C.; MAZZOLA, V.. Uma Abordagem sobre os Problemas de Provisão de Qualidade em Redes Sem Fio. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

Aluno: Ismael Luiz Hartmann Cerdeira Gumiel

Sá, C.C.; MAZZOLA, V.; ALVES, J. B. M.. Qualidade de Serviço Assistida por um Agente Inteligente. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

Aluno: Marco Aurélio Corrêa

HOUNSSELL, M. S.; SANTOS, M. T.;Sá, C.C.. Um Sistema Especialista para Seleção de Redes Industriais. 2003. Dissertação (Mestrado em Engenharia Elétrica) - Universidade do Estado de Santa Catarina.

Aluno: André Luiz Pereira Gomes

Sá, C.C.; PORFIRIO, P.. FLEXFRAME: Framework para Desenvolvimento de Sistemas de Informações Flexíveis que Parametrize Regras de Negócio. 2002. Dissertação (Mestrado em Informática Aplicada) - Universidade de Fortaleza.

Aluno: JANSLEY NOBRE DA FONSECA

Sá, C.C.; PORFIRIO, P.. Um Modelo de Indexação Semântica para Intranet. 2002. Dissertação (Mestrado em Informática Aplicada) - Universidade de Fortaleza.

Aluno: AUGUSTO CESAR PINTO LOUREIRO DA COSTA

Sá, C.C.; Bittencourt, G.. Sistemas Multi-agentes aplicados a Distribuição de Energia. 1997. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

Aluno: Santiago Viertel

VIGNATTI, A. L.; GUEDES, A. L. P.; SÁ, C. C.. Small World Models and a Compact Routing Scheme. 2018. Tese (Doutorado em Informática) - Universidade Federal do Paraná.

Aluno: Vinicius Oliverio

NETO., O. B. P.; SÁ, C. C.. Inteligência artificial aplicada ao auxilio no diagnóstico da dor pélvica crônica,. 2018. Tese (Doutorado em Medicina (Obstetrícia e Ginecologia)) - Universidade de São Paulo.

Aluno: Allan Rodrigo Leite

ENEMBRECK, F.; SÁ, C. C.. Otimização Distribuída de Restrição Baseada em Teorias de Redes Complexas e Sincronização Física. 2017. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Paraná.

Aluno: Jose Romildo Malaquias

José Romildo Malaquias; Costa Pereira, A. E.;Sá, C.C.; Carlos Roberto Lopes; LIMA, L. V.; SIQUEIRA NETO, J. L.. Computer Algebra in Modern Functional Languages. 2007. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Uberlândia.

Aluno: Rafael Stubs Parpinelli

LOPES, H. S.;Sá, C.C.. Ecossistema Computacional para Otimização: Proposição de uma Nova Estratégia de Busca Cooperativa. 2012. Exame de qualificação (Doutorando em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná.

SANTOS NETO, B. F.;Sá, C.C.; SILVA, A. P.; COSTA, J. A. S.. Software Básico e Arquitetura de Computadores. 2013. Universidade Federal de Alagoas.

MOTA, T. O.;Sá, C.C.; MEDEIROS, S. Q.. Engenharia da Computação/ Teoria da Computação, Linguagens Formais e Autômatos. 2013. Universidade Federal do Recôncavo da Bahia.

Sá, C.C.. Participante e Presidente de várias Bancas Examinadoras de Concursos para Professores. 1999. Universidade da Região de Joinville.

Sá, C.C.. Participante e Presidente de várias Bancas Examinadoras de Concursos para Professores. 1996. Universidade do Estado de Santa Catarina.

Sá, C.C.. Participante e Presidente de várias Bancas Examinadoras de Concursos para Professores. 1990. Universidade Federal de Alagoas.

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

Pedro Paulo Balbi de Oliveira

PP Balbi de Oliveira. Uma arquitetura para agentes autônomos móveis, sob a visão da inteligência artificial distribuída. 1997. Tese (Doutorado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.

Nizam Omar

OMAR, N.. Agentes Autônomos Móveis sob a Visão da Inteligência Artificial Distribuída. 1997. Tese (Doutorado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.

Celso Massaki Hirata

HIRATA, C. M.. Uma Arquitetura para Agentes Autônomos Móveis sob a Visão da Inteligência Artificial Distribuída. 1997. Tese (Doutorado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.

Celso Massaki Hirata

HIRATA, C. M.. Ata IEP/EQ N. 001-D/1996, 07 de março de 1996. 1996. Exame de qualificação (Doutorando em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.

Seção coletada automaticamente pelo Escavador

Orientou

Alexandre Erwin Ittner

Implementação e Avaliação de Abordagens Heurísticas para o Problema do Roteamento de Cabos em Painéis Elétricos; 2010; Dissertação (Mestrado em Engenharia Elétrica) - Universidade do Estado de Santa Catarina,; Coorientador: Claudio Cesar de Sá;

Alex Luiz de Souza

; Um Sistema de Apoio à Tomada de Decisão para o Monitoramento Remoto de Centrais de Alarme Patrimoniais; 2009; Dissertação (Mestrado em Engenharia Elétrica) - Universidade do Estado de Santa Catarina,; Coorientador: Claudio Cesar de Sá;

Sigmundo Pressler

Aplicação da Programação por Propagação de Restrições em Problemas Industriais; 2007; Dissertação (Mestrado em Engenharia Elétrica) - Universidade do Estado de Santa Catarina,; Coorientador: Claudio Cesar de Sá;

César Augusto Pereira Silvestre

Controle Inteligente da Qualidade de Água para Tanques de Água Doce; 2003; Dissertação (Mestrado em Automação Industrial) - Universidade do Estado de Santa Catarina,; Orientador: Claudio Cesar de Sá;

Ãngelo Luís Pagliosa

Obtenção das Funções de Pertinência de um Sistema Neurofuzzy Modificado pelas Redes de Kohonen; 2003; Dissertação (Mestrado em Automação Industrial) - Universidade do Estado de Santa Catarina,; Orientador: Claudio Cesar de Sá;

Hagner Soares Ramos

Avaliacao de algoritmos de IA para previsao de acoes da bolsa de valores; 2013; Trabalho de Conclusão de Curso; (Graduação em Bachalerado em Ciência da Computação) - Universidade do Estado de Santa Catarina; Orientador: Claudio Cesar de Sá;

Fernando Magno

Usando Algoritmos Genéticos para Escalonamento de Semáforos de Trânsito; 2011; Trabalho de Conclusão de Curso; (Graduação em Bachalerado em Ciência da Computação) - Universidade do Estado de Santa Catarina; Orientador: Claudio Cesar de Sá;

Celso Eduardo Odebrecht Tonelli

Uso de Programação em Lógica por Restrições em Cortes Irregulares; 2009; Trabalho de Conclusão de Curso; (Graduação em Bachalerado em Ciência da Computação) - Universidade do Estado de Santa Catarina; Orientador: Claudio Cesar de Sá;

Helena Hagedorn Leão

Um Estudo de Algoritmos de Ordenação na Linguagem Haskell Paralela em uma Arquitetura Multi-core; 2009; Trabalho de Conclusão de Curso; (Graduação em Engenharia Elétrica) - Universidade do Estado de Santa Catarina; Orientador: Claudio Cesar de Sá;

Ivan Roberto de Oliveira

Um Algoritmo Genético Aplicado à Distribuição de Tarefas na Fase de Desenvolvimento de Software; 2009; Trabalho de Conclusão de Curso; (Graduação em Bachalerado em Ciência da Computação) - Universidade do Estado de Santa Catarina; Orientador: Claudio Cesar de Sá;

Vinicius Oliverio

Construção de um Ambiente Navegacional para Agentes Autônomos com Aprendizagem por Reforço; 2009; Trabalho de Conclusão de Curso; (Graduação em Bachalerado em Ciência da Computação) - Universidade do Estado de Santa Catarina; Orientador: Claudio Cesar de Sá;

Lucas Hermann Negri

Simulador de Redes Neurais Multiplataforma; 2009; Trabalho de Conclusão de Curso; (Graduação em Bachalerado em Ciência da Computação) - Universidade do Estado de Santa Catarina; Orientador: Claudio Cesar de Sá;

Júlio César Zambonin

Evolução Diferencial Aplicada a Otimização de Problemas Multi-Objetivos; 2009; Trabalho de Conclusão de Curso; (Graduação em Bachalerado em Ciência da Computação) - Universidade do Estado de Santa Catarina; Orientador: Claudio Cesar de Sá;

Marcos Vinicius Kapp

Algoritmo Genético Multiobjetivo aplicado à Avaliação de desempenho em Cadeias de Suprimento; 2009; Trabalho de Conclusão de Curso; (Graduação em Bachalerado em Ciência da Computação) - Universidade do Estado de Santa Catarina; Orientador: Claudio Cesar de Sá;

Ricardo Suzuki Junior

PORTAL SEMÂNTICO: UMA APLICAÇÃO DA WEB SEMÂNTICA USANDO A LINGUAGEM RDF; 2006; Trabalho de Conclusão de Curso; (Graduação em Bachalerado em Ciência da Computação) - Universidade do Estado de Santa Catarina; Orientador: Claudio Cesar de Sá;

Vivian Cremer

Ensino de Inteligência Artificial Simbólica com Abordagem à Resolução de Problemas; 2005; Trabalho de Conclusão de Curso; (Graduação em Bachalerado em Ciência da Computação) - Universidade do Estado de Santa Catarina; Orientador: Claudio Cesar de Sá;

́ Marcio Ferreira da Silva

Haskell: Para Engenheiros e Informatas (O Uso do Pensamento Indutivo); 2005; Trabalho de Conclusão de Curso; (Graduação em Bachalerado em Ciência da Computação) - Universidade do Estado de Santa Catarina; Orientador: Claudio Cesar de Sá;

Adriano Mendes Carginin

Adriano Mendes Cargini; 2003; Trabalho de Conclusão de Curso; (Graduação em Bachalerado em Ciência da Computação) - Universidade do Estado de Santa Catarina; Orientador: Claudio Cesar de Sá;

José Carlos Sardagna

Autômatos Celulares - Aplicações e Implementações; 2003; Trabalho de Conclusão de Curso; (Graduação em Bachalerado em Ciência da Computação) - Universidade do Estado de Santa Catarina; Orientador: Claudio Cesar de Sá;

Rafael Rodrigues da Silva

Estudo de Comportamentos Coletivo de Robôs usando o Ambiente Khepera; 2001; Iniciação Científica; (Graduando em Engenharia Elétrica) - Universidade do Estado de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Claudio Cesar de Sá;

DOMINGUES Rémi

Ordonnancement des lignes et horaires de bus d?une entreprise de transport public à la demande; 2012; Orientação de outra natureza; (Informatique) - Université d'Auvergne; Orientador: Claudio Cesar de Sá;

Yoann Alvarez

Informatisation de la planification d?un système de transport à la demande; 2012; Orientação de outra natureza; (Informatique) - Université d'Auvergne; Orientador: Claudio Cesar de Sá;

Seção coletada automaticamente pelo Escavador

Foi orientado por

Marcos Antonio Gonçalves Brasileiro

Modelagem de Transferencia de Arquivo e Processamento de Transacoes Em Redes Locais; 1987; Dissertação - Universidade Federal da Paraíba,; Orientador: Marcos Antonio Gonçalves Brasileiro;

José Antão Beltrão Moura

Modelagem de Transferencia de Arquivos e Processamento de Transacoes Em Redes Locais; 1987; Dissertação - Universidade Federal da Paraíba,; Orientador: José Antão Beltrão Moura;

Nizam Omar

Uma Arquitetura Para Agentes Autonomos Móveis Sob A Visão da Inteligência Artificial Distribuída; 1997; Tese (Doutorado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Nizam Omar;

Seção coletada automaticamente pelo Escavador

Produções bibliográficas

  • Kondrasovas, Igor ; Sá, C.C. ; HOUNSSELL, M. S. ; ROSSO JR., R. S. U. . Uso da Programação em Lógica por Restrições Aplicado ao Problema do Nesting. Corte e Conformação de Metais , v. 70, p. 84-93, 2011.

  • SOUSA, A. L. ; BITTENCOURT, A. L. ; Ricardo Ferreira Martins ; Sá, C.C. . Proposta de um Sistema de Apoio à Tomada de Decisão para o Monitoramento Remoto de Centrais de Alarme Patrimoniais. Revista Brasileira de Computação Aplicada , v. 3, p. 17-29, 2011.

  • PACHECO, Nazareno de Oliveira ; Sá, C.C. ; ROSSO JR., R. S. U. . Uma Abordagem Heurística para o Problema de Otimização de Trajetórias em Furações de Chapas. Máquinas e Metais , v. 543, p. 184-193, 2011.

  • ITTNER, A. E. ; Sá, C.C. ; SASSE, F. D. . A Heuristic Approach to the Cable Routing Problem in Electrical Panels. Frontiers in Artificial Intelligence and Applications , v. 186, p. 55-66, 2009.

  • PREISSLER JUNIOR, S. ; Sá, C.C. ; SASSE, F. D. . Constraint Logic Programming Applied to a Warehouse Picking Problem. INFOCOMP (UFLA. Impresso) , v. 7, p. 53-58, 2008.

  • PARPINELLI, R. S. ; Leonardo Ozaki ; Sá, C.C. . Otimização por Colônia de Formigas Aplicada ao Problema de Predição de Estruturas Protéicas para o Modelo 2D-HP: Uma Abordagem Híbrida Paralela. Hífen (Uruguaiana. Online) , v. 32, p. 17/62-24, 2008.

  • RETORE, P. ; SANTOS, R. G. ; Sá, C.C. ; MARIETTO, M. G. . Sistemas Multi-Agentes Reativos Modelando o Controle de Tráfego Urbano. Hífen (Uruguaiana) , v. 30, p. 81-88, 2006.

  • PAGLIOSA, A. L. ; Sá, C.C. ; SASSE, F. D. . Obtaining Membership Functions from a Neuron Fuzzy System extended by Kohonen Network. Frontiers in Artificial Intelligence and Applications , v. 132, p. 42-49, 2005.

  • OLIVEIRA, S. A. C. A. ; Sá, C.C. ; SANTOS, M. T. . Implementação de um Sistema de Visão Artificial para Reconhecimento e Classificação de Imagens Bidimensionais visando o Controle de Qualidade. Revista do IST , v. 04, p. 19-25, 2004.

  • PAGLIOSA, A. L. ; Sá, C.C. . Sistema Neo-Fuzzy-Neuron modificado pela rede de Kohonen aplicado a aproximação de função. Revista UNIVILLE , v. 8, p. 29-39, 2003.

  • Sá, C.C. ; SILVA, M. F. . Haskell: Uma Abordagem Prática. 1a.. ed. São Paulo, SP: Novatec Editora Ltda, 2006. v. 01. 287p .

  • Sá, C.C. ; CAPELLARI, C. A. (Org.) . XII Escola Regional de Informática. 1a.. ed. Jaraguá do Sul: Impressul Indústria Gráfica Ltda., 2004. v. 01. 198p .

  • Sá, C.C. . Tutorial sobre MiniZinc ? uma abordagem baseada em exemplos. In: SBPO. (Org.). Tutorial sobre MiniZinc ? uma abordagem baseada em exemplos. 999ed.Vitória ES: SOBRAPO, 2016, v. 1, p. 3591-3744.

  • Sá, C.C. . Um Provador de Teoremas para Lógica Proposional. Revista da Universidade Estadual do Ceará (UECE), UECE.

  • AGUIAR, P. V. ; PARPINELLI, R. S. ; AMARAL, A. R. ; LIMA, H. G. G. ; Sá, C.C. . Application of the NetLogo Tool in Ischemic Stroke  Simulation. In: XV Encontro Nacional de Inteligência Artificial e  Computacional (ENIAC), 2018, São Paulo - SP. Anais do Encontro Nacional de  Inteligência Artificial e Computacional (ENIAC). Porto Alegre - RS: SBC, 2018. v. 1. p. 596-607.

  • RENKAVIESKI, C. ; SANTOS, G. B. ; AMARAL, A. R. ; Sá, C.C. . Autômato Celular 3D Aplicado à Simulação Computacional da Evolução de Volumes Tumorais. In: Computer on the Beach, 2018, Florianópolis. Anais [do] Computer on the Beach. Florianópolis: Universidade do Vale do Itajaí (UNIVALI), 2018. v. 1. p. 860-869.

  • Sá, C.C. ; SILVA, A. G. ; Negri, L. H. . Picat: uma linguagem para planejamento em pesquisa operacional. In: XLIX Simpósio Brasileiro de Pesquisa Operacional, 2017, Blumenau. S B P O - Simpósio Brasileiro de Pesquisa Operacional Brazilian Symposium on Operations Research Proceedings of the Brazilian Symposium on Operations Research. , Rio de Janeiro - Brazil: SOBRAPO, 2017. p. 744-755.

  • Sá, C.C. ; CREUZ FILHO, M. ; FIORESE, A. . Uma Biblioteca de Grafos para a Linguagem MiniZinc. In: XLVIII SBPO - Simpósio Brasileiro de Pesquisa Operacional, 2016, Vitória. SBPO - Simpósio Brasileiro de Pesquisa Operacional. Vitória - ES: SOBRAPO, 2016. p. 765-776.

  • PINHEIRO, L. P. ; SANTOS, G. B. ; ZUCHI, V. B. ; GROTT NETO, A. ; AMARAL, A. R. ; Sá, C.C. . Aplicando Autômatos Celulares na Simulação da Evolução do Glioblastoma Multiforme (GBM) sob Tratamento com Bevacizumabe. In: Computer on the Beach, 2016, Florianópolis-SC. Computer on the Beach. Florianópolis: Universidade do Vale do Itajaí, 2016. v. 1. p. 242-251.

  • ZUCHI, V. B. ; PINHEIRO, L. P. ; GROTT NETO, A. ; SANTOS, G. B. ; AMARAL, A. R. ; Sá, C.C. . Um Marcador de Imagens do Glioblastoma Multiforme (GBM) para apoio na Simulação de Tratamento. In: Computer on the Beach, 2016, Florianópolis-SC. Computer on the Beach. Florianópolis: Universidade do Vale do Itajaí, 2016. v. 1. p. 261-270.

  • HEINEN, M. R. ; Sá, C.C. ; CESCONETTO, C. ; SOHN JR, G. ; SILVEIRA, F. K. . Controle Inteligente de Semáforos Utilizando Redes Neurais Artificiais com Funções de Base Radial. In: Encontro Anual de Tecnologia da Informação (EATI), 2013, Frederico Westphalen -- RS. Encontro Anual de Tecnologia da Informação. Santa Maria -- RS: UFSM Editora,, 2013. v. 1. p. 38-45.

  • BUDKE, G. F. ; Sá, C.C. ; EDUARDO, R. ; HEINEN, M. R. . Aplicando Programacao em Logica com Restricoes no Problema das N-Rainhas com Tabela de Pesos. In: Computer on the Beach 2012, 2012, Florianópolis ? SC. Computer on the Beach 2012. São José - sc: Anais do Evento / CTTMar/ UNIVALI, 2012. v. 1. p. 251-260.

  • ALCANTARA, M. F. ; Sá, C.C. ; HEINEN, M. R. . Modelagem do Problema de Balanceamento de Currículo Acadêmico Utilizando Programação em Lógica com Restrições. In: XXI Seminário de Computação (SEMINCO), 2012, Blumenau - SC. Anais do XXI Seminário de Computação (SEMINCO). Blumenau - SC: FURB Editora, 2012.

  • Guilherme Eccher ; Sá, C.C. ; HEINEN, M. R. . Programação por Restrições no Problema da Divisão Equânime de Conjuntos. In: Sulcomp - Congresso Sul Sulcomp - Congresso Sul Brasileiro de Computação, 2012, Criciúma - SC. Anais do VI Congresso Sul Brasileiro de Computação (Sulcomp). Criciuma - SC: UNESC Editora, 2012.

  • Bruno Pereira Damasceno ; Sá, C.C. ; HEINEN, M. R. . Um Problema de Escalonamento de Trens Usando Programação por Restrições. In: VI Sulcomp - Congresso Sul Brasileiro de Computação, 2012, Criciúma - SC. Anais do VI Sulcomp - Congresso Sul Brasileiro de Computação. Criciúma - SC: UNESC Editora, 2012.

  • MAGRI, D. ; EDUARDO, R. ; Sá, C.C. ; HEINEN, M. R. . Uma revisão teórica sobre classificação textual de atos de fala para atores virtuais utilizando aprendizagem de máquina. In: Computer on the Beach 2012, 2012, Florianópolis - SC. Procedings of the Computer on the Beach 2012. Porto Alegre - RS: SBC Editora, 2012.

  • Vinicius Olivério ; SIMOES, L. P. ; PARPINELLI, R. S. ; Sá, C.C. . Simulated Annealing para o Problema das N rainhas. In: Computer on the Beach, 2010, Florianópolis. Computer on the Beach. São José: Universidade do Vale do Itajaí, 2010. p. 181-191.

  • TATIANE WAGENFÜHR OLIVETTE ; ADEMIR NIED ; Sá, C.C. ; ALEXANDRE LUIZ LONGO . USO DE REDES NEURAIS ARTIFICIAIS PARA DIAGNÓSTICO ETIOLÓGICO DE AVC ISQUÊMICO. In: XII Congresso Brasileiro de Informática em Saúde, 2010, Porto de Galinhas/PE. Porto de Galinhas/PE. Porto de Galinhas/PE, 2010.

  • Negri, L. H. ; Sá, C.C. ; ADEMIR NIED . Simulador de Redes Neurais Multiplataforma. In: SULCOMP - V Congresso Sul Brasileiro de Computação, 2010, Criciuma - SC. 2010: Anais V SULCOMP. Criciuma - SC: UNESC - http://www.unesc.net/sulcomp, 2010. v. V.

  • Vinicius Olivério ; Sá, C.C. ; PARPINELLI, R. S. . Modelagem do Problema de Configuração de Prateleiras Utilizando Programação em Lógica por Restrições. In: SULCOMP - V Congresso Sul Brasileiro de Computação, 2010, Criciuma - SC. Anais SULCOMP, 2010. Criciuma - SC: UNESC, 2010. v. V.

  • SOUSA, A. L. ; R. F. Martins ; A. Leal Bittencourt ; Sá, C.C. . Proposta de um Sistema de Apoio à Tomada de Decisão para o Monitoramen to Remoto de Centrais de Alarme Patrimoniais. In: Simpósio de Computação Aplicada (SCA'2009), 2009, Passo Fundo. Simpósio de Computação Aplicada (SCA'2009), 2009.

  • SOUSA, A. L. ; A. Leal Bittencourt ; R. F. Martins ; Sá, C.C. . Sistema de Apoio à Tomada de Decisão para o Monitoramento de Alarmes Patrimoniais Utilizando Induçã o de Árvores de Decisão. In: IX Simpósio Brasileiro de Automação Inteligente (SBAI 2009), 2009, Brasilia. IX Simpósio Brasileiro de Automação Inteligente (SBAI 2009). Brasília, 2009. v. 9. p. 25-30.

  • Zambonin, J. C. ; Sá, C.C. ; PARPINELLI, R. S. . Evolução Diferencial Multi-Objetivos Aplicada a Resolucao de Antenas Yagi-Uda. In: III EPAC - Encontro Paranaense de Computacao, 2009, Cascavel - PR. Anais do III EPAC - Encontro Paranaense de Computação. Cascavel - PR: UNIOESTE, 2009. v. 1. p. 91-100.

  • Vinicius Olivério ; Sá, C.C. ; PARPINELLI, R. S. . BUILDING A NAVIGATIONAL ENVIRONMENT FOR AUTONOMOUS AGENTS WITH REINFORCEMENT LEARNING. In: IADIS International Conference APPLIED COMPUTING 2009, 2009, Roma. IADIS International Conference Applied Computing 2009. Roma: 2009IADIS, 2009. v. IADIS. p. 353-355.

  • Fernando Galera ; Sá, C.C. ; SASSE, F. D. ; PARPINELLI, R. S. . Programação em Lógica com Restrições: Dois Estudos de Caso. In: I Seminário de Tecnologia da Informação Aplicada, 2008, Chapecó-SC. I Seminário de Tecnologia da Informação Aplicada, 2008.

  • Leonardo Ozaki ; PARPINELLI, R. S. ; Sá, C.C. . Aplicação Híbrida Paralela de Otimização por Colônia de Formigas ao Problema de Predição de Estruturas Protéicas para o Modelo 2D-HP. In: I Seminário de Tecnologia da Informação Aplicada, 2008, Chapecó-SC. I Seminário de Tecnologia da Informação Aplicada, 2008.

  • KAPP, M. ; PARPINELLI, R. S. ; Sá, C.C. . Verificação Empírica da Influência de Conceitos Evolutivos em Algoritmos Genéticos. In: I Seminário de Tecnologia da Informação Aplicada (STIA 2008), 2008, Chapecó-SC. STIA, 2008.

  • TEODORO, F. ; PARPINELLI, R. S. ; Sá, C.C. . GAlib-IDE: um Framework para Experimentos com Algoritmos Genéticos. In: IV Congresso Sul Brasileiro de Computação (SulComp 2008), 2008, Criciúma. SulComp 2008, 2008.

  • ITTNER, A. E. ; Sá, C.C. ; SASSE, F. D. . An Improved Heuristic to the Cable Routing Problem in Electrical Panels. In: II Workshop on Computational Intelligence (WCI), 2008, Salvador - BA. WCI-2008 - II Workshop on Computational Intelligence (WCI), 2008.

  • Leonardo Ozaki ; PARPINELLI, R. S. ; Sá, C.C. . Modelo Híbrido Paralelo Baseado em Colônia de Formigas Aplicado ao Problema de Predição de Estruturas Protéicas para o Modelo 2D-HP. In: IV Congresso Sul Brasileiro de Computação (SulComp 2008), 2008, Criciúma. SulComp 2008, 2008.

  • WATANABE, A. T. Y. ; Sá, C.C. ; SOUSA, A. H. ; PARPINELLI, R. S. . O Uso do Fator de Certeza em Inteligências Múltiplas na Avaliação da Usabilidade de Sistemas Computacionais. In: EPAC ? Encontro Paranaense de Computação, 2007, Cascavel - PR. EPAC ? Encontro Paranaense de Computação. Cascavel-PR: UNIOESTE, Campus Cascavel - PR, 2007. v. 1. p. 155-164.

  • SOUSA, A. L. ; Sá, C.C. ; PARPINELLI, R. S. ; ALVES JR., O. C. . Uso de Redes Neurais para Detecção de Anomalias e Controle de Fluxo de Dados em Redes TCP/IP. In: EPAC ? Encontro Paranaense de Computação, 2007, Cascavel - PR. EPAC ? Encontro Paranaense de Computação. Cascavel - PR: UNIOESTE, Campus Cascavel - PR, 2007. v. 1. p. 236-245.

  • PREISSLER JUNIOR, S. ; Sá, C.C. . Programação Lógica por Restrições Aplicada à Resolução de um Problema de Picking de Almoxarifado. In: III Congresso Sul Catarinense de Computação (SulComp 2007), 2007, Criciúma ? SC. SulComp 2007. Criciúma ? SC, 2007.

  • SILVA JUNIOR, V. V. ; Sá, C.C. ; PARPINELLI, R. ; MIERS, C. . Teorema Fundamental da Aritmética e Números de Gödel Aplicados à Criptografia. In: XV Seminário de Computação (SEMINCO), 2006, Blumenau. XV Seminário de Computação (SEMINCO). Blumenaus: Editora da FURB, 2006. v. 1. p. 221-228.

  • SUZUKI JUNIOR, R. ; MARIETTO, M. G. ; Sá, C.C. . Construção de um Portal Semântico: Uma Aplicação da Web Semântica Utilizando a Linguagem RDF. In: I2TS'2006 - 5th International Information and Telecommunication Technologies Symposium Telecommunication Technologies Symposium, 2006, Cuibá. http://www.inf.ufsc.br/i2ts2006/, 2006.

  • ZOLDAN, A. D. ; Sá, C.C. ; DALLAGNOL, E. ; SILVA, E. L. R. ; TONON, J. J. ; FERREIRA, M. W. A. ; DECKER, R. . INTEGRAÇÃO DE CHÃO DE FÁBRICA PARA IMPLANTAÇÃO DE SISTEMAS MES USANDO SCADA++. In: 6º. CONGRESSO INTERNACIONAL DE AUTOMAÇÃO, SISTEMAS E INTRUMENTAÇÃO, 2006, São Paulo-SP. 6º. CONGRESSO INTERNACIONAL DE AUTOMAÇÃO, SISTEMAS E INTRUMENTAÇÃO - Brasil INTECH. São Paulo: ISA - Apenas o resumo na revista, 2006. v. 87. p. 87-87.

  • Sá, C.C. ; SILVA, M. F. ; COSTA JUNIOR, I. . Uma Incursão do Haskell, uma Linguagem Funcional, no Ensino de Linguagens de Programação na Graduação. In: WCETE - World Congress on Engineering and Technology Education, 2004, São Vicente - SP - Brasil. World Congress on Engineering and Technology Education, 2004.

  • Sá, C.C. ; Bittencourt, G. . Uma Proposta para Disciplina de Teoria da Computação. In: XII WEI - Workshop de Educação em Computação, 2004, Salvador. WEI, 2004.

  • Sá, C.C. ; OLIVEIRA, S. A. C. A. ; DOKONAL, C. V. ; SANTOS, M. T. . IMPLEMENTATION OF A COMPUTER VISION SYSTEM SIMULATOR OF PROCESSING AND CLASSI£CATION OF BIDIMENSIONAL OBJECTS TO BE USED IN CONTROL OF QUALITY. In: VI Conferência Internacional de Aplicações Industriais, 2004, Joinville - SC. Annais do VI Conferência Internacional de Aplicações Industriais, 2004.

  • Sá, C.C. ; PAGLIOSA, A. L. . OBTAINING MEMBERSHIP FUNCTIONS FROM A NEURON FUZZY SYSTEM EXTENDED BY KOHONEN NETWORK. In: VI Conferência Internacional de Aplicações Industriais - INDUSCON, 2004, Joinville - SC. VI Conferência Internacional de Aplicações Industriais - INDUSCON, 2004.

  • Sá, C.C. ; ZOLDAN, A. D. ; DALLAGNOL, E. ; DECKER, R. . SCADA++: A DISTRIBUTED OBJECT ORIENTED CONTROL AND DATA ACQUISITION SYSTEM. In: VI Conferência Internacional de Aplicações Industriais - INDUSCON, 2004, Joinville - SC. Annais do VI Conferência Internacional de Aplicações Industriais - INDUSCON, 2004.

  • Sá, C.C. ; SOUZA, E. J. . SEGMENTAÇÃO DE MOVIMENTOS CAPTURADOS PARA REUTILIZAÇÃO EM UMA BAILARINA VIRTUAL. In: VI Congresso Brasileiro de Computação - CBCOMP, 2004, Itajaí - SC. Annais do Congresso Brasileiro de Computação, 2004.

  • Sá, C.C. ; SUNDERRAMAN, R. . MUST: Mais Um Simulador da Máquina de Turing. In: I WEI - Workshop de Educação em Informática RJ/ES, 2004, Vitória-ES. I WEI - Workshop de Educação em Informática RJ/ES, 2004.

  • Sá, C.C. ; SILVA, M. F. ; Martins, S. W. . Uso da Linguagem Funcional Haskell, no Ensino de Programação. In: V Simpósio de Informática do Planalto Médio, 2004, Passo Fundo- RS. SIPM 2004, 2004.

  • Sá, C.C. ; PAGLIOSA, A. L. . Obtenção das funções de Pertinência de um Sistema NEUROFUZZY modificada pelas Redes de KOHONEN. In: III CBCOMP, 2003, Itajaí - SC. III CBCOMP, 2003.

  • CORDEIRO, A. S. ; Sá, C.C. ; HOUNSSELL, M. S. . UMA INCURSÃO DA INTELIGENCIA ARTIFICIAL EM AMBIENTES VIRTUAIS. In: XVIII Congresso Regional de Iniciação Científica e Tecnológica em Engenharia, 2003, Itajaí. Anais do XVIII CRICTE, 2003.

  • Sá, C.C. ; Bittencourt, G. ; Omar, N. . An Autonomous Agent Architecture and the Locomotion Problem. In: 14th. Brazilian Symposium on Artificial Intelligence, 1998, Porto Alegre. Proceedings of the XIV Brazilian Symposium on Artificial Intelligence (SBIA'98). London, UK: Springer Verlag Lecture Notes in Artificial Intelligence No. 1515, 1998. v. 1515. p. 11-20.

  • Sá, C.C. ; Bittencourt, G. ; Omar, N. . Architecture for a Mobile Agent. In: Biologically Inspired Autonomous Systems, Computation, Cognition and Control, 1996, Durham-NC-USA. Workshop Internacional, 1996.

  • Sá, C.C. ; MOURA, J. A. B. ; BRASILEIRO, M. A. G. . Estudo de Aplicações em Redes Locais. In: Simpósico Brasileiro de Telecomunicação, 1988, Campina Grande. Simpósio Brasileiro de Telecomunicação, 1988.

  • Sá, C.C. . Importância do Meio Físico nas Aplicações em Redes Locais. In: II Semana de Informática da Universidade Federal da Bahia, 1987, Salvador, 1987.

  • Sá, C.C. . Avaliação de Desempenho de Aplicações em Redes Locais. In: Simpósico Brasileiro de Redes de Computadores, 1987, São Paulo, 1987.

  • Sá, C.C. ; CAMPOS, J. L. . Modelagem de uma Controladora de Teminais. In: I Semana de Informática da Universidade Federal da Bahia, 1986, Salvador, 1986.

  • Sá, C.C. ; CONTRIM, R. . Estudo do Fluxo de Dados na Rede SERPRO. In: II Congresso Nacional do SERPRO, 1985, Petrópolis, 1985.

  • Sá, C.C. . Precauções Práticas na Avaliação de Modelos Analisados por Simulação Discreta. In: XVII Congresso Nacional de Informática, 1984, Rio de Janeiro, 1984.

  • FERNANDES, L. G. A. ; EDUARDO, R. ; Sá, C.C. . An Ontology for 3D Environment Modeling with Smart Objects for Autonomous Digital Actors. In: Computer on the Beach 2012, 2012, Florianópolis ? SC. Computer on the Beach 2012 (1.: 2012: Florianópolis ? SC).. São José - sc: Anais do Evento / CTTMar/ UNIVALI - Universidade do Vale do Itajaí, 2012. v. 1. p. 395-396.

  • CORDEIRO, A. S. ; Sá, C.C. ; HOUNSSELL, M. S. . Uma Incursão da IA na Realidade Virtual. In: Jornada Acadêmica UDESC 2003, 2003, Lages - SC. XIII Seminário de Iniciação Científica, 2003. v. 1. p. 287-288.

  • MACHADO, M. ; MARIETTO, M. G. ; Sá, C.C. . Web Mining Aplicado à Detecção de Perfis de Estudantes. In: II Congresso Sul Catarinense de Computação, 2006, Criciúma. II Congresso Sul Catarinense de Computação, 2006.

  • Negri, L. H. ; Sá, C.C. . Simulador de Redes Neurais Multiplataforma. 2009. (Apresentação de Trabalho/Conferência ou palestra).

Seção coletada automaticamente pelo Escavador

Outras produções

Sá, C.C. ; Negri, L. H. . Consultoria na área de Otimização e Programação por Restrições. 2012.

Sá, C.C. ; Negri, L. H. . Consultoria na área de Programação por Restrições. 2011.

Meu Repositório no GitHub. 2019.

Sá, C.C. . Modelos em Programação por Restrições. 2013.

Sá, C.C. ; GRADUACAO, V. A. . UM SIMULADOR PARA MAQUINA DE TURING. 2003.

SILVESTRE, C. A. P. ; Sá, C.C. . Controlador Inteligente para Aquários de Água Doce. 2003.

Sá, C.C. . Agentes Autônomos: Uma Apresentação. 1996.

Sá, C.C. ; FERNANDES, C. T. . Reuso de Software: Um Panorama. 1992.

Sá, C.C. . PICAT: Uma Linguagem de Programação Multiparadigma. 2019. (Curso de curta duração ministrado/Outra).

Sá, C.C. . Tutorial sobre MiniZinc - Uma Abordagem Baseada em Exemplos. 2016. (Curso de curta duração ministrado/Outra).

OLIVEIRA, S. A. C. A. ; Sá, C.C. ; SANTOS, M. T. . Implementação de um Sistema de Visão Artificial para Reconhecimento e Classificação de Imagens Bidimensionais visando o Controle de Qualidade. 2004. (Editoração/Periódico).

Sá, C.C. . Inteligência Artificial: Um Ensaio. 2001. (Protótipo de um livro sobre IA).

Seção coletada automaticamente pelo Escavador

Projetos de pesquisa

  • 2015 - Atual

    Construção de uma Biblioteca de Grafos para a Linguagem MiniZinc, Descrição: A programação por restrições é um paradigma de programação que vem ganhando atenção tanto no mundo acadêmico quanto em aplicações industriais consolidadas. O fato desta fornecer um alto nível de abstração, aliado a um grande poder computacional, está ajudando a difundir este paradigma, principalmente para lidar com problemas de otimização combinatória. Uma das linguagens de destaque deste paradigma é o MiniZinc, devido à sua sintaxe simples e à sua capacidade computacional. Entretanto, esta não fornece nativamente meios para se trabalhar com grafos de forma simplificada. Sendo assim, o intuito do trabalho proposto é desenvolver uma biblioteca que possibilite tal simplificação ao se trabalhar com grafos em MiniZinc, visto que estes são utilizados com frequência na modelagem de problemas de otimização combinatória.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Claudio Cesar de Sá - Coordenador / Rafael Stubs Parpinelli - Integrante / Marcos Creuz Filho - Integrante.

  • 2012 - 2015

    Estudo sobre estratégias de modelagem na Programação por Restrições, Descrição: Avaliar o impacto da modelagem na resolução de problemas usando a teoria de Programação por Restrições (PR). A modelagem traduz num efeito imediato em encontrar uma solução com a PR, haja visto que suas buscas são construtivas, locais e completas. O trabalho da modelagem, reflete na construção de um modelo para PR. Leia-se que um modelo será computado sob o algoritmo conceitual da PR. Este algoritmo está implementado sob diversos paradigmas, conhecidos como resolvedores, comumente chamados de: solvers. Assim, esta pesquisa visa investigar alguns problemas, precisamente na sua etapa de modelagem, cuja resultante é um modelo a ser computado. Há um documento em anexo a este formulário, que apresenta um panorama de pesquisa na área sob alguns pontos. O ponto aqui atacado se restringe a modelagem.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Claudio Cesar de Sá - Coordenador / Rogério Eduardo da Silva - Integrante / Milton Roberto Heinen - Integrante / Cristiano Damiani - Integrante / Carlos Norberto Vetorazzi - Integrante.

  • 2009 - 2009

    Programação por Satisfação de Restrições, Descrição: Desenvolvimento de programas que utilizem os conceitos de domínio, restrições e propagação de valores. Atualmente, um projeto de pós-doutorado está sendo encaminhado, visando a construção de um simulador para Problemas Quantificados com Satisfação de Restrições. Tipicamente a classe dos problemas em foco são os PSpace. Assim, um modelo computacional sobre os inteiros, está sendo proposto aos problemas PSpace. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Claudio Cesar de Sá - Coordenador.

  • 2008 - 2008

    Paralelismo de LPs Declarativas, Descrição: Investiga-se linguagens declarativas como Haskell e Prolog e suas características quanto a concorrência e paralelismo. Estas linguagens apresentam um elevado grau de abstração na resolução de problemas, mas são penalizadas pela sua eficiência em máquinas com arquiteturas Von-Neumann. Assim, uma tentativa em ampliar os limites impostos pelo "gargalo" de Von-Neumann com novas abordagens sobre estas linguagens declarativas, porém, limitadas quanto a desempenho nas arquiteturas convencionais de hardware e software.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Claudio Cesar de Sá - Coordenador.

  • 2007 - 2008

    Programação em Lógica por Restrições, Descrição: Investiga a área Programação em Lógica por/com Restrições (PLR) na resolução de problemas combinatoriais. A proposta é aplicar a PLR em problemas da industria, onde a característica combinatorial dos problemas é ubíqua.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Claudio Cesar de Sá - Coordenador.

  • 2006 - 2007

    Construção de um Depurador para Haskell, Descrição: Foi construído um sistema que auxilia na depuração de programas em Haskell. A partir do código Haskell, define-se os pontos de depuração, e códigos são inseridos afim de permitirem uma visibilidade da execução do mesmo. Um trabalho sobre a gramática do Haskell.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Claudio Cesar de Sá - Coordenador / Rafael Veiga - Integrante.

Histórico profissional

Seção coletada automaticamente pelo Escavador

Endereço profissional

  • Universidade do Estado de Santa Catarina, Centro de Ciências Tecnológicas. , Campus Universitário Prof. Avelino Marcante, S/N (Bloco F - 2o. Piso - Sala 13), Bom Retiro, 89223100 - Joinville, SC - Brasil, Telefone: (47) 34817987, Ramal: 17987, URL da Homepage:

Seção coletada automaticamente pelo Escavador

Experiência profissional

  • 1989 - 1996

    Universidade Federal de Alagoas

    Vínculo: Servidor Público, Enquadramento Funcional: Professor Universitário, Carga horária: 40, Regime: Dedicação exclusiva.

    Atividades

    • 11/1989 - 09/1996

      Ensino, Bachalerado em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Introdução a Computação, Linguagem de Programação I, Teoria da Computação, Inteligência Artificial

  • 1996 - Atual

    Universidade do Estado de Santa Catarina

    Vínculo: Servidor Público, Enquadramento Funcional: Professor Associado, Carga horária: 40, Regime: Dedicação exclusiva.

    Outras informações:
    Um bom período nesta universidade como Dedicação Exclusiva, e agora com a mudança do plano de Cargos e Salários, todos são 40 horas, com renovacão periódica a dedicacão integral. Concedido por critérios de produtividade.

    Atividades

    • 03/2001

      Direção e administração, Centro de Ciências Tecnológicas, Departamento de Ciências da Computação.,Cargo ou função, Coordenador de Curso.

    • 03/1997

      Ensino, Automação Industrial, Nível: Pós-Graduação,Disciplinas ministradas, Estudo Dirigido de Programação por Restrições, Estudo Dirigido sobre Algoritmos Genéticos, Estudo Dirigido sobre Controladores Inteligentes, Inteligência Artificial Aplicada, Introdução aos Algoritmos Genéticos, Lógica Difusa

    • 10/1996

      Ensino, Bachalerado em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Compiladores, Inteligência Artificial, Introdução a Computação, LInguagens de Programação (I, II, III), Lógica e Programação em Lógica, Programação Paralela, Teoria da Computação, Trabalho de Conclusão de Curso, Métodos Formais, Lógica Matemática, Introdução a Programação por Restrições

    • 10/1996

      Treinamentos ministrados , Centro de Ciências Tecnológicas, .,Treinamentos ministrados, Cursos e Palestras sobre LaTeX, Linux, IA, etc

    • 10/1996

      Conselhos, Comissões e Consultoria, Centro de Ciências Tecnológicas, .,Cargo ou função, Participante das Comissões de Concursos Público no DCC/CCT.

    • 03/2008 - 12/2008

      Pesquisa e desenvolvimento , Centro de Ciências Tecnológicas, .,Linhas de pesquisa

    • 07/2002 - 08/2002

      Ensino, Automacao Industrial, Nível: Especialização,Disciplinas ministradas, Introdução a Inteligência Artificial

    • 03/1999 - 03/2001

      Extensão universitária , Centro de Ciências Tecnológicas, .,Atividade de extensão realizada, Coordenador do Projeto GENESIS (agente do SOFTEX). Pré-incubadora de empresas..

  • 1986 - 1989

    Universidade Estadual do Ceará

    Vínculo: Professor concursado, Enquadramento Funcional: Professor de nível superior, Carga horária: 40

    Atividades

    • 11/1986 - 11/1989

      Ensino, Bachalerado em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Introdução à análise de sistemas, Linguagens Formais e Automatos, Linguagens de Programação (I, II, III), Redes de Computadores, Técnicas de arquivos

  • 2001 - 2001

    Universidade Federal de Santa Catarina

    Vínculo: Prof. Temporário, Enquadramento Funcional: Trabalho Temporário

    Atividades

    • 05/2001 - 07/2001

      Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Introdução a Inteligência Artificial

  • 1999 - 2000

    Associação Catarinense de Ensino

    Vínculo: Celetista, Enquadramento Funcional: Professor contratado, Carga horária: 8

    Atividades

    • 03/1999 - 12/2000

      Ensino, Bachalerado em Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Introdução a Compiladores, Introdução a Inteligência Artificial, Tópicos Avançados de Linguagens de Programação

  • 2001 - 2002

    Faculdade Cenecista de Joinville

    Vínculo: Consultor Ad-hoc em SI, Enquadramento Funcional: Consultor ad-hoc, Carga horária: 10

    Outras informações:
    Ajudei a montar o curso de BSI, e atuo como consultor junto a coordenação e direção da FCJ, para assuntos acadêmicos e técnicos

    Atividades

    • 09/2001 - 02/2002

      Outras atividades técnico-científicas , Ensino de Graduação, Ensino de Graduação.,Atividade realizada, consultoria técnico e pedagógica.

  • 1999 - 2002

    Universidade da Região de Joinville

    Vínculo: Celetista, Enquadramento Funcional: Professor efetivo (de carreira), Carga horária: 6

    Outras informações:
    Coordena os estágios na área de informática no curso de BSI da Univille, turno matutino.

    Atividades

    • 07/1999 - 12/2002

      Ensino, Bachalerado em Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Coordenação de Estágios em Informática

  • 1987 - 1989

    DNOCS

    Vínculo: Serviço Temporário, Enquadramento Funcional: Analista de Sistemas, Carga horária: 20

    Atividades

    • 03/1987 - 11/1989

      Serviços técnicos especializados .,Serviço realizado, Desenvolvimento de Sistemas.

  • 1983 - 1985

    Serpro

    Vínculo: Servidor Público, Enquadramento Funcional: Analista de Suporte em Teleprocessamentos, Carga horária: 40, Regime: Dedicação exclusiva.

    Atividades

    • 08/1983 - 07/1985

      Serviços técnicos especializados .,Serviço realizado, Analista de Suporte a Rede de Teleprocessamento.