Mathematics Commons^™

Unit Rectangle Visibility Graphs, Alice M. Dean, Joanna A. Ellis-Monaghan, Sarah J. Hamilton, Greta Pangborn

Mathematics, Statistics and Computer Science Faculty Research and Publications

Over the past twenty years, rectangle visibility graphs have generated consider- able interest, in part due to their applicability to VLSI chip design. Here we study unit rectangle visibility graphs, with fixed dimension restrictions more closely modeling the constrained dimensions of gates and other circuit components in computer chip applications. A graph G is a unit rectangle visibility graph (URVG) if its vertices can be represented by closed unit squares in the plane with sides parallel to the axes and pairwise disjoint interiors, in such a way that two vertices are adjacent if and only if there is a non-degenerate …

The Substitution Theorem For Semilinear Stochastic Partial Differential Equations, Salah-Eldin A. Mohammed, Tusheng Zhang

Articles and Preprints

In this article we establish a substitution theorem for semilinear stochastic evolution equations (see's) depending on the initial condition as an infinite-dimensional parameter. Due to the infinitedimensionality of the initial conditions and of the stochastic dynamics, existing finite-dimensional results do not apply. The substitution theorem is proved using Malliavin calculus techniques together with new estimates on the underlying stochastic semiflow. Applications of the theorem include dynamic characterizations of solutions of stochastic partial differential equations (spde's) with anticipating initial conditions and non-ergodic stationary solutions. In particular, our result gives a new existence theorem for solutions of semilinear Stratonovich spde's with anticipating …

Trends In Uspto Office Actions, Ron D. Katznelson

Ron D. Katznelson

No abstract provided.

Image Reconstruction In Multi-Channel Model Under Gaussian Noise, Veera Holdai, Alexander Korostelev

Mathematics Research Reports

The image reconstruction from noisy data is studied. A nonparametric boundary function is estimated from observations in N independent channels in Gaussian white noise. In each channel the image and the background intensities are unknown. They define a non-identifiable nuisance "parameter" that slows down the typical minimax rate of convergence. The large sample asymptotics of the minimax risk is found and an asymptotically optimal estimator for boundary function is suggested.

A Software-Based Trust Framework For Distributed Industrial Management Systems, Sheikh Iqbal Ahamed, Mohammad Zulkernine, Steve Wolfe

Mathematics, Statistics and Computer Science Faculty Research and Publications

One of the major problems in industrial security management is that most organizations or enterprises do not provide adequate guidelines or well-defined policy with respect to trust management, and trust is still an afterthought in most security engineering projects. With the increase of handheld devices, managers of business organizations tend to use handheld devices to access the information systems. However, the connection or access to an information system requires appropriate level of trust. In this paper, we present a flexible, manageable, and configurable software-based trust framework for the handheld devices of mangers to access distributed information systems. The presented framework …

Asymptotic Behavior Of The Global Attractors To The Boussinesq System For Rayleigh-Bénard Convection At Large Prandtl Number, Xiaoming Wang

Mathematics and Statistics Faculty Research & Creative Works

We study asymptotic behavior of the global attractors to the Boussinesq system for Rayleigh-Bénard convection at large Prandtl number. in particular, we show that the global attractors to the Boussinesq system for Rayleigh-Bénard convection converge to that of the infinite-Prandtl- number model for convection as the Prandtl number approaches infinity. This offers partial justification of the infinite-Prandtl-number model for convection as a valid simplified model for convection at large Prandtl number even in the long-time regime. © 2006 Wiley Periodicals, Inc.

Decompositions Of Signed-Graphic Matroids, Dan Slilaty, Hongxun Qin

Mathematics and Statistics Faculty Publications

We give a decomposition theorem for signed graphs whose frame matroids are binary and a decomposition theorem for signed graphs whose frame matroids are quaternary.

Transmission Dynamics Of Avian Influenza Among Poultry With And Without Vaccination, Qiao Liang

Mathematics & Statistics ETDs

The continuing avian influenza (AI) out break that began in late 2003 and early 2004 has been disastrous for the poultry industry worldwide. It has resulted in severe socio-economic damage, and it has raised serious concerns for general public health. In this research, we use mathematics to analyze transmission dynamics of AI among poultry. We use a status-based approach to construct systems of differential equations to describe virus transmission dynamics. We develop theoretical means to eradicate the spread of the disease, and we calculate the size of healthy and infected populations during an AI outbreak, and the final population size …

