Navegação 40001016034P5 Programa de Pós-Graduação em Informática por título
Itens para a visualização no momento 424-443 of 487
-
Uma solução autonômica para k-exclusão mútua em sistemas distribuídos
(2014)Resumo: Uma das grandes vantagens dos sistemas distribuídos é o compartilhamento de recursos. No entanto, diversos processos podem solicitar o acesso a um recurso compartilhado de forma concorrente e, em certos casos, é ... -
Solução exata do problema da clique máxima
(2012-08-23)Resumo: O Problema da Clique Máxima é um problema fundamental com diversas aplicações. Vários algoritmos para sua solução são encontrados na literatura, grande parte deles empregando a técnica de Branch & Bound. Nesta ... -
Uma solução para o controle do fluxo das filas de cirurgias eletivas dentro de um hospital universitário
(2019)Resumo: A constante procura pela realização de procedimentos cirúrgicos no Sistema Único de Saúde, tem se tornado significativamente maior que a capacidade ofertada. Com esse aumento é inevitável que haja a existência de ... -
Spatio-temporal centroid based sign language facial expressions for animation synthesis in virtual environment
(2019)Resumo: Formalmente reconhecida como segunda lingua oficial brasileira, a BSL, ou Libras, conta hoje com muitas aplicacoes computacionais que integram a comunidade surda nas atividades cotidianas, oferecendo interpretes ... -
SPST-Index : a self pruning splay tree index for database cracking
(2017)Resumo: Em Database Cracking, uma coluna de banco de dados se organiza fisicamente, de maneira autônoma, em partições, um índice é então criado para otimizar o acesso a essas partições. A árvore AVL é a estrutura de dados ... -
Stunpede : um sistema P2P para conectividade fim-a-fim transparente na internet usando túneis IPV6-sobre-UDP /
(2008)Orientador: Elias P.Duarte Jr. -
Sumarização e análise de atividades práticas de direção para detecção e avaliação de estresse e ansiedade de motoristas
(2021)Resumo: Esta tese de doutorado apresenta uma abordagem para deteccao e analise de estados emocionais de estresse/ansiedade em motoristas a partir de dados coletados durante atividades praticas de direcao. O metodo proposto ... -
Super-resolution towards license plate recognition
(2023)Resumo: Nos últimos anos, houve avanços significativos no campo de Reconhecimento de placas de veiculares (LPR, do inglês License Plate Recognition) por meio da integração de técnicas de aprendizado profundo e do aumento ... -
Suporte ao aprendizado apoiado por múltiplas representações externas através da ánalise e remediação de erros
(2013-11-12)Resumo: Neste trabalho são apresentados vários aspectos que justificam a necessidade da utilização das múltiplas representações externas como parte fundamental no processo de remediação realizado por ferramentas de diagnóstico ... -
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 ...