Applied Mathematics Commons^™

Weihrauch Reducibility And Finite-Dimensional Subspaces, Sean Sovine

Theses, Dissertations and Capstones

In this thesis we study several principles involving subspaces and decompositions of vector spaces, matroids, and graphs from the perspective of Weihrauch reducibility. We study the problem of decomposing a countable vector space or countable matroid into 1-dimensional subspaces. We also study the problem of producing a finite-dimensional or 1-dimensional subspace of a countable vector space, and related problems for producing finite-dimensional subspaces of a countable matroid. This extends work in the reverse mathematics setting by Downey, Hirschfeldt, Kach, Lempp, Mileti, and Montalb´an (2007) and recent work of Hirst and Mummert (2017). Finally, we study the problem of producing a …

2017-2018 Graduate Handbook For The Master Of Arts In Educational Mathematics, Otterbein Office Of Graduate Programs

Graduate School

Graduate Handbook on the MAEM Program at Otterbein University.

A Mathematical System For Human Implantable Wound Model Studies, Salomonsky Paul-Michael, Rebecca Segal

Mathematics and Applied Mathematics Publications

In this work, we present a mathematical model, which accounts for two fundamental processes involved in the repair of an acute dermal wound. These processes include the inflammatory response and fibroplasia. Our system describes each of these events through the time evolution of four primary species or variables. These include the density of initial damage, inflammatory cells, fibroblasts and deposition of new collagen matrix. Since it is difficult to populate the equations of our model with coefficients that have been empirically derived, we fit these constants by carrying out a large number of simulations until there is reasonable agreement between …

High Performance Techniques Applied In Partial Differential Equations Library, Shilei Lin

All College Thesis Program, 2016-2019

This thesis explores various Trilinos packages to determine a method for updating the deal.ii library, which specializes in solving partial differential equations by finite element methods. It begins with introducing related concepts and general goals, followed by exploring computational and mathematical methods which are analytical solutions of one-dimensional Boussinesq equations and developing newer prototypes for solvers in deal.ii based on Trilinos packages. After demonstrating the methods, it indicates the reducing solving time in newer prototypes. Based on results from the prototype, similar methods are applied to update the deal.ii library. In the end, a testing program is exploited to demonstrate …

Hamiltonian Model For Coupled Surface And Internal Waves In The Presence Of Currents, Rossen Ivanov

Articles

We examine a two dimensional fluid system consisting of a lower medium bounded underneath by a flatbed and an upper medium with a free surface. The two media are separated by a free common interface. The gravity driven surface and internal water waves (at the common interface between the media) in the presence of a depth-dependent current are studied under certain physical assumptions. Both media are considered incompressible and with prescribed vorticities. Using the Hamiltonian approach the Hamiltonian of the system is constructed in terms of ’wave’ variables and the equations of motion are calculated. The resultant equations of motion …

Management Of Invasive Allee Species, David Chan, C. M. Kent, D. M. Johnson

Mathematics and Applied Mathematics Publications

In this study, we use a discrete, two-patch population model of an Allee species to examine different methods in managing invasions. We first analytically examine the model to show the presence of the strong Allee effect, and then we numerically explore the model to test the effectiveness of different management strategies. As expected invasion is facilitated by lower Allee thresholds, greater carrying capacities and greater proportions of dispersers. These effects are interacting, however, and moderated by population growth rate. Using the gypsy moth as an example species, we demonstrate that the effectiveness of different invasion management strategies is context-dependent, combining …

Code For "Noise-Enhanced Coding In Phasic Neuron Spike Trains", Cheng Ly, Brent D. Doiron

Statistical Sciences and Operations Research Data

This zip file contains Matlab scripts and ode (XPP) files to calculate the statistics of the models in "Noise-Enhanced Coding in Phasic Neuron Spike Trains". This article is published in PLoS ONE.

Dynamics And Clustering In Locust Hopper Bands, Jialun Zhang

HMC Senior Theses

In recent years, technological advances in animal tracking have renewed interests in collective animal behavior, and in particular, locust swarms. These swarms pose a major threat to agriculture in northern Africa, the Middle East, and other regions. In their early life stages, locusts move in hopper bands, which are huge aggregations traveling on the ground. Our main goal is to understand the underlying mechanisms for the emergence and organization of these bands. We construct an agent-based model that tracks individual locusts and a continuum model that tracks the evolution of locust density. Both these models are motivated by experimental observations …

Kinetic Monte Carlo Methods For Computing First Capture Time Distributions In Models Of Diffusive Absorption, Daniel Schmidt

HMC Senior Theses

