Ayala-Rincon, M.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

[IEEE 19th IEEE International Parallel and Distributed Processing Symposium - Denver, CO, USA (04-08 April 2005)] 19th IEEE International Parallel and Distributed Processing Symposium - Parallel Strategies for Local Biological Sequence Alignment in a Cluster of Workstations

Boukerche, A., Alves de Melo, A.C.M., Ayala-Rincon, M., Santana, T.M.

Year:

2005

Language:

english

File:

PDF, 236 KB

english, 2005

52

[IEEE 2010 IEEE Fifth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA) - Changsha, China (2010.09.23-2010.09.26)] 2010 IEEE Fifth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA) - Comparison between two FPGA implementations of the Particle Swarm Optimization algorithm for high-performance embedded applications

Munoz, Daniel M., Llanos, Carlos H., Coelho, Leandro dos S., Ayala-Rincon, Mauricio

Year:

2010

Language:

english

File:

PDF, 1.39 MB

english, 2010

53

Explicit substitutions calculi with one step Eta-reduction decided explicitly

Ventura, D., Ayala-Rincon, M., Kamareddine, F.

Journal:

Logic Journal of IGPL

Year:

2009

Language:

english

File:

PDF, 278 KB

english, 2009

54

Preface

Ayala-Rincon, M., Haeusler, E. H.

Journal:

Logic Journal of IGPL

Year:

2009

Language:

english

File:

PDF, 35 KB

english, 2009

55

[IEEE Comput. Soc 16th Symposium on Integrated Circuits and Systems Design. SBCCI 2003 - Sao Paulo, Brazil (8-11 Sept. 2003)] 16th Symposium on Integrated Circuits and Systems Design, 2003. SBCCI 2003. Proceedings. - Modeling a reconfigurable system for computing the FFT in place via rewriting-logic

Ayala-Rincon, M., Nogueira, R.B., Llanos, C.H., Jacobi, R.P., Hartenstein, R.W.

Year:

2003

Language:

english

File:

PDF, 352 KB

english, 2003

56

Unification via the se-style of explicit substitutions

Ayala-Rincon, M

Journal:

Logic Journal of IGPL

Year:

2001

Language:

english

File:

PDF, 626 KB

english, 2001

57

Prototyping time- and space-efficient computations of algebraic operations over dynamically reconfigurable systems modeled by rewriting-logic

Ayala-Rincón, M., Llanos, C. H., Jacobi, R. P., Hartenstein, R. W.

Journal:

ACM Transactions on Design Automation of Electronic Systems

Year:

2006

Language:

english

File:

PDF, 819 KB

english, 2006

58

[ACM Press the 19th annual symposium - Ouro Preto, MG, Brazil (2006.08.28-2006.09.01)] Proceedings of the 19th annual symposium on Integrated circuits and systems design - SBCCI '06 - SAEPTUM

Ayala-Rincón, Mauricio, Sant'Ana, Thomas M.

Year:

2006

Language:

english

File:

PDF, 212 KB

english, 2006

59

[ACM Press the 22nd Annual Symposium - Natal, Brazil (2009.08.31-2009.09.03)] Proceedings of the 22nd Annual Symposium on Integrated Circuits and System Design Chip on the Dunes - SBCCI '09 - Parameterizable floating-point library for arithmetic operations in FPGAs

Sánchez, Diego F., Muñoz, Daniel M., Llanos, Carlos H., Ayala-Rincón, Mauricio

Year:

2009

Language:

english

File:

PDF, 545 KB

english, 2009

60

[ACM Press the 27th Symposium - Aracaju, Brazil (2014.09.01-2014.09.05)] Proceedings of the 27th Symposium on Integrated Circuits and Systems Design - SBCCI '14 - Verification of Hardware Implementations through Correctness of their Recursive Definitions in PVS

Almeida, Ariane Alves, Llanos, Carlos H., Arias-García, Janier, Ayala-Rincón, Mauricio

Year:

2014

Language:

english

File:

PDF, 323 KB

english, 2014

61

17TH WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2010)

Anuj Dawar, Mauricio Ayala-Rincon and Ruy de Queiroz

Journal:

Bulletin of Symbolic Logic

Year:

2011

Language:

english

File:

PDF, 253 KB

english, 2011

62

[IEEE 2015 XLI Latin American Computing Conference (CLEI) - Arequipa, Peru (2015.10.19-2015.10.23)] 2015 Latin American Computing Conference (CLEI) - Computing translocation distance by a genetic algorithm

da Silveira, Lucas A., Soncco-Alvarez, Jose L., de Lima, Thaynara A., Ayala-Rincon, Mauricio

Year:

2015

Language:

english

File:

PDF, 1008 KB

english, 2015

63

Preface

