Papers by Mackenzie Kong-Sivert
Interactive Learning Environments, 2016
This paper describes Dragoon, a simple intelligent tutoring system which teaches the construction... more This paper describes Dragoon, a simple intelligent tutoring system which teaches the construction of models of dynamic systems. Modeling is one of eight practices dictated in two new sets of educational standards in the USA, and Dragoon is one of the first systems for teaching model construction for dynamic systems. Dragoon can be classified as a stepbased tutoring system that uses example-tracing, an explicit pedagogical policy and an open learner model. Dragoon can also be used for computer-supported collaborative learning, and provides tools for classroom orchestration. This paper includes descriptions of the features, user interfaces and architecture of the system; compares and contrasts Dragoon with other intelligent tutoring systems; and presents a brief overview of formative and summative evaluations of the software in both high school and college classes. Of four summative evaluations, three found that students who used Dragoon learned more about the target system than students who did equivalent work without Dragoon.
Quantum information and computing has an interesting notion of proofs in complexity theory. In th... more Quantum information and computing has an interesting notion of proofs in complexity theory. In this project, we limit ourselves to QMA, a quantum analogue of the NP class with bounded error polynomial time verifier rather than a deterministic one. The notion of proof and an efficient verification is extended to the quantum setting along with a growing list of complete problems and different variants of the QMA (which might or might not be equal to the class QMA). As a preliminary study, we have studied an introduction to the QMA covering the quantum proofs, definitions of efficient quantum verification, the formalization of the class QMA illustrated using the group non-membership problem in quantum setting. Few QMA complete problems like (a, b)-QCS (Quantum Circuit Satisfiability) and the first QMA-complete problem, the local Hamiltonian problem are discussed. We would like to look further into the proof of the QMA completeness for local hamiltonian problem by [VW15] which is intuit...
The design and development of the dragoon intelligent tutoring system for model construction: lessons learned
Interactive Learning Environments, 2016
Uploads
Papers by Mackenzie Kong-Sivert