Other Applied Mathematics Commons^™

Characterizing Linearizable Qaps By The Level-1 Reformulation-Linearization Technique, Lucas Waddell, Warren Adams

Faculty Journal Articles

The quadratic assignment problem (QAP) is an extremely challenging NP-hard combinatorial optimization program. Due to its difficulty, a research emphasis has been to identify special cases that are polynomially solvable. Included within this emphasis are instances which are linearizable; that is, which can be rewritten as a linear assignment problem having the property that the objective function value is preserved at all feasible solutions. Various known sufficient conditions for identifying linearizable instances have been explained in terms of the continuous relaxation of a weakened version of the level-1 reformulation-linearization-technique (RLT) form that does not enforce nonnegativity on a subset …

Game-Theoretic Approaches To Optimal Resource Allocation And Defense Strategies In Herbaceous Plants, Molly R. Creagar

Department of Mathematics: Dissertations, Theses, and Student Research

Empirical evidence suggests that the attractiveness of a plant to herbivores can be affected by the investment in defense by neighboring plants, as well as investment in defense by the focal plant. Thus, allocation to defense may not only be influenced by the frequency and intensity of herbivory but also by defense strategies employed by other plants in the environment. We incorporate a neighborhood defense effect by applying spatial evolutionary game theory to optimal resource allocation in plants where cooperators are plants investing in defense and defectors are plants that do not. We use a stochastic dynamic programming model, along …

A Comparison Of Computational Perfusion Imaging Techniques, Shaharina Shoha

Masters Theses & Specialist Projects

Dynamic contrast agent magnetic resonance perfusion imaging plays a vital role in various medical applications, including tumor grading, distinguishing between tumor types, guiding procedures, and evaluating treatment efficacy. Extracting essential biological parameters, such as cerebral blood flow (CBF), cerebral blood volume (CBV), and mean transit time (MTT), from acquired imaging data is crucial for making critical treatment decisions. However, the accuracy of these parameters can be compromised by the inherent noise and artifacts present in the source images.

This thesis focuses on addressing the challenges associated with parameter estimation in dynamic contrast agent magnetic resonance perfusion imaging. Specifically, we aim …

An Lp-Based Characterization Of Solvable Qap Instances With Chess-Board And Graded Structures, Lucas Waddell, Jerry Phillips, Tianzhu Liu, Swarup Dhar

Faculty Journal Articles

The quadratic assignment problem (QAP) is perhaps the most widely studied nonlinear combinatorial optimization problem. It has many applications in various fields, yet has proven to be extremely difficult to solve. This difficulty has motivated researchers to identify special objective function structures that permit an optimal solution to be found efficiently. Previous work has shown that certain such structures can be explained in terms of a mixed 0-1 linear reformulation of the QAP known as the level-1 reformulation-linearization-technique (RLT) form. Specifically, the objective function structures were shown to ensure that a binary optimal extreme point solution exists to the continuous …

Machine Learning In Finances, Elma Kastrat, Akinyemi Apampa, Satyanand Singh

Publications and Research

In our study we work on an optimization of an appropriate stock portfolio base on available information. Our work takes into consideration the average return and any associated risk. We produce an investment strategy that predictively allows a portfolio to grow with high yields.

A Novel Correction For The Adjusted Box-Pierce Test, Sidy Danioko, Jianwei Zheng, Kyle Anderson, Alexander Barrett, Cyril S. Rakovski

Mathematics, Physics, and Computer Science Faculty Articles and Research

The classical Box-Pierce and Ljung-Box tests for auto-correlation of residuals possess severe deviations from nominal type I error rates. Previous studies have attempted to address this issue by either revising existing tests or designing new techniques. The Adjusted Box-Pierce achieves the best results with respect to attaining type I error rates closer to nominal values. This research paper proposes a further correction to the adjusted Box-Pierce test that possesses near perfect type I error rates. The approach is based on an inflation of the rejection region for all sample sizes and lags calculated via a linear model applied to simulated …

Mathematical Analysis Of An Sir Disease Model With Non-Constant Transmission Rate, Emma Bollinger, Tayler Valdez, Swarup Ghosh, Sunil Giri

Student Research

• Epidemiology: A branch of medicine that studies causes, transmission, and control methods of diseases at the population level.
• Mathematical epidemiology deals with creating a model for a disease through the study of incidence and distribution of the disease throughout a population.
• Here, we have examined the behavior of a measles-like disease[2] that is characterized by a non-constant transmission rate.

