Computer Sciences Commons^™

Arecibo Message, Joshua P. Tan

Open Educational Resources

This two week assignment asks students to interpret and analyze the 1974 Arecibo Message sent by Drake and Sagan. Week 1 introduces the concepts behind the construction of the message and engages with a critical analysis of the architecture and the contents of the message. Week 2 asks students to develop software in a Jupyter Notebook (available for free from the Anaconda Python Distribution) to interpret messages that were similar to those produced by Drake and Sagan.

#Whyididntreport: Using Social Media As A Tool To Understand Why Sexual Assault Victims Do Not Report, Abby Garrett

Honors Theses

Sexual assault has gone largely under-reported, and social media movements, like #WhyIDidntReport, have brought great awareness to this issue. In order to take advantage of the large amounts of data the #WhyIDidntReport movement has generated, the study uses tweets to explore reasons why victims do not report their assault. The thesis cites current research on the topic of assault to generate a list of explanations victims use to describe their lack of reporting and compares the distributions with existing studies. We use a supervised learning technique to automatically categorize tweets into one of eight categories. This approach uses social sensing …

Geometric Aspects Of Wound Healing, Julio Urenda, Vladik Kreinovich

Departmental Technical Reports (CS)

In this paper, we show that many aspects of complex biological processes related to wound healing can be explained in terms of the corresponding geometric symmetries.

The Most Powerful Thing, Caitlin Jankiewicz

Lake Union Herald

No abstract provided.

Analysis Of A Group Of Automorphisms Of A Free Group As A Platform For Conjugacy-Based Group Cryptography, Pavel Shostak

Dissertations, Theses, and Capstone Projects

Let F be a finitely generated free group and Aut(F) its group of automorphisms.

In this monograph we discuss potential uses of Aut(F) in group-based cryptography.

Our main focus is on using Aut(F) as a platform group for the Anshel-Anshel-Goldfeld protocol, Ko-Lee protocol, and other protocols based on different versions of the conjugacy search problem or decomposition problem, such as Shpilrain-Ushakov protocol.

We attack the Anshel-Anshel-Goldfeld and Ko-Lee protocols by adapting the existing types of the length-based attack to the specifics of Aut(F). We also present our own version of the length-based attack that significantly increases the attack' success …

2019 Petersheim Academic Exposition Schedule Of Events, Seton Hall University

Petersheim Academic Exposition

2019 Petersheim Academic Exposition

Using Neural Networks To Classify Pdes, Julia Balukonis, Sabrina Fuller, Haley Rosso

Mathematics & Computer Science Student Scholarship

Major: Mathematics
Minor: Computer Science and Film

Faculty Mentor: Dr. Lynette Boos, Mathematics and Computer Science

We designed two neural networks that can learn how to classify three different types of partial differential equations (PDEs). Our data consists of numerical solutions to three categories of PDEs: Burger’s, Diffusion, and Transport equations. Using TensorFlow and the Keras library, we performed two tasks – the first a binary classification of Burger’s and Diffusion equation data, and the second a multi-label classification incorporating the Transport Equations as well. Our binary classification network requires vector labels to perform efficiently. Furthermore, our tertiary classification network …

Data Parsing For Optimized Molecular Geometry Calculations, Luke Rens

Undergraduate Research Conference

The purpose of this project is to optimize and streamline to process of using ADF and ReaxFF. There is no efficient way to effectively add constraints to a compound and run it through ADF, take the ADF output and create a file that can be run through Reaxff, then take that Reaxff output and come to conclusions on it. To streamline this process, scripts were developed using Python to parse information out of data generated by ADF.

Surfaces Of Revolution In Virtual Reality, Joshua Harris

Undergraduate Research Conference

Why is this project needed?

❑ Surfaces of Revolution is many student’s first experience with three dimensional mathematical objects.

❑ The calculations required are not the inhibitor of the student’s understanding.

❑ Visualization of these solids along with the appropriate set up are the greatest hindrance to a deep under-standing of surfaces of revolution.

