1. Skip to Menu
  2. Skip to Content
  3. Skip to Footer


Colegiado


Teses e Dissertações
Teses e Dissertações
# Título Ano Abstract Trabalho
1 An Infrastructure for Gameplay Gathering and Analysis with Provenance
Autor(res):Troy Costa Kohwalter
2018
2 Estruturação de Laudos de Tomografia Computadorizada do Crânio com Base em Ontologias
Autor(res):Cassia Isac Gonçalves da Silva
2018
3 Integrated Analysis of Heterogeneous Provenance Graphs
Autor(res):Wellington Moreira de Oliveira
2018
4 Procedimentos Computacionais para Assistir Técnicas Avançadas de Ressonância Magnética Nuclear na Avaliação Petrofísica de Rochas Sedimentares
Autor(res):Francisco José Benavides Murillo
2018
5 An Interference-aware Virtual Machine Placement Strategy for Small-scale HPC Applications in Clouds
Autor(res):Maicon Melo Alves
2018
6 Escalonamento de Jobs em Ambientes Virtualizados com Elasticidade
Autor(res):Henrique de Medeiros klôh
2017
7 Otimização da Execução de Workflows Intensivos de Dados em Frameworks MapReduce
Autor(res):Douglas Ericson Marcelino de Oliveira
2017
8 Introducing Mathematical Morphology in Machine Learning
Autor(res):Érick Oliveira Rodrigues
2017
9 Column Generation over Set Partitioning Formulations: Theory and Practice
Autor(res):Teobaldo Leite Bulhoes Junior
2017
10 Deteccao de Potenciais Conflitos Normativos que Dependem da Ordem de Execucao dos Eventos nos Sistemas Multi-Agentes
Autor(res):Mairon de Araujo Belchior
2017
11 Particoes & Convexidades de Caminhos em Grafos
Autor(res):Joao Vinicius Correa Thompson
2017
12 Métodos de Resolução para o Problema de Bin Packing com Conflitos e para o Problema de Bin Packing com Dependências
Autor(res):Renatha Oliva Capua
2017
13 Contramedidas ao Ataque de Falsificação de Reconhecimentos Positivos em Redes Tolerantes a Atrasos e Desconexões
Autor(res):Juliano Fischer Naves
2017
14 A Framework for Task Distribution in Multi-CPU and Multi-GPU Systems
Autor(res):João Gabriel Felipe Machado Gazolla
2017
15 Leiautes Dinâmicos para Documentos Multimídia Baseados em Templates
Autor(res):Glauco Fiorott Amorim
2017
16 Abordagem Sintonizada de Gabor para a Modelagem de Neurônios do Córtex Visual Primário
Autor(res):Marcos Sanges do Amaral
2017
17 Limiting Interest-Packet Forwarding in Content-Centric Wireless Mesh Networks
Autor(res):Dalbert Matos Mascarenhas
2017
18 Negação de Serviço por Conluio Produtor-Consumidor em Redes Orientadas a Conteúdo
Autor(res):André Luiz Nasserala Pires
2017
19 Comportamento Social de Personagens na Geração de Estórias por Computador
Autor(res):David Batista Carvalho
2017
20 Processamento Paralelo de Consultas XML Ad Hoc com Fragmentação Virtual
Autor(res):Luiz Augusto Matos da Silva
2017
21 Previsão de Integradores e Tempo de Vida de Pull Requests
Autor(res):Manoel Limeira de Lima Júnior Almeida
2017
22 On the Nature of Pull Requests: a Study about this Collaboration Paradigm over Open-Source Projects Using Association Rules
Autor(res):Daricélio Moreira Soares
2017
23 Recommending Developers for Collaborative Merge Sessions
Autor(res):Catarina de Souza Costa
2017
24 Uma Abordagem para Detecção de Conflitos Indiretos entre Políticas de Controle de Acesso
Autor(res):Laura Costa Sarkis
2017
25 Data Gathering in Sensor Networks with Data Mules: Global and Local Approaches
Autor(res):Pablo Luiz Araújo Munhoz
2017
26 A Large Neighborhood-Based Heuristic for One-to-One Pickup and Delivery Problems
Autor(res):Metheus Nohra Haddad
2017
27 Algoritmo para o Problema de Formação de Células de Manufatura com Sequência de Operações e Processos Alternativos
Autor(res):Ivan César Martins
2017
28 Integrating Collective Intelligence into Multi-Objective Optimization Evolutionary Algorithms: Interactive Preferences and Reference Points for a Facility Location Problem
Autor(res):Daniel Lopes Cinalli
2017
29 Quantum Virtual Machine: a Dynamic Approach for Managing Power and Performance in Virtualized Clusters
Autor(res):André Felipe de Almeida Monteiro
2017
30 Aplicação do Método do Tubo de Trajetórias à Solução Numérica das Equações de Navier-Stokes
Autor(res):Fábio Pacheco Ferreira
2017
31 Verificação de Conflitos entre Múltiplas Normas em Sistemas Multiagentes
Autor(res):Eduardo Augusto Silvestre
2017
32 An Epidural Nerve Block Simulator Using Haptics and Gamification
Autor(res):André Luiz Brazil
2017
33 Diff Semântico de Documentos XML
Autor(res):Alessandreia Marta de Oliveira
2016
34 On the Nature of Software Merge Conflicts
Autor(res):Gleiph Ghiotto Lima de Menezes
2016
35 Uma Arquitetura para Transmissão de Jogos 2D em Nuvem Usando Codificação de Objetos em Múltiplas Camadas
Autor(res):Diego Cordeiro Barboza
2016
36 Uma Abordagem Autônoma para Gerenciar Workflows Científicos em Ambientes Computacionais Heterogêneos e Compartilhados
Autor(res):Rafael Burlamaqui Amaral
2016
37 Meta-Heurísticas Aplicadas ao Agendamento de Intervenções em Redes Elétricas
Autor(res):Rainer Zanghi
2016
38 Algoritmos Heurísticos e Exatos para o Problema de Edição de Biclusters
Autor(res):Gilberto Farias de Sousa Filho
2016
39 Exploração de Estratégias de Busca Local em Ambientes CPU/GPU
Autor(res):Eyder Franco Sousa Rios
2016
40 ACROSS: Um Framework de Autenticação e Autorização Baseado em Políticas e Atributos para Organizações Virtuais
Autor(res):Edelberto Franco Silva
2016
41 Alocação de Canais e Controle de Potência Aplicados à Coexistência em Redes Cognitivas sem Fio
Autor(res):Eduardo Pagani Julio
2016
42 Classificação de Doenças da Mama Usando Imagens por Infravermelho
Autor(res):Roger Resmini
2016
43 Uma Heurística de Comparação de Comportamentos para Análise Semântica de Jogos Aplicada à Aprendizagem de Programação
Autor(res):Elanne Cristina Oliveira dos Santos
2016
44 Relação entre Biclusterização por Edição de Arestas e Formação de Células de Manufatura
Autor(res):Rian Gabriel Santos Pinheiro
2016
45 Relative Size and Csw-Efficiency: Two New Concepts Based on DEA to Guide Management of Capital
Autor(res):Ney Paranaguá de Carvalho
2016
46 Heurísticas para a Solução do Problema de Roteamento Periódico de Unidades Móveis de Pistoneio
Autor(res):Marcos Ribeiro Quinet de Andrade
2016
47 Avaliação da Capacidade de Observação do Estado Operativo de Redes Elétricas
Autor(res):André Abel Augusto
2016
48 Multimedia Document Validation Along Its Life Cycle
Autor(res):Joel André Ferreira dos Santos
2016
49 Using Massively Parallel Architecture for Media Version Control and Fine-Grained Exploratory Repository Analysis
Autor(res):José Ricardo da Silva Junior
2015
50 Algoritmos Genéticos com Chaves Aleatórias Tendenciosas para Problemas de Otimização em Redes
Autor(res):Julliany Sales Brandão
2015
51 Lazy Feature Selection for the Multi-Label Classification Task
Autor(res):Rafael Barros Pereira
2015
52 Contribuições ao Problema de Seleção de Atributos
Autor(res):Mariana Tasca Fontenelle Lôbo
2015
53 Uma Metodologia de Auxílio ao Diagnóstico de Doenças de Mama a Partir de Termografias Dinâmicas
Autor(res):Thiago Alves Elias da Silva
2015
54 Algoritmos para Solução Exata dos Problemas Quadráticos de Alocação Clássico e Generalizado para Execução em Ambientes Distribuídos e Heterogêneos
Autor(res):Alexandre Domingues Gonçalves
2015
55 Dimensionamento Estático e Dinâmico de Máquinas Virtuais em Nuvens Computacionais
Autor(res):Rafaelli de Carvalho Coutinho
2015
56 Studies on Network Design Problems
Autor(res):Pedro Henrique Gonzalez Silva
2015
57 Novel Classifier Chain Methods for Multi-Label Classification Based on Genetic Algorithms
Autor(res):Eduardo Corrêa Gonçalves
2015
58 Uma Análise Híbrida para Detecção de Anomalias da Mama Usando Séries Temporais de Temperatura
Autor(res):Lincoln Faria da Silva
2015
59 Unsupervised Image Cosegmentation Based on Global Clustering and Saliency
Autor(res):Lucas Grassano Lattari
2015
60 Detecção e Tratamento de Eventos de Flash Crowd em Nuvens Computacionais
Autor(res):Ubiratam Carvalho de Paula Junior
2015
61 Propriedades do Produto de Grafos
Autor(res):Aline Ribeiro de Almeida
2015
62 Minimizando Ramificações em Árvores Geradoras
Autor(res):Adalton de Sena Almeida
2015
63 Supressão de Erros Grosseiros de Medição Através da Cooperação entre Estimadores de Estado Independentes
Autor(res):Márcio André Ribeiro Guimaraens
2015
64 G-MPP – Método para Simulação Massiva Partícula-Partícula de N-Corpos em Cluster de GPUs
Autor(res):Daniel Luiz Alves Madeira
2015
65 Registro de Imagens Térmicas da Mama Adquiridas Dinamicamente
Autor(res):Stephenson de Sousa Lima Galvão
2015
66 Hybrid and Parallel Algorithms for Single and Multi-Objective Routing Problems
Autor(res):Igor Machado Coelho
2015
67 Resolução Explícita por Elementos Finitos do Sistema que Descreve Escoamentos Evolutivos Viscoelásticos
Autor(res):Patrícia Dias Gomes
2015
68 Um Estudo de Problemas De Clusterização com Restrições de Capacidade e de Conexidade
Autor(res):Nádia Mendes dos Santos
2014
69 Provendo Autonomia às Aplicações da e-Ciência
Autor(res):Fernanda Gonçalves de Oliveira Passos
2014
70 Um Algoritmo ILS para o Problema de Localização-Roteamento Capacitado com Dois Níveis
Autor(res):Gustavo Rezende Carvalho
2014
71 Heurísticas para Síntese Híbrida de Imagens em Tempo Real
Autor(res):Paulo Marcos Figueiredo de Andrade
2014
72 Adaptive Hierarchical Mesh Detail Mapping and Deformation
Autor(res):Bruno José Dembogurski
2014
73 Multivariate Investigation of NP-Hard Problems: Boundaries Between Parameterized Tractability and Intractability
Autor(res):Uéverton dos Santos Souza
2014
74 Metodologia para Reconstrução Tridimensional da Geometria da Mama Utilizando Dois Sensores de Profundidade
Autor(res):Franciéric Alves de Araújo
2014
75 Modelo de Escalonamento e Representação de Clusters de Máquinas Multicore
Autor(res):JULIANA MENDES NASCENTE SILVA
2013
76 Métodos Multinível na Resolução de Equações Diferenciais Parciais com Refinamento Adaptativo de Malhas
Autor(res):Diego Nunes Brandão
2013
77 Identificação de Sítios de Junção em Genomas via Classificação
Autor(res):Cláudia Galarda Varassin
2013
78 Um Algoritmo Unificado para uma Classe de Problemas de Roteamento de Veículos com Frota Heterogênea
Autor(res):Puca Huachi Vaz Penna
2013
79 M5AIE: A Method for Body Part Detection, Tracking and Pose Classification using RGB-D Images
Autor(res):ANDRE LUIZ BRANDAO
2013
80 Flow-Based Interference-Aware Routing in Multihop Wireless Networks
Autor(res):Diego Gimenez Passos
2013
81 Algoritmos para o Problema de Agrupamento Automático
Autor(res):Gustavo Silva Semaan
2013
82 ANÁLISE DE IMAGENS TERMOGRÁFICAS PARA A CLASSIFICAÇÃO DE ALTERAÇÕES NA MAMA
Autor(res):TIAGO BONINI BORCHARTT
2013
83 Modelagem de Linha de Produto de Software Dinâmica para Aplicações Ubíquas
Autor(res):Sérgio Teixeira de Carvalho
2013
84 Uma Abordagem Hierárquica, Heurística e Distribuída para a Economia de Energia em Clusters de Servidores Web de Larga Escala
Autor(res):Leandro Soares de Sousa
2013
85 Schedule-based asynchronous duty cycling with
Autor(res):Ricardo Campanha Carrano
2013
86 A New Data Structure for the Neighbourhood Gathering Problem on GPUs
Autor(res):Mark Eirik Scortegagna Joselli
2013
87 Armazenamento Seguro de Chaves Criptográficas em Redes de Sensores Sem Fio
Autor(res):Juliano Fontoura Kazienko
2013
88 Um Modelo de Autômato Celular Aplicado ao Tráfego Viário com Múltiplos Perfis de Condutores
Autor(res):MARCELO PANARO DE MORAES ZAMITH
2013
89 Optimization of power and performance for heterogeneous server systems
Autor(res):VINICIUS TAVARES PETRUCCI
2012
90 Sistema de Apoio à Decisão aplicado ao Diagnóstico de Demência, Doença de Alzheimer e Transtorno Cognitivo Leve
Autor(res):Flávio Luiz Seixas
2012
91 UMA METODOLOGIA DE APRENDIZAGEM BASEADA EM CLASSIFICADOR NUMÉRICO APLICADA A JOGOS ELETRÔNICOS
Autor(res):ALEX FERNANDES DA VEIGA MACHADO
2012
92 INDICADORES DE OBSERVABILIDADE PARA ESTIMAÇÃO DE ESTADO EM SISTEMAS DE POTÊNCIA
Autor(res):JOHNNY EDWARD VILLAVICENCIO TAFUR
2012
93 OTIMIZAÇÃO DA SEGURANÇA DE SISTEMAS DE POTÊNCIA VIA METAHEURÍSTICAS E SIMULAÇÃO ELETROMECÂNICA COMPLETA
Autor(res):Carlos Alberto da Silva Neto
2012
94 Heuristic, Exact and Hybrid Approaches for Vehicle Routing Problems
Autor(res):Anand Subramanian
2012
95 Funções de Gabor Sintonizadas: Aplicação à Análise e à Síntese de Sinais
Autor(res):Silvia Mara da Costa Campos Victer
2012
96 CASSIOPEIA: UM MODELO DE AGRUPAMENTO DE TEXTOS BASEADO EM SUMARIZAÇÃO
Autor(res):MARCUS VINICIUS CARVALHO GUELPELI
2012
97 PNF Story: Um modelo para enredos baseado na propagação hierárquica de restrições temporais
Autor(res):Erick Baptista Passos
2012
98 Novos Algoritmos e Resultados Teóricos para o Problema de Particionamento de Grafos por Edição de Arestas
Autor(res):LUCAS DE OLIVEIRA BASTOS
2012
99 Roteamento Adaptativo a Contextos para Redes Tolerantes a Atrasos e Desconexões
Autor(res):ETIENNE CÉSAR RIBEIRO DE OLIVEIRA
2011
100 Redes de Distribuição de Conteúdos: Abordagens Exatas, Heurísticas e Híbridas
Autor(res):TIAGO ARAÚJO NEVES
2011
101 Descoberta de Serviços em Redes Ad Hoc Móveis.
Autor(res):Janine Kniess
2011
102 Metaheurísticas Híbridas para a Resolução do Problema do Caixeiro Viajante com Grupamentos
Autor(res):Mário Mestria
2011
103 Reconstrução da Geometria da Mama a partir de Imagens Termográficas
Autor(res):Simone Vasconcelos Silva
2010
104 Monitoramento Inteligente e Sensível ao Contexto na Assistência Domiciliar Telemonitorada
Autor(res):Alessandro Copetti
2010
105 CONSTRUÇÃO DE PLANOS DE MEDIÇÃO PARA A ESTIMAÇÃO DE ESTADO EM SISTEMAS DE POTÊNCIA VIA METAHEURÍSTICAS
Autor(res):HELDER ROBERTO DE OLIVEIRA ROCHA
2010
106 Otimização do Consumo de Energia em Múltiplas Sessões Multicast em Redes de Sensores
Autor(res):Stênio Sã Rosário Furtado Soares
2010
107 Heurísticas para o problema de cobertura de conjuntospor pares
Autor(res):Luciana Brugiolo Gonçalves
2010
108 Escalonamento Estático de Tarefas Bi-objetivo e Tolerante a Falhas para Sistemas Distribuídos
Autor(res):Idalmis Milián Sardiña
2010
109 Tolerância a Falhas para Aplicações Autônomas em Grades Computacionais
Autor(res):Jacques Alves da Silva
2010
110 O Problema de Recobrimento por Rotas: algoritmos e regras de redução
Autor(res):Luciene Cristina Soares Motta
2010
111 Novos algoritmos heurísticos e híbridos para o Problema de Escalonamento de Projetos com Restrição de Recursos Dinâmicos
Autor(res):André Renato Villela da Silva
2010
112 Sincrofasores em Sistemas de Potência: Aplicações na Estimação de Estado
Autor(res):Rui Menezes de Moraes
2009
113 Segurança de Sistemas de Potência em Regime Transitório considerando Incertezas
Autor(res):Marcelos Groetaers dos Santos
2009
114 Um sistema de apoio à decisão bicritério para o planejamento da operação energética
Autor(res):Alberto Sergio Kligerman
2009
115 Heurísticas para o problema de k-cobertura de conjuntos
Autor(res):Luciana de Souza Pessôa
2009
116 Otimização de Potência em Redes Ad Hoc Sem Fio sob Restrições de k-Conexidade
Autor(res):Renato Elias Nunes de Moraes
2009
117 Otimização de Potência em Redes Ad Hoc Sem Fio sob Restrições de k-Conexidade
Autor(res):Renato Elias Nunes de Moraes
2009
118 Otimização de Potência em Redes Ad Hoc Sem Fio sob Restrições de k-Conexidade
Autor(res):Renato Elias Nunes de Moraes
2009
119 Otimização de Potência em Redes Ad Hoc Sem Fio sob Restrições de k-Conexidade
Autor(res):Renato Elias Nunes de Moraes
2009
120 On Paths and Trails in Edge - Colored Graphs and Digraphs
Autor(res):Adria Ramos de Lyra
2009
121 Paralelização da Resolução de EDPs pelo Método Hopscotch utilizando refinamento adaptativo e balanceamento dinâmico de carga
Autor(res):Mauricio José Machado Guedes
2009
122 Energy Efficient Web Server Clusters with Stochastic QoS Control
Autor(res):Luciano Bertini
2009
123 Graph-based adaptive simplicial-mesh refinement for finite volume discretizations
Autor(res):Sanderson Lincohn Gonzaga de Oliveira
2009
124 Algoritmo Dual Ascent Distribuído Aplicado ao Problema de Steiner em Grafos
Autor(res):Marcelo Costa Pinto e Santos
2008
125 Um Modelo Alternativo para Execução Eficiente de Aplicações Paralelas MPI nas Grades Computacionais
Autor(res):Alexandre da Costa Sena
2008
126 Conhecimento do Mundo como Instrumento Enriquecedor dos Resultados obtidos na Mineração de Dados
Autor(res):Inhaúma Neves Ferraz
2008
127 Escalonamento Dinâmico para Aplicações Autonômicas MPI em Grades Computacionais
Autor(res):Aline de Paula Nascimento
2008
128 Um Método para Mensurar o Grau de Maturidade na Tomada de Decisão E-Democrática
Autor(res):Cristiano Maciel
2008
129 E-cidadão:Interagindo com instituições governamentais virtuais
Autor(res):José Luiz Thomaselli Nogueira
2008
130 Classificação Probabilística baseada em Análise de Padrões
Autor(res):Luiz Henrique de Campos Merschmann
2007
131 Formulações e Algoritmos para o Problema de Programação de Horários em Escolas
Autor(res):Haroldo Gambini Santos
2007
132 Depuração de Parâmetros de Redes Elétricas via Estimação de Estado e Algoritmos Genéticos
Autor(res):Edwin Benito Mitacc Mezz
2006
133 Shape from shading: Novas abordagens a partir de movimento e de foco
Autor(res):João Luiz Fernandes
2006
134 Segmentação por Textura em Imagens Multibandas
Autor(res):Éldman de Oliveira Nunes
2006
# Título Ano Abstract Trabalho
1 Problema da Árvore Geradora de Representação Mínima
Autor(res):Elio David Zaldivar Linares
2018
2 Problema de Roteamento de Veículos Voltado para Redução de Emissões de Carbono
Autor(res):Marcos Raylan Sousa Matos
2018
3 Improving a State-of-the-Art Heuristic for the Minimum Latency Problem with Data Mining
Autor(res):Ítalo Gomes Santana
2018
4 Desenvolvimento e Comparacao de Metodos para Geracao de Series Temporais para Imagens Termicas da Tireoide
Autor(res):Wilian Geovani Fiirst
2018
5 Identificação de Padrões de Deslocamento em Dados de Trajetórias de Táxis
Autor(res):Rhodrigo da Venda Santana
2018
6 Algoritmo Quântico para Encontrar a Moda Estatística
Autor(res):João Miguel Barbosa Brandão
2018
7 Alocação Otimizada de Unidades de Medição Fasorial em Redes Elétricas para a Depuração de Erros nos Dados
Autor(res):Breno Crespo Zeba
2018
8 Stalker: Uma Nova Estratégia para o Atacante Egoísta em Blockchains
Autor(res):Emanuel Ferreira Jesus
2018
9 Metaheurísticas para o Problema da Árvore Geradora Mínima Generalizado com Coleta de Prêmios
Autor(res):Ruslán Guerra Marzo
2018
10 Um Método Semiautomático para Contagem de Neurofibromas de Pele em Imagens de Neurofibromatose Tipo 1
Autor(res):Yanexis Pupo Toledo
2018
11 Reduzindo a Latência de Comunicação em Múltiplos Saltos dos Mecanismos de Duty Cycle Assíncronos Baseados em Escalonamento através de Sincronização de Baixa Resolução
Autor(res):André Ricardo de Carvalho Saraiva
2017
12 Tolerância a Falhas Em Workflows Científicos Executados em Nuvens Computacionais
Autor(res):Leonardo Araújo de Jesus
2017
13 Uma Abordagem Adaptavel para Busca de Datasets para Interligacao de Entidades
Autor(res):Angelo Batista Neves Junior
2017
14 Analyzing and Estimating the Performance of Concurrent Kernels Execution in GPUs
Autor(res):Rommel Anatoli Quintanilla Cruz
2017
15 Estimando Informações de Linhas de Ônibus a partir de Dados Históricos de GPS
Autor(res):Daniel Padilha Torquato Dantas
2017
16 Redução da Variabilidade das Métricas de Roteamento para Redes em Malha sem Fio
Autor(res):Bruno dos Santos Silva
2017
17 Avaliação da Qualidade e Interpretabilidade de Visualizações de Dados
Autor(res):Raissa dos Santos Barcellos
2017
18 Um Estudo de Técnicas de Regressão para Previsão Eficiente de Consumo de Energia
Autor(res):Leonardo Pio Vasconcelos
2017
19 Um Estudo sobre a Possibilidade do Uso de Imagens Infravermelhas na Análise de Nódulos de Tireóide
Autor(res):José Ramón González Montero
2017
20 Estimativa de Probabilidade de Colisão em Redes Sem Fio
Autor(res):Rodolfo Pires Bulhões
2017
21 Novos Algoritmos para o Problema do Corte Global de Coloração Mínima
Autor(res):Augusto Cesar Bordini Braga
2017
22 Acessibilidade em Exames Digitais para Deficientes Visuais
Autor(res):Hedi Carlos Minin
2017
23 An Exact Algorithm for the Maximum Quasi-Clique Problem
Autor(res):José Angel Riveaux Merino
2017
24 Investigando o Impacto de Estilos de Aprendizado em Equipes de Inspeção de Projeto de Software
Autor(res):Gisele Domingos Alves Carneiro
2017
25 Guidelines For Preventing Requirements Engineering Problems
Autor(res):Priscilla Mafra de Carvalho Marques
2017
26 Um Modelo de Previsão de Resultado de Eleições Baseado em Comentários, Likes e Dislikes em Mídias Sociais de Conteúdo Editorial
Autor(res):William Wanderley da Silva
2017
27 SciAgile: Uma Abordagem Ágil em Processos de Experimentação Científica
Autor(res):Augusto Consulmagnos Romeiro
2017
28 Roteamento em Redes Orientadas a Conteúdo
Autor(res):Ian Vilar Bastos
2017
29 Abordagens para Resolução do Problema do Caixeiro Alugador
Autor(res):Sávio Soares Dias
2017
30 Peek: Classificação de Movimento Utilizando Dados Esparsos de Membros Superiores em Redes com LSTM
Autor(res):Rafael Rego Drumond
2017
31 Escalonamento de Tarefas e Alocação de Arquivos de Dados de Workflows Científicos em Nuvens Computacionais
Autor(res):Luan Teylo Gouveia Lima
2017
32 An Iterative Parallel Algorithm for Computing Geodesic Distances on Triangular Meshes
Autor(res):Luciano Arnaldo Romero Calla
2017
33 Dictionary Learning-based Inpainting on Triangular Meshes
Autor(res):Lizeth Joseline Fuentes Perez
2017
34 An Infrastructure for Bus Data Analyses Applied to the Rio de Janeiro City
Autor(res):Bruno de Pinho Schettino
2016
35 Efficient Seeding Strategies for Budgeted Influence Maximization in Complex Networks
Autor(res):Ronald Chiesse de Souza
2016
36 Mineração de Opiniões: Um Classificador Ternário ou Dois Binários?
Autor(res):Carlos Augusto Fernandes Filho
2016
37 Estratégias de Comunicação da Reputação dos Usuários Produtores de Conteúdos Digitais em Aplicativos Baseados em Crowdsourcing
Autor(res):Orlando Pereira Afonso Junior
2016
38 Identificando Conflitos Normativos Indiretos em Sistemas Multi-Agentes com Base na WordNet
Autor(res):Jéssica Soares dos Santos
2016
39 Um Controle Virtual Dinâmico para Jogos Adaptado ao Gameplay e ao Usuário
Autor(res):Mateus Pelegrino Peixoto
2016
40 Ordenação da Submissão de Kernels Concorrentes para Maximizar a Utilização dos Recursos da GPU
Autor(res):Bernardo Breder
2016
41 Análise de Clusters com Restrições de Contiguidade Espacial
Autor(res):Leandro Botelho Alves de Miranda
2016
42 Seleção Dinâmica de Foco para Ambientes de Primeira Pessoa com Visor de Realidade Virtual
Autor(res):Thiago Malheiros Porcino
2016
43 Tradução de Consultas XPath para Predicados Prolog
Autor(res):Leonardo Cesar Machado
2016
44 D-KHT: Detecção em Tempo Real de Planos em Imagens de Profundidade
Autor(res):Eduardo Vera Sousa
2016
45 Um Estudo Sobre a Fragmentação Virtual Simples e o Impacto do Número de Fragmentos na Execução Distribuída de Consultas Xquery
Autor(res):Gabriel Piton Tessarolli
2016
46 Simulação do Escoamento de Fluidos Bifásicos em Meios Porosos Utilizando SPH
Autor(res):Yan Ramos da Silva
2016
47 Escalonamento Dinâmico, Distribuído e Colaborativo de Aplicações Paralelas e Autônomas com Prazos
Autor(res):Fabricio Jorge Barboza de Oliveira
2016
48 Estimação de Normais em Nuvens de Pontos para Reconstrução de Superfícies 3D com Funções de Base Radial
Autor(res):Rafael Maricato Musmanno
2016
49 Confiança na Nuvem a partir da Construção de Sec-SLA nos Diversos Modelos quanto à Implantação e Serviço
Autor(res):Kátia Cristina Altomare Silva
2016
50 Model and Solution for the Data Aggregator Positioning Problem in Smart Grids
Autor(res):Guilherme Rolim e Souza
2016
51 STEVE - Editor Gráfico da Visão Espaço-Temporal para Autoria de Documentos Hipermídia
Autor(res):Douglas Paulo de Mattos
2016
52 Uma Implementação de Mobilidade de Dispositivos em OpenFlow
Autor(res):Gabriel Almeida de Oliveira
2016
53 Um Estudo sobre o Uso da Teoria da Estrutura Retórica (RST) para Sumarizar a Sabedoria da Coletividade
Autor(res):Ana Karoline Queiroz Romeiro
2016
54 FTSP+: Uma Abordagem Independente de Hardware para Sincronização em Redes de Sensores sem Fio
Autor(res):Heder Dorneles Soares
2016
55 Uma Abordagem para Identificação de Problemas em Discussões Estruturadas por Mapas Argumentativos
Autor(res):Bruno Vieira Guerra Alves
2016
56 Classificação Multiclasse de Textos Baseada em Divisões Binárias Adaptadas ao Domínio
Autor(res):Alexandre de Castro Lunardi
2016
57 Contextualização Espacial para Mineração de Itemsets Raros ou Frequentes Não-Redundantes em Bases de Dados
Autor(res):Altobelli de Brito Mantuan
2016
58 Detecção e Descrição de Características Visuais Invariantes a Transformações de Similaridade, Afins e Projetivas
Autor(res):Raphael dos Santos Evangelista
2016
59 Sobre Deadlocks e sua Resolução: dos Modelos de Grafos de Espera à Complexidade Computacional
Autor(res):Alan Diêgo Aurélio Carneiro
2016
60 Um Modelo de Fusão de Informação e Dados de Sensores Baseado no Modelo JDL para Assistência Não Intrusiva a Idosos em Ambientes Outdoors
Autor(res):Javier Jiménez Alemán
2016
61 Uma Abordagem Hierárquica para Escalonamento de Atividades de Workflows Científicos Executados em Nuvens de Computadores
Autor(res):Igor Barreto Rodrigues
2016
62 Estudo Investigativo sobre Idosos e suas Motivações Relacionadas a Jogos Digitais
Autor(res):Gleice Ramos Souza
2015
63 Soluções Eficientes para o Problema de Correlação de Clusters
Autor(res):Mário Costa Levorato Júnior
2015
64 Improving Application Throughput by Exploiting Vertical Memory Elasticity in Virtualized Environments
Autor(res):Roberto Kendy Sawamura
2015
65 Heurísticas Híbridas com Mineração de Dados para o Problema de Roteamento de Veículos com Frota Heterogênea
Autor(res):Marcelo Rodrigues de Holanda Maia
2015
66 Um Estudo sobre Degradação Arquitetural através da Análise do Ciclo de Vida de Anomalias
Autor(res):Wallace da Silva Ribeiro
2015
67 Spielzyklus: Identificando Padrões de Ciclos em Dados de Proveniência Extraídos de Forma não Intrusiva
Autor(res):Lidson Barbosa Jacob
2015
68 Evaluating the Vertical Code Completion Approach
Autor(res):Luiz Laerte Nunes da Silva Junior
2015
69 Poluição de Cache em Redes Orientadas a Conteúdo Sem-Fio
Autor(res):Elise García Cieza
2015
70 Framework para Construção de Sistemas de Monitoramento Baseado em Redes de Sensores
Autor(res):Felipe Ralph da Costa Santos
2015
71 A Comparative Study of Scalable Implementations of the Alternating Least Squares Algorithm for Collaborative Filtering Recommendation
Autor(res):Dânia Naomi Osato Meira
2015
72 Arquitetura de Referência para Integração de Sistemas Médicos
Autor(res):Tácio Silva Diogo
2015
73 Análise de Discrepâncias em Séries Temporais com o Uso do DBSCAN e da STGT
Autor(res):Antonio Augusto Corrêa Junior
2015
74 Incorporação de Métodos Exatos a uma Heurística para o Problema de Síntese de Redes a 2-Caminhos
Autor(res):Francisco Glaubos Nunes Clímaco
2015
75 Prolog Versus Xquery Processors: a Performance Evaluation of XML Queries Processing Methods
Autor(res):Fábio Gomes dos Santos
2015
76 Mineração de Fluxo Contínuo de Dados para a Identificação de Traços de Ansiedade em Sinais de ECG
Autor(res):Welton Luiz de Oliveira Barbosa
2015
77 Avaliação de um Protocolo de Gerenciamento de Chaves Criptográficas para Redes Elétricas Inteligentes Residenciais
Autor(res):Paulo Rogério de Souza e Silva Filho
2015
78 Awareness over Distributed Version Control Systems
Autor(res):Cristiano Machado Cesário
2015
79 Handover in Ambient Assisted Living
Autor(res):João Elias Brasil Bentes Junior
2015
80 Um Mecanismo para Verificação de Conflitos Normativos Indiretos
Autor(res):Jean de Oliveira Zahn
2015
81 Um Controle para Jogos Adaptado ao Comportamento do Usuário
Autor(res):Leonardo Gomes Torok
2015
82 Automated Segmentation of Epicardial and Mediastinal Fats Using Intersubject Registration and Classification Algorithms
Autor(res):Érick Oliveira Rodrigues
2015
83 Uma Abordagem para Avaliar Problemas de Interação em Jogos para Crianças com Síndrome de Down
Autor(res):Isys de Macedo Marques Ribeiro
2015
84 GPU HistoPyramid Based Fluid Simulation and Rendering
Autor(res):João Vicente Pires dos Reis Filho
2014
85 Simulação de Fluido em Multiresolução
Autor(res):Leonardo Ferreira Cardoso
2014
86 Seleção Dinâmica de Gateway para Redes Elétricas Inteligentes
Autor(res):Victor Hugo Okabayashi
2014
87 Método para Distribuição Não Uniforme de Raios em Arquitetura Paralela de Traçado de Raios em Tempo Real na GPU
Autor(res):Felipe Pedrosa Martinez
2014
88 Algoritmos para uma Variante do Problema da Árvore Geradora Mínima Generalizado com Prêmios nos Vértices
Autor(res):Emanuella Toledo Lopes
2014
89 Classificação Multirrótulo em Cadeia: Novas Abordagens
Autor(res):Pablo Nascimento da Silva
2014
90 Managing Implicit Data Provenance in Scientific Experiments
Autor(res):Vitor Carvalho Neves
2014
91 Uma Estratégia Estatística e Evolutiva para Mineração de Opiniões em Tweets
Autor(res):Jonnathan dos Santos Carvalho
2014
92 Mapeamento de Inconsistências na Plataforma Lattes
Autor(res):Ivison da Costa Rubim
2014
93 Um Framework para Difusão Eficiente de Interesses em Redes Veiculares Orientadas a Conteúdo
Autor(res):Adriano Antunes Prates
2014
94 Uma Heurística Híbrida Baseada em Iterated Local Search para o Problema de Estoque e Roteamento de Veículos
Autor(res):Edcarllos Gonçalves dos Santos
2014
95 Métodos Computacionais para a Estimativa dos Coeficientes Elásticos a Partir de Imagens Tomográficas de Amostras de Rochas
Autor(res):Francisco José Benavides Murillo
2014
96 Detecção e Análise do Impacto de Streamers em Redes BitTorrent
Autor(res):Daniel Vasconcelos Corrêa da Silva
2014
97 Um Modelo de Handoff Médico com Apoio ao Sensemaking para Centros de Terapia Intensiva
Autor(res):Jivago Medeiros Ribeiro
2014
98 Abordagens Exatas e Heurísticas para o Problema da Coloração Robusta
Autor(res):Victor Miranda Rangel Silva
2014
99 Uma Análise de Desempenho de Redes Orientadas a Conteúdo Sem-Fio
Autor(res):Gabriel Marçal de Brito
2014
100 Metaheurística Aplicada ao Problema de Recobrimento de Rotas com Coleta de Prêmios
Autor(res):Rogério da Silva
2014
101 Implementações Eficientes para Problemas de Caminhos e Ciclos em Grafos com Arestas Coloridas
Autor(res):Rogério da Silva Batista
2014
102 Monitoramento Térmico Responsivo para Centros de Processamento de Dados
Autor(res):Giulio Dariano Bottari
2014
103 Protocolo de Roteamento Baseado em ID para Redes Sem Fio em Malha com Topologia Linear
Autor(res):Bruno Barros de Siqueira
2014
104 Uma Proposta para a Interpretação de Contexto em Ambientes Inteligentes
Autor(res):Matheus de Sá Erthal
2014
105 Uma Abordagem para Auxiliar Agentes de Software a Escolherem seus Parceiros
Autor(res):Elane Cristina da Rocha Cardoso Saraiva
2014
106 ALGORITMO NON-DELAYED RELAX-AND-CUT PARA O PROBLEMA DO CICLO DE STEINER
Autor(res):HUGO DE OLIVEIRA BARBALHO
2014
107 Aplicação de NPC Afetivo em Jogos de Simulação
Autor(res):Rainier Augusto Ferreira Sales
2014
108 Uma Nova Abordagem Híbrida do Algoritmo de Otimização por Enxame de Partículas com Busca Local Iterada para o Problema de Clusterização de Dados
Autor(res):Osires Pires Coelho Filho
2013
109 Dynamic per Object Ray Caching Textures for Ray Tracing
Autor(res):Christian Frantz Ruff
2013
110 Comunicação Orientada a Interesse em um Contexto de Computação Ubíqua e Pervasiva
Autor(res):André Ribeiro Coelho
2013
111 Uma Interface para Prototipagem e Gerenciamento de Aplicações Pervasivas
Autor(res):David Barreto Ferreira
2013
112 Rede Social para Pacientes com Problemas Cardíacos e Sistemas de Recomendação entre Pacientes
Autor(res):Edhelmira Lima Medina
2013
113 M3x3-Obstrução Minimal de Cografos
Autor(res):Cláutenis Carvalho Viana
2013
114 Modelagem de Ataque de Negação de Serviço nas
Autor(res):FLÁVIO DE QUEIROZ GUIMARÃES
2013
115 3-Coloração em Grafos Cordais e Grafos P4-esparso
Autor(res):Gláucio Cipriano Leite
2013
116 Caracterização dos Cografos-(4,0) por Subgrafos Proibidos com Restrições Externas
Autor(res):Jeanne de Souza Silva Leite
2013
117 Obstruções Minimais de Grafos-(2, 1)
Autor(res):Jefferson de Sousa Silva
2013
118 Real Time Pixel Art Remasterization on GPUs
Autor(res):Marco Aurélio Gonçalves da Silva
2013
119 Um Framework de Desenvolvimento de Aplicações Ubíquas em Ambientes Inteligentes
Autor(res):Douglas Faria Moreira Mareli
2013
120 Mecanismos de Custódia Compartilhada em Redes Tolerantes a Atrasos e Desconexões
Autor(res):Ely da Silva Miranda
2013
121 JNS e NCL4WEB: Auxiliando o Desenvolvimento e Divulgação de Documentos NCL
Autor(res):Esdras Caleb Oliveira Silva
2013
122 DESENVOLVIMENTO DE UM BANCO DE DADOS DE IMAGENS MÉDICAS ACESSÍVEIS VIA WEB COM RECUPERAÇÃO DE DADOS BASEADA NO CONTEÚDO
Autor(res):GIOMAR OLIVER SEQUEIROS OLIVERA
2013
123 Sistema para Monitoramento Termoenergético de CPDs
Autor(res):Gustavo Zanatta Bruno
2013
124 Peixe-Dipnoico: Um Framework para Predição de Medidas Estruturais de Software em Séries Temporais
Autor(res):Heron de Souza Marques
2013
125 Verificação Probabilística de Assinaturas para a Mitigação de Ataques de Poluição em Redes Centradas em Conteúdo
Autor(res):Igor Cesar Gonzalez Ribeiro
2013
126 Metaheurística Híbrida com Mineração de Dados: Explorando uma Nova Categoria de Problemas
Autor(res):Marcos Antonio Guerine Ribeiro
2013
127 Provenance in Games
Autor(res):Troy Costa Kohwalter
2013
128 Segmentação de imagens de arte rupestre utilizando o sistema de Coordenadas Estelares
Autor(res):Francisco Gerson Amorim de Meneses
2013
129 Avaliação de redes sem fio com rádios full duplex
Autor(res):Luiz Felipe Silva Oliveira
2013
130 Transversais-Clique de Ciclos em Grafos de Distância Hereditária
Autor(res):Simone Costa de Souza Espósito
2013
131 UM MÉTODO PARA RECONSTRUÇÃO DE OBJETOS 3D COMBINANDO COLORAÇÃO DE VOXELS E ESTRUTURA BASEADA EM MOVIMENTO
Autor(res):WILLIAN JEFFERSON FREITAS DA SIVA
2013
132 GERÊNCIA DE CONFIGURAÇÃO EM TEMPO DE EXECUÇÃO PARA SISTEMAS AUTOADAPTÁVEIS
Autor(res):DANIEL HERÁCLIO OLSEN MAIA DO CARMO
2013
133 Uma Arquitetura Paralela Baseada em GPUs para Jogos e Simulaçoes em Tempo Real para Sistemas Multiagentes
Autor(res):Luiz Guilherme Oliveira dos Santos
2013
134 Heurísticas para o Problema de Quasi-Clique de Cardinalidade Máxima
Autor(res):André Barros Chagas de Oliveira
2013
135 OSCAR-PBS: NOVAS FUNCIONALIDADES PARA UM GERENCIADOR E ESCALONADOR DE JOBS PARA CLUSTERS
Autor(res):CARLOS EDUARDO CABRAL DA CUNHA
2013
136 Detecção Precisa de Diferenças Relacionadas a Refatorações
Autor(res):Fernanda Floriano Silva
2013
137 Particionando Grafos de Distância Hereditária em Conjuntos Independentes e Cliques
Autor(res):João Vinicius Correa Thompson
2013
138 Algoritmos Aproximados para o Problema do Grafo Mediano Generalizado
Autor(res):Leonardo Maricato Musmanno
2013
139 Uma Heurística Baseada em Iterated Local Search para o Problema de Roteamento de Veículos com Entregas Fracionárias
Autor(res):Marcos de Melo da Silva
2013
140 Uma Arquitetura Para Agentes Emocionais BDI
Autor(res):Marcos Vinicius Policarpo Côrtes
2013
141 VARIABILIDADE DE ÍNDICES DE CONFIABILIDADE DE SISTEMAS DE POTÊNCIA
Autor(res):Juliana Alves do Sacramento
2012
142 Método de diferenças finitas para a equação da onda acústica utilizando passos de tempos ajustados localmente
Autor(res):ALEXANDRE JOSÉ MIRANDA ANTUNES
2012
143 Automatic Alignment and Reconstruction of Facial Depth Images
Autor(res):Giancarlo Vasconcelos Taveira do Nascimento
2012
144 EXTRAÇÃO AUTOMÁTICA DA REGIÃO DE INTERESSE EM IMAGENS TÉRMICAS LATERAIS DA MAMA
Autor(res):JOÃO PAULO SCORALICK DE OLIVEIRA
2012
145 Otimização da alocação da capacidade de armazenamento em redes de distribuição de conteúdos
Autor(res):Felipe Uderman
2012
146 SEGMENTAÇÃO AUTOMÁTICA DAS MAMAS EM IMAGENS TÉRMICAS
Autor(res):RAFAEL DE SOUZA MARQUES
2012
147 PORT - PERSISTÊNCIA DE TABELAS DE ROTEAMENTO EM REDES EM MALHA SEM FIO COM CICLOS DE OPERAÇÃO
Autor(res):RAFAEL LADISLAU ALVES
2012
148 UMA TÉCNICA BASEADA EM IMAGENS PARA CORREÇÃO DA POSTURA DE PACIENTES NA AQUISIÇÃO DE TERMOGRAFIAS
Autor(res):DENIVAL ARAUJO DOS SANTOS
2012
149 NOVAS ESTRATÉGIAS PARA CLASSIFICAÇÃO HIERÁRQUICA LOCAL POR NÍVEL
Autor(res):BRUNO CORDEIRO PAES
2012
150 EXTRAÇÃO DE MALHAS POLIGONAIS A PARTIR DE MODELOS VOLUMÉTRICOS CRIADOS POR ARTISTAS
Autor(res):CARLOS EDUARDO VAISMAN MUNIZ
2012
151 Uma proposta de Arquitetura extensível para mapas dinâmicos de deslocamento na GPU para jogos digitais
Autor(res):FÁBIO CORATO DE ANDRADE
2012
152 UMA FERRAMENTA PARA MODELAGEM DE FORMAS 3D A PARTIR DE DESENHOS À MÃO LIVRE USANDO SUPERFÍCIES DE CONVOLUÇÃO
Autor(res):MARCOS DOS SANTOS RAMOS JÚNIOR
2012
153 Abordagens Exata e Heurística Para o Problema de Edição Não Automática de Clusters
Autor(res):MARIO HENRIQUE DE PAIVA PERCHE
2012
154 Políticas de Encaminhamento de Mensagens e de Gerenciamento de Buffer para Redes Tolerantes a Atrasos e Desconexões
Autor(res):JULIANO FISCHER NAVES
2012
155 Uma Heurística para o Problema de Roteamento de Veículos com Múltiplas Viagens
Autor(res):DANIEL MARTINS DA SILVA
2012
156 AVALIAÇÃO DO ESFORÇO DE JUNÇÃO DE RAMOS EM SISTEMAS DE CONTROLE DE VERSÃO
Autor(res):RAFAEL DE SOUZA SANTOS
2012
157 A-Cidadão Mobile: Uma proposta de acessibilidade para o uso dos serviços governamentais
Autor(res):Flávio Dumortout de Mendonça Júnior
2012
158 NEXT – Editor Gráfico para Programas NCL com Suporte a Templates
Autor(res):Júlia Varanda da Silva
2012
159 UM MÉTODO PARA MODELAGEM DE AMBIENTES E-PARTICIPATIVOS BASEADO EM ONTOLOGIA
Autor(res):CLEYTON SLAVIERO
2012
160 Contribuições para o Problema de Formação de Células de Manufatura
Autor(res):IVAN CÉSAR MARTINS
2012
161 Método Exato para Biclusterização por Edição de Arestas e Aplicação em Formação de Células de Manufatura
Autor(res):RIAN GABRIEL SANTOS PINHEIRO
2012
162 Pela lente do CFS: Um olhar sobre o escalonador do Linux
Autor(res):ANTONIO ADÍLSON FERREIRA
2012
163 OSTRA: UM ESTUDO DO HISTÓRICO DA QUALIDADE DO SOFTWARE ATRAVÉS DE REGRAS DE ASSOCIAÇÃO DE MÉTRICAS
Autor(res):DANIEL DRUMOND CASTELLANI RIBEIRO
2012
164 UMA ARQUITETURA DE PIPELINE HÍBRIDA PARA RASTERIZAÇÃO E TRAÇADO DE RAIOS EM TEMPO REAL
Autor(res):THALES LUIS RODRIGUES SABINO
2012
165 Predição de interações proteína-proteína através de cobertura de conjuntos utilizando uma metaheurística GRASP
Autor(res):Alvaro Sergio Di Lauro Pedreira
2012
166 AMBIENTE DE SOFTWARE PARA ELABORAÇÃO E GERENCIAMENTO DE MODELOS DE PROGRAMAÇÃO LINEAR E INTEIRA
Autor(res):FERNANDO LOURENÇO PINHO COSTA
2012
167 Planejamento com Simulação de Percepções e Geração de Ruídos Dinâmicos para Storytelling Emergente
Autor(res):David Batista Carvalho
2012
168 Multimedia and hypermedia document validation and verification using a model-driven approach
Autor(res):Joel Andre Ferreira dos Santos
2012
169 Um algoritmo baseado em Iterated Local Search para o Problema de Roteamento de Veículos Periódico
Autor(res):PABLO LUIZ ARAUJO MUNHOZ
2012
170 Um framework para a criação e gerenciamento de estruturas de dados para representação de proteínas
Autor(res):ISRAEL CALHEIROS GRÜNEVALD
2012
171 Seleção de gateways em redes em malha sem fio
Autor(res):Clayton Reis da Silva
2012
172 Usando Diferenças Finitas e Equação de Onda em uma Abordagem em GPU para Áudio em Games
Autor(res):BRUNO DA COSTA MOREIRA
2012
173 SIMULADOR COMPUTACIONAL PARA VALIDAÇÃO DE DADOS EM SUBESTAÇÕES DE REDES ELÉTRICAS
Autor(res):ERIC ZANGHI
2011
174 Metodologia com base em Algoritmos Genéticos para Análise de Solicitações de Desligamentos em Redes Elétricas
Autor(res):RAINER ZANGHI
2011
175 Planejamento de Redes em Malha Sem Fio Lineares
Autor(res):Felipe Rolim e Souza
2011
176 Construção e modificação de imagens 2D iluminadas por mapas de normais reconstruídos em tempo de interação
Autor(res):Micheli K nechtel Lessa
2011
177 APLICAÇÕES DE CONTRATOS DE TRANSFORMAÇÃO
Autor(res):ROBERTO WEIDMANN MENEZES
2011
178 CONJUNÇÃO DE MEDIDAS CONVENCIONAIS E FASORIAIS PARA PROCESSAMENTO DE ERROS GROSSEIROS NA ESTIMAÇÃO DE ESTADO EM SISTEMAS DE POTÊNCIA
Autor(res):MARCIO ANDRE RIBEIRO GUIMARAENS
2011
179 Tolerância a Falhas em uma Aplicação de Processamento Sísmico para Clusters Multicore
Autor(res):Matheus Bersot Siqueira Barros
2011
180 Experimentation with virtual machine migration and replication mechanisms
Autor(res):CARLOS ROBERTO DE OLIVEIRA JUNIOR
2011
181 CORREÇÃO DE PARÂMETROS DE REDES ELÉTRICAS UTILIZANDO METAHEURÍSTICAS
Autor(res):ANDRE ABEL AUGUSTO
2011
182 RUMO AO REJUVENESCIMENTO AUTOMÁTICO DE SOFTWARE GUIADO POR ATRIBUTOS DE QUALIDADE
Autor(res):Heliomar Kann da Rocha Santos
2011
183 Ouriço: Uma Abordagem para Manutenção da Consistência em Repositórios de Gerência de Configuração
Autor(res):Gleiph Ghiotto Lima de Menezes
2011
184 IMPLEMENTAÇÃO DO RAY TRACING ACELERADO POR UMA OCTREE EM GPU
Autor(res):Diego Cordeiro Barboza
2011
185 Algoritmos Distribuídos para o Problema de Atribuição de Clientes a Servidores em Redes de Distribuição de Conteúdos
Autor(res):Rafaelli de Carvalho Coutinho
2011
186 Posicionamento de Réplicas em Redes de Distribuição de Conteúdos
Autor(res):Ubiratam Carvalho de Paula Junior
2011
187 Análise de Protocolos de Roteamento em Redes Tolerantes a Atraso e Desconexões
Autor(res):EDELBERTO FRANCO SILVA
2011
188 Contribuições para o Problema de Roteamento de Veículos de Rota Única com Entregas Obrigatórias e Coletas Seletivas
Autor(res):IGOR MACHADO COELHO
2011
189 Um algoritmo híbrido para o problema de roteamento de veículos com janelas de tempo
Autor(res):Sabir Ribas
2011
190 SLMEETINGROOM:UM MODELO DE AMBIENTE PARA SUPORTE A REUNIÕES REMOTAS, ORIENTADAS A TAREFAS, COM GRUPOS PEQUENOS PARA O SECOND LIFE
Autor(res):CINTIA RAMALHO CAETANO DA SILVA
2011
191 Escalonamento de Cargas Divisiveis em Clusters Computacionais
Autor(res):Thiago Magalhaes de Brito Rodrigues
2011
192 MODELING AND VALIDATING NORMS IN MULTI-AGENT SYSTEMS
Autor(res):Karen da Silva Figueiredo
2011
193 Simulacao de emocoes em faces humanas utilizando os algoritmos de bump mapping e morphing implementados em GPU
Autor(res):Monica de Lourdes Souza Batista
2011
194 Tratamento Computacional da Topologia de Grandes Redes Elétricas
Autor(res):Daniel Stevens Torres Cárdenas
2011
195 Análise de Imagens Térmicas da Mama usando Descritores de Textura
Autor(res):Roger Resmini
2011
196 Uma abordagem baseada em contratos de transformação para segurança dirigida a modelos
Autor(res):Thiago Nascimento Comicio
2011
197 Esteganografia em Imagens usando Heurísticas para Matriz de Substituição
Autor(res):Marcus Vinicius da Motta Vieira
2010
198 Métodos Computacionais para o Cálculo de Estruturas de Proteínas: Aproximando o Problema Molecular de Geometria de Distâncias de Dados de Ressonância Magnética Nuclear
Autor(res):Pedro Costa Nucci
2010
199 GPU Multilevel Narrow Banded Graph Cuts for Image and Video Segmentation
Autor(res):Lucas Grassano Lattari
2010
200 Obtenção automática da região de interesse em termogramas frontais da mama para o auxílio à detecção precoce de doenças
Autor(res):Leonardo Soares Motta
2010
201 UMA ABORDAGEM HEURÍSTICA E PARALELA EM GPUS PARA O PROBLEMA DO CAIXEIRO VIAJANTE
Autor(res):João Gabriel Felipe Machado Gazolla
2010
202 Simulação computacional em tempo real de fluidos utilizando o método SPH em ambiente heterogêneo CPU/GPU
Autor(res):JOSÉ RICARDO DA SILVA JUNIOR
2010
203 Otimização de Atendimentos de Emergência em Redes de Distribuição de Energia Elétrica
Autor(res):Mauro Lúcio Ferreira de Amorim
2010
204 Renderizador Paralelo Eficiente em Grandes Resoluções com Dados não Estruturados em Clusters de Multicore
Autor(res):Bernardo Bulgarelli Labronici
2010
205 Utilização de Pseudomedidas em Benefício da Estimação de Estado em Sistemas de Potência
Autor(res):Waldir de Melo Mota Junior
2010
206 Aplicações Autônomas para Computação em Larga Escala
Autor(res):Fernanda Gonçalves de Oliveira
2010
207 Análise Experimental do Controle de Fluxo de Mensagens na Execução Paralela de Aplicações em Grades Computacionais
Autor(res):ARIEL ALVES DA FONSECA
2010
208 Análise Experimental do Controle de Fluxo de Mensagens na Execução Paralela de Aplicações em Grades Computacionais
Autor(res):ARIEL ALVES DA FONSECA
2010
209 ANÁLISE DA VIABILIDADE DO USO DO COEFICIENTE DE HURST E DA LACUNARIDADE NO AUXÍLIO AO DIAGNÓSTICO PRECOCE DE PATOLOGIAS DA MAMA
Autor(res):Rodrigo Carvalho Serrano
2010
210 Uma Estrutura Baseada em Hash Table para Buscas Otimizadas em Octree em GPU
Autor(res):Daniel Luiz Alves Madeira
2010
211 ALOCAÇÃO ÓTIMA DE BANCOS DE CAPACITORES EM REDES DE DISTRIBUIÇÃO DE ENERGIA ELÉTRICA
Autor(res):Luiz Carlos Menezes Direito
2010
212 Previsão de Carga em Aglomerado de Servidores Web Aplicada a Economia de Energia
Autor(res):CARLOS HENRIQUE SANT' ANA DA SILVA
2010
213 Algoritmos Heurísticos para o Problema de Particionamento de Grafos com Restrições de Capacidade e Conexidade
Autor(res):GUSTAVO SILVA SEMAAN
2010
214 Método de diferenças finitas aplicado à precificação de opções
Autor(res):Edílio Rocha Quintino
2010
215 UMA ONTOLOGIA PARA DESCRIÇÃO DE COMPORTAMENTOS EM REUNIÕES DE DESIGN
Autor(res):ANGELA CRISTINA DO NASCIMENTO GOMES
2009
216 Grid SA: Uma Sociedade Autônoma
Autor(res):HENRIQUE BUENO RODRIGUES
2009
217 Comparando a detecção de poros em impressões digitais nas resoluções de 500 dpi e 1000 dpi.
Autor(res):Luciano Lucas de Oliveira Junior
2009
218 Roteamento em Redes Tolerantes a Atrasos e Desconexões Previsíveis com Restrições de Buffer e Largura de Banda
Autor(res):Gabriel Argolo Matos Rocha
2009
219 m-Participação: Um Modelo para Auxiliar no Aumento da Participação do Cidadão no Processo Decisório Governamental
Autor(res):Thiago CortaT Tavares
2009
220 Avaliação de Desempenho de Geradores Elétricos via Redes Neurais Artificiais
Autor(res):Venilton Rodrigues de Oliveira
2009
221 Uma Abordagem Unificada para Métricas de Roteamento e Adaptação automática de Taxa em redes em Malha sem Fio
Autor(res):Diego Gimenez Passos
2009
222 Um algoritmo Heurístico Híbrido para o Problema de Roteamento de Veículos com coleta e entrega simultânea
Autor(res):Marcio Tadayuki Mine
2009
223 Problema de Recobrimento de Rotas com Coleta de Prêmios
Autor(res):Matheus de Souza Alves Silva
2009
224 Seleção Lazy de Atributos para a Tarefa de Classificação
Autor(res):Rafael Barros Pereira
2009
225 Um estudo investigativo sobre a comunicação em simulações de emergência e evacuação
Autor(res):YURI DA SILVA FERREIRA
2009
226 Algoritmos para problemas de roteamento de veículos com entrega e coleta
Autor(res):Ivan Xavier Araújo de Lima
2009
227 Cálculo de Estruturas Protéicas através da Resolução do Problema Discreto de Geometria das Distâncias em Moléculas
Autor(res):Silas Sallaume
2009
228 Distinção Automática de Texto Impresso e Manuscrito em uma Imagem de Documento
Autor(res):Lincoln Faria da Silva
2009
229 Posicionamento de Câmeras por meio da Simulação Física
Autor(res):Daniel Ribeiro Pires
2009
230 Heurísticas para o Problema Ponderado de Minimização de Efeitos de Carry-Over na Construção de Tabelas de Torneios Round-Robin
Autor(res):Allison da Costa Batista Guedes
2009
231 Geração Procedural de Terrenos através de Extração de Isosuperfícies na GPU
Autor(res):Bruno José Dembogurski
2009
232 Uma Engine em XNA e PROLOG para Apoio ao Ensino de Programação Declarativa
Autor(res):Alex Fernandes da Veiga Machado
2009
233 Um Estudo da Técnica de Decomposição em Árvore na Resolução de problemas Combinatórios
Autor(res):Míriam de Souza Monteiro
2009
234 A Framework for Supporting Dynamic Adaptation of Power-Aware Web Server Clusters
Autor(res):Vinicius Tavares Petrucci
2008
235 Participação Floresta-Clique e Floresta-Estável de Cografos
Autor(res):Synara Pereira de Brito
2008
236 Visualização de vegetação em terrenos utilizando técnicas dependentes da posição do observador
Autor(res):Rafael Moreira Savelli
2008
237 Um método de iluminação global aproximada para ambientes complexos baseado em radiosidade e decomposição célula-portal
Autor(res):Ildenir da Costa Barbosa
2008
238 Uma Proposta de Medida de Relevância de Atributos Multivalorados para Classificação
Autor(res):Mariana Tasca Fontenelle Lôbo
2008
239 Algoritmos Distribuídos para o Problema de Alocação de Múltiplos Recursos em Grids Computacionais
Autor(res):Higor de Pádua Vieira Neto
2008
240 Análise Estática e Dinâmica de Sistemas de Potência via Aplicativo Computacional Integrado:Organon
Autor(res):Simone Bezerra Chaves
2008
241 Um Refinamento h-Adaptativo de Malhas para o Método dos Elementos Finitos utilizando uma Estrutura de Grafo
Autor(res):Diego Nunes Brandão
2008
242 Formulação de Mínimos Quadrados Espaço-Tempo Descontínuo Aplicada à Equação de Transporte
Autor(res):Carolina Cardoso Novo
2008
243 Algoritmos para o Cálculo de Estruturas de Proteínas
Autor(res):Warley Gramacho da Silva
2008
244 Path Relinking and Aes Cryptography in Color Image Steganography
Autor(res):André Luiz Brazil
2008
245 Métodos Semi-analíticos Perturbativos para Trajetória de Projéteis
Autor(res):Luís André Gomes de Abreu
2008
246 Escalabilidade, Gerência e Mobilidade para Redes Mesh de Acesso à Internet
Autor(res):Jairo Lino Duarte
2008
247 Abordagens para escuta legal nas redes de Voz sobre IP
Autor(res):Rogério Ferreira da Cunha
2008
248 Uma Arquitetura de sistemas de Detecção de Intrusão em Redes Ad Hoc sem Fio usando Esteganografia e Mecanismos de Reputação
Autor(res):Eduardo Pagani Julio
2007
249 Uma Arquitetura de Motor de Física para Games 3D com Processamento Híbrido entre CPU e GPU e Distribuição Dinâmica de Carga
Autor(res):Mark Eirik Scortegagna Joselli
2007
250 Aplicativo Computacional para Avaliação de Diferenças nos Dados de Entrada de estudos de Fluxo de Potência
Autor(res):Jones de Queiroz Duarte
2007
251 Topografia da Coerência Espectral dos Potenciais Eletroencefalográficos Relacionados a Eventos Musculares
Autor(res):Nelson Carlos Medeiros de Vasconcellos
2007
252 Proposição de Sistemas-Teste para Análise Computacional de Sistemas de Potência
Autor(res):Waschington Fernandes Alves
2007
253 Protegendo Redes ad hoc com Certificados Digitais e Limite Criptográfico
Autor(res):Wagner Gaspar Brazil
2007
254 Ka-Captcha: An Opportunity for Knowledge Acquisition on the Web
Autor(res):Bruno Norberto da Silva
2007
255 Dispersão de Calor em Meios Porosos Periódicos Indeformáveis Tridimensionais
Autor(res):Augusto Garcia Almeida
2007
256 Modelos de Programação Inteira para o Problema do Torneio com Viagens com Estádios Fixos
Autor(res):Rafael Augusto de Melo
2007
257 Using Fractal Characteristics such as Fractal Dimension, Lacunarity and Succolarity to Characterize Texture patterns on Images
Autor(res):Rafael Heitor Correia de Melo
2007
258 Modelos Microscópicos para Simulação do Tráfego Baseados em Autômatos Celulares
Autor(res):Edgar Barbosa Lima
2007
259 Uma Arquitetura de Distribuição Dinâmica de Tarefas entre CPU e GPU em Jogos Digitais
Autor(res):Marcelo Panaro de Moraes Zamith
2007
260 Suportando a adaptação de aplicações pervasivas pelo uso de funções utilidade
Autor(res):Diego Asth Schenck
2007
261 Algoritmos para o Problema da Árvore Geradora Mínima Generalizado
Autor(res):Cristiane Maria Santos Ferreira
2007
262 Heurísticas com Memória Adaptativa Aplicadas ao Problema de Roteamento e Scheduling de Sondas de Manutenção
Autor(res):Tiago Araújo Neves
2007
263 Um Visualizador para Navegação através de Cenários Tridimensionais baseado em Malhas Adaptativas
Autor(res):Diogo Tavares Robaina
2007
264 Uma Abordagem para a Estereoscopia via Funções de Green de Equações de Casamento
Autor(res):Leonardo Beltrão
2007
265 Proposta e análise de um algoritmo adaptativo de ajuste de taxa de transmissão para sistemas VoIP
Autor(res):Bruno de Azevedo Vianna
2007
266 Avaliação e Implementação de uma variação do protocolo TCP, projetada para redes de alto desempenho, visando à distribuição de objetos multimídia nas unidades de armazenamento do Servidor RIO
Autor(res):Leandro Soares de Sousa
2007
267 Análise de Múltiplas fontes VoIP adaptativas
Autor(res):Nilmax Teones Moura
2007
268 Um Sistema Multiagente para o Planejamento Dinâmico de Caminhos
Autor(res):Marcelo Cardoso Silva
2007
269 Formulação de Mínimos Quadrados para Problemas de Escoamentos Miscíveis
Autor(res):Kennedy Morais Fernandes
2007
270 Heurísticas para o Problema de Escalonamento de projetos com Restrição de Recursos
Autor(res):Celso de Souza Tchao
2007
271 Simulação Visual em Tempo Real de Ondas Oceânicas utilizando a GPU
Autor(res):Alex Vanderlei Salgado
2006
272 Explorando Técnicas de Redução de Base de Dados na Mineração de Padrões Seqüenciais
Autor(res):Ciro Bastos Barbosa
2006
273 MyEasyGridPortal:Uma abordagem para facilitar o acesso a múltiplas grades computacionais usando a tecnologia Portlet
Autor(res):Alexandre Silva Venito
2006
274 Qualidade de Serviço em Redes Mesch
Autor(res):Luciana Esteves Hilario
2006
275 Análise de Informações em Proteínas Homólogas
Autor(res):Ary Henrique Morais de Oliveira
2006
276 Metaheurística Híbrida Grasp-MD:Novas Aplicações e Paralelização
Autor(res):Luis Filipe de Mello Santos
2006
277 Avaliação de Protocolos para Redes de Sensores e Redes AD HOC Aplicados à TV Digital Interativa e Cidades Digitais
Autor(res):Etienne César Ribeiro de Oliveira
2006
278 Heurísticas GRASP para o problema de formação de células de manufatura
Autor(res):Fabrício da Silva Peres
2006
279 Um Suporte para Adaptação Dinâmica de Arquiteturas
Autor(res):André Luiz Gonçalves dos Santos
2006
280 Integração de Serviços de Monitoração e Descoberta de Recursos a um Suporte para Arquiteturas Adaptáveis de Software
Autor(res):Leonardo Xavier Teixeira Cardoso
2006
281 Uma implementação de um sistema adaptativo para comunicação multimídia em redes sem fio infra-estruturadas
Autor(res):Robson Hilario da Silva
2006
282 Heurísticas para Programação de Tabelas de Competições Esportivas e sua Alicação ao Campeonato Nacional de Basquete
Autor(res):Marcus Vinícius de Souza Pavan
2006
283 Um Método de Pós-processamento de Regras de Associação com Base nas Relações de Dependência entre os Atributos
Autor(res):Paula Yamada Bürkle
2006
284 Proposta e Avaliação de uma Arquitetura Escalável para distribuição de TV na Internet
Autor(res):Tiago Silva Proença
2006
285 Reorganização de Objetos Multimídia em Tempo Real quando da Remoção e Inserção de Unidades de Armazenamento do Servidor RIO
Autor(res):Sandoval da Silva Gonçalves
2006
286 Improving Response Time and Energy Efficiency in Server Clusters
Autor(res):Raphael Pereira de Oliveira Guerra
2006
287 Estudo sobre formas de melhoria na identificação de características relevantes em imgens de impressão digital
Autor(res):Flávio Maggessi Viola
2006
288 Implantação da Função de Estimação de Estado em um Sistema de Gerenciamento de Energia
Autor(res):Ronaldo Sérgio Freund
2006
289 Algoritmos para Atualização de àrvores Geradoras Mínimas em Grafos Dinâmicos
Autor(res):Rodrigo Franco Toso
2006
290 Sistema de Animação de Personagens para o Framework Guff
Autor(res):Márcio da Silva Camilo
2006
291 Comunicação Coletiva para Programas MPI em Ambientes Distribuídos Dinâmicos
Autor(res):Viviane Antonia Corrêa Thomé
2006
292 Ferramenta Computacional para Planejamento e Avaliação de Sistemas de Medição para Estimação de Estado
Autor(res):Johnny Edward Villavicencio Tafur
2006
293 Um Método para a geração de estimativas de reputação mais precisas perante a oscilação de comportamento das entidades avaliadas
Autor(res):Alexandre Costa Ferreira Lopes
2006
294 Heurísticas para o Problema de Transmissão Multiponto com Minimização de Energia para redes sensores
Autor(res):Luana Sabatha de Souza Pereira
2006
295 Uma Abordagem de Segmentação de Placas de Automóveis baseada em Morfologia Matemática
Autor(res):Jonh Edson Ribeiro de Carvalho
2006
296 Uma Ferramenta para Visualização e Simulação de Exercícios Navais em Cenários Marítimos Reais
Autor(res):Kátia Alves Arraes
2006
297 Tolerância a Falhas e Economia de Recursos em um Sistema de Mitigação de Sinistros
Autor(res):Marcos Simão Guimarães
2006
298 Uma Nova Modelagem para o Problema de Escalonamento de Tarefas com restrições de Recursos
Autor(res):André Renato Villela da Silva
2006
299 Estratégias de Balanceamento de Carga para um Algoritmo branch-and-bound paralelo para executar em Grids Computacionais
Autor(res):Juliana Mendes Nascente Silva
2006
300 Combinando Imagem e Som para Detecção de Transições em Vídeos Digitais
Autor(res):Marcilene Scantamburlo Fonseca
2006
301 Sinapse: Um Arcabouço para suporte de Aplicações Publish/Subscribe baseado em configuração arquitetural
Autor(res):Paulo Rogério da Motta Júnior
2005
302 Estudos sobre a Visualização de Imagens Médicas obtidas por Exames Virtuais
Autor(res):Denyse Nascimento Barcellos Monteiro
2005
303 Soluções Heurísticas para o Problema de Atribuição de Localidades a Anéis em Redes SONET
Autor(res):Lucas de Oliveira Bastos
2005
304 Análise da Convergência do Método Hopmoc para a Equação de Convecção-Difusão
Autor(res):Simoni Rangel de Freitas Oliveira
2005
305 Identificação Estatística de Regiões Codificadoras de Proteínas em Seqüências de DNA
Autor(res):Renatha Oliva Capua
2005
306 Um Experimento de uso de um Framework de Suporte a Requisitos Não-Funcionais de Qualidade
Autor(res):Glauco Henrique Freitas
2005
307 Incorporando Técnicas de Mineração de Dados à Metaheurística GRASP
Autor(res):Marcos Henrique Fonseca Ribeiro
2005
308 Um Estudo de Caso para Verificar a Suscetibilidade a Incentivos de Avaliadores de produtos na Web
Autor(res):Leandro Neumann Ciuffo
2005
309 Heurísticas para Resolução do Problema de Roteamento com Número Limitado de Caminhos
Autor(res):José Wilson Coura Pinto
2005
310 Detecção de bordas usando a Transformada Imagem-Floresta
Autor(res):Giuliano Prado de Morais Giglio
2005
311 Um Sistema de Gerenciamento de Aplicações MPI para Ambientes Grid
Autor(res):Daniela Quitete de Campos Viana
2005
312 Desenvolvimento e Análise Experimental da Metaheurística GRASP para um Problema de Planejamento de Sondas de Manutenção.
Autor(res):Viviane de Aragão Trindade
2005
313 Heurísticas GRASP para o Problema de Roteamento Periódico de Unidades Móveis de Pistoneio
Autor(res):Luciana Brugiolo Gonçalves
2005
314 Algoritmos para Problemas Reais de Roteamento de Veículos: Uma Análise Comparativa
Autor(res):Filipe Quintieri Lima
2005
315 Extensão do Conceito de Granulometria Mórfica nos Espaços de Cores
Autor(res):Erick Petito Calixto
2005
316 Um Framework de Suporte a Requisitos Não-Funcionais para Serviços de Nível Alto
Autor(res):Alexsandro Mattos Corradi
2005
317 Heurísticas para o problema do Caixeiro Viajante Preto e Branco
Autor(res):André Cordeiro Macedo Maciel
2005
318 Economia de Energia no Escalonamento de Tarefas em Sistemas de Tempo Real
Autor(res):Bruno Alves Novelli
2005
319 Um Algoritmo Branch-and-Bound Distribuído para Solução do Problema de Steiner em Grafos para Execução em Gridas
Autor(res):Alexandre Domingues Gonçalves
2005
320 Algoritmos Aproximados para o Problema do Maior Conjunto Controlado Generalizado
Autor(res):Ivairton Monteiro Santos
2005
321 Heurísticas Busca Tabu para o Problema de programação de Tripulações de Ônibus Urbano
Autor(res):Euler Horta Marinho
2005
322 Uma Implementação de Semântica Operacional Estrutural Modular em Maude
Autor(res):Fabrício Chalub Barbosa
2005
323 Uma Ferramenta Formal para Especificação e Análise de Arquiteturas de Software
Autor(res):Alexandre Rademaker
2005
324 Engenharia de Tráfego e Qualidade de Serviços em Backbones de Alta Velocidade
Autor(res):Ana Elisa Leitão Alonso Ferreira
2005
325 Heurísticas para o Problema de Seqüenciamento da Produção de Carros
Autor(res):Caroline Thennecy de Medeiros Rocha
2005
326 Uma Avaliação da Abordagem MDA através de um Estudo de Caso
Autor(res):Marcio Belo Rodrigues da Silva
2005
327 Guff: Um Sistema para Desenvolvimento de Jogos
Autor(res):Luís Paulo Santos Valente
2005
328 Alocação de pontos de Medição para a Supervisão de Redes de Distribuição de Energia Elétrica
Autor(res):Helder Roberto de Oliveira Rocha
2005
329 Clouseau: Um Modelo para Classificação e Controle de Agentes PessoaisComputacionais
Autor(res):André Vargas Matos da Cunha e Leiradella
2005
330 Investigação do Processo de Stemming na Língua Portuguesa
Autor(res):Reinaldo Viana Álvares
2005
331 Estudo Preliminar de Animação Facial Realista para o Ensino de Deficientes Auditivos
Autor(res):Solange Pessoa Baptista
2005
332 Explorando a Técnica de Indexação de Conjuntos Candidatos na Mineração de Conjuntos Freqüentes
Autor(res):Adriana Bechara Prado
2005
333 Um Framework para Persistência de Objetos em Banco de Dados Relacionais
Autor(res):José Francisco Viana Pinheiro
2005
334 Utilização da Transformada de Hough na Vetorização de Moldes e outras Aplicações
Autor(res):Maysa Malfiza Garcia de Macedo
2005
335 Mineração de Exceções Negativas e Positivas
Autor(res):Eduardo Correa Gonçalves
2004
336 Um Grasp com Reconexão de Caminhos para solução do Problema da Maximização da Diversidade
Autor(res):Marcos Ribeiro Quinet de Andrade
2004
337 Escalonamento Estático de Tarefas em Ambientes Computacionais Heterogêneos sob o Modelo LogP
Autor(res):Deolinda Fontes Cardoso
2004
338 HLOGP: Um Modelo de Escalonamento para a Execução de Aplicações MPI em Grades Computacionais
Autor(res):Helder de Amorim Mendes
2004
339 Arredondamento Randômico e o Problema da Seqüência mais Próxima
Autor(res):Keity Yamamoto
2004
340 Heurísticas Híbridas para Escalonamento Estático de Tarefas em Sistemas com Processadores Heterogêneos
Autor(res):Eyder Franco Sousa Rios
2004
341 Análise de Heurísticas Grasp para o Problema da Diversidade Máxima
Autor(res):Geiza Cristina da Silva
2004
342 Metaheurísticas Aplicadas ao Problema de Formação de Células de Manufatura (PFCM)
Autor(res):Áthila Rocha Trindade
2004
343 Escalonamento de Tarefas em Dois Estágios para Ambientes Heterogêneos
Autor(res):José Viterbo Filho
2004
344 Análise da Informação Mútua em Seqüências de DNA Homólogas
Autor(res):Luciana de Souza Pessôa
2004
345 O Problema de Recobrimento de Rotas com Coleta de Prêmios: Regras de Redução, Formulação Matemática e Heurísticas
Autor(res):Adria Ramos Lyra
2004
346 Uma Proposta de Mapeamento de Máquinas de Estados Abstratas para Lógica de Reescrita
Autor(res):Vinícius Valente Maciel
2004
347 Extra - Economia de Energia e Extensão de Tempo de Vida de Redes Ad Hoc
Autor(res):Rone Ilídio da Silva
2004
348 Desenvolvimento e Análise Experimental da Heurística GRASP para uma Generalização do Problema do Caixeiro Viajante
Autor(res):Maria Cristina Valle Zanetti
2004
349 Metaheurísticas para o Problema de Clusterização Automática
Autor(res):Stênio SàRosário Furtado Soares
2004
350 Algoritmos Evolutivos para o Problema de Clusterização de Grafos Orientados: Desenvolvimento e Análise Experimental
Autor(res):Carlos Rodrigo Dias
2004
351 Um Modelo Matemático para a Epidemia de Tuberculose
Autor(res):Patrícia Dias Gomes
2004
352 Sistema de Integração de Tecnologias de Agregação de Medição: Uma Abordagem Baseada em Modelos
Autor(res):Eduardo Fontana Vieira da Silva
2004
353 Determinação da Influência da Reatividade dos Grupos Sanguíneaos ABO e RH na Etnia Simplificada através da utilização de Redes Neurais Artificiais
Autor(res):Elzenclever Freitas de Aguiar
2004
354 Um Estudo sobre a Influência das Famílias Wavelets na Compressão de Imagem
Autor(res):Marcello Santos da Fonseca
2004
355 Estudo Sobre o Uso de Medições em Redes de Computadores para Análise de Desempenho e Caracterização de Tráfego da Rede Rio
Autor(res):Ana Maria de Carvalho Carreiro
2004
356 Programação Ótima de Desligamentos em Redes de Energia Elétrica Utilizando Algoritmos Genéticos
Autor(res):Marcio Leonardo Ramos Roberto
2004
357 Processamento de Alarmes em Subestações de Energia Elétrica Utilizando Sistemas Inteligentes
Autor(res):Márcio Henrique Alves Wanderley
2004
358 Planejamento Ótimo de Sistemas de Medição Considerando Diferentes Condições de Topologia
Autor(res):Luis Henrique Morales Zelaya
2004
359 Um Novo Mecanismo de Compartilhamento de Recursos para Transmissão de Vídeo com Alta Interatividade e Experimentos
Autor(res):Melba Lima Gorza
2003
360 Projeto de Sistemas Baseados em Frame Relay: Metodologias e Ferramentas para Parametrização das Cargas
Autor(res):Andréa de Matos Araújo Alves
2003
361 Escalonamento Híbrido de Tarefas: Integração de Heurísticas Estáticas e Dinâmicas
Autor(res):Alexandre Carvalho dos Reis Lima
2003
362 Algoritmos Evolutivos Eficientes para um Problema de Roteamento de Veículos
Autor(res):Fábio Linhares Dalboni
2003
363 Uma Proposta de Metodologia para Vetorização Controlada de Moldes para a Indústria do Vestuário
Autor(res):Drucilla do Bem Oliveira
2003
364 Comparação de Cenários Utilizando Inplementações de Voz sobre Redes de Pacotes
Autor(res):Ivan dos Santos Cardoso
2003
365 Procura de Similaridade entre Operons
Autor(res):Carlos Vitor Graça Bastos
2003
366 Proposta de Padrão Arquitetural para Descrição e Implementação de Contratos QoS
Autor(res):Sidney Barbosa Ansaloni
2003
367 Rumo a uma Heurística Rápida para a Geração de Escalonamentos Eficientes em Grids Computacionais
Autor(res):Marco Aurelio Novaes Esteves
2003
368 Representação de Dados de uma Subestçãoa De Energia Elétrica Utilizando um Modelo Padronizado
Autor(res):Márcio Egydio da Silva Rondon
2003
369 Integração de Relés de Proteção
Autor(res):Cristina Maria Pinto Silva
2003
370 Monitoramento para Aplicações MPI System-Awave
Autor(res):Paulo Márcio Souza Freire
2003
371 A Implementação de Aplicações WEB: Integrando o Modelo à Utilização de Framework para Controle de Navegação
Autor(res):Kenedy Pereira de Araújo
2003
372 Um GRASP para a Solução do Problema da Maximização da Diversidade
Autor(res):Paulo Marcos Figueiredo de Andrade
2003
373 Mineração Eficiente de Padrões Sequênciais da Indexação de Seqüências Candidatas
Autor(res):Eduardo Nogueira da Ponte
2003
374 Uma Ferramenta para Auxílio ao Diagnôstico em Exames Laringoscópicos Utilizando Técnicas de Análise de Imagens
Autor(res):Ronaldo Dias Corrêa
2003
375 Uma Proposta para Integração de Protocolos de Localização de Serviços em Computação Ubíqua e Pervasiva
Autor(res):Leonardo Bruno Caheté Batista
2003
376 Estudo Sobre a Utilização de uma Metodologia de Mineração de Dados num Ambiente SGBD Relaciona Utilizando Informações Referentes ao Ensino Médio
Autor(res):Jorge Luís de Oliveira Borges
2003
377 Uma Proposta de Sistema para Ensino da Linguagem Oral a Deficientes Auditivos
Autor(res):Jesuliana Nascimento Ulysses
2003
378 O Problema de Roteamento Periódico de Veículos: Uma Abordagem via Metaheurística GRASP
Autor(res):Aloísio Carlos Tortelly Costa Júnior
2003
379 Integração de Sistemas baseada em Modelos: Uma Aplicação no Setor Elétrico
Autor(res):Erwin Mac Dowall Reynoso
2003
380 Reflexões sobre Métodos de Avaliação de Interface
Autor(res):José Luiz Thomaselli Nogueira
2003
381 Um Modelo para Desenvolvimento de Ferramentas para Apoio à Avaliação de LOGs da Interação
Autor(res):Marcelo Vasques de Oliveira
2003
382 Utilização do Design Pattern Architecture Configurator em um Ambiente de Suporte à Configuração de Arquiteturas
Autor(res):Jonivan Coutinho Lisbôa
2003
383 Agentes Móveis e suas Interações em um Leilão Eletrônico
Autor(res):Eugênia Cristina Müller Giancoli Jabour
2003
384 Modelagem de Carga em Empresas de Distribuição de Energia Elétrica para Estudos do Comportamento Dinâmico do Sistema Interligado Brasileiro
Autor(res):Wanda Beatriz Massière y Corrêa
2003
385 Uma Proposta para Aplicações Web Centrada na Aplicação de um Design Pattern
Autor(res):Carlos Dias Alvarez
2003
386 TANGRAM II Whiteboard e a Análise de Desempenho
Autor(res):Milena Scanferla Araujo
2002
387 Qualidade de Serviço em redes IP com Serviços Diferenciados: Alocação e Gerenciamento de Recursos
Autor(res):Filippe Coury Jabour Neto
2002
388 Laboratório para Avaliação de Modelos com Suporte a QoS em Redes IP
Autor(res):Sheila Monteiro Bianchini
2002
389 Mineração Eficiente de Regras de Associação através da Indexação de Conjuntos Candidatos
Autor(res):Cristiane Norbiato Targa
2002
390 Regras de Associação Negativas
Autor(res):Ilza Maria Bressan Mendes
2002
391 Utilização de uma Base de Dados Preditiva para Auxílio à Estimação de Estado em Sistemas de Potência
Autor(res):Antonio Lisboa Salles Neto
2002
392 STATS: Uma Ferramenta para Escalonamento Estático de Tarefas em Programas MPI
Autor(res):Jacques Alves da Silva
2002
393 Uma proposta da Descrição e Implementação de Contratos para Serviços com Qualidade Diferenciada
Autor(res):Romulo Curty Cerqueira
2002
394 Qualidade de Serviço para Programas Móveis
Autor(res):Eliane Guimarães Monteiro
2002
395 Utilização de Técnicas de Processamento de Imagem para o Reconhecimento de Placas de Veículos
Autor(res):Leonardo Hiss Monteiro
2002
396 Metaheurísticas Híbridas Seqüenciais e Paralelas para Resolver o Orienteering Problem
Autor(res):Luis André Ramos Ferreira
2002
397 Metaheurísticas Seqüenciais e Paralelas Aplicadas a Problemas de Escalonamento e Roteamento
Autor(res):Leonardo Soares Vianna
2002
398 Computer Aided Mining - CAM
Autor(res):Marcelo Araújo Bittencourt
2002
399 Um Método de Tableaux para o Cálculo Lambek Baseado em Caracterização por Matrizes
Autor(res):Leonardo Bruno Vana
2002
400 Abordagem da Função de Green para o Realce de Bordas em Imagens Digitais
Autor(res):Marcos Sanges do Amaral
2002
401 Um Modelo para Análise do Histórico de Utilização de Aplicações na WEB
Autor(res):Eduardo Marques
2002
402 Utilização de Algoritmos Genéticos para a Localização Ótima de Pontos de Medição em Redes Elétricas
Autor(res):Charles de Capdeville
2002
403 AgILE: Um Modelo de Agentes Inteligentes para Leilão Eletrônico
Autor(res):Anderson Araújo Lopes
2001
404 DC-CONDEX - Execução Condicional de Instruções com Compactação Dinâmica de Código
Autor(res):Marco Antonio de Melo Brito
2001
405 Detecção de Predicados Conjuntivos Generalizados e Propriedades Sobre Fluxo de Controle de Programas Paralelos Distribuídos
Autor(res):Constantino Gonçalves Ribeiro
2001
406 Formulação Semi-Discreta de Mínimos Quadrados Aplicada a Problemas de Difusão Pura e de Adevecção
Autor(res):Marcelo dos Santos Vasconcelos
2001
407 Emprego da Dimensão Fractal para Análise de Texturas em Imagens Multiespectrais
Autor(res):Éldman de Oliveira Nunes
2001
408 Minimizando Processadores em Escalonamentos LogP
Autor(res):Gerson Nunes da Cunha
2001
409 Confiabilidade Nodal em Sistemas de Potência
Autor(res):Davi Sixel Arentz
2001
410 Métodos Hopmoc para Resolução de Equações de Convecção-Difusão e sua Implementação Paralela
Autor(res):Frederico Luis Cabral
2001
411 Localização de Defeitos em Sistemas de Potência Utilizando um Modelo Neuro-Fuzzy
Autor(res):Edwin Benito Mitacc Meza
2001
412 Metaheurísticas para o Problema do Caixeiro Viajante com Coleta de Prêmios
Autor(res):Valdir Agustinho de Melo
2001
413 Warehousing
Autor(res):Carlos André Reis Pinheiro
2001
414 Busca Numérica de Medidas e Conjuntos Críticos para a Observabilidade de Sistemas de Potência
Autor(res):Flávia Menezes Fernandes de Oliveira
2001
415 Arquiteturas de Redes para Aplicações Multimídia de Tempo Real
Autor(res):José Luiz Alvares da Fonseca
2001
416 Difusão Seletiva: Confiabilidade, Escalabilidade e Qualidade de Serviço
Autor(res):Flávio Alencar do Rego Barros
2001
417 Um Design Pattern para a Configuração de Arquiteturas de Software
Autor(res):Sérgio Teixeira de Carvalho
2001
418 Metaheurísticas Sequenciais e Paralelas para uma Generalização do Problema do Caixeiro Viajante
Autor(res):Mozar Baptista da Silva
2001
419 Desenvolvimento de um Método de Elementos Finitos para o Sistema de Stokes em Três Campos Axissimétrico
Autor(res):Daniela dos Santos Rocha
2001
420 Novas Abordagens para o Problema de Recobrimento de Rotas
Autor(res):Luciene Cristina Soares Motta
2001
421 Administração de Metadados: A Chave de Data Warehousing
Autor(res):Roge Oliveira
2001
422 Administração de Metadados: A chave de DATA WAREHOUSING
Autor(res):Roge Oliveira
2001
423 Modelagem de Sistemas de Tempo Real: Uma Abordagem Formal para Modelagem Orientada a Objetos
Autor(res):Silvino José Silva Bastos
2000
424 Gerenciamento de Redes ATM: Priorizando uma Abordagem SNMP
Autor(res):Ricardo Baía Leite
2000
425 Alocação de Medidores para a Estimação de Estado em Sistemas de Potência através de Metaheurística
Autor(res):Alessandra Borges Antonio
2000
426 Aplicativo Computacional para Determinação de Funções de Pertinência
Autor(res):Francisco Antônio Caldas de Andrade Pinto
2000
427 Cálculo da Reserva Operativa Girante do Sistema Elétrico Brasileiro
Autor(res):Antonio Augusto Gonçalves
2000
428 Um Estudo de Metaheurísticas Aplicadas ao Problema Job Shop Scheduling
Autor(res):Eduardo Ferreira da Silva
2000
429 Uma Abordagem para Acesso Dinâmico a Objetos Distribuídos em LingOal
Autor(res):Alexandre da Costa Sena
2000
430 Fadd - Um Framework para a Construção de Bases de Conhecimento Add
Autor(res):Ricardo Luiz Alves de Moura
2000
431 Determinação e Simulação da Posição da Cabine de Controle em Sondas de Perfuração através de Algoritmos Genéticos e Realidade Virtual
Autor(res):Robson da Cunha Santos
2000
432 Experimentos com a Segmentação Bayesiana de Imagens
Autor(res):Teresa Cristina Teixeira Vieira Carneiro
2000
433 Um método de Elementos Finitos para o Sistema Axissimétrico de Stokes em Três Campos usando Elementos Triangulares
Autor(res):Ricardo Jurczyk Pinheiro
2000
434 Processamento de Erros Grosseiros na Estimação de Estado de Sistemas de Potência em Condições Críticas de Redundância
Autor(res):Rita Sibele Guedes de Matos
2000
435 CINEADD - Um Modelo para a Construção Interativa da Estória do Design
Autor(res):Carlos Eduardo Lopes Carretti
1999
436 Um Modelo Multiagente Descentralizado em Ambientes Fechados Baseado em Leis Locais
Autor(res):José Avelino Placca
1999
437 Aglomeração de Tarefas em Arquiteturas Paralelas com Memória Distribuída
Autor(res):Aline de Paula Nascimento
1999
438 Avaliação Computacional da Confiabilidade Pretérita e Preditiva de Sistemas de Energia Elétrica
Autor(res):Jorge Manoel da Silva Pinheiro
1999
439 Formulação de Mínimos Quadrados Aplicada a Problemas de Advecção-Difusão
Autor(res):Márcia de Freitas Siqueira Sadok Menna Barreto
1999
440 Migração para a Abordagem TMN do Gerenciamento de Tráfego em Redes de Telefonia Fixa
Autor(res):Luiz Henrique da Rocha Azevedo
1999
441 Mecanismos para a Integração de Informações: Fusão de Dados Quantitativos e Qualitativos com Aplicação à Estimação de Estado de Sistemas de Potência
Autor(res):Mário César Schössler Barboza
1999
442 O Modelo de Arquitetura com Capacidade de Execução Condicional Condex-I e seu Compactador de Código
Autor(res):Marcelo Pires Módica
1999
443 Metaheurísticas Híbridas Baseadas em Redes Elásticas e Algoritmos Evolutivos para Solução de Problemas de Roteamento de uma Frota de Veículos
Autor(res):Ana Lúcia Gondim Tavares Ribeiro
1999
444 Modelos Deformáveis Aplicados na Extração de Contornos e no Reconhecimento de Objetos
Autor(res):Elizabeth Lopes Pimenta
1999
445 Localização de Defeitos em Sistemas de Potência Utilizando Redes Neurais
Autor(res):Marco Aurélio Pinto Rodrigues
1999
446 Engenharia de Software no Desenvolvimento de Software Educacional Hipermídia
Autor(res):Glauco Cabral Monteiro de Castro
1999
447 Projeto e Implementação de um Algoritmo e Evolutivo Paralelo para o Problema de Roteamento de Veículos com Frota Heterogênea
Autor(res):Dalessandro Soares Vianna
1999
448 Uma Metaheurística Genética não Convencional e Ant Colony Systems para Resolver o problema do Caixeiro Viajante com Grupamentos
Autor(res):Paramahansa Werner Polo Vieira
1999
449 Seleção Automática de Contingências e Análise da Segurança Estática de Sistemas de Potência via Redes Neurais
Autor(res):Marcelo Sales Rodrigues
1999
450 Computação da Confiabilidade de Sistemas de Potência em Ambiente Competitivo via Redes Neurais
Autor(res):Helder Siqueira Carvalho
1999
451 Indexação Inteligente para Busca e Recuperação da Informação
Autor(res):Sidney Vieira da Silva
1999
452 R-RIO: Um Ambiente de Suporte à Construção e à Evolução de Sistemas Distribuídos
Autor(res):Marcelo Lobosco
1999
453 Abordagens Difuso-Neurais para Análise de Mamogramas
Autor(res):Marcelle de Sá Guimarães
1999
454 Arquitetura de Distribuição de Informação de Gerência de Redes de Telecomunicações Baseada na Arquitetura Corba
Autor(res):Iara Machado
1998
455 Tratamento de Exceção, Herança Múltipla e Aspectos pela Máquina Virtual do Lingoal
Autor(res):Rosa Amelita Menezes
1998
456 Um Algoritmo Paralelo Assíncrono de Busca Tabu para o Problema de Escalonamento de Tarefas
Autor(res):Mariângela Loureiro Silva
1998
457 Um Framework Orientado a Objeto para Aplicações Baseadas em Busca Tabu
Autor(res):Marcio Graccho P. de Vasconcelos
1998
458 Uma Metaheurística Genética não Convencional para uma Generalização do problema do Caixeiro Viajante
Autor(res):Marco Antonio Xaves Valentim
1998
459 Auxílio ao Diagnóstico de Mamografias por Computação Visual
Autor(res):Luciana Marinho Soares
1998
460 Programação Orientada a Objetos Aplicada a Estimação de Estado em Sistemas de Potência
Autor(res):Henrique de Oliveira Henriques
1998
461 Proposta de Automatização de um Procedimento de Análise de Imagens Microscópicas Aplicado a Pesquisa sobre o Timo
Autor(res):Homero de Castro Cândido
1998
462 Algoritmos Genéticos não Convencionais: Aplicações ao Problema de Steiner em Grafos Direcionados
Autor(res):José Elias Cláudio Arroyo
1998
463 Recuperação de Imagens em Banco de Dados por Semelhança de Cor
Autor(res):Everest Monte M. Mathias de Castro
1998
464 Escalonamento de Tarefas em Sistemas Distribuídos de Tempo Real
Autor(res):André Melon Barroso
1998
465 Um Estudo sobre Metodologias de Codificação Fractal
Autor(res):Felipe Ribeiro Aquino
1998
466 O Uso de Mediadores na Integração de Sistemas Heterogêneos de Banco de Dados
Autor(res):Gustavo Henrique da S. Mesquita
1997
467 Tratamento Estatístico de Índices de Confiabilidade de Sistemas de Potência
Autor(res):Ana Cristina Leitão Alonso Ferreira
1997
468 Análise de Desempenho de Algoritmos FIFO para Entrega de Mensagens entre Tarefas Migrantes
Autor(res):Nicholas Cunha Couri
1997
469 Uma Abordagem Alternativa para o Desenvolvimento de Sistemas de Auxílio à Geração de Apresentações Multimídia
Autor(res):Flávio Castro da Fonseca
1997
470 O Problema de Roteamento Periódico de Veículos: Uma abordagem via Algoritmos Genéticos
Autor(res):Marcelo L. Rocha
1997
471 Contribuições ao Estudo de Estéreo Fotométrico Baseado em Disparidades
Autor(res):João Luiz Fernandes
1997
472 Aplicações Multimídia em Inter-redes
Autor(res):Luiz Fernando da Silva Barra
1997
473 MultiADD: Um Modelo Multiagente para Design Cooperativo
Autor(res):Adriana S. Vivacqua
1997
474 Detecção de Predicados Globais em Programas MPI
Autor(res):Marcelo Luís N. Pinheiro
1997
475 Otimização Microcanônica Aplicada ao Problema do Caixeiro Viajante
Autor(res):Alexandre Linhares
1996

