Applied Mathematics Commons^™

Uniform Convergence Of Deep Neural Networks With Lipschitz Continuous Activation Functions And Variable Widths, Yuesheng Xu, Haizhang Zhang

Mathematics & Statistics Faculty Publications

We consider deep neural networks (DNNs) with a Lipschitz continuous activation function and with weight matrices of variable widths. We establish a uniform convergence analysis framework in which sufficient conditions on weight matrices and bias vectors together with the Lipschitz constant are provided to ensure uniform convergence of DNNs to a meaningful function as the number of their layers tends to infinity. In the framework, special results on uniform convergence of DNNs with a fixed width, bounded widths and unbounded widths are presented. In particular, as convolutional neural networks are special DNNs with weight matrices of increasing widths, we put …

Symmetry Analysis Of The Canonical Connection On Lie Groups:Co-Dimension Two Abelian Nilradical With Abelian And Non Abelian Complement, Nouf Alrubea Almutiben

Theses and Dissertations

We consider the symmetry algebra of the geodesic equations of the canonical
connection on a Lie groups. We mainly consider the solvable indecomposable four,
five and six-dimensional Lie algebras with co-dimension two abelian nilradical, that
have an abelian and not abelian complement. In this particular case, we have only
one algebra in dimension four namely; A4,12 , and three algebras in dimension five
namely; A5,33, A5,34, and A5,35 In dimension six, based on the list of Lie algebras in
Turkowski’s list, there are nineteen such algebras namely; A6,1- A6,19 that have an
abelian complement, and there are eight algebras that …

Sparse Representation Learning For Temporal Networks, Maxwell Mcneil

Electronic Theses & Dissertations (2024 - present)

Temporal networks arise in many domains including activity of social network users, sensor network readings over time, and time course gene expression within the interaction network of a model organism. Data of this type contains a wealth of prior information such as the connectivity among nodes (e.g., a friendship graph), and prior knowledge of expected temporal patterns (e.g., periodicity). Modeling these temporal and network patterns jointly is essential for state-of-the-art performance in temporal network data analysis and mining. Sparse dictionary encoding is one modeling approach for such underlying patterns. However, most classical approaches consider only one dimension of the data …

Mathematical Modeling Of Coupled Heat And Mass Transfer In Metal-Hydride Hydrogen Storage Systems, Muhammad Hasnain

College of Graduate Studies: Theses & Dissertations

As a promising clean energy carrier hydrogen has recently gained significant interest, but its efficient and safe storage is a major challenge. Compared to the gaseous state and liquid state, metal hydrides (MH) offer a potentially more effective storage approach for hydrogen. However, the main challenge in this approach is the low thermal conductivity of the MH bed that leads to low heat transfer and ultimately to higher charging and discharging times. The purpose of this work is to develop an in-house comprehensive heat and mass transfer model for hydrogen sorption in MH reactors to simulate the dynamic behavior of …

A Comparative Analysis Of A Family Of Advanced Iterative Optimization Methods In Nonlinear Regression, Tanmoy Kumar Debnath

College of Graduate Studies: Theses & Dissertations

Classical statistical supervised learning optimization techniques like the Gauss-Newton Iterative Method (GNIM), Weighted Gauss-Newton Iterative Method (WGNIM), Reweighted Gauss-Newton Iterative Method (RGNIM), and Levenberg-Marquart (LM) algorithm extend the nonlinear least squares method. The WGNIM improves model fitting by controlling heteroscedasticity in the linear and nonlinear models. A comparative analysis of the GNIM, WGNIM, RGNIM, and LM methods for fitting nonlinear models is presented. A step-wise diagnosis for structural multicollinearity in the reweighted linearized model is investigated via the Variance Inflation Factor (VIF) to determine variance inflation in the sequence of estimators for the model parameters. Under restricted multicollinearity levels in …

Numerical Modeling Of Thermal Runaway In Lithium-Ion Batteries Using Decomposition Kinetics And Inter-Cell Contact Resistance, Shehzad Khan

College of Graduate Studies: Theses & Dissertations