Existence And Uniqueness Of Minimizers For A Nonlocal Variational Problem, Michael Pieper

Honors Theses

Nonlocal modeling is a rapidly growing field, with a vast array of applications and connections to questions in pure math. One goal of this work is to present an approachable introduction to the field and an invitation to the reader to explore it more deeply. In particular, we explore connections between nonlocal operators and classical problems in the calculus of variations. Using a well-known approach, known simply as The Direct Method, we establish well-posedness for a class of variational problems involving a nonlocal first-order differential operator. Some simple numerical experiments demonstrate the behavior of these problems for specific choices of …

Strengthening A Linear Reformulation Of The 0-1 Cubic Knapsack Problem Via Variable Reordering, Richard Forrester, Lucas Waddell

Faculty Journal Articles

The 0-1 cubic knapsack problem (CKP), a generalization of the classical 0-1 quadratic knapsack problem, is an extremely challenging NP-hard combinatorial optimization problem. An effective exact solution strategy for the CKP is to reformulate the nonlinear problem into an equivalent linear form that can then be solved using a standard mixed-integer programming solver. We consider a classical linearization method and propose a variant of a more recent technique for linearizing 0-1 cubic programs applied to the CKP. Using a variable reordering strategy, we show how to improve the strength of the linear programming relaxation of our proposed reformulation, which ultimately …

An Analysis Of Comparison-Based Sorting Algorithms, Jacob M. Gomez, Edgar Aponte, Brad Isaacson

Publications and Research

Our names are Edgar Aponte and Jacob Gomez and we are Applied Mathematics students at City Tech. Our mentor is Prof. Isaacson and we conducted an analysis of comparison-based sorting algorithms, meaning that they can sort items of any type for which a “less-than” relation is defined. We implemented 24 comparison-based sorting algorithms and elaborated on 6 for our poster. We analyzed the running times of these sorting algorithms with various sets of unsorted data and found that introspective sort and timsort were the fastest and most efficient, with introspective sort being the very fastest.

An Exploration Of Controlling The Content Learned By Deep Neural Networks, Liqun Yang

FIU Electronic Theses and Dissertations

With the great success of the Deep Neural Network (DNN), how to get a trustworthy model attracts more and more attention. Generally, people intend to provide the raw data to the DNN directly in training. However, the entire training process is in a black box, in which the knowledge learned by the DNN is out of control. There are many risks inside. The most common one is overfitting. With the deepening of research on neural networks, additional and probably greater risks were discovered recently. The related research shows that unknown clues can hide in the training data because of the …

The “Knapsack Problem” Workbook: An Exploration Of Topics In Computer Science, Steven Cosares

Open Educational Resources

This workbook provides discussions, programming assignments, projects, and class exercises revolving around the “Knapsack Problem” (KP), which is widely a recognized model that is taught within a typical Computer Science curriculum. Throughout these discussions, we use KP to introduce or review topics found in courses covering topics in Discrete Mathematics, Mathematical Programming, Data Structures, Algorithms, Computational Complexity, etc. Because of the broad range of subjects discussed, this workbook and the accompanying spreadsheet files might be used as part of some CS capstone experience. Otherwise, we recommend that individual sections be used, as needed, for exercises relevant to a course in …

Application Of Randomness In Finance, Jose Sanchez, Daanial Ahmad, Satyanand Singh

Publications and Research

Brownian Motion which is also considered to be a Wiener process and can be thought of as a random walk. In our project we had briefly discussed the fluctuations of financial indices and related it to Brownian Motion and the modeling of Stock prices.

Discovering Kepler’S Third Law From Planetary Data, Boyan Kostadinov, Satyanand Singh

Publications and Research

In this data-inspired project, we illustrate how Kepler’s Third Law of Planetary Motion can be discovered from fitting a power model to real planetary data obtained from NASA, using regression modeling. The power model can be linearized, thus we can use linear regression to fit the model parameters to the data, but we also show how a non-linear regression can be implemented, using the R programming language. Our work also illustrates how the linear least squares used for fitting the power model can be implemented in Desmos, which could serve as the computational foundation for this project at a lower …

Evaluation Of Parametric And Nonparametric Statistical Models In Wrong-Way Driving Crash Severity Prediction, Sajidur Rahman Nafis

FIU Electronic Theses and Dissertations

Wrong-way driving (WWD) crashes result in more fatalities per crash, involve more vehicles, and cause extended road closures compared to other types of crashes. Although crashes involving wrong-way drivers are relatively few, they often lead to fatalities and serious injuries. Researchers have been using parametric statistical models to identify factors that affect WWD crash severity. However, these parametric models are generally based on several assumptions, and the results could generate numerous errors and become questionable when these assumptions are violated. On the other hand, nonparametric methods such as data mining or machine learning techniques do not use a predetermined functional …

