Mauricio Ayala Rincon

Cituota

	Visi	Nuo 2020
Šaltiniai	1784	589
h-rodyklė	22	12
i10-rodyklė	65	21

160

120

20012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420257 14 15 7 29 49 36 52 54 82 49 60 112 92 104 102 103 76 130 105 105 73 126 159 18

Viešas pasiekiamumas

Peržiūrėti viską

12 straipsnių

1 straipsnis

pasiekiami

nepasiekiami

Pagal finansavimo įpareigojimus

Bendraautoriai

Carlos Humberto LlanosEng. Mecânica, Universidade de BrasíliaPatvirtintas el. paštas unb.br
Maribel FernandezProfessor of Computer Science, King's College LondonPatvirtintas el. paštas kcl.ac.uk
Fairouz KamareddineHeriot-Watt UniversityPatvirtintas el. paštas hw.ac.uk
Daniele Nantes-SobrinhoResearcher, Imperial College London and Professor of Mathematics, University of BrasíliaPatvirtintas el. paštas mat.unb.br
FLC de MouraUniversidade de BrasíliaPatvirtintas el. paštas unb.br
Daniel M. MuñozAssociate Professor, University of BrasiliaPatvirtintas el. paštas unb.br
Thaynara Arielly de LimaInstitute of Mathematics and Statistics, Universidade Federal de GoiásPatvirtintas el. paštas ufg.br
Reiner HartensteinUniversity of Kaiserslautern & KIT KarlsruhePatvirtintas el. paštas hartenstein.de
Leandro dos Santos CoelhoProfessor of Electrical Engineering, Federal University of Parana (UFPR), ALLIA FounderPatvirtintas el. paštas ufpr.br
Cesar MunozNASAPatvirtintas el. paštas nasa.gov
Washington Luís Ribeiro de Carvalho...Coordenador Geral e Pesquisador no IbictPatvirtintas el. paštas ibict.br
Janier Arias GarciaAssistant Professor, Department of Electronic Engineering, Federal University of Minas Gerais (UFMGPatvirtintas el. paštas ufmg.br
Daniel VenturaProfessor de Ciência da Computação, Universidade Federal de GoiásPatvirtintas el. paštas ufg.br
Daniel Saad Nogueira NunesProfessor of Computer Science, Instituto Federal de Brasília / Ph.D Student, Universidade dePatvirtintas el. paštas ifb.edu.br
Temur KutsiaResearch Institute for Symbolic Computation, Johannes Kepler University LinzPatvirtintas el. paštas risc.jku.at
Juergen BeckerKarlsruhe Institute of TechnologyPatvirtintas el. paštas kit.edu
Alba Cristina Magalhaes Alves de MeloProfessor at the Department of Computer Science - University of BrasiliaPatvirtintas el. paštas unb.br
Gonzalo NavarroUniversity of ChilePatvirtintas el. paštas dcc.uchile.cl
Simon GogKarlsruhe Institute of TechnologyPatvirtintas el. paštas kit.edu
Felipe A. LouzaUniversidade Federal de UberlândiaPatvirtintas el. paštas ufu.br

Stebėti

Mauricio Ayala Rincon

Professor of Computer Science and Mathematics, Universidade de Brasilia

Patvirtintas el. paštas unb.br - Pagrindinis puslapis

Logic Rewriting Type Theory Theorem Proving Automated Reasoning


Pavadinimas Rūšiuoti pagal šaltinius Rūšiuoti pagal metus Rūšiuoti pagal pavadinimą	Cituota Cituota	Metai
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	60	2010
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	58	2011
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	57	2005
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	55	2007
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	46	2010
Unification via the λs_e-style of explicit substitutions M Ayala-Rincón, F Kamareddine Logic Journal of the IGPL 9 (4), 489-523, 2001	43	2001
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	38	2005
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	37	2009
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	36	2008
Nominal narrowing M Ayala-Rincón, M Fernández, D Nantes-Sobrinho 1st International Conference on Formal Structures for Computation and …, 2016	33	2016
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	33	2010
Applied Logic for Computer Scientists M Ayala-Rincón, FLC De Moura Springer International Publishing, 2017	31	2017
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	30	2009
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	28	2017
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	28	2014
Nominal C-Unification M Ayala-Rincón, WR de Carvalho-Segundo, M Fernandez, ... International Symposium on Logic-Based Program Synthesis and Transformation …, 2018	27	2018
A formalization of the Knuth–Bendix (–Huet) critical pair theorem AL Galdino, M Ayala-Rincón Journal of Automated Reasoning 45, 301-325, 2010	27	2010
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	26	2018
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	24	2016
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	24	2009

Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.

Straipsniai 1–20

Šaltinių per metus

Dubliuoti šaltiniai

Sujungti šaltiniai

Pridėti bendraautoriusBendraautoriai

Stebėti

Cituota

Bendraautoriai