Mostrando 1 - 4 resultados de 4 para a busca 'using math programming in algorithm and base functions and function~', tempo de busca: 1,81s

1

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

2

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

Publicado em 2017
Dissertação

3

Assuntos: ...Soil and Covariate Data...

Análise de fontes de incerteza na modelagem espacial do solo

Publicado em 2016
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 .

Publicado em 2024
Dissertação