Digital Commons Network^™

Computability Theoretic Aspects Of Profinite Groups And Models Of Presburger Arithmetic, Jason Block

Dissertations, Theses, and Capstone Projects

Profinite groups, which are exactly the Galois groups, are all either finite or uncountable. However, all second countable profinite groups can be presented as the set of paths through a countable tree. We use these tree presentations to find upper bounds on the complexity of the existential theories of profinite groups, as well as to prove sharpness for these bounds. These complexity results enable us to distinguish the class of profinite groups that are isomorphic to a direct product of finite groups, for which we find an upper bound on the complexity of the entire first order theory. Additionally, given …

How Argentina Won The 2022 Fifa Men's World Cup: A Data Story, Aniruddha Parthasarathy

Dissertations, Theses, and Capstone Projects

This project analyzes Argentina’s 2022 FIFA Men’s World Cup win using open-source football (soccer) data. The project evaluates the team’s performance at a micro-level across three domains: without possessing the ball, possessing the ball and the team’s in-game management tactics. A statistical framework, i.e., multiple linear regression modeling, was used to identify the five key defensive actions influencing the Argentinian team’s intensity of pressure applied, and visualized by heatmaps and time-segmented plots. More specifically, an Expected Threat (xT) analysis quantified the threat or danger from passes and progressive carries (moving the ball at least 10 meters), revealing that Lionel Messi’s …

Streaming Instabilities In Class 0/I Disks, Shirin Gul Zaidi

Dissertations, Theses, and Capstone Projects

While it is clear that planets form in protoplanetary disks, fragmentation and the radial drift of pebbles inhibit the growth of grains to planetesimals. To overcome these barriers, effective localized dust clumping on a short enough time scale is required. One promising solution to this problem is the streaming instability. Streaming instability is only triggered with a large enough dust-to-gas ratio and grain size. Though it is unknown when and where those conditions are met in protoplanetary disks, recent studies have indicated that planetary cores likely require early formation to match detected exoplanet system masses, so that we need to …

Parametrization Of Formal Norm Compatible Sequences, Joseph Dicapua

Dissertations, Theses, and Capstone Projects

We give a classification of power series parametrizing Lubin-Tate trace compatible sequences. This proof answers a question posed in the literature by Berger and Fourquaux. Lubin-Tate trace compatible sequences are a generalization of norm compatible sequences, which arise in Iwasawa theory and local class field theory. The result we prove generalizes the interpolation theorem proved by Coleman in the classical norm compatible sequence case. We also, jointly with Victor Kolyvagin, give a method for finding such series explicitly in certain special cases.

Glacial Lakes Segmentation Using Multispectral Remote Sensing Data And Deep Learning Models, Debankan Das

Master’s Dissertations

The identification and delineation of glacial lakes through segmentation is crucial for tracking glacial changes and evaluating potential dangers from sudden flood events (GLOFs). These floods can severely impact populated areas and man-made structures downstream. Recent advances in high-quality satellite imagery have sparked increased attention toward using advanced machine learning methods, particularly deep learning, to enable precise and automated glacial lake detection. In this study, we explore the effectiveness of deep learning-based pointwise semantic segmentation for glacial lake mapping using multisource remote sensing imagery, including both optical and synthetic aperture radar (SAR) data. We experiment with a novel stack combination …

Chemical Recycling Of Pet Plastic Waste, Charlie Parker, Benjamin Puga, Jake Verschoor

Materials Engineering

The growing accumulation of plastic waste, specifically polyethylene terephthalate (PET), has driven the need for more efficient and scalable chemical recycling methods. This study investigated the methanolysis of PET using zinc oxide (ZnO) nanoparticles as a catalyst and tetrabutylammonium chloride (NBu₄Cl) as an ionic liquid, aiming to reduce methanol consumption while achieving high PET conversion efficiency. ZnO nanoparticles were synthesized via wet chemistry and characterized using Dynamic Light Scattering (DLS), which showed an average particle size of 13.5 nm with a polydispersity index of 0.1556, indicating a moderately-high monodisperse distribution of particles sufficient for reactions. The main conversion product, dimethyl …

25 Conference Program - Polymer Reaction Engineering Xii, Ivan Konstantinov, Piet Iedema, Mike Grady

Polymer Reaction Engineering XII

No abstract provided.

Comparison Of Conventional And Neutrosophic Methods For Statistical Power Analysis And Effect Size In Clinical Research, Vennila J, Basker P, Kripa Josten, Prakash P, Keerthi Vijayan, Menaka B, Prabu G. Raja

