Applied Mathematics Commons^™

Symbolic Power Containments In Singular Rings In Positive Characteristic, Eloísa Grifo, Linquan Ma, Karl Schwede

Department of Mathematics: Faculty Publications

The containment problem for symbolic and ordinary powers of ideals asks for what values of a and b we have I(a)⊆Ib. Over a regular ring, a result by Ein-Lazarsfeld-Smith, Hochster-Huneke, and Ma-Schwede partially answers this question, but the containments it provides are not always best possible. In particular, a tighter containment conjectured by Harbourne has been shown to hold for interesting classes of ideals - although it does not hold in general. In this paper, we develop a Fedder (respectively, Glassbrenner) type criterion for F-purity (respectively, strong F-regularity) for ideals of finite projective dimension over F-finite Gorenstein rings and use …

Ocean Wave Prediction And Characterization For Intelligent Maritime Transportation, Pujan Pokhrel

LSU New Orleans Theses and Dissertations

The national Earth System Prediction (ESPC) initiative aims to develop the predictions
for the next generation predictions of atmosphere, ocean, and sea-ice interactions in the scale of days to decades. This dissertation seeks to demonstrate the methods we can use to improve the ESPC models, especially the ocean prediction model. In the application side of the weather forecasts, this dissertation explores imitation learning with constraints to solve combinatorial optimization problems, focusing on the weather routing of surface vessels. Prediction of ocean waves is essential for various purposes, including vessel routing, ocean energy harvesting, agriculture, etc. Since the machine learning approaches …

Cohomology Of The Symmetric Group With Twisted Coefficients And Quotients Of The Braid Group, Trevor Nakamura

Graduate Theses and Dissertations

In 2014 Brendle and Margalit proved the level $4$ congruence subgroup of the braid group, $B_{n}[4]$, is the subgroup of the pure braid group generated by squares of all elements, $PB_{n}^{2}$. We define the mod $4$ braid group, $\Z_{n}$, to be the quotient of the braid group by the level 4 congruence subgroup, $B_{n}/B_{n}[4]$. In this dissertation we construct a group presentation for $\Z_{n}$ and determine a normal generating set for $B_{n}[4]$ as a subgroup of the braid group. Further work by Kordek and Margalit in 2019 proved $\Z_{n}$ is an extension of the symmetric group, $S_{n}$, by $\mathbb{Z}_{2}^{\binom{n}{2}}$. A …

Automating Defeasible Reasoning In Law With Answer Set Programming, How Khang Lim, Avishkar Mahajar, Martin Strecker, Meng Weng Wong

Centre for Computational Law (2022-2025)

The paper studies defeasible reasoning in rule-based systems, in particular about legal norms and contracts. We identify rule modifiers that specify how rules interact and how they can be overridden. We then define rule transformations that eliminate these modifiers, leading in the end to a translation of rules to formulas. For reasoning with and about rules, we contrast two approaches, one in a classical logic with SMT solvers, which is only briefly sketched, and one using non-monotonic logic with Answer Set Programming solvers, described in more detail.

Human Perception Of Exponentially Increasing Data Displayed On A Log Scale Evaluated Through Experimental Graphics Tasks, Emily Robinson

Department of Statistics: Dissertations, Theses, and Student Research

Log scales are often used to display data over several orders of magnitude within one graph. We conducted a series of three graphical studies to evaluate the impact displaying data on the log scale has on human perception of exponentially increasing trends compared to displaying data on the linear scale. Each study was related to a different graphical task, each requiring a different level of interaction and cognitive use of the data being presented. The first experiment evaluated whether our ability to perceptually notice differences in exponentially increasing trends is impacted by the choice of scale. Participants were shown a …

Inexact Fixed-Point Proximity Algorithms For Nonsmooth Convex Optimization, Jin Ren

Mathematics & Statistics Theses & Dissertations