Scaling Up Exact Neural Network Compression By Relu Stability, Thiago Serra, Xin Yu, Abhinav Kumar, Srikumar Ramalingam

Faculty Conference Papers and Presentations

We can compress a rectifier network while exactly preserving its underlying functionality with respect to a given input domain if some of its neurons are stable. However, current approaches to determine the stability of neurons with Rectified Linear Unit (ReLU) activations require solving or finding a good approximation to multiple discrete optimization problems. In this work, we introduce an algorithm based on solving a single optimization problem to identify all stable neurons. Our approach is on median 183 times faster than the state-of-art method on CIFAR-10, which allows us to explore exact compression on deeper (5 x 100) and wider …

The Causal Topology Of Neutral 4-Manifolds With Null Boundary, Nikos Georgiou, Brendan Guilfoyle

Publications

This paper considers aspects of 4-manifold topology from the point of view of the null cone of a neutral metric, a point of view we call neutral causal topology. In particular, we construct and investigate neutral 4-manifolds with null boundaries that arise from canonical 3- and 4-dimensional settings. A null hypersurface is foliated by its normal and, in the neutral case, inherits a pair of totally null planes at each point. This paper focuses on these plane bundles in a number of classical settings The first construction is the conformal compactification of flat neutral 4- space into the 4-ball. The …

Parametric Art, Shaun Pollard, Daanial Ahmad, Satyanand Singh

Publications and Research

Lissajous curves, named after Jules Antoine Lissajous (1822-1880) are generated by the parametric equations ��=��������(����) and ��=��������(����) in its simplistic form. Others have studied these curves and their applications like Nathaniel Bowditch in 1815, and they are often referred to as Bowditch curves as well. Lissajous curves are found in engineering, mathematics, graphic design, physics, and many other backgrounds. In this project entitled “Parametric Art” this project will focus on analyzing these types of equations and manipulating them to create art. We will be investigating these curves by answering a series of questions that elucidate their purpose. Using Maple, which …

Structure, Neutrostructure, And Antistructure In Science, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In any science, a classical Theorem, defined on a given space, is a statement that is 100% true (i.e. true for all elements of the space). To prove that a classical theorem is false, it is sufficient to get a single counter-example where the statement is false. Therefore, the classical sciences do not leave room for partial truth of a theorem (or a statement). But, in our world and in our everyday life, we have many more examples of statements that are only partially true, than statements that are totally true. The NeutroTheorem and AntiTheorem are generalizations and alternatives of …

Combination Of The Single-Valued Neutrosophic Fuzzy Set And The Soft Set With Applications In Decision-Making, Florentin Smarandache, Ahmed Mostafa Khalil, Dunqian Chao, A. A. Azzam, W. Alharby

Branch Mathematics and Statistics Faculty and Staff Publications

In this article, we propose a novel concept of the single-valued neutrosophic fuzzy soft set by combining the single-valued neutrosophic fuzzy set and the soft set. For possible applications, five kinds of operations (e.g., subset, equal, union, intersection, and complement) on single-valued neutrosophic fuzzy soft sets are presented. Then, several theoretical operations of single-valued neutrosophic fuzzy soft sets are given. In addition, the first type for the fuzzy decision-making based on single-valued neutrosophic fuzzy soft set matrix is constructed. Finally, we present the second type by using the AND operation of the single-valued neutrosophic fuzzy soft set for fuzzy decision-making …

Predicting And Comparing The Stock Value Of Chick-Fil-A, Mark Yates

Mathematics Senior Capstone Papers

This project focuses on estimating the stock value of Chick-fil-A as if it were a publicly traded company using a comparable analysis method or CAM. We begin by obtaining financial information from Chick-fil-A as well as the amount of locations there are chain-wide. Next we find two publicly traded fast food companies, one that is larger, and one that is smaller than Chick-fil-A and obtain the same information from them. The idea is that Chick-fil-A will lie between theses two companies and we can use the CAM to estimate their stock value. The CAM gives us a multiple of the …

Teaching And Learning Of Fluid Mechanics, Ashwin Vaidya

Department of Mathematics Facuty Scholarship and Creative Works

