Applied Mathematics Commons^™

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 …

Optimal Construction Of A Layer-Ordered Heap And Its Applications, Jake Pennington

Graduate Student Theses, Dissertations, & Professional Papers

The layer-ordered heap (LOH) is a simple data structure used in algorithms that perform optimal top-$k$ on $X+Y$, algorithms with the best known runtime for top-$k$ on $X_1+X_2+\cdots+X_m$, and the fastest method in practice for computing the most abundant isotopologue peaks in a chemical compound. In the analysis of these algorithms, the rank, $\alpha$, has been treated as a constant and $n$, the size of the array, has been treated as the sole parameter. Here, we explore the algorithmic complexity of LOH construction with $\alpha$ as a parameter, introduce a few algorithms for constructing LOHs, analyze their complexity in both …

Multigrid For The Nonlinear Power Flow Equations, Enrique Pereira Batista

Mathematics Theses and Dissertations

The continuously changing structure of power systems and the inclusion of renewable
energy sources are leading to changes in the dynamics of modern power grid,
which have brought renewed attention to the solution of the AC power flow equations.
In particular, development of fast and robust solvers for the power flow problem
continues to be actively investigated. A novel multigrid technique for coarse-graining
dynamic power grid models has been developed recently. This technique uses an
algebraic multigrid (AMG) coarsening strategy applied to the weighted
graph Laplacian that arises from the power network's topology for the construction
of coarse-grain approximations to …

A Logical Method For Finding Maximum Compatible Subsystems Of Systems Of Boolean Equations, Anvar Kabulov, Erkin Urunbaev, Mansur Berdimurodov

Scientific Journal of Samarkand University

The problem of finding the maximum joint subsystem of Boolean equation systems is solved. An algorithm for finding the maximum upper zero of a monotone Boolean function is proposed. An efficient procedure for calculating the values of monotone functions on sets of a - dimensional cube is investigated and developed. An algorithm for solving systems of Boolean equations based on the search for the maximum upper zero of monotone functions of the logic algebra is developed.

Impatient Customers In An Markovian Queue With Bernoulli Schedule Working Vacation Interruption And Setup Time, P. Manoharan, T. Jeeva

Applications and Applied Mathematics: An International Journal (AAM)

In this paper, using probability generating function method, Impatient customers in an Markovian queue with Bernoulli schedule working vacation interruption and setup time is discussed. Customers impatience is due to the servers vacation. During the working vacation period, if there are customers in the queue, the vacation can be interrupted at a service completion instant and the server begins a regular service period with probability (1 - b) or continues the vacation with probability b. We obtain the probability generating functions of the stationary state probabilities, performance measures, sojourn time of a customer and stochastic decomposition of the queue length, …

On A Multiserver Queueing System With Customers’ Impatience Until The End Of Service Under Single And Multiple Vacation Policies, Mokhtar Kadi, Amina A. Bouchentouf, Lahcene Yahiaoui

Applications and Applied Mathematics: An International Journal (AAM)

This paper deals with a multiserver queueing system with Bernoulli feedback and impatient customers (balking and reneging) under synchronous multiple and single vacation policies. Reneged customers may be retained in the system. Using probability generating functions (PGFs) technique, we formally obtain the steady-state solution of the proposed queueing system. Further, important performance measures and cost model are derived. Finally, numerical examples are presented.

Multilayer Security Of Rgb Image In Discrete Hartley Domain, Umar H. Mir, Deep Singh, D. C. Mishra, Parveiz N. Lone

Applications and Applied Mathematics: An International Journal (AAM)

In this article, we present RGB image encryption and decryption using random matrix affine cipher (RMAC) associated with discrete Hartley transform (DHT) and random matrix shift cipher (RMSC). The parameters in RMAC and RMSC phases act as two series of secret keys whose arrangement is imperative in the proposed algorithm. The computer simulations with results and examples are given to analyze the efficiency of the proposed approach. Further, security analysis and comparison with the prior techniques successfully supports the robustness and validation of the proposed technique.

Analysis Of Map/Ph/1 Queueing Model With Breakdown, Instantaneous Feedback And Server Vacation, G. Ayyappan, K. Thilagavathy

Applications and Applied Mathematics: An International Journal (AAM)