Double Integral Calculus Of Variations On Time Scales, Gusein Sh. Guseinov, Martin Bohner

Mathematics and Statistics Faculty Research & Creative Works

We consider a version of the double integral calculus of variations on time scales, which includes as special cases the classical two-variable calculus of variations and the discrete two-variable calculus of variations. Necessary and sufficient conditions for a local extremum are established, among them an analogue of the Euler-Lagrange equation.

Discrete Kato-Type Theorem On Inviscid Limit Of Navier-Stokes Flows, Wenfang Cheng, Xiaoming Wang

Mathematics and Statistics Faculty Research & Creative Works

The inviscid limit of wall bounded viscous flows is one of the unanswered central questions in theoretical fluid dynamics. Here we present a somewhat surprising result related to numerical approximation of the problem. More precisely, we show that numerical solutions of the incompressible Navier-Stokes equations converge to the exact solution of the Euler equations at vanishing viscosity and vanishing mesh size provided that small scales of the order of U in the directions tangential to the boundary are not resolved in the scheme. Here is the kinematic viscosity of the fluid and U is the typical velocity taken to be …

Note On The Emergence Of Large Scale Coherent Structure Under Small Scale Random Bombardments: The Discrete Case, Andrew Majda, Xiaoming Wang

Mathematics and Statistics Faculty Research & Creative Works

We continue our study on mathematical justification of the emergence of large-scale coherent structure in a two-dimensional fluid system under small scale random bombardments. We treat the case of small-scale random bombardments at discrete times which is different from our earlier work [Commun. Pure Appl. Math. 59, 467 (2006)], where we approximated the small-scale random kicks by a continuous in time random process. in the absence of geophysical effects, the large-scale structure emerging out of the small-scale random forcing is the same as the case of continuous in time forcing that we studied before. © 2007 American Institute of Physics.

Balanced Proper Orthogonal Decomposition For Model Reduction Of Infinite Dimensional Linear Systems, John R. Singler, Belinda A. Batten

Mathematics and Statistics Faculty Research & Creative Works

In this paper, we extend a method for reduced order model derivation for finite dimensional systems developed by Rowley to infinite dimensional systems. The method is related to standard balanced truncation, but includes aspects of the proper orthogonal decomposition in its computational approach. The method is also applicable to nonlinear systems. The method is applied to a convection diffusion equation.

Ets (Efficient, Transparent, And Secured) Self-Healing Service For Pervasive Computing Applications, Shameem Ahmed, Moushumi Sharmin, Sheikh Iqbal Ahamed

Mathematics, Statistics and Computer Science Faculty Research and Publications

To ensure smooth functioning of numerous handheld devices anywhere anytime, the importance of self-healing mechanism cannot be overlooked. Incorporation of efficient fault detection and recovery in device itself is the quest for long but there is no existing self-healing scheme for devices running in pervasive computing environments that can be claimed as the ultimate solution. Moreover, the highest degree of transparency, security and privacy attainability should also be maintained. ETS Self-healing service, an integral part of our developing middleware named MARKS (Middleware Adaptability for Resource discovery, Knowledge usability, and Self-healing), holds promise for offering all of those functionalities.

A Method For Finding Standard Error Estimates For Rma Expression Levels Using Bootstrap, Gabriel Nicholas

All Graduate Plan B and other Reports, Spring 1920 to Spring 2023

Oligonucleotide arrays are used in many applications. Affymetrix GeneChip arrays are widely used. Before researchers can use the information from these arrays, the raw data must be transformed and summarized into a more meaningful and usable form. One of the more popular methods for doing so is RMA (Robust Multi-array Analysis).

A problem with RMA is that the end result (estimated gene expression levels) is based on a fairly complicated process that is unusual. Specifically, there is no closed-form estimate of standard errors for the estimated gene expression levels. The current recommendation is to use a naive estimate for the …

A Spectral Order For Infinite Dimensional Quantum Spaces: A Preliminary Report, Joe Mashburn

Mathematics Faculty Publications

