Digital Commons Network^™

(((Qpie33))) Unified Resonance Llm Vs Sapiens Llm Linear Logic, Teddy Burroughs

Defensive Publications Series

Deconstruction I: The Fallacy of the Passive Instrument and the Catch-22 of Reductionist Verification

The primary contention of the legacy critique is anchored in a familiar defense mechanism: “The simulations and outputs shown are not empirical demonstrations of new physics… they are generated by equations chosen in the code itself—not measured from physical quantum hardware experiments.”

This argument appears, at first glance, to be the very model of scientific sobriety. It wears the mask of empirical rigor. However, when we apply a surgical phase-space analysis to this statement, we expose a foundational logical contradiction—an institutional catch-22 designed to keep the …

Decentralized Additive Synthesis Orchestra Governed By Biometric Phase Fields For Collective Acoustic Entrainment, Frédéric Renault

Defensive Publications Series

This disclosure describes a method for procedural acoustic entrainment and generative multi-user music synthesis in which the oscillators of discrete mobile devices are governed by continuous scalar phase fields derived from immutable biometric birth ephemeris. Each device acts as one voice in a decentralized additive synthesizer: the fundamental frequency, waveform timbre, and rhythmic LFO rate are determined by the user's biometric personal data (biological frequency ω_bio, biological polarity, and Maya Tzolkin galactic tone), while the harmonic relationships between simultaneously audible voices are determined by the pairwise resonance metric k = 1/(1 + |sin(Δφ)|) computed from the phase difference between users' …

Tzolkin Kin-Based Oracle Matrices Combined With Phase Interference Metrics For Decentralized Social Coordination, Frédéric Renault

Defensive Publications Series

This disclosure describes a social coordination system combining a mathematical projection of the Maya Tzolkin calendar (260-day cycle, 20 seals × 13 tones) with a continuous wave-phase interference metric for peer-to-peer social matching in decentralized networks without centralized social graphs.

The Kin computation uses a 52-year modulo lookup mechanism (KIN_MESES monthly offset array + KIN_SUMA 52-year cycle dictionary) rather than standard Julian Day conversions, providing a computationally efficient and offset-correctable mapping from Gregorian dates to Tzolkin Kin numbers.

The resonance metric `k = 1 / (1 + |sin(Δφ)|)` operates on personal phase values φ_i derived from birth ephemeris. Critically, the …

4d Opaque Hexagonal Geo-Addressing Scheme Using Dynamic Goldberg Polyhedra And Chinese Remainder Theorem Encoding, Frédéric Renault

Defensive Publications Series

This disclosure describes a compact, opaque geographic addressing format ("a4l:") for hexagonal cells of a Goldberg polyhedron tessellation of the Earth's surface. Unlike static geographic grids, this framework applies a continuous temporal rotation (precession) to the tessellation lattice using the Golden Ratio (φ = 1.6180339...) as the rotation period divisor, creating a 4-dimensional address (spatial + temporal) that cannot be decoded without knowledge of the exact Unix timestamp at event creation.

Format: `a4l:PH` where PP = pentagon identifier (00-11), QQQQ/RRRR = axial hex coordinates offset-encoded as 16-bit unsigned hexadecimal values.

The dynamic grid makes the addressing scheme privacy-preserving by design: …

Deterministic Personal Phase Computation From Birth Ephemeris Data For Social Resonance Matching, Frédéric Renault

Defensive Publications Series

This disclosure describes a method for computing a deterministic personal phase value φ_i from birth data (date, time, geographic coordinates) without storing biometric information centrally.

Formula: φ_i = fmod(T_birth_UTC, T_year) / T_year × 2π + (lon_birth / 360) × T_day + Δφ_pentagon

Where T_year = 365.25636 × 86400 s (sidereal year), T_day = 86400 s, and Δφ_pentagon is an offset derived from the nearest pentagonal node of a Goldberg polyhedron GP(n,m) tessellation of the Earth (12 nodes at icosahedral symmetry axes).

A pairwise resonance metric k = 1 / (1 + |sin(φ_i − φ_j)|) measures harmonic alignment between two individuals, …

Biologically Informed Negative Samplingfor Antibody Chain Pairing Classification, Ishita Singh

