Filtering by
- All Subjects: Computer Science
- All Subjects: Knowledge Representation and Reasoning
The field of quantum computing is an exciting area of research that allows quantum mechanics such as superposition, interference, and entanglement to be utilized in solving complex computing problems. One real world application of quantum computing involves applying it to machine learning problems. In this thesis, I explore the effects of choosing different circuit ansatz and optimizers on the performance of a variational quantum classifier tasked with binary classification.
In this dissertation, I propose a novel framework for performing semantic autograding, which analyzes student programs at a semantic level to help students learn with additional and systematic help. A general autograder is not practical for general programming languages, due to the flexibility of semantics. A practical autograder is possible in VIPLE, because of its simplified syntax and restricted options of semantics. The design of this autograder is based on the concept of theorem provers. To achieve this goal, I employ a modified version of Pi-Calculus to represent VIPLE programs and Hoare Logic to formalize program requirements. By building on the inference rules of Pi-Calculus and Hoare Logic, I am able to construct a theorem prover that can perform automated semantic analysis. Furthermore, building on this theorem prover enables me to develop a self-learning algorithm that can learn the conditions for a program’s correctness according to a given solution program.
Find My College is an app to help people who are interested in pursuing a collegiate degree; find a college/s that is right for them. This app is designed using the Ionic Framework, to allow access across all operating systems such as Android and MacOS. We wanted to create an app that people using Android or Apple can use, and this framework allows us to do that. The app is very user friendly and straightforward, which makes it usable to all types of people. It will be a free to use app that can be improved and adjusted if changes are needed/wanted.