Ex-Diretores
José Henrique Carneiro de Araújo
José Henrique Carneiro de Araújo

José Henrique Carneiro de Araujo
2013-2017

Regina Célia Paula Leal Toledo
Regina Célia Paula Leal Toledo

Regina Célia Paula Leal Toledo
2009-2013

Mauricio Kischinhevsky
Mauricio Kischinhevsky

Mauricio Kischinhevsky
2005-2009

Anna Dolejsi Santos
Anna Dolejsi Santos

Anna Dolejsi Santos
2001-2005

Miriam Aparecida Marques
Miriam Aparecida Marques

Miriam Aparecida Marques
2000-2001


Colaboração
santa-isabel2

Apresentação
A equipe de suporte técnico ao Instituto de Computação, composta por profissionais concursados, é responsável pela manutenção de hardware e software do Instituto, cuidando desde a Infraestrutura de TI dos laboratórios de graduação, pós-graduação até o suporte em informática aos professores e funcionários.

Composição
REPRESENTANTES DO COLEGIADO DO INSTITUTO DE COMPUTAÇÃO (04/2017 - 03/2019)

Titular: Celso da Cruz Carneiro Ribeiro
Suplente: Vanessa Braganholo Murta

Titular: Débora Christina Muchaluat Saade
Suplente: Igor Monteiro Moraes

