Digital Commons Network^™

Mesenchymal Stem Cells In Autoimmune Disease: A Systematic Review And Meta-Analysis Of Pre-Clinical Studies, Hailey N. Swain, Parker D. Boyce, Bradley A. Bromet, Kaiden Barozinksy, Lacy Hance, Dakota Shields, Gayla R. Olbricht, Julie A. Semon

Mathematics and Statistics Faculty Research & Creative Works

Mesenchymal Stem Cells (MSCs) Are of Interest in the Clinic Because of their Immunomodulation Capabilities, Capacity to Act Upstream of Inflammation, and Ability to Sense Metabolic Environments. in Standard Physiologic Conditions, They Play a Role in Maintaining the Homeostasis of Tissues and Organs; However, there is Evidence that They Can Contribute to Some Autoimmune Diseases. Gaining a Deeper Understanding of the Factors that Transition MSCs from their Physiological Function to a Pathological Role in their Native Environment, and Elucidating Mechanisms that Reduce their Therapeutic Relevance in Regenerative Medicine, is Essential. We Conducted a Systematic Review and Meta-Analysis of Human MSCs …

Oscillations In Neuronal Activity: A Neuron-Centered Spatiotemporal Model Of The Unfolded Protein Response In Prion Diseases, Elliot M. Miller, Tat Chung D. Chan, Carlos Montes-Matamoros, Omar Sharif, Laurent Pujo-Menjouet, Michael R. Lindstrom

School of Mathematical and Statistical Sciences Faculty Publications and Presentations

Many neurodegenerative diseases (NDs) are characterized by the slow spatial spread of toxic protein species in the brain. The toxic proteins can induce neuronal stress, triggering the Unfolded Protein Response (UPR), which slows or stops protein translation and can indirectly reduce the toxic load. However, the UPR may also trigger processes leading to apoptotic cell death and the UPR is implicated in the progression of several NDs. In this paper, we develop a novel mathematical model to describe the spatiotemporal dynamics of the UPR mechanism for prion diseases. Our model is centered around a single neuron, with representative proteins P …

For Discrete-Time Linear Dynamical Systems Under Interval Uncertainty, Predicting Two Moments Ahead Is Np-Hard, Luc Jaulin, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

In the first approximation, when changes are small, most real-world systems are described by linear dynamical equations. If we know the initial state of the system, and we know its dynamics, then we can, in principle, predict the system's state many moments ahead. In practice, however, we usually know both the initial state and the coefficients of the system's dynamics with some uncertainty. Frequently, we encounter interval uncertainty, when for each parameter, we only know its range, but we have no information about the probability of different values from this range. In such situations, we want to know the range …

What To Do If An Inflexible Tolerance Problem Has No Solutions: Probabilistic Justification Of Piegat's Semi-Heuristic Idea, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

In many practical situations, it is desirable to select the control parameters x1, ..., xn in such a way that the resulting quantities y1, ..., ym of the system lie within desired ranges. In such situations, we usually know the general formulas describing the dependence of yi on xj, but the coefficients of these formulas are usually only known with interval uncertainty. In such a situation, we want to find the tuples for which all yi's are in the desired intervals for all possible tuples of coefficients. But what if no such parameters are possible? Since we cannot guarantee the …

How To Make Ai More Reliable, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

One of the reasons why the results of the current AI methods (especially deep-learning-based methods) are not absolutely reliable is that, in contrast to more traditional data processing techniques which are based on solid mathematical and statistical foundations, modern AI techniques use a lot of semi-heuristic methods. These methods have been, in many cases, empirically successful, but the absence of solid justification makes us less certain that these methods will work in other cases as well. To make AI more reliable, it is therefore necessary to provide mathematical foundations for the current semi-heuristic techniques. In this paper, we show that …

Why Magenta Is Not A Real Color, And How It Is Related To Fuzzy Control And Quantum Computing, Victor L. Timchenko, Yuriy P. Kondratenko, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

