1
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
Unveiling the teaching methods adopted in DevOps courses
Dissertação
2
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
Geração automática de hardware concorrente verificado
Dissertação
3
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
Método paralelo de superiorização para problemas de ajuste de histórico usando priors sísmicos a suavidade por partes
Tese
4
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
Reconstrução tridimensional de feridas utilizando descritores de pontos: um estudo comparativo
Dissertação
5
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
Face biometrics for differentiating typical development and autism spectrum disorder: a methodology for collecting and evaluating a dataset
Dissertação
6
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
Usando técnicas de federated learning para aprimorar modelos de inteligência artificial no contexto das instituições públicas brasileiras
Dissertação
7
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
Especificação e verificação CSP de um sistema de intertravamento ferroviário baseado em relé
Dissertação
8
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
SDNoC 42: modelo de SDNoC baseada em otimização de caminhos mínimos
Dissertação
9
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
Improvements on graph path queries: expression, evaluation, and minimum-weight satisfiability
Tese
10
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
Um Framework para correção sistematizada de Requirements Smells através de Técnicas de Refatoração
Tese
11
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
Meta-heurísticas de otimização tradicionais e híbridas utilizadas para construção de comitês de classificação
Tese
12
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
Uma estratégia autonômica para escalabilidade automática de infraestruturas de plataformas para cidades inteligentes
Tese
13
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
Linear logic as a logical framework
Tese
14
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
Seleção e rotulagem de instâncias para métodos semissupervisionados indutivos
Tese
15
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
Reversal fuzzy switch graphs
Tese
16
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
Uma metodologia para criação de grandes bases de voz para linguagens com recursos escassos, e inclusão social por conversão de sotaques para PT-BRal
Tese
17
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
Understanding challenges and recommendations in DevOps Education
Tese
18
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
Elicitação colaborativa de requisitos: um método com foco no engajamento
Dissertação
19
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
Plano de monitoramento auto-organizado na granularidade de cloud-network slices
Dissertação
20
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO...”
Algebraization in quasi-Nelson logics
Dissertação