Mathematics, Computing, and Information Processing

The poster reports on a project in which we are investigating methods for breaking the human metadata-generation bottleneck that plagues Digital Libraries. The research question is whether metadata elements and values can be automatically generated from the content of educational resources, and correctly assigned to m…

The purpose of this study was to investigate pre-service teachers’ views about the history of mathematics course in which GeoGebra was used. The qualitative research design was used in this study. The participants of the study consisted of 23 pre-service mathematics teachers studying at a state university in Turkey. A…

• YILMAZ ZENGİN

In this article, two basic purposes are presented. First, taking effective feedbacks in the electronic learning environment about the learning level of students at the problem solving which are told in physics lessons and laboratories. Second, providing a possibility for students to repeat the subjects and solved prob…

The object of this study is to model the level of a question difficulty by a differential equation at a pre-specified domain knowledge, to be used in an educational support system. For this purpose, we have developed an intelligent tutoring system for mathematics education. Intelligent Tutoring Systems are computer sy…

No abstract yet.

• VEHBİ TÜREL

No abstract yet.

N-grams can be used for spelling check and correction processes. The first step to use n-grams is to find the language specific n-grams by using a corpus. But a corpus cannot be big enough to contain all the possible word n-grams. Back-off smoothing technique is one of the techniques to estimate the frequency of the u…

Document verification is the process of verifying an original summary document on the original full-text document. Semantic control is very critical in these verification processes. In this study, an automatic document verification system based on Natural Language Processing techniques was designed to semantically che…

• METİN TURAN

Document verification is the process of verifying an original summary document on the original full-text document. Semantic control is very critical in these verification processes. In this study, an automatic document verification system based on Natural Language Processing techniques was designed to semantically che…

• AHMET TOPRAK

Solving math word problems (MWP) is a challenging task due to the semantic gap between natural language texts and mathematical equations. The main purpose of the task is to take a written math problem as input and produce a proper equation as output for solving that problem. This paper describes a sequence-to-sequence…

• TUNGA GÜNGÖR

No abstract yet.

The poster reports on a project in which we are investigating methods for breaking the human metadata-generation bottleneck that plagues Digital Libraries. The research question is whether metadata elements and values can be automatically generated from the content of educational resources, and correctly assigned to m…