Computer Science Senior Theses

Antibody heavy and light chain (H/L) pairing is fundamental to antigen recognition and stability. While single-cell sequencing preserves native pairing information, widely used bulk repertoire and spatial transcriptomics platforms do not, motivating the need for efficient ML methods to infer H/L pairing. Training a binary classifier for this task faces the methodological challenge of a lack of true biological negatives, since natural selection eliminates B cells with incompatible H/L pairs.

In this thesis, I introduce a biologically informed negative sampling strategy for H/L pairing classification, drawing on known V-gene biases in heavy and light chain pairing. Pseudo-negatives are constructed by …

Mimic: A Multimodal Dataset For Affective Incongruity In Video, Ethan M. Baird

Computer Science Senior Theses

This thesis investigates the computational challenges of constructing a database for affective incongruity, exploring the difficulties in automating the collection of contradictory affective states. Capturing these incongruities is essential for advancing Vision-Language Models (VLMs) and sentiment analysis, which struggle to interpret signals deviating from basic emotional archetypes. Curating non-congruent affect provides the data necessary for models to navigate complex social contexts, which is critical for applications like automated Audio Description (AD) for the visually impaired and nuanced Human-Computer Interaction (HCI). To capture these signals, two distinct methodologies were employed. The first utilized a tripartite decomposition of video data, isolating textual, …

Representing Lean Proofs: Tactics, Trajectories, Search, Elisaveta Samoylov

Computer Science Senior Theses

In neural theorem proving for interactive proof assistants such as Lean, tactic prediction models score proof steps by surface likelihood, missing whether a move actually advances the proof. This thesis proposes representing each step by the symbolic edit it induces on the proof state rather than by its token-level surface form, and shows that this effect-grounded view yields better tactic embeddings, reveals structured geometry in complete proofs, and enables a practical proof search prior.

We introduce Delta Tokens — token-level state edits augmented with structural indicators — and show they outperform surface-only representations on tactic retrieval and operator-analogy benchmarks. Embedding …

Values Driven Priming: Engaging Ai With Reflective, Purposeful Interaction, Carrie Fry, V. Dozier, Amanda Makula

Copley Library: Faculty Scholarship

This librarian-led immersive session seeks to set the human at the center of Generative AI use, beginning by exploring the themes and connections between the foundations of Catholic higher education and the integration of emerging technologies, and then moving to a practical exploration of how the tools can be primed to give outputs that reflect those values.

Librarians are uniquely positioned in AI discussions because of our background in information literacy, and our training in the evaluation of data including provenance of data, reducing misinformation, and bias awareness. Librarians are also interdisciplinary mediators with cross-curricular reach, and connections with student …

A Global Internal Tide Modeling Framework For Improving Satellite Observations Of Fine-Scale Ocean Circulation, Badarvada Yadidya, Brian K. Arbic, Edward D. Zaron, Jay F. Shriver, Maarten C. Buijsman, Eric P. Chassignet, Loren Carrère, Michel Tchilibou

Faculty Publications

Small-scale oceanic eddies and filaments mediate the vertical exchange of heat and carbon within the global ocean. The Surface Water and Ocean Topography (SWOT) mission resolves these features through wide-swath interferometry, but internal tides often mask these observations. Non–phase-locked internal tides present special difficulty because they vary with the evolving ocean background. We show that this chaotic variability can be predicted. We use a data-assimilative ocean forecast model to resolve the mesoscale environment and separate tidal signals from the broader circulation. The model captures the organized structure of these incoherent waves in the independent SWOT measurements. Correcting for the total …

Wheelless Snake-Like Robot For Unknown Environment Exploration, Anastasiia Statcenko, Gwyn Anawalt, Eden Steinbeck

Interdisciplinary Design Senior Theses

This project focuses on creating a locomotive device that is capable of movement without relying on active wheels. This kind of system is essential to exploration in rough terrains where wheel-based motion proves to be ineffective. Drawing inspiration from the natural movement of snakes- the animal most successful in traversing difficult and diverse environments- we will develop a modular snake-like robotic prototype. Our modular design will allow for simplified maintenance, easy component replacement, and opportunity for further development and research.

Our approach will integrate electronic circuits, obstacle awareness via live camera feed, and locomotion control programmed via serial protocols on …

