Applied Mathematics Commons^™

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.

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 …

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 …

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, …

Swirling Fluid Flow In Flexible, Expandable Elastic Tubes: Variational Approach, Reductions And Integrability, Rossen Ivanov, Vakhtang Putkaradze

Articles

Many engineering and physiological applications deal with situations when a fluid is moving in flexible tubes with elastic walls. In real-life applications like blood flow, a swirl in the fluid often plays an important role, presenting an additional complexity not described by previous theoretical models. We present a theory for the dynamics of the interaction between elastic tubes and swirling fluid flow. The equations are derived using a variational principle, with the incompressibility constraint of the fluid giving rise to a pressure-like term. In order to connect this work with the previous literature, we consider the case of inextensible and …

Simulation Based Inference In Epidemic Models, Tejitha Dharmagadda

Theses, Dissertations and Culminating Projects

From ancient times to the modern day, public health has been an area of great interest. Studies on the nature of disease epidemics began around 400 BC and has been a continuous area of study for the well-being of individuals around the world. For over 100 years, epidemiologists and mathematicians have developed numerous mathematical models to improve our understanding of infectious disease dynamics with an eye on controlling and preventing disease outbreak and spread. In this thesis, we discuss several types of mathematical compartmental models such as the SIR, and SIS models. To capture the noise inherent in the real-world, …

Increasing Performance Of Classifiers For Ssvep-Based Brain-Computer Interfaces Using Extension Methods, Ethan Douglas Webster

Legacy Theses & Dissertations (2009 - 2024)

Brain-computer interfaces (BCI) provide an alternative communication method that does not require standard physical mediums (speech, typing, etc.). These systems have been implemented to provide additional communication and control options for people with certain motor disabilities. Classification is an important part of BCI systems and consists of inferring user commands from brain activity. Supervised classification methods often achieve higher accuracy, but unsupervised classification methods are useful when training is not practical for the user. This thesis focuses on unsupervised classification algorithms used for a BCI speller application and presents extensions for two existing classifiers that improve classification accuracy and thus …

Maxwell's Equations And Yang-Mills Equations In Complex Variables : New Perspectives, Sachin Munshi

Legacy Theses & Dissertations (2009 - 2024)

Maxwell's equations, named after James C. Maxwell, are a U(1) gauge theory describing the interactions between electric and magnetic fields. They lie at the heart of classical electromagnetism and electrodynamics. Yang-Mills equations, named after C. N. Yang and Robert Mills, generalize Maxwell's equations and are associated with a non-abelian gauge theory called Yang-Mills theory. Yang-Mills theory unified the electroweak interaction with the strong interaction (QCD), and it is the foundation of the Standard Model in particle physics.

An Algorithm Based On Vanet Technology To Count Vehicles Stopped At A Traffic Light, Manuel Contreras, Eric Gamess

Research, Publications & Creative Work

Vehicular Ad hoc Networks (VANETs) have gained considerable attention in the past few years due to their promising applicability in relation to the Intelligent Transportation Systems (ITSs). This emerging new technology will provide timely information to develop adaptive traffic light control systems that will allow a significant optimization of the vehicular traffic flow. In this paper, we introduce a novel algorithm for counting vehicles stopped at a traffic light using VANET technology. The algorithm is based on the idea of the propagation of a count request message from the RSU (originating unit) toward the vehicles that are at the end …

Missing Data Imputation Of High-Resolution Temporal Climate Time Series Data, Eben Afrifa-Yamoah, Ute A. Mueller, S. M. Taylor, A. J. Fisher

Research outputs 2014 to 2021

© 2020 The Authors. Meteorological Applications published by John Wiley & Sons Ltd on behalf of the Royal Meteorological Society. Analysis of high-resolution data offers greater opportunity to understand the nature of data variability, behaviours, trends and to detect small changes. Climate studies often require complete time series data which, in the presence of missing data, means imputation must be undertaken. Research on the imputation of high-resolution temporal climate time series data is still at an early phase. In this study, multiple approaches to the imputation of missing values were evaluated, including a structural time series model with Kalman smoothing, …

