Mostrando 1 - 20 resultados de 23 para a busca 'algorithm math programming', tempo de busca: 0,13s

11

... em SMT, como: Z3, Boolector e MathSAT. Para avaliação de desempenho, os algoritmos são aplicados...

Um novo método de otimização baseado em teorias de satisfatibilidade

Publicado em 2017
Dissertação

14

...-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

16

... are investigated, the Genetic Programming and Artificial Neural Networks. Still, in many cases the...

PROGRAMAÇÃO GENÉTICA, REDES NEURAIS ARTIFICIAIS E TÉCNICAS DE BALANCEAMENTO NA MODELAGEM DE DADOS AGRÍCOLAS: ESTUDO DA DOENÇA MOFO BRANCO

Publicado em 2012
Dissertação

20

... Networks on the type of Multilayer Perceptron and the backpropagation training algorithm of backpropagation...

APLICAÇÃO DE REDES NEURAIS ARTIFICIAIS NO TRATAMENTO DE DADOS AGROMETEOROLÓGICOS VISANDO A CORREÇÃO DE SÉRIES TEMPORAIS

Publicado em 2012
Dissertação