Applied Mathematics Commons^™

An Essay On Proof, Conviction, And Explanation: Multiple Representation Systems In Combinatorics, Elise Nicole Lockwood, John Caughman, Keith Weber

Mathematics and Statistics Faculty Publications and Presentations

There is a longstanding conversation in the mathematics education literature about proofs that explain versus proofs that only convince. In this essay, we offer a characterization of explanatory proofs with three goals in mind. We first propose a theory of explanatory proofs for mathematics education in terms of representation systems. Then, we illustrate these ideas in terms of combinatorial proofs, focusing on binomial identities. Finally, we leverage our theory to explain audience-dependent and audience-invariant aspects of explanatory proof. Throughout, we use the context of combinatorics to emphasize points and to offer examples of proofs that can be explanatory or only …

Expected Resurgences And Symbolic Powers Of Ideals, Eloísa Grifo, Craig Huneke, Vivek Mukundan

Department of Mathematics: Faculty Publications

We give explicit criteria that imply the resurgence of a self-radical ideal in a regular ring is strictly smaller than its codimension, which in turn implies that the stable version of Harbourne's conjecture holds for such ideals. This criterion is used to give several explicit families of such ideals, including the defining ideals of space monomial curves. Other results generalize known theorems concerning when the third symbolic power is in the square of an ideal, and a strong resurgence bound for some classes of space monomial curves

Mathematical Modelling Of The Tuberculosis Epidemiology, Ally Yeketi Ayinla

Student Works (2020-2029)

This project analyses the tuberculosis (TB) epidemic mathematically using compartmental modelling approach. Three models are presented to discuss drug susceptible and multi-drug resistant TB. The first model presented has 4 compartments; susceptible, exposed, infectious and recovered. The relevance of the exposed class in managing TB is analysed and found to be useful in delaying the eventual onset of the infection. Compared to previous researches, our results significantly show that when efforts are made such that no infected individual bypasses the exposed class and progresses directly to the infectious, the TB epidemic is successfully combatted. Also, the model is used to …

A Sequential Partial Information Bomber‐Defender Shooting Problem, Krishna Kalyanam, David W. Casbeer, Meir Pachter

Faculty Publications

No abstract provided.

Using Differential Equations To Model Predator-Prey Relations As Part Of Scudem Modeling Challenge, Zachary Fralish, Bernard Tyson Iii, Anthony Stefan

Rose-Hulman Undergraduate Mathematics Journal

Differential equation modeling challenges provide students with an opportunity to improve their mathematical capabilities, critical thinking skills, and communication abilities through researching and presenting on a differential equations model. This article functions to display an archetype summary of an undergraduate student team’s response to a provided prompt. Specifically, the provided mathematical model estimates how certain stimuli from a predator are accumulated to trigger a neural response in a prey. Furthermore, it tracks the propagation of the resultant action potential and the physical flight of the prey from the predator through the analysis of larval zebrafish as a model organism. This …

A Game-Theoretic Model Of Monkeypox To Assess Vaccination Strategies, Sri Vibhaav Bankuru, Samuel Kossol, William Hou, Parsa Mahmoudi, Jan Rychtář, Dewey Taylor

Mathematics and Applied Mathematics Publications

Monkeypox (MPX) is a zoonotic disease similar to smallpox. Its fatality rate is about 11% and it is endemic to the Central and West African countries. In this paper, we analyze a compartmental model of MPX dynamics. Our goal is to see whether MPX can be controlled and eradicated by voluntary vaccinations. We show that there are three equilibria—disease free, fully endemic and previously neglected semi-endemic (with disease existing only among humans). The existence of semi-endemic equilibrium has severe implications should the MPX virus mutate to increased viral fitness in humans. We find that MPX is controllable and can be …

The N-Integral, Abraham P. Racca, Emmanuel A. Cabral

Mathematics Faculty Publications

In this paper, we introduced a Henstock-type integral named $N$-integral of a real valued function $f$ on a closed and bounded interval $[a,b]$. The $N$-integrable functions lie entirely between Riemann integrable functions and Henstock integrable functions. It was shown that for a Henstock integrable function $f$ on $[a,b]$ the following are equivalent: \begin{enumerate} \item[$(1)$] The function $f$ is $N$-integrable; \item[$(2)$] There exists a null set $S$ for which given $\epsilon >0$ there exists a gauge $\delta$ such that for any $\delta$-fine partial division $D=\{(\xi,[u,v])\}$ of $[a,b]$ we have \[(\phi_S(D)\cap \Gamma_{\epsilon})\sum |f(v)-f(u)||v-u|<\epsilon\] where $\phi_S(D)=\{(\xi,[u,v])\in D:\xi \notin S\}$ and \[\Gamma_{\epsilon}=\{(\xi,[u,v]): |f(v)-f(u)|\geq \epsilon\}\] \end{enumerate} and \begin{enumerate} \item[$(3)$] The function $f$ is continuous almost everywhere. \end{enumerate} A characterization of continuous almost everywhere functions was also given.