In 2002 Coecke and Martin created a Bayesian order for the finite dimensional spaces of classical states in physics and used this to define a similar order, the spectral order on the finite dimensional quantum states. These orders gave the spaces a structure similar to that of a domain. This allows for measuring information content of states and for determining which partial states are approximations of which pure states. In a previous paper the author extended the Bayesian order to infinite dimensional spaces of classical states. The order on infinite dimensional spaces retains many of the characteristics important to physics, …

Periodic Solutions Of Functional Dynamic Equations With Infinite Delay, Li Bi, Meng Fan, Martin Bohner

Mathematics and Statistics Faculty Research & Creative Works

In this paper, sufficient criteria are established for the existence of periodic solutions of some functional dynamic equations with infinite delays on time scales, which generalize and incorporate as special cases many known results for differential equations and for difference equations when the time scale is the set of the real numbers or the integers, respectively. The approach is mainly based on the Krasnosel'skilatin small letter i with breve fixed point theorem, which has been extensively applied in studying existence problems in differential equations and difference equations but rarely applied in studying dynamic equations on time scales. This study shows …

The Time Invariance Principle, Ecological (Non)Chaos, And A Fundamental Pitfall Of Discrete Modeling, Bo Deng

Department of Mathematics: Faculty Publications

This paper is to show that most discrete models used for population dynamics in ecology are inherently pathological that their predications cannot be independently verified by experiments because they violate a fundamental principle of physics. The result is used to tackle an on-going controversy regarding ecological chaos. Another implication of the result is that all continuous dynamical systems must be modeled by differential equations. As a result it suggests that researches based on discrete modeling must be closely scrutinized and the teaching of calculus and differential equations must be emphasized for students of biology.

Step-Up Simultaneous Tests For Identifying Active Effects In Orthogonal Saturated Designs, Samuel S. Wu, Weizhen Wang

Mathematics and Statistics Faculty Publications

A sequence of null hypotheses regarding the number of negligible effects (zero effects) in orthogonal saturated designs is formulated. Two step-up simultaneous testing procedures are proposed to identify active effects (nonzero effects) under the commonly used assumption of effect sparsity. It is shown that each procedure controls the experimentwise error rate at a given alpha level in the strong sense.

The Convolution On Time Scales, Gusein Sh. Guseinov, Martin Bohner

Mathematics and Statistics Faculty Research & Creative Works

The main theme in this paper is an initial value problem containing a dynamic version of the transport equation. via this problem, the delay (or shift) of a function defined on a time scale is introduced, and the delay in turn is used to introduce the convolution of two functions defined on the time scale. In this paper, we give some elementary properties of the delay and of the convolution and we also prove the convolution theorem. Our investigation contains a study of the initial value problem under consideration as well as some results about power series on time scales. …

Trench's Perturbation Theorem For Dynamic Equations, Stevo Stevic, Martin Bohner

Mathematics and Statistics Faculty Research & Creative Works

We consider a nonoscillatory second-order linear dynamic equation on a time scale together with a linear perturbation of this equation and give conditions on the perturbation that guarantee that the perturbed equation is also nonoscillatory and has solutions that behave asymptotically like a recessive and dominant solutions of the unperturbed equation. As the theory of time scales unifies continuous and discrete analysis, our results contain as special cases results for corresponding differential and difference equations by William F. Trench.

Differentiability With Respect To Parameters Of Weak Solutions Of Linear Parabolic Equations, John R. Singler

Mathematics and Statistics Faculty Research & Creative Works

We consider the differentiability of weak solutions of linear parabolic equations with respect to parameters and initial data. under natural assumptions, it is shown that solutions possess as much differentiability with respect to the data as do the terms appearing in the equation. The derivatives are shown to satisfy the appropriate sensitivity equations. The theoretical results are illustrated with an example.

Oscillation And Nonoscillation Of Forced Second Order Dynamic Equations, Christopher C. Tisdell, Martin Bohner

Mathematics and Statistics Faculty Research & Creative Works

Oscillation and nonoscillation properties of second order Sturm-Liouville dynamic equations on time scales — for example, second order self-adjoint differential equations and second order Sturm-Liouville difference equations — have attracted much interest. Here we consider a given homogeneous equation and a corresponding equation with forcing term. We give new conditions implying that the latter equation inherits the oscillatory behavior of the homogeneous equation. We also give new conditions that introduce oscillation of the inhomogeneous equation while the homogeneous equation is nonoscillatory. Finally, we explain a gap in a result given in the literature for the continuous and the discrete case. …

