CLAUDIO CESAR DE SA

Pós-doutorado

Idiomas

Áreas de atuação

Organização de eventos

Participação em bancas

Orientou

Produções bibliográficas

• 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.

• 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.

• 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á, Claudio ; Negri, Lucas ; Silva, Alexandre . Picat: uma Linguagem para Planejamento em Pesquisa Operacional. In: Frederico Celestino Barbosa. (Org.). Engenharia de produção: produtividade e competitividade. 2nded.Piracanjuba-GO: Editora Conhecimento Livre, 2020, v. IV, p. 307-323.

• 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.

• 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.

• 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.

• 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 CLASSICATION 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).

Outras produções

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.