Discrete Mathematics and Theoretical Computer Science
Bounds on the Spectral Sparsification of Symmetric and Off-Diagonal Nonnegative Real Matrices
(with Sergio Mercado)
Discrete Mathematics, Algorithms and Applications, Vol. 14, No. 2, 2150109, February 2022. [link]
arXiv:2009.11133
Tromino Tilings with Pegs via Flow Networks
(with Javier T. Akagi and Eduardo A. Canale)
In Proceedings of the XI Latin and American Algorithms, Graphs Optimization Symposium (LAGOS), PCS 195, pp.459-467, Sao Paulo, Brazil, May 17-21, 2021. [link, slides]
arXiv:2007.12651
A Distributed Algorithm for Spectral Sparsification of Graphs with Applications to Data Clustering
(with Fabricio Mendoza-Granada)
In Proceedings of the 18th Cologne-Twente Workshop on Graphs and Combinatorial Optimization (CTW), AIRO Springer Series, Vol. 5, pp. 403-413, Ischia, Italy, September 14-16, 2020. [link, slides, video]
Preliminary results presented in Anais do IV Encontro de Teoria da Computação (ETC), pp. 21-24, 2019. [link]
arXiv:2003.10612
Hard and Easy Instances of L-Tromino Tilings
(with Javier T. Akagi, Carlos F. Gaona, Fabricio Mendoza, and Manjil P. Saikia)
Theoretical Computer Science, Vol. 815, pp. 197-212, May 2020. [link]
Extended abstract in Proceedings of the 13th International Conference and Workshops on Algorithms and Computation (WALCOM), LNCS 11355, pp.82-95, Guwahati, India, February 27 - March 02, 2019. [link, slides]
arXiv:1710.04640
Classically Time-Controlled Quantum Automata
(with Alejandro Díaz-Caro)
Submitted
Preliminary version in Proceedings of the 7th International Conference on the Theory and Practice of Natural Computing (TPNC), LNCS 11324, pp.266-278, Dublin, Ireland, December 12-14, 2018. [link]
arXiv:1807.05385
A Quantum Adiabatic Algorithm for Multiobjective Combinatorial Optimization
(with Benjamin Baran)
Axioms, Vol. 8, No. 1, March 2019. [link]
Extended abstract in Proceedings of the 42nd Latin American Conference on Informatics (CLEI), ENTCS 329, pp.27-38, Valparaiso, Chile, October 10-14, 2016. [link]
Preliminary results presented at the 5th International Conference on Engineering Optimization (EngOpt), Iguassu Falls, Brazil, June 19-23, 2016.
arXiv:1605.03152
Language Recognition Power and Succintness of Affine Automata
(with Abuzer Yakaryilmaz)
Natural Computing, Vol.17, No.2, pp.283-293, June 2018. [link] [full-text view-only]
Extended abstract in Proceedings of the 15th International Conference on Unconventional Computation & Natural Computation (UCNC), LNCS 9726, pp.116-129. Manchester, UK, July 11-15, 2016. [link]
arXiv:1602.05432
Quantum State Complexity of Formal Languages
(with Tomoyuki Yamakami)
Proceedings of the 17th Workshop on Descriptional Complexity of Formal Systems (DCFS), LNCS 9118, pp.280-291. Waterloo, Ontario, Canada, June 25-27, 2015. [link]
Preliminary results of this research were presented at the IEICE Computation Research Meeting, Chuou University, Tokyo, Japan. October 8, 2014. [link]
Funded by Japan Society for the Promotion of Sciences (JSPS).
Quantum and Reversible Verification of Proofs Using Constant Memory Space
(with Tomoyuki Yamakami)
Proceedings of the 3rd International Conference on the Theory and Practice of Natural Computing (TPNC), LNCS 8890, pp.144-156. Granada, Spain, December 9-11, 2014. [link]
Preliminary results of this research were presented at the 147th IPSJ Algorithms Workshop, Chuo University, Tokyo, Japan. March 3rd, 2014. [link]
Funded by Japan Society for the Promotion of Sciences (JSPS).
Tensor Rank and Strong Quantum Nondeterminism in Multiparty Communication
(with Masaki Nakanishi, Shigeru Yamashita, and Yasuhiko Nakashima)
IEICE Transactions on Information and Systems, Vol. E96-D, No. 1, pp. 1-8, January 2013. [link]
Extended abstract in Proceedings of the 9th Annual Conference on Theory and Applications of Models of Computation (TAMC), LNCS 7287, pp. 400-411. Beijing, China, May 16-21, 2012. [link]
Partly funded by NEC C&C Foundation.
ECCC - TR12-004, arXiv:1202.6444.
Quantum Query Complexity of Hamming Distance Estimation.
(with Masaki Nakanishi, Shigeru Yamashita, and Yasuhiko Nakashima)
Proceedings of the 11th Asian Conference on Quantum Information Science (AQIS). Busan, Korea. August 24-27, 2011.
Quantum Walks on the Line with Phase Parameters.
(with Masaki Nakanishi, Shigeru Yamashita, and Yasuhiko Nakashima)
IEICE Transactions on Information and Systems, Vol. E95-D, No. 3, pp. 722-730, March 2012. [link]
Extended abstract in Proceedings of the 10th Asian Conference on Quantum Information Science (AQIS). Tokyo, Japan. August 27-31, 2010.
Poster presentation at International Conference on Quantum Information and Technology (ICQIT'09). Tokyo, Japan. December 2-5, 2009.
arXiv:1109.1866.
Engineering and Systems
Reinforcement Learning Applied to the Routing and Spectrum Assignment in Elastic Optical Networks
(with Santiago Arce, Luis Ayala Albertini, Iván Ríos, Diego Pinto-Roa, José Colbes)
Proceedings of the 8th IEEE Latin American Conference on Computational Intelligence (LA-CCI), IEEE, 2022. [link]A Motorcyclist Helmet Detection System Through a Two-stage CNN Approach
(with Ricardo Alfonso, Christian Daher, Mario Arzamendia, Kevin Cikel, Derlis Gregor, Daniel Gutierrez, Sergio Toral)
Proceedings of the 2021 CHILEAN Conference on Electrical, Electronics Engineering, Information and Communication Technologies (CHILECON), IEEE, pp. 1-6, 2021. [link]Deep Learning for Traffic Prediction with an Application to Traffic Lights Optimization
(with Walter Gamarra, Elvira Martínez, Kevin Cikel, Maira Santacruz, Mario Arzamendia, Derlis Gregor, José Colbes)
Proceedings of the 1st International Conference on Artificial Intelligence and Data Analytics (CAIDA), IEEE, pp. 31-36, Riyadh, Saudi Arabia, April 6-7, 2021. [link]A Multiobjective Approach for Nearest Neighbor Optimization of N-Dimensional Quantum Circuits
(with Benjamín Barán, Alejo Carballude)
SN Computer Science, Vol. 2, No. 1, pp.1-12, January 2021. [link]
Definition and Application of a Computational Parameter for the Quantitative Production of Hydroponic Tomatoes Based on Artificial Neural Networks and Digital Image Processing
(with Diego Palacios, Kevin Cikel, Mario Arzamendia, Derlis Gregor, Regina León)
AgriEngineering, Vol. 3, No. 1, pp. 1-18, January 2021. [link]
Cargo Vehicle Classification System Through Axle Detection
(with Magdalena Velázquez, Kevin Cikel, Mario Arzamendia, Derlis Gregor)
Proceedings of the IEEE Biennial Congress of Argentina (ARGENCON), pp. 1-6, Resistencia, Argentine, December 1-4, 2020 . [video, link]
Multiobjective Optimization Grover Adaptive Search
(with Benjamín Barán)
Recent Advances in Computational Optimization. Studies in Computational Intelligence, Vol.795, pp. 191-211, 2019. [link]
Comparison of two types of Quantum Oracles based on Grover’s Adaptative Search Algorithm for Multiobjective Optimization Problems
(with Gerardo Fogel and Benjamin Baran)
Proceedings of the 10th International Workshop on Computational Optimization (WCO), Federated Conference in Computer Science and Information Systems (FedCSIS), ACSIS, Vol.11, pp.421-428, Prague, Czech Republic, September 3-6, 2017. [link]
Preliminary results presented at Aranducon 2016, Asunción, Paraguay, October 26-28, 2016. Title: Optimización Multiobjetivo utilizando un Algoritmo Adaptativo de Grover basado en un Oráculo Efectivo.
Supported by Conacyt Grant 14-POS-008.
Optimización por Enjambre de Partículas para Satisfacción de Formulas Booleanas.
(with Víctor González, and Benjamín Barán)
Proceedings of the 34th Latin-American Conference on Informatics (CLEI). September 8-12, 2008. Santa Fe, Argentine.
A Global Convexity Analysis on the MAX-SAT Domain.
(with Benjamin Baran)
Proceedings of the 2nd International Conference on Bio-Inspired Models of Network, Information, and Computing Systems (Bionetics). December 10-13, 2007. Budapest, Hungary. [link]
Spanish version: Análisis de Satisfacibilidad en Lógica Proposicional. [link]
Funded by Universidad Nacional de Asunción, Direccion Gral. de Investigaciones Cientif. y Tec., 2007.
Asynchronous Team Algorithms for Boolean Satisfiability.
(with Carlos Rodriguez and Benjamin Baran)
Proceedings of the 2nd International Conference on Bio-Inspired Models of Network, Information, and Computing Systems (Bionetics). December 10-13, 2007. Budapest, Hungary. [link]
Ant Colony Optimization with Adaptive Fitness Function for Satisfiability Testing.
(with Benjamin Baran)
Proceedings of the 14th Workshop on Logic, Language, Information and Computation (WoLLIC), LNCS 4576, pp. 351-360. Rio do Janeiro, Brazil, July 2-5, 2007. [link]
Global Convexity in the Bi-Criteria Traveling Salesman Problem.
(with Benjamin Baran and Osvaldo Gomez)
Artificial Intelligence in Theory and Practice, IFIP, pp. 217-226. Springer-Verlag. August, 2006. [link]
Thesis Dissertation
On the Power and Limitations of Quantum Computing Models: Quantum Walks and Communication Complexity. Doctoral Dissertation, March 2013. Advisor: Shigeru Yamashita. [NAIST Digital Library]
Quantum Walks with Phase Parameters. MSc Thesis, March 2011. Advisor: Shigeru Yamashita. [NAIST Digital Library]
Global Convexity in the Bi-Criteria Traveling Salesman Problem BSc Thesis, June 2006. Advisor: Benjamin Baran. [draft]
Manuscripts and Other Writings
A Study of the Optimality of PCA under Spectral Sparsification. (with Sergio Mercado) In Proceedings Series of the Brazilian Society of Computational and Applied Mathematics (CNMAC), Vol. 7, No. 1, 2020. [link]
Computational Complexity of Space-Bounded Trascendental Real Numbers. (with Masaki Nakanishi) arXiv:1805.02572.
Deterministic Graph Spectral Sparsification. (with Fabricio Mendoza-Granada and Sergio Mercado) In Proceeding Series of the Brazilian Society of Computational and Applied Mathematics (CNMAC), Vol. 6, No. 2, 2018. [link]
Distributed Spectral Clustering on the Coordinator Model. (with Fabricio Mendoza-Granada) In Proceeding Series of the Brazilian Society of Computational and Applied Mathematics (CNMAC), Vol. 6, No. 2, 2018. [link]
A Block-Sensitivity Lower Bound for Quantum Testing Hamming Distance. Reportes Científicos de la FACEN Vol.8, Nro.1, pp.89-90, 2017. [link] arXiv:1705.09710.
Simulación de Programas de Evaluación en Grupos. (with Pedro Villalba) Technical Report FP/04/16, Dirección General de Investigaciones Científicas y Tecnológicas, Universidad Nacional de Asunción, 2016. [link]
Topología Profinita y Lenguajes Regulares. (with Pedro Villalba) Technical Report FACEN/01/16, Dirección General de Investigaciones Científicas y Tecnológicas, Universidad Nacional de Asunción, 2016. [link]
Constant-Space Zero-Knowledge Proofs Systems with One-Way Quantum Verifiers. (with Tomoyuki Yamakami) Preliminary results presented at the IEICE Computation Research Meeting, Nagoya Institute of Technology, Nagoya, Japan. October 18, 2013. [link]
Omicron SAT: Un Algoritmo de Colonia de Hormigas para el Problema de Satisfaccion Booleana. (with Benjamin Baran) Revista de la Sociedad Cientifica del Paraguay, 21:21-34, 2007. [draft]