• Análise de erros de métodos discretos para problemas de contorno em malhas arbitrárias 

      Lorenzzetti, Greice da Silva (2008) [Tesis de maestría]
      Neste trabalho, examinamos detalhadamente um procedimento de análise, introduzido em [21] e desenvolvido em [11] e [18], para a investigação dos erros em malhas arbitrárias, decorrentes de métodos discretos (diferenças ...
    • Testabilidade de propriedades de estruturas discretas 

      Calegari, Rafael (2022) [Tesis de maestría]
      Diante de instâncias intratáveis de problemas de decisão, assim en- tendidas como entradas para os respectivos algoritmos que sejam tão longas, que não permitem que se assegure o processamento de tal algoritmo sobre a dada ...