Ayala-Rincón, Mauricio, Mackie, Ian

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 103 KB

english, 2015

64

Confluence of Orthogonal Term Rewriting Systems in the Prototype Verification System

Rocha-Oliveira, Ana Cristina, Galdino, André Luiz, Ayala-Rincón, Mauricio

Journal:

Journal of Automated Reasoning

Year:

2017

Language:

english

File:

PDF, 646 KB

english, 2017

65

A Practical Semi-External Memory Method for Approximate Pattern Matching

Nogueira Nunes, Daniel Saad, Ayala-Rincón, Mauricio

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 535 KB

english, 2016

66

Checking Overlaps of Nominal Rewriting Rules

Ayala-Rincón, Mauricio, Fernández, Maribel, Gabbay, Murdoch James, Rocha-Oliveira, Ana Cristina

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 367 KB

english, 2016

67

Type Soundness for Path Polymorphism

Viso, Andrés, Bonelli, Eduardo, Ayala-Rincón, Mauricio

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 271 KB

english, 2016

68

Completeness in PVS of a Nominal Unification Algorithm

Ayala-Rincón, Mauricio, Fernández, Maribel, Rocha-Oliveira, Ana Cristina

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 251 KB

english, 2016

69

[IEEE 2016 IEEE Congress on Evolutionary Computation (CEC) - Vancouver, BC, Canada (2016.7.24-2016.7.29)] 2016 IEEE Congress on Evolutionary Computation (CEC) - Parallel memetic genetic algorithms for sorting unsigned genomes by translocations

da Silveira, Lucas A., Soncco-Alvarez, Jose L., Ayala-Rincon, Mauricio

Year:

2016

Language:

english

File:

PDF, 213 KB

english, 2016

70

[Undergraduate Topics in Computer Science] Applied Logic for Computer Scientists ||

Ayala-Rincón, Mauricio, de Moura, Flávio L. C.

Year:

2017

Language:

english

File:

PDF, 1.88 MB

english, 2017

71

Intruder deduction problem for locally stable theories with normal forms and inverses

Ayala-Rincón, Mauricio, Fernández, Maribel, Nantes-Sobrinho, Daniele

Journal:

Theoretical Computer Science

Year:

2017

Language:

english

File:

PDF, 936 KB

english, 2017

72

Logical and Semantic Frameworks with Applications

Ayala-Rincón, Mauricio, Mackie, Ian, Montanari, Ugo

Journal:

Theoretical Computer Science

Year:

2017

Language:

english

File:

PDF, 132 KB

english, 2017

73

[IEEE 2017 IEEE Congress on Evolutionary Computation (CEC) - Donostia, San Sebastián, Spain (2017.6.5-2017.6.8)] 2017 IEEE Congress on Evolutionary Computation (CEC) - Parallel genetic algorithms with sharing of individuals for sorting unsigned genomes by reversals

da Silveira, Lucas Angelo, Soncco-Alvarez, Jose Luis, Ayala-Rincon, Mauricio

Year:

2017

Language:

english

File:

PDF, 777 KB

english, 2017

74

[IEEE 2017 IEEE Congress on Evolutionary Computation (CEC) - Donostia, San Sebastián, Spain (2017.6.5-2017.6.8)] 2017 IEEE Congress on Evolutionary Computation (CEC) - Variable neighborhood search for the large phylogeny problem using gene order data

Soncco-Alvarez, Jose Luis, Ayala-Rincon, Mauricio

Year:

2017

Language:

english

File:

PDF, 745 KB

english, 2017

75

A Formalisation of Nominal α -equivalence with A and AC Function Symbols

Ayala-Rincón, Mauricio, de Carvalho-Segundo, Washington, Fernández, Maribel, Nantes-Sobrinho, Daniele

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2017

Language:

english

File:

PDF, 355 KB

english, 2017

76

[Lecture Notes in Computer Science] Interactive Theorem Proving Volume 10499 || Proof Tactics for Assertions in Separation Logic

Ayala-Rincón, Mauricio, Muñoz, César A.

Year:

2017

Language:

english

File:

PDF, 655 KB

english, 2017

77

[Lecture Notes in Computer Science] Interactive Theorem Proving Volume 10499 || Certifying Standard and Stratified Datalog Inference Engines in SSReflect

Ayala-Rincón, Mauricio, Muñoz, César A.

Year:

2017

Language:

english

File:

PDF, 356 KB

english, 2017

78

[Lecture Notes in Computer Science] Interactive Theorem Proving Volume 10499 || How to Simulate It in Isabelle: Towards Formal Proof for Secure Multi-Party Computation

Ayala-Rincón, Mauricio, Muñoz, César A.

Year:

2017

Language:

english

File:

PDF, 457 KB

english, 2017

79

