Mathematics Commons^™

Global Dimension Of Ci: Compete Or Collaborate, Arden L. Bement Jr.

PPRI Digital Library

No abstract provided.

Feedback Control Of A Bioinspired Plate-Beam System, Cody W. Ray, Belinda A. Batten, John R. Singler

Mathematics and Statistics Faculty Research & Creative Works

In this paper we present a model for a plate-beam system to represent a bioinspired flexible wing. Using a Galerkin based finite element approximation to the system, we compute functional gains that can be used for sensor placement and show that a piezoceramic actuator on the beam can be used for camber control

On Semigroups With Lower Semimodular Lattice Of Subsemigroups, Peter R. Jones

Mathematics, Statistics and Computer Science Faculty Research and Publications

The question of which semigroups have lower semimodular lattice of subsemigroups has been open since the early 1960s, when the corresponding question was answered for modularity and for upper semimodularity. We provide a characterization of such semigroups in the language of principal factors. Since it is easily seen (and has long been known) that semigroups for which Green's relation J is trivial have this property, a description in such terms is natural. In the case of periodic semigroups—a case that turns out to include all eventually regular semigroups—the characterization becomes quite explicit and yields interesting consequences. In the general case, …

The Positive Solutions Of The Matukuma Equation And The Problem Of Finite Radius And Finite Mass, Jurgen Batt, Yi Li

Mathematics and Statistics Faculty Publications

This work is an extensive study of the 3 different types of positive solutions of the Matukuma equation 1r2(r2ϕ′)′=−rλ−2(1+r2)λ/2ϕp,p>1,λ>0 : the E-solutions (regular at r = 0), the M-solutions (singular at r = 0) and the F-solutions (whose existence begins away from r = 0). An essential tool is a transformation of the equation into a 2-dimensional asymptotically autonomous system, whose limit sets (by a theorem of H. R. Thieme) are the limit sets of Emden–Fowler systems, and serve as a characterization of the different solutions. The emphasis lies on the study of the M …

Powerpack: Energy Profiling And Analysis Of High-Performance Systems And Applications, Rong Ge, Xizhou Feng, Shuaiwen Song, Hung-Ching Chang, Dong Li, Kirk W. Cameron

Mathematics, Statistics and Computer Science Faculty Research and Publications

Energy efficiency is a major concern in modern high-performance computing system design. In the past few years, there has been mounting evidence that power usage limits system scale and computing density, and thus, ultimately system performance. However, despite the impact of power and energy on the computer systems community, few studies provide insight to where and how power is consumed on high-performance systems and applications. In previous work, we designed a framework called PowerPack that was the first tool to isolate the power consumption of devices including disks, memory, NICs, and processors in a high-performance cluster and correlate these measurements …

Non-Invasive Prenatal Detection Of Trisomy 21 Using Tandem Single Nucleotide Polymorphisms, Sujana Ghanta, Michael Mitchell, Mary Ames, Mats Hidestrand, Pippa Simpson, Mary Goetsch, William Thilly, Craig Struble, Aoy Tomita-Mitchell

Mathematics, Statistics and Computer Science Faculty Research and Publications

Background: Screening tests for Trisomy 21 (T21), also known as Down syndrome, are routinely performed for the majority of pregnant women. However, current tests rely on either evaluating non-specific markers, which lead to false negative and false positive results, or on invasive tests, which while highly accurate, are expensive and carry a risk of fetal loss. We outline a novel, rapid, highly sensitive, and targeted approach to non-invasively detect fetal T21 using maternal plasma DNA.

Methods and Findings: Highly heterozygous tandem Single Nucleotide Polymorphism (SNP) sequences on chromosome 21 were analyzed using High-Fidelity PCR and Cycling Temperature Capillary …

Analysis Of Nonlinear Spectral Eddy-Viscosity Models Of Turbulence, Max Gunzburger, Eunjung Lee, Yuki Saka, Catalin Trenchea, Xiaoming Wang

Mathematics and Statistics Faculty Research & Creative Works

Fluid turbulence is commonly modeled by the Navier-Stokes equations with a large Reynolds number. However, direct numerical simulations are not possible in practice, so that turbulence modeling is introduced. We study artificial spectral viscosity models that render the simulation of turbulence tractable. We show that the models are well posed and have solutions that converge, in certain parameter limits, to solutions of the Navier-Stokes equations. We also show, using the mathematical analyses, how effective choices for the parameters appearing in the models can be made. Finally, we consider temporal discretizations of the models and investigate their stability. © 2009 Springer …

Roger Temam On The Occasion Of His 70th Birthday, Claude Michel Brauner, Danielle Hilhorst, Alain Miranville, Shouhong Wang, Xiaoming Wang

Mathematics and Statistics Faculty Research & Creative Works

No abstract provided.

