Physical Sciences and Mathematics Commons^™

Decidability For Residuated Lattices And Substructural Logics, Gavin St. John

Electronic Theses and Dissertations

We present a number of results related to the decidability and undecidability of various varieties of residuated lattices and their corresponding substructural logics. The context of this analysis is the extension of residuated lattices by various simple equations, dually, the extension of substructural logics by simple structural rules, with the aim of classifying simple equations by the decidability properties shared by their extensions. We also prove a number of relationships among simple extensions by showing the equational theory of their idempotent semiring reducts coincides with simple extensions of idempotent semirings. On the decidability front, we develop both semantical and syntactical …

Cramer Type Moderate Deviations For Random Fields And Mutual Information Estimation For Mixed-Pair Random Variables, Aleksandr Beknazaryan

Electronic Theses and Dissertations

In this dissertation we first study Cramer type moderate deviation for partial sums of random fields by applying the conjugate method. In 1938 Cramer published his results on large deviations of sums of i.i.d. random variables after which a lot of research has been done on establishing Cramer type moderate and large deviation theorems for different types of random variables and for various statistics. In particular results have been obtained for independent non-identically distributed random variables for the sum of independent random to estimate the mutual information between two random variables. The estimates enjoy a central limit theorem under some …

Coarse Geometric Coherence, Jonathan Lee Grossman

Legacy Theses & Dissertations (2009 - 2024)

This dissertation establishes three coarse geometric analogues of algebraic coherence: geometric coherence, coarse coherence, and relative coarse coherence. Each of these coarse geometric coherence notions is a coarse geometric invariant. Several permanence properties of these coarse invariants are demonstrated, elementary examples are computed, and the relationships that these properties have with one another and with other previously established coarse geometric invariants are investigated. Significant results include that the straight finite decomposition complexity of A. Dranishnikov and M. Zarichnyi implies coarse coherence, and that M. Gromov’s finite asymptotic dimension implies coherence, coarse coherence, and relative coarse coherence. Further, as a consequence …

Drug Repositioning Based On Bounded Nuclear Norm Regularization, Mengyun Yang, Huimin Lao, Yaohang Li, Jianxin Wang

Computer Science Faculty Publications

Motivation: Computational drug repositioning is a cost-effective strategy to identify novel indications for existing drugs. Drug repositioning is often modeled as a recommendation system problem. Taking advantage of the known drug–disease associations, the objective of the recommendation system is to identify new treatments by filling out the unknown entries in the drug–disease association matrix, which is known as matrix completion. Underpinned by the fact that common molecular pathways contribute to many different diseases, the recommendation system assumes that the underlying latent factors determining drug–disease associations are highly correlated. In other words, the drug–disease matrix to be completed is low-rank. Accordingly, …

Teachers' Perceptions About Instructing Underachieving K-5 Students On Mathematical Word Problem-Solving, Crystal Yvette Baldwindouglas

Walden Dissertations and Doctoral Studies

The state of Maryland has implemented the Common Core State Standards for Mathematics (CCSSM) operations & algebraic thinking and number & operations-fractions with emphasis on students in Grades K-5 acquiring the ability to solve word problems for state and curriculum math assessments. However, since the implementation of CCSSM, 30% of elementary students in a Maryland school district have demonstrated underachievement (basic or below basic level) on problem-solving sections of the state and school standardized tests. This qualitative case study, guided by Polya's model of the four phases of mathematical problem-solving, was conducted to address this problem. The research questions addressed …

A First-Year Teacher’S Implementation Of Short-Cycle Formative Assessment Through The Use Of A Classroom Response System And Flexible Grouping, Adrienne Irving Dumas

Electronic Theses and Dissertations

As teachers we are tasked with ensuring that our students are equipped with the skills necessary to not only perform with proficiency on local state and national assessments but also to provide our students with opportunities to develop confidence and competence as learners of mathematics through meaningful challenging and worthwhile activities. As such many teachers have turned to technology and cooperative groups as staples in the classroom. The purpose of this study was to understand how one first-year teacher implemented what she was taught in her undergraduate coursework in teaching two specific units of instruction in two sections of high …

Beta Invariant And Variations Of Chain Theorems For Matroids, Sooyeon Lee

Electronic Theses and Dissertations

