Buscas alternativas:
algorithms verification » algorithms identification (Expandir a busca), algorithms classification (Expandir a busca), algorithms vectorization (Expandir a busca)
verification problems » identification problems (Expandir a busca), qualification problems (Expandir a busca), classification problems (Expandir a busca)
algorithms verification » algorithms identification (Expandir a busca), algorithms classification (Expandir a busca), algorithms vectorization (Expandir a busca)
verification problems » identification problems (Expandir a busca), qualification problems (Expandir a busca), classification 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
“... 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:
“...Problema MQ...”
Proposta de aprimoramento para o protocolo de assinatura digital Quartz
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
“... quânticos, e podem ser usados para resolver eficientemente problemas como: distinção de elementos, avaliação...”
Modelo de caminhadas quânticas escalonado
Tese
14
“..., 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
15
“... 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
16
17
“...Os problemas de matemática aplicada, em particular os ligados à modelagem, são em geral...”
Computação algébrica: sistemas de software estrutura e algoritmo de risch.
Dissertação
18
“...Os problemas de matemática aplicada, em particular os ligados à modelagem, são em geral...”
Computação algébrica: sistemas de software estrutura e algoritmo de risch.
Dissertação
19
20
“.... Therefore, the analysis and verification of these problems through the simulator, allows the user...”
Simulador computacional para poços de petróleo com método de elevação artificial por bombeio mecânico
Dissertação