Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Other Mathematics (8)
- Computer Sciences (5)
- Discrete Mathematics and Combinatorics (4)
- Algebra (3)
- Artificial Intelligence and Robotics (3)
-
- Applied Mathematics (2)
- Theory and Algorithms (2)
- Environmental Health and Protection (1)
- Environmental Sciences (1)
- Geometry and Topology (1)
- Graphics and Human Computer Interfaces (1)
- Logic and Foundations (1)
- Numerical Analysis and Computation (1)
- Numerical Analysis and Scientific Computing (1)
- Ordinary Differential Equations and Applied Dynamics (1)
- Other Applied Mathematics (1)
- Other Computer Sciences (1)
- Set Theory (1)
- Software Engineering (1)
- Systems Architecture (1)
Articles 1 - 12 of 12
Full-Text Articles in Mathematics
Counting The Moduli Space Of Pentagons On Finite Projective Planes, Maxwell Hosler
Counting The Moduli Space Of Pentagons On Finite Projective Planes, Maxwell Hosler
Senior Independent Study Theses
Finite projective planes are finite incidence structures which generalize the concept of the real projective plane. In this paper, we consider structures of points embedded in these planes. In particular, we investigate pentagons in general position, meaning no three vertices are colinear. We are interested in properties of these pentagons that are preserved by collineation of the plane, and so can be conceived as properties of the equivalence class of polygons up to collineation as a whole. Amongst these are the symmetries of a pentagon and the periodicity of the pentagon under the pentagram map, and a generalization of …
Wildfire Simulation Using Agent Based Modeling: Expanding Controlled Burn Season, Morgan C. Kromer
Wildfire Simulation Using Agent Based Modeling: Expanding Controlled Burn Season, Morgan C. Kromer
Senior Independent Study Theses
The United States is home to many different and unique forests. Prior to the 21st century, the United States Forests Service assumed that the best way to protect these forests was to put all efforts to keeping them alive. An enemy to these efforts were wildfires, thus the US adopted a complete fire suppression approach. At the turn of the century, the US realized that wildfires are a necessary part of a forest ecosystem, as they help return nutrients to the soil and reduce ground fuels. However, after suppressing all fires for over 100 years, the forests evolved into a …
Highlights Generation For Tennis Matches Using Computer Vision, Natural Language Processing And Audio Analysis, Alon Liberman
Highlights Generation For Tennis Matches Using Computer Vision, Natural Language Processing And Audio Analysis, Alon Liberman
Senior Independent Study Theses
This project uses computer vision, natural language processing and audio analysis to automatize the highlights generation task for tennis matches. Computer vision techniques such as camera shot detection, hough transform and neural networks are used to extract the time intervals of the points. To detect the best points, three approaches are used. Point length suggests which points correspond to rallies and aces. The audio waves are analyzed to search for the highest audio peaks, which indicate the moments where the crowd cheers the most. Sentiment analysis, a natural language processing technique, is used to look for points where the commentators …
The Infinity Conundrum: Understanding Topics In Set Theory And The Continuum Hypothesis, Sabrina Grace Helck
The Infinity Conundrum: Understanding Topics In Set Theory And The Continuum Hypothesis, Sabrina Grace Helck
Senior Independent Study Theses
This project is concerned with articulating the necessary background in order to understand the famous result of the undecidability of the continuum hypothesis. The first chapter of this independent study discusses the foundations of set theory, stating fundamental definitions and theorems that will be used throughout the remainder of the project. The second chapter focuses on ordinal and cardinal numbers which will directly relate to the final chapter. First, there is a clear explanation of the notion of order and what it means for a set to be well-ordered. Then ordinal numbers are defined and some properties are listed and …
Stroke Clustering And Fitting In Vector Art, Khandokar Shakib
Stroke Clustering And Fitting In Vector Art, Khandokar Shakib
Senior Independent Study Theses
Vectorization of art involves turning free-hand drawings into vector graphics that can be further scaled and manipulated. In this paper, we explore the concept of vectorization of line drawings and study multiple approaches that attempt to achieve this in the most accurate way possible. We utilize a software called StrokeStrip to discuss the different mathematics behind the parameterization and fitting involved in the drawings.
A Mathematical Analysis Of The Game Of Santorini, Carson Clyde Geissler
A Mathematical Analysis Of The Game Of Santorini, Carson Clyde Geissler
Senior Independent Study Theses
Santorini is a two player combinatorial board game. Santorini bears resemblance to the graph theory game of Geography, a game of moving and deleting vertices on a graph. We explore Santorini with game theory, complexity theory, and artificial intelligence. We present David Lichtenstein’s proof that Geography is PSPACE-hard and adapt the proof for generalized forms of Santorini. Last, we discuss the development of an AI built for a software implementation of Santorini and present a number of improvements to that AI.
Sports Analytics With Computer Vision, Colby T. Jeffries
Sports Analytics With Computer Vision, Colby T. Jeffries
Senior Independent Study Theses
Computer vision in sports analytics is a relatively new development. With multi-million dollar systems like STATS’s SportVu, professional basketball teams are able to collect extremely fine-detailed data better than ever before. This concept can be scaled down to provide similar statistics collection to college and high school basketball teams. Here we investigate the creation of such a system using open-source technologies and less expensive hardware. In addition, using a similar technology, we examine basketball free throws to see whether a shooter’s form has a specific relationship to a shot’s outcome. A system that learns this relationship could be used to …
Logic -> Proof -> Rest, Maxwell Taylor
Logic -> Proof -> Rest, Maxwell Taylor
Senior Independent Study Theses
REST is a common architecture for networked applications. Applications that adhere to the REST constraints enjoy significant scaling advantages over other architectures. But REST is not a panacea for the task of building correct software. Algebraic models of computation, particularly CSP, prove useful to describe the composition of applications using REST. CSP enables us to describe and verify the behavior of RESTful systems. The descriptions of each component can be used independently to verify that a system behaves as expected. This thesis demonstrates and develops CSP methodology to verify the behavior of RESTful applications.
On Degree Bound For Syzygies Of Polynomial Invariants, Zhao Gao
On Degree Bound For Syzygies Of Polynomial Invariants, Zhao Gao
Senior Independent Study Theses
Suppose G is a finite linearly reductive group. The degree bound for the syzygy ideal of the invariant ring of G is given in [2]. We develop the theory of commutative algebra and give the proof from [2] that the ideal of relations of the minimal set of generators of invariant ring of a finite linearly reductive group G is generated in degree at most 2|G|.
I Don't Play Chess: A Study Of Chess Piece Generating Polynomials, Stephen R. Skoch
I Don't Play Chess: A Study Of Chess Piece Generating Polynomials, Stephen R. Skoch
Senior Independent Study Theses
This independent study examines counting problems of non-attacking rook, and non-attacking bishop placements. We examine boards for rook and bishop placement with restricted positions and varied dimensions. In this investigation, we discuss the general formula of a generating function for unrestricted, square bishop boards that relies on the Stirling numbers of the second kind. We discuss the maximum number of bishops we can place on a rectangular board, as well as a brief investigation of non-attacking rook placements on three-dimensional boards, drawing a connection to latin squares.
Keeping Your Options Open: An Introduction To Pricing Options, Ryan F. Snyder
Keeping Your Options Open: An Introduction To Pricing Options, Ryan F. Snyder
Senior Independent Study Theses
An option is a contract which gives the holder of the option the right, but not the obligation, to buy or sell a given security at a given price, which is called the strike price. For example, suppose Yahoo stock is currently trading at $10 per share. A person could buy an option that gives him or her the ability to purchase shares of Yahoo stock for $12 in one year. If the price of Yahoo stock is greater than $12 in one year, the holder of the option will make money. However, he or she will not use the …
The Analytic Hierarchy Process: A Mathematical Model For Decision Making Problems, Giang Huong Nguyen
The Analytic Hierarchy Process: A Mathematical Model For Decision Making Problems, Giang Huong Nguyen
Senior Independent Study Theses
The ability to make the right decision is an asset in many areas and lines of profession including social work, business, national economics, and international security. However, decision makers often have difficulty choosing the best option since they might not have a full understanding of their preferences, or lack a systematic approach to solve the decision making problems at hand. The Analytic Hierarchy Process (AHP) provides a mathematical model that helps the decision makers arrive at the most logical choice, based on their preferences. We investigate the theory of positive, reciprocal matrices, which provides the theoretical justification of the method …