The beta invariant of a matroid was introduced by Crapo in 1967. We first find the lower bound of the beta invariant of 3-connected matroids with rank r and the matroids which attain the lower bound. Second we characterize the matroids with beta invariant 5 and 6. For binary matroids we characterize matroids with beta invariant 7. These results extend earlier work of Oxley. Lastly we partially answer an open question of chromatic uniqueness of wheels and prove a splitting formula for the beta invariant of generalized parallel connection of two matroids. Tutte's Wheel-and-Whirl theorem and Seymour's Splitter theorem give …

Practical Chaos: Using Dynamical Systems To Encrypt Audio And Visual Data, Julia Ruiter

Scripps Senior Theses

Although dynamical systems have a multitude of classical uses in physics and applied mathematics, new research in theoretical computer science shows that dynamical systems can also be used as a highly secure method of encrypting data. Properties of Lorenz and similar systems of equations yield chaotic outputs that are good at masking the underlying data both physically and mathematically. This paper aims to show how Lorenz systems may be used to encrypt text and image data, as well as provide a framework for how physical mechanisms may be built using these properties to transmit encrypted wave signals.

Mean Value Theorems For Riemannian Manifolds Via The Obstacle Problem, Brian Benson, Ivan Blank, Jeremy Lecrone

Department of Math & Statistics Faculty Publications

We develop some of the basic theory for the obstacle problem on Riemannian manifolds, and we use it to establish a mean value theorem. Our mean value theorem works for a very wide class of Riemannian manifolds and has no weights at all within the integral.

Neutrosophic Triplet Structures - Vol. 1, Florentin Smarandache, Memet Sahin

Branch Mathematics and Statistics Faculty and Staff Publications

Neutrosophic set has been derived from a new branch of philosophy, namely Neutrosophy. Neutrosophic set is capable of dealing with uncertainty, indeterminacy and inconsistent information. Neutrosophic set approaches are suitable to modeling problems with uncertainty, indeterminacy and inconsistent information in which human knowledge is necessary, and human evaluation is needed. Neutrosophic set theory was firstly proposed in 1998 by Florentin Smarandache, who also developed the concept of single valued neutrosophic set, oriented towards real world scientific and engineering applications. Since then, the single valued neutrosophic set theory has been extensively studied in books and monographs, the properties of neutrosophic sets …

Modelling Potential Fluctuations In Double Layer Graphene Systems As A Periodic Oscillation In Electron Density & Its Effect On Coulomb Drag, Ryan Bogucki

Williams Honors College, Honors Research Projects

An expression for the drag transresistivity in a graphene double layer system exhibiting potential fluctuations modelled as a periodic oscillation in electron density is derived. Our model starts from the Coulombic interaction and we derive the correlation between a sinusoidal fluctuation in electron density in the first layer and the induced electron density in the second layer. Previous models in the literature have employed an arbitrary correlation between each layer’s electron density, and the model presented is the first attempt in the literature to explicitly derive this correlation. Recent experiments have found that the drag transresistivity in graphene double layers …

A Self-Contained Course In The Mathematical Theory Of Statistics For Scientists & Engineers With An Emphasis On Predictive Regression Modeling & Financial Applications., Tim Smith

Open Access Textbooks

Preface & Acknowledgments

This textbook is designed for a higher level undergraduate, perhaps even first year graduate, course for engineering or science students who are interested to gain knowledge of using data analysis to make predictive models. While there is no statistical perquisite knowledge required to read this book, due to the fact that the study is designed for the reader to truly understand the underlying theory rather than just learn how to read computer output, it would be best read with some familiarity of elementary statistics. The book is self-contained and the only true perquisite knowledge is a solid …

Barrier Graphs And Extremal Questions On Line, Ray, Segment, And Hyperplane Sensor Networks, Kirk Anthony Boyer

Electronic Theses and Dissertations

A sensor network is typically modeled as a collection of spatially distributed objects with the same shape, generally for the purpose of surveilling or protecting areas and locations. In this dissertation we address several questions relating to sensors with linear shapes: line, line segment, and rays in the plane, and hyperplanes in higher dimensions.

First we explore ray sensor networks in the plane, whose resilience is the number of sensors that must be crossed by an agent traveling between two known locations. The coverage of such a network is described by a particular tripartite graph, the barrier graph of the …

Upper Dimension And Bases Of Zero-Divisor Graphs Of Commutative Rings, S. Pirzada, M. Aijaza, Shane Redmond

EKU Faculty and Staff Scholarship

