Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 7 of 7
Full-Text Articles in Physical Sciences and Mathematics
Economics And Game Theory, Jeremiah Patrick Prenn
Economics And Game Theory, Jeremiah Patrick Prenn
Mathematics Senior Showcase 2020
Game theory is one of the major fields of mathematics. Game theory is the study of how games, their players, and players’ strategies are defined, and how the games might play out. The outcomes of games are ultimately based on decisions, much like in the science of economics. Economics analyzes how scarce resources are to be allocated to suit unlimited needs. Every decision has an economic cost, and every decision has a utility value (utility being a quantitative measure of usefulness). Economics and game theory go hand in hand: Both analyze the effects of decisions and the rules imposed on …
The History And Application Of Benford's Law, Hunter Clark
The History And Application Of Benford's Law, Hunter Clark
Mathematics Senior Showcase 2020
My Poster is on the history and application of Benford’s law. This is a law that states that the leading digit of a set of numbers will be the number 1 approximately 30% of the time. This is a natural phenomenon and what I mean by that is that in order for this law to hold the numbers cannot be assigned. They must be random as in financial statements or logs. This law does not work on sets that are assigned such as time sheets and addresses. You will see in my poster that the original person to discover this …
Using The Chi-Square Test To Analyze Voter Behavior, Bailey Fadden
Using The Chi-Square Test To Analyze Voter Behavior, Bailey Fadden
Mathematics Senior Showcase 2020
We explain the Chi-Square Test and how to use it to analyze voter behavior. Specifically we look at the behavior of U.S citizens and whether or not they voted in the 2016 U.S presidential election, and how this relates to income.
Morse-Code Encoded Eye Blinking As A Source Of Biometric Authentication Via Eeg, Ben Adams, Meghan Edgerton, Gabe Miles, Callum Young
Morse-Code Encoded Eye Blinking As A Source Of Biometric Authentication Via Eeg, Ben Adams, Meghan Edgerton, Gabe Miles, Callum Young
Mathematics Senior Showcase 2020
Brain-Computer Interfaces (BCIs) have historically provided many uses in the medical field, including mobility for individuals with differing levels of paralysis. Present day research is focused around testing the efficacy of such devices on mental diseases such as Alzheimer's, Dementia, and Parkinson's. Leading companies that are spearheading the research of such devices, are looking at BCI's as a tool for solving many of the problems that these diseases produce, with the end goal of generalizing BCIs to appeal to the healthy layperson by providing an additional interface between them and the technological world. If such devices were present in society …
Internal Sorting Methods, Rebekah Marie Bitikofer
Internal Sorting Methods, Rebekah Marie Bitikofer
Mathematics Senior Showcase 2020
Internal sorting methods are possible when all of the items to be accessed fit in a computer's high-speed internal memory. There are quite a few (Knuth's third volume of The Art of Computer Programming covers 14 in total) but I will go over the four I found to be most versatile and useful. Each algorithm that I cover has a specific benefit that merits its' use in computer science. Some have faster run times (Heapsort), simpler code (Straight Insertion), run with a smaller memory space (Quicksort), or work well with large sets (Radix Sorting). Different sorting tasks lead users to …
Cybersecurity Of The Artificial Pancreas, D. J. Cooke, Andres Guzman, Robert Kinney, Christine Patterson, Josh Stone
Cybersecurity Of The Artificial Pancreas, D. J. Cooke, Andres Guzman, Robert Kinney, Christine Patterson, Josh Stone
Mathematics Senior Showcase 2020
We live in a world of cyber-enabled devices that enhance many aspects of life, including the treatment of diabetes. Type I Diabetes is a chronic autoimmune disorder characterized by destruction of pancreatic cells and subsequent deficiency of insulin - a crucial hormone in regulating blood glucose levels. The development of an Artificial Pancreas System is automating the maintenance of this disease by integrating wireless devices to continuously balance blood glucose levels without patient interaction. An integral part of this system is the Continuous Glucose Monitor (CGM) which wirelessly transmits blood glucose measurements every 5 minutes. CGMs and other Implantable Medical …
Construction Of A First Order Logic Theorem Prover, Luke Philip Tyler
Construction Of A First Order Logic Theorem Prover, Luke Philip Tyler
Mathematics Senior Showcase 2020
There are many systems that have been researched in the past on automating the process of theorem proving in first-order logic. This research explores one of these systems, the tableau method. A point of interest within the tableau method is whether or not the method is sound and complete. This research was done in tandem with a computer implementation of the tableau method written in Haskell. The basic design of the implementation was to construct a fair rule for tableau expansion and expand the tableau until it was found to be closed, open, or infinite, thereby proving or disproving of …