Sledovať
Mauricio Ayala Rincon
Mauricio Ayala Rincon
Professor of Computer Science and Mathematics, Universidade de Brasilia
Overená e-mailová adresa na: unb.br - Domovská stránka
Názov
Citované v
Citované v
Rok
Tradeoff of FPGA design of a floating-point library for arithmetic operators
DM Muñoz, DF Sanchez, CH Llanos, M Ayala-Rincón
Journal of Integrated Circuits and Systems 5 (1), 42-52, 2010
602010
A suitable FPGA implementation of floating-point matrix inversion based on Gauss-Jordan elimination
J Arias-García, RP Jacobi, CH Llanos, M Ayala-Rincón
2011 vii southern conference on programmable logic (SPL), 263-268, 2011
582011
Reconfigurable systems for sequence alignment and for general dynamic programming
RP Jacobi, M Ayala-Rincón, LGA Carvalho, CH Llanos, RW Hartenstein
Genetics and Molecular Research 4 (3), 543-552, 2005
572005
Formal verification of an optimal air traffic conflict resolution and recovery algorithm
AL Galdino, C Munoz, M Ayala-Rincón
Logic, Language, Information and Computation: 14th International Workshop …, 2007
552007
FPGA based floating-point library for CORDIC algorithms
DM Muñoz, DF Sanchez, CH Llanos, M Ayala-Rincón
2010 VI Southern Programmable Logic Conference (SPL), 55-60, 2010
462010
Unification via the λse-style of explicit substitutions
M Ayala-Rincón, F Kamareddine
Logic Journal of the IGPL 9 (4), 489-523, 2001
432001
Parallel strategies for local biological sequence alignment in a cluster of workstations
A Boukerche, ACMA de Melo, M Ayala-Rincón
19th IEEE International Parallel and Distributed Processing Symposium, 8 pp., 2005
382005
Hardware architecture for particle swarm optimization using floating-point arithmetic
DMM Arboleda, CH Llanos, M Ayala-Rincón
2009 Ninth International Conference on Intelligent Systems Design and …, 2009
372009
Distributed approach to group control of elevator systems using fuzzy logic and FPGA implementation of dispatching algorithms
DM Munoz, CH Llanos, M Ayala-Rincon, RH van Els
Engineering Applications of Artificial Intelligence 21 (8), 1309-1320, 2008
362008
Nominal narrowing
M Ayala-Rincón, M Fernández, D Nantes-Sobrinho
1st International Conference on Formal Structures for Computation and …, 2016
332016
Comparison between two FPGA implementations of the particle swarm optimization algorithm for high-performance embedded applications
DM Muñoz, CH Llanos, LS Coelho, M Ayala-Rincón
2010 IEEE Fifth International Conference on Bio-Inspired Computing: Theories …, 2010
332010
Applied Logic for Computer Scientists
M Ayala-Rincón, FLC De Moura
Springer International Publishing, 2017
312017
Parameterizable floating-point library for arithmetic operations in fpgas
DF Sánchez, DM Muñoz, CH Llanos, M Ayala-Rincón
Proceedings of the 22nd Annual Symposium on Integrated Circuits and System …, 2009
302009
Hardware opposition-based PSO applied to mobile robot controllers
DM Muñoz, CH Llanos, LS Coelho, M Ayala-Rincón
Engineering Applications of Artificial Intelligence 28, 64-77, 2014
282014
Nominal C-Unification
M Ayala-Rincón, WR de Carvalho-Segundo, M Fernandez, ...
International Symposium on Logic-Based Program Synthesis and Transformation …, 2018
272018
On solving nominal fixpoint equations
M Ayala-Rincón, W de Carvalho-Segundo, M Fernández, ...
International Symposium on Frontiers of Combining Systems, 209-226, 2017
272017
A formalization of the Knuth–Bendix (–Huet) critical pair theorem
AL Galdino, M Ayala-Rincón
Journal of Automated Reasoning 45, 301-325, 2010
272010
A grammar compression algorithm based on induced suffix sorting
DSN Nunes, F Louza, S Gog, M Ayala-Rincón, G Navarro
2018 Data Compression Conference, 42-51, 2018
262018
Completeness in PVS of a nominal unification algorithm
M Ayala-Rincón, M Fernández, AC Rocha-Oliveira
Electronic Notes in Theoretical Computer Science 323, 57-74, 2016
242016
Tradeoff of FPGA design of floating-point transcendental functions
DM Muñoz, DF Sánchez, CH Llanos, M Ayala-Rincón
2009 17th IFIP international conference on very large scale integration …, 2009
242009
Systém momentálne nemôže vykonať operáciu. Skúste to neskôr.
Články 1–20