1
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
2
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
3
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
4
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
Geração automática de hardware concorrente verificado
Dissertação
5
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
6
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
7
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
Unveiling the teaching methods adopted in DevOps courses
Dissertação
8
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
Linear logic as a logical framework
Tese
9
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
10
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
Reversal fuzzy switch graphs
Tese
11
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
12
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
13
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
14
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
15
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO...”
Algebraization in quasi-Nelson logics
Dissertação
16
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
Abordagem orientada a aspectos para o monitoramento de plataformas para cidades inteligentes
Dissertação
17
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
Melhorando o rotulamento de papel retórico legal através de dados adicionais e uso eficiente de modelos transformadores
Tese
18
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
19
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
20
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...”
O problema do caixeiro viajante com múltiplos passageiros, bônus opcionais, quota e tempo
Tese