Ruan Carvalho

According to our database, Ruan Carvalho authored at least 10 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Handwritten Equation Detection in Disconnected, Low-Cost Mobile Devices.

Everton Souza, Ermesson L. dos Santos, Luiz Rodrigues, Daniel Carneiro Rosa, Filipe R. Cordeiro, Cicero Pereira, Sérgio F. Chevtchenko, Ruan Carvalho, Thales Vieira, Marcelo Marinho, Diego Dermeval, Ig Ibert Bittencourt, Seiji Isotani, Valmir Macario

Proceedings of the Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky, 2024

An Optimization Approach for Elementary School Handwritten Mathematical Expression Recognition.

Sérgio F. Chevtchenko, Ruan Carvalho, Luiz Rodrigues, Everton Souza, Daniel Carneiro Rosa, Filipe R. Cordeiro, Cicero Pereira, Thales Vieira, Marcelo Marinho, Diego Dermeval, Ig Ibert Bittencourt, Seiji Isotani, Valmir Macario

Proceedings of the Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky, 2024

Exploring NLP and Embedding for Automatic Essay Scoring in the Portuguese.

Ruan Carvalho, Lucas Fernandes Lins, Luiz Rodrigues, Péricles B. C. de Miranda, Hilário Oliveira, Thiago Damasceno Cordeiro, Ig Ibert Bittencourt, Seiji Isotani, Rafael Ferreira Mello

Proceedings of the Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky, 2024

2023

Recognizing Handwritten Mathematical Expressions of Vertical Addition and Subtraction.

Daniel Carneiro Rosa, Filipe R. Cordeiro, Ruan Carvalho, Everton Souza, Sérgio F. Chevtchenko, Luiz Rodrigues, Marcelo Marinho, Thales Vieira, Valmir Macario

Proceedings of the 36th SIBGRAPI Conference on Graphics, Patterns and Images, 2023

2021

Automatic feedback in online learning environments: A systematic literature review.

Anderson Pinheiro Cavalcanti, Arthur Barbosa, Ruan Carvalho, Fred Freitas, Yi-Shan Tsai, Dragan Gasevic, Rafael Ferreira Mello

Comput. Educ. Artif. Intell., 2021

2019

Propositional intuitionistic multiple-conclusion calculus via proof graphs.

Ruan V. B. Carvalho, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz

Log. J. IGPL, 2019

2018

Sequentialization for full N-Graphs via sub-N-Graphs.

Ruan V. B. Carvalho, Laís S. Andrade, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz

CoRR, 2018

2015

Normalization of N-Graphs via Sub-N-Graphs.

Laís Andrade, Ruan Carvalho, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz

Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, 2015

2014

Sequentialization for N-Graphs via Sub-N-Graphs.

Ruan Carvalho, Laís Andrade, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz

Proceedings of the Logic, Language, Information, and Computation, 2014

2013

Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach.

Laís Andrade, Ruan Carvalho, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz

Proceedings of the Logic, Language, Information, and Computation, 2013