Lithium-ion batteries (LIBs) are central in numerous high-demand applications due to their high energy density and prolonged cycle life. Despite these advantages, their susceptibility to thermal runaway (TR) poses a significant safety risk, with the potential for catastrophic failures. This study focuses on the thermal behavior of prismatic lithium-ion cells, using a finite volume-based partial differential equation (PDE) solver developed in MATLAB and JULIA to model TR behavior. This solver accurately simulates transient behaviors, convection, diffusion, and source terms across various coordinate systems. By engaging in a series of increasing complex case studies, this research aims to identify the critical …

A Recursive Framework For Evaluating Moments Using Zero-Suppressed Binary Decision Diagrams, Brian Godwin Lim, Renzo Roel P. Tan, Jun Kawahara, Shin Ichi Minato, Kazushi Ikeda

Quantitative Methods and Information Technology Faculty Publications

The zero-suppressed binary decision diagram (ZDD) is a compact data structure widely used for the efficient representation of families of sparse subsets. Its inherent recursive structure also facilitates easy diagram manipulation and family operations. Practical applications generally fall under discrete optimization, such as combinatorial problems and graph theory. Given its utility, summarizing the subsets represented in the diagram using key metrics is of great value as this provides valuable insights into the characteristics of the family. The paper proposes a recursive algorithm to extract information on moments from families represented as a ZDD. Given a value for every element in …

Automatic Hemorrhage Segmentation In Brain Ct Scans Using Curriculum-Based Semi-Supervised Learning, Solayman H. Emon, Tzu-Liang (Bill) Tseng, Michael Pokojovy, Peter Mccaffrey, Scott Moen, Md Fashiar Rahman

Mathematics & Statistics Faculty Publications

One of the major neuropathological consequences of traumatic brain injury (TBI) is intracranial hemorrhage (ICH), which requires swift diagnosis to avert perilous outcomes. We present a new automatic hemorrhage segmentation technique via curriculum-based semi-supervised learning. It employs a pre-trained lightweight encoder-decoder framework (MobileNetV2) on labeled and unlabeled data. The model integrates consistency regularization for improved generalization, offering steady predictions from original and augmented versions of unlabeled data. The training procedure employs curriculum learning to progressively train the model at diverse complexity levels. We utilize the PhysioNet dataset to train and evaluate the proposed approach. The performance results surpass those of …

Addressing Spectral Bias Of Deep Neural Networks By Multi-Grade Deep Learning, Ronglong Fang, Yuesheng Xu

Mathematics & Statistics Faculty Publications

Deep neural networks (DNNs) have showcased their remarkable precision in approximating smooth functions. However, they suffer from the spectral bias, wherein DNNs typically exhibit a tendency to prioritize the learning of lower-frequency components of a function, struggling to effectively capture its high-frequency features. This paper is to address this issue. Notice that a function having only low frequency components may be well-represented by a shallow neural network (SNN), a network having only a few layers. By observing that composition of low frequency functions can effectively approximate a high-frequency function, we propose to learn a function containing high-frequency components by composing …

Characterizing Probabilities Of Outbreaks Of Dengue In Central Argentina Using A Temperature-Dependent Stochastic Model, Morgan H. Jackson, Elizabet L. Estallo, Cheng Ly, Michael A. Robert

Graduate Research Posters

Dengue virus (DENV) causes over 390 million infections and around 40,000 deaths worldwide each year. DENV is primarily transmitted by the mosquito Aedes aegypti, and both the life cycle of these mosquitoes and dengue transmission are significantly impacted by temperature. In the temperate region of Central Argentina, where dengue outbreaks first began in 2009, outbreaks of dengue can only occur due to new introductions of DENV from other regions. Due to the relationships between temperature and dengue, the risk of outbreak changes throughout the year.

We develop a stochastic model including temperature-dependent mosquito life history traits and transmission-related parameters. …

Optimizing Sports Outcome Prediction Through Feature Engineering And Machine Learning, Vitor S. Freitas

Graduate Theses/Dissertations

