Buscas alternativas:
algorithms verification » algorithms identification (Expandir a busca), algorithms classification (Expandir a busca), algorithms vectorization (Expandir a busca)
verification theorem » verification system (Expandir a busca), bifurcation theorem (Expandir a busca), codification theory (Expandir a busca)
algorithms verification » algorithms identification (Expandir a busca), algorithms classification (Expandir a busca), algorithms vectorization (Expandir a busca)
verification theorem » verification system (Expandir a busca), bifurcation theorem (Expandir a busca), codification theory (Expandir a busca)
1
Assuntos:
“...Lattice gauge theory...”
Confinement, ghost sector and geometry in lattice gauge theories
Dissertação
2
Assuntos:
“...Lyapunov theory...”
Avanços em sistemas de transmissão multi-terminais hvdc: controles não-lineares para conversores modulares multiníveis.
Tese
3
Assuntos:
“...Category theory...”
Improving conflict detection in double-pushout graph transformation
Dissertação
4
Assuntos:
“...Van Hiele’s theory...”
Propriedades da Geometria Plana exploradas por alunos do Ensino Fundamental com o uso do GeoGebra Discovery
Tese
5
“... é se os teoremas da teoria T podem, ou não, serem verificados através de um algoritmo que termina.Uma abordagem...”
Sistemas de reescrita de termos: teoria e uma aplicação
Dissertação
6
“... 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
7
“... 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
8
“... collected in the simulation allow the verification of design and operating limits for the prototype...”
Projeto iterativo, simulação, análise e otimização de máquina a relutância variável monofásica
Dissertação
9
“...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
10
“... improvement of the energy supplied with the installation of GD. Practical verification of the developed theory...”
Metodologia para localização e dimensionamento de pequenas fontes de geração distribuída em redes de distribuição a partir de uma análise multicriterial
Tese
11
“... validation and verification of concurrent systems, it is essential to investigate the presence or absence...”
A strategy for local analysis of determinism
Dissertação