In this paper, we consider the capture dynamics of a particle undergoing a random walk above a sheet of absorbing traps. In particular, we seek to characterize the distribution in time from when the particle is released to when it is absorbed. This problem is motivated by the study of lymphocytes in the human blood stream; for a particle near the surface of a lymphocyte, how long will it take for the particle to be captured? We model this problem as a diffusive process with a mixture of reflecting and absorbing boundary conditions. The model is analyzed from two approaches. …

Pattern Recognition In Stock Data, Kathryn Dover

HMC Senior Theses

Finding patterns in high dimensional data can be difficult because it cannot be easily visualized. There are many different machine learning methods to fit data in order to predict and classify future data but there is typically a large expense on having the machine learn the fit for a certain part of a dataset. We propose a geometric way of defining different patterns in data that is invariant under size and rotation. Using a Gaussian Process, we find that pattern within stock datasets and make predictions from it.

Incorporating The Centers For Disease Control And Prevention Into Vaccine Pricing Models, Dina Sinclair

HMC Senior Theses

The American vaccine pricing market has many actors, making it a complex system to model. Because of this, previous papers have chosen to model only vaccine manufacturers while leaving out the government. However, the government is also an important actor in the market, since it buys over half of vaccines produced. In this work, we aim to introduce the government into vaccine pricing models to better recommend pricing strategies to the Centers for Disease Control and Prevention.

Product Development Resilience Through Set-Based Design, Stephen H. Rapp

Wayne State University Dissertations

Often during a system Product Development program external factors or requirements change, forcing system design change. This uncertainty adversely affects program outcome, adding to development time and cost, production cost, and compromise to system performance. We present a development approach that minimizes the impacts, by considering the possibility of changes in the external factors and the implications of mid-course design changes. The approach considers the set of alternative designs and the burdens of a mid-course change from one design to another in determining the relative value of a specific design. The approach considers and plans parallel development of alternative designs …

Eigenvalue Dependence Of Numerical Oscillations In Parabolic Partial Differential Equations, R. Corban Harwood

Faculty Publications - Department of Mathematics

This paper investigates oscillation-free stability conditions of numerical methods for linear parabolic partial differential equations with some example extrapolations to nonlinear equations. Not clearly understood, numerical oscillations can create infeasible results. Since oscillation-free behavior is not ensured by stability conditions, a more precise condition would be useful for accurate solutions. Using Von Neumann and spectral analyses, we find and explore oscillation-free conditions for several finite difference schemes. Further relationships between oscillatory behavior and eigenvalues is supported with numerical evidence and proof. Also, evidence suggests that the oscillation-free stability condition for a consistent linearization may be sufficient to provide oscillation-free stability …

Steady And Stable: Numerical Investigations Of Nonlinear Partial Differential Equations, R. Corban Harwood

Faculty Publications - Department of Mathematics

Excerpt: "Mathematics is a language which can describe patterns in everyday life as well as abstract concepts existing only in our minds. Patterns exist in data, functions, and sets constructed around a common theme, but the most tangible patterns are visual. Visual demonstrations can help undergraduate students connect to abstract concepts in advanced mathematical courses. The study of partial differential equations, in particular, benefits from numerical analysis and simulation."

Eigenvector Centrality: Illustrations Supporting The Utility Of Extracting More Than One Eigenvector To Obtain Additional Insights Into Networks And Interdependent Structures, Dawn Iacobucci, Rebecca Mcbride, Deidre L. Popovich

University Faculty Publications and Creative Works

Among the many centrality indices used to detect structures of actors’ positions in networks is the use of the first eigenvector of an adjacency matrix that captures the connections among the actors. This research considers the seeming pervasive current practice of using only the first eigenvector. It is shows that, as in other statistical applications of eigenvectors, subsequent vectors can also contain illuminating information. Several small examples, and Freeman’s EIES network, are used to illustrate that while the first eigenvector is certainly informative, the second (and subsequent) eigenvector(s) can also be equally tractable and informative.

On Some Impulse Control Problems With Constraint, Jose L. Menaldi, Maurice Robin

Mathematics Faculty Research Publications

The impulse control of a Markov–Feller process is considered when the impulses are allowed only when a signal arrives. This is referred to as an impulse control problem with constraint. A detailed setting is described, a characterization of the optimal cost is obtained using previous results of the authors on optimal stopping problems with constraint, and an optimal impulse control is identified.

End-To-End Molecular Communication Channels In Cell Metabolism: An Information Theoretic Study, Zahmeeth Sayed Sakkaff, Jennie L. Catlett, Mikaela Cashman, Massimiliano Pierobon, Nicole R. Buan, Myra B. Cohen, Christine A. Kelley