It is well known that every color can be represented as a combination of three basic colors: red, green, and blue. In particular, we can get several colors by combining two of the basic colors. Interestingly, while a combination of two neighboring colors leads to a color that corresponds to a certain frequency, the combination of two non-neighboring colors -- red and blue -- leads to magenta, a color that does not correspond to any frequency. In this paper, we provide a simple explanation for this phenomenon, and we also show that a similar phenomenon happens in two other areas …

How To Propagate Uncertainty Via Ai Algorithms, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

Any data processing starts with measurement results. Measurement results are never absolutely accurate. Because of this measurement uncertainty, the results of processing measurement results are, in general, somewhat different from what we would have obtained if we knew the exact values of the measured quantities. To make a decision based on the result of data processing, we need to know how accurate is this result, i.e., we need to propagate the measurement uncertainty through the data processing algorithm. There are many techniques for uncertainty propagation. Usually, they involve applying the same data processing algorithm several times to appropriately modified data. …

Why Empirical Membership Functions Are Well-Approximated By Piecewise Quadratic Functions: Theoretical Explanation For Empirical Formulas Of Novak's Fuzzy Natural Logic, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

Empirical analysis shows that membership functions describing expert opinions have a shape that is well described by a smooth combination of two quadratic segments. In this paper, we provide a theoretical explanation for this empirical phenomenon.

Why Is Grade Distribution Often Bimodal? Why Individualized Teaching Adds Two Sigmas To The Average Grade? And How Are These Facts Related?, Christian Servin, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

To make education more effective, to better use emerging technologies in education, we need to better understand the education process, to gain insights on this process. How can we check whether a new idea is indeed a useful insight? A natural criterion is that the new idea should explain some previously-difficult-to-explain empirical phenomenon. Since one of the main advantages of emerging educational technologies -- such as AI -- is the possibility of individualized education, a natural phenomenon to explain is the fact -- discovered by Benjamin Bloom -- that individualization adds two sigmas to the average grade. In this paper, …

New Examples Of Self-Dual Near-Extremal Ternary Codes Of Length 48 Derived From 2-(47,23,11) Designs, Sanja Rukavina, Vladimir Tonchev

Michigan Tech Publications, Part 2

In a recent paper (Araya and Harada, 2023), Araya and Harada gave examples of self-dual near-extremal ternary codes of length 48 for 145 distinct values of the number A12 of codewords of minimum weight 12, and raised the question about the existence of codes for other values of A12. In this note, we use symmetric 2-(47,23,11) designs with an automorphism group of order 6 to construct self-dual near-extremal ternary codes of length 48 for 150 new values of A12.

A Novel Consumer-Centric Metric For Evaluating Hearing Device Audio Performance, Vinaya Manchaiah, Steve Taddei, Abram Bailey, De Wet Swanepoel, Hansapani Rodrigo

School of Mathematical and Statistical Sciences Faculty Publications and Presentations

Background and Aim: The emergence of direct-to-consumer hearing devices has introduced confusion in making appropriate choices, highlighting the need for users to be well-informed for optimal device selection. Currently, no established metric offers insights into the sound performance of these devices. This study aimed to introduce and assess a novel consumer-centric metric (i.e., SoundScore) for hearing device audio performance.

Method: The SoundScore metric was created based on five dimensions of hearing device audio performance (i.e., speech benefit in quiet and moderate, speech benefit in loud, own voice perception, feedback control, streamed music sound quality). Tests were conducted under lab conditions …

A Computational Investigation Of Wood Selection For Acoustic Guitar, Jonah Osterhus

Senior Honors Theses

The acoustic guitar is a stringed instrument, often made of wood, that transduces vibrational energy of steel strings into coupled vibrations of the wood and acoustic pressure waves in the air. Variations in wood selection and instrument geometry have been shown to affect the timbre of the acoustic guitar. Computational methods were utilized to investigate the impact of material properties on acoustic performance. Sitka spruce was deemed the most suitable wood for guitar soundboards due to its acoustic characteristics, strength, and uniform aesthetic. Mahogany was deemed to be the best wood for the back and sides of the guitar body …

