Projetos de Pesquisa, Desenvolvimento, Inovação e Extensão Concluídos
HP- Improving Introductory Computer Science Course through the Use of Tablet PC
This project aims at using the Tablet PC for teaching Algorithms and Data Structures II, a basic Computer Science course, mandatory to students majoring in 5 areas, namely Computer Science, Computational Mathematics, Information Science, Electrical Engineering, and Automation Control, and optional to students majoring in a few other areas. The
Sistema de Vigilância Espaço-Temporal para Detecção de Clusters Emergentes
Nosso objetivo nesse projeto de pesquisa e estudar o desempenho de sistemas de vigilancia espaco-temporal, em particular, aquele proposto por Assuncao e Correa (2009). Nossa preocupacao era estudar as propriedades do metodo, propor uma nova estatistica de teste baseada na correcao Rn – n e considerar formas de incorporar mais
Evolução de Modelos de Classificação Hierárquica
Esse projeto tem como principal objetivo desenvolver modelos de classificação hierárquica baseados em algoritmos evolucionários. Além disso, ele também investigará métricas eficazes para avaliação de métodos hierárquicos. Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) .
Plataforma Arouca
Desenvolvimento, implantação e Moddle 2.0 IS. Estudo de arquitetura de informação, requisitos e políticas de seguranca de acesso para implantação da Plataforma Arouca. Integrantes: Renato Antonio Celso Ferreira – Integrante / Osvaldo Carvalho – Coordenador.
Verificação Híbrida de Modelos: Ferramentas e Aplicações
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é
Otimização de Código em Ambiente de Semântica Formal Executável baseado em ASM
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
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
Situated Ubiquitous Network
In the context of emerging wireless technologies and in order to ensure an effective ubiquitous environment, it is important to design a smooth link between the heterogeneous wireless technologies to allow the communication between the concerned things (laptop, phone, home appliances, RFID, sensors, ). In this context SUN project has
CTInfo 5S
O potencial educacional e de preservação e disseminação cultural e científica existente nas bibliotecas digitais é inegável. Tal potencial é ainda mais relevante no Brasil, onde bibliotecas digitais podem atuar como ferramentas de apoio a soluções de problemas específicos do país tais como exclusão digital, analfabetismo, má preparação de educadores