Ai, Translation, And Telling The Truth, David I. Smith

University Faculty Publications and Creative Works

I am working on a large translation project this year. I have been surprised to find several conversation partners voicing the assumption that I am getting AI to do the translating for me. I’ve been wondering how to respond.

A short, but in the end inadequate answer is that, impressive as the current variations on machine translation are, they still get things wrong. Neural machine translation services such as Google Translate and DeepL still produce oddities fairly regularly. I have been working lately with seventeenth-century Czech texts, an area in which I would expect machine translation to struggle a little …

Llzk-Symex: Building A Circuit Verification Framework For The Llzk Zero-Knowledge Intermediate Language, Nicolás Iair Schaievitch

Computer Science Senior Theses

The rising adoption of ZK (Zero-Knowledge) technology has led to a plethora of DSLs (Domain Specific Languages) for facilitating the development of ZK circuits. At the same time, there has also been an increase in the number of compilation targets for these languages, with different cryptographic foundations and performance optimizations. LLZK, by Veridise, aims to unify the ecosystem by providing a single IR (Intermediate Representation) for the different frontend DSLs, that would then also allow choosing between different backends. Given the high stakes (particularly financial) that a lot of ZK circuits are under, together with their high level of complexity, …

Capturing Large Language Model Similarity Through Spectral Analysis, Ishan Verma Prasad

Computer Science Senior Theses

With the rapid development of open-sourced models on Huggingface, there is a strong need for a way to systematically determine the similarity between models. More strongly, for intellectual property and organization, we need a way to determine the "lineage" of models. We borrow principles from Heavy-Tailed Self-Regularization and Random Matrix Theory to provide an inference-free method to accomplish this. We cluster a corpus of several model families by their spectral fingerprints and demonstrate that each model family occupies a distinct region in weight space. This confirms prior ideas of training setups leaving artifacts on model weights and allows us to …

Knockout Tournaments: An Investigation Of Stability, Isabelle Han

Computer Science Senior Theses

Knockout (or single game elimination) tournaments are a competition format widely used to determine a single winner from a pool of participants. However, the seeding, or the initial pairings set by the organizers of the tournament, can dramatically change each participant's probability of winning. This paper introduces stability as a property of tournaments. More specifically, a tournament is stable if no pair of players can be found such that they both wish to swap initial positions. This property is adapted from prior work on stable matchings and is therefore a well-defined structural property.

We investigate three theoretical questions on the …

Reliability-Aware Mixture-Of-Agents For Robust Ai-Generated Image Detection, Jake Jump, Yu-Wing Tai

Computer Science Senior Theses

Detecting AI-generated images requires reasoning across multiple levels of evidence, ranging from low-level statistical artifacts to high-level semantic inconsistencies. Existing approaches typically rely on a single class of signals or emphasize complex multi-agent coordination, which limits robustness under distribution shifts and common image degradations. We propose a reliability-aware Mixture-of-Agents (MoA) framework that treats Vision-Language Model (VLM) agents and computational features as complementary experts and aggregates their predictions based on empirically calibrated reliability. Rather than relying on intricate inter-agent reasoning, our approach centers on structured aggregation: high-precision “anchor” agents drive predictions, while weaker but complementary signals are adaptively incorporated to resolve …

Dancing For The People: A Culturally Grounded Learning-To-Rank Framework For Powwow Dance Evaluation, Avery C. Sutherland

Computer Science Senior Theses

Powwow dance is a form of Indigenous expression that combines movement, storytelling, regalia, and community values. Within competition powwows, dancers are evaluated through a highly subjective judging process that often lacks standardized criteria, creating challenges for consistency, transparency, and fairness. This work investigates whether a learning-to-rank framework can model subjective powwow dance preferences while remaining grounded in the cultural context of the practice. To support this research, a new dataset was constructed consisting of 19 Women's Fancy Shawl dancer profiles and 236 pairwise preference labels collected from experienced members of the powwow community. Each dancer profile combines textual descriptions, images, …

Rscore - A Tool For Learning And Quantifying Software Infrastructure Resiliency, Selena Yujia Zhou

Computer Science Senior Theses

