1
Assuntos:
“...Integer Linear Program...”
The k-labeled spanning forest problem : complexity, approximability, formulations and algorithms
Dissertação
2
3
“... 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
4
“... 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
5
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
6
“...-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
7
“...Teaching Introductory Programming and Data Structures and Algorithms is an important part...”
Willow : a tool for interactive data structures and algorithms visualization
Dissertação
8
“... pela edificação. Propõe-se um modelo de algoritmos genéticos que, juntamente com um programa de simulação...”
[en] BUILDINGS ENERGY EFFICIENCY–BUILDING OPTIMIZATION USING GENETIC ALGORITHMS
Tese
9
Assuntos:
“...Approximation algorithms...”
On rounding algorithms for the 2-edge-connected spanning subgraph problem
Dissertação
10
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
11
Assuntos:
“...Python (Computer program language)...”
Soluções de equações diofantinas lineares padrões de ordem superior
Dissertação
12
13
Assuntos:
“...Algorithms...”
Uma ferramenta para otimização em síntese de alto nível baseada em reconhecimento funcional e mapeamento de componentes.
Dissertação
14
“...-motion algorithms using UAS-like rendered images, enabling inference-making about tested factors. This...”
High-throughput phenotyping via UAS: the optimization within a breeding program and a new validation method based on simulation
Tese
15
Assuntos:
“...Evolutionary algorithms...”
Optimizing propeller performance: a comprehensive constrained multi-objective design approach using blade element theory and evolutionary algorithms
Tese
16
17
Assuntos:
“...Genetic algorithms...”
Otimização topológica e paramétrica de vigas de concreto armado utilizando algoritmos genéticos.
Dissertação
18
Assuntos:
“...Algorithms...”
Metodologia para cálculo de projeto e análise de propulsores utilizando a teoria de vórtices
Dissertação
19
Assuntos:
“...Compiladores (Programas de Computador)...”
Algoritmos para escalonamento de instruções e alocação de registradores na infraestrutura LLVM
Dissertação
20
Assuntos:
“...Algorithms - Development...”
Sistema de posicionamento em ambientes internos baseado em bluetooth low energy com uso de filtragem estocástica e fusão de sensores
Dissertação