❑ Other tools that create computer generated visualizations of surfaces and curves in space render them as two-dimensional projections of a three dimensional object.

❑ Other tools typically do not have the capabilities of guided instruction, exploration of concepts on carefully chosen examples, and the ability …

Quantifying Iron Overload Using Mri, Active Contours, And Convolutional Neural Networks, Andrea Sajewski, Stacey Levine

Undergraduate Research and Scholarship Symposium

Iron overload, a complication of repeated blood transfusions, can cause tissue damage and organ failure. The body has no regulatory mechanism to excrete excess iron, so iron overload must be closely monitored to guide therapy and measure treatment response. The concentration of iron in the liver is a reliable marker for total body iron content and is now measured noninvasively with magnetic resonance imaging (MRI). MRI produces a diagnostic image by measuring the signals emitted from the body in the presence of a constant magnetic field and radiofrequency pulses. At each pixel, the signal decay constant, T2*, can be calculated, …

Factors That Predict Success Of A Beaumont Student, Tara Limestoll

Masters Essays

This project is an attempt to discover predictors of high school performance through the use of data science techniques and analysis of the Beaumont school 2017-2018 student body. High school success is an important factor for college admission, so being able to forecast a student's performance or identify those in need of assistance is paramount. Analysis shows that there is a strong correlation and predictive quality in the quantitative assessment results examined in this study. While results for both success and failure were significant, predictions of student success measures were more accurate than those of the failure group.

Integrating Mathematics And Educational Robotics: Simple Motion Planning, Ronald I. Greenberg, George K. Thiruvathukal, Sara T. Greenberg

Computer Science: Faculty Publications and Other Works

This paper shows how students can be guided to integrate elementary mathematical analyses with motion planning for typical educational robots. Rather than using calculus as in comprehensive works on motion planning, we show students can achieve interesting results using just simple linear regression tools and trigonometric analyses. Experiments with one robotics platform show that use of these tools can lead to passable navigation through dead reckoning even if students have limited experience with use of sensors, programming, and mathematics.

Pascal's Triangle Modulo N And Its Applications To Efficient Computation Of Binomial Coefficients, Zachary Warneke

Honors Program: Senior Projects (Public)

In this thesis, Pascal's Triangle modulo n will be explored for n prime and n a prime power. Using the results from the case when n is prime, a novel proof of Lucas' Theorem is given. Additionally, using both the results from the exploration of Pascal's Triangle here, as well as previous results, an efficient algorithm for computation of binomial coefficients modulo n (a choose b mod n) is described, and its time complexity is analyzed and compared to naive methods. In particular, the efficient algorithm runs in O(n log(a)) time (as opposed to …

Forensics Analysis For Bone Pair Matching Using Bipartite Graphs In Commingled Remains, Ryan Ernst

UNO Student Research and Creative Activity Fair

Identification of missing prisoners of war is a complex and time consuming task. There are many missing soldiers whose remains have yet to be returned to their families and loved ones. This nation has a solemn obligation to its soldiers and their families who have made the ultimate sacrifice for their country. There are currently over 82,000 unidentified prisoners of war which are identified at a rate of 100+ per year. At this rate it would take 300+ years to complete the identification process. Previously, anthropologists used excel spreadsheets to sort through skeletal data. This project aims to streamline the …

Forgotten Women In Adventism, Caitlin Jankiewicz

Lake Union Herald

No abstract provided.

Neuroevolutional Methods For Decision Support Under Uncertainty, Nina Komleva, Olga Khlopkova, Matthew He

Mathematics Faculty Articles

The article presents a comparative analysis of the fundamental neuroevolutional methods, which are widely applied for the intellectualization of the decision making support systems under uncertainty. Based on this analysis the new neuroevolutionary method is introduced. It is intended to modify both the topology and the parameters of the neural network, and not to impose additional constraints on the individual. The results of the experimental evaluation of the performance of the methods based on the series of benchmark tasks of adaptive control, classification and restoration of damaged data are carried out. As criteria of the methods evaluation the number of …

