Navegação 40001016034P5 Programa de Pós-Graduação em Informática por título
Itens para a visualização no momento 429-448 of 483
-
TAEP4.0 : processo educacional de assistência ao professor baseado no contexto da educação 4.0
(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
(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 ... -
Tecnologias abertas de telessaúde
(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
(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
(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 baseado em defeitos para Web Services
(2009-07-08) -
Teste de aplicações baseado em análise de instâncias de dados alternativas.
(2011-07-04)Resumo: No desenvolvimento de software frequentemente é necessário validar a especificação dos dados do sistema, geralmente descrita por esquemas. O esquema de dados define a estrutura lógicae os relacionamentos entre os ... -
Teste de intrusão para aplicações web : um método com planejamento em inteligência artificial
(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 linha de produto de software baseado em mutação do diagrama de características
(2013-09-19)Resumo: Uma linha de produto de software (LPS) pode ser definida como um conjunto de sistemas que compartilham um conjunto comum de características e que satisfazem os requisitos específicos de um determinado domínio. O ... -
Teste de mutação para ontologias OWL
(2014)Resumo: Ontologias representam especi_ca_c~oes formais sobre conceitos de um dom__nio e as rela_c~oes entre eles. Elas desempenham um papel fundamental para descrever sem^anticas de dados e atuam como uma espinha dorsal ... -
Teste de ontologias OWL : uma contribuição utilizando o teste de mutação
(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 de software baseado em perturbação de dados dirigida por padrões /
(2007)Orientadora : Silvia Regina Vergilio -
Teste Wald para avaliação de parâmetros de regressão e dispersão em modelos multivariados de covariância linear generalizada
(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 de caminhos disjuntos para roteamento em systems-on-chip.
(2013)Resumo: Systems-on-chip (SoCs) são sistemas compostos contidos em um único substrato de silício. Os SoCs foram introduzidos nas metodologias de projeto para atender `a crescente demanda de aplicações complexas que requerem ... -
Técnicas probabilísticas aplicadas em algoritmos de aproximaçã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
(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
(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 ... -
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 ... -
Topologia dos sistemas autônomos : evoluçăo e prediçăo /
(2008)Orientadora: Cristina Duarte Murta