Open Access. Powered by Scholars. Published by Universities.®

Mathematics Commons™

Open Access. Powered by Scholars. Published by Universities.®

Computer Sciences

Institution
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 721 - 750 of 2396

Full-Text Articles in Mathematics

A Distance Based Multisample Test For High-Dimensional Compositional Data With Applications To The Human Microbiome, Qingyang Zhang, Thy Dao Dec 2020

A Distance Based Multisample Test For High-Dimensional Compositional Data With Applications To The Human Microbiome, Qingyang Zhang, Thy Dao

Mathematical Sciences Faculty Publications and Presentations

Background

Compositional data refer to the data that lie on a simplex, which are common in many scientific domains such as genomics, geology and economics. As the components in a composition must sum to one, traditional tests based on unconstrained data become inappropriate, and new statistical methods are needed to analyze this special type of data.

Results

In this paper, we consider a general problem of testing for the compositional difference between K populations. Motivated by microbiome and metagenomics studies, where the data are often over-dispersed and high-dimensional, we formulate a well-posed hypothesis from a Bayesian point of view and …


An Update On The Computational Theory Of Hamiltonian Period Functions, Bradley Joseph Klee Dec 2020

An Update On The Computational Theory Of Hamiltonian Period Functions, Bradley Joseph Klee

Graduate Theses and Dissertations

Lately, state-of-the-art calculation in both physics and mathematics has expanded to include the field of symbolic computing. The technical content of this dissertation centers on a few Creative Telescoping algorithms of our own design (Mathematica implementations are given as a supplement). These algorithms automate analysis of integral period functions at a level of difficulty and detail far beyond what is possible using only pencil and paper (unless, perhaps, you happen to have savant-level mental acuity). We can then optimize analysis in classical physics by using the algorithms to calculate Hamiltonian period functions as solutions to ordinary differential equations. The simple …


Development Of A Mobile Ten Frames App For Philippine K-12 Schools, Debbie Marie Versoza, Ma. Louise Antonette N. De Las Peñas, Jumela F. Sarmiento, Mark Anthony C. Tolentino, Mark L. Loyola Nov 2020

Development Of A Mobile Ten Frames App For Philippine K-12 Schools, Debbie Marie Versoza, Ma. Louise Antonette N. De Las Peñas, Jumela F. Sarmiento, Mark Anthony C. Tolentino, Mark L. Loyola

Mathematics Faculty Publications

This paper reports on the Quick Images app, whose design framework is informed by research on ten-structured thinking and gamification principles. Inclusivity was also a major consideration, especially in the context of a developing country. Thus, the app was made freely available and required only moderate system requirements. Pilot studies revealed that the app has the potential to promote children’s ability to see two-digit numbers in relation to tens and ones, which is a major goal of elementary school mathematics. Collaborations with the Philippine Department of Education to ensure the app’s sustained use are also discussed.


Discrete Models And Algorithms For Analyzing Dna Rearrangements, Jasper Braun Nov 2020

Discrete Models And Algorithms For Analyzing Dna Rearrangements, Jasper Braun

USF Tampa Graduate Theses and Dissertations

In this work, language and tools are introduced, which model many-to-many mappings that comprise DNA rearrangements in nature. Existing theoretical models and data processing methods depend on the premise that DNA segments in the rearrangement precursor are in a clear one-to-one correspondence with their destinations in the recombined product. However, ambiguities in the rearrangement maps obtained from the ciliate species Oxytricha trifallax violate this assumption demonstrating a necessity for the adaptation of theory and practice.

In order to take into account the ambiguities in the rearrangement maps, generalizations of existing recombination models are proposed. Edges in an ordered graph model …


Analyzing Yankees And Red Sox Sentiment Over The Course Of A Season, Connor Koch Nov 2020

Analyzing Yankees And Red Sox Sentiment Over The Course Of A Season, Connor Koch

Honors Projects in Data Science

