Buscas alternativas:
algorithm induction » algorithm selection (Expandir a busca), algorithm generation (Expandir a busca)
induction programs » induction program (Expandir a busca), reduction programs (Expandir a busca), education programs (Expandir a busca)
algorithm induction » algorithm selection (Expandir a busca), algorithm generation (Expandir a busca)
induction programs » induction program (Expandir a busca), reduction programs (Expandir a busca), education programs (Expandir a busca)
1
Assuntos:
“...Induction motor...”
Protótipo virtual da estratégia DTC aplicada a motores de indução usando linguagem VHDL
Dissertação
2
Assuntos:
“...[en] INDUCTION MACHINES...”
[pt] AVALIAÇÃO DAS CONDIÇÕES DE SEGURANÇA DE TENSÃO NA PRESENÇA DE MOTORES DE INDUÇÃO E CAPACITORES CHAVEÁVEIS
Tese
3
“... um algoritmo de indução matemática conhecido como k-induction combinado ao uso de invariantes para verificar...”
Verificação de Programas Embarcados ANSI-C baseada em indução Matemática e Invariantes
Dissertação
4
“... para se avaliar o desempenho da PGLIQ e compará-lo com o do modelo AIMGP (Automatic Induction of Machine Code...”
[pt] PROGRAMAÇÃO GENÉTICA LINEAR COM INSPIRAÇÃO QUÂNTICA
Tese
5
6
“... algorithm has the potential to decrease radiation levels in DBT, also decreasing the cancer induction risks...”
Dose savings in digital breast tomosynthesis through image processing
Tese
7
8
“...-equivalence modulo A, C and AC are specified in Coq and proved sound. An algorithm implemented in OCaml...”
Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity
Tese