Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Computer Sciences (5)
- Artificial Intelligence and Robotics (3)
- Discrete Mathematics and Combinatorics (3)
- Algebra (2)
- 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)
- Software Engineering (1)
- Systems Architecture (1)
- Keyword
-
- Computer Science (4)
- AI (1)
- Abstract algebra (1)
- Agent Based Modeling (1)
- Algebra (1)
-
- Art (1)
- Art vectorization (1)
- Artificial Intelligence (1)
- Basketball (1)
- Bezier Curves (1)
- Binomial model (1)
- CSP (1)
- Category theory (1)
- Complexity (1)
- Computer Vision (1)
- Consolidation (1)
- Curves (1)
- Financial math (1)
- Finite fields (1)
- Free monoid (1)
- Game (1)
- Game Theory (1)
- Geometry (1)
- Graph (1)
- Graph Theory (1)
- Graphics (1)
- Machine Learning (1)
- Optical Tracking (1)
- Option pricing (1)
Articles 1 - 8 of 8
Full-Text Articles in Other 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 …
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.
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 …