Teses
Recent Submissions
-
Sentinel : a multi-objective hyper-heuristic approach for the automatic generation of mutant reduction strategies
(2018)Resumo: O Teste de Mutação utiliza programas mutantes gerados com pequenas modificações no programa em teste. Tais modificações são produzidas por operadores de mutação que descrevem possíveis defeitos. O objetivo é matar ... -
X : X
(20--)Resumo: Os seres humanos são capazes de interagir com outras pessoas, acessar o conhecimento e desenvolver seu intelecto por meio da sua língua preferencial. Sendo assim, as pessoas que não utilizam essa forma de comunicação ... -
Inferência de estados afetivos em ambientes educacionais : proposta de um modelo híbrido baseado em informações cognitivas e físicas
(2018)Resumo: Na comunidade científica é comum o entendimento de que os softwares educacionais precisam evoluir para garantir um suporte mais efetivo ao processo de aprendizagem. Uma limitação recorrente destes softwares refere-se ... -
ENOC : rede-em-chip expansível
(2018)Resumo: Os sistemas multiprocessados integrados em chip têm emergido como uma importante tendência para projetos de sistemas em chip. Estes sistemas são formados por vários elementos de processamento conectados originalmente ... -
Novel procedures for graph edge-colouring
(2018)Resumo: O índice cromático de um grafo G é o menor número de cores necessário para colorir as arestas de G de modo que não haja duas arestas adjacentes recebendo a mesma cor. Pelo célebre Teorema de Vizing, o índice cromático ... -
Small world models and a compact routing scheme
(2018)Resumo: Os modelos geradores de redes de mundo pequeno são alternativas aleatorizadas de construção de redes onde os nós estão interligados por caminhos curtos. Nesse contexto, um caminho curto tem o comprimento dado por ... -
Modelo computacional e sua implementação para identificação de perfil de personalidade baseado em textos educacionais
(2018)Resumo: A identificacao do perfil de personalidade de alunos, levando em consideracao as diferencas, colabora com os educadores no processo de encontrar situacoes de aprendizagem adequadas para cada aluno. Este processo ... -
Need for Speed : analysis of brazilian malware classifiers' expiration date
(2018)Resumo: Novos programas maliciosos são criados e liberados diariamente para enganar usuários e superar soluções de segurança, assim exigindo melhora continua nestes mecanismos (por exemplo, atualização constante de antivírus). ... -
Resiliência na transmissão de dados multicaminhos em redes heterôgeneas sem fio
(2018)Resumo: A evolução da Internet tem sido marcada pelo crescente número de dispositivos conectados e pela grande quantidade de dados trafegados. Diante deste crescimento, cabe ressaltar a popularização dos dispositivos móveis ... -
Proposta de uma área de convergência Nuvem-HPC para a redução do número de violações de tempo de resposta em centrais de dados
(2017)Resumo: A computação de alto desempenho vem permitindo à ciência avançar rapidamente em muitas áreas do conhecimento. Por sua vez, as tecnologias de computação em nuvem proporcionam o acesso a recursos computacionais a ... -
Geração de códigos de simulação para armazenamento de dados em redes de sensores sem fio
(2018)Resumo: Esta tese apresenta um estudo sobre as dificuldades comuns encontradas pelos desenvolvedores de sistemas de armazenamento em ambientes de simulação de redes de sensores sem fio (RSSFs). Os atuais métodos de ... -
Automatic breast cancer classification from histopathological images : a hybrid approach
(2018)Resumo: O câncer é um grave problema de saúde pública mundial, apresentando altas taxas de mortalidade e sobrecarga dos sistemas de saúde públicos e privados. Especialmente na população feminina, o câncer de mama surge ... -
Uma condição suficiente para otimização global sem retrocesso
(2018)Resumo: Um problema de satisfação de restrições (CSP, do inglês constraint satisfaction problem) consiste em encontrar uma atribuição de valores a um conjunto de variáveis que satisfaça uma rede de restrições. Técnicas de ... -
Adapting the dynamic selection of classifiers approach for concept drift scenarios
(2017)Resumo: Muitos ambientes podem sofrer com mudanças nas distribuições ou nas probabilidades a posteriori com o decorrer do tempo, em um problema conhecido como Concept Drift. Nesses cenários, é imperativa a implementação ... -
Gestão de informações médicas em unidades básicas de saúde : análise de um caso real e proposta de um modelo de controle de uso de informações médicas sensível ao contexto
(2017)Resumo: No Brasil, o Setor Primário de atendimento de saúde que corresponde às Unidades Básicas de Saúde - UBS, estão, atualmente, em processo de evolução digital. Os prontuários Eletrônicos - PE são direcionados apenas ... -
Fiscalização da neutralidade da rede e seu impacto na evolução da internet
(2017)Resumo: Desde 2002 temos presenciado um longo e controverso debate mundial sobre a Neutralidade da Rede, tema que envolve aspectos políticos, legais, econômicos, sociais, éticos, técnicos e de competitividade e inovação. ... -
Arco consistência generalizada em codificações SAT relativas
(2017)Resumo: Várias codificações de problemas relevantes para SAT ou suas variações são conhecidas e estudadas pela comunidade. Uma possível maneira de mensurar a eficiência destas codificações consiste em avaliar a manutenção ... -
Normalisation of imprecise temporal expressions extracted from text
(2016)Resumo: Técnicas e sistemas de extração de informações são capazes de lidar com a crescente quantidade de dados não estruturados disponíveis hoje em dia. A informação temporal está entre os diferentes tipos de informações ... -
Tolerância a falhas em sistemas MPI com grupos dinâmicos de processos recomendados e registro de mensagens distribuído baseado em paxos
(2017)Resumo: Os sistemas HPC (High-Performance Computing) são geralmente empregados para executar aplicações de longa duração, incluindo, por exemplo, simulações científicas e industriais complexas. Construir sistemas HPC ... -
Parallel gpu algorithms for compressed implicit octrees
(2015)Resumo: O algoritmo Barnes-Hut é um método aproximado amplamente usado para na simulação gravitacional de N-Corpos, que envolve a construção e eaminliamento de árvores esparsas a cada passo de simulação e assim reduzindo ...
RSS 1.0