Número total de itens: 51

2016

1.   Alessandra Anyzewski. Estudo Experimental da Aplicação do Algoritmo IVL na Etapa de Detecção de Isomorfismos do GROOVE. Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Espírito Santo, . 2016.
Supervisor: Maria Claudia Silva Boeres.
2.   Alessandra Silva Anyzewski. Estudo Experimental da Aplicação do Algoritmo IVL na Etapa de Detecção de Isomorfismos do GROOVE. Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Espírito Santo, . 2016.
Orientador: Eduardo Zambon.
3.   Alexandro Souza Ramos. Um Estudo Experimental de Busca Guiada na Exploração do Espaço de Estados de Gramáticas de Grafos. Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Espírito Santo, Fundação de Amparo à Pesquisa do Espírito Santo. 2016.
Orientador: Eduardo Zambon.
4.   André G. C. Pacheco. Agregação de classificadores neurais através da integral de Choquet com respeito a uma medida fuzzy. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, . 2016.
Orientador: Renato Antonio Krohling.
5.   Felipe Lucchi. Um Algoritmo Híbrido entre Evolução Diferencial e Neder-Mead Usando Entropia para Problemas de Otimização Não-Linear Inteira Mista. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, . 2016.
Orientador: Renato Antonio Krohling.
6.   Marcelo T. P. Carrion. An Experimental Study of the Geometric and Algebraic Multigrid Strategies. Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Espírito Santo, . 2016.
Orientador: Maria Claudia Silva Boeres.
7.   Rafael Hrasko. Uma abordagem modular com máquinas de Boltzmann restrita para predição de séries temporais. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, . 2016.
Orientador: Renato Antonio Krohling.
8.   Rafael Marin Permanhane. Problemas de layout. Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Espírito Santo, Fundação de Amparo à Pesquisa do Espírito Santo. 2016.
Orientador: André Renato Sales Amaral.
9.   Rômulo Louzada Rabello. Método híbrido para resolução do problema de localização de facilidades capacitadas em dois níveis com redes de distribuição uni e multiproduto. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2016.
Orientador: Geraldo Regis Mauri.
10.   Ygor Kiefer Follador de Jesus. Análise e Detecção de Inconsistências em Políticas de Segurança - Um Estudo Prático com Firewalls. Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Espírito Santo, . 2016.
Supervisor: Eduardo Zambon.

2015

1.   Eric Arantes Ribeiro. Modelo matemático e meta-heurística simulated annealing para elaboração de roteiros turísticos com base no tourist trip design problem with time window. Dissertação (Mestrado em Gestão Pública) - Universidade Federal do Espírito Santo, . 2015.
Supervisor: Geraldo Regis Mauri.

2014

1.   André Manhães Machado. Análise de Redes Complexas Aplicada ao Financiamento das Eleições Brasileiras de 2014. Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Espírito Santo, . 2014.
Orientador: Maria Claudia Silva Boeres.
2.   Marcelo Torres Pereira Carrion. An Experimental Study of the Geometric and Algebraic Multigrid Strategies. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, . 2014.
Supervisor: Lucia Catabriga.
3.   Ramoni Zancanela Sedano. Estudo de algoritmos de avanço no tempo para formulações estabilizadas aplicadas as equações de Euler. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, Fundação de Amparo à Pesquisa do Espírito Santo. 2014.
Orientador: Lucia Catabriga.
4.   Stéfano Terci Gasperazzo. UM ALGORITMO PSO HÍBRIDO PARA PLANEJAMENTO DE CAMINHOS EM NAVEGAÇÃO DE VEÍCULOS UTILIZANDO A*. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, . 2014.
Orientador: Maria Claudia Silva Boeres.

2013

1.   Brenno Lugon. Implementação paralela de Reordenamento de Sistemas Lineares. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2013.
Orientador: Lucia Catabriga.
2.   Erick Ramon F.A. Schneider. Um método hi brído para solucão de problemas de otimização inteira sujeito a restri ções. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2013.
Orientador: Renato Antonio Krohling.
3.   Walace de Souza Rocha. Algoritmo GRASP para o Problema de Tabela-horário de Universidades. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2013.
Orientador: Maria Claudia Silva Boeres.

