Portal eduCapes: Buscando no repositório

Portal eduCapes
Seta

Navegando por Autor Ayala-Rincón, Mauricio

Mostrando resultados 21 a 40 de 55 « Anterior Próximo »*

Nominal equational problems modulo associativity, commutativity and associativity-commutativity
Ayala-Rincón, Mauricio; Fernández, Maribel
Carvalho Segundo, Washington Luís Ribeiro de
27-Set-2019
★★★★★ (0)
Nominal equational problems modulo associativity, commutativity and associativity-commutativity
Ayala-Rincón, Mauricio; Fernández, Maribel
Carvalho Segundo, Washington Luís Ribeiro de
27-Set-2019
★★★★★ (0)
O problema da dedução do intruso para teorias AC-convergentes localmente estáveis
Ayala-Rincón, Mauricio; Fernández, Maribel
Nantes Sobrinho, Daniele
9-Dez-2013
★★★★★ (0)
O problema da dedução do intruso para um protocolo criptográfico especificado via reescrita módulo AC
Ayala-Rincón, Mauricio
Nantes Sobrinho, Daniele
13-Mai-2010
★★★★★ (0)
O problema da dedução do intruso para um protocolo criptográfico especificado via reescrita módulo AC
Ayala-Rincón, Mauricio
Nantes Sobrinho, Daniele
13-Mai-2010
★★★★★ (0)
On automating the extraction of programs from termination proofs
Kamareddiney, Fairouz; Monin, François; Ayala-Rincón, Mauricio
7-Mar-2013
★★★★★ (0)
On automating the extraction of programs from termination proofs
Kamareddiney, Fairouz; Monin, François; Ayala-Rincón, Mauricio
7-Mar-2013
★★★★★ (0)
On Termination by Dependency Pairs and Termination of First-Order Functional Specifications in PVS
Ayala-Rincón, Mauricio; Muñoz, César Augusto
Almeida, Ariane Alves
3-Nov-2021
★★★★★ (0)
On Termination by Dependency Pairs and Termination of First-Order Functional Specifications in PVS
Ayala-Rincón, Mauricio; Muñoz, César Augusto
Almeida, Ariane Alves
3-Nov-2021
★★★★★ (0)
On the behavior of parallel island models
Universidade de Brasília, Department of Computer Science; Universidade Federal de Goiás, Department of Mathematics; Universidade de Brasília, Department of Mechanical Engineering; Universidad Nacional de San Antonio Abad del Cusco, Department of Informatics, Peru; Universidade de Brasília, Department of Mechanical Engineering
Silveira, Lucas Ângelo da; Lima, Thaynara Arielly de; Barros, Jessé Barreto de Barros; Soncco-Álvarez, José Luis; Llanos Quintero, Carlos Humberto; Ayala-Rincón, Mauricio
17-Set-2024
★★★★★ (0)
On the behavior of parallel island models
Universidade de Brasília, Department of Computer Science; Universidade Federal de Goiás, Department of Mathematics; Universidade de Brasília, Department of Mechanical Engineering; Universidad Nacional de San Antonio Abad del Cusco, Department of Informatics, Peru; Universidade de Brasília, Department of Mechanical Engineering
Silveira, Lucas Ângelo da; Lima, Thaynara Arielly de; Barros, Jessé Barreto de Barros; Soncco-Álvarez, José Luis; Llanos Quintero, Carlos Humberto; Ayala-Rincón, Mauricio
17-Set-2024
★★★★★ (0)
Ordenação de sequências finitas por reversões usando conjugações em grupos de permutações
Ayala-Rincón, Mauricio
Moraes, José Luiz Correa de
8-Nov-2012
★★★★★ (0)
Ordenação de sequências finitas por reversões usando conjugações em grupos de permutações
Ayala-Rincón, Mauricio
Moraes, José Luiz Correa de
8-Nov-2012
★★★★★ (0)
Ordenação por reversões de permutações sem sinal usando uma abordagem de algoritmos genéticos
Ayala-Rincón, Mauricio
Soncco Álvarez, José Luis
2-Ago-2013
★★★★★ (0)
Ordenação por reversões de permutações sem sinal usando uma abordagem de algoritmos genéticos
Ayala-Rincón, Mauricio
Soncco Álvarez, José Luis
2-Ago-2013
★★★★★ (0)
Ordenação por translocação de genomas sem sinal utilizando algoritmos genéticos
Ayala-Rincón, Mauricio
Silveira, Lucas Ângelo da
30-Mai-2016
★★★★★ (0)
Ordenação por translocação de genomas sem sinal utilizando algoritmos genéticos
Ayala-Rincón, Mauricio
Silveira, Lucas Ângelo da
30-Mai-2016
★★★★★ (0)
Representação combinatória e algébrica das permutações na análise do problema de rearranjo de genomas por reversões
Ayala-Rincón, Mauricio
Lima, Thaynara Arielly de
3-Dez-2010
★★★★★ (0)
Representação combinatória e algébrica das permutações na análise do problema de rearranjo de genomas por reversões
Ayala-Rincón, Mauricio
Lima, Thaynara Arielly de
3-Dez-2010
★★★★★ (0)
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
Ayala-Rincón, Mauricio
Miranda, Rodrigo César de Castro
26-Nov-2009
★★★★★ (0)

Mostrando resultados 21 a 40 de 55 « Anterior Próximo »*

Você é humano?

Navegando por Autor Ayala-Rincón, Mauricio