Mostrando 1 - 14 resultados de 14 para a busca 'math programming method algorithm linear method', tempo de busca: 0,25s

9

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

13

... donovani, jun- tamente com uma análise de métodos lineares e não lineares de aprendizado de máquina...

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