Titular: Aline de Paula Nascimento
Suplente: Isabel Cristina Mello Rosseti

Titular: Simone de Lima Martins
Suplente: Luis Antonio Brasil Kowada

Titular: Leonardo Cruz da Costa
Suplente: Rodrigo Salvador Monteiro

Titular: Célio Vinicius N. de Albuquerque
Suplente: José Viterbo Filho

Titular: Eugene Francis Vinod Rebello
Suplente: Otton Teixeira da Silveira Filho

Titular: Maria Cristina Silva Boeres
Suplente: Ricardo Leiderman

Titular: Esteban Walter Gonzalez Clua
Suplente: Helena Cristina da Gama Leitão

Titular: Leonardo Gresta Paulino Murta
Suplente: Isabel Leite Cafezeiro

Titular: André Luiz Lima Prata Rodrigues (DACC)
Suplente: Davi da Silva Rodrigues (DACC)

Titular: Ruben Interian Kovaliova (Pós-graduação)
Suplente: Felipe Moure Cícero (Pós-graduação)

Titular: Rodrigo Vilhena Herdy Afonso (Técnico Administrativo)
Suplente: Elaine Pereira da Silva (Técnico Administrativo)

PESQUISA PELO SITE

MENU

Início Instituto Laboratórios Departamento
Pesquisa Pós-Graduação Graduação Fale Conosco

CONTATO

IC-Mapa

Av. Gal. Milton Tavares de Souza, s/nº
São Domingos - Niterói - RJ
CEP: 24210-346

IC-UFF-Telefone-icone Fale Conosco

 Como Chegar

CONECTE-SE

IC-Conecte-se-Facebook IC-Conecte-se-Twitter

LINKS

Faperj Lattes Finep SBC PROGRAD
CAPES CNPQ SIAPENET IDUFF NDC

 

Desenvolvido por pela equipe de Suporte Técnico do Instituto de Computação - suporte.ic.uff.br - Web Designer: Emanuel Machado