Buscas alternativas:
algorithms verification » algorithms identification (Expandir a busca), algorithms classification (Expandir a busca), algorithms vectorization (Expandir a busca)
verification and » nitrification and (Expandir a busca), verification of (Expandir a busca), identification and (Expandir a busca)
algorithms verification » algorithms identification (Expandir a busca), algorithms classification (Expandir a busca), algorithms vectorization (Expandir a busca)
verification and » nitrification and (Expandir a busca), verification of (Expandir a busca), identification and (Expandir a busca)
1
“... sobre grafos acíclicos direcionados chamados AIGs (AND-inverter graphs), os quais são estruturas...”
Parallel algorithms for scalable logic synthesis & verification
Tese
3
“.... We then test our algorithms in 113 real care pathways used both in hospitals and surgeries. Using our...”
Automated verification of care pathways using constraint programming
Dissertação
5
“... 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
6
Assuntos:
“...[en] FORMAL VERIFICATION...”
[pt] ANÁLISE FORMAL DE PROTOCOLOS E ALGORITMOS DISTRIBUÍDOS: UMA ABORDAGEM BASEADA EM LINGUAGEM
Tese
7
“... essential for ecological research and supervised machine learning algorithms, which use them as training...”
Visual Analytics to Assist Event Labelling Verification in Soundscape Ecology
Dissertação
8
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
9
10
Assuntos:
“...Validation and Verification...”
Estratégias para controlar o tamanho da suíte de teste gerada a partir de abordagens MBT.
Tese
11
Assuntos:
“...Validation and Verification...”
Estratégias para controlar o tamanho da suíte de teste gerada a partir de abordagens MBT.
Tese
12
Assuntos:
“...[en] MEASUREMENT AND VERIFICATION...”
[en] INTELLIGENT ENERGY SYSTEM DIAGNOSTICS AND ANALYSIS OF INVESTMENTS IN ENERGY EFFICIENCY PROJECTS MANAGED BY DEMAND SIDE
Tese
13
Assuntos:
“...Emotion verification...”
Análise de sinais de voz para reconhecimento de emoções.
Dissertação
14
15
Assuntos:
“...Crystals-kyber (Cryptographic algorithms)...”
Implementação em Software dos Algoritmos Pós-Quânticos Kyber e Dilithium na Plataforma ARMv8
Dissertação
16
17
Assuntos:
“...User verification...”
An investigation of biometric-based user predictability in the online game League of Legends
Dissertação
18
Assuntos:
“...Authenticity verification...”
MARDI: Marca d'água Digital Robusta via Decomposição de Imagens : uma proposta para aumentar a robustez de técnicas de marca d'água digital
Tese
19
Assuntos:
“...Algorithms...”
Securetrade: a secure protocol based on transferable E-cash for exchanging cards in P2P trading card games.
Dissertação
20
Assuntos:
“...Algorithms...”
Mapas conceituais e os conceitos da disciplina de algoritmos: uma aplicação para a aprendizagem significativa
Dissertação