Showing 1 - 15 results of 15 for search 'Ayala-Rincón, Mauricio', query time: 0.11s Refine Results
  1. 1
    Ordenação por translocação de genomas sem sinal utilizando algoritmos genéticos
    by Silveira, Lucas Ângelo da
    Published 2016
    Other Authors: “...Ayala-Rincón, Mauricio...”
    Get full text
  2. 2
    Ordenação de sequências finitas por reversões usando conjugações em grupos de permutações
    by Moraes, José Luiz Correa de
    Published 2012
    Other Authors: “...Ayala-Rincón, Mauricio...”
    Get full text
  3. 3
    Um índice baseado em árvores de sufixos comprimidas com baixo consumo de memória
    by Nunes, Daniel Saad Nogueira
    Published 2013
    Other Authors: “...Ayala-Rincón, Mauricio...”
    Get full text
  4. 4
    Ordenação por reversões de permutações sem sinal usando uma abordagem de algoritmos genéticos
    by Soncco Álvarez, José Luis
    Published 2013
    Other Authors: “...Ayala-Rincón, Mauricio...”
    Get full text
  5. 5
    Cálculo da distância de reversão e construção de árvores filogenéticas usando a ordem dos genes
    by Soncco Álvarez, José Luis
    Published 2017
    Other Authors: “...Ayala-Rincón, Mauricio...”
    Get full text
  6. 6
    Formalização da terminação de especificações funcionais
    Other Authors: “...Ayala-Rincón, Mauricio...”
    Get full text
  7. 7
    Verificação formal de protocolos criptográficos – o caso dos protocolos em cascata
    by Nogueira, Rodrigo Borges
    Published 2009
    Other Authors: “...Ayala-Rincón, Mauricio...”
    Get full text
  8. 8
    Um algoritmo para pesquisa aproximada de padrões baseado no método de Landau e Vishkin e uso de arranjos de sufixos para reduzir o uso de espaço
    Other Authors: “...Ayala-Rincón, Mauricio...”
    Get full text
  9. 9
    O problema da dedução do intruso para um protocolo criptográfico especificado via reescrita módulo AC
    by Nantes Sobrinho, Daniele
    Published 2010
    Other Authors: “...Ayala-Rincón, Mauricio...”
    Get full text
  10. 10
    Cálculos de substituições explícitas à la de Bruijn com sistemas de tipos com interseção
    by Ventura, Daniel Lima
    Published 2011
    Other Authors: “...Ayala-Rincón, Mauricio...”
    Get full text
  11. 11
    Uma formalização da teoria de reescrita em linguagem de ordem superior
    by Galdino, André Luiz
    Published 2009
    Other Authors: “...Ayala-Rincón, Mauricio...”
    Get full text
  12. 12
    Representação combinatória e algébrica das permutações na análise do problema de rearranjo de genomas por reversões
    by Lima, Thaynara Arielly de
    Published 2010
    Other Authors: “...Ayala-Rincón, Mauricio...”
    Get full text
  13. 13
    Formalização da automação da terminação através de grafos com matrizes de medida
    by Avelar, Andréia Borges
    Published 2015
    Other Authors: “...Ayala-Rincón, Mauricio...”
    Get full text
  14. 14
    Verificação de implementações em hardware por meio de provas de correção de suas definições recursivas
    by Almeida, Ariane Alves
    Published 2014
    Other Authors: “...Ayala-Rincón, Mauricio...”
    Get full text
  15. 15
    Formalização da confluência para sistemas de reescrita ortogonais
    by Oliveira, Ana Cristina Rocha
    Published 2012
    Other Authors: “...Ayala-Rincón, Mauricio...”
    Get full text
Search Tools: Get RSS Feed — Email this Search