A Novel Method For Multiple Phenotype Association Studies Based On Genotype And Phenotype Network, Xuewei Cao, Shuanglin Zhang, Qiuying Sha

Michigan Tech Publications, Part 2

Joint analysis of multiple correlated phenotypes for genome-wide association studies (GWAS) can identify and interpret pleiotropic loci which are essential to understand pleiotropy in diseases and complex traits. Meanwhile, constructing a network based on associations between phenotypes and genotypes provides a new insight to analyze multiple phenotypes, which can explore whether phenotypes and genotypes might be related to each other at a higher level of cellular and organismal organization. In this paper, we first develop a bipartite signed network by linking phenotypes and genotypes into a Genotype and Phenotype Network (GPN). The GPN can be constructed by a mixture of …

Canonical Extensions Of Quantale Enriched Categories, Alexander Kurz

MPP Research Seminar

No abstract provided.

A Mceliece Cryptosystem, Using Permutation Error-Correcting Codes, Fiona Smith

CSB and SJU Distinguished Thesis

Using existing methods of cryptography, we can encrypt messages through the internet. However, these methods are vulnerable to attacks done by a quantum computer, which are a rising threat to security. In this thesis I discuss a possible method of encryption, secure against quantum attacks, using permutation groups and coding theory.

Representations Of Gender In Math-Related Films, Jacob Gathje

CSB and SJU Distinguished Thesis

This project analyzes how four popular math-related films - Hidden Figures, Mean Girls, Good Will Hunting, and A Beautiful Mind - either follow, resist, or reconfigure gender stereotypes in mathematics. It includes close readings of specific scenes in each of the films, along with broader analysis of the effects of how women and men are represented differently. It concludes forward-looking focus, providing suggestions for how future math-related movies can depict a more realistic and inclusive version of the field of mathematics. Ideally, this will help improve one part of the larger issue of gender disparities in math.

How To Make A Neural Network Learn From A Small Number Of Examples -- And Learn Fast: An Idea, Chitta Baral, Vladik Kreinovich

Departmental Technical Reports (CS)

Current deep learning techniques have led to spectacular results, but they still have limitations. One of them is that, in contrast to humans who can learn from a few examples and learn fast, modern deep learning techniques require a large amount of data to learn, and they take a long time to train. In this paper, we show that neural networks do have a potential to learn from a small number of examples -- and learn fast. We speculate that the corresponding idea may already be implicitly implemented in Large Language Models -- which may partially explain their (somewhat mysterious) …

How Can We Explain Empirical Formulas For Shrinkage Cracking Of Cement-Stabilized Pavement Layers, Edgar Daniel Rodriguez Velasquez, Vladik Kreinovich

Departmental Technical Reports (CS)

In pavement construction, one of the frequent defects is shrinkage cracking of the cement-stabilized pavement layer. To minimize this defect, it is important to be able to predict how this cracking depends on the quantities describing the pavement layer and the corresponding environment. Cracking is usually described by two parameters: the average width of the crack and the crack spacing. Empirical analysis shows that the dependence of the width on all related quantities is described by a power law. Power laws are ubiquitous in physics, they describe a frequent case when the dependence is scale-invariant -- i.e., does not change …

Topics In The Study Of The Pragmatic Functions Of Phonetic Reduction In Dialog, Nigel G. Ward, Carlos A. Ortega

Departmental Technical Reports (CS)

Reduced articulatory precision is common in speech, but for dialog its acoustic properties and pragmatic functions have been little studied. We here try to remedy this gap. This technical report contains content that was omitted from the journal article (Ward et. al, submitted). Specifically, we here report 1) lessons learned about annotating for perceived reduction, 2) the finding that, unlike in read speech, the correlates of reduction in dialog include high pitch, wide pitch range, and intensity, and 3) a baseline model for predicting reduction in dialog, using simple acoustic/prosodic features, that achieves correlations with human perceptions of 0.24 for …

Weighted Ehrhart Theory: Extending Stanley's Nonnegativity Theorem, Esme Bajo, Robert Davis, Jesús A. De Loera, Alexey Garber, Sofía Garzón Mora, Katharina Jochemko, Josephine Yu

