Open Access. Powered by Scholars. Published by Universities.®

Digital Commons Network™

Open Access. Powered by Scholars. Published by Universities.®

Mathematics

Institution
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 3271 - 3300 of 27187

Full-Text Articles in Entire DC Network

Logical Inference Inevitably Appears: Fuzzy-Based Explanation, Julio C. Urenda, Olga Kosheleva, Vladik Kreinovich, Orsolya Csiszar Jun 2023

Logical Inference Inevitably Appears: Fuzzy-Based Explanation, Julio C. Urenda, Olga Kosheleva, Vladik Kreinovich, Orsolya Csiszar

Departmental Technical Reports (CS)

Many thousands years ago, our primitive ancestors did not have the ability to reason logically and to perform logical inference. This ability appeared later. A natural question is: was this appearance inevitable -- or was this a lucky incident that could have been missed? In this paper, we use fuzzy techniques to provide a possible answer to this question. Our answer is: yes, the appearance of logical inference in inevitable.


Is Fully Explainable Ai Even Possible: Fuzzy-Based Analysis, Miroslav Svitek, Olga Kosheleva, Vladik Kreinovich Jun 2023

Is Fully Explainable Ai Even Possible: Fuzzy-Based Analysis, Miroslav Svitek, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

One of the main limitations of many current AI-based decision-making systems is that they do not provide any understandable explanations of how they came up with the produced decision. Taking into account that these systems are not perfect, that their decisions are sometimes far from good, the absence of an explanation makes it difficult to separate good decisions from suspicious ones. Because of this, many researchers are working on making AI explainable. In some applications areas -- e.g., in chess -- practitioners get an impression that there is a limit to understandability, that some decisions remain inhuman -- not explainable. …


Why Fuzzy Control Is Often More Robust (And Smoother): A Theoretical Explanation, Orsolya Csiszar, Gábor Csiszar, Olga Kosheleva, Martine Ceberio, Vladik Kreinovich Jun 2023

Why Fuzzy Control Is Often More Robust (And Smoother): A Theoretical Explanation, Orsolya Csiszar, Gábor Csiszar, Olga Kosheleva, Martine Ceberio, Vladik Kreinovich

Departmental Technical Reports (CS)

In many practical situations, practitioners use easier-to-compute fuzzy control to approximate the more-difficult-co-compute optimal control. As expected, for many characteristics, this approximate control is slightly worse than the optimal control it approximates, However, with respect to robustness or smoothness, the approximating fuzzy control is often better than the original one. In this paper, we provide a theoretical explanation for this somewhat mysterious empirical phenomenon.


(R1977) On Geometry Of Equiform Smarandache Ruled Surfaces Via Equiform Frame In Minkowski 3-Space, Emad Solouma Jun 2023

(R1977) On Geometry Of Equiform Smarandache Ruled Surfaces Via Equiform Frame In Minkowski 3-Space, Emad Solouma

Applications and Applied Mathematics: An International Journal (AAM)

In this paper, some geometric properties of equiform Smarandache ruled surfaces in Minkowski space E13 using an equiform frame are investigated. Also, we give the sufficient conditions that make these surfaces are equiform developable and equiform minimal related to the equiform curvatures and when the equiform base curve contained in a plane or general helix. Finally, we provide an example, such as these surfaces.


Exploring The Genotypic And Phenotypic Differences Distinguishing Lactobacillus Jensenii And Lactobacillus Mulieris, Adriana Ene, Swarnali Banerjee, Alan J. Wolfe, Catherine Putonti Jun 2023

Exploring The Genotypic And Phenotypic Differences Distinguishing Lactobacillus Jensenii And Lactobacillus Mulieris, Adriana Ene, Swarnali Banerjee, Alan J. Wolfe, Catherine Putonti

Mathematics and Statistics: Faculty Publications and Other Works