In this article, we analyze a single server queueing model with feedback, a single vacation under Bernoulli schedule, breakdown and repair. The arriving customers follow the Markovian Arrival Process (MAP) and service follow the phase-type distribution. When the server returns from vacation, if there is no one present in the system, the server will wait until the customer’s arrival. When the service completion epoch if the customer is not satisfied then that customer will get the service immediately. Under the steady-state probability vector that the total number of customers are present in the system is probed by the Matrix-analytic method. …

Energy-Efficient Communications In Wireless Powered Cognitive Radio Networks Based On Game Theory, Fadhil Mukhlif Aswad Al-Obaidy

Student Works (2020-2029)

There are challenging and prevalent problems related to spectrum resources with the interference of battery-based devices in future wireless networks. To address such challenges, this thesis proposes a theoretical framework for designing and analyzing the distributed power control algorithms in modern 5G cognitive networks. Previous experiments have shown that game theory tools can be used as a suitable and efficient technique to build scalable, balanced, and energy efficient for the distributed power control schemes in order to use it practically in battery-based devices in wireless networks. In reality, the power control issue is constructed as a non-cooperative game for which …

Personalized Immunotherapy Treatment Strategies For A System Of Chronic Myelogenous Leukemia, Paul Valle

Annual Symposium on Biomathematics and Ecology Education and Research

No abstract provided.

Deep Learning With Physics Informed Neural Networks For The Airborne Spread Of Covid-19 In Enclosed Spaces, Udbhav Muthakana, Padmanabhan Seshaiyer, Maziar Raissi, Long Nguyen

Annual Symposium on Biomathematics and Ecology Education and Research

No abstract provided.

Controlling Aircraft Yaw Movement By Interval Type-2 Fuzzy Logic, Yamama Shafeek, Laith Majeed, Rasha Naji

Emirates Journal for Engineering Research

Aircraft yaw movement is essential in maneuvering; it has been controlled by some methods which achieved tracking but not fast enough. This paper performs the dynamic modeling of aircraft yaw movement and develops PI and PI-like interval type-2 fuzzy logic controller for the model. The mathematical model is derived by inserting the parameters values of single-engine Navion aircraft into standard equations. Using Matlab/ Simulink platform, the controllers' effectivity is tested and verified in two different cases; system without disturbance and when system is disturbed by some wind gust to investigate the system robustness. Simulation results show that PI controller response …

Exploring The Potential Of Sparse Coding For Machine Learning, Sheng Yang Lundquist

Dissertations and Theses

While deep learning has proven to be successful for various tasks in the field of computer vision, there are several limitations of deep-learning models when compared to human performance. Specifically, human vision is largely robust to noise and distortions, whereas deep learning performance tends to be brittle to modifications of test images, including being susceptible to adversarial examples. Additionally, deep-learning methods typically require very large collections of training examples for good performance on a task, whereas humans can learn to perform the same task with a much smaller number of training examples.

In this dissertation, I investigate whether the use …

Espade: An Efficient And Semantically Secure Shortest Path Discovery For Outsourced Location-Based Services, Bharath K. Samanthula, Divyadharshini Karthikeyan, Boxiang Dong, K. Anitha Kumari

Department of Computer Science Faculty Scholarship and Creative Works

With the rapid growth of smart devices and technological advancements in tracking geospatial data, the demand for Location-Based Services (LBS) is facing a constant rise in several domains, including military, healthcare and transportation. It is a natural step to migrate LBS to a cloud environment to achieve on-demand scalability and increased resiliency. Nonetheless, outsourcing sensitive location data to a third-party cloud provider raises a host of privacy concerns as the data owners have reduced visibility and control over the outsourced data. In this paper, we consider outsourced LBS where users want to retrieve map directions without disclosing their location information. …

Why Significant Wave Height And Rogue Waves Are So Defined: A Possible Explanation, Laxman Bokati, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

Data analysis has shown that if we want to describe the wave pattern by a single characteristic, the best characteristic is the average height of the highest one third of the waves; this characteristic is called significant wave height. Once we know the value of this characteristic, a natural next question is: what is the highest wave that we should normally observe -- so that waves higher than this amount would be rare ("rogue"). Empirically, it has been shown that rogue waves are best defined as the ones which are at least twice higher than the significant wave height. In …

How To Describe Measurement Errors: A Natural Generalization Of The Central Limit Theorem Beyond Normal (And Other Infinitely Divisible) Distributions, Julio Urenda, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

