Buscas alternativas:
algorithms verification » algorithms identification (Expandir a busca), algorithms classification (Expandir a busca), algorithms vectorization (Expandir a busca)
verification programa » certification program (Expandir a busca), eradication programs (Expandir a busca), eradication program (Expandir a busca)
algorithms verification » algorithms identification (Expandir a busca), algorithms classification (Expandir a busca), algorithms vectorization (Expandir a busca)
verification programa » certification program (Expandir a busca), eradication programs (Expandir a busca), eradication program (Expandir a busca)
2
“... algorithms, we were able to find 295 problems taking less than 1 second to complete the verification on most...”
Automated verification of care pathways using constraint programming
Dissertação
5
Assuntos:
“...Biometrics, Hand Geometry, Palmprint, Genetic Algorithms, Verification, Classification...”
Classificação e Verificação Multibiométrica por Geometria da Mão e Impressão Palmar com Otimização por Algoritmos Genéticos
Dissertação
6
7
“... to trust in a label of a code change. And this amount of time is known as verification latency. Another...”
Batch algorithms and fixed prediction rates for online Just-In-Time Software Defect Prediction
Dissertação
8
Assuntos:
“...Validation and Verification...”
Estratégias para controlar o tamanho da suíte de teste gerada a partir de abordagens MBT.
Tese
9
Assuntos:
“...Validation and Verification...”
Estratégias para controlar o tamanho da suíte de teste gerada a partir de abordagens MBT.
Tese
10
Assuntos:
“...Crystals-kyber (Cryptographic algorithms)...”
Implementação em Software dos Algoritmos Pós-Quânticos Kyber e Dilithium na Plataforma ARMv8
Dissertação
11
Assuntos:
“...Algorithms...”
Mapas conceituais e os conceitos da disciplina de algoritmos: uma aplicação para a aprendizagem significativa
Dissertação
12
Assuntos:
“...Computer algorithms...”
A ideia principal de um texto acadêmico: um meio para descrever tendências semânticas
Tese
13
Assuntos:
“...Data verification...”
Serviços de validação de dados cadastrais e biométricos a partir do caso “Datavalid”
Dissertação
14
15
Assuntos:
“...Computer algorithms...”
Desenvolvimento de metodologia para monitoramento remoto de rodovias: VANTRod
Dissertação
16
Assuntos:
“...Algorithms...”
Metodologia 7Cs: uma proposta de ensino e aprendizagem para disciplinas introdutórias à programação
Dissertação
17
Assuntos:
“...Algorithms...”
Desenvolvimento de um sistema distribuído de identificação em tempo real de parâmetros de qualidade de energia elétrica
Dissertação
18
Assuntos:
“...Algorithms...”
Uma abordagem para imputação de valores faltantes em problemas de classificação hierárquica multirrótulo
Dissertação
19
Assuntos:
“...Algorithms...”
Avaliação de algoritimos para geração de imagens por ultrassom utilizando técnicas de beamformers adaptativos e sparse arrays
Dissertação
20
Assuntos:
“...Programação linear - Processamento de dados...”
Um método de pré-processamento de fórmulas SAT e pseudo-boolean baseado em técnicas de programação linear inteira mista
Tese