Atividades criminais variam em escopo e complexidade, mas existem em todos os setores da sociedade. Com o desenvolvimento tecnológico, os crimes tornaram-se mais sofisticados migrando do mundo físico e atingindo, também, o mundo virtual. Diante das inúmeras formas que as atividades ilegais podem tomar, a saída para a sociedade moderna

This European project focuses on the concept of inductive querying, i.e., the formalization of knowledge discovery processes as sequences of queries. This project is the follow-up of the successful IST FET project CINQ (FP5 IST 26469) which was already dedicated to the inductive database framework. Integrantes: Loïc Pascal Gilles Cerf

Estabelecimento de um programa de cooperação e intercâmbio científico entre a JABIL e o DCC/UFMG abrangendo atividades de pesquisa, desenvolvimento, formação e treinamento de recursos humanos, geração, absorção, e transferência de tecnologias e prestação de serviços tecnológicos na área de informática e automação. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico:

Este projeto propõe a adaptação de jogos educacionais existentes para refletir práticas mais modernas de produção de software e para considerar aspectos intrínsecos do desenvolvimento de software no Brasil. O objetivo geral é tornar o ensino de Engenharia de Software mais atrativo aos alunos, apresentando conceitos práticos importantes de uma

Os objetivos principais da pesquisa proposta são os seguintes: (#1) investigar novas soluções e visões modulares, com ênfase em módulos que agrupem classes segundo seus relacionamentos semânticos e evolutivos; (#2) investigar novas soluções para conformidade arquitetural, com ênfase em agilidade e recomendação de refactorings. Esses dois objetivos principais são fatorados

Este projeto de pesquisa versa sobre a construção de sistemas de mineração de dados escaláveis e eficientes. A escolha da aplicação mineração de dados (e ferramentas de inteligência em geral). Em particular, o projeto ataca três grupos de desafios de pesquisa em Ciência da Computação: extração automatizada de conhecimento de

Neste projeto, desenvolvemos algoritmos baseados em Relaxação Lagrangeana e Planos de Corte para variantes do Problema do Caixeiro Viajante: a versão com Recolha de Prêmios e a versão distância seletiva. Nesta última, caso um vértice não pertença a rota do caixeiro, deve haver algum vértice na rota que dista não

O objetivo principal do presente trabalho é investigar, desenvolver e avaliar algoritmos para o controle e a coordenação de grandes grupos de agentes robóticos. Especificamente, pretende-se complementar e estender dois projetos de pesquisa coordenados pelo proponente que já se encontram em andamento: um com ênfase na navegação de enxames e

Neste projeto de pesquisa, investigamos o desenvolvimento de algoritmos baseados em Relaxação Lagrangeana para resolver com garantia de otimalidade alguns problemas difíceis de Otimização Combinatória. De especial interesse neste projeto é o estudo de como algoritmos nesta classe podem ser empregados como métodos de pré- processamento para algoritmos do tipo