Learn More
In the last few decades, much research has focused on the evaluation and assessment of students' knowledge. The idea that computers can now be used to aid assessment is appealing. While implementing automatic marking of multiple choice questions is trivial, most educators agree that such form of assessment provides only limited insight into students'(More)
We report on the implementation and experimental analysis of an incremental multi-pass tableau-based procedurè a la Wolper for testing satisfiability in the linear time temporal logic LTL, based on a breadth-first search strategy. We describe the implementation and discuss the performance of the tool on several series of pattern formulae, as well as on some(More)
Information technology is now ubiquitous in higher education institutions worldwide. More than 85% of American universities use e-learning systems to supplement traditional classroom activities while some have started offering Massive Online Open Courses (MOOCs), which are completely online. An obvious benefit of these online tools is their ability to(More)
Artificial Intelligence (AI) is an important part of many undergraduate programs at universities around the world. A central component of AI courses are rule-based systems, and first-order logic is at the heart of many such systems. It is therefore crucial that students in AI courses master the skill of translating knowledge, expressed in English sentences,(More)
Some educational researchers have argued that instant feedback on exercises improves student engagement and learning. In the context of computer programming exercises, instant feedback in many classrooms and online courses takes the form of "correct" or "incorrect" responses. In order to assess the utility of such binary instant feedback, we examined the(More)
Spectra in the 7.10 to 8.60 A range from highly charged copper ions are observed from three different laser-produced plasmas (LPPs). The LPPs are formed by a 15-ns Nd:glass laser pulse (type I: E(pulse)=1-8 J, lambda=1.064 microm), a 1-ps Nd:glass laser pulse (type II: E(pulse)=1 J, lambda=1.055 microm), and a 60-fs Ti:sapphire laser pulse (type III:(More)
My research is focused on developing e-learning systems that provide high-quality feedback on student submitted programming exercises. To create such systems we use a new approach of applying case-based reasoning (CBR) techniques which proved to be successful in other areas such as technical support departments and financial institutions. The increased(More)
Automated assessment and immediate feedback are staple features of modern e-learning systems. In the case of programming exercises, most systems only provide binary (correct/incorrect) feedback, which is often inadequate for students struggling with the material, as they may need expert guidance in order to successfully overcome obstacles to understanding.(More)
My research explores methods for automatic generation of high-quality feedback for computer programming exercises. This work is motivated by problems with current automated assessment systems, which usually provide binary (" Correct " / " Incorrect ") feedback on programming exercises. Binary feedback is not conducive to student learning, and has also been(More)
We have observed spectra from highly charged zinc ions in a variety of laser-produced plasmas. Spectral features that are Na - and Mg -like satellites to high- n Rydberg transitions in the Ne -like Zn XXI spectrum are analyzed and modeled. Identifications and analysis are made by comparison with highly accurate atomic structure calculations and steady state(More)