School of Mathematical and Statistical Sciences Faculty Publications and Presentations

We generalize R. P. Stanley's celebrated theorem that the h∗-polynomial of the Ehrhart series of a rational polytope has nonnegative coefficients and is monotone under containment of polytopes. We show that these results continue to hold for weighted Ehrhart series where lattice points are counted with polynomial weights, as long as the weights are homogeneous polynomials decomposable as sums of products of linear forms that are nonnegative on the polytope. We also show nonnegativity of the h∗-polynomial as a real-valued function for a larger family of weights.

We generalize R. P. Stanley's celebrated theorem that the h ⁎ -polynomial of …

Ramanujan Type Congruences For Quotients Of Klein Forms, Timothy Huber, Nathaniel Mayes, Jeffery Opoku, Dongxi Ye

School of Mathematical and Statistical Sciences Faculty Publications and Presentations

In this work, Ramanujan type congruences modulo powers of primes p≥5 are derived for a general class of products that are modular forms of level p. These products are constructed in terms of Klein forms and subsume generating functions for t-core partitions known to satisfy Ramanujan type congruences for p=5,7,11. The vectors of exponents corresponding to products that are modular forms for Γ1(p) are subsets of bounded polytopes with explicit parameterizations. This allows for the derivation of a complete list of products that are modular forms for Γ1(p) of weights 1≤k≤5 for primes 5≤p≤19 and whose Fourier coefficients …

Local Existence Of Solutions To A Nonlinear Autonomous Pde Model For Population Dynamics With Nonlocal Transport And Competition, Michael R. Lindstrom

School of Mathematical and Statistical Sciences Faculty Publications and Presentations

Highlights

• Partial differential equation models are ubiquitous in applied sciences.

• A partial differential equation based in ecology is studied for solution existence.

• Energy methods and convergence analysis lead to local classical solutions.

Abstract

In this paper, we prove that a particular nondegenerate, nonlinear, autonomous parabolic partial differential equation with nonlocal mass transfer admits the local existence of classical solutions. The equation was developed to qualitatively describe temporal changes in population densities over space through accounting for location desirability and fast, long-range travel. Beginning with sufficiently regular initial conditions, through smoothing the PDE and employing energy arguments, we obtain a sequence …

The Future Of Brain Tumor Diagnosis: Cnn And Transfer Learning Innovations, Shengyuan Wang

Mathematics, Statistics, and Computer Science Honors Projects

For the purpose of improving patient survival rates and facilitating efficient treatment planning, brain tumors need to be identified early and accurately classified. This research investigates the application of transfer learning and Convolutional Neural Networks (CNN) to create an automated, high-precision brain tumor segmentation and classification framework. Utilizing large-scale datasets, which comprise MRI images from open-accessible archives, the model exhibits the effectiveness of the method in various kinds of tumors and imaging scenarios. Our approach utilizes transfer learning techniques along with CNN architectures strengths to tackle the intrinsic difficulties of brain tumor diagnosis, namely significant tumor appearance variability and difficult …

Bernstein Polynomials Method For Solving Multi-Order Fractional Neutral Pantograph Equations With Error And Stability Analysis, M. H. T. Alshbool

All Works

In this investigation, we present a new method for addressing fractional neutral pantograph problems, utilizing the Bernstein polynomials method. We obtain solutions for the fractional pantograph equations by employing operational matrices of differentiation, derived from fractional derivatives in the Caputo sense applied to Bernstein polynomials. Error analysis, along with Chebyshev algorithms and interpolation nodes, is employed for solution characterization. Both theoretical and practical stability analyses of the method are provided. Demonstrative examples indicate that our proposed techniques occasionally yield exact solutions. We compare the algorithms using several established analytical methods. Our results reveal that our algorithm, based on Bernstein series …

A Central Limit Theorem For The Number Of Excursion Set Components Of Gaussian Fields, Dmitry Beliaev, Michael Mcauley, Stephen Muirhead

Articles

