Statistics and Probability Commons^™

Digraphs With Isomorphic Underlying And Domination Graphs: Pairs Of Paths, Kim A. S. Factor, Larry J. Langley

Mathematics, Statistics and Computer Science Faculty Research and Publications

A domination graph of a digraph D, dom (D), is created using thc vertex set of D and edge uv ϵ E (dom (D)) whenever (u, z) ϵ A (D) or (v, z) ϵ A (D) for any other vertex z ϵ A (D). Here, we consider directed graphs whose underlying graphs are isomorphic to their domination graphs. Specifically, digraphs are completely characterized where UG^c (D) is the union of two disjoint paths.

Lower Semimodular Inverse Semigroups, Ii, Peter R. Jones, Kyeong Hee Cheong

Mathematics, Statistics and Computer Science Faculty Research and Publications

The authors’ description of the inverse semigroups S for which the lattice ℒℱ(S) of full inverse subsemigroups is lower semimodular is used to describe those for which (a) the lattice ℒ(S) of all inverse subsemigroups or (b) the lattice �o(S) of convex inverse subsemigroups has that property. In each case, we show that this occurs if and only if the entire lattice is a subdirect product of ℒℱ(S) with ℒ(E _S ), or �o(E _S ), respectively, where E _S is the semilattice of idempotents of …

Automation Process For Morphometric Analysis Of Volumetric Ct Data From Pulmonary Vasculature In Rats, Rahul Shingrani, Gary S. Krenz, Robert Molthen

Mathematics, Statistics and Computer Science Faculty Research and Publications

With advances in medical imaging scanners, it has become commonplace to generate large multidimensional datasets. These datasets require tools for a rapid, thorough analysis. To address this need, we have developed an automated algorithm for morphometric analysis incorporating A Visualization Workshop computational and image processing libraries for three-dimensional segmentation, vascular tree generation and structural hierarchical ordering with a two-stage numeric optimization procedure for estimating vessel diameters. We combine this new technique with our mathematical models of pulmonary vascular morphology to quantify structural and functional attributes of lung arterial trees. Our physiological studies require repeated measurements of vascular structure to determine …

Cnareporter: A Computational Tool For The Generation Of Clinical Reports Of Genomic Alterations, Yuri Kotliarov, Serdar Bozdag, Hangjiong Cheng, Stefan Wuchty, Jean-Claude Zenklusen, Howard A. Fine

Mathematics, Statistics and Computer Science Faculty Research and Publications

Background: Genomic copy number alterations are widely associated with a broad range of human tumors and offer the potential to be used as a diagnostic tool. Especially in the emerging era of personalized medicine medical informatics tools that allow the fast visualization and analysis of genomic alterations of a patient's genomic profile for diagnostic and potential treatment purposes increasingly gain importance. Results: We developed CNAReporter, a software tool that allows users to visualize SNP-specific data obtained from Affymetrix arrays and generate PDF-reports as output. We combined standard algorithms for the analysis of chromosomal alterations, utilizing the widely applied GenePattern framework. …

Not Every Co-Existential Map Is Confluent, Paul Bankston

Mathematics, Statistics and Computer Science Faculty Research and Publications

A continuous surjection between compacta is co-existential if it is the second of two maps whose composition is a standard ultracopower projection. Co-existential maps are always weakly confluent, and are even monotone when the range space is locally connected; so it is a natural question to ask whether they are always confluent. Here we give a negative answer. This is an interesting question, mainly because of the fact that most theorems about confluent maps have parallel versions for co-existential maps---notably, both kinds of maps preserve hereditary indecomposability. Where the known parallels break down is in the question of chainability. It …

Analysis Of Transient Growth In Iterative Learning Control Using Pseudospectra, Douglas A. Bristow, John R. Singler

Mechanical and Aerospace Engineering Faculty Research & Creative Works