As LLMs take over writing code, infrastructure resilience has become the central challenge of software development, especially for gaming applications, where latency, availability, and scale demands are extreme. However, holistic software infrastructure is difficult to understand for casual developers because of the multiple layers of abstraction that make up an application, and the lack of structured information from proprietary companies. This thesis explores the creation of rscore, a tool that quantifies software infrastructure resiliency and subsequently educates developers about the architecture of any existing gaming application. The tool generates two graphical models of a game’s early versus current infrastructure and …

Formation Control Of A Multi-Agent System, Benjamin Banh, Paul Lancaster, Daniel Sims

Interdisciplinary Design Senior Theses

The primary objective of this project is to design and implement a ROS2-based multi-agent robotic prototype capable of demonstrating aggregation and formation-control behavior in a controlled indoor environment. The project explores how multiple mobile robots can coordinate through decentralized interaction rules, peer state information, and namespaced ROS2 communication rather than relying on a single centralized controller.

The project began with theoretical study and MATLAB/Simulink simulation of artificial potential fields, singleintegrator dynamics, aggregation, desired-distance formation control, and obstacle-repulsion concepts. These simulations provided an idealized environment for evaluating the general behavior of the control strategy before physical hardware limitations were introduced.

The …

Secretary United States Department Of Labor V. Comprehensive Healthcare Management Services Llc

2026 Decisions

USDC for the Western District of Pennsylvania

Holistic Strategies For Optimizing Municipal It Operations And Cost Efficiency, Joseph Yazdanpanahi

Certified Public Manager® Applied Research

Municipalities work to deliver secure and impactful IT (information technology) services while often working within tight budget constraints. To address this problem, this article offers an experience-based and comprehensive framework to optimize municipal IT operations. It emphasizes leveraging automation, streamlining hardware and software management, and forging strategic partnerships to drive cost savings and efficiency gains. Designed to equip municipal IT leaders with practical tools and insights, this article aims to help modernize IT processes.

Residential Ai Data Centers: Security, Privacy, And Governance Concerns, Alan Saquella

Publications

The concept of placing mini data centers and distributed AI computer nodes inside residential homes may appear innovative from an energy efficiency perspective, but it introduces significant security, privacy, governance, and liability concerns. What is effectively occurring is the expansion of commercial and potentially critical infrastructure into lightly protected residential environments.

Once a residence becomes part of a distributed computer grid supporting hyper-scalers, AI providers, or enterprise workloads, the home is no longer simply a private residence. It becomes a commercial technology asset, a potential cyber target, and even a physical target. A distributed network of thousands of residential nodes …

Why Gödel Believed In The Afterlife, Alexander Englert

Philosophy Faculty Publications

Despite some renewed interest in Gödel’s thought beyond his logical and mathematical contributions, his philosophy of religion remains sorely understudied. In this paper, I present a thorough examination of Gödel’s reasons for believing in an

afterlife based on evidence from his notebooks and collected papers. Along the way, I explore important tenets of his philosophical thought more broadly, such as his notion of essence, his views on the essence of human beings, the nature of learning, as well as the sort of afterlife that Gödel conceived as the most rational. The result of the study is a picture of his …

A Provable Semi-Infinite Programming Approach For Solving Constrained Dynamic Games, Tyler C. Gardner, Matthew W. Harris, Logan Lancaster

Mechanical and Aerospace Engineering Student Publications and Presentations

Many engineering problems must account for the non-cooperative decisions and actions of multiple players. These problems can be modeled within a game-theoretic framework. The approach herein is to model such problems as mathematical games, convert them to semi-infinite programs, and utilize a semi-infinite program solver whose output is provably an ϵ-optimal Nash equilibrium. The approach is successfully benchmarked on two low-dimensional problems. Two types of higher-dimensional linear quadratic dynamic games are then investigated: ones where each player’s problem is convex and ones where at least one player’s problem is nonconvex. Within each type, variations based on information structure, control …

Bilingual Math For Kindergartners (Biki), Anna Aldrin, Caroline Tapia, Lillian Le

Computer Science and Engineering Senior Theses