Department of Biochemistry: Faculty Publications

The opportunity to control and fine-tune the behavior of biological cells is a fascinating possibility for many diverse disciplines, ranging from medicine and ecology, to chemical industry and space exploration. While synthetic biology is providing novel tools to reprogram cell behavior from their genetic code, many challenges need to be solved before it can become a true engineering discipline, such as reliability, safety assurance, reproducibility and stability. This paper aims to understand the limits in the controllability of the behavior of a natural (non-engineered) biological cell. In particular, the focus is on cell metabolism, and its natural regulation mechanisms, and …

Multiplicative Noise Removal With A Sparsity-Aware Optimization Model, Jian Lu, Lixin Shen, Chen Xu, Yuesheng Xu

Mathematics & Statistics Faculty Publications

Restoration of images contaminated by multiplicative noise (also known as speckle noise) is a key issue in coherent image processing. Notice that images under consideration are often highly compressible in certain suitably chosen transform domains. By exploring this intrinsic feature embedded in images, this paper introduces a variational restoration model for multiplicative noise reduction that consists of a term reflecting the observed image and multiplicative noise, a quadratic term measuring the closeness of the underlying image in a transform domain to a sparse vector, and a sparse regularizer for removing multiplicative noise. Being different from popular existing models which focus …

Flow Conditions In The Intracranial Aneurysm Lumen Are Associated With Inflammation And Degenerative Changes Of The Aneurysm Wall, J. Cebral, E. Ollikainen, Bong Jae Chung, F. Mut, V. Sippola, B. R. Jahromi, R. Tulamo, J. Hernesniemi, M. Niemelä, A. Robertson, J. Frösen

Department of Applied Mathematics and Statistics Faculty Scholarship and Creative Works

BACKGROUND AND PURPOSE: Saccular intracranial aneurysm is a common disease that may cause devastating intracranial hemorrhage. Hemodynamics, wall remodeling, and wall inflammation have been associated with saccular intracranial aneurysm rupture.Weinvestigated how saccular intracranial aneurysm hemodynamics is associated with wall remodeling and inflammation of the saccular intracranial aneurysm wall. MATERIALS AND METHODS: Tissue samples resected during a saccular intracranial aneurysm operation (11 unruptured, 9 ruptured) were studied with histology and immunohistochemistry. Patient-specific computational models of hemodynamics were created from preoperative CT angiographies. RESULTS: More stable and less complex flows were associated with thick, hyperplastic saccular intracranial aneurysm walls, while slower flows …

Numerical Solutions Of The Radiosity Equation By The Galerkin Method For The Spherical Pyramid (Mars Project), Qiuyang Deng

Mathematics Theses

The Radiosity of a surface is the rate at which energy leaves that surface. It includes the energy emitted by a surface as well as the energy reflected. In this thesis, a spherical shaped interior space was designed on a spacecraft, which one day might land on Mars. The Radiosity model was used to determine the brightness inside the space. A global Galerkin method is used to solve the Radiosity Equation for several spherical shapes. This research is based on the study of the Radiosity Equation for occluded surfaces using the Collocation Method by Atkinson and Chein. The previous research …

Bounding And Stabilizing Realizations Of Biased Graphs With A Fixed Group, Nancy Ann Neudauer, Dan Slilaty

Mathematics and Statistics Faculty Publications

Given a group Γ and a biased graph (G, B), we define a what is meant by a Γ-realization of (G, B) and a notion of equivalence of Γ-realizations. We prove that for a finite group Γ and t ≥ 3, that there are numbers n(Γ) and n(Γ, t) such that the number of Γ-realizations of a vertically 3-connected biased graph is at most n(Γ) and that the number of Γ-realizations of a nonseparable biased graph without a (2Ct , ∅)-minor is at most n(Γ, t). Other results pertaining to contrabalanced biased graphs are presented as well as an analogue …

Approximate Statistical Solutions To The Forensic Identification Of Source Problem, Danica M. Ommen

Electronic Theses and Dissertations

Currently in forensic science, the statistical methods for solving the identification of source problems are inherently subjective and generally ad-hoc. The formal Bayesian decision framework provides the most statistically rigorous foundation for these problems to date. However, computing a solution under this framework, which relies on a Bayes Factor, tends to be computationally intensive and highly sensitive to the subjective choice of prior distributions for the parameters. Therefore, this dissertation aims to develop statistical solutions to the forensic identification of source problems which are less subjective, but which retain the statistical rigor of the Bayesian solution. First, this dissertation focuses …