Fluid mechanics occupies a privileged position in the sciences; it is taught in various science departments including physics, mathematics, environmental sciences and mechanical, chemical and civil engineering, with each highlighting a different aspect or interpretation of the foundation and applications of fluids. Doll’s fluid analogy [5] for this idea is especially relevant to this issue: “Emergence of creativity from complex flow of knowledge—example of Benard convection pattern as an analogy—dissipation or dispersal of knowledge (complex knowledge) results in emergent structures, i.e., creativity which in the context of education should be thought of as a unique way to arrange information so …

Storage Management Strategy In Mobile Phones For Photo Crowdsensing, En Wang, Zhengdao Qu, Xinyao Liang, Xiangyu Meng, Yongjian Yang, Dawei Li, Weibin Meng

Department of Computer Science Faculty Scholarship and Creative Works

In mobile crowdsensing, some users jointly finish a sensing task through the sensors equipped in their intelligent terminals. In particular, the photo crowdsensing based on Mobile Edge Computing (MEC) collects pictures for some specific targets or events and uploads them to nearby edge servers, which leads to richer data content and more efficient data storage compared with the common mobile crowdsensing; hence, it has attracted an important amount of attention recently. However, the mobile users prefer uploading the photos through Wifi APs (PoIs) rather than cellular networks. Therefore, photos stored in mobile phones are exchanged among users, in order to …

Redesign Of Math 1601 Modeling With Calculus, Dustin Grindstaff

Q2S Enhancing Pedagogy

This is the redesign of the course math 1601 - Modeling with Calculus. It includes a sample syllabus and tentative schedule of topics to be covered. The course must meet the Technological Literacy requirement so I have also included a list of potential GeoGebra activities, as well as, what a sample activity would look like.

A Mathematical Model Of Speeding, Jared Ott, Xavier Pérez Giménez

Honors Theses

Crime is often regarded as nonsensical, impulsive, and irrational. These conjectures are pointed, though conversation about the pros and cons of crime does not happen often. People point to harsh fines, jail times, and life restrictions as their reason for judgement, stating that the trade-offs are far too unbalanced to participate in illicit activity. Yet, everyday people commit small crimes, sometimes based on hedonistic desires, other times based on a rational thought process.

Speeding seems to be one of those that almost all people commit at least once during their life. Our work hopes to make an incremental improvement on …

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 …

Individual Based Model To Simulate The Evolution Of Insecticide Resistance, William B. Jamieson

Department of Mathematics: Dissertations, Theses, and Student Research

Insecticides play a critical role in agricultural productivity. However, insecticides impose selective pressures on insect populations, so the Darwinian principles of natural selection predict that resistance to the insecticide is likely to form in the insect populations. Insecticide resistance, in turn, severely reduces the utility of the insecticides being used. Thus there is a strong economic incentive to reduce the rate of resistance evolution. Moreover, resistance evolution represents an example of evolution under novel selective pressures, so its study contributes to the fundamental understanding of evolutionary theory.

Insecticide resistance often represents a complex interplay of multiple fitness trade-offs for individual …

Planck's And Callendar's Blackbody Radiation Formulas And Their Fitness To Experimental Data, Max Tran

Publications and Research

In this paper, we compare the blackbody radiation density formula obtained with classical physics by Hugh L Callendar and the formula obtained by Max Planck using quantization of energy. We use R and Maxima to analyze their fitness on coordinating experimental data and indicate some limitations with experiments in this area.

Exploring Delay Dispersal In Us Airport Network, Brandon Sripimonwan, Arun Sathanur

STAR Program Research Presentations

The modeling of delay diffusion in airport networks can potentially help develop strategies to prevent the spread of such delays and disruptions. With this goal, we used the publicly-available historical United States Federal Aviation Administration (FAA) flight data to model the spread of delays in the US airport network. For the major (ASPM-77) airports for January 2017, using a threshold on the volume of flights, we sparsify the network in order to better recognize patterns and cluster structure of the network. We developed a diffusion simulator and greedy optimizer to find the top influential airport nodes that propagate the most …

Do Metabolic Networks Follow A Power Law? A Psamm Analysis, Ryan Geib, Lubos Thoma, Ying Zhang

Senior Honors Projects

Inspired by the landmark paper “Emergence of Scaling in Random Networks” by Barabási and Albert, the field of network science has focused heavily on the power law distribution in recent years. This distribution has been used to model everything from the popularity of sites on the World Wide Web to the number of citations received on a scientific paper. The feature of this distribution is highlighted by the fact that many nodes (websites or papers) have few connections (internet links or citations) while few “hubs” are connected to many nodes. These properties lead to two very important observed effects: the …