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

Physical Sciences and Mathematics Commons™

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

Mathematics

Institution
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 1231 - 1260 of 27383

Full-Text Articles in Physical Sciences and Mathematics

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 …

Go to article

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 …

Go to article

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.

Go to article

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 …

Go to article

Bright Light Therapy And Depression: Assessing Suitability Using Entrainment Maps, Charles A. Mainwaring May 2023

Bright Light Therapy And Depression: Assessing Suitability Using Entrainment Maps, Charles A. Mainwaring

Theses

Bright Light Therapy has been shown to be efficacious to mood disorders including Major Depression. Researchers use the Jewett-Forger-Kronauer model of the circadian rhythm with the Unified Model of melatonin including a mathematical term implementing feedback from the melatonin system into the circadian system to quantify the effects of bright light. Early investigations into intrinsic period, light sensitivity, and the circadian pacemaker's sensitivity to blood melatonin concentration may be indicators of subsets of patients with long intrinsic periods exhibiting symptoms of depression.

Go to article

A Survey On Online Matching And Ad Allocation, Ryan Lee May 2023

A Survey On Online Matching And Ad Allocation, Ryan Lee

Theses

One of the classical problems in graph theory is matching. Given an undirected graph, find a matching which is a set of edges without common vertices. In 1990s, Richard Karp, Umesh Vazirani, and Vijay Vazirani would be the first computer scientists to use matchings for online algorithms [8]. In our domain, an online algorithm operates in the online setting where a bipartite graph is given. On one side of the graph there is a set of advertisers and on the other side we have a set of impressions. During the online phase, multiple impressions will arrive and the objective of …

Go to article

A Strong-Type Furstenberg–Sárközy Theorem For Sets Of Positive Measure, Polona Durcik, Vjekoslav Kovač, Mario Stipčić May 2023

A Strong-Type Furstenberg–Sárközy Theorem For Sets Of Positive Measure, Polona Durcik, Vjekoslav Kovač, Mario Stipčić

Mathematics, Physics, and Computer Science Faculty Articles and Research

For every β ∈ (0,∞), β ≠ 1, we prove that a positive measure subset A of the unit square contains a point (x0, y0) such that A nontrivially intersects curves y − y0 = a(x −x0)β for a whole interval I ⊆ (0,∞) of parameters a ∈ I . A classical Nikodym set counterexample prevents one to take β = 1, which is the case of straight lines. Moreover, for a planar set A of positive density, we show that the interval I can be arbitrarily large on the logarithmic scale. These results can …

Go to article

Complex-Valued Approach To Kuramoto-Like Oscillators, Jacqueline Bao Ngoc Doan May 2023

Complex-Valued Approach To Kuramoto-Like Oscillators, Jacqueline Bao Ngoc Doan

Electronic Thesis and Dissertation Repository

The Kuramoto Model (KM) is a nonlinear model widely used to model synchrony in a network of oscillators – from the synchrony of the flashing fireflies to the hand clapping in an auditorium. Recently, a modification of the KM (complex-valued KM) was introduced with an analytical solution expressed in terms of a matrix exponential, and consequentially, its eigensystem. Remarkably, the analytical KM and the original KM bear significant similarities, even with phase lag introduced, despite being determined by distinct systems. We found that this approach gives a geometric perspective of synchronization phenomena in terms of complex eigenmodes, which in turn …

Go to article

Decomposition Of Beatty And Complementary Sequences, Geremías Polanco May 2023

Decomposition Of Beatty And Complementary Sequences, Geremías Polanco

Mathematics Sciences: Faculty Publications

In this paper we express the difference of two complementary Beatty sequences, as the sum of two Beatty sequences closely related to them. In the process we introduce a new Algorithm that generalizes the well known Minimum Excluded algorithm and provides a method to generate combinatorially any pair of complementary Beatty sequences.

Go to article

Motion Planning Algorithm In A Y-Graph, David Baldi May 2023

Motion Planning Algorithm In A Y-Graph, David Baldi

Rose-Hulman Undergraduate Mathematics Journal