[Lecture Notes in Computer Science] Interactive Theorem Proving Volume 10499 || CompCertS: A Memory-Aware Verified C Compiler Using Pointer as Integer Semantics

Ayala-Rincón, Mauricio, Muñoz, César A.

Year:

2017

Language:

english

File:

PDF, 605 KB

english, 2017

80

Opposition-Based Memetic Algorithm and Hybrid Approach for Sorting Permutations by Reversals

Soncco-Álvarez, José Luis, Muñoz, Daniel M., Ayala-Rincón, Mauricio

Journal:

Evolutionary Computation

Year:

2018

Language:

english

File:

PDF, 2.04 MB

english, 2018

81

Nominal essential intersection types

Ayala-Rincón, Maurício, Fernández, Maribel, Rocha-Oliveira, Ana Cristina, Ventura, Daniel Lima

Journal:

Theoretical Computer Science

Year:

2018

Language:

english

File:

PDF, 553 KB

english, 2018

82

[IEEE 2018 Data Compression Conference (DCC) - Snowbird, UT, USA (2018.3.27-2018.3.30)] 2018 Data Compression Conference - A Grammar Compression Algorithm Based on Induced Suffix Sorting

Saad Nogueira Nunes, Daniel, Louza, Felipe, Gog, Simon, Ayala-Rincon, Mauricio, Navarro, Gonzalo

Year:

2018

Language:

english

File:

PDF, 328 KB

english, 2018

83

[IEEE 2018 IEEE Congress on Evolutionary Computation (CEC) - Rio de Janeiro (2018.7.8-2018.7.13)] 2018 IEEE Congress on Evolutionary Computation (CEC) - Parallel Multi-Island Genetic Algotirth for Sorting Unsigned Genomes by Reversals

da Silveira, Lucas A., Soncco-Alvarez, Jose L., de Lima, Thaynara A., Ayala-Rincon, Mauricio

Year:

2018

Language:

english

File:

PDF, 1.32 MB

english, 2018

84

Typed path polymorphism

Ayala-Rincón, Mauricio, Bonelli, Eduardo, Edi, Juan, Viso, Andrés

Journal:

Theoretical Computer Science

Year:

2019

Language:

english

File:

PDF, 565 KB

english, 2019

85

A formalisation of nominal α-equivalence with A, C, and AC function symbols

Ayala-Rincón, Mauricio, de Carvalho-Segundo, Washington, Fernández, Maribel, Nantes-Sobrinho, Daniele, Rocha-Oliveira, Ana Cristina

Journal:

Theoretical Computer Science

Year:

2019

Language:

english

File:

PDF, 4.05 MB

english, 2019

86

Selected Extended Papers of ITP 2017

Ayala-Rincón, Mauricio, Muñoz, César

Journal:

Journal of Automated Reasoning

Year:

2019

File:

PDF, 321 KB

2019

87

A Formalisation of Nominal C-Matching through Unification with Protected Variables

Ayala-Rincón, Mauricio, de Carvalho-Segundo, Washington, Fernández, Maribel, Nantes-Sobrinho, Daniele

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2019

Language:

english

File:

PDF, 345 KB

english, 2019

88

[IEEE 2019 IX Brazilian Symposium on Computing Systems Engineering (SBESC) - Natal, Brazil (2019.11.19-2019.11.22)] 2019 IX Brazilian Symposium on Computing Systems Engineering (SBESC) - Application of an Adaptive Genetic Algorithm for Task Mapping Optimisation on a Wormhole-based Real-time Network-on-Chip

de Barros, Jesse Barreto, Ayala-Rincon, Mauricio, Quintero, Carlos Humberto Llanos

Year:

2019

Language:

english

File:

PDF, 1.60 MB

english, 2019

89

[IEEE 2020 IEEE Congress on Evolutionary Computation (CEC) - Glasgow, United Kingdom (2020.7.19-2020.7.24)] 2020 IEEE Congress on Evolutionary Computation (CEC) - Behavior of Bioinspired Algorithms in Parallel Island Models

da Silveira, Lucas A., Soncco-Alvarez, Jose L., de Lima, Thaynara A., Ayala-Rincon, Mauricio

Year:

2020

File:

PDF, 805 KB

2020

90

[IEEE 2020 IEEE Nordic Circuits and Systems Conference (NorCAS) - Oslo, Norway (2020.10.27-2020.10.28)] 2020 IEEE Nordic Circuits and Systems Conference (NorCAS) - A Study of the Impact of Formulation of Cost Function in Task Mapping Problem on NoCs

de Barros, Jesse Barreto, Anantharajaiah, Nidhi, Ayala-Rincon, Mauricio, Llanos, Carlos Humberto, Becker, Jurgen

Year:

2020

File:

PDF, 473 KB

2020