A5065093720- Logic, Reasoning, and Knowledge
- Logic, programming, and type systems
- Handwritten Text Recognition Techniques
- Formal Methods in Verification
- Teaching and Learning Programming
- Education and Digital Technologies
- Advanced Algebra and Logic
- Natural Language Processing Techniques
- Edcuational Technology Systems
- Hand Gesture Recognition Systems
- Semantic Web and Ontologies
- Environmental Sustainability and Education
- Online and Blended Learning
- Intelligent Tutoring Systems and Adaptive Learning
- Context-Aware Activity Recognition Systems
- Municipal Solid Waste Management
- Topic Modeling
- Online Learning and Analytics
- Advanced Database Systems and Queries
- Image Processing and 3D Reconstruction
- Speech and dialogue systems
- Student Assessment and Feedback
- Robotics and Automated Systems
Universidade Federal Rural de Pernambuco
2014-2023
Universidade Federal de Pernambuco
2013-2018
Federal Center for Technological Education of Minas Gerais
2015
Feedback is an essential component of scaffolding for learning. provides insights into the assistance learners in terms achieving learning goals and improving self-regulated skills. In online courses, feedback becomes even more critical since instructors students are separated geographically physically. this context, allows instructor to customize content according students' needs. However, giving a challenging task instructors, especially contexts large cohorts. As result, several automatic...
Sistemas Tutores Inteligente (STIs) têm sido amplamente utilizados para auxiliar no aprendizado de matemática. No entanto, a diferença na forma inserção soluções nos STIs, que requer o uso um teclado, em comparação com prática padrão escrever à mão, pode levar problemas usabilidade e prejudicar aprendizagem. Para superar essa limitação, pesquisas recentes explorado reconhecimento caracteres escritos mão papel como entrada os STIs. Porém, existe uma lacuna conhecimento relação ao desempenho...
O fórum educacional é um importante recurso para a interação entre professores e alunos em Ambientes Virtuais de Aprendizagem. Esse espaço que deveria ser usado gerar conhecimento muitas vezes acaba se resumindo perguntas respostas do professor. Para lidar com esse problema, este trabalho apresenta uma abordagem identificação automática colaboração fóruns educacionais. Essa visa principalmente auxiliar no acompanhamento das postagens incentivar participação colaborativas. avaliar proposta...
Since proof-nets for MLL- were introduced by Girard (1987), several studies have appeared dealing with its soundness proof. Bellin & Van de Wiele (1995) produced an elegant proof based on properties of subnets (empires and kingdoms) Robinson (2003) proposed a straightforward generalization this presentation from sequent calculus classical logic. In 2014 it was presented extension these to obtain the sequentialization theorem fragment N-Graphs conjunction, disjunction negation connectives,...
Para muitos estudantes, a complexidade envolvida na utilização do raciocínio lógico cria uma barreira para construção conhecimento, principalmente pela dificuldade em visualizar o resultado. Isso é evidente no ensino da lógica, necessária criação de algoritmos. Este trabalho tem como objetivo apresentar ferramenta auxiliar aluno lógica e visualização execução desta, forma simples clara. A composta por um aplicativo hardware responsável simular executar sequência definida aplicativo....
Alves presented in his PhD thesis a normalization procedure for N-Graphs, multiple conclusion natural deduction propositional classical logic proposed by de Oliveira 2001, with proofs as directed graphs. Here we develop new N-Graphs inspired A. Carbones work 1999, where she combinatorial model to study the evolution of during cut elimination.
Handwritten Mathematical Expression Recognition (HMER) is a challenging task with many educational applications. Recent methods for HMER have been developed complex mathematical expressions in standard horizontal format. However, solutions elementary expression, such as vertical addition and subtraction, not explored the literature. This work proposes new handwritten expression dataset composed of subtraction We also extended MNIST to generate artificial images this structure. Furthermore,...
How to verify if a classical proof is also intuitionistic? Gentzen’s natural deduction (ND) only requires no occurrence of the law excluded middle or elimination double negation rule in an intuitionistic derivation. His sequent calculus achieves same result by restricting number formulas on right-hand side at most one, which removes its multiple-conclusion feature that important for calculus’ symmetry. There are approaches today take this into account and present solutions calculi logic, but...