Mathematical Modeling Of Diabetic Foot Ulcers Using Optimal Design And Mixed-Modeling Techniques, Michael Belcher

Mahurin Honors College Capstone Experience/Thesis Projects

A mathematical model for the healing response of diabetic foot ulcers was developed using averaged data (Krishna et al., 2015). The model contains four major factors in the healing of wounds using four separate differential equations with 12 parameters. The four differential equations describe the interactions between matrix metalloproteinases (MMP-1), tissue inhibitors of matrix metalloproteinases (TIMP-1), the extracellular matrix (ECM) of the skin, and the fibroblasts, which produce these proteins. Recently, our research group obtained the individual patient data that comprised the averaged data. The research group has since taken several approaches to analyze the model with the individual …

Variational Analysis Of Composite Optimization, Ashkan Mohammadi

Wayne State University Dissertations

The dissertation is devoted to the study of the first- and second-order variational analysis of the composite functions with applications to composite optimization. By considering a fairly general composite optimization problem, our analysis covers numerous classes of optimization problems such as constrained optimization; in particular, nonlinear programming, second-order cone programming and semidefinite programming(SDP). Beside constrained optimization problems our framework covers many important composite optimization problems such as the extended nonlinear programming and eigenvalue optimization problem. In first-order analysis we develop the exact first-order calculus via both subderivative and subdifferential. For the second-order part we develop calculus rules via second-order subderivative …

Use Of Kalman Filtering In State And Parameter Estimation Of Diabetes Models, Cassidy Le

HMC Senior Theses

Diabetes continues to affect many lives every year, putting those affected by it at higher risk of serious health issues. Despite many efforts, there currently is no cure for diabetes. Nevertheless, researchers continue to study diabetes in hopes of understanding the disease and how it affects people, creating mathematical models to simulate the onset and progression of diabetes. Recent research by David J. Albers, Matthew E. Levine, Andrew Stuart, Lena Mamykina, Bruce Gluckman, and George Hripcsak¹ has suggested that these models can be furthered through the use of Data Assimilation, a regression method that synchronizes a model with a …

High Order Explicit Semi-Lagrangian Method For The Solution Of Lagrangian Transport And Stochastic Differential Equations, Hareshram Natarajan

CGU Theses & Dissertations

A semi-Lagrangian method is developed for the solution of Lagrangian transport equations and stochastic differential equations that is consistent with Discontinuous Spectral Element Method (DSEM) approximations of Eulerian conservation laws. The method extends the favorable properties of DSEM that include its high-order accuracy, its local and boundary fitted properties and its high performance on parallel platforms for the concurrent semi-Lagrangian and Eulerian solution of a class of time-dependent problems that can be described by coupled Eulerian-Lagrangian formulations. Such formulations include the probabilistic models used for the simulation of chemically reacting turbulent flows or particle-laden flows. Motivated by the high-fidelity simulation …

Null-Homologous Exotic Surfaces In 4–Manifolds, Nathan Sunukjian, Neil R. Hoffman

University Faculty Publications and Creative Works

We exhibit infinite families of embedded tori in 4–manifolds that are topologically isotopic but smoothly distinct. The interesting thing about these tori is that they are topologically trivial in the sense that each bounds a topologically embedded solid handlebody. This implies that there are stably ribbon surfaces in 4–manifolds that are not ribbon.

Fuzzy Logistic Regression For Detecting Differential Dna Methylation Regions, Tarek M. Bubaker Bennaser

Doctoral Dissertations

“Epigenetics is the study of changes in gene activity or function that are not related to a change in the DNA sequence. DNA methylation is one of the main types of epigenetic modifications, that occur when a methyl chemical group attaches to a cytosine on the DNA sequence. Although the sequence does not change, the addition of a methyl group can change the way genes are expressed and produce different phenotypes. DNA methylation is involved in many biological processes and has important implications in the fields of biomedicine and agriculture.

Statistical methods have been developed to compare DNA methylation at …

Boundary Vortex Formation In Polarization-Modulated Orthogonal Smectic Liquid Crystals, Carlos J. García-Cervera, Tiziana Giorgi, Sookyung Joo

Mathematics & Statistics Faculty Publications

