Neste projeto pretendemos analisar e estender sistemas de vigilância prospectivos.

O objetivo deste trabalho de pesquisa se origina na necessidade de ferramentas eficientes de suporte à execução e análise de sisteas complexos de modelagem baseadas em métodos formais. Tais ferramentas apresentam difícies problemas de otimização e de bom uso dos recursos do ambiente de computãção, Assim, utilizar ASM para especificar

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

The proliferation of user-generated rich web-based social media data, such as microblogs (e.g., short text messages called Tweets on Twitter), blogs, chat rooms, newsgroups, discussion boards, and web sites, ooeer unprecedented opportunities for public health informatics. However, to date, most of the health-related social data has been used to plot

O projeto visa o desenvolvimento da tecnologia de redes de computadores no âmbito da Internet de coisas. Ele é composto por sete sub-projetos relacionados à robustez e segurança das comunicações em um ambiente de redes heterogêneo, típico do encontrado pelos sistemas vislumbrados para a Internet de coisas. O Sub-projeto 1

Devido ao grande número de pessoas presentes em instalações esportivas que sediam competições com grandes públicos, como estádios ou ginásios, há vários problemas difíceis de serem tratados de uma forma eficiente quando todo o processo de análise é efetuado de forma manual, tais como a detecção de conflitos ocorrendo nas

O presente projeto de cooperação NSF-CNPq tem como objetivo principal estudar, projetar, desenvolver e avaliar algoritmos e metodologias para a coordenação e controle de enxames de robôs. O projeto estabeleceu uma cooperação formal entre pesquisadores Laboratório de Visão Computacional e Robótica (VeRLab) da Universidade Federal de Minas Gerais e do

Este projeto de pesquisa se propõe a estudar e implementar uma nova heurística para alocação de registradores usando uma técnica denominada Crescimento de Domínio Ativo (Live Range Growth). Esta técnica foi proposta para se resolver o problema de alocação de referências a vetores em registradores de endereçamento, dentro de laços

O objetivo principal desse projeto é desenvolver mecanismos que permitam a cooperação efetiva entre robôs aéreos e terrestres. Especificamente, pretende-se desenvolver algoritmos para a fusão das múltiplas informações sensoriais e implementar mecanismos que permitam realizar a coordenação dinâmica de todo o grupo. Para isso, é necessário obter informações precisas sobre