When precise measurement instruments are designed, designers try their best to decrease the effect of the main factors leading to measurement errors. As a result of this decrease, the remaining measurement error is the joint result of a large number of relatively small independent error components. According to the Central Limit Theorem, under reasonable conditions, when the number of components increases, the resulting distribution tends to Gaussian (normal). Thus, in practice, when the number of components is large, the distribution is close to normal -- and normal distributions are indeed ubiquitous in measurements. However, in some practical situations, the distribution …

How To Separate Absolute And Relative Error Components: Interval Case, Christian Servin, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

Usually, measurement errors contain both absolute and relative components. To correctly gauge the amount of measurement error for all possible values of the measured quantity, it is important to separate these two error components. For probabilistic uncertainty, this separation can be obtained by using traditional probabilistic techniques. The problem is that in many practical situations, we do not know the probability distribution, we only know the upper bound on the measurement error. In such situations of interval uncertainty, separation of absolute and relative error components is not easy. In this paper, we propose a technique for such a separation based …

What If We Use Almost-Linear Functions Instead Of Linear Ones As A First Approximation In Interval Computations, Martine Ceberio, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

In many practical situations, the only information that we have about measurement errors is the upper bound on their absolute values. In such situations, the only information that we have after the measurement about the actual (unknown) value of the corresponding quantity is that this value belongs to the corresponding interval: e.g., if the measurement result is 1.0, and the upper bound is 0.1, then this interval is [1.0−0.1,1.0+0.1] = [0.9,1.1]. An important practical question is what is the resulting interval uncertainty of indirect measurements, i.e., in other words, how interval uncertainty propagates through data processing. There exist feasible algorithms …

Cover Song Identification - A Novel Stem-Based Approach To Improve Song-To-Song Similarity Measurements, Lavonnia Newman, Dhyan Shah, Chandler Vaughn, Faizan Javed

SMU Data Science Review

Music is incorporated into our daily lives whether intentional or unintentional. It evokes responses and behavior so much so there is an entire study dedicated to the psychology of music. Music creates the mood for dancing, exercising, creative thought or even relaxation. It is a powerful tool that can be used in various venues and through advertisements to influence and guide human reactions. Music is also often "borrowed" in the industry today. The practices of sampling and remixing music in the digital age have made cover song identification an active area of research. While most of this research is focused …

Evaluating Performance Of Openmp Tasks In A Seismic Stencil Application, Eric Raut, Jie Meng, Mauricio Araya-Polo, Barbara Chapman

Department of Applied Mathematics & Statistics Faculty Publications

Simulations based on stencil computations (widely used in geosciences) have been dominated by the MPI+OpenMP programming model paradigm. Little effort has been devoted to experimenting with task-based parallelism in this context. We address this by introducing OpenMP task parallelism into the kernel of an industrial seismic modeling code, Minimod. We observe that even for these highly regular stencil computations, taskified kernels are competitive with traditional OpenMP-augmented loops, and in some experiments tasks even outperform loop parallelism.

This promising result sets the stage for more complex computational patterns. Simulations involve more than just the stencil calculation: a collection of kernels is …

Global Optimization Algorithms For Image Registration And Clustering, Cuicui Zheng

Dissertations

Global optimization is a classical problem of finding the minimum or maximum value of an objective function. It has applications in many areas, such as biological image analysis, chemistry, mechanical engineering, financial analysis, deep learning and image processing. For practical applications, it is important to understand the efficiency of global optimization algorithms. This dissertation develops and analyzes some new global optimization algorithms and applies them to practical problems, mainly for image registration and data clustering.

First, the dissertation presents a new global optimization algorithm which approximates the optimum using only function values. The basic idea is to use the points …

Towards Practical Homomorphic Encryption And Efficient Implementation, Gyana R. Sahu

Dissertations

Cloud computing has gained significant traction over the past few years and its application continues to soar as evident from its rapid adoption in various industries. One of the major challenges involved in cloud computing services is the security of sensitive information as cloud servers have been often found to be vulnerable to snooping by malicious adversaries. Such data privacy concerns can be addressed to a greater extent by enforcing cryptographic measures. Fully homomorphic encryption (FHE), a special form of public key encryption has emerged as a primary tool in deploying such cryptographic security assurances without sacrificing many of the …

