Other Mathematics Commons^™

Rockin’ Rover On The Rainbow Road, Michael Kolta, Lawrence Burgee, Ying Yuan

Transformations

This paper presents a progressive series of age-appropriate lesson plans for grades K-12 that all use the same interdisciplinary activity to educate students about Science, Technology, Engineering, Art, and Mathematics (STEAM) simultaneously. Technology from Texas Instruments (TI) was employed including a TI Nspire graphing calculator that can run Python programs, a TI Innovator Hub, and a TI Rover. The TI Rover is a small, robotic car that has sensors and is controlled by the calculator via the Hub hardware interface. A Python program was developed that uses the color sensor in the Rover to detect the color on colored paper …

Machine Learning For Predictive Energy And Emissions Modeling Of Vehicles And Power Grids In The United States, S M Tanvir Faysal Alam Chowdhoury

Dissertations

The environmental benefits of electric vehicle (EV) adoption depend on more than replacing internal combustion engine vehicles with electric powertrains. EV adoption reshapes electricity demand, interacts with regional generation mixes, and influences travel behavior and congestion, creating a coupled transportation-energy system in which vehicle and power-plant emissions must be evaluated together. This dissertation develops machine-learning frameworks for predicting energy consumption and emissions from vehicles and power grids under rising EV adoption. The first component forecasts grid emissions from EV charging. Using simulation data from NREL's Cambium database, a Prophet-based time-series framework predicts carbon dioxide, nitrous oxide, and methane emission rates …

Comparing 3-Connectedness And Roundness In Matroid Theory, Blanca Delia Larios

Electronic Theses, Projects, and Dissertations

A matroid is a discrete mathematical object that abstracts and connects the various notions of independence found throughout mathematics. Such notions of independence include linear independence, algebraic independence, as well as notions of independence that arise in graph theory. There are many broad classes of matroids. Important examples include binary matroids, graphic matroids, regular matroids, uniform matroids, and various levels of connected matroids. Some of the most important problems in matroid theory involve characterizing classes of matroids so that such characterizations can be used to prove results concerning these matroid classes. This thesis is a study of two important classes …

Advantages Of Dynamic Representation For Related Rates Problems In Calculus, Eri Osuna

Electronic Theses, Projects, and Dissertations

Related-rates problems are a standard yet persistently difficult topic in first-semester calculus. Research increasingly recommends dynamic visualization tools such as GeoGebra, but direct comparisons of static and dynamic representations in related-rates settings remain scarce. This qualitative study examines how representation type shapes the quality of students' reasoning and their perceived experience during related-rates problem solving. Six mathematics students who had completed Calculus —a group of four undergraduates and a pair of graduate students—completed a static sliding-ladder task and a dynamic airplane-and-camera task supported by an interactive GeoGebra applet, followed by an interview. Findings indicate that the two representations supported reasoning …

Waiting For The Magic: A Historical And Mathematical Study Of Queues In Disney Theme Parks, Nina E. Becket

Journal of Humanistic Mathematics

This paper, written as part of an honors research project in high school, provides an introduction to the line and queuing systems at Disney theme parks. We begin with a brief history of Disney World and its creators. We then introduce the basics of queuing theory and queuing notation. Finally, we examine modern line systems at Disney (as of 2023) and the future of its different queue systems.

Math 141 Calculus I (Queens College), Anisha Clarke

Open Educational Resources

This syllabus provides the outline for a calculus one course using OpenStax Calculus Volume I and no graphing calculator.

Math 119: Math For Elementary School Teachers Syllabus, Seth Lehman

Open Educational Resources

OER course syllabus for Math 119, Math for Elementary School Teachers, at Queens College

Math 119: Math For Elementary School Teachers Instructor Guide, Seth Lehman

Open Educational Resources

OER instructor guide for Math 119: Math for Elementary School Teachers at Queens College

A Stochastic Maximum Principle For Singular Mean-Field Regime-Switching Optimal Control, Maalvladedon Ganet Some, Edward Korveh

Journal of Stochastic Analysis

In this paper, we investigate a mean-field singular stochastic optimal control problem for systems governed by mean-field regime-switching singular stochastic differential equations. The state process is assumed to depend on both a regular and a singular control, and the coefficient associated with the singular component is allowed to be regime dependent. We derive both necessary and sufficient singular stochastic maximum principles. Because the regular control domain is not assumed to be convex, we employ the spike variation technique and obtain the necessary maximum principle by introducing a second-order adjoint process. As an application, we use the main theoretical results to …

Generalized Delayed Black–Scholes Formula, Bi Gole Hubert Le, Auguste Aman

Journal of Stochastic Analysis