This paper investigates data collected on twitter which references the Yankees or Red Sox during the 2020 Major League Baseball (MLB) season. The objective is to analyze the sentiment of tweets referencing the Yankees and Red Sox over the course of the season. In addition, an investigation of the networks within the data and the topics that were prevalent will be conducted. The 2020 MLB season was started late because of the COVID-19 pandemic and was a season like no other. The expectation of a dataset revolving around baseball is that the topics discussed would be about baseball. The findings …


A Natural Formalization Of Changing-One's-Mind Leads To Square Root Of "Not" And To Complex-Valued Fuzzy Logic, Olga Kosheleva, Vladik Kreinovich Nov 2020

A Natural Formalization Of Changing-One's-Mind Leads To Square Root Of "Not" And To Complex-Valued Fuzzy Logic, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

We show that a natural formalization of the process of changing one's mind leads to such seemingly non-intuitive ideas as square root of "not" and complex-valued fuzzy degrees.


A Hybrid Agent-Based And Equation Based Model For The Spread Of Infectious Diseases, Elizabeth Hunter, Brian Mac Namee, John D. Kelleher Oct 2020

A Hybrid Agent-Based And Equation Based Model For The Spread Of Infectious Diseases, Elizabeth Hunter, Brian Mac Namee, John D. Kelleher

Articles

Both agent-based models and equation-based models can be used to model the spread of an infectious disease. Equation-based models have been shown to capture the overall dynamics of a disease outbreak while agent-based models are able to capture heterogeneous characteristics of agents that drive the spread of an outbreak. However, agent-based models are computationally intensive. To capture the advantages of both the equation-based and agent-based models, we create a hybrid model where the disease component of the hybrid model switches between agent-based and equation-based. The switch is determined using the number of agents infected. We first test the model at …


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

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 …


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

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. …


Period Estimation And Noise In A Neutrally Stable Stochastic Oscillator, Kevin R. Sanft, Ben F. M. Intoy Oct 2020

Period Estimation And Noise In A Neutrally Stable Stochastic Oscillator, Kevin R. Sanft, Ben F. M. Intoy

Spora: A Journal of Biomathematics

The periods of the orbits for the well-mixed cyclic three-species Lotka-Volterra model far away from the fixed point are studied. For finite system sizes, a discrete stochastic approach is employed and periods are found via wavelet analysis. As the system size is increased, a hierarchy of approximations ranging from Poisson noise to Gaussian noise to deterministic models are utilized. Based on the deterministic equations, a mathematical relationship between a conserved quantity of the model and the period of the population oscillations is found. Exploiting this property we then study the deterministic conserved quantity and period noise in finite size systems.


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

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 …


Making Artificial Cips Data With A Generative Adversarial Neural Network, Austin Hedges Oct 2020

Making Artificial Cips Data With A Generative Adversarial Neural Network, Austin Hedges

Fall Showcase for Research and Creative Inquiry

Polar mesospheric clouds (PMCs) have been studied for thirteen years by NASA's Aeronomy of Ice in the Mesosphere (AIM) satellite. The Cloud Imaging and Particle Size (CIPS) instrument onboard AIM has taken many images of PMCs over this time. Such a large number of images makes CIPS data ideal for training neural networks which require large datasets. CIPS images were used to train a Generative Adversarial Network (GAN) to train towards being able to generate purely artificial CIPS-like images.


Non-Local Approximation, Iris Hammond Oct 2020

Non-Local Approximation, Iris Hammond

Fall Showcase for Research and Creative Inquiry

Using previous research done by Dr. Ledford, we investigated interpolation techniques with various multi-quadric kernels. Ultimately, we extended a previous Lemma for polynomials of degree M+1.


Solar Power Forecasting Using Wavelet Transform And Machine Learning Approaches, Abdullah Nor Azliana Sep 2020

Solar Power Forecasting Using Wavelet Transform And Machine Learning Approaches, Abdullah Nor Azliana

Student Works (2020-2029)

