Buscas alternativas:
algorithm math » algorithm with (Expandir a busca), algorithm ma4 (Expandir a busca), algorithms with (Expandir a busca)
math problems » with problems (Expandir a busca), path problem (Expandir a busca), data problems (Expandir a busca)
algorithm math » algorithm with (Expandir a busca), algorithm ma4 (Expandir a busca), algorithms with (Expandir a busca)
math problems » with problems (Expandir a busca), path problem (Expandir a busca), data problems (Expandir a busca)
1
Assuntos:
“...[en] MATH PROGRAMMING...”
[en] ALGORITHM RELAX-AND-CUT FOR THE 0-1 QUADRATIC KNAPSACK PROBLEM
Tese
2
3
“... performed using also an improved algorithm. Upper bounds for solving nominal equality-checking problems are...”
Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity
Tese
4
5
Assuntos:
“...Math education....”
Ensino da matemática por meio de problemas clássicos de otimização combinatória
Dissertação
6
Assuntos:
“...location problems...”
O problema do 1-centro em árvores: variações e aplicações
Dissertação
7
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
8
Assuntos:
“...Algorithm...”
Conjunto estruturado de atividades didáticas para o ensino introdutório de programação
Tese
9
Assuntos:
“...problems...”
O conceito de fração em seus diferentes significados: um estudo diagnóstico junto a professores que atuam no Ensino Fundamental
Dissertação
10
Assuntos:
“...Euclid algorithm...”
Congruência e equações Diofantinas: uma proposta para o ensino básico
Dissertação
11
Assuntos:
“...Particle swarm optimization algorithm...”
Stability and stabilization of sampled-data control for lure systems
Dissertação
12
Assuntos:
“...Algorithm...”
Grafo e o problema do caminho mínimo: algoritmo e programação em Pascal
Dissertação
13
“...Neste trabalho apresenta-se o algoritmo 3MS (Majority Math Model Solver), utilizado para síntese...”
Optimization models for majority logic synthesis
Tese
14
“... 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
15
16
“... durante a resolução de equações de primeiro grau em um Sistema Tutor Inteligente (PAT2Math), em sujeitos...”
Regulação emocional personalizada para sistemas tutoresinteligentes por meio de traços de personalidade
Tese
17
19
“...The constant rank constraint qualification, introduced by Janin in [Math. Program. Study 21:110-126...”
Constant rank-type constraint qualifications and second-order optimality conditions
Tese