Buscas alternativas:
constraint programming » concurrent programming (Expandir a busca)
based applications » and applications (Expandir a busca)
constraint programming » concurrent programming (Expandir a busca)
based applications » and applications (Expandir a busca)
1
Assuntos:
“...Constraint qualification...”
Constant rank-type constraint qualifications and second-order optimality conditions
Tese
2
Assuntos:
“...Constraint programming...”
Procedimentos híbridos na exploração do espaço de soluções de problemas de natureza combinatória uma aplicação ao planejamento florestal
Dissertação
3
Assuntos:
“...Price-based dynamic optimal power flow...”
Co-otimização de fluxo de potência ótimo dinâmico baseado em preço com agendamento de reparos
Tese
4
Assuntos:
“...[en] COLUMN-AND-CONSTRAINT-GENERATION ALGORITHM...”
[en] ENSURING RESERVE DEPLOYMENT IN HYDROTHERMAL POWER SYSTEMS PLANNING
Tese
5
Assuntos:
“...Integer programming...”
Um estudo computacional do problema do brigadista em grafos
Dissertação
6
Assuntos:
“...[en] MATH PROGRAMMING...”
[en] ALGORITHM RELAX-AND-CUT FOR THE 0-1 QUADRATIC KNAPSACK PROBLEM
Tese
7
Assuntos:
“...Integer linear programming...”
Inversão de forma de onda total baseada em otimização topológica por variável inteira.
Tese
8
Assuntos:
“...Nonlinear programming...”
Controle preditivo de trajetórias com restrição no sinal de controle via redes neurais
Dissertação
9
Assuntos:
“...Non-convex programming...”
Reconstrução de imagens esparsas de ultrassom através de aproximação linear do manifold de aquisição e busca iterativa não convexa
Tese
10
12
13
“... of admissible states for constraint observance, which is based on reachable sets obtained using the interval...”
Controle preditivo iterativo não linear multivariável sob restrições com complexidade temporal reduzida
Tese
14
“...Programação lógica com restrições (constraint logic programming, ou CLP) é uma classe de linguagens...”
Objetos Inteligentes Baseados em CLP para Aplicações Científicas
Dissertação
15
16
17
18
19
“... given. A rule-based nominal unification modulo C algorithm is specified in Coq and proved sound and...”
Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity
Tese