Neste projeto pretende-se avançar o estado da arte da área de avaliação de políticas de segurança pública, no sentido de criar ferramentas capazes de prever os efeitos obtidos pela implementação de políticas e ações específicas de combate ao crime. Este projeto tem por objetivo principal a aplicação de tecnologias da área

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.  

Objetivo proposto: Um estudo de um sistema de vigilância espaço-temporal que tem como objetivo a identificação rápida e precoce de áreas geográficas com aumento excessivo do risco. Por risco excessivo em uma área geográfica num instante de tempo deve-se entender um risco substancialmente diferente daquele que poderia ser esperado naquela

Vamos estudar dois problemas: o de testar a presença de interação espaço-tempo em dados de processos pontuais e o de monitorar um processo espaço-temporal para identificar padrões emergentes. No primeiro problema, nosso interesse é comparar um teste amplamente usado para testar interação espaço-tempo (o teste de Knox) com um teste

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

O principal objetivo do projeto era o estudo de técnicas que viabilizem a paralelização de serviços Internet de forma escalável.. Integrantes: Dorgival Olavo Guedes Neto – Coordenador / Wagner Meira Jr. – Integrante.   

O objetivo geral do projeto é desenvolver uma parceria entre os dois grupos no contexto da cooperação internacional Brasil-Espanha que potencialize os trabalhos de pesquisa ora existentes nas duas instituições. Para tanto, é importante frisar os desenvolvimentos já obtidos pelos grupos, de forma a tornar claras as potencialidades da colaboração

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

Classificação é o processo de extração de informação em imagens para reconhecer padrões ou objetos homogêneos que são utilizados para identificar regiões correspondendo a temas de interesse. O objetivo é obter uma descrição que contém informação suficiente para distinguir diferentes objetos. Normalmente, o processo de reconhecimento é baseado em níveis