An Exploration Of 5g Wireless Network Attenuation Using Finite Element Analysis In Comsol Multiphysics, Matthew Johnson

CMC Senior Theses

5G, ultra-high frequency wireless networks face numerous hurdles due to significant signal attenuation in materials and large path loss. Empirical research on signal attenuation has been limited to low frequencies or very select high frequencies. This paper utilizes Finite Element Analysis in COMSOL Multiphysics to analyze signal attenuation in materials over a range of the frequency spectrum, from 100Mhz to 40Ghz, which is inclusive of 5G wireless frequencies. The focus of this paper is on glass and dry wood, as well as wet wood (representative of trees), as these materials are some of the most likely to stand in the …

K-Means Stock Clustering Analysis Based On Historical Price Movements And Financial Ratios, Shu Bin

CMC Senior Theses

The 2015 article Creating Diversified Portfolios Using Cluster Analysis proposes an algorithm that uses the Sharpe ratio and results from K-means clustering conducted on companies' historical financial ratios to generate stock market portfolios. This project seeks to evaluate the performance of the portfolio-building algorithm during the beginning period of the COVID-19 recession. S&P 500 companies' historical stock price movement and their historical return on assets and asset turnover ratios are used as dissimilarity metrics for K-means clustering. After clustering, stock with the highest Sharpe ratio from each cluster is picked to become a part of the portfolio. The economic and …

How Machine Learning And Probability Concepts Can Improve Nba Player Evaluation, Harrison Miller

CMC Senior Theses

In this paper I will be breaking down a scholarly article, written by Sameer K. Deshpande and Shane T. Jensen, that proposed a new method to evaluate NBA players. The NBA is the highest level professional basketball league in America and stands for the National Basketball Association. They proposed to build a model that would result in how NBA players impact their teams chances of winning a game, using machine learning and probability concepts. I preface that by diving into these concepts and their mathematical backgrounds. These concepts include building a linear model using ordinary least squares method, the bias …

A Mass Conserving Mixed Stress Formulation For Stokes Flow With Weakly Imposed Stress Symmetry, Jay Gopalakrishnan, Philip L. Lederer, Joachim Schoeberl

Mathematics and Statistics Faculty Publications and Presentations

We introduce a new discretization of a mixed formulation of the incompressible Stokes equations that includes symmetric viscous stresses. The method is built upon a mass conserving mixed formulation that we recently studied. The improvement in this work is a new method that directly approximates the viscous fluid stress $\sigma$, enforcing its symmetry weakly. The finite element space in which the stress is approximated consists of matrix-valued functions having continuous “normal-tangential” components across element interfaces. Stability is achieved by adding certain matrix bubbles that were introduced earlier in the literature on finite elements for linear elasticity. Like the earlier work, …

The Application Of Machine Learning Models In The Concussion Diagnosis Process, Sujit Subhash

Masters Theses

“Concussions represent a growing health concern and are challenging to diagnose and manage. Roughly four million concussions are diagnosed every year in the United States. Although research into the application of advanced metrics such as neuroimages and blood biomarkers has shown promise, they are yet to be implemented at a clinical level due to cost and reliability concerns. Therefore, concussion diagnosis is still reliant on clinical evaluations of symptoms, balance, and neurocognitive status and function. The lack of a universal threshold on these assessments makes the diagnosis process entirely reliant on a physician’s interpretation of these assessment scores. This study …

Certified Functions For Mesh Generation, Andrey N. Chernikov

Chemistry & Biochemistry Faculty Publications

