Teses
Navegar por
Submissões recentes
-
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 ... -
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 ... -
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). ... -
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 ... -
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 ... -
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 ... -
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 ... -
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 ... -
Sequenciamento adaptativo de exercícios baseado na correspondência entre a dificuldade da solução e o desempenho dinâmico do aprendiz
(2015)Resumo: A perícia do aprendiz geralmente e desenvolvida através da resolução de exercícios que requerem um conjunto de habilidades avaliadas, tanto no sistema educacional de sala de aula convencional quanto em sistemas de ... -
Um modelo de proveniência para extração de tendências em séries temporais
(2014)Resumo: Muitas áreas do conhecimento estão relacionadas com a análise de séries temporais, as quais são constituídas por uma sequencia de observações de dados sobre o tempo. A análise de séries temporais difere da análise ... -
Um método de pré-processamento de fórmulas SAT e pseudo-boolean baseado em técnicas de programação linear inteira mista
(2015)Resumo: Ao longo da última década, resolvedores de Satisfatibilidade Booleana (SAT) e Programação Inteira Linear (ILP) melhoraram significativamente com a introdução de novos algoritmos, que permitiram o tratamento de um ... -
Proposta de um modelo computacional para representação de sinais em uma arquitetura de serviços HCI-SL para línguas de sinais
(2015)Resumo: A falta de acesso à informação e ao conhecimento científico tem sido um grande obstáculo enfrentado por algumas comunidades minoritárias. Este é o caso das comunidades de Surdos que, historicamente, têm sofrido ... -
Pesquisa-ação na construção de insumos conceituais para um ambiente computacional de apoio ao letramento bilíngue de crianças surdas
(2014)Resumo: O letramento bilíngue, nosso pressuposto para os surdos, consiste em fazer uso da Língua de Sinais (L1) para o aprendizado de uma segunda língua oral na modalidade escrita, no contexto brasileiro, a Língua Portuguesa ... -
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 ... -
Modelagem simbólica de padrões morfológicos para classificação de séries temporais
(2015)Resumo: O contínuo armazenamento de dados ao longo do tempo, tais como séries temporais, tem motivado o desenvolvimento de novas abordagens baseadas em métodos de mineração de dados. Nesse cenário, uma nova área de pesquisa ... -
On indexing highly dynamic multidimensional datasets for interactive analytics
(2016)Resumo: Indexação de dados multidimensionais tem sido extensivamente pesquisada nas últimas décadas. Neste trabalho, um novo workload OLAP identificado no Facebook é apresentado, caracterizado por (a) alta dinamicidade e ... -
Innovative hybrid MOEA/D variants for solving multi-objective combinatorial optimization problems
(2017)Resumo: Muitos problemas do mundo real podem ser representados como um problema de otimização combinatória. Muitas vezes, estes problemas são caracterizados pelo grande número de variáveis e pela presença de múltiplos ... -
Informática educacional e a mediação do erro na educação : um estudo teórico-crítico e uma proposta de instrumento computacional
(2015)Resumo: O problema central da mediação do erro na educação escolar e possíveis contribuições da Informática Educativa são expostos de maneira crítica. Embora inúmeras pesquisas e abordagens pedagógicas salientem o importante ... -
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 ... -
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 ...
RSS 1.0