Decision Theory Explains "Telescoping Effect" -- That Our Time Perception Is Biased, Laxman Bokati, Vladik Kreinovich

Departmental Technical Reports (CS)

People usually underestimate time passed since distant events, and overestimate time passed since recent events. There are several explanations for this "telescoping effect", but most current explanations utilize specific features of human memory and/or human perception. We show that the telescoping effect can be explained on a much basic level of decision theory, without the need to invoke any specific ways we perceive and process time.

How To Generate "Nice" Cubic Polynomials -- With Rational Coefficients, Rational Zeros And Rational Extrema: A Fast Algorithm, Laxman Bokati, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

Students feel more comfortable with rational numbers than with irrational ones. Thus, when teaching the beginning of calculus, it is desirable to have examples of simple problems for which both zeros and extrema point are rational. Recently, an algorithm was proposed for generating cubic polynomials with this property. However, from the computational viewpoint, the existing algorithm is not the most efficient one: in addition to applying explicit formulas, it also uses trial-and-error exhaustive search. In this paper, we propose a computationally efficient algorithm for generating all such polynomials: namely, an algorithm that uses only explicit formulas.

When Revolutions Happen: Algebraic Explanation, Julio Urenda, Vladik Kreinovich

Departmental Technical Reports (CS)

At first glance, it may seem that revolutions happen when life becomes really intolerable. However, historical analysis shows a different story: that revolutions happen not when life becomes intolerable, but when a reasonably prosperous level of living suddenly worsens. This empirical observation seems to contradict traditional decision theory ideas, according to which, in general, people's happiness monotonically depends on their level of living. A more detailed model of human behavior, however, takes into account not only the current level of living, but also future expectations. In this paper, we show that if we properly take these future expectations into account, …

Extending Set Functors To Generalised Metric Spaces, Adriana Balan, Alexander Kurz, Jiří Velebil

Mathematics, Physics, and Computer Science Faculty Articles and Research

For a commutative quantale V, the category V-cat can be perceived as a category of generalised metric spaces and non-expanding maps. We show that any type constructor T (formalised as an endofunctor on sets) can be extended in a canonical way to a type constructor T_V on V-cat. The proof yields methods of explicitly calculating the extension in concrete examples, which cover well-known notions such as the Pompeiu-Hausdorff metric as well as new ones.

Conceptually, this allows us to to solve the same recursive domain equation X ≅ TX in different categories (such as sets and metric spaces) and …

Improving Vix Futures Forecasts Using Machine Learning Methods, James Hosker, Slobodan Djurdjevic, Hieu Nguyen, Robert Slater

SMU Data Science Review

The problem of forecasting market volatility is a difficult task for most fund managers. Volatility forecasts are used for risk management, alpha (risk) trading, and the reduction of trading friction. Improving the forecasts of future market volatility assists fund managers in adding or reducing risk in their portfolios as well as in increasing hedges to protect their portfolios in anticipation of a market sell-off event. Our analysis compares three existing financial models that forecast future market volatility using the Chicago Board Options Exchange Volatility Index (VIX) to six machine/deep learning supervised regression methods. This analysis determines which models provide best …

Universal Quantum Computation, Junya Kasahara

Theses, Dissertations and Capstones

We study quantum computers and their impact on computability. First, we summarize the history of computer science. Only a few articles have determined the direction of computer science and industry despite the fact that many works have been dedicated to the present success. We choose articles by A. M. Turing and D. Deutsch, because A. M. Turing proposed the basic architecture of modern computers while D. Deutsch proposed an architecture for the next generation of computers called quantum computers. Second, we study the architecture of modern computers using Turing machines. The Turing machine has the basic design of modern computers …

Squared Distance Matrix Of A Weighted Tree, Ravindra B. Bapat

Journal Articles

