Algumas teorias, métodos e técnicas já estão bem consolidados para a área de Interação Humano-Computador (IHC) (Preece et al. 2002). No entanto, alguns domínios têm especificidades que podem tornar necessária a adaptação ou mesmo a revisão destes métodos e técnicas e apresentam novos desafios para o design e avaliação de

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.  

Este projeto se concentra em grandes áreas como Otimização Combinatória e Algoritmos aplicadas em Redes de Telecomunicação. O objetivo é propor modelos e algoritmos aplicáveis em problemas reais, explorando temas específicos como localização de facilidades, topologia, dimensionamento, roteamento, mobilidade. Terão destaque os problemas relacionados ao planejamento e projeto de redes,

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 presente projeto de pesquisa tem por objetivo maior desenvolver um arcabouço unificado de modelos e ferramentas integradas para dotar sistemas de rede e em especial a Internet de robustez frente às variações tecnológicas e aos diferentes padrões de comportamento de seus usuários mais comumente observados, particularmente os considerados maliciosos,

O presente projeto tem por objetivo desenvolver modelos e técnicas de recomendação capazes de extrapolar a premissa homofílica e prover novas informações aos recomendadores, através do uso de níveis de similaridades em diversas fontes de informação sobre os usuários.  

Sistemas computacionais são frequentemente utilizados em aplicações críticas como controladores de máquinas industriais aonde falhas podem ter consequências graves. Mesmo em aplicações não industriais erros são frequentemente inaceitáveis. Por exemplo, em um sistema de comércio eletrônico erros podem levar desde a perda de clientes por insatisfação com o serviço até

A criação de cenários virtuais realísticos é uma tarefa de grande relevância nas áreas de Computação Gráfica, Visão Computacional e Robótica e os desafios no processo de criação desses cenários virtuais são inúmeros. Embora avanços significativos tenham sido alcançados para a solução do problema de mapeamento tridimensional e geração de

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.