Projetos de Pesquisa, Desenvolvimento, Inovação e Extensão Concluídos
Caracterização e Modelagem de Sistemas Distribuídos em Larga Escala
O objetivo do projeto é avançar em direção a modelos que ofereçam uma visão ampla da Web. O foco deste projeto é um estudo quantitativo, tanto do ponto de vista experimental quanto teórico, de sistemas distribuídos em larga escala, como a internet/web, usando uma visão oferecida pela estrutura de grafos
Inductive Queries for Mining Patterns and Models
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
Métodos Evolucionários em Mineraç?o de Dados: Aprendizado Semi-Supervisionado para Dados Web
Esse projeto prop?e um conjunto de métodos baseados em aprendizado (semi-)supervisionado para resolver diversos problemas envolvendo dados provenientes da Web, embora outras fontes de dados também possam ser utilizadas com pequenas adaptaç?es. O projeto destaca vários outros sub-projetos que tratam de problemas relevantes dentro da parte de mídias sociais, tais
Paralelização de algoritmos de mineração de dados
Este projeto tem por objetivo desenvolver algoritmos de mineração de dados escaláveis e eficientes para execução em agregados de máquinas, também conhecidos como clusters. O projeto foca em três classes de algoritmos: associações, agrupamentos e classificadores. Alunos envolvidos: Graduação: (10) / Especialização: (0) / Mestrado acadêmico: (4) / Mestrado profissionalizante:
Métodos e Ferramentas de Documentação de Programas e Especificação Formal Executável
Estudo e pesquisa de métodos de especificação formal executáveis e de geração de compiladores baseados em semântica formal. Integrantes: Mariza Andrade da Silva Bigonha – Integrante / Vladimir O Di Iorio – Integrante / BIGONHA, Roberto S. – Coordenador.
ReDisseR
(1) Uma vez que uma rede social é construída, a mesma pode ser analisada para descoberta de conhecimento, o qual pode, e deve, ser disseminado entre os componentes dessa rede. (2) As abordagens atuais para disseminar e recomendar conteúdo na Web consideram um formato de consulta que é dependente do
Redes de Comunicação: Modelagem, Projeto e Análise de Algoritmos
Os objetivos específicos deste projeto consistem em: (1) Estudar o efeito de incorporação do conceito de taxa de transmissão de dados ao modelo de interferência SINR. (2) Analisar a complexidade e desenvolver algoritmos para o problema de escalonamento distribuído de requisições com controle de potência. (3) Estudar o desempenho e
Coordenação de Grandes Grupos de Robôs
O objetivo deste projeto consistiu em estudar, desenvolver e avaliar algoritmos para a coordenação de grandes grupos de robôs, normalmente chamados de enxames de robôs ou swarms. Como mencionado no projeto, embora a coordenação de pequenos grupos de robôs tenha sido razoavelmente estudada na literatura nos últimos anos, a coordenação
Redes móveis ad hoc, sem fio, tolerantes a interrupções, de sensores, de resgate e mesh
A proposição de um conjunto de projetos de pesquisa, ao invés de apenas um, busca mostrar as diversas atividades de pesquisa e formação de recursos humanos do proponente e caracterizar melhor as necessidades de apoio para auxiliar na condução dos seus projetos. Já estão e continuarão a ser envolvidos nos