The aim of this paper is to derive an explicit pricing formula for European options when the underlying asset follows a linear generalized delay differential equation in two distinct financial markets. The pricing methodology is based on the construction of an equivalent martingale measure using Girsanov’s theorem. Our models preserve both the no-arbitrage condition and market completeness. As such, this work extends the framework previously developed by Arriojas et al. in [16], providing a broader class of delay-based option pricing models.

Robust Optimal Consumption, Investment And Reinsurance For Recursive Preferences, Elizabeth Dadzie, Wilfried Kuissi Kamdem, Marcel Ndengo

Journal of Stochastic Analysis

This paper investigates a robust optimal consumption, investment, and reinsurance problem for an insurer with Epstein-Zin recursive preferences operating under model uncertainty. The insurer’s surplus follows the diffusion approximation of the Cramér-Lundberg model, and the insurer can purchase proportional reinsurance. Model ambiguity is characterised by a class of equivalent probability measures, and the insurer, being ambiguity-averse, aims to maximise utility under the worst-case scenario. By solving the associated coupled forward-backward stochastic differential equation (FBSDE), we derive closed-form solutions for the optimal strategies and the value function. Our analysis reveals how ambiguity aversion, risk aversion, and the elasticity of intertemporal substitution …

An Itô Integral For A Two-Sided Lévy Process, Raluca Balan, Jaime Garza

Journal of Stochastic Analysis

In this article, we construct an Itô integral with respect to a two-sided finite-variance Lévy process {L(x)}x∈R, without a Gaussian component. Using Rosenthal inequality for discrete-time martingales, we give an estimate for the p-th moment of this integral, for any even integer p ≥ 2. Then, using Poisson-Malliavin calculus, we show that the Itô integral is an extension of the Hitsuda-Skorokhod integral with respect to the compensated Poisson random measure associated to the Lévy process.

Supersymmetric Quantum Fields Via Quantum Probability, Radhakrishnan Balu

Journal of Stochastic Analysis

The super version of imprimitivity theorem is available now to describe global supersymmetry of systems using the representations of super Lie groups (SLG). This result uses the equivalence between super Harish- Chandra pairs and super Lie groups, at the categorical level, and is applicable to super Poincaré group and generalizes a smooth SI to super context. We apply the result to build supersymmetric quantum fields. Towards this end, we set up a super Fock space of a disjoint union of super Hilbert spaces which is equivalent to super tensoring of boson (even) part symmetrically and that of fermion (odd) part …

Convergence To Fractional Brownian Motion For Weighted Random Sums In Besov Space, Ibrahima Mendy

Journal of Stochastic Analysis

We consider infinite sums of weighted i.i.d. random variables, with finite variance and arbitrary distribution, and we derives conditions for the weak convergence in Besov space of normalized sums to fractional Brownian motion (fBm).

Pricing Variance Swaps Using Extended Heston Model, Semere Gebresilasie, Mulue Gebreslasie, Indranil Sengupta

Journal of Stochastic Analysis

Abstract. In this study, we introduce a variance swap for the underlying asset utilizing the Heston model, incorporating a long-term variance that is treated as a stochastic function of time. We develop a closed-form solution for the variance swap under this framework, where the log returns are driven by a compound Poisson process. Our analysis of historical data reveals that long-term variance is not constant; instead, it fluctuates over time, reflecting market dynamics more accurately. By integrating this time-varying long-term variance into the model, we achieve an improvement in prediction performance of approximately 60%. Furthermore, we perform model calibration using …

Bias, Structure, And Inference In Applied Network Analysis, Anna Vasenina

Dartmouth College Ph.D Dissertations

This dissertation develops mathematical and statistical methods for extracting reliable information from network data across biological applications, with an emphasis on understanding what observed network structure can and cannot resolve. The first study leverages protein–protein interaction network topology in the c-di-GMP signaling system of Pseudomonas fluorescens, showing that node centrality measures accurately classify protein domain types and that physical interaction structure contributes statistically significant predictive power for biofilm formation phenotypes across nearly 200 environments, while gene expression does not. The second study examines sampling bias in lemur-plant trophic interaction networks in Madagascar, demonstrating that differential detection of diurnal versus …

Quiver Of Affine Monoid Of A Vector Space Over Finite Field, James Junie Chen Cleary

Dissertations, Theses, and Capstone Projects

In this paper, we study the quiver of the complex monoid algebra CAFF(n, q). There are n + 1 maximal subgroups of AFF(n, q), each isomorphic to AGL(k, q) for some 0 ≤ k ≤ n. Every irreducible representation of CAFF(n, q) arises from a character of CAGL(k, q) for a suitable k. Thus, we study two different approaches to classifying the characters of CAGL(k, q). Next, we compute the full quiver Q(CAFF(n, q)). Finally, we show that this quiver is a disjoint union of straight-line paths and that its basic algebra has radical square zero. Hence, it has finite …