Neutrosophic Sets and Systems

No abstract provided.

Analyzing Uncertainty And Hesitation In Refereeing Decision Using Neutrosophic Vague N-Soft Sets: A Case Study Of Officiating Ability Evaluation For National-Level Volleyball Referees, Haikui Zhou, Xiang Zhong

Neutrosophic Sets and Systems

No abstract provided.

Assessment Of China's Middle School Physical Education Academic Proficiency Examination Under The Background Of New Era Education Reform: Neutrosophic Archimedean T-Norm, Pengfei Luo

Neutrosophic Sets and Systems

No abstract provided.

Single Valued Complex Neutrosophic Set For Innovative Teaching Begins With Training: Evaluating The Success Of Faculty Edtech Programs, Liqing Wei

Neutrosophic Sets and Systems

No abstract provided.

Neutrosophic Sets And Systems, Vol. 83,2025, Florentin Smarandache, Mohamed Abdel-Basset, Maikel. Leyva Vazquez

Neutrosophic Sets and Systems

No abstract provided.

A Characterization Of Neutrosophic Σ Baire Space On Fuzzy Setting, E. Poongothai, E. Kalaivani

Neutrosophic Sets and Systems

No abstract provided.

Integrating High Throughput Phenotyping Approaches To Characterize Plant Traits And Support Nutrient Management Research, Katie J. Bathke

Department of Agricultural and Biological Systems Engineering: Dissertations, Theses, and Student Research

Over the past decade, considerable research has addressed the social, economic, and agronomic challenges posed by imbalanced nutrient applications, particularly nitrogen and, more recently, sulfur. In response, high throughput plant phenotyping, as one of the latest approaches, has contributed to the development of innovative techniques for assessing key plant phenotypes under stress over time in both field and greenhouse environments. However, there is a limited number of studies applying these techniques for nutrient management, particularly in scenarios where two abiotic stressors coexist, such as the combination of water stress and nitrogen deficiency, or concurrent nitrogen and sulfur deficiencies.

In chapter …

Long-Range Transport Of Canadian Wildfire Smoke: Public Health And Earth System Impacts, Erica L. Simon

Environmental Studies Senior Theses

In the summer of 2023, Canada experienced an unprecedented wildfire season with total burned area reaching 15 million hectares, doubling the previous record. Notably, smoke plumes from Eastern Canada were transported to the Northeast United States, resulting in record-breaking measures of poor air quality in early June 2023. This thesis employs a multi-method analysis to understand the June 2023 Quebec wildfires, focusing on atmospheric science, public health effects in New York City, and albedo changes on the Greenland ice sheet. Through this analysis, I find record-high monthly mean aerosol optical depth values in June 2023 in three regions– the Northeast …

Digital Resurrection Of Thonis-Heracleion: Technological Advances In Underwater Archaeology And A Speculative Ai-Driven Reconstruction Methodology, James Hutson, Passent Chahine

Faculty Scholarship

This article synthesizes past archaeological research on the submerged Egyptian city of Thonis-Heracleion, critically reviewing excavations and technological interventions deployed since its rediscovery by Franck Goddio and the IEASM team. Situated approximately 10 meters beneath Aboukir Bay near Alexandria, the city represents a significant nexus of Greek and Egyptian cultural heritage, vividly documented in classical sources such as Herodotus and Strabo. Prior excavations have recovered temple complexes, colossal statues, ritual artifacts, and an extensive array of ancient shipwrecks, mapping only a fraction of the extensive site. These investigations utilized pioneering geophysical methods, including multibeam sonar, side-scan sonar, and photogrammetry, establishing …

Coda: A Digital System For Generation Of Piano Practice Exercises From Symbolic Music Notation, Annie Tang

Computer Science Senior Theses

Effective practice remains one of the greatest challenges in music education, yet cur- rent digital music tools primarily support only passage engagement or surface-level feedback, failing to provide proactive guidance for overcoming technical challenges within piano repertoire. This thesis presents Coda, a digital system that generates custom piano practice exercises from symbolic music notation based on established piano pedagogy principles that have historically been taught orally.

Unlike existing tools that only provide a viewable symbolic music notation display or only an interface to take notes and record a practice session, Coda uses rule- based algorithmic transformations rooted in pedagogical logic …

A Toda Bracket Convergence Theorem For Multiplicative Spectral Sequences, Eva Belmont

