Mathematics Commons^™

Detecting Temporal Patterns Using Reconstructed Phase Space And Support Vector Machine In The Dynamic Data System, Wenjing Zhang, Xin Feng

Mathematics, Statistics and Computer Science Faculty Research and Publications

In this paper we present a method for detecting dynamic temporal patterns that are characteristic and predictive of significant events in a dynamic data system. We employ the Gaussian Mixture Model (GMM) to cluster the data sequence into three categories of signals, e.g. normal, patterns and events. The data sequence is then embedded into a Reconstructed Phase Space (RPS) which is topologically equivalent to the dynamics of the original system. We apply a hybrid method using Support Vector Machines (SVM) and Maximum a Posterior (MAP) to classify temporal pattern signals based on the event function. We performed two experimental applications …

Impact Of Curriculum Reform: Evidence Of Change In Classroom Instruction In The United States, John Moyer, Jinfa Cai, Ning Wang, Bikai Nie

Mathematics, Statistics and Computer Science Faculty Research and Publications

The purpose of the study reported in this article is to examine the impact of curriculum on instruction. Over a three-year period, we observed 579 algebra-related lessons in grades 6–8. Approximately half the lessons were taught in schools that had adopted a Standards-based mathematics curriculum called the Connected Mathematics Program (CMP), and the remainder of the lessons were taught in schools that used more traditional curricula (non-CMP). We found many significant differences between the CMP and non-CMP lessons. The CMP lessons, emphasized the conceptual aspects of instruction to a greater extent than the non-CMP lessons and the non-CMP lessons …

On The Distributions Of Certain Spacings, Gholamhossein Hamedani, Hans Volkmer

Mathematics, Statistics and Computer Science Faculty Research and Publications

A characterization of the uniform distribution based on distributions of spacings is presented which extends the existing result in this direction. Also, a result on the distribution of spacings for distributions close to the uniform one is discussed.

A Characterization Of Connected (1,2)-Domination Graphs Of Tournaments, Kim A. S. Factor, Larry J. Langley

Mathematics, Statistics and Computer Science Faculty Research and Publications

Recently. Hedetniemi et aI. introduced (1,2)-domination in graphs, and the authors extended that concept to (1, 2)-domination graphs of digraphs. Given vertices x and y in a digraph D, x and y form a (1,2)-dominating pair if and only if for every other vertex z in D, z is one step away from x or y and at most two steps away from the other. The (1,2)-dominating graph of D, dom_1,2 (D), is defined to be the graph G = (V, E ) , where V (G) = V (D), and xy is …

Longitudinal Investigation Of The Curricular Effect: An Analysis Of Student Learning Outcomes From The Liecal Project In The United States, Jinfa Cai, Ning Wang, John Moyer, Chuang Wang, Bikai Nie

Mathematics, Statistics and Computer Science Faculty Research and Publications

In this article, we present the results from a longitudinal examination of the impact of a Standards-based or reform mathematics curriculum (called CMP) and traditional mathematics curricula (called non-CMP) on students’ learning of algebra using various outcome measures. Findings include the following: (1) students did not sacrifice basic mathematical skills if they are taught using a Standards-based or reform mathematics curriculum like CMP; (2) African American students experienced greater gain in symbol manipulation when they used a traditional curriculum; (3) the use of either the CMP or a non-CMP curriculum improved the mathematics achievement of all students, including …

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 …

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, …

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 …

Quantitative Analysis Of Arterial Spin Labeling Fmri Data Using A General Linear Model, Luis Hernandez-Garcia, Hesamoddin Jahanian, Daniel B. 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 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 …

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 B. Rowe, Iain P. Bruce

Mathematics, Statistics and Computer Science Faculty Research and Publications

No abstract provided.

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 …

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 …

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 …

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 …

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 …

Detection Of Outliers In Time Series Data, Samson Sifael Kiware

Master's Theses (2009 -)

This thesis presents the detection of time series outliers. The data set used in this work is provided by the GasDay Project at Marquette University, which produces mathematical models to predict the consumption of natural gas for Local Distribution Companies (LDCs). Flow with no outliers is required to develop and train accurate models. GasDay is using statistical approaches motivated by normally distributed samples such as the 3 -sigma rule and the 5 -sigma rule to aid the experts in detecting outliers in residuals from the models. However, the Jarque-Bera statistical test shows that the residuals from the GasDay models are …

Digraphs With Isomorphic Underlying And Domination Graphs: 4-Cycles And 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 the vertex set of D, V(D). There is an edge uv in dom(D) whenever (u, z) or (v, z) is in the arc set of D, A(D), for every other vertex z ε V(D). For only some digraphs D has the structure of dom(D) been characterized. Examples of this are tournaments and regular digraphs. The authors have characterizations for the structure of digraphs D for …

A Mobile Intelligent Interruption Management System, Sina Zulkernain, Praveen Madiraju, Sheikh Iqbal Ahamed, Karl Stamm

Mathematics, Statistics and Computer Science Faculty Research and Publications

Mobile phones have become the most hated device that people cannot live without. For its primary usage as a communication device, it has surpassed any other medium. But it comes with a high price, interruption, anywhere anytime. These unwanted interruptions cause loss of productivity and also mostly not beneficial to the immediate task at hand, and moving them few minutes into the future can increase productivity. Considering receiver’s unavailability, it is possible to manage cell phone disruptions using advanced features like sensing capability, ubiquitous computing and context aware systems. This paper proposes the architecture of a system named Mobile Intelligent …

Local Out-Tournaments With Upset Tournament Strong Components I: Full And Equal {0,1}-Matrix Ranks, Kim A. S. Factor, Rebecca M. Kohler, Jason M. Derby

Mathematics, Statistics and Computer Science Faculty Research and Publications

A digraph D is a local out-tournament if the outset of every vertex is a tournament. Here, we use local out-tournaments, whose strong components are upset tournaments, to explore the corresponding ranks of the adjacency matrices. Of specific interest is the out-tournament whose adjacency matrix has boolean, nonnegative integer, term, and real rank all equal to the number of vertices, n. Corresponding results for biclique covers and partitions of the digraph are provided.

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 …

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 …

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 …

Developing Preservice Teachers’ Mathematical And Pedagogical Knowledge Using An Integrated Approach, Marta Magiera, Leigh A. Van Den Kieboom

Mathematics, Statistics and Computer Science Faculty Research and Publications

This paper describes how an integrated mathematics content and early field-experience course provides opportunities for preservice elementary teachers to develop understanding of mathematics and mathematics teaching. Engaging preservice teachers in solving and discussing mathematical tasks and providing opportunities to implement these tasks with elementary students creates an authentic context for the future teachers to reflect on their own understanding of mathematics, mathematics teaching, and students’ mathematical thinking. Essential elements of the cycle of events in the integrated model of instruction are discussed: preservice students’ acquisition of mathematical concepts in the context of selected tasks in the content course; subsequent posing …