Generation of photovoltaic (PV) power is intermittent in nature and integration of PV system into the grid system causes an imbalanced power production and power demand. One of the efforts to reduce this problem is to forecast the generation of solar power in the PV system. Solar power forecasting requires the collection of solar power and meteorological data. Hence, this work collected solar power data and various meteorological data (global radiation, tilted radiation, temperature surrounding, humidity surrounding, PV module/ PV panel temperature and wind speed) from Universiti Teknikal Malaysia Melaka (UTeM). A pre-processing process is carried out to ensure that …


Role Of Influence In Complex Networks, Nur Dean Sep 2020

Role Of Influence In Complex Networks, Nur Dean

Dissertations, Theses, and Capstone Projects

Game theory is a wide ranging research area; that has attracted researchers from various fields. Scientists have been using game theory to understand the evolution of cooperation in complex networks. However, there is limited research that considers the structure and connectivity patterns in networks, which create heterogeneity among nodes. For example, due to the complex ways most networks are formed, it is common to have some highly “social” nodes, while others are highly isolated. This heterogeneity is measured through metrics referred to as “centrality” of nodes. Thus, the more “social” nodes tend to also have higher centrality.

In this thesis, …


Hybrid Deep Neural Networks For Mining Heterogeneous Data, Xiurui Hou Aug 2020

Hybrid Deep Neural Networks For Mining Heterogeneous Data, Xiurui Hou

Dissertations

In the era of big data, the rapidly growing flood of data represents an immense opportunity. New computational methods are desired to fully leverage the potential that exists within massive structured and unstructured data. However, decision-makers are often confronted with multiple diverse heterogeneous data sources. The heterogeneity includes different data types, different granularities, and different dimensions, posing a fundamental challenge in many applications. This dissertation focuses on designing hybrid deep neural networks for modeling various kinds of data heterogeneity.

The first part of this dissertation concerns modeling diverse data types, the first kind of data heterogeneity. Specifically, image data and …


A 3d Image-Guided System To Improve Myocardial Revascularization Decision-Making For Patients With Coronary Artery Disease, Haipeng Tang Aug 2020

A 3d Image-Guided System To Improve Myocardial Revascularization Decision-Making For Patients With Coronary Artery Disease, Haipeng Tang

Dissertations

OBJECTIVES. Coronary artery disease (CAD) is the most common type of heart disease and kills over 360,000 people a year in the United States. Myocardial revascularization (MR) is a standard interventional treatment for patients with stable CAD. Fluoroscopy angiography is real-time anatomical imaging and routinely used to guide MR by visually estimating the percent stenosis of coronary arteries. However, a lot of patients do not benefit from the anatomical information-guided MR without functional testing. Single-photon emission computed tomography (SPECT) myocardial perfusion imaging (MPI) is a widely used functional testing for CAD evaluation but limits to the absence of anatomical information. …


Virtual Temari: Artistically Inspired Mathematics, Carl Giuffre, Lee Stemkoski Jul 2020

Virtual Temari: Artistically Inspired Mathematics, Carl Giuffre, Lee Stemkoski

Journal of Humanistic Mathematics

Technology can be a significant aide in understanding and appreciating geometry, beyond theoretical considerations. Both fiber art and technology have been employed as a significant aide and an inspiring vessel in education to explore geometry. The Japanese craft known as temari, or "hand-balls", combines important artistic, spiritual, and familial values, and provides one such approach to exploring geometry. Mathematically, the artwork of temari may be classified based on whether they are inspired by polyhedra and discrete patterns or by periodic functional curves. The resulting designs of these categories provide an ancient vantage for displaying spherical patterns. We illustrate a …


Integrating Data Science Ethics Into An Undergraduate Major, Benjamin Baumer, Randi L. Garcia, Albert Y. Kim, Katherine M. Kinnaird, Miles Q. Ott Jul 2020

Integrating Data Science Ethics Into An Undergraduate Major, Benjamin Baumer, Randi L. Garcia, Albert Y. Kim, Katherine M. Kinnaird, Miles Q. Ott

Statistical and Data Sciences: Faculty Publications