In this paper we examine the problem of transient growth in Iterative Learning Co ntrol (ILC). Transient growth is generally avoided in design by using robust monotonic convergence (RMC) criteria. However, RMC leads to fundamental performance limitations. We consider the possibility of allowing safe transient growth in ILC algorithms as a means to circumvent these limitations. Here the pseudospectra is used for the first time to study transient growth in ILC. Basic properties of the pseudospectra that are relevant to the ILC problem are presented. Two ILC design problems are considered and examined using pseduospectra. The pseudospectra provides new results …

Development And Implementation Of High-Throughput Snpgenotyping In Barley, Serdar Bozdag, Timothy J. Close, Prasanna R. Bhat, Stefano Lonardi, Yonghui Wu, Nils Rostoks, Luke Ramsay, Arnis Druka, Nils Stein, Jan T. Svensson, Steve Wanamaker, Mikeal L. Roose, Matthew J. Moscou, Shiaoman Chao, Rajeev K. Varshney, Peter Szucs, Kazuhiro Sato, Patrick M. Hayes, David E. Matthews, Andris Kleinhofs, Gary J. Muehlbauer, Joseph Deyoung, David F. Marshall, Kavitha Madishetty, Raymond D. Fenton, Pascal Condamine, Andreas Graner, Robbie Waugh

Mathematics, Statistics and Computer Science Faculty Research and Publications

Background

High density genetic maps of plants have, nearly without exception, made use of marker datasets containing missing or questionable genotype calls derived from a variety of genic and non-genic or anonymous markers, and been presented as a single linear order of genetic loci for each linkage group. The consequences of missing or erroneous data include falsely separated markers, expansion of cM distances and incorrect marker order. These imperfections are amplified in consensus maps and problematic when fine resolution is critical including comparative genome analyses and map-based cloning. Here we provide a new paradigm, a high-density consensus genetic map of …

Approximating Stationary Statistical Properties, Xiaoming Wang

Mathematics and Statistics Faculty Research & Creative Works

It is well-known that physical laws for large chaotic dynamical systems are revealed statistically. Many times these statistical properties of the system must be approximated numerically. the main contribution of this manuscript is to provide simple and natural criterions on numerical methods (temporal and spatial discretization) that are able to capture the stationary statistical properties of the underlying dissipative chaotic dynamical systems asymptotically. the result on temporal approximation is a recent finding of the author, and the result on spatial approximation is a new one. Applications to the infinite Prandtl number model for convection and the barotropic quasi-geostrophic model are …

Forced Oscillations Of The Korteweg-De Vries Equation On A Bounded Domain And Their Stability, Muhammad Usman, Bingyu Zhang

Mathematics Faculty Publications

It has been observed in laboratory experiments that when nonlinear dispersive waves are forced periodically from one end of undisturbed stretch of the medium of propagation, the signal eventually becomes temporally periodic at each spatial point. The observation has been confirmed mathematically in the context of the damped Kortewg-de Vries (KdV) equation and the damped Benjamin-Bona-Mahony (BBM) equation. In this paper we intend to show the same results hold for the pure KdV equation (without the damping terms) posed on a bounded domain. Consideration is given to the initial-boundary-value problem

uu_xu_xxx 0 < x < 1, t > 0, (*)

It is shown …

Using Labeled Data To Evaluate Change Detectors In A Multivariate Streaming Environment, Albert Y. Kim, Caren Marzban, Donald B. Percival, Werner Stuetzle

Statistical and Data Sciences: Faculty Publications

We consider the problem of detecting changes in a multivariate data stream. A change detector is defined by a detection algorithm and an alarm threshold. A detection algorithm maps the stream of input vectors into a univariate detection stream. The detector signals a change when the detection stream exceeds the chosen alarm threshold. We consider two aspects of the problem: (1) setting the alarm threshold and (2) measuring/comparing the performance of detection algorithms. We assume we are given a segment of the stream where changes of interest are marked. We present evidence that, without such marked training data, it might …

Risk Matrix Input Data Biases, Eric D. Smith, William T. Siefert, David Drain

Engineering Management and Systems Engineering Faculty Research & Creative Works