An Effective Method For Synthesizing The Abbreviated Disjunctive Normal Form Of A Boolean Function, Erkin Urunbaev

Scientific Journal of Samarkand University

In discrete mathematics, minimizing Boolean functions in the class of disjunctive normal forms is one of the necessary tasks. This paper presents an effective method for synthesizing the reduced disjunctive normal form of a Boolean function.

Through-The-Wall Radar Detection Using Machine Learning, Aihua W. Wood, Ryan Wood, Matthew Charnley

Faculty Publications

This paper explores the through-the-wall inverse scattering problem via machine learning. The reconstruction method seeks to discover the shape, location, and type of hidden objects behind walls, as well as identifying certain material properties of the targets. We simulate RF sources and receivers placed outside the room to generate observation data with objects randomly placed inside the room. We experiment with two types of neural networks and use an 80-20 train-test split for reconstruction and classification.

Methods Of Uncertainty Quantification For Physical Parameters, Kellin Rumsey

Mathematics & Statistics ETDs

Uncertainty Quantification (UQ) is an umbrella term referring to a broad class of methods which typically involve the combination of computational modeling, experimental data and expert knowledge to study a physical system. A parameter, in the usual statistical sense, is said to be physical if it has a meaningful interpretation with respect to the physical system. Physical parameters can be viewed as inherent properties of a physical process and have a corresponding true value. Statistical inference for physical parameters is a challenging problem in UQ due to the inadequacy of the computer model. In this thesis, we provide a comprehensive …

Grading Homeworks, Verifying Code: How Thorough Should The Feedback Be?, Francisco Zapata, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

In the ideal world, we should assign many homeworks and give a thorough feedback for each homework. However, in reality, the instructor's time is limited, so we can either assign few homeworks and give a detailed feed back for all of them, or we can assign many homeworks, but give a less thorough feedback. What is the optimal thoroughness? A similar question can be raised for code verification: what is the optimal amount of feedback that should be provided to each programmer? In this paper, we provide answers to these questions.

Let Us Use Negative Examples In Regression-Type Problems Too, Jonatan Contreras, Francisco Zapata, Olga Kosheleva, Vladik Kreinovich, Martine Ceberio

Departmental Technical Reports (CS)

In many practical situations, we need to reconstruct the dependence between quantities x and y based on several situations in which we know both x and y values. Such problems are known as regression problems. Usually, this reconstruction is based on positive examples, when we know y -- at least, with some accuracy. However, in addition, we often also know some examples in which we have negative information about y -- e.g., we know that y does not belong to a certain interval. In this paper, we show how such negative examples can be used to make the solution …

An Application Of The Unscented Kalman Filter For Spacecraft Attitude Estimation On Real And Simulated Light Curve Data, Kent A. Rush

Master's Theses

In the past, analyses of lightcurve data have been applied to asteroids in order to determine their axis of rotation, rotation rate and other parameters. In recent decades, these analyses have begun to be applied in the domain of Earth orbiting spacecraft. Due to the complex geometry of spacecraft and the wide variety of parameters that can influence the way in which they reflect light, these analyses require more complex assumptions and a greater knowledge about the object being studied. Previous investigations have shown success in extracting attitude parameters from unresolved spacecraft using simulated data. This paper presents a focused …

What If Not All Interval-Valued Fuzzy Degrees Are Possible?, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

One of the applications of intervals is in describing experts' degrees of certainty in their statements. In this application, not all intervals are realistically possible. To describe all realistically possible degrees, we end up with a mathematical question of describing all topologically closed classes of intervals which are closed under the appropriate minimum and maximum operations. In this paper, we provide a full description of all such classes.

Evaluating Driving Performance Of A Novel Behavior Planning Model On Connected Autonomous Vehicles, Keyur Shah

Honors Scholar Theses

Many current algorithms and approaches in autonomous driving attempt to solve the "trajectory generation" or "trajectory following” problems: given a target behavior (e.g. stay in the current lane at the speed limit or change lane), what trajectory should the vehicle follow, and what inputs should the driving agent apply to the throttle and brake to achieve this trajectory? In this work, we instead focus on the “behavior planning” problem—specifically, should an autonomous vehicle change lane or keep lane given the current state of the system?

In addition, current theory mainly focuses on single-vehicle systems, where vehicles do not communicate with …