Buscas alternativas:
contexto programming » convex programming (Expandir a busca), cone programming (Expandir a busca), control programming (Expandir a busca)
parallel sat » parallel state (Expandir a busca), parallel data (Expandir a busca), parallel scan (Expandir a busca)
sat contexto » rato contexto (Expandir a busca), ead contexto (Expandir a busca), sob contexto (Expandir a busca)
contexto programming » convex programming (Expandir a busca), cone programming (Expandir a busca), control programming (Expandir a busca)
parallel sat » parallel state (Expandir a busca), parallel data (Expandir a busca), parallel scan (Expandir a busca)
sat contexto » rato contexto (Expandir a busca), ead contexto (Expandir a busca), sob contexto (Expandir a busca)
1
Assuntos:
“...Parallel SAT solver...”
Parallel SAT solvers and their application in automatic parallelization
Dissertação
2
“... – Método de Grupo de Manipulação de Dados) e, no contexto multivariado, identificar as relações existentes...”
Modelagem de curto prazo de séries temporais climáticas utilizando redes neurais artificiais, modelos aditivos generalizados e sazonais autoregressivos integrados de médias móveis...
Tese