1
2
“... solutions focus only on Java programs, they do not consider the use of aspects to encapsulate crosscutting...”
Inference rules for generic code migration of aspect-oriented programs
Dissertação
3
“..., allowing an easy integration with the programs developed by the Gas Turbine Group. The program is based...”
Genetic algorithm for preliminary design optimisation of high-performance axial-flow compressors
Dissertação
4
“... for sequential programs due to the non-determinism, synchronization and inter-process communication. Mutation...”
Search based software testing for the generation of synchronization sequences for mutation testing of concurrent programs
Tese
5
Assuntos:
“...Artificial intelligence - Computer programs...”
Odysseýs : sistema para análise de documentos de patentes
Dissertação
6
Assuntos:
“...Concurrent programs...”
Otimização bioinspirada para apoio à geração de dados de teste para software concorrente
Tese
7
Assuntos:
“...Compilers (Computer Programs)...”
Algoritmos para escalonamento de instruções e alocação de registradores na infraestrutura LLVM
Dissertação
8
Assuntos:
“...Silico programs...”
Comparação de ferramentas in silico para avaliação de patogenicidade de variantes missense
Dissertação
9
Assuntos:
“...Algorithm...”
Parstool: uma ferramenta de auxílio a simulação de sistemas paralelos.
Dissertação
10
Assuntos:
“...Artificial intelligence;intelligence of plants; flower pollination algorithm; strawberry...”
ANÁLISE DO DESEMPENHO DE MÉTODOS DE INTELIGÊNCIA ARTIFICIAL BASEADOS NO COMPORTAMENTO DAS PLANTAS
Dissertação
11
Assuntos:
“...Evolutionary algorithm...”
Synthesizing interpretable strategies for real-time planning in zero-sum games
Tese
12
Assuntos:
“...Concurrent programs...”
Geração automática de dados de teste para programas concorrrentes com meta-heurística
Dissertação
13
Assuntos:
“...Algorithm...”
Métodos para computação da função de distribuição gama incompleta não-central, de sua inversa e do parâmetro de não-centralidade
Dissertação
14
Assuntos:
“...Genetic algorithm...”
Calibração de simuladores microscópicos de tráfego através de medidas macroscópicas
Dissertação
15
Assuntos:
“...Algorithm...”
Pensamento computacional no ensino da Matemática : desafios e possibilidades
Dissertação
16
Assuntos:
“...Genetic algorithm...”
Análise de comparação entre elitismos na calibração de fatores de atrito em redes hidráulicas por meio do método transiente inverso com aplicação de algoritmo genético
Dissertação
17
Assuntos:
“...Genetic algorithm...”
Algoritmos evolutivo multiobjetivo para seleção de variáveis em problemas de calibração multivariada
Dissertação
18
19
Assuntos:
“...K-MeansAlgorithm...”
Metodologia para avaliação do potencial de participação em programas de respostas da demanda de energia elétrica de consumidores industriais.
Dissertação
20
Assuntos:
“...Volume algorithm...”
Lagrangian decomposition methods for large-scale fixed-charge capacitated multicommodity network design problem
Tese