Faculty Scholarship

Moss’ theorem, which relates Massey products in the -page of the classical Adams spectral sequence to Toda brackets of homotopy groups, is one of the main tools for calculating Adams differentials. Working in an arbitrary symmetric monoidal stable simplicial model category, we prove a general version of Moss’ theorem which applies to spectral sequences that arise from filtrations compatible with the monoidal structure. This involves the study of Massey products and Toda brackets in a non-strictly associative context. The theorem has broad applications, e.g., to the computation of the motivic slice spectral sequence and other colocalization towers.

Exploring The Impact Of Mitoquinone Supplementation On Glycan Profiles In A Repeated Mild Traumatic Brain Injury Mouse Model, Mona Goli, Akeem Sanni, Sakshi Gautam, Khalil Mallah, W. Brad Hubbard, Mohammad Reslan, Muhammad Ali Haidar, Karim Halabi, Joseph Walker, Stefania Mondello, Firas Kobeissy, Yehia Mechref

Physiology Faculty Publications

Traumatic brain injury (TBI) represents a significant cause of injury-related deaths and disabilities. Repeated exposure to mechanical impact can lead to metabolic and ionic imbalance, which can cause oxidative stress and worsen the cellular dysfunction initiated by the initial mild TBI (mTBI). Currently, no FDA-approved drug targets repeated mTBI (rmTBI) and its potential sequelae. Mitoquinone (MitoQ) is a mitochondrion-targeted drug that has proven beneficial in different brain-related diseases. We have previously demonstrated the neurotherapeutic effects of MitoQ at a 30-day chronic time point in a similar rmTBI mouse model, where we observed decreased neuroinflammation, enhanced behavioral outcomes, and diminished oxidation. …

Examining Shifts In Group-Based Motivations For Civil Conflicts In Libya, Michael D. Buhrmester, William B. Swann Jr., Brian Mcquinn, Alexis Everington, Layal Hafid, Harvey Whitehouse

New England Journal of Public Policy

This study examines shifting group alignments in Libya from 2011 to 2019, exploring their impact on continued conflict. Following up on our original research into group bonding among insurgents during the 2011 revolution, we conducted two surveys in Benghazi: first in 2015, during the aftermath of Operation Dignity, and again in 2019, as General Khalifa Haftar’s forces waged war against Tripoli. Our results show that the previously very strong group bonds with 2011 revolutionary fighters had dissipated by 2015, replaced by allegiance to Haftar’s militias. By 2019, this alignment extended to Haftar himself, reinforcing an “us versus them” mentality that …

Understanding The Impact Of Labs Unleashed, An Applied Math Program: Instructor Perceptions Of Student Motivation And Achievement, Christine S. Columb

All NMU Master's Theses

The purpose of this phenomenological qualitative study was to gain an understanding of the Labs Unleashed instructors' perceptions and experiences of student motivation and achievement in the applied math program. This study includes findings from five interviews with instructors of the 2024 Labs Unleashed Program. The following themes were revealed during the interviews:

1. Real-world relevance and applied learning were the drivers of student engagement and motivation.

2. The supportive environment cultivated confidence and helped to overcome learning barriers.

3. Seamless integration of classroom content and lab practice was essential.

4. The program structure and instructor approaches contributed to student success.

The results of …

Langlands Reciprocity And The Splitting Behavior Of Primes In Number Fields, Skip E. Moses

Master's Theses

This thesis explores the evolution of reciprocity laws in number theory in order to provide a conceptual bridge between the classical ideas of quadratic reciprocity and the modern framework of the Langlands program. We develop the necessary algebraic background to understand how the splitting behavior of primes in number fields reflects deep arithmetic structure in ℚ. Starting with quadratic fields and cyclotomic extensions, we motivate the development of the Kronecker–Weber theorem and the characterization of abelian extensions of ℚ. We then introduce Artin reciprocity and show how it generalizes quadratic reciprocity through the formalism of Frobenius elements and Artin L-functions. …

A Case Study Of Leveraging Auxiliary Data To Improve Treatment Effect Estimation Precision In An Hiv Clinical Trial, Lana Mai Huynh

Master's Theses