Accounting For Locational, Temporal, And Physical Similarity Of Residential Sales In Mass Appraisal Modeling: The Development And Application Of Geographically, Temporally, And Characteristically Weighted Regression, Paul E. Bidanset, Michael Mccord, John R. Lombard, Peadar Davis, William J. Mccluskey

School of Public Service Faculty Publications

Geographically weighted regression (GWR) has been recognized in the assessment community as a viable automated valuation model (AVM) to help overcome, at least in part, modeling hurdles associated with location, such as spatial heterogeneity and spatial autocorrelation of error terms. Although previous researchers have adjusted the GWR weights matrix to also weight by time of sale or by structural similarity of properties in AVMs, the research described in this paper is the first that has done so by all three dimensions (i.e., location, structural similarity, and time of sale) simultaneously. Using 24 years of single-family residential sales in Fairfax, Virginia, …

Region Of Smooth Functions For Positive Solutions To An Elliptic Biological Model, Joon Hyuk Kang, Timothy Robertson

Faculty Publications

The non-existence and existence of the positive solution to the generalized elliptic model ∆u+g(u v) = 0 in Ω, ∆v+h(u, v) = 0 in Ω, u=v= 0 on∂Ω, were investigated.

Characterization Of Rectifying And Sphere Curves In R^3, Yun Myung Oh, Julie Logan

Faculty Publications

Studies of curves in 3D-space have been developed by many geometers and it is known that any regular curve in 3D space is completely determined by its curvature and torsion, up to position. Many results have been found to characterize various types of space curves in terms of conditions on the ratio of torsion to curvature. Under an extracondition on the constant curvature, Y.L. Seo and Y. M. Oh found the series solution when the ratio of torsion to curvature is a linear function. Furthermore, this solution is known to be a rectifying curve by B. Y. Chen’s work. This …

Sine, Cosine, And Tangent Table: 0 To 360 Degrees, Paul Royster

Department of Mathematics: Class Notes and Learning Materials

In helping with my high school student's math homework, I was astonished to find no trig tables in the 800-page textbook. I was further astonished to find no printable version online that extended beyond 90°.

While most smartphones will tell you the sine of an angle, they will not necessarily tell you the angle for which the sine is x. And since multiple angles may have the same sine (e.g. 59° and 121°), it seems useful to see the numerical progression of the functions in addition to their graphical representation.

Here is a printable sine-cosine-tangent table for all integer angle …

Daily Traffic Flow Pattern Recognition By Spectral Clustering, Matthew Aven

CMC Senior Theses

This paper explores the potential applications of existing spectral clustering algorithms to real life problems through experiments on existing road traffic data. The analysis begins with an overview of previous unsupervised machine learning techniques and constructs an effective spectral clustering algorithm that demonstrates the analytical power of the method. The paper focuses on the spectral embedding method’s ability to project non-linearly separable, high dimensional data into a more manageable space that allows for accurate clustering. The key step in this method involves solving a normalized eigenvector problem in order to construct an optimal representation of the original data.

While this …

Flexibility Of Projective-Planar Embeddings, John Maharry, Neil Robertson, Vaidy Sivaraman, Dan Slilaty

Mathematics and Statistics Faculty Publications

Given two embeddings σ1 and σ2 of a labeled nonplanar graph in the projective plane, we give a collection of maneuvers on projective-planar embeddings that can be used to take σ1 to σ2

Family-Based Association Studies Of Autism In Boys Via Facial-Feature Clusters, Luke Andrew Settles

Masters Theses

"Autism spectrum disorder (ASD) refers to a set of developmental disorders with varied attributes. Due to its substantial heterogeneity in terms of behavioral and clinical phenotypes, it is challenging to discern the genetic biomarkers behind ASD, even though the disease is known to be genetic in nature. This serves as a motivation to detect relationships between single nucleotide polymorphisms (SNPs) and a causal autism disease susceptibility locus (DSL) within more homogeneous subgroups. Recently, clinically meaningful subclassifications of ASD have been discovered utilizing facial features of prepubescent boys. Therefore, through the employment of data from 44 prepubertal Caucasian boys with ASD …

The Pantograph Equation In Quantum Calculus, Thomas Griebel

Masters Theses

"In this thesis, the pantograph equation in quantum calculus is investigated. The pantograph equation is a famous delay differential equation that has been known since 1971. Till the present day, the continuous and the discrete cases of the pantograph equation are well studied. This thesis deals with different pantograph equations in quantum calculus. An explicit solution representation and the exponential behavior of solutions of a pantograph equation are proved. Furthermore, several pantograph equations regarding asymptotic stability are considered. In fact, conditions for the asymptotic stability of the zero solution are derived and subsequently illustrated by examples. Moreover, an explicit solution …