2012

1.   Gilberto Alves Santos Segundo. Uma abordagem usando evolução diferencial para solucionar problemas de programação em dois níveis não lineares. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012.
Orientador: Renato Antonio Krohling.
2.   João Olavo Baião de Vasconcelos. Estudo De Algoritmos Para O Problema De Otimização De Vazão De Poços De Petróleo. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, . 2012.
Orientador: Maria Claudia Silva Boeres.
3.   Luiz Claudio Silva Magnago. Problemas inversos na estimativa de desgaste em cadinhos de alto-fornos. Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Espirito Santo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012.
Orientador: Lucia Catabriga.
4.   Marcos Daniel Valadão Baroni. Um Estudo da Eficiência da Autocentralidade no Problema de Isomorfismo de Grafos. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012.
Orientador: Maria Claudia Silva Boeres.
5.   Marcos Fávero Costa. Aplicação de meta-heurísticas no escalonamento de motoristas para o transporte de madeira. Dissertação (Mestrado em Ciências Florestais) - Universidade Federal do Espírito Santo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012.
Supervisor: Geraldo Regis Mauri.
6.   Roberta Nunes Mattos. Formulações estabilizadas submalhas aplicadas às equações de Euler. Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Espírito Santo, . 2012.
Supervisor: Lucia Catabriga.
7.   Rodrigo de Castro Cosme. Máquinas de vetores suporte usando o algoritmo evolução diferencial com busca local para classificação de dados. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, Fundação de Apoio à Pesquisa do Espírito Santo. 2012.
Orientador: Renato Antonio Krohling.
8.   Rômulo Ferreira Douro. Reconhecimento de Formas em Imagens Através da Associação de Pontos e Avaliação Multicritério de Arestas. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, . 2012.
Orientador: Maria Claudia Silva Boeres.

2011

1.   Cristiane Coutinho Meneguzzi. Modelo de roteamento de veículos aplicado ao planejamento de inventário florestal. Dissertação (Mestrado em Ciências Florestais) - Universidade Federal do Espírito Santo, . 2011.
Supervisor: Geraldo Regis Mauri.
2.   Diego Barcelos Rodrigues. Autocentralidades Aplicadas ao Problema de Isomorfismo de Grafos Regulares. Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Espírito Santo, Fundação de Amparo à Pesquisa do Espírito Santo (FAPES). 2011.
Supervisor: Maria Claudia Silva Boeres.
3.   João Olavo Baião de Vasconcelos. Estudo de Problemas de Otimização no Contexto da Indústria do Petróleo. Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Espírito Santo, . 2011.
Supervisor: Lucia Catabriga.
4.   Kamila Ribeiro Ghidetti. Um Estudo da Influência de Algoritmos de Reordenamento de Matrizes Esparsas nos Métodos Iterativos tipo Krylov Precondicionados. Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Espírito Santo, . 2011.
Orientadores: Maria Claudia Silva Boeres, Lucia Catabriga.
5.   Leandro Muniz de Lima. Filtro de partículas hibridizado com métodos da computação natural para detecção e rastreamento. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, Fundação de Amparo à Pesquisa do Espírito Santo. 2011.
Orientador: Renato Antonio Krohling.
6.   Suzi Lara Werner. Método de estabilização submalha difusão dinâmica aplicado na simulação de escoamentos miscíveis em meios porosos. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2011.
Supervisor: Lucia Catabriga.
7.   Wesley dos Santos Menenguci. IMPLEMENTAÇÃO DE MODELOS DE MECÂNICA DOS FLUIDOS COMPUTACIONAL EM SISTEMAS MANY-CORE USANDO C+CUDA. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, Fundo de Apoio a Ciência e Tecnologia. 2011.
Orientador: Lucia Catabriga.

2010