The aim of this dissertation is to develop efficient inexact fixed-point proximity algorithms with convergence guaranteed for nonsmooth convex optimization problems encountered in data science. Nonsmooth convex optimization is one of the core methodologies in data science to acquire knowledge from real-world data and has wide applications in various fields, including signal/image processing, machine learning and distributed computing. In particular, in the context of image reconstruction, compressed sensing and sparse machine learning, either the objective functions or the constraints of the modeling optimization problems are nondifferentiable. Hence, traditional methods such as the gradient descent method and the Newton method are …

Could Cultures Determine The Course Of Epidemics And Explain Waves Of Covid-19?, Md Salman Rahman

Theses and Dissertations

Coronavirus Disease (COVID-19), caused by the SARS-CoV-2 virus, is an infectious disease that quickly became a pandemic spreading with different patterns in each country. Travel bans, lockdowns, social distancing, and non-essential business closures caused significant economic disruptions and stalled growth worldwide in the pandemic’s first year. In almost every country, public health officials forced and/or encouraged Nonpharmaceutical Interventions (NPIs) such as contact tracing, social distancing, masks, and quarantine. Human behavioral decision-making regarding social isolation significantly impedes global success in containing the pandemic. This thesis focuses on human behaviors and cultures related to the decision-making of social isolation during the pandemic. …

Bridge Trisections And Classical Knotted Surface Theory, Jason Joseph, Jeffrey Meier, Maggie Miller, Miller Zupan

Department of Mathematics: Faculty Publications

We seek to connect ideas in the theory of bridge trisections with other wellstudied facets of classical knotted surface theory. First, we show how the normal Euler number can be computed from a tri-plane diagram, and we use this to give a trisection-theoretic proof of the Whitney–Massey theorem, which bounds the possible values of this number in terms of the Euler characteristic. Second, we describe in detail how to compute the fundamental group and related invariants from a tri-plane diagram, and we use this, together with an analysis of bridge trisections of ribbon surfaces, to produce an infinite family of …

Relationships Between Covid-19 Infection Rates, Healthcare Access, Socioeconomic Status, And Cultural Diversity, Marghece P. J. Barnes

Boise State University Theses and Dissertations

The COVID-19 pandemic has had a disproportionate impact on racial and ethnic minority groups, with high infection rates throughout those communities. There are a complex set of factors that account for COVID-19 disparities. Focusing on infection and death rates alone without also examining health equity, underestimates the true impact of the pandemic. To gain a more clear understanding of COVID-19’s impact in these communities, we analyzed the relationship between state COVID-19 infection rates with social determinants of health: cultural diversity, health care access, and socioeconomic status. Our approach to identifying this relationship was to estimate infection rates by fitting John …

Dimension And Ramsey Results In Partially Ordered Sets., Sida Wan

Electronic Theses and Dissertations

In this dissertation, there are two major parts. One is the dimension results on different classes of partially ordered sets. We developed new tools and theorems to solve the bounds on interval orders using different number of lengths. We also discussed the dimension of interval orders that have a representation with interval lengths in a certain range. We further discussed the interval dimension and semi dimension for posets. In the second part, we discussed several related results on the Ramsey theory of grids, the results involve the application of Product Ramsey Theorem and Partition Ramsey Theorem

Cross-Validation For Autoregressive Models., Christina Han

Electronic Theses and Dissertations

There are no set rules for choosing the lag order for autoregressive (AR) time series models. Currently, the most common methods employ AIC or BIC. However, AIC has been proven to be inconsistent and BIC is inefficient. Racine proposed an estimator based on Shao's work which he hypothesized would also be consistent, but left the proof as an open problem. We will show his claim does not follow immediately from Shao. However, Shao offered another consistent method for cross validation of linear models called APCV, and we will show that AR models satisfy Shao's conditions. Thus, APCV is a consistent …

A New Sir Model With Mobility., Ciana Applegate

Electronic Theses and Dissertations

In this paper, a mobility-based SIR model is built to understand the spread of the pandemic. A traditional SIR model used in epidemiology describes the transition of particles among states, such as susceptible, infected, and recovered states. However, the traditional model has no movement of particles. There are many variations of SIR models when it comes to the factor of mobility, the majority of studies use mobility intensity or population density as a measure of mobility. In this paper, a new dynamical SIR model, including the spatial motion of three-type particles, is constructed and the long-time behavior of the first …

Optimal First Order Methods For Reducing Gradient Norm In Unconstrained Convex Smooth Optimization, Yunheng Jiang

All Theses

In this thesis, we focus on convergence performance of first-order methods to compute an $\epsilon$-approximate solution of minimizing convex smooth function $f$ at the $N$-th iteration.

In our introduction of the above research question, we first introduce the gradient descent method with constant step size $h=1/L$. The gradient descent method has a $\mathcal{O}(L^2\|x_0-x^*\|^2/\epsilon)$ convergence with respect to $\|\nabla f(x_N)\|^2$. Next we introduce Nesterov’s accelerated gradient method, which has an $\mathcal{O}(L\|x_0-x^*\|\sqrt{1/\epsilon})$ complexity in terms of $\|\nabla f(x_N)\|^2$. The convergence performance of Nesterov’s accelerated gradient method is much better than that of the gradient descent method but still not optimal. We also …

Efficiency Of Homomorphic Encryption Schemes, Kyle Yates

All Theses

In 2009, Craig Gentry introduced the first fully homomorphic encryption scheme using bootstrapping. In the 13 years since, a large amount of research has gone into improving efficiency of homomorphic encryption schemes. This includes implementing leveled homomorphic encryption schemes for practical use, which are schemes that allow for some predetermined amount of additions and multiplications that can be performed on ciphertexts. These leveled schemes have been found to be very efficient in practice. In this thesis, we will discuss the efficiency of various homomorphic encryption schemes. In particular, we will see how to improve sizes of parameter choices in homomorphic …

Evaluation Of Generative Models For Predicting Microstructure Geometries In Laser Powder Bed Fusion Additive Manufacturing, Andy Ramlatchan

Computer Science Theses & Dissertations

In-situ process monitoring for metals additive manufacturing is paramount to the successful build of an object for application in extreme or high stress environments. In selective laser melting additive manufacturing, the process by which a laser melts metal powder during the build will dictate the internal microstructure of that object once the metal cools and solidifies. The difficulty lies in that obtaining enough variety of data to quantify the internal microstructures for the evaluation of its physical properties is problematic, as the laser passes at high speeds over powder grains at a micrometer scale. Imaging the process in-situ is complex …

Utilization Of Finite Element Analysis Techniques For Adolescent Idiopathic Scoliosis Surgical Planning, Michael A. Polanco

Mechanical & Aerospace Engineering Theses & Dissertations

Adolescent Idiopathic Scoliosis, a three-dimensional deformity of the thoracolumbar spine, affects approximately 1-3% of patients ages 10-18. Surgical correction and treatment of the spinal column is a costly and high-risk task that is consistently complicated by factors such as patient-specific spinal deformities, curve flexibility, and surgeon experience. The following dissertation utilizes finite element analysis to develop a cost-effective, building-block approach by which surgical procedures and kinematic evaluations may be investigated. All studies conducted are based off a volumetric, thoracolumbar finite element (FE) model developed from computer-aided design (CAD) anatomy whose components are kinematically validated with in-vitro data. Spinal ligament stiffness …

Academic Hats And Ice Cream: Two Optimization Problems, Valery F. Ochkov, Yulia V. Chudova

Journal of Humanistic Mathematics

This article describes the use of computer software to optimize the design of an academic hat and an ice cream cone!

Maintaining Ecosystem And Economic Structure In A Three-Species Dynamical System In Chesapeake Bay, Maila Hallare, Iordanka Panayotova

CODEE Journal

We consider a three-species fish dynamical system in Chesapeake Bay consisting of the Atlantic menhaden as the prey and its two competing predators, the striped bass and the catfish. Building on our previous work in this system, we consider the issue of balancing economic harvesting goals (financial gain for fishermen) with ecological harvesting goals (non-extinction of species). In particular, we investigate the bionomic equilibria, maximum sustainable yield, and the maximum economic yield. Analytical computations and numerical simulations are employed to provide some mathematical guidance on fisheries management policies.