We present a programmatic approach to incorporating ethics into an undergraduate major in statistical and data sciences. We discuss departmental-level initiatives designed to meet the National Academy of Sciences recommendation for weaving ethics into the curriculum from top-to-bottom as our majors progress from our introductory courses to our senior capstone course, as well as from side-to-side through co-curricular programming. We also provide six examples of data science ethics modules used in five different courses at our liberal arts college, each focusing on a different ethical consideration. The modules are designed to be portable such that they can be flexibly incorporated …


Reconstructability Analysis And Its Occam Implementation, Martin Zwick Jul 2020

Reconstructability Analysis And Its Occam Implementation, Martin Zwick

Complex Systems Faculty Publications and Presentations

This talk will describe Reconstructability Analysis (RA), a probabilistic graphical modeling methodology deriving from the 1960s work of Ross Ashby and developed in the systems community in the 1980s and afterwards. RA, based on information theory and graph theory, resembles and partially overlaps Bayesian networks (BN) and log-linear techniques, but also has some unique capabilities. (A paper explaining the relationship between RA and BN will be given in this special session.) RA is designed for exploratory modeling although it can also be used for confirmatory hypothesis testing. In RA modeling, one either predicts some DV from a set of IVs …


Joint Lattice Of Reconstructability Analysis And Bayesian Network General Graphs, Marcus Harris, Martin Zwick Jul 2020

Joint Lattice Of Reconstructability Analysis And Bayesian Network General Graphs, Marcus Harris, Martin Zwick

Complex Systems Faculty Publications and Presentations

This paper integrates the structures considered in Reconstructability Analysis (RA) and those considered in Bayesian Networks (BN) into a joint lattice of probabilistic graphical models. This integration and associated lattice visualizations are done in this paper for four variables, but the approach can easily be expanded to more variables. The work builds on the RA work of Klir (1985), Krippendorff (1986), and Zwick (2001), and the BN work of Pearl (1985, 1987, 1988, 2000), Verma (1990), Heckerman (1994), Chickering (1995), Andersson (1997), and others. The RA four variable lattice and the BN four variable lattice partially overlap: there are ten …


Geometry Aided Sonification, Michael Tecce Jul 2020

Geometry Aided Sonification, Michael Tecce

Computer Science Summer Fellows

Sonification is the process of deriving an audio representation of a time series which conveys important information about that time series. Otology and vision science have established that humans process audio information more quickly than visual information, and sonification can convey data to the visually impaired. In our work, we implement pipelines using Python/Numpy, and we handle both ordinary 1D time series and multivariate time series. For 1D time series, we find that using data to modulate the pitch or timing of preselected sounds (such as sine waves) simply and effectively captures repeating patterns and anomalies/outliers within the data. To …


Geometry Aided Sonification, Michael Tecce Jul 2020

Geometry Aided Sonification, Michael Tecce

Mathematics, Computer Science & Statistics Presentations

Sonification is the process of deriving an audio representation of a time series which conveys important information about that time series. Otology and vision science have established that humans process audio information more quickly than visual information, and sonification can convey data to the visually impaired. In our work, we implement pipelines using Python/Numpy, and we handle both ordinary 1D time series and multivariate time series. For 1D time series, we find that using data to modulate the pitch or timing of preselected sounds (such as sine waves) simply and effectively captures repeating patterns and anomalies/outliers within the data. To …


Methods Of Uncertainty Quantification For Physical Parameters, Kellin Rumsey Jul 2020

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 …


How Mathematics And Computing Can Help Fight The Pandemic: Two Pedagogical Examples, Julio Urenda, Olga Kosheleva, Martine Ceberio, Vladik Kreinovich Jun 2020

How Mathematics And Computing Can Help Fight The Pandemic: Two Pedagogical Examples, Julio Urenda, Olga Kosheleva, Martine Ceberio, Vladik Kreinovich

Departmental Technical Reports (CS)

