Navegação 40001016034P5 Programa de Pós-Graduação em Informática por título

TAEP4.0 : processo educacional de assistência ao professor baseado no contexto da educação 4.0

Silva, Deivid Eive dos Santos (2020)

Resumo: Os profissionais de hoje precisam ser capacitados para bem mais do que atividades repetitivas. Assim, cabe à escola promover situações que possibilitem aos estudantes desenvolver as competências e habilidades que ...

Tecnologia CSCL para mapeamento conceitual : lições aprendidas para a educação bilíngue para surdos

Silva, Lucineide Rodrigues da (2023)

Resumo: É garantido por lei no Brasil que o surdo tenha acesso a uma educação bilíngue, aprendendo a Libras e o Português na modalidade escrita. Porém, ele enfrenta desafios significativos, muitos surdos são analfabetos ...

Uma tecnologia de avaliação da usabilidade e da experiência do usuário para soluções holográficas tocáveis

Campos, Thiago Prado de (2024)

Resumo: A interação com holografia tocável permite que os usuários realizem gestos simulando o toque em objetos tridimensionais virtuais, criando uma experiência imersiva e integrada ao ambiente físico. Com o surgimento e ...

Tecnologias abertas de telessaúde

Meireles, Flávia Sayane Silva (2022)

Resumo: A telessaúde compreende a realização de atendimentos, serviços e distribuição de informações remotamente, utilizando tecnologias de informação e comunicação. Dessa forma, desempenha uma função vital no campo da ...

Tecnologias digitais para uso nas Escolas Públicas de Educação Básica : tv multimídia

Silva, Maurício Requião de Mello e (2016)

Resumo: Esta dissertação apresenta um panorama do uso de tecnologias digitais pelas escolas públicas de Educação Básica, municipais e estaduais. O levantamento, realizado em 2012, permitiu confirmar que, no Brasil, o ...

Test case selection and prioritization during the evolution of highly configurable systems

Mendonça, Willian Douglas Ferrari (2023)

Resumo: Garantir a qualidade de Sistemas Altamente Configuráveis (do inglês Highly Configurable Systems (HCSs) durante sua evolução e manutenção é um desafio. À medida que um HCS evolui, novas funcionalidades (Do inglês ...

Teste de intrusão para aplicações web : um método com planejamento em inteligência artificial

Lima, Luis Felipe de, 1990- (2020)

Resumo: Ataques a aplicacoes Web ocorrem com a exploracao de falhas denominadas vulnerabilidades com o objetivo de obtencao de acesso a aplicacao. As vulnerabilidades podem ser detectadas com uma tecnica de teste de ...

Teste de ontologias OWL : uma contribuição utilizando o teste de mutação

Porn, Alex Mateus, 1985- (2019)

Resumo: Ontologias sao compostas por restricoes e axiomas que possibilitam descrever formalmente os conceitos, relacionamentos e propriedades de um dominio. A descricao de um conceito pode ter diferentes significados e ...

Teste Wald para avaliação de parâmetros de regressão e dispersão em modelos multivariados de covariância linear generalizada

Freitas, Lineu Alberto Cavazani de (2022)

Resumo: Ciência de dados é um campo de estudo interdisciplinar que compreende áreas como estatística, ciência da computação e matemática. Neste contexto, métodos estatísticos são de fundamental importância sendo que, dentre ...

Técnicas probabilísticas aplicadas em algoritmos de aproximação

Bordini, Camile Frazão (2016)

Resumo: Pesquisadores e cientistas têm percebido cada vez mais que a aleatoriedade é um componente essencial na modelagem e análise da natureza. Na ciência da computação não é diferente: o uso da aleatoriedade e de métodos ...

The cooperation of multi-objective evolutionary algorithms for many-objective optimization

Fritsche, Gian Mauricio (2020)

Resumo: A otimização simultânea de múltiplos objetivos está presente em várias instâncias de problemas para diferentes campos de pesquisa. Algoritmos Evolutivos Multiobjetivo (Multi-objective Evolutionary Algorithm-MOEA) ...

The design and implementation of query execution in modern processing-in-memory hardware

Kepe, Tiago Rodrigo, 1985- (2019)

Resumo: Os sistemas modernos de processamento de consultas foram projetados com base em modelos de arquitetura centrados na computação. No entanto, o rápido crescimento de "big data" intensificou o problema de movimentação ...

TI-PIA : uma abordagem de teste de integração com planejamento em inteligência artificial

Lima, Luis Felipe de (2025)

Resumo: O teste de integração ocorre em um cenário complexo influenciado por diversos fatores, como o ambiente, o próprio sistema de software sob teste (SUT), os paradigmas de programação e os tipos de integração utilizados. ...

Tolerância a falhas em sistemas MPI com grupos dinâmicos de processos recomendados e registro de mensagens distribuído baseado em paxos

Camargo, Edson Tavares de (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 ...

Towards scalable and evolving graph-based collaborative filtering for data stream recommendation

Schmitt, Murilo Falleiros Lemos (2024)

Resumo: Sistemas de recomendação são projetados para recomendar itens para usuários com base em seus interesses, a fim de aumentar seu engajamento ao interagir com sistemas online. O aumento significativo no volume de dados ...

Transferência de conhecimento da transformada shapelet para classificação de séries temporais em redes neurais convolucionais

Souza, Alexandre Felipe Müller de, 1985- (2021)

Resumo: O crescente acúmulo na aquisição de dados, por mais diversos dispositivos, torna necessário o uso de ferramentas automatizadas para a descoberta de padrões. Dentre estas ferramentas automatizadas, a classificação ...