Risk matrices used in industry characterize particular risks in terms of the likelihood of occurrence, and the consequence of the actualized risk. Human cognitive bias research led by Daniel Kahneman and Amos Tversky exposed systematic translations of objective probability and value as judged by human subjects. Applying these translations to the risk matrix allows the formation of statistical hypotheses of risk point placement biases. Industry-generated risk matrix data reveals evidence of biases in the judgment of likelihood and consequence-principally, likelihood centering, a systematic increase in consequence, and a diagonal bias. Statistical analyses are conducted with linear regression, normal distribution fitting, …

The Regular Excluded Minors For Signed-Graphic Matroids, Hongxun Qin, Dan Slilaty, Xiangqian Zhou

Mathematics and Statistics Faculty Publications

We show that the complete list of regular excluded minors for the class of signed-graphic matroids is M*(G₁),...,M*(G₂₉),R₁₅,R₁₆. Here G₁,...,G₂₉ are the vertically 2-connected excluded minors for the class of projective-planar graphs and R₁₅ and R₁₆ are two regular matroids that we will define in the article.

Design And Implementation Of S-Marks: A Secure Middleware For Pervasive Computing Applications, Sheikh Iqbal Ahamed, Haifeng Li, Nilothpal Talukder, Mehrab Monjur, Chowdhury Sharif Hasan

Mathematics, Statistics and Computer Science Faculty Research and Publications

As portable devices have become a part of our everyday life, more people are unknowingly participating in a pervasive computing environment. People engage with not a single device for a specific purpose but many devices interacting with each other in the course of ordinary activity. With such prevalence of pervasive technology, the interaction between portable devices needs to be continuous and imperceptible to device users. Pervasive computing requires a small, scalable and robust network which relies heavily on the middleware to resolve communication and security issues. In this paper, we present the design and implementation of S-MARKS which incorporates device …

The Research On Optimization Of Liner Route Between China To Middle East, Tingyi Chen

World Maritime University Dissertations

No abstract provided.

Research On Value-At-Risk In International Crude Oil Shipping Market, Xiaoyin Cui

World Maritime University Dissertations

No abstract provided.

Development Of Scoring Rubrics And Pre-Service Teachers Ability To Validate Mathematical Proofs, Timothy J. Middleton

Mathematics & Statistics ETDs

The basic aim of this exploratory research study was to determine if a specific instructional strategy, that of developing scoring rubrics within a collaborative classroom setting, could be used to improve pre-service teachers facility with proofs. During the study, which occurred in a course for secondary mathematics teachers, the primary focus was on creating and implementing a scoring rubric, rather than on direct instruction about proofs. In general, the study had very mixed results. Statistically, the quantitative data indicated no significant improvement occurred in participants' ability to validate proofs. However, the qualitative results and the considerable improvement by some participants …

A Comparison Of Balanced Truncation Methods For Closed Loop Systems, John R. Singler, Belinda A. Batten

Mathematics and Statistics Faculty Research & Creative Works

Real-time control of a physical system necessitates controllers that are low order. In this paper, we compare two balanced truncation methods as a means of designing low order compensators for partial differential equation (PDE) systems. The first method is the application of balanced truncation to the compensator dynamics, rather than the state dynamics, as was done in cite{Skelton:1984}. The second method, LQG balanced truncation, applies the balancing technique to the Riccati operators obtained from a specific LQG design. We discuss snapshot-based algorithms for constructing the reduced order compensators and present numerical results for a two dimensional convection diffusion PDE system.

On Generalized Hurwitz-Lerch Zeta Distributions, Mridula Garg, Kumkum Jain, S. L. Kalla

Applications and Applied Mathematics: An International Journal (AAM)

In this paper, we introduce a function which is an extension to the general Hurwitz-Lerch Zeta function. Having defined the incomplete generalized beta type-2 and incomplete generalized gamma functions, some differentiation formulae are established for these incomplete functions. We have introduced two new statistical distributions, termed as generalized Hurwitz-Lerch Zeta beta type-2 distribution and generalized Hurwitz-Lerch Zeta gamma distribution and then derived the expressions for the moments, distribution function, the survivor function, the hazard rate function and the mean residue life function for these distributions. Graphs for both these distributions are given, which reflect the role of shape and scale …

Bilinear Immersed Finite Elements For Interface Problems, Xiaoming He

Mathematics and Statistics Faculty Research & Creative Works

In this dissertation we discuss bilinear immersed finite elements (IFE) for solving interface problems. The related research works can be categorized into three aspects: (1) the construction of the bilinear immersed finite element spaces; (2) numerical methods based on these IFE spaces for solving interface problems; and (3) the corresponding error analysis. All of these together form a solid foundation for the bilinear IFEs.

The research on immersed finite elements is motivated by many real world applications, in which a simulation domain is often formed by several materials separated from each other by curves or surfaces while a mesh independent …

A Snapshot Algorithm For Linear Feedback Flow Control Design, Benjamin T. Dickinson, Belinda A. Batten, John R. Singler

Mathematics and Statistics Faculty Research & Creative Works

The control of fluid flows has many applications. For micro air vehicles, integrated flow control designs could enhance flight stability by mitigating the effect of destabilizing air flows in their low Reynolds number regimes. However, computing model based feedback control designs can be challenging due to high dimensional discretized flow models. In this work, we investigate the use of a snapshot algorithm proposed in Ref. 1 to approximate the feedback gain operator for a linear incompressible unsteady flow problem on a bounded domain. The main component of the algorithm is obtaining solution snapshots of certain linear flow problems. Numerical results …

Creating Multi Objective Value Functions From Non-Independent Values, Christopher D. Richards

Theses and Dissertations

Decisions are made every day and by everyone. As these decisions become more important, involve higher costs and affect a broader group of stakeholders it becomes essential to establish a more rigorous strategy than simply intuition or "going with your gut". In the past several decades, the concept of Value Focused Thinking (VFT) has gained much acclaim in assisting Decision Makers (DMs) in this very effort. By identifying and organizing what a DM values VFT is able to decompose the original problem and create a mathematical model to score and rank alternatives to be chosen. But what if the decision …

A Proper Orthogonal Decomposition Approach To Approximate Balanced Truncation Of Infinite Dimensional Linear Systems, John R. Singler, Belinda A. Batten

Mathematics and Statistics Faculty Research & Creative Works

We extend a method for approximate balanced reduced order model derivation for finite dimensional linear systems developed by Rowley (Int. J. Bifur. Chaos Appl. Sci. Eng. 15(3) (2005), pp. 997-1013) to infinite dimensional systems. The algorithm is related to standard balanced truncation, but includes aspects of the proper orthogonal decomposition in its computational approach. The method can be also applied to nonlinear systems. Numerical results are presented for a convection diffusion system.

A Berry-Esseen Theorem For Sample Quantiles Under Weak Dependence, S. N. Lahiri, Shuxia Sun

Mathematics and Statistics Faculty Publications

This paper proves a Berry-Esseen theorem for sample quantiles of strongly-mixing random variables under a polynomial mixing rate. The rate of normal approximation is shown to be O(n^-1/2) as n -> infinity, where n denotes the sample size. This result is in sharp contrast to the case of the sample mean of strongly-mixing random variables where the rate O(n^-1/2) is not known even under an exponential strong mixing rate. The main result of the paper has applications in finance and econometrics as financial time series important data often are heavy-tailed and quantile …

Reliability Confidence Intervals For Oil Spills In The Gulf Of Mexico, William V. Harper, Thomas R. James, Ted G. Eschenbach

Mathematics Faculty Scholarship

An extensive study [Eschenbach and Harper (2006)] of offshore oil spills in the Gulf of Mexico with extensions to the northern seas of Alaska involved the estimation of the likelihood of oil spill volumes in the Gulf of Mexico for both pipeline and platform spills. This paper develops both maximum likelihood based reliability and percentile confidence intervals for the 3- parameter Weibull distribution. The statistical aspects are discussed along with applications of developed Excel VBA functions. The Excel routines are available free on the web at http://faculty.otterbein.edu/WHarper/. The functions are illustrated with Gulf of Mexico oil spill data.

Effect Of Dlk1 And Rtl1 But Not Meg3 Or Meg8 On Muscle Gene Expression In Callipyge Lambs, Jolena N. Fleming-Waddell, Gayla R. Olbricht, Tasia M. Taxis, Jason D. White, Tony Vuocolo, Bruce A. Craig, Ross L. Tellam, Mike K. Neary, Noelle E. Cockett, Christopher A. Bidwell

Mathematics and Statistics Faculty Research & Creative Works

Callipyge sheep exhibit extreme postnatal muscle hypertrophy in the loin and hindquarters as a result of a single nucleotide polymorphism (SNP) in the imprinted DLK1-DIO3 domain on ovine chromosome 18. The callipyge SNP up-regulates the expression of surrounding transcripts when inherited in cis without altering their allele-specific imprinting status. The callipyge phenotype exhibits polar overdominant inheritance since only paternal heterozygous animals have muscle hypertrophy. Two studies were conducted profiling gene expression in lamb muscles to determine the down-stream effects of over-expression of paternal allele-specific DLK1 and RTL1 as well as maternal allele-specific MEG3, RTL1AS and MEG8, using Affymetrix bovine expression …

A Finite Element Splitting Extrapolation For Second Order Hyperbolic Equations, Xiaoming He, Tao Lü

Mathematics and Statistics Faculty Research & Creative Works

Splitting extrapolation is an efficient technique for solving large scale scientific and engineering problems in parallel. This article discusses a finite element splitting extrapolation for second order hyperbolic equations with time-dependent coefficients. This method possesses a higher degree of parallelism, less computational complexity, and more flexibility than Richardson extrapolation while achieving the same accuracy. By means of domain decomposition and isoparametric mapping, some grid parameters are chosen according to the problem. The multiparameter asymptotic expansion of the d-quadratic finite element error is also established. The splitting extrapolation formulas are developed from this expansion. An approximation with higher accuracy on a …

Reliability Goodness Of Fit For Oil Spills In The Gulf Of Mexico, William V. Harper, Thomas R. James, Ted G. Eschenbach

Mathematics Faculty Scholarship

Eschenbach and Harper (2006) analyzed offshore oil spills in the Gulf of Mexico with extensions to the northern seas of Alaska. This involved multiple methods including assessing what statistical distribution adequately fits the data. Empirical distribution function (EDF) statistical procedures are powerful goodness of fit tests and also provide for good visual assessments. The most powerful of the current EDF methods is the Anderson-Darling test. This paper focuses on the Anderson-Darling EDF goodness of fit procedure for both the two and three parameter Weibull distribution that is often used in reliability analysis. Excel VBA code has been developed to compute …

A Direct Solution Of The Robin Inverse Problem, Weifu Fang, Suxing Zeng

Mathematics and Statistics Faculty Publications

We present a direct, linear boundary integral equation method for the inverse problem of recovering the Robin coefficient from a single partial boundary measurement of the solution to the Laplace equation.

A Note On The Positive Solutions Of An Inhomogeneous Elliptic Equation On Rn, Yinbin Deng, Yi Li, Fen Yang

Mathematics and Statistics Faculty Publications

This paper is contributed to the elliptic equation

(0.1) Δu+K(|x|)up+μf(|x|)=0,

where p>1, x∈Rn, n⩾3, and μ⩾0 is a constant. We study the structure of positive radial solutions of (0.1) and obtain the uniqueness of solution decaying faster than r−m at ∞ if μ is small enough under some assumptions on K and f, where m is the slow decay rate.

Periodic Traveling Waves In Sirs Endemic Models, Tong Li, Yi Li, Herbert W. Hethcote

Mathematics and Statistics Faculty Publications

Mathematical models are used to determine if infection wave fronts could occur by traveling geographically in a loop around a region or continent. These infection wave fronts arise by Hopf bifurcation for some spatial models for infectious disease transmission with distributed-contacts. Periodic traveling waves are shown to exist for the spatial analog of the SIRS endemic model, in which the temporary immunity is described by a delay, but they do not exist in a similar spatial SIRS endemic model without a delay. Specifically, we found that the ratio of the delay ω in the recovered class and the average infectious …