Mathematics Commons^™

Infinite Line, Infinite Knowledge: The 'Spera' And Organized Chaos In Lambert's Encyclopedia, The 'Liber Floridus', Ava Romano

Theses and Dissertations

The Liber Floridus is a medieval encyclopedia renowned for its program of circular diagrams, or sperae. Inside this manuscript of 190 chapters, these diagrams frame and embody written knowledge, revealing a connection between encyclopedism and life in the Benedictine monastery by creating a coherent visual organization of chapters.

Sharp Polynomial Decay For Polynomially Singular Damping On The Torus, Perry Kleinhenz, Ruoyu P.T. Wang

Faculty Publications – Mathematics

We study energy decay rates for the damped wave equation with unbounded damping, without the geometric control condition. Our main decay result is sharp polynomial energy decay for polynomially controlled singular damping on the torus. We also prove that for normally L^p-damping on compact manifolds, the Schrödinger observability gives p-dependent polynomial decay, and finite time extinction cannot occur. We show that polynomially controlled singular damping on the circle gives exponential decay.

Toward Completeness Theorem For Guarded Kleene Algebra With Tests, Hung Pham

Honors Theses

Code refactoring is a fundamental practice in software engineering, in which a program is restructured without changing the actions it performs and the results it produces. To carry out refactoring with confidence, one requires a formal method for verifying that two programs are equivalent. Guarded Kleene Algebra with Tests (GKAT) provides such a framework, an algebraic system designed to reason about a natural class of programs, namely those in which every branch and loop is governed by a Boolean condition, such as if–else and while statements. Central to GKAT is a finite set of algebraic axioms for deriving program equivalences. …

Gliders On The Sca Model, Alexa Renner

Mathematical Sciences Technical Reports (MSTR)

The Stranded Cellular Automata (SCA) model consists of a grid of cells which can each contain between zero and two strands apiece and two turning rules that control when strands turn and when they cross. While patterns on this model have been studied previously, such research has not needed an algebraic description of the model. We provide a formal algebraic definition of patterns on the model, define gliders on the model in a way which is semi-compatible with definitions of gliders in other cellular automata models, and classify all 1- and 2-stranded gliders on this model. In addition, we prove …

Meshless Collocation Methods For Time-Dependent Nonlocal Problems Based On Radial Basis Functions, Qiao Zhuang, Yanzhi Zhang, Zhongqiang Zhang

Mathematics and Statistics Faculty Research & Creative Works

We present radial basis function (RBF) collocation methods for time-dependent space fractional problems on general bounded domains. Building on a recently developed approach for accurately computing the integral fractional Laplacian of any RBF, we design collocation schemes for fractional heat and Stokes equations using extended-domain techniques. In particular, we propose a numerical Leray projection method for fractional Stokes problems, where both the discrete projection operator and the collocation scheme are formulated on extended domains to handle complex domains. Numerical results demonstrate the effectiveness of the proposed methods in solving time-dependent nonlocal problems on complex domains.

From Wikipedia Tables To Public Data Visualizations, Tanvir Prince

Open Educational Resources

This open educational resource presents a practical mathematics lesson in which students turn numerical data from Wikipedia into a clear data visualization. Students select a Wikipedia page with a data table but little or no visual representation. They examine the original source, date, units, definitions, and possible data limits. They then organize the data in Microsoft Excel or another spreadsheet, choose an appropriate chart, and explain what the visualization helps readers understand. A complete worked example uses the 2017 population growth rates of South American countries.

The resource package includes an instructor lesson plan, a student project guide, a Wikimedia …

Fourier Pseudospectral Methods For The Variable-Order Space Fractional Wave Equations, Yanzhi Zhang, Xiaofei Zhao, Shiping Zhou

Mathematics and Statistics Faculty Research & Creative Works

In this paper, we propose Fourier pseudospectral methods to solve the variable-order space fractional wave equation and develop an accelerated matrix-free approach for its effective implementation. In constant-order cases, fast algorithms can be designed via the fast Fourier transforms (FFTs), and the computational cost at each time step is O(Nlog⁡N) with N the total number of spatial points. In variable-order cases, however, the spatial dependence in the power s(x) leads to the failure of inverse FFTs. While the direct matrix-vector multiplication approach becomes impractical due to excessive memory requirements. Hence, we propose an accelerated matrix-free approach for effective implementation in …

Analyzing Sleep Architecture And Brain State Transitions Via Hidden Markov Models On Fmri Data, Brileigh Jay Cates