The challenge of predicting the outcome of a team game lies in the high complexity and dynamics of the sports data. This thesis focuses on the aspect of using feature engineering and the genetic algorithm to predict the winner and the score of various sports events. Generally, it deals with how machine learning algorithms are combined with state-of-the-art feature engineering techniques in sports datasets derived from various sports disciplines. In this thesis, five different machine learning models have been applied, classification and regression trees (CART), random forest (RF), stochastic gradient boosting (SGB), eXtreme gradient boosting (XGBoost), and extreme learning machine …

Data Driven And Machine Learning Based Modeling And Predictive Control Of Combustion At Reactivity Controlled Compression Ignition Engines, Behrouz Khoshbakht Irdmousa

Dissertations, Master's Theses and Master's Reports

Reactivity Controlled Compression Ignition (RCCI) engines operates has capacity to provide higher thermal efficiency, lower particular matter (PM), and lower oxides of nitrogen (NOx) emissions compared to conventional diesel combustion (CDC) operation. Achieving these benefits is difficult since real-time optimal control of RCCI engines is challenging during transient operation. To overcome these challenges, data-driven machine learning based control-oriented models are developed in this study. These models are developed based on Linear Parameter-Varying (LPV) modeling approach and input-output based Kernelized Canonical Correlation Analysis (KCCA) approach. The developed dynamic models are used to predict combustion timing (CA50), indicated mean effective pressure (IMEP), …

Les-C Turbulence Models And Fluid Flow Modeling: Analysis And Application To Incompressible Turbulence And Fluid-Fluid Interaction, Kyle J. Schwiebert

Dissertations, Master's Theses and Master's Reports

In the first chapter of this dissertation, we give some background on the Navier-Stokes equations and turbulence modeling. The next two chapters in this dissertation focus on two important numerical difficulties arising in fluid flow modeling: poor mass-conservation and nonphysical oscillations. We investigate two different formulations of the Crank-Nicolson method for the Navier-Stokes equations. The most attractive implementation, second order accurate for both velocity and pressure, is shown to introduce non-physical oscillations. We then propose two options which are shown to avoid the poor behavior. Next, we show that grad-div stabilization, previously assumed to have no effect on the target …

New Method For Computing The Euclidean Condition Number With Rim-C, Cody Mccarthy

Dissertations, Master's Theses and Master's Reports

The condition number, being critical to solving linear systems, has many impor-
tant applications. Specifically for robust control analysis, the Euclidean norm has
widespread use over the 1-norm and ∞-norm such as determining a control system’s
stability to uncertainty [1]. Much work has been done with estimating the Euclidean
condition number, but current algorithms for computing said condition number, with
large matrices, tend to run slow as well as requiring a large amount of computa-
tional resources. This report seeks to provide a more time efficient algorithm that
utilizes MATLAB’s eigs, svds, and normest commands as well as the recently …

Explicit Proximal Gradient Methods: Bridging Theory And Practice In Optimization, Cassandra Mohr

Graduate Research Theses & Dissertations

Convex optimization problems are central to numerous fields, including machine learning, signal processing, and image reconstruction. The development and analysis of algorithms for solving splitting optimization problems constitutes a significant area of research. In particular, we investigate a proximal gradient splitting method (PGM) with an explicit linesearch for finding the solution of nonsmooth optimization problems, where the objective function is the sum of two convex functions.

We focus on cases where one of the functions is differentiable, without imposing any Lipschitz continuity assumption on its gradient. We establish the proper definition of the linesearch, and demonstrate that this version of …

Linear Topological Space, Vi Nguyen

UNF Graduate Theses and Dissertations

This thesis begins with an introduction to linear and topological spaces and then defines linear topological spaces. It studies key properties such as neighborhoods, convexity, reflexivity, and weak and weak* topologies. Finally, it concludes with solving non-linear partial differential equations.

Optimizing Microbe-Infected Mosquito Release: A Stochastic Model For Malaria Prevention, Steeven Belvinos Affognon, Henri E.Z. Tonnang, Philip Ngare, Benard Kipchumba Kiplangat, Shirley Abelman, Jeremy K. Herren

All Peer-Reviewed Publications