Oscillation Criteria For A Certain Class Of Second Order Emden-Fowler Dynamic Equations, Elvan Akin, S. H. Saker, Martin Bohner

Mathematics and Statistics Faculty Research & Creative Works

By means of Riccati transformation techniques we establish some oscillation criteria for the second order Emden-Fowler dynamic equation on a time scale. Such equations contain the classical Emden-Fowler equation as well as their discrete counterparts. The classical oscillation results of Atkinson (in the superlinear case) and Belohorec (in the sublinear case) are extended in this paper to Emden-Fowler dynamic equations on any time scale.

The Dynamics And Interaction Of Quantized Vortices In The Ginzburg-Landau-Schrödinger Equation, Yanzhi Zhang, Weizhu Bao, Qiang Du

Mathematics and Statistics Faculty Research & Creative Works

The dynamic laws of quantized vortex interactions in the Ginzburg-Landau-Schrödinger equation (GLSE) are analytically and numerically studied. A review of the reduced dynamic laws governing the motion of vortex centers in the GLSE is provided. The reduced dynamic laws are solved analytically for some special initial data. By directly simulating the GLSE with an efficient and accurate numerical method proposed recently in [Y. Zhang, W. Bao, and Q. Du, Numerical simulation of vortex dynamics in Ginzburg-Landau-Schrödinger equation, European J. Appl. Math., to appear], we can qualitatively and quantitatively compare quantized vortex interaction patterns of the GLSE with those from the …

On A Sub-Supersolution Method For The Prescribed Mean Curvature Problem, Vy Khoi Le

Mathematics and Statistics Faculty Research & Creative Works

The paper is about a sub-supersolution method for the prescribed mean curvature problem. We formulate the problem as a variational inequality and propose appropriate concepts of sub- and supersolutions for such inequality. Existence and enclosure results for solutions and extremal solutions between sub- and supersolutions are established.

Green And Poisson Functions With Wentzell Boundary Conditions, José-Luis Menaldi, Luciano Tubaro

Mathematics Faculty Research Publications

We discuss the construction and estimates of the Green and Poisson functions associated with a parabolic second order integro-di erential operator with Wentzell boundary conditions.

Degradation Models And Implied Lifetime Distributions, Suk Joo Bae, Way Kuo, Paul H. Kvam

Department of Math & Statistics Faculty Publications

In experiments where failure times are sparse, degradation analysis is useful for the analysis of failure time distributions in reliability studies. This research investigates the link between a practitioner's selected degradation model and the resulting lifetime model. Simple additive and multiplicative models with single random effects are featured. Results show that seemingly innocuous assumptions of the degradation path create surprising restrictions on the lifetime distribution. These constraints are described in terms of failure rate and distribution classes.

Statistical Models For Hot Electron Degradation In Nano-Scaled Mosfet Devices, Suk Joo Bae, Seong-Joon Kim, Way Kuo, Paul H. Kvam

Department of Math & Statistics Faculty Publications

In a MOS structure, the generation of hot carrier interface states is a critical feature of the item's reliability. On the nano-scale, there are problems with degradation in transconductance, shift in threshold voltage, and decrease in drain current capability. Quantum mechanics has been used to relate this decrease to degradation, and device failure. Although the lifetime, and degradation of a device are typically used to characterize its reliability, in this paper we model the distribution of hot-electron activation energies, which has appeal because it exhibits a two-point discrete mixture of logistic distributions. The logistic mixture presents computational problems that are …

A Comparison Of Three Topologies On Ordered Sets, Joe Mashburn

Mathematics Faculty Publications

We introduce two new topologies on ordered sets: the way below topology and weakly way below topology. These are similar in definition to the Scott topology, but are very different if the set is not continuous. The basic properties of these three topologies are compared. We will show that while domain representable spaces must be Baire, this is not the case with the new topologies.

On The Direction Of Pitchfork Bifurcation, Xiaojie Hou, Philip Korman, Yi Li

Mathematics and Statistics Faculty Publications

We present an algorithm for computing the direction of pitchfork bifurcation for two-point boundary value problems. The formula is rather involved, but its computational evaluation is quite feasible. As an application, we obtain a multiplicity result.