Lactobacillus crispatus, Lactobacillus gasseri, Lactobacillus iners, and Lactobacillus jensenii are dominant species of the urogenital microbiota. Prior studies suggest that these Lactobacillus species play a significant role in the urobiome of healthy females. In our prior genomic analysis of all publicly available L. jensenii and Lactobacillus mulieris genomes at the time (n = 43), we identified genes unique to these two closely related species. This motivated our further exploration here into their genotypic differences as well as into their phenotypic differences. First, we expanded genome sequence representatives of both species to 61 strains, including publicly available …


On Colorings And Orientations Of Signed Graphs, Daniel Slilaty Jun 2023

On Colorings And Orientations Of Signed Graphs, Daniel Slilaty

Mathematics and Statistics Faculty Publications

A classical theorem independently due to Gallai and Roy states that a graph G has a proper k-coloring if and only if G has an orientation without coherent paths of length k. An analogue of this result for signed graphs is proved in this article.


Why Softmax? Because It Is The Only Consistent Approach To Probability-Based Classification, Anatole Lokshin, Vladik Kreinovich Jun 2023

Why Softmax? Because It Is The Only Consistent Approach To Probability-Based Classification, Anatole Lokshin, Vladik Kreinovich

Departmental Technical Reports (CS)

In many practical problems, the most effective classification techniques are based on deep learning. In this approach, once the neural network generates values corresponding to different classes, these values are transformed into probabilities by using the softmax formula. Researchers tried other transformation, but they did not work as well as softmax. A natural question is: why is softmax so effective? In this paper, we provide a possible explanation for this effectiveness: namely, we prove that softmax is the only consistent approach to probability-based classification. In precise terms, it is the only approach for which two reasonable probability-based ideas -- Least …


Selecting The Most Adequate Fuzzy Operation For Explainable Ai: Empirical Fact And Its Possible Theoretical Explanation, Orsolya Csiszar, Gábor Csiszar, Martine Ceberio, Vladik Kreinovich Jun 2023

Selecting The Most Adequate Fuzzy Operation For Explainable Ai: Empirical Fact And Its Possible Theoretical Explanation, Orsolya Csiszar, Gábor Csiszar, Martine Ceberio, Vladik Kreinovich

Departmental Technical Reports (CS)

