Computer Sciences Commons^™

Computing Intersection Multiplicity Via Triangular Decomposition, Paul Vrbik

Electronic Thesis and Dissertation Repository

Fulton’s algorithm is used to calculate the intersection multiplicity of two plane curves about a rational point. This work extends Fulton’s algorithm first to algebraic points (encoded by triangular sets) and then, with some generic assumptions, to l many hypersurfaces.

Out of necessity, we give a standard-basis free method (i.e. practically efficient method) for calculating tangent cones at points on curves.

A Markov Model For Baseball With Applications, Daniel Joseph Ursin

Theses and Dissertations

In this work we confirm a Markov chain model of baseball for 2013 Major League Baseball batting data. We describe the transition matrices for individual player data and their use in generating single and nine-inning run distributions for a given lineup. The run distribution is used to calculate the expected number of runs produced by a lineup over nine innings. We discuss batting order optimization heuristics to avoid computation of distributions for the 9! = 362, 880 distinct lineups for 9 players. Finally, we describe an implementation of the algorithms and review their performance against actual game data.

Quantification Of The Statistical Effects Of Spatiotemporal Processing Of Nontask Fmri Data, M. Muge Karaman, Andrew S. Nencka, Iain P. Bruce, Daniel B. Rowe

Mathematics, Statistics and Computer Science Faculty Research and Publications

Nontask functional magnetic resonance imaging (fMRI) has become one of the most popular noninvasive areas of brain mapping research for neuroscientists. In nontask fMRI, various sources of “noise” corrupt the measured blood oxygenation level-dependent signal. Many studies have aimed to attenuate the noise in reconstructed voxel measurements through spatial and temporal processing operations. While these solutions make the data more “appealing,” many commonly used processing operations induce artificial correlations in the acquired data. As such, it becomes increasingly more difficult to derive the true underlying covariance structure once the data have been processed. As the goal of nontask fMRI studies …

Correction To “Master Regulators, Regulatory Networks, And Pathways Of Glioblastoma Subtypes”, Serdar Bozdag, Aiguo Li, Mehmet Baysan, Howard A. Fine

Mathematics, Statistics and Computer Science Faculty Research and Publications

No abstract provided.

Remarks On Characterizations Of Malinowska And Szynal, Gholamhossein Hamedani, Z. Javanshiri, Mehdi Maadooliat, A. Yazdani

Mathematics, Statistics and Computer Science Faculty Research and Publications

The problem of characterizing a distribution is an important problem which has recently attracted the attention of many researchers. Thus, various characterizations have been established in many different directions. An investigator will be vitally interested to know if their model fits the requirements of a particular distribution. To this end, one will depend on the characterizations of this distribution which provide conditions under which the underlying distribution is indeed that particular distribution. In this work, several characterizations of Malinowska and Szynal (2008) for certain general classes of distributions are revisited and simpler proofs of them are presented. These characterizations are …

A Game-Theoretic Analysis Of The Nuclear Non-Proliferation Treaty, Peter Revesz

CSE Conference and Workshop Papers

Although nuclear non-proliferation is an almost universal human desire, in practice, the negotiated treaties appear unable to prevent the steady growth of the number of states that have nuclear weapons. We propose a computational model for understanding the complex issues behind nuclear arms negotiations, the motivations of various states to enter a nuclear weapons program and the ways to diffuse crisis situations.

The Antisymmetry Betweenness Axiom And Hausdorff Continua, Paul Bankston

Mathematics, Statistics and Computer Science Faculty Research and Publications

An interpretation of betweenness on a set satisfies the antisymmetry axiom at a point a if it is impossible for each of two distinct points to lie between the other and a. In this paper we study the role of antisymmetry as it applies to the K-interpretation of betweenness in a Hausdorff continuum X, where a point c lies between points a and b exactly when every subcontinuum of X containing both a and b contains c as well.

Generalized Theoretical Criteria For Annihilation Of Hiv-1 Virions During Haart, Frank Nani, Mingxian Jin

Math and Computer Science Faculty Working Papers

