Otimização Combinatória é uma das linhas de pesquisa da Ciência da Computação onde se concentram grandes desafios em termos de algoritmos para solucionar problemas clássicos de elevada complexidade computacional. Neste projeto propomos estudar problemas de otimização em transporte que considerem explicitamente em sua formulação a existência de restrições de carga/descarga.

O ambiente AntHill tem por objetivo prover suporte para a paralelização escalável e eficiente de algoritmos paralelos. Esta escalabilidade e eficiência resultam da possibilidade de se explorar três tipos de paralelismo: tarefas, dados e assincronia. O ambiente está operacional e tem sido usado para paralelizar diversos tipos de aplicações. Alunos

Computação ubíqua é um novo paradigma computacional que tem como objetivo prover ao usuário acesso permanente a uma rede fixa ou móvel independente de sua posição física. É a capacidade de acessar informações, aplicações e serviços a qualquer lugar e a qualquer momento. Esse paradigma também recebe o nome de

O objetivo deste projeto é oferecer meios para avaliação empírica dos efeitos positivos e negativos de diferentes mecanismos de composição de uma família de sistemas na estabilidade e na robustez dos produtos de software. Ao fim deste projeto espera-se obter os seguintes resultados: (i) identificar, documentar e formalizar diferentes formas

O objetivo deste projeto é desenvolver a pesquisa multidisciplinar em Sistemas Computacionais para Redes Aquáticas, causando impacto social, impacto na formação de alunos, interagindo com a comunidade, formando um núcleo de excelência de pesquisa. O projeto de Sistemas Computacionais para Redes Aquáticas ocorre em duas frente principais: através do desenvolvimento

Este projeto de pesquisa tem como objetivo principal investigar o desenvolvimento de sistemas de objetos distribuídos incorporando abstrações adequadas a programação em ambinetes de computação móvel. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (3) / Doutorado: (1) . Integrantes: Mariza Andrade da Silva Bigonha – Integrante / Vladimir Oliveira Di

Propor estratégias de modelagem e precificação de planos de seguro agrícola baseados em derivativos climáticos que levem em consideração os aspectos espacial e temporal das variáveis climáticas envolvidas e sua relação com a produtividade. Integrantes: Renato Martins Assunção – Coordenador / Ramiro R Cardenas – Integrante.   

O contexto deste projeto de pesquisa envolve algoritmos de otimização explorados em problemas clássicos de Combinatória, mas com grande potencial de aplicação a problemas reais, mas também a três temas de aplicação amarrados a outras linhas clássicas da computação: Engenharia de Software, Robótica, Visão Computacional e Jogos, e Redes de

Este projeto tem como objetivo entender, explorar e modelar comportamentos sociais com o uso de bases de dados reais e em larga escala extraídas da Web visando o desenvolvimento de novos algoritmos e aplicações no contexto de redes sociais online. Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (4) . Integrantes: