Physical Sciences and Mathematics Commons^™

Bioactivity And Structural Properties Of Hydroxyapatite On Ti6a|4v And Si(100) Surfaces By Pulsed Laser Deposition, Salizhan Kylchbekov

Masters Theses & Specialist Projects

Although biomedical implant technology is very advanced, there are still caveats in terms of biocompatibility properties because metals are inert to biological processes such as osseointegration, cell growth, and cell adhesion. This results in statistically significant complications and opens rooms for improvements. Among many techniques to improve this problem, coating the metal surface with biologically functional materials has resulted in the best performances. Hydroxyapatite (HAP), Ca_₁₀(PO_₄)_₆(OH)_₂, is the most stable form of calcium phosphates in human body environment and is functional in key processes such as ion exchange, osteoblast (bone cells) formation, …

Semantic Completeness Of Intuitionistic Predicate Logic In A Fully Constructive Meta-Theory, Ian Ray

Masters Theses & Specialist Projects

A constructive proof of the semantic completeness of intuitionistic predicate logic is explored using set-generated complete Heyting Algebra. We work in a constructive set theory that avoids impredicative axioms; for this reason the result is not only intuitionistic but fully constructive. We provide background that makes the thesis accessible to the uninitiated.

Knot Theory In Virtual Reality, Donald Lee Price

Masters Theses & Specialist Projects

Throughout the study of Knot Theory, there have been several programmatic solutions to common problems or questions. These solutions have included software to draw knots, software to identify knots, or online databases to look up pre-computed data about knots. We introduce a novel prototype of software used to study knots and links by using Virtual Reality. This software can allow researchers to draw links in 3D, run physics simulations on them, and identify them. This technique has not yet been rigorously explored and we believe it will be of great interest to Knot Theory researchers. The computer code is written …

Some Generalizations Of Classical Integer Sequences Arising In Combinatorial Representation Theory, Sasha Verona Malone

Masters Theses & Specialist Projects

There exists a natural correspondence between the bases for a given finite-dimensional representation of a complex semisimple Lie algebra and a certain collection of finite edge-colored ranked posets, laid out by Donnelly, et al. in, for instance, [Don03]. In this correspondence, the Serre relations on the Chevalley generators of the given Lie algebra are realized as conditions on coefficients assigned to poset edges. These conditions are the so-called diamond, crossing, and structure relations (hereinafter DCS relations.) New representation constructions of Lie algebras may thus be obtained by utilizing edge-colored ranked posets. Of particular combinatorial interest are those representations whose corresponding …

H-Discrete Fractional Model Of Tumor Growth And Anticancer Effects Of Mono And Combination Therapies, Kamala Dadashova

Masters Theses & Specialist Projects

In this thesis, we focus on h–discrete and h–discrete fractional representation of a pharmacokinetics-pharmacodynamics (PK-PD) model which describes tumor growth considering time on hNa, where h>0. First, we introduce some definitions, lemmas and theorems on both h–discrete and h–discrete fractional calculus in the preliminary section. In Chapter 3, we work on the PD model with delay by exam ining nabla h–discrete equations and nabla h–discrete fractional equations as well as variation of constants formulas, accordingly. We introduce our model and solve it using theorems we proved in the last section of the indicated chapter. When we do simulation for …

Controllability And Observability Of Linear Nabla Discrete Fractional Systems, Tilekbek Zhoroev

Masters Theses & Specialist Projects

The main purpose of this thesis to examine the controllability and observability of the linear discrete fractional systems. First we introduce the problem and continue with the review of some basic definitions and concepts of fractional calculus which are widely used to develop the theory of this subject. In Chapter 3, we give the unique solution of the fractional difference equation involving the Riemann-Liouville operator of real order between zero and one. Additionally we study the sequential fractional difference equations and describe the way to obtain the state-space repre- sentation of the sequential fractional difference equations. In Chapter 4, we …

Properties Of Functionally Alexandroff Topologies And Their Lattice, Jacob Scott Menix

Masters Theses & Specialist Projects

This thesis explores functionally Alexandroff topologies and the order theory asso- ciated when considering the collection of such topologies on some set X. We present several theorems about the properties of these topologies as well as their partially ordered set.

The first chapter introduces functionally Alexandroff topologies and motivates why this work is of interest to topologists. This chapter explains the historical context of this relatively new type of topology and how this work relates to previous work in topology. Chapter 2 presents several theorems describing properties of functionally Alexandroff topologies ad presents a characterization for the functionally Alexandroff topologies …

Development Of A Karst Tourism Management Index To Assess Tourism-Driven Degradation Of Protected Karst Sites, Keith R. Semler