For many children from bilingual households, kindergarten represents a critical, learning benchmark where the introduction of fundamental math concepts coincides with their first significant exposure to the English language. Traditional educational methods often fail to support English language learners, leading to a disconnect between their understanding of math in the home and its application in the classroom. This linguistic barrier frequently results in reduced engagement, diminished confidence, and an unstable educational foundation that can discourage students from pursuing STEM careers later in life. While existing platforms like Khan Academy and Duolingo address either language acquisition or mathematical proficiency independently, they …

Dual Language Immersion In Utah Schools: Examining Experiences And Access To Improve Sustainability, Melissa Catherine Jensen Kimball

Theses and Dissertations

Dual language immersion (DLI) programs can impact students in many ways. Multiple researchers have studied the effects of these programs and have found numerous benefits. However, there is little published information on the actual experiences of individuals in schools with a DLI program, including those who are involved in the program and those who were a part of DLI school communities but not directly involved in the program. A. Hawks, J. Rowley, D. Stovall, and their respective thesis and dissertation committees created a survey to better understand the current perspectives of administrators, parents, teachers, and other school staff on these …

Winddensity-Mbir: Model-Based Iterative Reconstruction For Wind Tunnel 3d Density Estimation, Karl J. Weisenburger, Gregery T. Buzzard, Charles A. Bouman, Matthew R. Kemnetz

Faculty Publications

Experimentalists often use wind tunnels to study aerodynamic turbulence, but most wind tunnel imaging techniques are limited in their ability to take non-invasive three-dimensional (3D) density measurements of turbulence. Wavefront tomography is a technique that uses multiple wavefront measurements from various viewing angles to non-invasively measure the 3D density field of a turbulent medium. Existing methods make strong assumptions, such as a spline basis representation, to address the ill-conditioned nature of this problem. We formulate this problem as a Bayesian, sparse-view tomographic reconstruction problem and develop a model-based iterative reconstruction algorithm for measuring the volumetric 3D density field inside a …

A Comprehensive Survey Of Artificial Intelligence Applications In Predicting Mining-Induced Subsidence, Deformation, And Landslides: Strengths, Limitations, And Future Trends, Long Quoc Nguyen, Dung Ba Nguyen, Minh Tuyet Dang

Journal of Sustainable Mining

Mining activities often cause mining-induced ground deformation, including subsidence and landslides, and related geo-environmental impacts, posing significant risks to infrastructure and safety. This study conducts a systematic assessment to identify, categorize, and evaluate AI-based methods (machine learning, deep learning, and hybrid models) for predicting and monitoring mining-induced ground deformation. The literature search was performed across major scientific databases, using predefined keywords and selection criteria, resulting in a final dataset of relevant peer-reviewed studies. The reviewed works were classified into three methodological groups: traditional machine learning, deep learning-based approaches, and hybrid methods. The results show that ML still dominates in terms …

On The Fractional Laplacian Type Operator, Maysam Abdulnaser Zain

Thesis/ Dissertation Defenses

In this thesis, we study analytical structures arising from Dunkl theory and their applications to harmonic analysis and fractional Laplacian operators. Dunkl operators are differential-difference operators associated with finite reflection groups, providing a natural generalization of the classical Fourier analysis through the introduction of root systems and multiplicity functions. Within this framework, several classical transforms appear as special cases of the (k,a)-generalized Fourier transform. We study the generalized Fourier transform, its kernel, and the associated translation operator and convolution structures. Using these tools, we construct the corresponding heat kernel and analyze the associated heat semigroup. Our main contribution concerns the …

Structure-Property Relationship In Low-Dimensional Cesium Metal Halides: Coordination Chemistry, Luminescent Mechanism And Optoelectronics Applications, Sheikh Jobe

Thesis/ Dissertation Defenses

Low-dimensional metal halides are gaining popularity in optoelectronic applications owing to their interesting optical properties and structural diversity. In general, low-dimensional metal halides refer to one-dimensional and zero-dimensional structures. The main difference between the two is that one-dimensional structures have chain-like connectivity, whereas zero-dimensional structures consist of isolated units. Their optical properties are mainly determined by the B-site metal ion, which is coordinated to halide ions in trigonal, tetrahedral, or octahedral geometry. In particular, copper (I) and manganese (II) metal halides are emerging as novel materials for solid-state lighting, and anti-counterfeiting applications. The two well-known phases of cesium copper (I) …