Algorithmic Problems In Automorphic Orbits Of Free Groups, Siobhan B. O'Connor

Dissertations, Theses, and Capstone Projects

One of the fundamental problems in the field of combinatorial group theory is telling when two group presentations represent isomorphic groups. Since applying a free group automorphism to the set of relators of a presentation gives an isomorphic group, we want to be able to quickly decide when looking at a relator whether a given word can be sent to it via an automorphism. We give a hands-on introduction to the automorphisms of free groups using patterns of colored beads. We show that you can make this decision correctly in constant time on average by looking for "orbit-blocking" words that …

Identifying Textual Predictors Of Early Termination In Clinical Trials In Medicine: An Explainable Machine-Learning Study, Rohan Ramnarain

Dissertations, Theses, and Capstone Projects

About one in five clinical trials in medicine ends early, wasting valuable resources and reducing the evidence available for developing life-saving medical treatments. This project uses a method called Trial2Vec, which is a self-supervised machine-learning method that converts clinical trial documents into dense numerical representations that capture their key design and clinical characteristics, to turn each proposed clinical trial’s written protocol into a compact numerical profile (a process referred to as embedding). These profiles are then paired with a predictive machine learning models to identify the words and phrases in the trial documents that can signal a higher risk of …

Comparing The Sensitivity And Degree Of Boolean Functions Via The Hypercube, Anne-Caroline Rupp

University Honors Theses

This thesis studies three complexity measures of total Boolean functions f:{0,1}ⁿ → {0,1}: maximum sensitivity s(f), polynomial degree deg(f), and spectral sensitivity λ(f), where λ(f) is defined as the spectral norm of the adjacency matrix of the sensitivity graph. Building on the results of Aaronson et al., we examine the inequality chain √s(f) ≤ λ(f) ≤ deg(f) and investigate whether all three quantities can be simultaneously equal.

The first part of the thesis reverse engineers the equality cases of the two known inequalities to isolate necessary extremal conditions on both the Fourier structure of f and the local geometry …

A Copula-Based Framework For Multivariate Count Time Series With Mixed Marginal Distributions, Dimuthu Fernando, Yuxin Wen, Wimarsha Jayanetti

Engineering Faculty Articles and Research

We developed a class of multivariate integer-valued time series models using copula theory. Each count time series is modeled as a Markov chain, with serial dependence characterized through copula-based transition probabilities for Poisson and negative binomial marginals. Cross-sectional dependence is modeled via a trivariate Gaussian or a “t-copula”, allowing for both positive and negative correlations and providing a flexible dependence structure. Model parameters are estimated using likelihood-based inference, where the trivariate Gaussian or t-copula integrals are evaluated through standard randomized Monte Carlo methods. Simulation results, along with an analysis of annual counts of major hurricanes (Category 3+) across the North …

Constructing Orthonormal Bases With The Residuals Of Successive Approximations, An Introduction To Multiresolution Analysis, Elijah J. Guptill

Master's Theses

Wavelets and wavelet analysis are used in the study of signal processing, quantum field theory, functional analysis, multifractal analysis, and various other areas of mathematics. Multiresolution analysis provides a framework for building a wavelet basis of $\mathcal{L}^{2}(\mathbb{R})$ from a scaling function $\phi$, whose dyadic dilations and translations, $\{2^{j /2}\phi(2^{j}x-k):j,k\in \mathbb{Z}\}$, approximate $\mathcal{L}^{2}(\mathbb{R})$. One of the key properties of  $\phi$ is that it must satisfy $\phi(x)=\sum_{k\in \mathbb{Z}}{p_{k}2^{j /2}\phi(2^{j}x-k)}$ with respect to the norm on $\mathcal{L}^{2}(\mathbb{R})$. This equation is called a two-scale difference equation. Such equations enforce a regularity on the ordinary generating function $2^{-1 /2}\sum_{k\in \mathbb{Z}}{p_{k}z^{k}}$, known as the quadrature condition. …

A Symbolic Model Of Proof Acquisition In Act-R, Beckett Morris, Kerstin Haring

DU Undergraduate Research Journal Archive

Learning to construct mathematical proofs—formal arguments demonstrating the truth of a mathematical statement using logical deductions and previously established facts—is one of the most challenging skills in STEM education. This research aims to build the foundations for a symbolic cognitive model, using the ACT-R cognitive architecture and implementing in Python with the pyactr package, to explore how different proof strategies can be thought through with only symbols and rules. The model observes simple proofs, and its abilities are assessed based on its generalization capabilities, efficiency, and error patterns. By developing and analyzing such a model, this research provides new insights …