A reasonable way to make AI results explainable is to approximate the corresponding deep-learning-generated function by a simple expression formed by fuzzy operations. Experiments on real data show that out of all easy-to-compute fuzzy operations, the best approximation is attained if we use an operation a + b − 0.5 ( limited to the interval [0,1]$. In this paper, we provide a possible theoretical explanation for this empirical result.


Discrete Polylogarithm Functions, Tom Cuchta, Dallas Freeman Jun 2023

Discrete Polylogarithm Functions, Tom Cuchta, Dallas Freeman

Mathematics Faculty Research

We investigate a discrete analogue of the polylogarithm function. Difference and summation relations are obtained, as well as its connection to the discrete hypergeometric series.


Hospital-Acquired Pressure Injuries In Adults With Prone Positioning Using Manual Method Versus Specialty Bed: A Retrospective Comparison Cohort Study, Jacqueline M. Demellow, Harbir Dhillon, Mouchumi Bhattacharyya, Daniel Pacitto, Teri M. Kozik Jun 2023

Hospital-Acquired Pressure Injuries In Adults With Prone Positioning Using Manual Method Versus Specialty Bed: A Retrospective Comparison Cohort Study, Jacqueline M. Demellow, Harbir Dhillon, Mouchumi Bhattacharyya, Daniel Pacitto, Teri M. Kozik

Pacific Faculty Work

Purpose: The purpose of this study was to compare the incidence of hospital-acquired pressure injuries (HAPIs) in patients with acute respiratory distress syndrome (ARDS) and placed in a prone position manually or using a specialty bed designed to facilitate prone positioning. A secondary aim was to compare mortality rates between these groups. Design: Retrospective review of electronic medical records. SUBJECTS AND SETTING: The sample comprised 160 patients with ARDS managed by prone positioning. Their mean age was 61.08 years (SD = 12.73); 58% (n = 96) were male. The study setting was a 355-bed community hospital in the Western United …


Production Functions Of Ncaa Men And Women Water Polo Matches, Joey Gullikson, Lewis R. Gale, John Mayberry, Lara Killick, John Kim Jun 2023

Production Functions Of Ncaa Men And Women Water Polo Matches, Joey Gullikson, Lewis R. Gale, John Mayberry, Lara Killick, John Kim

College of the Pacific Faculty Articles

Previous research has adapted the use of economic production functions to estimate the scoring production of teams in professional sports. Most of these studies have focused on professional male team sports, most notably, US baseball, basketball, and association football. This study adds to the literature by utilizing a new and distinctive data set of shooting statistics from 88 men’s and 38 women’s NCAA water polo contests to estimate production functions for United States’ collegiate water polo games and identify the most important variables for predicting margin of victory in such competitions. The results show that shots on goal, average shot …


Representations From Group Actions On Words And Matrices, Joel T. Anderson Jun 2023

Representations From Group Actions On Words And Matrices, Joel T. Anderson

Master's Theses

We provide a combinatorial interpretation of the frequency of any irreducible representation of Sn in representations of Sn arising from group actions on words. Recognizing that representations arising from group actions naturally split across orbits yields combinatorial interpretations of the irreducible decompositions of representations from similar group actions. The generalization from group actions on words to group actions on matrices gives rise to representations that prove to be much less transparent. We share the progress made thus far on the open problem of determining the irreducible decomposition of certain representations of Sm × Sn arising from group actions on matrices.


Analyzing Tortuosity In Patterns Formed By Colonies Of Embryonic Stem Cells Using Topological Data Analysis, Jackie Driscoll Jun 2023

Analyzing Tortuosity In Patterns Formed By Colonies Of Embryonic Stem Cells Using Topological Data Analysis, Jackie Driscoll

Master's Theses

Pluripotent stem cells have been observed to segregate into Turing-like patterns during the early stages of Dox-inducible hiPSC differentiation. In this thesis, we de- velop a tool to quantify the tortuosity in the patterns formed by colonies of pluripo- tent stem cells using methods from topological data analysis. We use clustering techniques and the mapper algorithm to create simplicial complexes representing samples of cells and detail a method of evaluating the tortuosity of these complexes. We use the resulting persistence landscapes and their associated norms to evaluate experimental data and simulated data from an agent based model. This thesis finds …


Engaging Students With High-Stakes Problems, Deepak Basyal Jun 2023

Engaging Students With High-Stakes Problems, Deepak Basyal

Mathematics and Statistics

Engaging students in meaningful mathematics problem-solving is the intention of many education stakeholders around the world. Research suggests that the implementation of high-stakes problems in mathematics teaching is one way to strengthen students’ conceptual understanding. Many carefully crafted open-ended problems constitute high-stakes problems, and proper use of such problems in teaching and learning not only encourages learners’ flexible thinking but also helps detect their misconceptions. However, what is less practiced and understood is: how exactly one should aim to implement such problems in a classroom setting. Teaching pre-service middle school teachers for a few years using high-stakes (mostly open-ended problems) …


Apex Calculus: Und Edition (June 2023), Gregory Hartman, Department Of Mathematics, University Of North Dakota Jun 2023

Apex Calculus: Und Edition (June 2023), Gregory Hartman, Department Of Mathematics, University Of North Dakota

Open Educational Resources

This text comprises a three–volume series on Calculus. The first part covers material taught in many “Calculus 1” courses: limits, derivatives, and the basics of integration, found in Chapters 1 through 6. The second text covers material often taught in “Calculus 2”: integration and its applications, along with an introduction to sequences, series and Taylor Polynomials, found in Chapters 7 through 10. The third text covers topics common in “Calculus 3” or “Multivariable Calculus”: parametric equations, polar coordinates, vector–valued functions, and functions of more than one variable, found in Chapters 11 through 15. All three are available separately for free. …


An Explicit Construction Of Sheaves In Context, Tyler A. Bryson Jun 2023

An Explicit Construction Of Sheaves In Context, Tyler A. Bryson

Dissertations, Theses, and Capstone Projects

This document details the body of theory necessary to explicitly construct sheaves of sets on a site together with the development of supporting material necessary to connect sheaf theory with the wider mathematical contexts in which it is applied. Of particular interest is a novel presentation of the plus construction suitable for direct application to a site without first passing to the generated grothendieck topology.


Quantifying Separability In Limit Groups, Keino Brown Jun 2023

Quantifying Separability In Limit Groups, Keino Brown

Dissertations, Theses, and Capstone Projects

We show that for any finitely generated non-abelian subgroup H of a limit group L, there exists a finite-index subgroup K which is fully residually H. This generalizes the result of Wilton that limit groups admit local retractions. We also show that for any finitely generated subgroup of a limit group, there is a finite-dimensional representation of the limit group which separates the subgroup in the induced Zariski topology. As a corollary, we establish a polynomial upper bound on the size of the quotients used to separate a finitely generated subgroup in a limit group. This generalizes results of Louder, …


Jones Polynomial Obstructions For Positivity Of Knots, Lizzie Buchanan Jun 2023

Jones Polynomial Obstructions For Positivity Of Knots, Lizzie Buchanan

Dartmouth College Ph.D Dissertations

The fundamental problem in knot theory is distinguishing one knot from another. We accomplish this by looking at knot invariants. One such invariant is positivity. A knot is positive if it has a diagram in which all crossings are positive. A knot is almost-positive if it does not have a diagram where all crossings are positive, but it does have a diagram in which all but one crossings are positive. Given a knot with an almost-positive diagram, it is in general very hard to determine whether it might also have a positive diagram. This work provides positivity obstructions for three …


Strongly Invertible Knots, Equivariant Slice Genera, And An Equivariant Algebraic Concordance Group, Allison N. Miller, M. Powell Jun 2023

Strongly Invertible Knots, Equivariant Slice Genera, And An Equivariant Algebraic Concordance Group, Allison N. Miller, M. Powell

Mathematics & Statistics Faculty Works

We use the Blanchfield form to obtain a lower bound on the equivariant slice genus of a strongly invertible knot. For our main application, let K be a strongly invertible genus one slice knot with nontrivial Alexander polynomial. We show that the equivariant slice genus of an equivariant connected sum #n K is at least n/4. We also formulate an equivariant algebraic concordance group, and show that the kernel of the forgetful map to the classical algebraic concordance group is infinite rank.


(R1965) Some More Properties On Generalized Double Fuzzy Z Alpha Open Sets, K. Jayapandian, A. Saivarajan, O. Uma Maheswari, J. Sathiyaraj Jun 2023

(R1965) Some More Properties On Generalized Double Fuzzy Z Alpha Open Sets, K. Jayapandian, A. Saivarajan, O. Uma Maheswari, J. Sathiyaraj

Applications and Applied Mathematics: An International Journal (AAM)

In this paper, a new class of sets termed as double fuzzy generalized Z alpha closed sets and double fuzzy generalized Z alpha open sets are introduced with the help of double fuzzy Z alpha open and double fuzzy Z alpha closed sets, respectively. Using these sets double fuzzy generalized Z alpha border, double fuzzy generalized Z alpha exterior and double fuzzy generalized Z alpha frontier of a fuzzy set in double fuzzy topological spaces are introduced. Also, the topological properties and characterizations of these sets and operators are studied. Furthermore, suitable examples have been provided to illustrate the theory.


Pairings In A Ring Spectrum-Based Bousfield-Kan Spectral Sequence, Jonathan Toledo Jun 2023

Pairings In A Ring Spectrum-Based Bousfield-Kan Spectral Sequence, Jonathan Toledo

Dissertations, Theses, and Capstone Projects

Bousfield and Kan traditionally formulated their homotopy spectral sequence over a simplicial set X resolved with respect to a ring R. By considering an adequate category of ring spectra, one can take a ring spectrum E, create from it a functor of a triple on the category of simplicial sets, and build a cosimplicial simplicial set EX. The homotopy spectral sequence can then be formed over such cosimplicial spaces by a similar construction to the original. Pairings can be established on these spectral sequences, and, for nice enough spaces, these pairings on the E2-terms coincide with certain …


(R2050) Dual Quaternion Matrices And Matlab Applications, Kemal Gökhan Nalbant, Salim Yüce Jun 2023

(R2050) Dual Quaternion Matrices And Matlab Applications, Kemal Gökhan Nalbant, Salim Yüce

Applications and Applied Mathematics: An International Journal (AAM)

There are many studies in the literature on real quaternions and real quaternion matrices. There are few studies in the literature on dual quaternions. Definitions of the matrices of dual quaternions used in this study will be given. The originality of our research, the set of dual quaternion matrix we studied, will be defined for the first time in this study, and its properties will be given. Moreover, this study is critical because it is an applied study related to dual quaternion matrices. It will be easier to solve examples with large matrix sizes with MATLAB. People who use different …


(R2051) Analysis Of Map/Ph1, Ph2/2 Queueing Model With Working Breakdown, Repairs, Optional Service, And Balking, G. Ayyappan, G. Archana Jun 2023

(R2051) Analysis Of Map/Ph1, Ph2/2 Queueing Model With Working Breakdown, Repairs, Optional Service, And Balking, G. Ayyappan, G. Archana

Applications and Applied Mathematics: An International Journal (AAM)

In this paper, a classical queueing system with two types of heterogeneous servers has been considered. The Markovian Arrival Process (MAP) is used for the customer arrival, while phase type distribution (PH) is applicable for the offering of service to customers as well as the repair time of servers. Optional service are provided by the servers to the unsatisfied customers. The server-2 may get breakdown during the busy period of any type of service. Though the server- 2 got breakdown, server-2 has a capacity to provide the service at a slower rate to the current customer who is receiving service …


(R2028) A Brief Note On Space Time Fractional Order Thermoelastic Response In A Layer, Navneet Lamba, Jyoti Verma, Kishor Deshmukh Jun 2023

(R2028) A Brief Note On Space Time Fractional Order Thermoelastic Response In A Layer, Navneet Lamba, Jyoti Verma, Kishor Deshmukh

Applications and Applied Mathematics: An International Journal (AAM)

In this study, a one-dimensional layer of a solid is used to investigate the exact analytical solution of the heat conduction equation with space-time fractional order derivatives and to analyze its associated thermoelastic response using a quasi-static approach. The assumed thermoelastic problem was subjected to certain initial and boundary conditions at the initial and final ends of the layer. The memory effects and long-range interaction were discussed with the help of the Caputo-type fractional-order derivative and finite Riesz fractional derivative. Laplace transform and Fourier transform techniques for spatial coordinates were used to investigate the solution of the temperature distribution and …


Discrete Wiener Algebra In The Bicomplex Setting, Spectral Factorization With Symmetry, And Superoscillations, Daniel Alpay, Izchak Lewkowicz, Mihaela Vajiac Jun 2023

Discrete Wiener Algebra In The Bicomplex Setting, Spectral Factorization With Symmetry, And Superoscillations, Daniel Alpay, Izchak Lewkowicz, Mihaela Vajiac

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper we present parallel theories on constructing Wiener algebras in the bicomplex setting. With the appropriate symmetry condition, the bicomplex matrix valued case can be seen as a complex valued case and, in this matrix valued case, we make the necessary connection between bicomplex analysis and complex analysis with symmetry. We also write an application to superoscillations in this case.


Solving The Cable Equation, A Second-Order Time Dependent Pde For Non-Ideal Cables With Action Potentials In The Mammalian Brain Using Kss Methods, Nirmohi Charbe Jun 2023

Solving The Cable Equation, A Second-Order Time Dependent Pde For Non-Ideal Cables With Action Potentials In The Mammalian Brain Using Kss Methods, Nirmohi Charbe

Master's Theses

In this thesis we shall perform the comparisons of a Krylov Subspace Spectral method with Forward Euler, Backward Euler and Crank-Nicolson to solve the Cable Equation. The Cable Equation measures action potentials in axons in a mammalian brain treated as an ideal cable in the first part of the study. We shall subject this problem to the further assumption of a non-ideal cable. Assume a non-uniform cross section area along the longitudinal axis. At the present time, the effects of torsion, curvature and material capacitance are ignored. There is particular interest to generalize the application of the PDEs including and …


Abstract Algebra: An Inquiry-Based Approach, Second Edition, Supplemental Material, Jonathan K. Hodge, Steven Schlicker, Ted Sundstrom Jun 2023

Abstract Algebra: An Inquiry-Based Approach, Second Edition, Supplemental Material, Jonathan K. Hodge, Steven Schlicker, Ted Sundstrom

Open Textbooks

This text is a supplement to Abstract Algebra: An Inquiry-Based Approach, Second Edition. It includes applications of algebra to RSA encryption, check digits, the games of NIM and the 15 Puzzle, and the determination of groups of small order. In addition, reference material that could be useful for some students appears in the appendices, such as background material on functions, methods of proof (including the equivalencies of the Well-Ordering Principle and different versions of mathematical induction), and complex roots of unity. The appendices also contain a complete proof that polynomial rings are rings, a proof of the Fundamental Theorem of …


Deep Learning Recommendations For The Acl2 Interactive Theorem Prover, Robert K. Thompson, Robert K. Thompson Jun 2023

Deep Learning Recommendations For The Acl2 Interactive Theorem Prover, Robert K. Thompson, Robert K. Thompson

Master's Theses

Due to the difficulty of obtaining formal proofs, there is increasing interest in partially or completely automating proof search in interactive theorem provers. Despite being a theorem prover with an active community and plentiful corpus of 170,000+ theorems, no deep learning system currently exists to help automate theorem proving in ACL2. We have developed a machine learning system that generates recommendations to automatically complete proofs. We show that our system benefits from the copy mechanism introduced in the context of program repair. We make our system directly accessible from within ACL2 and use this interface to evaluate our system in …


Groups Of Non Positive Curvature And The Word Problem, Zoe Nepsa Jun 2023

Groups Of Non Positive Curvature And The Word Problem, Zoe Nepsa

Master's Theses

Given a group $\Gamma$ with presentation $\relgroup{\scr{\scr{A}}}{\scr{R}}$, a natural question, known as the word problem, is how does one decide whether or not two words in the free group, $F(\scr{\scr{A}})$, represent the same element in $\Gamma$. In this thesis, we study certain aspects of geometric group theory, especially ideas published by Gromov in the late 1980's. We show there exists a quasi-isometry between the group equipped with the word metric, and the space it acts on. Then, we develop the notion of a CAT(0) space and study groups which act properly and cocompactly by isometries on these spaces, such groups …


The Coupled Modified Yajima–Oikawa System: Model Derivation And Soliton Solutions, Junchao Chen, Bao-Feng Feng, Ken-Ichi Maruno Jun 2023

The Coupled Modified Yajima–Oikawa System: Model Derivation And Soliton Solutions, Junchao Chen, Bao-Feng Feng, Ken-Ichi Maruno

School of Mathematical & Statistical Sciences Faculty Publications

In this paper, we consider a coupled modified Yajima–Oikawa (YO) system which describes the nonlinear resonant interaction between one long wave (LW) and two short waves (SWs). It is shown that this coupled system can be derived from a three-component modified nonlinear Schrödinger equations through asymptotic reductions. Furthermore, the bright, dark multi-soliton and multi-breather solutions in terms of determinants are obtained respectively by virtue of the bilinear Kadomtsev–Petviashvili-hierarchy reduction technique. The detailed analysis of dynamical properties for one- and two-solitons and breathers is performed, which show the interesting collision properties for the bright and dark solitons. Particularly, differing from …