• Análise formal da complexidade de algoritmos genéticos 

      Aguiar, Marilton Sanchotene de (1998) [Dissertação]
      O objetivo do trabalho é estudar a viabilidade de tratar problemas de otimização, considerados intratáveis, através de Algoritmos Genéticos, desenvolvendo critérios para a avaliação qualitativa de um Algoritmo Genético. ...
    • Um modelo categorizador intervalar n-dimensional com l-camadas baseado em tesselações 

      Aguiar, Marilton Sanchotene de (2003) [Tese]
      O ICTM (Interval Categorizer Tesselation Model), objeto da presente tese, é um modelo geral para análise de espaços de natureza geométrica, baseado em tesselaçoes, que é capaz de produzir uma categorização confiável de ...