The Isoperimetric Inequality And Wirtinger’S Inequality, Mason Neal

Honors Theses

In this thesis, we present Hurwitz’s proof of the Isoperimetric Inequality, which roughly states that the area enclosed by a simple closed curve is always less than or equal to the area of a circle with the same perimeter. Hurwitz’s proof relies on Wirtinger’s Inequality. We survey results about periodic functions and Fourier series, and we use them to provide a proof of Wirtinger’s Inequality. We then give a new proof of a variant of Wirtinger’s Inequality due to Alzer and generalize this variant to higher powers.

A Two-Phase Perspective On A Related-Rates Paradox, Charlie Vazquez Acosta

Honors Capstones

Related-rates problems are a standard topic in first-year calculus and have appeared in textbooks for over 150 years. These problems are used to teach implicit differentiation and the relationship between changing quantities. Common examples include the falling ladder, the fishing bobber, the melting snowball, and the leaking conical tank. In each of these problems, a quantity is changing at a constant rate, and students are asked to find the rate of change of another related quantity. While the computations themselves are usually straightforward, the standard models lead to unrealistic results near the end of the motion. For example, the falling …

Leveraging Information Theory And Ecological Network Analysis To Monitor Communication Networks In A Student Aerospace Team, Christine Sessions

Doctoral Dissertations and Master's Theses

Effective communication is a critical component of successful collaboration in group projects and team settings. However, systematically tracking and analyzing team communications can be challenging, especially in complex, multi-member teams such as those found in the aerospace industry. This paper explores an information-theoretic approach that leverages encoding techniques and graph theory to analyze communication networks within a university’s multi-year, student-led cubesat design project (Project COMET). By utilizing Shannon Entropy as a measure of information flow, encoding communication patterns, and analyzing Ecological Network Analysis parameters, this research aims to understand how an Embry-Riddle Aeronautical University student project team evolves over the …

Primitive Pythagorean Triples In Lean And Reduction Modulo Odd Prime Powers, Luke Biddle

Mathematical Sciences Undergraduate Honors Theses

Primitive Pythagorean triples (PPTs) are (a,b,c) triples that satisfy the Pythagorean theorem and share no other common factors outside of 1. This project examines these PPTs reduction modulo odd prime powers by combining proof writing and number-theoretical analysis with the process of verification and formalization in the Lean proof coding language. Using the parameterization of PPTs generated by using the unit circle with additional conditions, we investigate how these triples behave modulo  for odd primes , with emphasis on counting the number of elements in the set of PPTs (a,b,c) modulo pⁿ . By using cases based on initial …

Decision Making For Large-Scale Problems Under Uncertainty And Conflict, Benjamin J. Hamlin

All Dissertations

Large-scale decision-making problems appear in many areas including long-range forecasting such as energy generation forecasting. Many such problems are subject to conflicting objectives and uncertain data, and can be modeled as linear optimization problems. We study novel theoretical results and algorithms for large-scale linear decision problems under conflict and uncertainty. First, we propose a parametric Benders decomposition algorithm for solving large-scale linear optimization problems with multiple objectives or deterministically uncertain objectives. Second, we extend the parametric Benders decomposition to a multi-stage setting, developing a parametric stochastic dual dynamic programming algorithm, which enables decision-making when conflicts and uncertainty have planning impacts …

A New Approach To Generate Combinatorial Patterns In Logical Analysis Of Data And Its Application To Predict College Retention, Salihah Ahmed E. Jaafari

Theses and Dissertations

Student retention and degree completion remain central challenges for higher-education institutions, with significant implications for student success, institutional effectiveness, and public accountability. While advances in predictive analytics have enabled earlier identification of students at risk of withdrawal, many commonly used machine learning approaches suffer from limited interpretability, constraining their practical usefulness for advising, intervention, and policy decision making. This dissertation addresses the problem of predicting student persistence by developing and evaluating optimization based, interpretable classification models within the Logical Analysis of Data (LAD) framework. Building on existing LAD formulations, this research introduces two novel pattern generation models, the Best Term …

Examining Student Practices In A Technology-Mediated Math Classroom, Bradley T. Dodd

Electronic Theses, Projects, and Dissertations

It is important for math educators to make sense of student thinking in the classroom. Without opportunities to practice this skill math educators struggle to improve, particularly when students are engaging in mathematics using technology. As such, there is a need for video artifacts of students engaging with mathematics using technology for use in professional development activities (Lovett 2020). In accordance with Lovett et al.'s (2020) design principles for examining student practices in a technology-mediated environment, I carried out a study to determine whether these artifacts of student work could be created working with college undergraduates as participants. Students engaged …