Masters Theses

Sleep is associated with systematic changes in brain activity and functional connectivity observable in functional magnetic resonance imagining (fMRI) signals. Because subjects often fall asleep during resting-state experiments, the absence of vigilance monitoring can confound the interpretation of resting-state dynamics. Although electroencephalography (EEG) is the gold standard for sleep staging, simultaneous EEG-fMRI acquisition is not always feasible.

This study investigates whether sleep stages can be inferred directly from fMRI using a probabilistic latent-state framework. Hidden Markov Models (HMMs) are applied to blood-oxygen-level-dependent (BOLD) time series to identify latent brain states and their temporal transitions. Inferred states are aligned with EEG-derived …

Modeling The Vibration Of The Steel Tongue Drum, Rj Chandler

Theses, Dissertations and Culminating Projects

In this paper, I plan to analyze the tones and frequencies of a steel tongue drum. I will be modeling the vibration and expected frequency of each tongue of the drum based on the solutions to the plate equation with the following boundary conditions: One fixed edge and three free edges. The fundamental frequencies are recognized as the first mode of longitudinal vibration in combination with the zeroth mode of transverse vibration of a rectangular steel plate clamped at one end. Then the first and second harmonics, which correspond to the first and second overtones respectively, are associated with higher …

Comparative Machine Learning Models For Disease Risk Prediction, Mercy Mawusi Agbley

Theses, Dissertations and Capstones

Accurate prediction of disease outcomes is crucial for improving clinical decision-making and enabling early intervention. This study compares the performance of various statistical and machine learning models for clinical risk prediction using two healthcare datasets: diabetic retinopathy and heart disease. The models assessed include Logistic Regression, LASSO, k-Nearest Neighbors (KNN), Support Vector Machines (SVM), Neural Networks, Random Forests, Gradient Boosting Machines (GBM), and a stacked ensemble model. Prior to modeling, datasets were split into train and test sets. Standardization was applied to numeric features whilst categorical features were one-hot encoded. These transformations were later applied to the test set. Principal …

Partially Penalized Anisotropic Trilinear Ife-Pic Methods For Dc Plasma Transport Problems, Jiahui Li, Guangqing Xia, Yajie Han, Ziping Wang, Chang Lu, Xiaoming He

Mathematics and Statistics Faculty Research & Creative Works

Implicit and hybrid particle-in-cell methods are widely used for efficient simulation of DC discharge plasma transport. However, their computations require solving anisotropic elliptic equations and face challenges related to mesh geometry, non-axisymmetry, and complex interfaces. Moreover, the accuracy of particle trajectories is critical for plasma etching and erosion studies, where errors near interfaces can significantly impact simulation results. To address these challenges, this paper proposes a three-dimensional anisotropic trilinear partially penalized immersed finite element (ATPPIFE) method, which captures interfaces on Cartesian meshes and effectively reduces discontinuities at interface element faces, ensuring that particle trajectories better align with real-world behavior. Building …

An Association Test For Ordinal Outcomes In Clustered Data With Informative Cluster Size, Hasika K. Wickrama Senevirathne, Sandipan Dutta

Mathematics & Statistics Faculty Publications

In cluster-correlated data, the number of observations in a cluster can be associated with the outcome from that cluster. This phenomenon is known as informative cluster size which can occur in cluster-randomized clinical trial data. Several studies have found that ignoring the issue of informative cluster size can produce biased results in the analysis of clustered data. Most of the existing methods for addressing informative cluster size are suited to continuous outcomes. However, ordinal outcomes and covariates are often encountered in clustered data obtained from large clinical studies. The existing methods for ordinal association testing in clustered data can produce …

Logistic-T Multinomial Mixture Model For Clustering For Microbiome Data, Wenshu Dai, Yuan Fang, Sanjeena Subedi

Mathematics & Statistics Faculty Publications

The logistic-normal multinomial distribution has been used for modelling microbiome data obtained from high-throughput sequencing technologies, which are compositional in nature. A logistic-normal multinomial distribution is a hierarchical multinomial distribution that assumes the latent variable which are the additive log-ratio (ALR) transformed proportions in a multinomial distribution follows a Gaussian distribution. Model-based clustering algorithms have also been developed for clustering microbiome data based on the logistic-normal models. However, the Gaussian assumption may violated when the ALR transformed variable exhibit heavy-tailed distributions or has outliers. Our study introduces a novel mixture of logistic-t multinomial models that effectively address these challenges. Utilizing …

