Assinar esta coleção para receber notificações por e-mail de cada item inserido

Data do documento	Título	Autor(es)	Tipo
2007	Técnicas para construção de árvores filogenéticas	Viana, Gerardo Valdisio Rodrigues	Tese
2012	Expressividade e complexidade em lógicas preferenciais, híbridas e de grau limitado	Ferreira, Francicleber Martins	Tese
2013	RepliC: replicação elástica de banco de dados multi-inquilino em nuvem com qualidade de serviço	Sousa, Flávio Rubens de Carvalho	Tese
2014	EPMOSt: um sistema de monitoramento passivo energeticamente eficiente para redes de sensores sem fio	Garcia, Fernando Parente	Tese
2012	PRECISE - Um processo de verificação formal para modelos de características de aplicações móveis e sensíveis ao contexto	Marinho, Fabiana Gomes	Tese
2014	FOLE: Um framework conceitual para avaliação de desempenho da elasticidade em ambientes de computação em nuvem	Coutinho, Emanuel Ferreira	Tese
2010	Sistemas esquemáticos de dedução natural: um estudo prova-teórico	Cavalcante, Alexandre Silva	Tese
2014	Problema de Árvore Geradora Mínima com Restrição de Grau Mínima e Centrais e Terminais Fixos	Dias, Fábio Carlos Sousa	Tese
2013	Sobre b-coloração de grafos com cintura pelo menos 6	Lima, Carlos Vinicius Gomes Costa	Dissertação
2013	OntologyManagementTool - uma ferramenta para gerenciamento de ontologias como teorias lógicas	Pinheiro, Ângela Maria Alves	Dissertação
2011	Geração de facetas para politopos de conjuntos independentes	Xavier, Álinson Santos	Dissertação
2007	Decomposição e largura em árvore de grafos planares livres de ciclos pares induzidos	Silva, Aline Alves da	Dissertação
2013	Jogos de perseguição-evasão, decomposições e convexidade em grafos	Soares, Ronan Pardo	Tese
2014	Abordagem para Qualidade de Serviço em Banco de Dados Multi-Inquilinos em Nuvem	Moreira, Leonardo Oliveira	Tese
2014	Integração Mente e Ambiente para a Geração de Comportamentos Emergentes em Personagens Virtuais Autônomos Através da Evolução de Redes Neurais Artificiais	Nogueira, Yuri Lenon Barbosa	Tese
2013	O Problema de ordenação de rodadas e problemas de otimização associados	Farias, Pablo Mayckon Silva	Tese