Aims: This paper is an elaborate and quantitative attempt to construct medically applicable mathematical models and derive criteria for efficacious Highly Active Anti-Retroviral Therapy (HAART) protocol for an AIDS patient. The patho-physiological dynamics of Human Immuno-deficiency Virus type 1 (HIV-1) induced AIDS during HAART is modeled by a system of non-linear deterministic differential equations. The physiologically relevant and clinically plausible equations depict the dynamics of uninfected CD4+ T cells (x1), HIV-1 infected CD4+ T cells (x2), HIV-1 virions in the blood plasma (x3), HIV-1 specific CD8+ T cells (x4), and the concentration of HAART drug molecules (x5). The major objective …

Relatively Congruence-Free Regular Semigroups, Peter Jones

Mathematics, Statistics and Computer Science Faculty Research and Publications

Yu, Wang, Wu and Ye call a semigroup S τ -congruence-free, where τ is an equivalence relation on S, if any congruence ρ on S is either disjoint from τ or contains τ . A congruence-free semigroup is then just an ω-congruence-free semigroup, where ω is the universal relation. They determined the completely regular semigroups that are τ -congruence-free with respect to each of the Green’s relations. The goal of this paper is to extend their results to all regular semigroups. Such a semigroup is J –congruence-free if and only if it is either a semilattice or has …

Some Remarks On Recent Characterizations Of Continuous Distributions, Gholamhossein Hamedani

Mathematics, Statistics and Computer Science Faculty Research and Publications

We would closely look at two recent published papers dealing with characterizations of certain univariate continuous distributions. We shall explain that the main results reported lack important assumptions. These results nevertheless are based on the conditional expectations of monotone functions of the generalized order statistics. We will also mention that similar results have recently been reported without the assumption of monotonicity of the functions of the generalized order statistics.

Generalized Exponentiated Moment Exponential Distribution, Zafar Iqbal, Syed Anwer Hasnain, Muhammad Salman, Munir Ahmad, Gholamhossein Hamedani

Mathematics, Statistics and Computer Science Faculty Research and Publications

Moment distributions have a vital role in mathematics and statistics, in particular in probability theory, in the perspective research related to ecology, reliability, biomedical field, econometrics, survey sampling and in life-testing. Hasnain (2013) developed an exponentiated moment exponential (EME) distribution and discussed some of its important properties. In the present work, we propose a generalization of EME distribution which we call it generalized EME (GEME) distribution and develop various properties of the distribution. We also present characterizations of the distribution in terms of conditional expectation as well as based on hazard function of the GEME random variable.

On The Occurrences Of Motifs In Recursive Trees, With Applications To Random Structures, Mohan Gopaladesikan

Open Access Dissertations