1.   Gabriel Correia Leone. Lógica Fuzzy para modelamento e auxílio no processo de tomada de decisão em caso de derrame de óleo no mar. Dissertação (Mestrado em Engenharia Ambiental) - Universidade Federal do Espírito Santo, Fundação de Amparo à Pesquisa do Espírito Santo. 2010.
Supervisor: Renato Antonio Krohling.
2.   Gijs Kant. Distributed State Space Generation for Graphs up to Isomorphism. Dissertação (Mestrado em Computer Science) - University of Twente, . 2010.
Supervisor: Eduardo Zambon.
3.   Renato Stocco Bonatto. Métodos para partição de um conjunto. Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Espírito Santo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2010.
Orientador: André Renato Sales Amaral.

2009

1.   Adriana da Costa Barbosa. Implementação em paralelo do método dos elementos finitos empregando estrutura de dados por aresta para a simulação em cluster multi-core de escoamento miscível em meios porosos. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2009.
Orientador: Lucia Catabriga.
2.   Juliana H. Kowata. Caracterização de Abordagens para Geração (Semi) Automática de Mapas Conceituais. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, . 2009.
Supervisor: Maria Claudia Silva Boeres.
3.   Viviane de Almeida Ventura. Representação de Imagens Através de Grafos Utilizando o Algoritmo Split-And-Merge Combinado com Descritores de Cor e Textura. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, . 2009.
Supervisor: Maria Claudia Silva Boeres.

2008

1.   Philippe Leal Freire dos Santos. Uso de Teoria Espectral de Grafos para algoritmos de isomorfismo de grafos. Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Espírito Santo, Fundação de Amparo à Pesquisa do Espírito Santo (FAPES). 2008.
Supervisor: Maria Claudia Silva Boeres.
2.   Rodrigo Alves Sarmento. O estudo do problema de blocagem de vagões de trens. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, Fundação de Amparo à Pesquisa do Espírito Santo (FAPES). 2008.
Orientador: Maria Claudia Silva Boeres.

2007

1.   Geraldo Simonetti Bello. Abordagem do Problema de Programação de Grade Horária sujeito a Restrições utilizando Coloração de Grafos. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, . 2007.
Orientador: Maria Claudia Silva Boeres.
2.   Luciana Lee. Reformulação do Problema de Isomorfismo de Grafos como um Problema Quadrático de Alocação. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, Companhia de Petróleo do Brasil. 2007.
Supervisor: Maria Claudia Silva Boeres.

2006

1.   Anderson Bodart Pinto. Planejamento da seqüência de atendimento de embarques do Porto de Tubarão. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, . 2006.
Orientadores: Maria Claudia Silva Boeres, André Renato Sales Amaral.
2.   Flávio Severiano Lamas de Souza. Comparando Mapas Conceituais por meio de Grafos. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, . 2006.
Orientador: Maria Claudia Silva Boeres.
3.   José Jerônimo Camata. Algoritmos adaptativos para o metodo dos elementos finitos utilizando a biblioteca libmesh. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, . 2006.
Supervisor: Lucia Catabriga.

2005

1.   Andi Asmara. An Acelerated Co-evolutionary Particle Swarm Optimization Parameter for Tuning of a Computed-Torque Controller for a 5 Degree of Freedom Robot Arm. Dissertação (Mestrado em Engenharia Elétrica) - Universitaet Dortmund, . 2005.
Orientador: Renato Antonio Krohling.

2004

1.   Alexandre Rocha Duarte. Novas heurísticas e uma abordagem por programação inteira para um problema de correspondência inexata de grafos. Dissertação (Mestrado em Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2004.
Supervisor: Maria Claudia Silva Boeres.
2.   Jodelson Aguilar Sabino. COMPETIÇÃO ENTRE COLÔNIAS DE FORMIGAS APLICADA À DESIGNAÇÃO DE LOCOMOTIVAS DE MANOBRAS EM PÁTIOS FERROVIÁRIOS. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, . 2004.
Orientador: Lucia Catabriga.
3.   Leonardo Muniz de Lima. Estratégias de Armazenamento para Implementações Paralelas do Método dos elementos Finitos. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2004.
Orientador: Lucia Catabriga.

2002

1.   Yuchao Zhou. Evolving FPGA-based Robot Controllers using an Evolutionary Algorithm. Dissertação (Mestrado em Electronics) - University of York, . 2002.
Supervisor: Renato Antonio Krohling.