Malaria remains a critical public health challenge in Africa, demanding innovative control strategies. This study introduces a novel approach using Microsporidia MB-infected mosquitoes and stochastic optimal control within a Lévy process framework to regulate mosquito release strategies. The primary goal is to optimize Microsporidia MB prevalence within mosquito populations to disrupt Plasmodium transmission to humans. By incorporating Lévy noise into the modeling process, we capture the inherent randomness of mosquito dynamics, improving intervention accuracy. The model, guided by the Hamilton–Jacobi–Bellman (HJB) equation, optimizes release protocols while accounting for key environmental factors like seasonality and temperature fluctuations. Results show that intervention …

Quantification Of Antiretroviral Drug Emtricitabine In Human Plasma By Surface Enhanced Raman Spectroscopy, Marguerite R. Butler, Terry A. Jacot, Sucharita M. Dutta, Gustavo F. Doncel, John B. Cooper

Chemistry & Biochemistry Faculty Publications

In this study, reproducible label-free detection and quantification of the antiretroviral drug emtricitabine (FTC) down to 78 ng/mL in human plasma by surface enhanced Raman spectroscopy (SERS) is presented. A novel plasma sample pretreatment method using silver nitrate and silver colloidal nanoparticles (Ag CNPs) was used to prepare the plasma samples for analysis. The pretreated plasma samples were evaporated to dryness on an aluminum surface and a computer-controlled Raman scanning system was used to collect spatially resolved SERS spectra of the entire surface. Calibration curves of commercial human plasma samples containing FTC in a concentration range of 5000 to 78 …

Advanced Techniques In Time Series Forecasting: From Deterministic Models To Deep Learning, Xue Bai

Graduate Theses, Dissertations, and Problem Reports (ETD)

This dissertation discusses three instances of temporal prediction, applied to population dynamics and deep learning.

In population modeling, dynamic processes are frequently represented by systems of differential equations, allowing for the analysis of various phenomena. The first application explores modeling cloned hematopoiesis in chronic myeloid leukemia (CML) via a nonlinear system of differential equations. By tracking the evolution of different cell compartments, including cycling and quiescent stem cells, progenitor cells, differentiated cells, and terminally differentiated cells, the model captures the transition from normal hematopoiesis to the chronic and accelerated-acute phases of CML. Three distinct non-zero steady states are identified, representing …

Simulation Of Wave Propagation In Granular Particles Using A Discrete Element Model, Syed Tahmid Hussan

College of Graduate Studies: Theses & Dissertations

The understanding of Bender Element mechanism and utilization of Particle Flow Code (PFC) to simulate the seismic wave behavior is important to test the dynamic behavior of soil particles. Both discrete and finite element methods can be used to simulate wave behavior. However, Discrete Element Method (DEM) is mostly suitable, as the micro scaled soil particle cannot be fully considered as continuous specimen like a piece of rod or aluminum. Recently DEM has been widely used to study mechanical properties of soils at particle level considering the particles as balls. This study represents a comparative analysis of Voigt and Best …

Leveraging Redundancy As A Link Between Spreading Dynamics On And Of Networks, Felipe Xavier Costa

Electronic Theses & Dissertations (2024 - present)

A constant quest in network science has been in the development of methods to identify the most relevant components in a dynamical system solely via the interaction structure amongst its subsystems. This information allows the development of control and intervention strategies in biochemical signaling and epidemic spreading. We highlight the relevant components in heterogeneous dynamical system by their patterns of redundancy, which can connect how dynamics affect network topology and which pathways are necessary to spreading phenomena on networks. In order to measure the redundancies in a large class of empirical systems, we develop the backbone of directed networks methodology, …

Estimating Modeling Parameters For Covid-19 Spread On Campus, Aviel S. Crigger

Honors Undergraduate Theses

Understanding the true burden of community transmission of communicable diseases like COVID-19 is crucial for effective public health response. Clinical cases, while important, only represent a fraction of the actual disease prevalence within a population. In this thesis, we investigate methods to estimate parameters that link clinical cases to the true disease prevalence using a modified compartmental model known as SICR (Susceptible, Infected, Cases, Recovered). We employ Bayesian inference and ensemble Markov chain Monte Carlo (MCMC) simulations to analyze clinical case data provided by the University of Central Florida Health Center from 2020 to 2022. Our goal is to estimate …