Computational Models To Detect Radiation In Urban Environments: An Application Of Signal Processing Techniques And Neural Networks To Radiation Data Analysis, Jose Nicolas Gachancipa

Beyond: Undergraduate Research Journal

Radioactive sources, such as uranium-235, are nuclides that emit ionizing radiation, and which can be used to build nuclear weapons. In public areas, the presence of a radioactive nuclide can present a risk to the population, and therefore, it is imperative that threats are identified by radiological search and response teams in a timely and effective manner. In urban environments, such as densely populated cities, radioactive sources may be more difficult to detect, since background radiation produced by surrounding objects and structures (e.g., buildings, cars) can hinder the effective detection of unnatural radioactive material. This article presents a computational model …

Bbt Acoustic Alternative Top Bracing Cadd Data Set-Norev-2022jun28, Bill Hemphill

STEM Guitar Project’s BBT Acoustic Kit

This electronic document file set consists of an overview presentation (PDF-formatted) file and companion video (MP4) and CADD files (DWG & DXF) for laser cutting the ETSU-developed alternate top bracing designs and marking templates for the STEM Guitar Project’s BBT (OM-sized) standard acoustic guitar kit. The three (3) alternative BBT top bracing designs in this release are
(a) a one-piece base for the standard kit's (Martin-style) bracing,
(b) 277 Ladder-style bracing, and
(c) an X-braced fan-style bracing similar to traditional European or so-called 'classical' acoustic guitars.

The CADD data set for each of the three (3) top bracing designs includes …

Mathematics Textbook: Motivation, Experiences, And Didactical Aspect From Authors’ Perspectives, Deepak Basyal, Bhesh Raj Mainali

Mathematics and Statistics

Textbooks play a vital role in the Nepali education system since they are one of the main resources for teaching and learning mathematics. Because of poor physical infrastructure and inadequate educational resources, both teachers and students heavily rely on textbooks. In this regard, this study investigated the mathematics textbook authors' experiences and motivation, and what types of didactical knowledge were utilised while writing textbooks. A convenient yet purposeful sampling method was utilised to select four participants. The data analysis unveiled that each textbook author had different types of motivation and experiences, and only one participant was aware of the ideas …

An Iot Based Worker Safety Helmet Using Cloud Computing Technology, Yuthriya Iddi Khamis, Mahmoud Alawi, Waheed Muhammad Sanya

Tanzania Journal of Engineering and Technology (TJET)

Miner safety and security is a major challenge around the world due to the exposure to toxic gases that are frequently released in underground mines. Miners' health is adversely affected primarily by toxic gases, which endanger the workers' lives. Furthermore, human sensory abilities do not detect these dangerous gases. As a result, this paper proposes a safety monitoring system that includes a temperature sensor, humidity sensor, and gas sensors to detect harmful gases and alert miners to those harmful gases using the smart helmet they wear. These gases are transmitted to the control station via the cloud using Internet of …

Navier-Stokes Equations In One And Two Dimensions, Jon Nerdal

LSU Master's Theses

The Navier-Stokes equations are an important tool in understanding and describing fluid flow. We investigate different formulations of the incompressible Navier-Stokes equations in the one-dimensional case along an axis and in the two-dimensional case in a circular pipe without swirl. For the one-dimensional case we show that the velocity approximations are remarkably accurate and we suggest that understanding this simple axial behaviour is an important starting point for further exploration in higher dimensions. The complexity of the boundary is then increased with the two-dimensional case of fluid flow through the cross section of a circular pipe, where we investigate two …

Heterogeneity Of Gene Trees, Jonathan Nenye Odumegwu Unm

Mathematics & Statistics ETDs

Multilocus phylogenetic studies often show a high degree of gene tree heterogeneity —gene trees that have different topologies from each other as well as from the species tree topology. In some cases, this can lead to studies with hundreds of loci having distinct gene tree topologies. The degree of heterogeneity is expected to increase when there is a high degree of incomplete lineage sorting due to short branches (as measured in coalescent units) in the species tree. Other potential sources of heterogeneity include other biological processes such as introgression, recombination within genes, ancestral population structure, gene duplication and loss, and …