Let T be a tree with vertex set f1;: :: ; ng such that each edge is assigned a nonzero weight. The squared distance matrix of T; denoted by is the n n matrix with (i; j)-element d(i; j)2; where d(i; j) is the sum of the weights of the edges on the (ij)-path. We obtain a formula for the determinant of A formula for 1 is also obtained, under certain conditions. The results generalize known formulas for the unweighted case.

Ua66/15/1 Ogden College Of Science & Engineering Mathematics & Computer Science Events, Wku Archives

WKU Archives Collection Inventories

Records related to events hosted by Mathematics & Computer Science.

Statistical Analysis Of Tandem Queues With Markovian Passages In Porous Mediums, Gboyega David Adepoju

Theses, Dissertations and Capstones

Queuing theory is the mathematical study of queues or waiting lines. A queue is formed whenever the demand for service exceeds the capacity to provide service at that point in time. In this thesis, the birth-and-death process is used to model the movement of customers or units into and out of a network of queues in tandem. We start with the theoretical analysis of M/M/1 queues with Poisson arrival and exponential service time with first-come first-served (FCFS) discipline and one service station. We derive the global balance equation for each network. Using both the iterative and the probability generating function, …

The Relationship Between Housing Affordability And Demographic Factors: Case Study For The Atlanta Beltline, Chapman T. Lindstrom

College of Graduate Studies: Theses & Dissertations

Housing affordability has been a widely examined subject for populations residing in major metropolitan regions around the world. The relationship between housing affordability and the city’s demographics and its volume of urban development are important to take into consideration. In the past two decades there has been an increasing volume of literature detailing Atlanta Georgia’s large-scale redevelopment project, the Atlanta BeltLine (ABL), and its relationship with Atlanta’s Metropolitan population and housing affordability. The first objective of this paper is to study the relationship between housing affordability at two scales within the Atlanta Metropolitan Area (AMA) for both renters and homeowners. …

Ua66/15/2 Ogden College Of Science & Engineering Mathematics & Computer Science Publications, Wku Archives

WKU Archives Collection Inventories

Publications created by and about Mathematics & Computer Science.

Modeling Stochastically Intransitive Relationships In Paired Comparison Data, Ryan Patrick Alexander Mcshane

Statistical Science Theses and Dissertations

If the Warriors beat the Rockets and the Rockets beat the Spurs, does that mean that the Warriors are better than the Spurs? Sophisticated fans would argue that the Warriors are better by the transitive property, but could Spurs fans make a legitimate argument that their team is better despite this chain of evidence?

We first explore the nature of intransitive (rock-scissors-paper) relationships with a graph theoretic approach to the method of paired comparisons framework popularized by Kendall and Smith (1940). Then, we focus on the setting where all pairs of items, teams, players, or objects have been compared to …

Equivalence Of Classical And Quantum Codes, Tefjol Pllaha

Theses and Dissertations--Mathematics

In classical and quantum information theory there are different types of error-correcting codes being used. We study the equivalence of codes via a classification of their isometries. The isometries of various codes over Frobenius alphabets endowed with various weights typically have a rich and predictable structure. On the other hand, when the alphabet is not Frobenius the isometry group behaves unpredictably. We use character theory to develop a duality theory of partitions over Frobenius bimodules, which is then used to study the equivalence of codes. We also consider instances of codes over non-Frobenius alphabets and establish their isometry groups. Secondly, …

Ε-Superposition And Truncation Dimensions In Average And Probabilistic Settings For ∞-Variate Linear Problems, Jonathan M. Dingess

Theses and Dissertations--Computer Science

This thesis is a representation of my contribution to the paper of the same name I co-author with Dr. Wasilkowski. It deals with linear problems defined on γ-weighted normed spaces of functions with infinitely many variables. In particular, I describe methods and discuss results for ε-truncation and ε-superposition methods. I show through these results that the ε-truncation and ε-superposition dimensions are small under modest error demand ε. These positive results are derived for product weights and the so-called anchored decomposition.