We present an explicit algorithm for two robots to move autonomously and without collisions on a track shaped like the letter Y. Configuration spaces are of practical relevance in designing safe control schemes for automated guided vehicles. The topological complexity of a configuration space is the minimal number of continuous instructions required to move robots between any initial configuration to any final one without collisions. Using techniques from topological robotics, we calculate the topological complexity of two robots moving on a Y-track and exhibit an optimal algorithm realizing this exact number of instructions given by the topological complexity.

Go to article

Δ-Small Intersection Graphs Of Modules, Ahmed H. Alwan May 2023

Δ-Small Intersection Graphs Of Modules, Ahmed H. Alwan

Al-Bahir Journal for Engineering and Pure Sciences

Let R be a commutative ring with unit and M be a unitary left R-module. The δ-small intersection graph of non-trivial submodules of , denoted by , is an undirected simple graph whose vertices are the non-trivial submodules of , and two vertices are adjacent if and only if their intersection is a -small submodule of . In this article, we study the interplay between the algebraic properties of , and the graph properties of such as connectivity, completeness and planarity. Moreover, we determine the exact values of the diameter and girth of , as well as give a formula …

Go to article

Using Deep Neural Networks To Classify Astronomical Images, Andrew D. Macpherson May 2023

Using Deep Neural Networks To Classify Astronomical Images, Andrew D. Macpherson

Honors Projects

As the quantity of astronomical data available continues to exceed the resources available for analysis, recent advances in artificial intelligence encourage the development of automated classification tools. This paper lays out a framework for constructing a deep neural network capable of classifying individual astronomical images by describing techniques to extract and label these objects from large images.

Go to article

Identifiability Of Phylogenetic Models, Thomas J. Yacovone May 2023

Identifiability Of Phylogenetic Models, Thomas J. Yacovone

Math and Computer Science Honors Theses

An algebraic statistical model is a parametrized family of probability distributions. Identifiability is a crucial property of a statistical model; when it holds, probability distributions in the model uniquely determine the parameters that produce them. In phylogenetics, models that are identifiable can be used to ascertain evolutionary relationships between species based on observed data, such as amino acid and DNA sequence data. However, global identifiability is a strong condition that may not always hold. A discrete parameter of a model is said to be generically identifiable if the set of probability distributions that do not uniquely determine the discrete parameter …

Go to article

Computing Brain Networks With Complex Dynamics, Anca R. Radulescu May 2023

Computing Brain Networks With Complex Dynamics, Anca R. Radulescu

Biology and Medicine Through Mathematics Conference

No abstract provided.

Go to article

Gap Junctions And Synchronization Clusters In The Thalamic Reticular Nuclei, Anca R. Radulescu, Michael Anderson May 2023

Gap Junctions And Synchronization Clusters In The Thalamic Reticular Nuclei, Anca R. Radulescu, Michael Anderson

Biology and Medicine Through Mathematics Conference

No abstract provided.

Go to article

Operators Induced By Certain Hypercomplex Systems, Daniel Alpay, Ilwoo Choo May 2023

Operators Induced By Certain Hypercomplex Systems, Daniel Alpay, Ilwoo Choo

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper, we consider a family {Ht}t∈R of rings of hypercomplex numbers, indexed by the real numbers, which contain both the quaternions and the split-quaternions. We consider natural Hilbert-space representations {(C2, πt)}t∈R of the hypercomplex system {Ht}t∈R, and study the realizations πt(h) of hypercomplex numbers h ∈ Ht, as (2 × 2)-matrices acting on C2, for an arbitrarily fixed scale t ∈ R. Algebraic, operator-theoretic, spectral-analytic, and free-probabilistic properties of them are considered.

Go to article

A Hörmander–Fock Space, Daniel Alpay, Fabrizio Colombo, Kamal Diki, Irene Sabadini, Daniele C. Struppa May 2023

A Hörmander–Fock Space, Daniel Alpay, Fabrizio Colombo, Kamal Diki, Irene Sabadini, Daniele C. Struppa

