Search results for "Programming Language"
showing 4 items of 624 documents
A Study on the Assessment of Introductory Computational Thinking via Scratch Programming in Primary Schools
2018
Computational thinking (CT), a transversal intellectual foundation integral to computer science, is making its way into compulsory comprehensive education worldwide. Students are expected to attain skills and knowledge in such interdisciplinary CT principles as Algorithmic thinking, Data representation, and Debugging. Problem-solving by designing and manipulating interactive media with Scratch, a graphical programming tool, is popular especially at the primary school level. However, there has been confusion regarding how introductory CT can be operationalized for educational practice. Teachers and students need research-based knowledge for setting appropriate learning goals in addition to i…
Arithmetic, Logic, Syntax and MathCheck
2019
MathCheck is a web-based tool for checking all steps of solutions to mathematics, logic and theoretical computer science problems, instead of checking just the final answers. It can currently deal with seven problem types related to arithmetic, logic, and syntax. Although MathCheck does have some ability to perform symbolic computation, checking is mostly based on testing with many combinations of the values of the variables in question. This introduces a small risk of failure of detection of errors, but also significantly widens the scope of problems that can be dealt with and facilitates providing a concrete counter-example when the student’s solution is incorrect. So MathCheck is primari…
Time-like Proton Form Factors with Initial State Radiation Technique
2022
Electromagnetic form factors are fundamental quantities describing the internal structure of hadrons. They can be measured with scattering processes in the space-like region and annihilation processes in the time-like region. The two regions are connected by crossing symmetry. The measurements of the proton electromagnetic form factors in the time-like region using the initial state radiation technique are reviewed. Recent experimental studies have shown that initial state radiation processes at high luminosity electron-positron colliders can be effectively used to probe the electromagnetic structure of hadrons. The BABAR experiment at the B-factory PEP-II in Stanford and the BESIII experim…