Quantitative Analysis Of Arterial Spin Labeling Fmri Data Using A General Linear Model, Luis Hernandez-Garcia, Hesamoddin Jahanian, Daniel Rowe

Mathematics, Statistics and Computer Science Faculty Research and Publications

Arterial spin labeling techniques can yield quantitative measures of perfusion by fitting a kinetic model to difference images (tagged-control). Because of the noisy nature of the difference images investigators typically average a large number of tagged versus control difference measurements over long periods of time. This averaging requires that the perfusion signal be at a steady state and not at the transitions between active and baseline states in order to quantitatively estimate activation induced perfusion. This can be an impediment for functional magnetic resonance imaging task experiments. In this work, we introduce a general linear model (GLM) that specifies Blood …

A Methodology For Engineering Collaborative And Ad-Hoc Mobile Applications Using Syd Middleware, Praveen Madiraju, Srilaxmi Malladi, Janaka Balasooriya, Arthi Hariharan, Sushil K. Prasad, Anu Bourgeois

Mathematics, Statistics and Computer Science Faculty Research and Publications

Today’s web applications are more collaborative and utilize standard and ubiquitous Internet protocols. We have earlier developed System on Mobile Devices (SyD) middleware to rapidly develop and deploy collaborative applications over heterogeneous and possibly mobile devices hosting web objects. In this paper, we present the software engineering methodology for developing SyD-enabled web applications and illustrate it through a case study on two representative applications: (i) a calendar of meeting application, which is a collaborative application and (ii) a travel application which is an ad-hoc collaborative application. SyD-enabled web objects allow us to create a collaborative application rapidly with limited coding …

Processing Induced Voxel Correlation In Sense Fmri Via The Ammust Framework, Daniel Rowe, Iain P. Bruce

Mathematics, Statistics and Computer Science Faculty Research and Publications

No abstract provided.

A Class Of Models For Uncorrelated Random Variables, Nader Ebrahimi, Gholamhossein Hamedani, Ehsan S. Soofi, Hans Volkmer

Mathematics, Statistics and Computer Science Faculty Research and Publications

We consider the class of multivariate distributions that gives the distribution of the sum of uncorrelated random variables by the product of their marginal distributions. This class is defined by a representation of the assumption of sub-independence, formulated previously in terms of the characteristic function and convolution, as a weaker assumption than independence for derivation of the distribution of the sum of random variables. The new representation is in terms of stochastic equivalence and the class of distributions is referred to as the summable uncorrelated marginals (SUM) distributions. The SUM distributions can be used as models for the joint distribution …

Partial And Spectral-Viscosity Models For Geophysical Flows, Qingshan Chen, Max Gunzburger, Xiaoming Wang

Mathematics and Statistics Faculty Research & Creative Works

Two models based on the hydrostatic primitive equations are proposed. the first model is the primitive equations with partial viscosity only and is oriented towards large-scale wave structures in the ocean and atmosphere. the second model is the viscous primitive equations with spectral eddy viscosity and is oriented towards turbulent geophysical flows. for both models, the existence and uniqueness of global strong solutions are established. for the second model, the convergence of the solutions to the solutions of the classical primitive equations as eddy viscosity parameters tend to zero is also established. © 2010 Editorial Office of CAM (Fudan University) …

Examples Of Boundary Layers Associated With The Incompressible Navier-Stokes Equations, Xiaoming Wang

Mathematics and Statistics Faculty Research & Creative Works

The author surveys a few examples of boundary layers for which the Prandtl boundary layer theory can be rigorously validated. All of them are associated with the incompressible Navier-Stokes equations for Newtonian fluids equipped with various Dirichlet boundary conditions (specified velocity). These examples include a family of (nonlinear 3D) plane parallel flows, a family of (nonlinear) parallel pipe flows, as well as flows with uniform injection and suction at the boundary. We also identify a key ingredient in establishing the validity of the Prandtl type theory, i.e., a spectral constraint on the approximate solution to the Navier-Stokes system constructed by …

Structural Measurements For Enhanced Mav Flight, John R. Singler, Gregg Abate, Benjamin T. Dickinson

Mathematics and Statistics Faculty Research & Creative Works

Our sense of touch allows us to feel the forces in our limbs when we walk, swim, or hold our arms out the window of a moving car. We anticipate this sense is key in the locomotion of natural flyers. Inspired by the sense of touch, the overall goal of this research is to develop techniques for the estimation of aerodynamic loads from structural measurements for flight control applications. We submit a general algorithm for the direct estimation of distributed steady loads over bodies from embedded noisy deformation-based measurements. The estimation algorithm is applied to a linearly elastic membrane test …

Asymptotic Analysis Of The Differences Between The Stokes-Darcy System With Different Interface Conditions And The Stokes-Brinkman System, Nan Chen, Max Gunzburger, Xiaoming Wang