Formal methods allow for building correct-by-construction software with provable guarantees. The formal development presented here resulted in certified executable functions for mesh generation. The term certified means that their correctness is established via an artifact, or certificate, which is a statement of these functions in a formal language along with the proofs of their correctness. The term is meaningful only when qualified by a specific set of properties that are proven. This manuscript elaborates on the precise statements of the properties being proven and their role in an implementation of a version of the Isosurface Stuffing algorithm by Labelle and …

Spectral Analysis Of Complex Dynamical Systems, Casey Lynn Johnson

CGU Theses & Dissertations

The spectrum of any differential equation or a system of differential equations is related to several important properties about the problem and its subsequent solution. So much information is held within the spectrum of a problem that there is an entire field devoted to it; spectral analysis. In this thesis, we perform spectral analysis on two separate complex dynamical systems. The vibrations along a continuous string or a string with beads on it are the governed by the continuous or discrete wave equation. We derive a small-vibrations model for multi-connected continuous strings that lie in a plane. We show that …

Multiplicative Noise Removal: Nonlocal Low-Rank Model And It's Proximal Alternating Reweighted Minimization Algorithm, Xiaoxia Liu, Jian Lu, Lixin Shen, Chen Xu, Yuesheng Xu

Mathematics & Statistics Faculty Publications

The goal of this paper is to develop a novel numerical method for efficient multiplicative noise removal. The nonlocal self-similarity of natural images implies that the matrices formed by their nonlocal similar patches are low-rank. By exploiting this low-rank prior with application to multiplicative noise removal, we propose a nonlocal low-rank model for this task and develop a proximal alternating reweighted minimization (PARM) algorithm to solve the optimization problem resulting from the model. Specifically, we utilize a generalized nonconvex surrogate of the rank function to regularize the patch matrices and develop a new nonlocal low-rank model, which is a nonconvex …

Unitary And Symmetric Structure In Deep Neural Networks, Kehelwala Dewage Gayan Maduranga

Theses and Dissertations--Mathematics

Recurrent neural networks (RNNs) have been successfully used on a wide range of sequential data problems. A well-known difficulty in using RNNs is the vanishing or exploding gradient problem. Recently, there have been several different RNN architectures that try to mitigate this issue by maintaining an orthogonal or unitary recurrent weight matrix. One such architecture is the scaled Cayley orthogonal recurrent neural network (scoRNN), which parameterizes the orthogonal recurrent weight matrix through a scaled Cayley transform. This parametrization contains a diagonal scaling matrix consisting of positive or negative one entries that can not be optimized by gradient descent. Thus the …

Orthogonal Recurrent Neural Networks And Batch Normalization In Deep Neural Networks, Kyle Eric Helfrich

Theses and Dissertations--Mathematics

Despite the recent success of various machine learning techniques, there are still numerous obstacles that must be overcome. One obstacle is known as the vanishing/exploding gradient problem. This problem refers to gradients that either become zero or unbounded. This is a well known problem that commonly occurs in Recurrent Neural Networks (RNNs). In this work we describe how this problem can be mitigated, establish three different architectures that are designed to avoid this issue, and derive update schemes for each architecture. Another portion of this work focuses on the often used technique of batch normalization. Although found to be successful …

Filtered-Dynamic-Inversion Control For Unknown Minimum-Phase Systems With Unknown Relative Degree, Sumit Suryakant Kamat

Theses and Dissertations--Mechanical and Aerospace Engineering

We present filtered-dynamic-inversion (FDI) control for unknown linear time-invariant systems that are multi-input multi-output and minimum phase with unknown-but-bounded relative degree. This FDI controller requires limited model information, specifically, knowledge of an upper bound on the relative degree and knowledge of the first nonzero Markov parameter. The FDI controller is a single-parameter high-parameter-stabilizing controller that is robust to uncertainty in the relative degree. We characterize the stability of the closed-loop system. We present numerical examples, where the FDI controller is implemented in feedback with mathematical and physical systems. The numerical examples demonstrate that the FDI controller for unknown relative degree …