1
Assuntos:
“...Integer Linear Program...”
The k-labeled spanning forest problem : complexity, approximability, formulations and algorithms
Dissertação
2
Assuntos:
“...Algorithms...”
HotFill: cooling time constrained raster-fill planning algorithm for extrusion 3D printing
Dissertação
3
Assuntos:
“...[en] GENETIC ALGORITHM...”
[en] BUILDINGS ENERGY EFFICIENCY–BUILDING OPTIMIZATION USING GENETIC ALGORITHMS
Tese
4
5
“... sintática do código. Para evoluir famílias de programas de forma segura, foram propostas duas estratégias...”
An approach to safely evolve preprocessor-based C program families.
Tese
6
“... sintática do código. Para evoluir famílias de programas de forma segura, foram propostas duas estratégias...”
An approach to safely evolve preprocessor-based C program families.
Tese
7
Assuntos:
“...Arredondamento de programa linear...”
Approximation algorithms for hub location problems : Algoritmos de aproximação para problemas de localização e alocação de terminais
Dissertação
8
“...-se uma tarefa humanamente inviável. Um assistente de provas é um programa cuja finalidade é realizar...”
[en] FORMALIZATION OF CRYPTOGRAPHY ALGORITHMS IN AN INTERACTIVE THEOREM PROVER
Tese
9
Assuntos:
“...Alberta Stroke Program Early CT Score...”
Proposta e avaliação de um método de segmentação para Alberta Stroke Program Early CT Score
Dissertação
10
11
“...[pt] Neste trabalho desenvolveu-se um programa numérico geral capaz de resolver as equações...”
[en] A COMPUTER PROGRAM TO SOLVE THE THREE-DIMENSIONAL TRANSPORT PHENOMENA EQUATIONS
Tese
12
Assuntos:
“...Síntese de programas...”
Synthesizing interpretable strategies for real-time planning in zero-sum games
Tese
13
Assuntos:
“...Genetic algorithm...”
ChicuxBot : genetic algorithm configured behavior network multi-agent for Quake II
Dissertação
14
“... computational program based upon the streamline curvature method, using correlations from the literature...”
Genetic algorithm for preliminary design optimisation of high-performance axial-flow compressors
Dissertação
15
“...Teaching Introductory Programming and Data Structures and Algorithms is an important part...”
Willow : a tool for interactive data structures and algorithms visualization
Dissertação
16
Assuntos:
“...Approximation algorithms...”
On rounding algorithms for the 2-edge-connected spanning subgraph problem
Dissertação
17
Assuntos:
“...Python (Computer program language)...”
Soluções de equações diofantinas lineares padrões de ordem superior
Dissertação
18
Assuntos:
“...MATLAB (Programa de computador)...”
Algoritmos genéticos e de evolução diferencial aplicados à otimização de controladores utilizando a norma H2 como critério de desempenho
Dissertação
19
20
Assuntos:
“...Algorithms...”
Uma ferramenta para otimização em síntese de alto nível baseada em reconhecimento funcional e mapeamento de componentes.
Dissertação