Mathematics and Statistics Faculty Research & Creative Works

We consider the coupling of the Stokes and Darcy systems with different choices for the interface conditions. We show that, comparing results with those for the Stokes-Brinkman equations, the solutions of Stokes-Darcy equations with the Beavers-Joseph interface condition in the one-dimensional and quasi-two-dimensional (periodic) cases are more accurate than are those obtained using the Beavers-Joseph-Saffman-Jones interface condition and that both of these are more accurate than solutions obtained using a zero tangential velocity interface condition. the zero tangential velocity interface condition is in turn more accurate than the free-slip interface boundary condition. We also prove that the summation of the …

Roger Temam On The Occasion Of His 70th Birthday, Claude Michel Brauner, Danielle Hilhorst, Alain Miranville, Shouhong Wang, Xiaoming Wang

Mathematics and Statistics Faculty Research & Creative Works

No abstract provided.

Noise Assumptions In Complex-Valued Sense Mr Image Reconstruction, Daniel B. Rowe, Iain P. Bruce

Mathematics, Statistics and Computer Science Faculty Research and Publications

In fMRI, brain images are not measured instantaneously and a volume of images can take two seconds to acquire at a low 64x64 resolution. Significant effort has been put forth on many fronts to decrease image acquisition time including parallel imaging. In parallel imaging, sub-sampled spatial frequency points are measured in parallel and combined to form a single image. Measurement time is decreased at the expense of increased image reconstruction difficulty and time. One significant parallel imaging technique known as SENSE utilizes a complex-valued regression coefficient estimation process with transposes replaced by conjugate transposes. However, in SENSE the noise structure …

A Formal Context Specific Trust Model (Ftm) For Multimedia And Ubiquitous Computing Environment, Sheikh Iqbal Ahamed, Munirul M. Haque, Nilothpal Talukder

Mathematics, Statistics and Computer Science Faculty Research and Publications

In order to ensure secure sharing of resources in an ad-hoc network of handheld devices in a multimedia and ubiquitous computing environment, mutual collaboration is essential. However, the limitations, such as poor storage and computational capability of these multimedia and ubiquitous devices stand as the bottleneck for effective sharing of resources. As a result of this drawback, the adversaries are obtaining access to the new doors for security breaches. Mutual Trust is the weapon used to combat security violations by restricting malicious devices from participating in any interaction in such an open and dynamic environment. In this paper, we present …

Acm/Springer Mobile Networks And Applications (Monet) Special Issue On “Advanced Mobile Applications And Intelligent Multimedia Systems For Ubi-Com”, Jong Hyuk Park, Shu-Ching Chen, Mieso Denko, Sheikh Iqbal Ahamed

Mathematics, Statistics and Computer Science Faculty Research and Publications

No abstract provided.

Fastmedusa: A Parallelized Tool To Infer Gene Regulatory Networks, Serdar Bozdag, Aiguo Li, Stefan Wuchty, Howard A. Fine

Mathematics, Statistics and Computer Science Faculty Research and Publications

Motivation: In order to construct gene regulatory networks of higher organisms from gene expression and promoter sequence data efficiently, we developed FastMEDUSA. In this parallelized version of the regulatory network-modeling tool MEDUSA, expression and sequence data are shared among a user-defined number of processors on a single multi-core machine or cluster. Our results show that FastMEDUSA allows a more efficient utilization of computational resources. While the determination of a regulatory network of brain tumor in Homo sapiens takes 12 days with MEDUSA, FastMEDUSA obtained the same results in 6 h by utilizing 100 processors. Availability: Source code and documentation of …

Approximation Of Stationary Statistical Properties Of Dissipative Dynamical Systems: Time Discretization, Xiaoming Wang

Mathematics and Statistics Faculty Research & Creative Works

We consider temporal approximation of stationary statistical properties of dissipative infinite-dimensional dynamical systems. We demonstrate that stationary statistical properties of the time discrete approximations, i.e., numerical scheme, converge to those of the underlying continuous dissipative infinite-dimensional dynamical system under three very natural assumptions as the time step approaches zero. the three conditions that are sufficient for the convergence of the stationary statistical properties are: (1) uniform dissipativity of the scheme in the sense that the union of the global attractors for the numerical approximations is pre-compact in the phase space; (2) convergence of the solutions of the numerical scheme to …

The Teaching Of Equation Solving: Approaches In Standards-Based And Traditional Curricula In The United States, Jinfa Cai, Bikai Nie, John Moyer

Mathematics, Statistics and Computer Science Faculty Research and Publications

This paper discusses the approaches to teaching linear equation solving that are embedded in a Standards-based mathematics curriculum (Connected Mathematics Program or CMP) and in a traditional mathematics curriculum (Glencoe Mathematics) in the United States. Overall, the CMP curriculum takes a functional approach to teaching equation solving, while Glencoe Mathematics takes a structural approach. The functional approach emphasizes the important ideas of change and variation in situations and contexts. It also emphasizes the representation of relationships between variables. The structural approach, on the other hand, requires students to work abstractly with symbols and follow procedures in a systematic way. …