Mathematics, Physics, and Computer Science Faculty Articles and Research

In a recent paper we used a basic decomposition property of polyanalytic functions of order 2 in one complex variable to characterize solutions of the classical ∂-problem for given analytic and polyanalytic data. Our approach suggested the study of a special reproducing kernel Hilbert space that we call the Hörmander-Fock space that will be further investigated in this paper. The main properties of this space are encoded in a specific moment sequence denoted by η= (ηn)n≥0 leading to a special entire function E(z) that is used to express the kernel function of the Hörmander-Fock space. We …

Go to article

Effective Non-Hermiticity And Topology In Markovian Quadratic Bosonic Dynamics, Vincent Paul Flynn May 2023

Effective Non-Hermiticity And Topology In Markovian Quadratic Bosonic Dynamics, Vincent Paul Flynn

Dartmouth College Ph.D Dissertations

Recently, there has been an explosion of interest in re-imagining many-body quantum phenomena beyond equilibrium. One such effort has extended the symmetry-protected topological (SPT) phase classification of non-interacting fermions to driven and dissipative settings, uncovering novel topological phenomena that are not known to exist in equilibrium which may have wide-ranging applications in quantum science. Similar physics in non-interacting bosonic systems has remained elusive. Even at equilibrium, an "effective non-Hermiticity" intrinsic to bosonic Hamiltonians poses theoretical challenges. While this non-Hermiticity has been acknowledged, its implications have not been explored in-depth. Beyond this dynamical peculiarity, major roadblocks have arisen in the search …

Go to article

On Specifications Of Positive Data Models With Effectively Separable Kernels Of Algorithmic Representations, Nodira R. Karimova May 2023

On Specifications Of Positive Data Models With Effectively Separable Kernels Of Algorithmic Representations, Nodira R. Karimova

Bulletin of National University of Uzbekistan: Mathematics and Natural Sciences

It is established that any effectively separable multi-sorted positively representable model with an effectively separable representation kernel has an enrichment that is the only (up to isomorphism) model constructed from constants for a suitable computably enumerable set of sentences.

Go to article

Aging An Ancient Maya Population From Actuncan, Belize Using Dental X-Rays, Kaitlyn Nicole Cash May 2023

Aging An Ancient Maya Population From Actuncan, Belize Using Dental X-Rays, Kaitlyn Nicole Cash

Honors Theses

My goal is to determine an accurate age at death estimation of an ancient Maya population from the archaeological site of Actuncan, Belize. This was done by measuring the lengths of the coronal pulp cavities in the individuals’ teeth. I used X-Ray images to measure the coronal pulp cavities of the teeth and estimated age using multiple regression formulae for premolars, molars, and incisors to make age estimations. The formulae came from two studies, Ikeda et al. (1985) and Drusini (2008), that form the basis of my research. Ikeda et al. (1985) was the first to use this aging method, …

Go to article

Photonic Sensors Based On Integrated Ring Resonators, Jaime Da Silva May 2023

Photonic Sensors Based On Integrated Ring Resonators, Jaime Da Silva

Mechanical Engineering Research Theses and Dissertations

This thesis investigates the application of integrated ring resonators to different sensing applications. The sensors proposed here rely on the principle of optical whispering gallery mode (WGM) resonance shifts of the resonators. Three distinct sensing applications are investigated to demonstrate the concept: a photonic seismometer, an evanescent field sensor, and a zero-drift Doppler velocimeter. These concepts can be helpful in developing lightweight, compact, and highly sensitive sensors. Successful implementation of these sensors could potentially address sensing requirements for both space and Earth-bound applications. The feasibility of this class of sensors is assessed for seismic, proximity, and vibrational measurements.

Go to article

Modelling Illiquid Stocks Using Quantum Stochastic Calculus: Asymptotic Methods, Will Hicks May 2023

Modelling Illiquid Stocks Using Quantum Stochastic Calculus: Asymptotic Methods, Will Hicks

Journal of Stochastic Analysis

No abstract provided.

Go to article