Many Cliques In Bounded-Degree Hypergraphs, Rachel Kirsch, J. Radcliffe

Department of Mathematics: Faculty Publications

Recently Chase determined the maximum possible number of cliques of size t in a graph on n vertices with given maximum degree. Soon afterward, Chakraborti and Chen answered the version of this question in which we ask that the graph have m edges and fixed maximum degree (without imposing any constraint on the number of vertices). In this paper we address these problems on hypergraphs. For s-graphs with s ≥ 3 a number of issues arise that do not appear in the graph case. For instance, for general s-graphs we can assign degrees to any i-subset of the vertex set …

Modelling Spherical Aberration Detection In An Analog Holographic Wavefront Sensor, Emma Branigan, Suzanne Martin, Matthew Sheehan, Kevin Murphy

Conference Papers

The analog holographic wavefront sensor (AHWFS) is a simple and robust solution to wavefront sensing in turbulent environments. Here, the ability of a photopolymer based AHWFS to detect refractively generated spherical aberration is modelled and verified.

Robust Sensor Design For The Novel Reduced Models Of The Mead-Marcus Sandwich Beam Equation, Ahmet Aydin

Masters Theses & Specialist Projects

Novel space-discretized Finite Differences-based model reductions are proposed for the partial differential equations (PDE) model of a multi-layer Mead-Marcus-type beam with (i) hinged-hinged and (ii) clamped-free boundary conditions. The PDE model describes transverse vibrations for a sandwich beam whose alternating outer elastic layers constrain viscoelastic core layers, which allow transverse shear. The major goal of this project is to design a single boundary sensor, placed at the tip of the beam, to control the overall dynamics on the beam.

For (i), it is first shown that the PDE model is exactly observable by the so-called nonharmonic Fourier series approach. However, …

On The Spectral Theory Of Linear Differential-Algebraic Operators With Periodic Coefficients, Bader Alshammari

Theses and Dissertations

In this thesis, the spectral theory of linear differential algebraic equations (DAEs) is considered in detail and extended to treat the weighted spectral theory which generalizes the classical theory, i.e., we develop the spectral theory for the most general DAEs: J df dt + Hf = λWf, (0.0.1) where J is a constant nonzero skew-Hermitian n×n-matrix, both H and W are dperiodic Hermitian n×n-matrices with Lebesgue measurable functions as entries, and W is positive semidefinite and invertible for a.e. t ∈ R (i.e., Lebesgue almost everywhere). Under weakest hypotheses on H and W currently known, called the local index-1 hypotheses, …

Numerical Solutions To The Robin Inverse Problem With Nonnegativity Constraints, Weifu Fang, Fu-Rong Lin

Mathematics and Statistics Faculty Publications

We present iterative numerical methods for solving the inverse problem of recovering the nonnegative Robin coefficient from partial boundary measurement of the solution to the Laplace equation. Based on the boundary integral equation formulation of the problem, nonnegativity constraints in the form of a penalty term are incorporated conveniently into least-squares iteration schemes for solving the inverse problem. Numerical implementation and examples are presented to illustrate the effectiveness of this strategy in improving recovery results.

Real-Time Data Analytics For Monitoring Electricity Consumption Using Iot Technology, Waheed Muhammad Sanya, Gaurav Bajpai, Omar Haji Kombo, Evariste Twahirwa

Tanzania Journal of Engineering and Technology (TJET)

Rising electricity bills as a result of climate variability and new home electrical and electronic appliances are becoming a major source of concern for most end users. Consumers are typically unaware of their household electricity consumption patterns and the costs associated with them, making proper planning and budgeting difficult. Monitoring and controlling energy consumption on appliances can reduce energy costs for end-users. The Internet of Things (IoT) has the potential to provide remote monitoring and control of devices via automated monitoring and control. In this study, we propose an IoT-enabled system for monitoring and controlling energy consumption in homes to …