Buscas alternativas:
algorithms verification » algorithms identification (Expandir a busca), algorithms classification (Expandir a busca), algorithms vectorization (Expandir a busca)
verification theory » codification theory (Expandir a busca), justification theory (Expandir a busca), variation theory (Expandir a busca)
algorithms verification » algorithms identification (Expandir a busca), algorithms classification (Expandir a busca), algorithms vectorization (Expandir a busca)
verification theory » codification theory (Expandir a busca), justification theory (Expandir a busca), variation theory (Expandir a busca)
1
Assuntos:
“...Emotion verification...”
Análise de sinais de voz para reconhecimento de emoções.
Dissertação
2
Assuntos:
“...Lattice gauge theory...”
Confinement, ghost sector and geometry in lattice gauge theories
Dissertação
3
Assuntos:
“...Category theory...”
Improving conflict detection in double-pushout graph transformation
Dissertação
4
“...Dada uma teoria equacional T, isto é, um conjunto T de equações, uma pergunta que se faz...”
Sistemas de reescrita de termos: teoria e uma aplicação
Dissertação
5
Assuntos:
“...Lyapunov theory...”
Avanços em sistemas de transmissão multi-terminais hvdc: controles não-lineares para conversores modulares multiníveis.
Tese
6
“... da teoria dos números, pois existem vários critérios de divisibilidade para um mesmo número. Por isso, faz...”
Análise Comparativa de Critérios de Divisibilidade por 7: Teoria e Tecnologia
Dissertação
7
Assuntos:
“...Algorithms...”
Metodologia 7Cs: uma proposta de ensino e aprendizagem para disciplinas introdutórias à programação
Dissertação
8
Assuntos:
“...Van Hiele’s theory...”
Propriedades da Geometria Plana exploradas por alunos do Ensino Fundamental com o uso do GeoGebra Discovery
Tese
9
10
“...Fault localization algorithms are frequently used in electrical power systems with the objective...”
Algoritmo para localização de faltas em linhas de transmissão baseado na teoria de estimação de estados
Dissertação
11
Assuntos:
“...Teoria dos grafos...”
Estudo experimental da aplicação do algoritmo IVL na etapa de detecção de isomorfismos do GROOVE
Dissertação
12
Assuntos:
“...Árvores (Teoria dos grafos)...”
Uso de arvore de componentes para filtragem, segmentação e detecção de padrões em imagens digitais
Tese
13
Assuntos:
“...Teoria da informação...”
Abordagem contextual paramétrica na análise de componentes principais
Tese
14
“...O presente trabalho aborda os estudos desenvolvidos na teoria de conectividade. O problema...”
Estimabilidade em delineamentos desconexos
Dissertação
15
“... comparando os resultados com os algoritmos FTM, PTP e SR, abordando o problema através de teoria, análise...”
Estudo dos efeitos da sincronização sobre o transitório e a estabilidade de sistemas de controle por rede
Tese
16
“..., electric and hybrid vehicles and wind power generation. This paper explores the theory, operation, design...”
Projeto iterativo, simulação, análise e otimização de máquina a relutância variável monofásica
Dissertação
17
“... de Satisfatibilidade (Satisfiability Modulo Theories - SMT). Durante o trabalho é detalhado a metodologia e exemplo...”
Uma abordagem de otimização guiada por contraexemplos usando solucionadores SAT e SMT
Dissertação
18
“... e têm incorporadas a si um conjunto volumoso de teoria, propriedades e ferramentas, desenvolvidos ao longo desses...”
PROPRIEDADES DINÂMICAS DE STATECHARTS
Dissertação
19
“... o rigor. Com fulcro na teoria do newsmaking, o modelo criado serviu como parâmetro para avaliação...”
[en] A CASE STUDY OF OPEN DATA JOURNALISM: METHOD, EVIDENCE, AND TRANSPARENCY IN THE PRODUCTIVE ROUTINES IN BRAZIL AND ENGLAND
Tese