Du Undergraduate Showcase: Research, Scholarship, And Creative Works, Caitlyn Aldersea, Justin Bravo, Sam Allen, Anna Block, Connor Block, Emma Buechler, Maria De Los Angeles Bustillos, Arianna Carlson, William Christensen, Olivia Kachulis, Noah Craver, Kate Dillon, Muskan Fatima, Angel Fernandes, Emma Finch, Colleen Cassidy, Amy Fishman, Andrea Francis, Stacia Fritz, Simran Gill, Emma Gries, Rylie Hansen, Shannon Powers, Jacqueline Martinez, Zachary Harker, Ashley Hasty, Mykaela Tanino-Springsteen, Kathleen Hopps, Adelaide Kerenick, Colin Kleckner, Ci Koehring, Elijah Kruger, Braden Krumholz, Maddie Leake, Lyneé Alves, Seraphina Loukas, Yatzari Lozano Vazquez, Haley Maki, Emily Martinez, Sierra Mckinney, Mykaela Tanino-Springsteen, Audrey Mitchell, Kipling Newman, Audrey Ng, Megan Lucyshyn, Andrew Nguyen, Stevie Ostman, Casandra Pearson, Alexandra Penney, Julia Gielczynski, Tyler Ball, Anna Rini, Christina Rorres, Simon Ruland, Helayna Schafer, Emma Sellers, Sarah Schuller, Claire Shaver, Kevin Summers, Isabella Shaw, Madison Sinar, Claudia Pena, Apshara Siwakoti, Carter Sorensen, Madi Sousa, Anna Sparling, Alexandra Revier, Brandon Thierry, Dylan Tyree, Maggie Williams, Lauren Wols May 2023

Du Undergraduate Showcase: Research, Scholarship, And Creative Works, Caitlyn Aldersea, Justin Bravo, Sam Allen, Anna Block, Connor Block, Emma Buechler, Maria De Los Angeles Bustillos, Arianna Carlson, William Christensen, Olivia Kachulis, Noah Craver, Kate Dillon, Muskan Fatima, Angel Fernandes, Emma Finch, Colleen Cassidy, Amy Fishman, Andrea Francis, Stacia Fritz, Simran Gill, Emma Gries, Rylie Hansen, Shannon Powers, Jacqueline Martinez, Zachary Harker, Ashley Hasty, Mykaela Tanino-Springsteen, Kathleen Hopps, Adelaide Kerenick, Colin Kleckner, Ci Koehring, Elijah Kruger, Braden Krumholz, Maddie Leake, Lyneé Alves, Seraphina Loukas, Yatzari Lozano Vazquez, Haley Maki, Emily Martinez, Sierra Mckinney, Mykaela Tanino-Springsteen, Audrey Mitchell, Kipling Newman, Audrey Ng, Megan Lucyshyn, Andrew Nguyen, Stevie Ostman, Casandra Pearson, Alexandra Penney, Julia Gielczynski, Tyler Ball, Anna Rini, Christina Rorres, Simon Ruland, Helayna Schafer, Emma Sellers, Sarah Schuller, Claire Shaver, Kevin Summers, Isabella Shaw, Madison Sinar, Claudia Pena, Apshara Siwakoti, Carter Sorensen, Madi Sousa, Anna Sparling, Alexandra Revier, Brandon Thierry, Dylan Tyree, Maggie Williams, Lauren Wols

DU Undergraduate Research Journal Archive

DU Undergraduate Showcase: Research, Scholarship, and Creative Works

Go to article

Errata: Continuous Lattices And Domains, Jimmie D. Lawson May 2023

Errata: Continuous Lattices And Domains, Jimmie D. Lawson

Seminar on Continuity in Semilattices

No abstract provided.

Go to article

Big Ideas In Sports Analytics And Statistical Tools For Their Investigation, Benjamin S. Baumer, Gregory J. Matthews, Quang Nguyen May 2023

Big Ideas In Sports Analytics And Statistical Tools For Their Investigation, Benjamin S. Baumer, Gregory J. Matthews, Quang Nguyen

Mathematics and Statistics: Faculty Publications and Other Works