For a commutative ring R with non-zero zero divisor set Z∗(R), the zero divisor graph of R is Γ(R) with vertex set Z∗(R), where two distinct vertices x and y are adjacent if and only if x y = 0. The upper dimension and the resolving number of a zero divisor graph Γ(R) of some rings are determined. We provide certain classes of rings which have the same upper dimension and metric dimension and give an example of a ring for which these values do not coincide. Further, we obtain some bounds for the upper dimension in zero divisor graphs …

The Encyclopedia Of Neutrosophic Researchers - Vol. 3, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

This is the third volume of the Encyclopedia of Neutrosophic Researchers, edited from materials offered by the authors who responded to the editor’s invitation. The authors are listed alphabetically. The introduction contains a short history of neutrosophics, together with links to the main papers and books. Neutrosophic set, neutrosophic logic, neutrosophic probability, neutrosophic statistics, neutrosophic measure, neutrosophic precalculus, neutrosophic calculus and so on are gaining significant attention in solving many real life problems that involve uncertainty, impreciseness, vagueness, incompleteness, inconsistent, and indeterminacy. In the past years the fields of neutrosophics have been extended and applied in various fields, such as: …

Cantor Sets, Cantorvals, And Their Topological Structure, Ángel Adrián Agüero

Open Access Theses & Dissertations

With interesting topological properties, the Cantor set is worth studying for itself. In other areas, topological structures arise that are in fact homeomorphic to the Cantor set. In particular, we see sets that are homeomorphic to the Cantor set which result from the subsums of particular series, as well as linear combinations of algebraic sums of Cantor sets. These also result in what has been termed a Cantorval, which we also investigate.

Towards Analytical Techniques For Systems Engineering Applications, Griselda Valdepeñas Acosta

Open Access Theses & Dissertations

One of the main objectives of systems engineering is to design, maintain, and analyze systems that help the users. To design an appropriate system for an application domain, we need to know: what are the users' desires and preferences (so that we know in what direction we should aim to change this domain), what is the current state and what is the dynamics of this application domain, and how to use all this information to select the best alternatives for the system design and maintenance. Designing a system includes selecting numerical values for many of the parameters describing the corresponding …

Detecting Special-Cause Variation 'Events' From Process Data Signatures, Timothy M. Young, Olga Khaliukova, Nicolas André, Alexander Petutschnigg, Timothy G. Rials, Chung-Hao Chen

Electrical & Computer Engineering Faculty Publications

The ability to detect the special-cause variation of incoming feedstocks from advanced sensor technology is invaluable to manufacturers. Many on-line sensors produce data signatures that require further off-line statistical processing for interpretation by operational personnel. However, early detection of changes in variation in incoming feedstocks may be imperative to promote early-stage preventive measures. A method is proposed in this applied study for developing control bands to quantify the variation of data signatures in the context of statistical process control (SPC). Control bands based on pointwise prediction intervals constructed from the Bonferroni Inequality and Bayesian smoothing splines are developed. Applications using …

Four Derivations Of Schrödinger’S Time Dependent Equation, Sydney Swanson

Essential Studies UNDergraduate Showcase

Physics and the natural world have been studied by humans since the first person wondered ‘Why?’ The Schrödinger equation is important because it attempts to describe a relatively new (to us) and unfamiliar part of our universe, behavior of subatomic particles, and helps modern scientists uncover secrets that have proven useful in technology and explaining our origins. The time dependent Schrödinger equation can be derived from various starting points in Classical such as the equation of a wave, the time independent Schrödinger equation, and Hamilton-Jacobi equations. Why Quantum mechanics exists, useful applications, and cases when it fails or is inaccurate …

A Complete Characterization Of Near Outer-Planar Graphs, Tanya Allen Lueder Genannt Luehr

Doctoral Dissertations

A graph is outer-planar (OP) if it has a plane embedding in which all of the vertices lie on the boundary of the outer face. A graph is near outer-planar (NOP) if it is edgeless or has an edge whose deletion results in an outer-planar graph. An edge of a non outer-planar graph whose removal results in an outer-planar graph is a vulnerable edge. This dissertation focuses on near outer-planar (NOP) graphs. We describe the class of all such graphs in terms of a finite list of excluded graphs, in a manner similar to the well-known Kuratowski Theorem for planar …

Math Active Learning Lab: Math 93 Notebook, Michele Iiams, Gwennie Byron