We investigate the relaxation of an energy functional originated in the physics literature to study the bistability of polarization modulated orthogonal smectic phases (SmAP_Fmod) of bent-core molecules liquid crystals. We show that the interplay between the mixed boundary conditions and the shape of the sample results in boundary defects. We also analyze the bistable switching due to an applied electric field via gradient flow numerical simulations. Our computations reveal a novel dynamic scenario, where switching is achieved by the formation of two internal vortices.

Agent-Based Modeling Of Locust Foraging And Social Behavior, Hannah Larson

HMC Senior Theses

Locust swarms contain millions of individuals and are a threat to agriculture on four continents. At low densities, locusts are solitary foragers; however, when crowded, they undergo an epigenetic phase change to a gregarious state in which they are attracted to other locusts. It is believed that this is an evolutionary adaptation that optimizes the seeking of resources. We have developed an agent-based model based on the solitary-gregarious transition and foraging behaviors due to hunger levels. A novel feature of our model is that it treats food resources as a dynamic variable in the environment. We discuss how social interaction …

A Framework Of Multi-Dimensional And Multi-Scale Modeling With Applications, Zilong Li

Doctoral Dissertations

In this dissertation, a framework for multi-dimensional and multi-scale modeling is proposed. The essential idea is based on oriented space curves, which can be represented as a 3D slender object or 1D step parameters. SMILES and Masks provide functionalities that extend slender objects into branched and other objects. We treat the conversion between 1D, 2D, 3D, and 4D representations as data unification. A mathematical analysis of different methods applied to helices (a special type of space curves) is also provided. Computational implementation utilizes Model-ViewController design principles to integrate data unification with graphical visualizations to create a dashboard. Applications of multi-dimensional …

Toward Automated Region Detection & Parcellation Of Rat Brain Tissue Images, Alexandro Arnal

Open Access Theses & Dissertations

People who analyze images of biological tissue often rely on segmentation of structures as a preliminary step. In particular, laboratories studying the rat brain manually delineate brain regions to position scientific findings on a brain atlas to propose hypotheses about the rat brain, and ultimately, the human brain. Our work intersects with the preliminary step of delineating regions in images of brain tissue via computational methods.

We investigate pixel-wise classification or segmentation of brain regions using ten histological images of brain tissue sections stained for Nissl substance, and two deep learning models: U-Net and Tile2Vec. Our goal is to assess …

Comparing Predictive Performance Of Statistical Learning Models On Medical Data, Francis Biney

Open Access Theses & Dissertations

This work investigates the predictive performance of 10 Machine learning models on three medical data including Breast cancer, Heart disease and Prostate cancer. Furthermore, we use the models to identify risk factors that contribute significantly to these diseases.

The models considered include; Logistic regression with L1 and L_2 penalties, Principal component logistic regression(PCR-LR), Partial least squares logistic regression(PLS-LR), Multivariate adaptive regression splines(MARS), Support vector machine with Radial Basis Kernel (SVM-RBK), Random Forest(RF), Gradient Boosting Machines(GBM), Elastic Net (Enet) and Feedforward Neural Network(FFNN). The models were grouped according to their similarities and learning style; i) Linear regularized models: LR-Lasso, LR-Ridge and …

Model-Based Network Reconstruction From Cascade Dynamics, Katherine Irena Chwistek

Graduate Research Theses & Dissertations

Network representation provides a natural framework for the study of real world complex systems. From social networks and animal groups to interneuronal communications and power grid systems, complex patterns of interaction can be captured and modeled using networks in a simple mathematical form. In many cases, however, a faithful network representation of the system is not readily available. For this reason, network reconstruction has become a growing topic of interest in recent years, the goal of which is to discover the hidden interaction patterns among individuals by fitting input-output data from multiple experiments to candidate network topologies.

During a cascade, …

Stochastic Technique For Solutions Of Non-Linear Fin Equation Arising In Thermal Equilibrium Model, Iftikhar Ahmad, Hina Qureshi, Muhammad Bilal, Muhammad Usman

Mathematics Faculty Publications

In this study, a stochastic numerical technique is used to investigate the numerical solution of heat transfer temperature distribution system using feed forward artificial neural networks. Mathematical model of fin equation is formulated with the help of artificial neural networks. The effect of the heat on a rectangular fin with thermal conductivity and temperature de-pendent internal heat generation is calculated through neural networks optimization with optimizers like active set technique, interior point technique, pattern search, genetic algorithm and a hybrid approach of pattern search - interior point technique, genetic algorithm - active set technique, genetic algorithm - interior point technique, …