1
Assuntos:
“...[en] MATH PROGRAMMING...”
[en] ALGORITHM RELAX-AND-CUT FOR THE 0-1 QUADRATIC KNAPSACK PROBLEM
Tese
2
3
Assuntos:
“...math programming...”
Otimização do microplanejamento na colheita de madeira em plantios de eucalipto
Dissertação
4
Assuntos:
“...[en] MATH PROGRAMMING...”
[en] OPTIMAL DESIGN OF PLANAR FRAMES WITH STABILITY CONSTRAINTS.
Tese
5
Assuntos:
“...Math-heuristic...”
Scalable cost-efficient placement and chaining of virtual network functions
Tese
6
Assuntos:
“...Math Applied to Physics...”
O Uso de Mateheurísticas Para o Problema de Escolha dos Feixes de um Modelo de Otimização Aplicado ao Problema de Planejamento de Radioterapia
Dissertação
7
Assuntos:
“...Linear programming...”
Programação linear e suas aplicações: definição e métodos de soluções
Dissertação
8
Assuntos:
“...Algorithm...”
Conjunto estruturado de atividades didáticas para o ensino introdutório de programação
Tese
9
Assuntos:
“...Algorithm...”
Grafo e o problema do caminho mínimo: algoritmo e programação em Pascal
Dissertação
10
Assuntos:
“...Second-order cone programming...”
Constant rank-type constraint qualifications and second-order optimality conditions
Tese
11
12
“... 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
Dissertação
14
15
16
17
“...-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
18
“... 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
Dissertação