Sports analytics—broadly defined as the pursuit of improvement in athletic performance through the analysis of data—has expanded its footprint both in the professional sports industry and in academia over the past 30 years. In this article, we connect four big ideas that are common across multiple sports: the expected value of a game state, win probability, measures of team strength, and the use of sports betting market data. For each, we explore both the shared similarities and individual idiosyncracies of analytical approaches in each sport. While our focus is on the concepts underlying each type of analysis, any implementation necessarily …

Go to article

An Application Of The Pagerank Algorithm To Ncaa Football Team Rankings, Morgan Majors May 2023

An Application Of The Pagerank Algorithm To Ncaa Football Team Rankings, Morgan Majors

Honors Theses

We investigate the use of Google’s PageRank algorithm to rank sports teams. The PageRank algorithm is used in web searches to return a list of the websites that are of most interest to the user. The structure of the NCAA FBS football schedule is used to construct a network with a similar structure to the world wide web. Parallels are drawn between pages that are linked in the world wide web with the results of a contest between two sports teams. The teams under consideration here are the members of the 2021 Football Bowl Subdivision. We achieve a total ordering …

Go to article

P-Adic Statistical Field Theory And Convolutional Deep Boltzmann Machines, Wilson A. Zuniga-Galindo, Cuiyu He, B. A. Zambrano-Luna May 2023

P-Adic Statistical Field Theory And Convolutional Deep Boltzmann Machines, Wilson A. Zuniga-Galindo, Cuiyu He, B. A. Zambrano-Luna

School of Mathematical and Statistical Sciences Faculty Publications and Presentations

Understanding how deep learning architectures work is a central scientific problem. Recently, a correspondence between neural networks (NNs) and Euclidean quantum field theories has been proposed. This work investigates this correspondence in the framework of p-adic statistical field theories (SFTs) and neural networks. In this case, the fields are real-valued functions defined on an infinite regular rooted tree with valence p, a fixed prime number. This infinite tree provides the topology for a continuous deep Boltzmann machine (DBM), which is identified with a statistical field theory on this infinite tree. In the p-adic framework, there is a …

Go to article

Movie Recommender System Using Matrix Factorization, Roland Fiagbe May 2023

Movie Recommender System Using Matrix Factorization, Roland Fiagbe

Data Science and Data Mining

Recommendation systems are a popular and beneficial field that can help people make informed decisions automatically. This technique assists users in selecting relevant information from an overwhelming amount of available data. When it comes to movie recommendations, two common methods are collaborative filtering, which compares similarities between users, and content-based filtering, which takes a user’s specific preferences into account. However, our study focuses on the collaborative filtering approach, specifically matrix factorization. Various similarity metrics are used to identify user similarities for recommendation purposes. Our project aims to predict movie ratings for unwatched movies using the MovieLens rating dataset. We developed …

Go to article

G-Coatomic Modules, Ahmed H. Alwan May 2023

G-Coatomic Modules, Ahmed H. Alwan

Al-Bahir Journal for Engineering and Pure Sciences

Let R be a ring and M be a right R-module. A submodule of is said to be g-small in , if for every submodule , with implies that . Then is a g-small submodule of . We call g-coatomic module whenever and then . Also, is called right (left) g-coatomic ring if the right (left) -module (R) is g-coatomic. In this work, we study g-coatomic modules and ring. We investigate some properties of these modules. We prove is g-coatomic if and only if each is g-coatomic. It is proved that if is a g-semiperfect ring with , then …

Go to article

Book Review Of Inside Mathforum.Org: Analysis Of An Internet Based Education Community., Jose Ponce May 2023

Book Review Of Inside Mathforum.Org: Analysis Of An Internet Based Education Community., Jose Ponce

School of Mathematical and Statistical Sciences Faculty Publications and Presentations

Inside Mathforum.org: Analysis of an Internet-Based Education Community, Wesley Shumar, Cambridge University Press, September 7, 2017, 1st Edition, 204 pages, ISBN: 9781108518345 (e-book).

Go to article

First Prev Next Last