Penalized Interpolating B-Splines And Their Applications, Kylee L. Hartman-Caballero

Theses and Dissertations

One of the most studied data analysis techniques in Numerical Analysis is interpolation. Interpolation is used in a variety of fields, namely computer graphic design and biomedical research. Among interpolation techniques, cubic splines have been viewed as the standard since at least the 1960s, due to their ease of computation, numerical stability, and the relative smoothness of the interpolating curve. However, cubic splines have notable drawbacks, such as their lack of local control and necessary knowledge of boundary conditions. Arguably a more versatile interpolation technique is the use of B-splines. B-splines, a relative of Bézier curves, allow local control through …

Mathematical Modeling And Analysis Of Inflammation And Tissue Repair: Lung Inflammation And Wound Healing In Corals Under Stress, Quintessa Hay

Theses and Dissertations

A variety of insults, including tissue injury and/or exposure to pathogen, elicit an immune response in many organisms. An improperly regulated immune response can result in deleterious effects to the organism. Here we present models for lung injury in young and old mice and models for wound healing in coral reefs.

It is well known that the immune response becomes less effective in older individuals. This is of particular interest in pulmonary insults such as ventilator induced lung injury (VILI) or lung infection. We extended a mathematical model for the inflammatory response to VILI and used experimental data to select …

Mathematical Analysis Of Eukaryotic Pericentromere, Puranjan Ghimire

Theses and Dissertations

The centromere is crucial for chromosomal stability and their proper segregation during cell division in eukaryotes. Surrounding the centromere are pericentromeres, made of repetitive DNA elements called pericentromeric repeats, varying from 10 in fission yeast to thousands in humans. These repeats form densely packed heterochromatin, where genes are usually silenced. The silencing mechanism across different pericentromeric repeats remains unclear.

Despite variations in sequence and length, pericentromeric repeats are conserved across eukaryotes, indicating their functional importance. This dissertation presents mathematical models to quantify gene silencing in fission yeast and humans. In fission yeast, my model predicts that silencing occurs only with …

Mathematical Modeling Of Phage-Bacteria Population Dynamics, John Lawrence D. Palacios

Theses and Dissertations

Bacteriophages are viruses that infect and replicate within bacteria. Lytic phages cause the bacterial cell to burst, killing the bacteria. These types of phages can be used to treat patients with antibiotic-resistant bacterial infections. As a step in developing successful treatment protocols, we aim to understand the population dynamics of phages and bacteria using an in vitro model. We model the dynamics using the Campbell model, which consists of a delay differential equation (DDE), as a base model. We extended the model by including the emergence of phage resistance. We then compared the DDE model with a parallel ordinary differential …

Long-Wave Modeling Of Viscous Film Dynamics Inside A Tube With Time-Dependent Radius, Robert E. Hicks

Theses and Dissertations

Lung fluid dynamics is a well studied topic and relevant in the field of research surrounding patients with Chronic Obstructive Pulmonary Disease (COPD) and cystic fibrosis. However, the literature on the mathematical description of the net pulmonary fluid transport in the case of constricting and expanding airways is scarce. In this paper we aim to address how breathing contributes to airways clearance in patients with pulmonary diseases such as COPD and CF in which cilia do not function properly. We begin with the flow of a fluid-filled tube with rigid walls of fixed radius and the effects of gravity being …

Optimizing Energy Consumption In Smart Homes Using Ga-Lstm, Akibor Junior Chukwuka, Bakare-Bolaji Moyosoreoluwa, Baboucarr Dibba

School of Mathematical & Statistical Sciences Faculty Publications

The need to optimize energy consumption arises from the inadequate energy supply many homes face. However, to optimize energy consumption in a home, one must be equipped with the knowledge of the energy consumption rate and energy supply rate in the home. This paper proposed the use of a Long Short-Term Memory (LSTM) model optimized by Genetic Algorithm (GA) to optimize the energy consumption in a smart home. The model was designed using 8 input variables, which were observed weather information of a given region over a span of 350 days. The data set was split into a training data …