Time Series Models For Computing Activation In Fmri, Daniel W. Adrian, Ranjan Maitra, Daniel B. Rowe

Mathematics, Statistics and Computer Science Faculty Research and Publications

No abstract provided.

Pre-Service Middle School Teachers’ Knowledge Of Algebraic Thinking, Marta Magiera, John Moyer, Leigh A. Van Den Kieboom

Mathematics, Statistics and Computer Science Faculty Research and Publications

In this study we examined the relationship between 18 pre-service middle school teachers’ own ability to use algebraic thinking to solve problems and their ability to recognize and interpret the algebraic thinking of middle school students. We assessed the pre-service teachers’ own algebraic thinking by examining their solutions and explanations to multiple algebra-based tasks posed during a semester-long mathematics content course. We assessed their ability to recognize and interpret the algebraic thinking of students in two ways. The first was by analyzing the preservice teachers’ ability to interpret students’ written solutions to open-ended algebra-based tasks. The second was by analyzing …

Pre-Service Teachers’ Knowledge Of Algebraic Thinking And The Characteristics Of The Questions Posed For Students, Leigh A. Van Den Kieboom, Marta Magiera, John Moyer

Mathematics, Statistics and Computer Science Faculty Research and Publications

In this study, we explored the relationship between the strength of pre-service teachers’ algebraic thinking and the characteristics of the questions they posed during cognitive interviews that focused on probing the algebraic thinking of middle school students. We developed a performance rubric to evaluate the strength of pre-service teachers’ algebraic thinking across 130 algebra-based tasks. We used an existing coding scheme found in the literature to analyze the characteristics of the questions pre-service teachers posed during clinical interviews. We found that pre-service teachers with higher algebraic thinking abilities were able to pose probing questions that uncovered student thinking through the …

Determining The Success Of Ncaa Basketball Teams Through Team Characteristics, Raymond Witkos

Honors Projects in Mathematics

Every year much of the nation becomes engulfed in the NCAA basketball postseason tournament more affectionately known as “March Madness.” The tournament has received the name because of the ability for any team to win a single game and advance to the next round. The purpose of this study is to determine whether concrete statistical measures can be used to predict the final outcome of the tournament. The data collected in the study include 13 independent variables ranging from the 2003-2004 season up until the current 2009-2010 season. Different tests were run in an attempt to achieve the most accurate …

Importance Sampling For Dispersion-Managed Solitons, Elaine T. Spiller, Gino Biondini

Mathematics, Statistics and Computer Science Faculty Research and Publications

The dispersion-managed nonlinear Schrödinger (DMNLS) equation governs the long-term dynamics of systems which are subject to large and rapid dispersion variations. We present a method to study large, noise-induced amplitude and phase perturbations of dispersion-managed solitons. The method is based on the use of importance sampling to bias Monte Carlo simulations toward regions of state space where rare events of interest—large phase or amplitude variations—are most likely to occur. Implementing the method thus involves solving two separate problems: finding the most likely noise realizations that produce a small change in the soliton parameters, and finding the most likely way that …

On Construction Of The Smallest One-Sided Confidence Interval For The Difference Of Two Proportions, Weizhen Wang

Mathematics and Statistics Faculty Publications

For my class of one-sided 1 - α confidence intervals with a certain monotonicity ordering on the random confidence limit, the smallest interval, in the sense of the set inclusion for the difference of two proportions of two independent binomial random variables, is constructed based on a direct analysis of coverage probability function. A special ordering on the confidence limit is developed and the corresponding smallest confidence interval is derived. This interval is then applied to identify the minimum effective dose (MED) for binary data in dose-response studies, and a multiple test procedure that controls the familywise error rate at …

Finite Element Approximations For Stokes-Darcy Flow With Beavers-Joseph Interface Conditions, Yanzhao Cao, Max Gunzburger, Xiaolong Hu, Fei Hua, Xiaoming Wang, Weidong Zhao

Mathematics and Statistics Faculty Research & Creative Works

Numerical solutions using finite element methods are considered for transient flow in a porous medium coupled to free flow in embedded conduits. Such situations arise, for example, for groundwater flows in karst aquifers. the coupled flow is modeled by the Darcy equation in a porous medium and the Stokes equations in the conduit domain. on the interface between the matrix and conduit, Beavers-Joseph interface conditions, instead of the simplified Beavers-Joseph-Saffman conditions, are imposed. Convergence and error estimates for finite element approximations are obtained. Numerical experiments illustrate the validity of the theoretical results. © 2010 Society for Industrial and Applied Mathematics.