Buscas alternativas:
math programming » fetal programming (Expandir a busca), goal programming (Expandir a busca), gpu programming (Expandir a busca)
programming on » programming of (Expandir a busca), programming in (Expandir a busca), programming and (Expandir a busca)
base functions » base function (Expandir a busca), basis functions (Expandir a busca), hash functions (Expandir a busca)
on algorithms » of algorithms (Expandir a busca), and algorithms (Expandir a busca), ant algorithms (Expandir a busca)
algorithms to » algorithms _ (Expandir a busca), algorithms and (Expandir a busca), algorithm _ (Expandir a busca)
functions and » function and (Expandir a busca), functional and (Expandir a busca), functions in (Expandir a busca)
and function » and functional (Expandir a busca), and fiction (Expandir a busca), _ function (Expandir a busca)
using math » using batch (Expandir a busca), using paths (Expandir a busca), using atr (Expandir a busca)
to base » po base (Expandir a busca), to bake (Expandir a busca), topo base (Expandir a busca)
math programming » fetal programming (Expandir a busca), goal programming (Expandir a busca), gpu programming (Expandir a busca)
programming on » programming of (Expandir a busca), programming in (Expandir a busca), programming and (Expandir a busca)
base functions » base function (Expandir a busca), basis functions (Expandir a busca), hash functions (Expandir a busca)
on algorithms » of algorithms (Expandir a busca), and algorithms (Expandir a busca), ant algorithms (Expandir a busca)
algorithms to » algorithms _ (Expandir a busca), algorithms and (Expandir a busca), algorithm _ (Expandir a busca)
functions and » function and (Expandir a busca), functional and (Expandir a busca), functions in (Expandir a busca)
and function » and functional (Expandir a busca), and fiction (Expandir a busca), _ function (Expandir a busca)
using math » using batch (Expandir a busca), using paths (Expandir a busca), using atr (Expandir a busca)
to base » po base (Expandir a busca), to bake (Expandir a busca), topo base (Expandir a busca)
1
“... de verificação de modelos, baseada na teoria de satisfatibilidade booleana (SAT) ou na teoria do módulo...”
Um novo método de otimização baseado em teorias de satisfatibilidade
Dissertação
2
“... equacional são fornecidos. Um algoritmo de unificação módulo C baseado em regras de redução é especificado...”
Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity
Tese
3
Assuntos:
“...Soil and Covariate Data...”
Análise de fontes de incerteza na modelagem espacial do solo
Tese
4
“... contra leishmaniose são administrados com base na inibição de outras doenças e tem efeitos colaterais...”
Uso de algoritmos de aprendizado de máquina para a busca de modelos de previsão da atividade inibitória da enzima n-miristoiltransferase de leishmania donovani .
Dissertação