This thesis attempts to explain Everettian quantum mechanics from the ground up, such that those with little to no experience in quantum physics can understand it. First, we introduce the history of quantum theory, and some concepts that make up the framework of quantum physics. Through these concepts, we reveal why interpretations are necessary to map the quantum world onto our classical world. We then introduce the Copenhagen interpretation, and how many-worlds differs from it. From there, we dive into the concepts of entanglement and decoherence, explaining how worlds branch in an Everettian universe, and how an Everettian universe can appear as our classical observed world. From there, we attempt to answer common questions about many-worlds and discuss whether there are philosophical ramifications to believing such a theory. Finally, we look at whether the many-worlds interpretation can be proven, and why one might choose to believe it.

The purpose of this paper is to provide an analysis of entanglement and the particular problems it poses for some physicists. In addition to looking at the history of entanglement and non-locality, this paper will use the Bell Test as a means for demonstrating how entanglement works, which measures the behavior of electrons whose combined internal angular momentum is zero. This paper will go over Dr. Bell's famous inequality, which shows why the process of entanglement cannot be explained by traditional means of local processes. Entanglement will be viewed initially through the Copenhagen Interpretation, but this paper will also look at two particular models of quantum mechanics, de-Broglie Bohm theory and Everett's Many-Worlds Interpretation, and observe how they explain the behavior of spin and entangled particles compared to the Copenhagen Interpretation.

The goal of this project was to develop a prototype for an educational tool that will help users understand how the voting system deployed by a government can affect the outcomes of elections. This tool was developed in Java SE, consisting of a model for the simulation of elections capable of supporting various voting systems, along with a variety of fairness measures, and educational and explanatory material. While a completed version of this tool would ideally be fully self-contained, easily accessible in-browser, and provide detailed visualizations of the simulated elections, the current prototype version consists of a GitHub repository containing the code, with the educational material and explanations contained within the thesis paper. Ultimately, the goal of this project was to be a stepping stone on the path to create a tool that will instill a measure of systemic skepticism in the user; to give them cause to question why our systems are built the way they are, and reasons to believe that they could be changed for the better. In undertaking this project, I hope to help in providing people with the political education needed to make informed decisions about how they want the government to function. The GitHub repository containing all the code can be found at, https://github.com/SpencerDiamond/Votes_that_Count

Exploration of icy moons in the search for extra-terrestrial life is becoming a major focus in the NASA community. As such, the Exobiology Extant Life Surveyor (EELS) robot has been proposed to survey Saturn's Moon, Enceladus. EELS is a snake-like robot that will use helically grousered wheels to propel itself forward through the complex terrains of Enceladus. This moon's surface is composed of a mixture of snow and ice. Mobility research in these types of terrains is still under-explored, but must be done for the EELS robot to function. As such, this thesis will focus on the methodologies required to effectively simulate wheel interaction with cohesive media from a computational perspective. Three simulation tools will be briefly discussed: COMSOL Multiphysics, EDEM-ADAMS, and projectChrono. Next, the contact models used in projectChrono will be discussed and the methodology used to implement a custom Johnson Kendall Roberts (JKR) collision model will be explained. Finally, initial results from a cone penetrometer test in projectChrono will be shown. Qualitatively, the final simulations look correct, and further work is being done to quantitatively validate them as well as simulate more complex screw geometries.