1
Assuntos:
“...Integer Linear Program...”
The k-labeled spanning forest problem : complexity, approximability, formulations and algorithms
Dissertação
2
“... programming formulations, column generation approaches and parallel metaheuristic based algorithms to compute...”
Models and algorithms for high school timetabling problems
Tese
3
“...Teaching Introductory Programming and Data Structures and Algorithms is an important part...”
Willow : a tool for interactive data structures and algorithms visualization
Dissertação
4
Assuntos:
“...Compiladores (Programas de Computador)...”
Algoritmos para escalonamento de instruções e alocação de registradores na infraestrutura LLVM
Dissertação
5
6
“... naturally appears in software development: during design, and while evolving, testing and analyzing programs...”
Type inference for C: applications to the analysis of incomplete programs
Tese
7
“... community as a field with the potential to increase phenotyping cost-effectiveness and accuracy...”
High-throughput phenotyping via UAS: the optimization within a breeding program and a new validation method based on simulation
Tese
8
Assuntos:
“...Algorithms...”
Algoritmos relax-and-cut para problemas de programação inteira 0-1
Tese
9
Assuntos:
“...MATLAB (Programa de computador)...”
Development and simulation of an autonomous parking system using a low-cost lidar sensor and ultrasonic sensors
Dissertação
10
“... 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
11
“... 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
12
“... de tratamento é de fundamental importância, permitindo a análise dos dados gerados nos programas...”
Machine learning algorithms for assessment and prediction of the performance of wastewater treatment plants
Tese
13
Assuntos:
“...Evolutionary algorithms...”
Optimizing propeller performance: a comprehensive constrained multi-objective design approach using blade element theory and evolutionary algorithms
Tese
14
“...Detailed routing is one of the most challenging and time-consuming steps of the design...”
SmartDR: algorithms and techniques for fast detailed routing with good design rule handling
Tese
15
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
16
Assuntos:
“...Estimation Of Distribution Algorithms...”
Development of estimation of distribution algorithms for linear genetic programming
Tese
17
“...-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
18
“... approximated accuracies from two algorithms implemented in the BLUPF90 suite of programs and compare the...”
Genomic analysis for feed efficiency traits in beef cattle and algorithms to approximate accuracies for single-step genomic best linear unbiased predictor
Tese