Randomized controlled trials (RCTs) are typically the gold standard for evaluating treatment efficacy in the medical field, yet they can have small sample sizes due to logistical, ethical, and financial constraints. This limitation can result in imprecise treatment effect estimates. Recent methods have sought to enhance the precision of RCT estimates by incorporating information from large, observational, “auxiliary” datasets. An auxiliary dataset includes units that were not randomized in the trial itself, but may be similar to the RCT sample. By leveraging predictive models trained on these auxiliary data, researchers can adjust for potentially more powerful covariates, thereby reducing variance …

Catalyzed Chemical Recycling Of Poly(Ethylene Terephthalate) For Enhanced Sustainability, Gilberto J. Hernandez-Leypon Jr.

Master's Theses

Plastics are ubiquitous in the production of consumer and industrial products; their chemical stability, low cost of production, and performance versatility make them the best option for many industries. Their inherent benefits, specifically durability, is the basis for the negative environmental impact of polymers. Improper containment of endof-life polymer products causes unintentional migration into the environment. The monomers for many common polymer types are also fossil fuel based further increasing the environmental impact of the plastic lifecycle. Recycling is a possible method of closing the loop of the plastic lifecycle. Currently most recycling is physical, thermally reprocessing used plastics into …

University Leadership, Singapore Management University

Asian Management Insights

The future belongs to institutions that advance impact and prepare minds for lifelong learning. An interview with Dr Andrew Hamilton, President Emeritus of New York University and former Vice-Chancellor of Oxford University.

Building Confidence, Building Careers: An Industry-Informed Evaluation Of A High School Aec Camp, Madisen Berube

Construction Management

This study assesses the effectiveness of the Girls Build Summer Academy, an architecture, engineering, and construction (AEC) summer camp for high school girls, and similar programs by gathering and analyzing feedback from industry professionals. The research aims to identify which program elements most successfully inspire interest and build foundational skills for young women considering careers in architecture, engineering, and construction. An anonymous survey was distributed to AEC professionals, some who were familiar with the program. The survey included multiple choice, rankings, and open-ended questions to evaluate areas for improvement and future curriculum development. Findings revealed strong support for interactive learning …

The Right To Exit Religion, Zalman Rothschild

Articles

This Article argues that just over fifty years ago, in Wisconsin v. Yoder, the Supreme Court recognized what might be called a right to exit religion. In this decision, the Court expressed appreciation for preserving insular religious communities, while simultaneously articulating the principle that accommodations for such communities must not unduly restrict community members’ ability to exit should they wish to do so. Yet courts and scholars have largely overlooked Yoder’s recognition of a right to exit religion. To make this “right” more concrete, the Article examines impediments to it through a case study of one large insular religious community—the …

Multi-Point And Multi-Station Orbit Propagation For Non-Functional Drifting Geo Satellites, Hritik Mitra

Theses

Currently, there are thousands of man-made space objects that are orbiting the Earth. These satellites serve a host of essential purposes (scientific research, technical applications, services) and they are all required to remain within their mission parameters. Most critical for them is to maintain the orbital parameters that are specified to achieve a particular mission’s objectives. If a satellite deviates beyond a certain limit, there is not only a risk of mission failure but there is a major hazard for possible collisions with other objects such as active satellites, space debris and even natural objects in some cases. There is …

Measurement And Improvement Of Photon Identification Efficiencies Using Machine Learning Techniques In The Atlas Detector At The Lhc, Abdulla Esam Mahboub

Theses

Photons play a crucial role in numerous analyses at the Large Hadron Collider (LHC), particularly in studies like the Higgs boson decay to two photons. Precise photon identification is essential for enhancing the sensitivity and accuracy of such measurements. This thesis focuses on the development of a machine learning (ML)-based photon identification algorithm to improve the photon identification efficiency within the ATLAS detector, using a Deep Neural Network (DNN) approach. The primary goal is to boost photon identification efficiency by using advanced neural network techniques. Traditional photon identification relies on cuts applied to shower shape variables, which can limit the …

Advancing Fake News Detection With Graph Neural Network And Deep Learning, Haji Gul, Feras Al-Obeidat, Muhammad Wasim, Adnan Amin, Fernando Moreira

All Works

In the modern era of digital technology, the rapid distribution of news via social media platforms substantially contributes to the propagation of false information, presenting challenges in upholding the accuracy and reliability of information. This study presents an updated approach that utilizes graph neural networks (GNNs) alongside with advanced deep learning techniques to improve the identification of false information. In contrast to traditional approaches that primarily rely on analyzing text and assessing the credibility of sources, our methodology utilizes the structural information of news propagation networks. This allows for a detailed comprehension of the interconnections and patterns that are indicative …