Open Educational Resources

This course notebook has been designed for students of Math 93 (Algebra Prep III) at the University of North Dakota. It has been designed to help you get the most out of the ALEKS resources and your time.

• Topics in the Notebook are organized by weekly learning module.
• Space for notes from ALEKS learning pages, e-book and videos directs you to essential concepts.
• Examples and “You Try It” problems have been carefully chosen to help you focus on these essential concepts.
• Completed Notebook is an invaluable tool when studying for exams.

Σ-Ary, Minnesota State University Moorhead, Mathematics Department

Math Department Newsletters

No abstract provided.

Elementary Set Theory, Richard P. Millspaugh

Open Educational Resources

This text is appropriate for a course that introduces undergraduates to proofs. The material includes elementary symbolic logic, logical arguments, basic set theory, functions and relations, the real number system, and an introduction to cardinality. The text is intended to be readable for sophomore and better freshmen majoring in mathematics.

The source files for the text can be found at https://github.com/RPMillspaugh/SetTheory

Math Active Learning Lab: Math 92 Notebook, Michele Iiams, Gwennie Byron

Open Educational Resources

This course notebook has been designed for students of Math 92 (Algebra Prep II) at the University of North Dakota. It has been designed to help you get the most out of the ALEKS resources and your time.

• Topics in the Notebook are organized by weekly learning module.
• Space for notes from ALEKS learning pages, e-book and videos directs you to essential concepts.
• Examples and “You Try It” problems have been carefully chosen to help you focus on these essential concepts.
• Completed Notebook is an invaluable tool when studying for exams.

T-De Vries Algebra, Nawal Alznad

Electronic Theses and Dissertations

The main point of this dissertation is to introduce the action on de Vries algebra by a topological monoid and we denoted the resulting category by dVT. In order to reach our goal, we started with introducing new proofs for some well known results in the category of flows. Then, we studied the Generalized Smirnov's Theorem for flows. After we studied the new category (dVT), we were able to provide a new way to construct the Čech-stone flow compactification of a given flow. Finally, we developed the co-free T-de Vries algebra for a special case.

Surface Entropy Of Shifts Of Finite Type, Dennis Pace

Electronic Theses and Dissertations

Let χ be the class of 1-D and 2-D subshifts. This thesis defines a new function, H_S : χ x R → [0,∞] which we call the surface entropy of a shift. This definition is inspired by the topological entropy of a subshift and we compare and contrast several structural properties of surface entropy to entropy. We demonstrate that much like entropy, the finiteness of surface entropy is a conjugacy invariant and is a tool in the classification of subshifts. We develop a tiling algorithm related to continued fractions which allows us to prove a continuity result about surface …

Optimizing Maternal And Tenure Clocks: A Mathematical Proof, Tara T. Craig

Journal of Humanistic Mathematics

This essay shares my journey to solving the problem of timing, specifically as it applies to having a child on my journey towards a career as a mathematician in academia. I share some of the challenges I faced during pregnancy and the first few years of motherhood, which coincided with my first few years as an assistant professor of mathematics.

College Dropout To College Professor, Deborah L. Gochenaur, Rose I. Verbos

Journal of Humanistic Mathematics

Being a college dropout wasn’t something to be proud of; it just happened. Life doesn’t always turn out the way we want or expect. Yet, it is often how we deal with defeat that defines us – figuring out when to lick our wounds and when to come back fighting. It took a few years to redefine my dream, start a family, and seem to move forward, but the ache for more was always in the back of my mind. Could I succeed at something at which I had already failed? Going back to school at a community college at …

Rational Points On Surfaces And In Life, Amanda Knecht

Journal of Humanistic Mathematics

This essay collects together examples of instances where I should have advocated for myself more as a mother and examples of how I have advocated for my children. Theses stories come from a mathematician who gave birth to two children while on the tenure track in an older department with only one tenured woman.

Beautiful Madness: Math And Motherhood --- Can You Have It All?, Abigail Wacher

Journal of Humanistic Mathematics

I am a tenure-track assistant professor, and I have a beautiful three-year old boy and a husband who I love. My life today is within epsilon of the future I imagined while I was in university and contemplating a career in mathematics. Getting here, however, took longer than I thought. Along the way I often felt I was under pressure to choose between my career and having a family. I never made this choice and, although my pregnancy and my son did interfere with my career, I would not have it any other way. This is the story of how …