For a smooth stationary Gaussian field f on R^d and level ℓ ∈ R, we consider the number of connected components of the excursion set {f ≥ ℓ} (or level set {f = ℓ}) contained in large domains. The mean of this quantity is known to scale like the volume of the domain under general assumptions on the field. We prove that, assuming sufficient decay of correlations (e.g. the Bargmann-Fock field), a central limit theorem holds with volume-order scaling. Previously such a result had only been established for ‘additive’ geometric functionals of the excursion/level sets (e.g. the volume or …

Asteroidal Sets And Dominating Targets In Graphs, Oleksiy Al-Saadi

Department of Computer Science and Engineering: Dissertations, Theses, and Student Research

The focus of this PhD thesis is on various distance and domination properties in graphs. In particular, we prove strong results about the interactions between asteroidal sets and dominating targets. Our results add to or extend a plethora of results on these properties within the literature. We define the class of strict dominating pair graphs and show structural and algorithmic properties of this class. Notably, we prove that such graphs have diameter 3, 4, or contain an asteroidal quadruple. Then, we design an algorithm to to efficiently recognize chordal hereditary dominating pair graphs. We provide new results that describe the …

Statistical Modeling Of Right-Censored Spatial Data Using Gaussian Random Fields, Fathima Z. Sainul Abdeen, Akim Adekpedjou, Sophie Dabo Niang

Mathematics and Statistics Faculty Research & Creative Works

Consider a Fixed Number of Clustered Areas Identified by their Geographical Coordinates that Are Monitored for the Occurrences of an Event Such as a Pandemic, Epidemic, or Migration. Data Collected on Units at All Areas Include Covariates and Environmental Factors. We Apply a Probit Transformation to the Time to Event and Embed an Isotropic Spatial Correlation Function into Our Models for Better Modeling as Compared to Existing Methodologies that Use Frailty or Copula. Composite Likelihood Technique is Employed for the Construction of a Multivariate Gaussian Random Field that Preserves the Spatial Correlation Function. the Data Are Analyzed using Counting Process …

Analysis Of Nonsmooth Neural Mass Models, Cadi Howell

Honors College

Neural activity in the brain involves a series of action potentials that represent “all or nothing” impulses. This implies the action potential will only “fire” if the mem- brane potential is at or above a specific threshold. The Wilson-Cowan neural mass model [6, 28] is a popular mathematical model in neuroscience that groups excita- tory and inhibitory neural populations and models their communication. Within the model, the on/off behavior of the firing rate is typically modeled by a smooth sigmoid curve. However, a piecewise-linear (PWL) firing rate function has been considered in the Wilson-Cowan model in the literature (e.g., see …

An Investigation Into Problem Solving In The Calculus Iii Classroom, Joseph Godinez

Honors College

The importance of tertiary education has grown to new heights, especially in the United States. A critical component of successful modern professionals remains the ability to employ problem-solving strategies and techniques. This study seeks to investigate initial problem-solving strategies employed by post-secondary students enrolled in Calculus II when presented with problems common to integral calculus. In- person pair-wise interviews were conducted asking six participants to sort integrals into categories based on the technique they would use to solve it. Participant responses were analyzed using a concept image composed of general and topic-specific symbolic forms, related conceptual images and concept definitions, …

Deterministic Global 3d Fractal Cloud Model For Synthetic Scene Generation, Aaron M. Schinder, Shannon R. Young, Bryan J. Steward, Michael L. Dexter, Andrew Kondrath, Stephen Hinton, Ricardo Davila

Faculty Publications

This paper describes the creation of a fast, deterministic, 3D fractal cloud renderer for the AFIT Sensor and Scene Emulation Tool (ASSET). The renderer generates 3D clouds by ray marching through a volume and sampling the level-set of a fractal function. The fractal function is distorted by a displacement map, which is generated using horizontal wind data from a Global Forecast System (GFS) weather file. The vertical windspeed and relative humidity are used to mask the creation of clouds to match realistic large-scale weather patterns over the Earth. Small-scale detail is provided by the fractal functions which are tuned to …