With the 2020 pandemic came unexpected mathematical and computational problems. In this paper, we provide two examples of such problems -- examples that we present in simplified pedagogical form. The problems are related to the need for social distancing and to the need for fast testing. We hope that these examples will help students better understand the importance of mathematical models.


C# Application To Deal With Neutrosophic G(Alpha)-Closed Sets In Neutrosophic Topology, S. Saranya, M. Vigneshwaran, S. Jafari Jun 2020

C# Application To Deal With Neutrosophic G(Alpha)-Closed Sets In Neutrosophic Topology, S. Saranya, M. Vigneshwaran, S. Jafari

Applications and Applied Mathematics: An International Journal (AAM)

In this paper, we have developed a C# Application for finding the values of the complement, union, intersection and the inclusion of any two neutrosophic sets in the neutrosophic field by using .NET Framework, Microsoft Visual Studio and C# Programming Language. In addition to this, the system can find neutrosophic topology, neutrosophic alpha-closed sets and neutrosophic g(alpha)-closed sets in each resultant screens. Also, this computer-based application produces the complement values of each neutrosophic closed sets.


Optimal Control Of A Rumor Propagation Model With Different Propagation Degrees In Social Network, Yingfeng Tang Jun 2020

Optimal Control Of A Rumor Propagation Model With Different Propagation Degrees In Social Network, Yingfeng Tang

Student Works (2020-2029)

Rumor is a social interaction of information, and its development is of great significance to human beings. In this paper, by studying the D K model and a rumor model spreading with rumor latent period, deduces the rumor model with differe nt propagation degrees of the spreaders. The two equilibrium points in the system are found through derivation. In real life, enterprises often ignore the reasonable planning of the cost of rumor control. By means of public education and media technology u sing by the authorities to debunk rumors, an optimal control problem i s established. The Pontryagin’s maximum principle …


Analysis Of Gameplay Strategies In Hearthstone: A Data Science Approach, Connor W. Watson May 2020

Analysis Of Gameplay Strategies In Hearthstone: A Data Science Approach, Connor W. Watson

Theses

In recent years, games have been a popular test bed for AI research, and the presence of Collectible Card Games (CCGs) in that space is still increasing. One such CCG for both competitive/casual play and AI research is Hearthstone, a two-player adversarial game where players seeks to implement one of several gameplay strategies to defeat their opponent and decrease all of their Health points to zero. Although some open source simulators exist, some of their methodologies for simulated agents create opponents with a relatively low skill level. Using evolutionary algorithms, this thesis seeks to evolve agents with a higher skill …


Evolution Of Computational Thinking Contextualized In A Teacher-Student Collaborative Learning Environment., John Arthur Underwood May 2020

Evolution Of Computational Thinking Contextualized In A Teacher-Student Collaborative Learning Environment., John Arthur Underwood

LSU Doctoral Dissertations

The discussion of Computational Thinking as a pedagogical concept is now essential as it has found itself integrated into the core science disciplines with its inclusion in all of the Next Generation Science Standards (NGSS, 2018). The need for a practical and functional definition for teacher practitioners is a driving point for many recent research endeavors. Across the United States school systems are currently seeking new methods for expanding their students’ ability to analytically think and to employee real-world problem-solving strategies (Hopson, Simms, and Knezek, 2001). The need for STEM trained individuals crosses both the vocational certified and college degreed …


The Theory Of Cryptography In Bitcoin, Can Hong May 2020

The Theory Of Cryptography In Bitcoin, Can Hong

Mathematics Senior Capstone Papers

Bitcoin is a well known virtual currency, or cryptocurrency. It was created by a group of people using the name Satoshi Nakamoto in 2008. Currently, many people are utilizing Bitcoin for personal gains and transactions. To keep transactions secure requires techniques from modern cryptography. In this paper, we explain certain aspects of the cryptography of Bitcoin. We are going to discuss two components of the cryptography of Bitcoin—hash functions and signatures. We will describe what the hash function and signature are, give some examples of hash functions, and discuss certain criteria that good hash functions should satisfy.