Masters Theses & Specialist Projects

The intent of this research was to create and evaluate a karst tourism management index (KTMI). This index is intended to be a new management tool designed to quantify environmental disturbances caused specifically by tourism activities in karst regions, particularly show caves and springs. In an effort to assess the effectiveness of the index as a management tool in karst terrains, after development, the index was applied to six case study sites. A review of the management policies at each study site was conducted with the use of standard policy critique methods and semistructured interviews with managers at the study …

Optimal Control Theory And Estimation Of Parameters In A Differential Equation Model For Patients With Lupus, Peter Agaba

Masters Theses & Specialist Projects

System Lupus Erythematosus (SLE) is a chronic inflammatory autoimmune disorder that affects many parts of the body including skin, joints, kidneys, brains and other organs. Lupus Nephritis (LN) is a disease caused by SLE. Given the complexity of LN, we establish an optimal treatment strategy based on a previously developed mathematical model.For our thesis work, the model variables are: Immune Complexes (I), Pro-inflammatory mediators (P), Damaged tissue (D), and Anti-inflammatory mediators (A). The analysis in this research project focuses on analyzing therapeutic strategies to control damage using both parameter estimation techniques (integration of data to quantify any uncertainties associated with …

Cayley Graphs Of Psl(2) Over Finite Commutative Rings, Kathleen Bell

Masters Theses & Specialist Projects

Hadwiger's conjecture is one of the deepest open questions in graph theory, and Cayley graphs are an applicable and useful subtopic of algebra.

Chapter 1 will introduce Hadwiger's conjecture and Cayley graphs, providing a summary of background information on those topics, and continuing by introducing our problem. Chapter 2 will provide necessary definitions. Chapter 3 will give a brief survey of background information and of the existing literature on Hadwiger's conjecture, Hamiltonicity, and the isoperimetric number; in this chapter we will explore what cases are already shown and what the most recent results are. Chapter 4 will give our decomposition …

Controllability And Observability Of The Discrete Fractional Linear State-Space Model, Duc M. Nguyen

Masters Theses & Specialist Projects

This thesis aims to investigate the controllability and observability of the discrete fractional linear time-invariant state-space model. First, we will establish key concepts and properties which are the tools necessary for our task. In the third chapter, we will discuss the discrete state-space model and set up the criteria for these two properties. Then, in the fourth chapter, we will attempt to apply these criteria to the discrete fractional model. The general flow of our objectives is as follows: we start with the first-order linear difference equation, move on to the discrete system, then the fractional difference equation, and finally …

Runs Of Identical Outcomes In A Sequence Of Bernoulli Trials, Matthew Riggle

Masters Theses & Specialist Projects

The Bernoulli distribution is a basic, well-studied distribution in probability. In this thesis, we will consider repeated Bernoulli trials in order to study runs of identical outcomes. More formally, for t ∈ N, we let Xt ∼ Bernoulli(p), where p is the probability of success, q = 1 − p is the probability of failure, and all Xt are independent. Then Xt gives the outcome of the tth trial, which is 1 for success or 0 for failure. For n, m ∈ N, we define Tn to be the number of trials needed to first observe n …

Iterative Methods To Solve Systems Of Nonlinear Algebraic Equations, Md Shafiful Alam

Masters Theses & Specialist Projects

Iterative methods have been a very important area of study in numerical analysis since the inception of computational science. Their use ranges from solving algebraic equations to systems of differential equations and many more. In this thesis, we discuss several iterative methods, however our main focus is Newton's method. We present a detailed study of Newton's method, its order of convergence and the asymptotic error constant when solving problems of various types as well as analyze several pitfalls, which can affect convergence. We also pose some necessary and sufficient conditions on the function f for higher order of convergence. Different …

Vertex-Relaxed Graceful Labelings Of Graphs And Congruences, Florin Aftene

Masters Theses & Specialist Projects

A labeling of a graph is an assignment of a natural number to each vertex

of a graph. Graceful labelings are very important types of labelings. The study of graceful labelings is very difficult and little has been shown about such labelings. Vertex-relaxed graceful labelings of graphs are a class of labelings that include graceful labelings, and their study gives an approach to the study of graceful labelings. In this thesis we generalize the congruence approach of Rosa to obtain new criteria for vertex-relaxed graceful labelings of graphs. To do this, we generalize Faulhaber’s Formula, which is a famous result …

Discrete Fractional Hermite-Hadamard Inequality, Aykut Arslan

Masters Theses & Specialist Projects

This thesis is comprised of three main parts: The Hermite-Hadamard inequality on discrete time scales, the fractional Hermite-Hadamard inequality, and Karush-Kuhn- Tucker conditions on higher dimensional discrete domains. In the first part of the thesis, Chapters 2 & 3, we define a convex function on a special time scale T where all the time points are not uniformly distributed on a time line. With the use of the substitution rules of integration we prove the Hermite-Hadamard inequality for convex functions defined on T. In the fourth chapter, we introduce fractional order Hermite-Hadamard inequality and characterize convexity in terms of this …

Stability Of Linear Difference Systems In Discrete And Fractional Calculus, Aynur Er

Masters Theses & Specialist Projects

The main purpose of this thesis is to define the stability of a system of linear difference equations of the form,

∇y(t) = Ay(t),

and to analyze the stability theory for such a system using the eigenvalues of the corresponding matrix A in nabla discrete calculus and nabla fractional discrete calculus. Discrete exponential functions and the Putzer algorithms are studied to examine the stability theorem.

This thesis consists of five chapters and is organized as follows. In the first chapter, the Gamma function and its properties are studied. Additionally, basic definitions, properties and some main theorem of discrete calculus are …

Loop Numbers Of Knots And Links, Van Anh Pham

Masters Theses & Specialist Projects

This thesis introduces a new quantity called loop number, and shows the conditions in which loop numbers become knot invariants. For a given knot diagram D, one can traverse the knot diagram and count the number of loops created by the traversal. The number of loops recorded depends on the starting point in the diagram D and on the traversal direction. Looking at the minimum or maximum number of loops over all starting points and directions, one can define two positive integers as loop numbers of the diagram D. In this thesis, the conditions under which these loop numbers become …

Nullification Of Torus Knots And Links, Zachary S. Bettersworth

Masters Theses & Specialist Projects

Knot nullification is an unknotting operation performed on knots and links that can be used to model DNA recombination moves of circular DNA molecules in the laboratory. Thus nullification is a biologically relevant operation that should be studied.

Nullification moves can be naturally grouped into two classes: coherent nullification, which preserves the orientation of the knot, and incoherent nullification, which changes the orientation of the knot. We define the coherent (incoherent) nullification number of a knot or link as the minimal number of coherent (incoherent) nullification moves needed to unknot any knot or link. This thesis concentrates on the study …

Two Generalizations Of The Filippov Operation, Menevse Eryuzlu

Masters Theses & Specialist Projects

The purpose of this thesis is to generalize Filippov's operation, and to get more useful results. It includes two main parts: The C-Filippov operation for the finite and countable cases and the Filippov operation with different measures. In the first chapter, we give brief information about the importance of Filippov's operation, our goal and the ideas behind our generalizations. In the second chapter, we give some sufficient background notes. In the third chapter, we introduce the Filippov operation, explain how to calculate the Filippov of a function and give some sufficient properties of it. In the fourth chapter, we introduce …

Expectation Numbers Of Cyclic Groups, Miriam Mahannah El-Farrah

Masters Theses & Specialist Projects

When choosing k random elements from a group the kth expectation number is the expected size of the subgroup generated by those specific elements. The main purpose of this thesis is to study the asymptotic properties for the first and second expectation numbers of large cyclic groups. The first chapter introduces the kth expectation number. This formula allows us to determine the expected size of any group. Explicit examples and computations of the first and second expectation number are given in the second chapter. Here we show example of both cyclic and dihedral groups. In chapter three we discuss arithmetic …

Counting Convex Sets On Products Of Totally Ordered Sets, Brandy Amanda Barnette

Masters Theses & Specialist Projects

The main purpose of this thesis is to find the number of convex sets on a product of two totally ordered spaces. We will give formulas to find this number for specific cases and describe a process to obtain this number for all such spaces. In the first chapter we briefly discuss the motivation behind the work presented in this thesis. Also, the definitions and notation used throughout the paper are introduced here The second chapter starts with examining the product spaces of the form {1; 2; : : : ;n} × {1; 2}. That is, we begin by analyzing …

Analysis Of Discrete Fractional Operators And Discrete Fractional Rheological Models, Meltem Uyanik

Masters Theses & Specialist Projects

This thesis is comprised of two main parts: Monotonicity results on discrete fractional operators and discrete fractional rheological constitutive equations. In the first part of the thesis, we introduce and prove new monotonicity concepts in discrete fractional calculus. In the remainder, we carry previous results about fractional rheological models to the discrete fractional case. The discrete method is expected to provide a better understanding of the concept than the continuous case as this has been the case in the past. In the first chapter, we give brief information about the main results. In the second chapter, we present some fundamental …

Boundary Problems For One And Two Dimensional Random Walks, Miky Wright

Masters Theses & Specialist Projects

This thesis provides a study of various boundary problems for one and two dimensional random walks. We first consider a one-dimensional random walk that starts at integer-valued height k > 0, with a lower boundary being the x-axis, and on each step moving downward with probability q being greater than or equal to the probability of going upward p. We derive the variance and the standard deviation of the number of steps T needed for the height to reach 0 from k, by first deriving the moment generating function of T. We then study two types of two-dimensional random walks with …

Floquet Theory On Banach Space, Fatimah Hassan Albasrawi

Masters Theses & Specialist Projects

In this thesis we study Floquet theory on a Banach space. We are concerned about the linear differential equation of the form: y'(t) = A(t)y(t), where t ∈ R, y(t) is a function with values in a Banach space X, and A(t) are linear, bounded operators on X. If the system is periodic, meaning A(t+ω) = A(t) for some period ω, then it is called a Floquet system. We will investigate the existence …

Analyzing And Solving Non-Linear Stochastic Dynamic Models On Non-Periodic Discrete Time Domains, Gang Cheng

Masters Theses & Specialist Projects

Stochastic dynamic programming is a recursive method for solving sequential or multistage decision problems. It helps economists and mathematicians construct and solve a huge variety of sequential decision making problems in stochastic cases. Research on stochastic dynamic programming is important and meaningful because stochastic dynamic programming reflects the behavior of the decision maker without risk aversion; i.e., decision making under uncertainty. In the solution process, it is extremely difficult to represent the existing or future state precisely since uncertainty is a state of having limited knowledge. Indeed, compared to the deterministic case, which is decision making under certainty, the stochastic …

Minimizing Travel Time Through Multiple Media With Various Borders, Tonja Miick

Masters Theses & Specialist Projects

This thesis consists of two main chapters along with an introduction and
conclusion. In the introduction, we address the inspiration for the thesis, which
originates in a common calculus problem wherein travel time is minimized across two media separated by a single, straight boundary line. We then discuss the correlation of this problem with physics via Snells Law. The first core chapter takes this idea and develops it to include the concept of two media with a circular border. To make the problem easier to discuss, we talk about it in terms of running and swimming speeds. We first address …

Using Optimal Control Theory To Optimize The Use Of Oxygen Therapy In Chronic Wound Healing, Donna Lynn Daulton

Masters Theses & Specialist Projects

Approximately 2 to 3 million people in the United States suffer from chronic wounds, which are defined as wounds that do not heal in 30 days time; an estimated $25 billion per year is spent on their treatment in the United States. In our work, we focused on treating chronic wounds with bacterial infections using hyperbaric and topical oxygen therapies.

We used a mathematical model describing the interaction between bacteria, neutrophils and oxygen. Optimal control theory was then employed to study oxygen treatment strategies with the mathematical model. Existence of a solution was shown for both therapies. Uniqueness was also …

The Torsion Angle Of Random Walks, Mu He

Masters Theses & Specialist Projects

In this thesis, we study the expected mean of the torsion angle of an n-step
equilateral random walk in 3D. We consider the random walk is generated within a confining sphere or without a confining sphere: given three consecutive vectors ^→e₁ , ^→e₂ , and ^→e₃ of the random walk then the vectors ^→e₁ and ^→e₂ define a plane and the vectors ^→e₂ and ^→e₃ define a second plane. The angle between the two planes is called the torsion angle of the three vectors. Algorithms are …

Nabla Fractional Calculus And Its Application In Analyzing Tumor Growth Of Cancer, Fang Wu

Masters Theses & Specialist Projects

This thesis consists of six chapters. In the first chapter, we review some basic definitions and concepts of fractional calculus. Then we introduce fractional difference equations involving the Riemann-Liouville operator of real number order between zero and one. In the second chapter, we apply the Brouwer fixed point and Contraction Mapping Theorems to prove that there exists a solution for up to the first order nabla fractional difference equation with an initial condition. In chapter three, we define a lower and an upper solution for up to the first order nabla fractional difference equation with an initial condition. Under certain …

Modeling Daily Power Demand In Southern Kentucky: A Single Household Approach, Craig M. Dickson

Masters Theses & Specialist Projects

In this study, we use a nonparametric technique, locally weighted robust least squares regression (LOESS), to forecast a 24 hour demand profile at the household level and compare it to existing aggregate demand models discussed in literature. Of these aggregate demand models, a quadratic autoregressive model was selected to be used as a basis for comparison with the LOESS forecasts. It was our goal to automate the forecasting process by using the goodness of fit metric, AICCI, for smoothing parameter selection. The statistical workflow was executed using SAS and data was provided by the Glasgow Electric Plant Board of Barren …