In this dissertation we study three problems related to motifs and recursive trees. In the first problem we consider a collection of uncorrelated motifs and their occurrences on the fringe of random recursive trees. We compute the exact mean and variance of the multivariate random vector of the counts of occurrences of the motifs. We further use the Cramér-Wold device and the contraction method to show an asymptotic convergence in distribution to a multivariate normal random variable with this mean and variance. ^ The second problem we study is that of the probability that a collection of motifs (of the …

Self-Referentiality In Constructive Semantics Of Intuitionistic And Modal Logics, Junhua Yu

Dissertations, Theses, and Capstone Projects

This thesis explores self-referentiality in the framework of justification logic. In this framework initialed by Artemov, the language has formulas of the form t:F, which means "the term t is a justification of the formula F." Moreover, terms can occur inside formulas and hence it is legal to have t:F(t), which means "the term t is a justification of the formula F about t itself." Expressions like this is not only interesting in the semantics of justification logic, but also, as we will see, necessary in applications of justification logic in formalizing constructive contents implicitly carried by modal and intuitionistic …

Exploring The Relationship Between K-8 Prospective Teachers’ Algebraic Thinking Proficiency And The Questions They Pose During Diagnostic Algebraic Thinking Interviews, Leigh A. Van Den Kieboom, Marta T. Magiera, John C. Moyer

Mathematics, Statistics and Computer Science Faculty Research and Publications

In this study, we explored the relationship between prospective teachers’ algebraic thinking and the questions they posed during one-on-one diagnostic interviews that focused on investigating the algebraic thinking of middle school students. To do so, we evaluated prospective teachers’ algebraic thinking proficiency across 125 algebra-based tasks and we analyzed the characteristics of questions they posed during the interviews. We found that prospective teachers with lower algebraic thinking proficiency did not ask any probing questions. Instead, they either posed questions that simply accepted and affirmed student responses or posed questions that guided the students toward an answer without probing student thinking. …

Performance Comparison Of Projective Elliptic-Curve Point Multiplication In 64-Bit X86 Runtime Environment, Ninh Winson

CCE Theses and Dissertations

For over two decades, mathematicians and cryptologists have evaluated and presented the theoretical performance of Elliptic-curve scalar point-multiplication in projective geometry. Because computation in projective domain is composed of a wide array of formulations and computing optimizations, there is not a comprehensive performance comparison of point-multiplication using projective transformation available to verify its realistic efficiency in 64-bit x86 computing platforms. Today, research on explicit mathematical formulations in projective domain continues to excel by seeking higher computational efficiency and ease of realization. An explicit performance evaluation will help implementers choose better implementation methods and improve Elliptic-curve scalar point-multiplication. This paper was …

Characterizations Of A Class Of Distributions By Dual Generalized Order Statistics And Truncated Moments, Filippo Domma, Gholamhossein Hamedani

Mathematics, Statistics and Computer Science Faculty Research and Publications

The problem of characterizing a distribution is an important problem which has recently attracted the attention of many researchers. Thus, various characterizations have been established in many different directions. The present work deals with the characterizations of a general class of distributions. These characterizations are based on: (i) a simple relationship between two truncated moments, (ii) truncated moment of certain functions of the nth order statistic, (iii) single truncated moment of certain functions of the random variable and (iv) moments of dual generalized order statistics.We like to mention that the characterization (i) which is expressed in terms of the ratio …

Existence Of Disjoint Weakly Mixing Operators That Fail To Satisfy The Disjoint Hypercyclicity Criterion, Rebecca Sanders, Stanislav Shkarin

Mathematics, Statistics and Computer Science Faculty Research and Publications

No abstract provided.

Pharyngeal And Cervical Cancer Incidences Significantly Correlate With Personal Uv Doses Among Whites In The United States, Dianne E. Godar, Rong Tang, Stephen Merrill

Mathematics, Statistics and Computer Science Faculty Research and Publications

Because we found UV-exposed oral tissue cells have reduced DNA repair and apoptotic cell death compared with skin tissue cells, we asked if a correlation existed between personal UV dose and the incidences of oral and pharyngeal cancer in the United States. We analyzed the International Agency for Research on Cancer's incidence data for oral and pharyngeal cancers by race (white and black) and sex using each state's average annual personal UV dose. We refer to our data as ‘white’ rather than ‘Caucasian,’ which is a specific subgroup of whites, and ‘black’ rather than African-American because blacks from other countries …

Computing, Symbols And Math, Stephen M. Watt

Stephen M. Watt

No abstract provided.

Towards A Lightweight Approach For Modding Serious Educational Games: Assisting Novice Designers, Jacob Dahleen, Alex Hunsberger, Ryan Weber, Dennis Brylow, C. Shaun Longstreet, Kendra M. L. Cooper

Mathematics, Statistics and Computer Science Faculty Research and Publications

Serious educational games (SEGs) are a growing segment of the education community’s pedagogical toolbox. Effectively creating such games remains challenging, as teachers and industry trainers are content experts; typically they are not game designers with the theoretical knowledge and practical experience needed to create a quality SEG. Here, a lightweight approach to interactively explore and modify existing SEGs is introduced, a toll that can be broadly adopted by educators for pedagogically sound SEGs. Novice game designers can rapidly explore the educational and traditional elements of a game, with a stress on tracking the SEG learning objectives, as well as allowing …

Morphological Operations Applied To Digital Art Restoration, M. Kirbie Dramdahl

Scholarly Horizons: University of Minnesota, Morris Undergraduate Journal

This paper provides an overview of the processes involved in detecting and removing cracks from digitized works of art. Specific attention is given to the crack detection phase as completed through the use of morphological operations. Mathematical morphology is an area of set theory applicable to image processing, and therefore lends itself effectively to the digital art restoration process.

Spatiotemporal Crime Analysis, James Q. Tay, Abish Malik, Sherry Towers, David Ebert

The Summer Undergraduate Research Fellowship (SURF) Symposium

There has been a rise in the use of visual analytic techniques to create interactive predictive environments in a range of different applications. These tools help the user sift through massive amounts of data, presenting most useful results in a visual context and enabling the person to rapidly form proactive strategies. In this paper, we present one such visual analytic environment that uses historical crime data to predict future occurrences of crimes, both geographically and temporally. Due to the complexity of this analysis, it is necessary to find an appropriate statistical method for correlative analysis of spatiotemporal data, as well …

Approaches For Generating 2d Shapes, Pratik Shankar Hada

UNLV Theses, Dissertations, Professional Papers, and Capstones

Constructing a two dimensional shape from given a set of point sites is a well known problem in computation geometry. We present a critical review of the existing algorithms for constructing polygonal shapes. We present a new approach calledinward dentingfor constructing simple polygons. We then extend the proposed approach for modeling polygons with holes. This is the

first known algorithm for modeling holes in the interior of 2d shapes. We also present experimental investigations of the quality of the solutions generated by the proposed algorithms.

For this we implemented the proposed algorithms in Java programming language. The prototype program can …

Problems In The Theory Of Convergence Spaces, Daniel R. Patten

Dissertations - ALL

We investigate several problems in the theory of convergence spaces: generalization of Kolmogorov separation from topological spaces to convergence spaces, representation of reflexive digraphs as convergence spaces, construction of differential calculi on convergence spaces, mereology on convergence spaces, and construction of a universal homogeneous pretopological space. First, we generalize Kolmogorov separation from topological spaces to convergence spaces; we then study properties of Kolmogorov spaces. Second, we develop a theory of reflexive digraphs as convergence spaces, which we then specialize to Cayley graphs. Third, we conservatively extend the concept of differential from the spaces of classical analysis to arbitrary convergence spaces; …

Deconstructing The Welch Equation Using P-Adic Methods, Abigail Mann, Adelyn Yeoh

Mathematical Sciences Technical Reports (MSTR)

The Welch map x -> g^x-1+c is similar to the discrete exponential map x -> g^x, which is used in many cryptographic applications including the ElGamal signature scheme. This paper analyzes the number of solutions to the Welch equation: g^x-1+c = x (mod p^e) where p is a prime, and looks at other patterns of the equation that could possibly exploited in a similar cryptographic system. Since the equation is modulo p^e, where p is a prime number, p-adic methods of analysis are used in counting the number of solutions modulo p …

Deconstructing The Welch Equation Using P-Adic Methods, Abigail Mann, Adelyn Yeoh

Rose-Hulman Undergraduate Research Publications

The Welch map x -> g^x-1+c is similar to the discrete exponential map x -> g^x, which is used in many cryptographic applications including the ElGamal signature scheme. This paper analyzes the number of solutions to the Welch equation: g^x-1+c = x (mod p^e) where p is a prime, and looks at other patterns of the equation that could possibly exploited in a similar cryptographic system. Since the equation is modulo p^e, where p is a prime number, p-adic methods of analysis are used in counting the number of solutions modulo p …

Simmons' Research Aims To Improve Function For Online Security, Danielle Kamp

News and Events

No abstract provided.

Empirical Bayes And Hierarchical Bayes Estimation Of Skew Normal Populations, Naveen K. Bansal, Mehdi Maadooliat, Xiaowei Wang

Naveen Bansal

We develop empirical and hierarchical Bayesian methodologies for the skew normal populations through the EM algorithm and the Gibbs sampler. A general concept of skewness to the normal distribution is considered throughout. Motivations are given for considering the skew normal population in applications, and an example is presented to demonstrate why the skew normal distribution is more applicable than the normal distribution for certain applications.

Edge-Connectivities For Spanning Trails With Prescribed Edges, Wei-Guo Chen, Zhi-Hong Chen, Weiqi Luo

Scholarship and Professional Work - LAS

No abstract provided.

Better Physical Activity Classification Using Smartphone Acceleration Sensor, Muhammad Arif, Mohsin Bilal, Ahmed Kattan, Sheikh Iqbal Ahamed

Mathematics, Statistics and Computer Science Faculty Research and Publications

Obesity is becoming one of the serious problems for the health of worldwide population. Social interactions on mobile phones and computers via internet through social e-networks are one of the major causes of lack of physical activities. For the health specialist, it is important to track the record of physical activities of the obese or overweight patients to supervise weight loss control. In this study, acceleration sensor present in the smartphone is used to monitor the physical activity of the user. Physical activities including Walking, Jogging, Sitting, Standing, Walking upstairs and Walking downstairs are classified. Time domain features are extracted …