membro de Computação Musical Grupo de Pesquisa Laboratório de Interatividade e Tecnologia para Entretenimento Digital Grupo de Pesquisa Lógica, Inteligência Artificial e Métodos Formais Grupo de Pesquisa
publicações selecionadas A deep search method to survey data portals in the whole web: toward a machine learning classification model Computer-assisted timber identification based on features extracted from microscopic wood sections Ocupação volumétrica de contêineres Practical considerations regarding classification learning for clinical diagnosis and therapy advice in oncology Automated Reasoning With Uncertainties Contextual analysis of pedestrian mobility in transport terminals
theses/dissertations advising Uma ontologia artificial para o controle cambial brasileiro. Design de jogos baseado em componentes Protocolos de interação baseados em conhecimento: implementação da plataforma JamSession Um modelo para ambientes inteligentes baseado em serviços web semânticos Análise baseada em contexto do movimento de pedestres em terminais de transporte Visualização de tags para explicar e filtrar recomendações de músicas Assessment of Fun from the Analysis of Facial Images Análise Formal do Aprendizado Supervisionado por Árvore de Decisão GRMediator: uma biblioteca modular para reconhecimento de gestos End-to-end learning for autonomous vehicles - a narrow approach Estudo de Requisitos para um Software Educacional de Apoio a Disciplinas de Introdução à Computação Parcerias para Qualificação Profissional Gestão do Conhecimento em Empresas do Governo Um Modelo para a Interoperabilidade entre Instituições Heterogêneas Uso de jogos digitais no desenvolvimento de competências curriculares da matemática Obsolência de Informação Obsolescência de Informação Use of digital games to develop mathematical curricular competencies Análise de Investimentos: Uma Abordagem Sobre a Implantação de Projetos de Sistemas de Gestão Empresarial Uma ferramenta para o ensino de inteligência artificial usando jogos de computador Piloto Baseado em Aprendizagem por Reforço para o Simulador de Corridas TORCS Liderança na Construção da Organização de Aprendizagem Desenvolvimento de sistemas baseados em artefatos de conhecimento. Base de Qualidades em Projetos da Área de Informática Um modelo Formal para a Quinta disciplina. Regressão Logística Multinomial: Um modelo a partir do comportamento do usuário em rede social para a predição de traços depressivos Analise Formal do Aprendizado Computacional por Arvores de Decisao Gestão da Cultura no Teletrabalho Comparing vector document representation methods for authorship identification Base de Qualidades para Gestão de Pessoal em Projetos de Informática Alto nível em redes neurais Lógicas Anotadas: Teoria e Aplicações A Lógica das Estruturas de Features e suas Aplicações Mob Programming para escrever código com alta complexidade e trabalho remoto Uma arquitetura para agentes inteligentes com personalidade e emoção Interoperabilidade de documentos Sistema para Execução de Testes de Aprendizado Baseado em Funções de Crença Compartilhamento de Conhecimento entre Sistemas Baseados em Conhecimento Mestre em Administração de Empresas e Recursos Humanos Programação em lógica anotada: teoria e aplicações Funções valor na alocação de tarefas em sistemas robóticos Utilização de Sensores de Profundidade de Baixo Custo para Prover Qualidade de Vida em Idosos A framework for device interaction in a network of things Sistemas baseados em Artefatos de Conhecimento Uma Ontologia Artificial para o Sistema Cambial Brasileiro Um Modelo de Capacidades Formais para Cooperação Mediada Entre Sistemas Baseados em Conhecimento Sistemas de reescrita de termos: teoria e uma aplicação Inteligência Artificial para jogos de tabuleiro. Equivalência Entre A Semântica da Lógica de Transações e A Semântica de Sua Implementação Prolog Sistemas Tutores Inteligentes e sua Aplicação em Empresas. Design de Jogos Orientado a Componentes Compartilhamento de conhecimento entre Sistemas Baseados em Conhecimento: Um Estudo de Caso. Um modelo conceitual para ambientes inteligentes baseado em interações formais em espaços físicos. Um estudo empírico de hiper-heurísticas Sistemas de Re-Escritas de Termos: Teoria e Uma Aplicação Interoperabilidade de documentos digitais usando ontologias Gestão de salários e as mudanças na forma de remuneração nas empresas Specifying, Executing, and Reasoning About Actions and Plans Using Transaction Logic Testing and Extending the Incidence Calculus Comparação entre Abordagem Multi-física em Mesoescala e Determinística em Alta Resolução na Simulação Numérica de Sistemas Convectivos de Mesoescala na Bacia do Prata