Buscas alternativas:
algorithms verification » algorithms identification (Expandir a busca), algorithms classification (Expandir a busca), algorithms vectorization (Expandir a busca)
verification problem » identification problems (Expandir a busca), classification problem (Expandir a busca), qualification problems (Expandir a busca)
algorithms verification » algorithms identification (Expandir a busca), algorithms classification (Expandir a busca), algorithms vectorization (Expandir a busca)
verification problem » identification problems (Expandir a busca), classification problem (Expandir a busca), qualification problems (Expandir a busca)
1
Assuntos:
“...Satisfiability problems...”
Automated verification of care pathways using constraint programming
Dissertação
2
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
3
4
Assuntos:
“...Algorithms...”
Uma abordagem para imputação de valores faltantes em problemas de classificação hierárquica multirrótulo
Dissertação
5
Assuntos:
“...Problema MQ...”
Proposta de aprimoramento para o protocolo de assinatura digital Quartz
Dissertação
6
“... 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
7
Assuntos:
“...Emotion verification...”
Análise de sinais de voz para reconhecimento de emoções.
Dissertação
8
Assuntos:
“...User verification...”
An investigation of biometric-based user predictability in the online game League of Legends
Dissertação
9
10
Assuntos:
“...Algorithms...”
z-NAF e clipping: two improvements for post-quantum hash-based digital signatures.
Dissertação
11
“... para problemas clássicos, o que nos permite alargar as fronteiras da computação em aspectos teóricos...”
Caminhada quântica escalonada em grade hexagonal
Tese
12
“... mathematical modeling of problems presented and using sequential algorithms and writings parallels in the...”
Modelos dinâmicos simplificados, para verificação do comportamento de rede de satélites amarrados por cabos flexíveis, usando-se o método explícito das diferenças finitas
Dissertação
13
14
“... quânticos, e podem ser usados para resolver eficientemente problemas como: distinção de elementos, avaliação...”
Modelo de caminhadas quânticas escalonado
Tese
15
“...Todo programador ou engenheiro de software lida com um problema crônico na concepção...”
Verificação distribuída de modelos: investigando o uso de grades computacionais.
Dissertação
16
“...Todo programador ou engenheiro de software lida com um problema crônico na concepção...”
Verificação distribuída de modelos: investigando o uso de grades computacionais.
Dissertação
17
“.... Como o problema de gerenciamento da cadeia de suprimentos apresenta uma estrutura recursiva, torna-se ainda...”
Planejamento integrado da cadeia de suprimentos da indústria do petróleo baseado em agentes holônicos.
Tese
18
“... IVL (Iterated Vertex Labelling) [Baroni (2012)]. GROOVE (GRaph-based Object-Oriented VErification...”
Estudo experimental da aplicação do algoritmo IVL na etapa de detecção de isomorfismos do GROOVE
Dissertação
19
20
“..., a integração de sistemas, a complexidade e o aumento do requisito de confiabilidade tornam diversos problemas...”
Estudo dos efeitos da sincronização sobre o transitório e a estabilidade de sistemas de controle por rede
Tese