Exploring Program Equivalence as a Means of Comparing Definitional Interpreters

Grading and giving feedback to student submissions automatically is becoming more and more necessary with an increasing amount of students. To verify the correctness of student-written definitional interpreters, a program equivalence approach has been implemented, improved, and extended with new rules to make it more suited specifically for...

Computer Vision for Exam Grading: Final Report

Grading exams is a time-consuming activity for teachers. Zesje is an open-source tool created to aid teach-ers in exam grading and streamline the grading process. Zesje currently uses computer vision techniques torealign images, and automatically find student numbers. However, teachers can currently only use Zesje tograde questions manually....

Zesje: Web-based paper exam grading system

Grading can be a very time-consuming activity for teachers. For this reason, numerous tools exist to aid teachers in grading. One of these tools is Zesje, a web application that allows electronic grading of paper-based exams. A major drawback of Zesje was that teachers were required to create their exams with LaTeX, a popular document...

Dig-limit Optimization: Mixed Integer Linear Programming for grade control in open-pit mining

In open-pit mining on a bench level, the dig-limit optimization problem is deciding whether to classify a Selective Mining Unit(SMU) as waste or whether to classify it as ore. SMU’s with high ore grades are profitable for the mining operation, but due to equipment size a whole frame of SMU’s has to be classified as either ore or waste. In this...

WebLab project

WebLab is an online academic tool used to improve education by providing a framework for teachers to supply a higher quantity and quality of assignments to students. Currently this system is being used in a variety of courses including the Concepts of Programming Languages course taught to bachelor students at the Delft University of Technology....