Learning Without Training, Ryan O'Dowd

CGU Theses & Dissertations

We live in an era of big data. Whether it be algorithms designed to help corporations efficiently allocate the use of their resources, systems to block or intercept transmissions in times of war, or the helpful pocket companion known as ChatGPT, machine learning is at the heart of managing the real-world problems associated with massive data. With the success of neural networks on such large-scale problems, more research in machine learning is being conducted now than ever before. This dissertation focuses on three different projects rooted in mathematical theory for machine learning applications. Common themes throughout involve the synthesis of …

On The Influence Of Faraday Waves On Transport In Resonant Acoustic Mixing, Preston David Silverstein

CGU Theses & Dissertations

Resonant acoustic mixing (RAM) uses low frequency high acceleration oscillatory forcing to combine fluids, particles, and powders. Although progress has been in adjacent RAM fields, there are still gaps in understanding how Faraday surface instabilities affect momentum transport to the bulk fluid and particles therein. This work investigates the energy pathways that an oscillatory mixer has and connects surface deformation to bulk rotational flow and particle forcing. This study is conducted in three phases. In phase 1, a thermodynamic first- and second-law analysis couples the surface features with the scale of subsurface rotational features. Experimental surface measurements showed that for …

Designing An Approach To Developing Students' Symbol Sense For The Derivative In Calculus, Laura E. Weinstein

Theses, Dissertations and Culminating Projects

Students often struggle to connect the conceptual meaning of the derivative with the symbolic structures of Leibniz (dy/dx) notation. Although symbol sense has been described as the coordination of mathematical concepts, signs, and objects, little is known about how instruction can purposefully support students in developing symbol sense for the derivative. This study addresses this gap by designing and examining a learning approach aimed at helping students construct the relational structures underlying derivative notation. Using design research methodology, the study engaged intact algebra, precalculus and calculus classes in a suburban New Jersey high school across iterative cycles of design, implementation, …

Classifying Surfaces With Handle Decomposition, Elizabeth Sipes

Murray State Theses and Dissertations

Among topological spaces, manifolds draw a lot of interest. An
n-manifold is a space that is locally like R^n. Manifolds of dimension 2
are called surfaces. Using handle decomposition, we decompose surfaces
into k-handles, where 0< =k< =2. Techniques such as handle sliding and
handle cancellation allow us to get a more favorable representation of
our surface. We use these tools and calculation of the fundamental group
to classify all compact surfaces.

Memory Effects In Many-Body Systems, Jeffrey Beckstrand

Master's Projects

This thesis investigates memory effects in many-body systems through the MoriZwanzig Formalism for projected dynamics of a Hamiltonian System which yields the Generalized Langevin Equation (GLE). The GLE is a stochastic differential equation (SDE) that studies the dynamics of observables under the effects of many other observables in the system. Although satisfying, the GLE has a term called the Memory Kernel that encodes the past of the system and introduces a computational challenge by introducing a non-Markovian property to the equation. The kernel is often approximated by introducing a delta function, which simplifies the computation, but at the loss of …

Mathematics And Political Ideology: A Historical Argument Against The Cultural Understanding Of Mathematics As An Apolitical Field, And A Journalistic Report On The Impact Of The Trump Administration On American Mathematics In 2026, Philo Judson

Pitzer Senior Theses

The interplay between political ideology and mathematics is a recurring theme throughout the history of the academic field. Mathematics has been used as a tool of empire, while mathematicians have been elevated by states as symbols of national genius for political prestige. Political ideologies have also shaped the field from within, both through the suppression of mathematical thought and the enforcement of mathematical authority. Since 2025, the Trump administration has launched large-scale political attacks on American institutions of higher education, which include lawsuits, discrimination investigations, and the removal of federal funding from certain institutions that don’t adhere to the administration’s …

Fostering A Growth Mindset In Mathematics: Faculty And Student Experiences, Yolanda G. Rush

Theses and Dissertations

According to the Center for Community College Student Engagement (2019), many students attending two-year institutions need productive persistence strategies, including the development of a growth mindset. Although some growth mindset interventions have been effective in improving academic achievement among students (Boaler, 2016; Canning et al., 2024) and persistence (Lewis, 2019) among students, especially those with developmental needs (Suh et al., 2019) and those in mathematics, little is known about the experiences of students and teachers (i.e., students’ perceptions of teachers’ intentions and implementation) as teachers work to foster a growth mindset culture (Murphy et al., 2021). In this dissertation, I …