Combinatorial-Geometric Properties of Proof Spaces of Structures in Universal Algebra

Jiaxuan (Carson) Chen

Encrypting, Decrypting and Breaking Cellular Automata–Based Stream Ciphers

Morgan Bergstrom

Mapping Structure-Activity Relationships and Shape Similarity in CYP11B1 Inhibitors

Saketh Lingisetty

Group Schemes over Finite Rings as Approximations to Lie Groups

Henry Lewis

Pinball Machine Mechanics and Peg Position Optimization

Isabelle Archer

Modeling and Exploring Adaptive Evolution with Register Machines

Mason Pinkerton

Utilizing Computational Geometry and Electrostatics to Optimize the Equiprobability of Dice

Ivy Liu

The Topology of Pentagon Aggregation and Resultant Void Spaces

James Butterfield

Analyzing Properties and Behaviors of S Family Nestedly Recursive Functions

Gracelyn Chen

A Model of Economic Trade Using Cellular Automata

Lucas Fugate

Searching for Periodicity in Vertical Center Columns of Cellular Automata

Aania Mir

Modeling Energy Loss in a Bent Fiber-Optic Cable and Energy Transfer by Evanescent Coupling

Conrad Hostetler

Finite Element Analysis of TPMS Heat Exchanger Geometries

Nolan Arias

Analyzing an Extended Schelling Segregation Model

Theo Archer

Constructing a Combinatorial Glycan Isomer Calculator for GXM in Cryptococcus neoformans

Annabella Koo

A Novel Approach for Recovering Curvature of Smooth Surfaces in 3D from Graph Approximation

Winston Garcia

Charting Alien Skies

Grace Tijo

Modeling Formation of River Deltas Using Cellular Automata

Lukas Tsui

Modelling the Movement of Modular Robots Using Multiway Graphs

Fiza Mehfil

Modeling Neural Firing Using Cellular Automata

Minghao Guo

Computational Glycan Mapping for Down Syndrome–Associated IgG Glycosylation

Aashrith Tatineni

Simulate Circadian Rhythm Cycles for Unusual Sleep Schedules

Jolie Nguyen

Modeling Quantum Noise Channels Using Lindbladian Dynamics

Samarth Sharma

Analyzing Secondary Structural Propensities in Hemoglobin through Ternary Graphing

Misshka Sidhwani

Evolutionary Generation of Error-Correcting Codes

Rihaan Shah

Exploring the Placements of Colored Chess Pieces across an Infinite Spiral Chessboard

Christoffer Lamtan

Modeling Immune Tolerance: Simulating Antibody Selection and Autoimmune Disease

Shrika Aluru

Simulating Heat Distribution and Layout Optimization in a Server Farm

Shaivi Koul

Hopfield Networks—A Model of the Brain's Associative Memory and Progressive Degradation

Deepac Ganesan

Optimizing Rentable Bike Stations in Urban Environments

Jason Yao

The Stag Hunt: What Conditions Allow Groups to Reach the Better Consensus

Acadia Holve

Spectral Universality of Deficit-Angle Curvature in Regge Laplace–Beltrami Geometry

Arnav Mittal

Using Context-Free Grammars and Multiway Systems to Analyze the Ambiguity of Latin Syntax

Smriti Siva

Range of Motion during Disk Desiccation and Spinal Arthrodesis Using Lagrangian Mechanics

Ahaan Gupta

Examining Historical Country Overlap and Contested Regions

Suzette Head

Kinematic Analysis and Link-Length Optimization of Planar Robotic Manipulators

Shashank Bhasin

Modeling Lumbar Spine Posture and Scoliotic Deformation with Proprioceptive Feedback

Sophia Ling

Characterizing the Hypothesis and Weight Spaces of Grid Neural Networks

Jason Tae

Modeling Dosing Regimens with Pharmacokinetic Models for Personalized Glibenclamide Therapy

Sreeja Appala

Exploring Chaotic Dynamics in the Three-Body System with Focus on the Center Mass

Akilan Pandian

Analyzing Strategic Voting in Multi-issue Borda Count Elections

Ava Lin

Analysing the Rotational Kinetic Chain of a Cross Punch

Nicholas Zhan

An Algorithm for the Placement of a Self-Balancing Prehensile Tail on a Leaning Mass

Samvi Raj

Spatial and Temporal Patterns of Artificial Satellites around Earth

Hema Ganjikunta

Analyzing the Effects of Molecular Structure on Chemical Toxicity

Aris Tsai

Optimizing Photovoltaic Solar Panel Arrangement on Irregularly Shaped Roofs

Ellie Lee

Optimizing 3D Geometry for a Universal Antibody

Donghyeon Kim

Properties of Discrete Balls in Lattices and Grids

Pedro Jasso

Evaluating the Association between Export Diversification and Economic Development

Jacob Chung

Generalization of Turing Machines to Abstract Graphs

Aadi Chakraborty

Investigating Cognitive Interference Using a Wolfram Language Stroop Test

Vedika Gautam

Exploring the Effects of Payoffs on Games between Programs

William Xiao

Weaving Qubits: Adaptive Synthesis of Quantum State-Preparation Circuits

Atharv Jha

Recursively Constructing and Analyzing Dendritic Polymers

Ananya Hariprasad

Computational Characterization of Ideal Auxeticity in Anisotropic Kinematic Network

Saanvi Raghavendran

The View from a Relativistic Laser Sail

Isabelle Zhen

Accelerating Adiabatic Quantum Algorithms on Grover's Search with Counterdiabatic Driving

Atharv Kanchi

A Computational Approach to Unfolding of Orthogonal Polyhedra

Naren Pai

Investigating Shifting Monarch Butterfly Migratory Patterns

Ava Fan

Analyzing Residue Structure, Cycle Bounds and Arithmetic Closure in Collatz-Type Maps

Brandon Kong

Evolving Consensus in Cellular Automata Behavior

Rachel Dai

Games between Programs: Determining the Best Strategy

Nupur Layak

Metropolis–Hastings Simulations of the Ising Model: Ferromagnetism and Phase Transitions

Nikhil Srinivasan

Optimizing Eddington's Eclipse

Natalie Krip

A Finite Element Study of Modal Interaction between Successive Strikes on a Djembe Membrane

Tanish Kulkarni

Calculating Orbit-Specific Doses of Space-Based Trapped Radiation for Astronaut Protection

Eva Estrada

A Cellular Automata Model of Stigmergic Agent Swarms

Aarav Gupta

Creating Models of Acoustical Properties in Varying Architectural Spaces

Estella Gu

Building Cyclohexane Ribbons and Macrocycles

Aaron Fan

Exploring Spaghettification around Black Holes

Aanya Sinha

Computational Enumeration of Phi Cubed Feynman Diagrams

Ekagra Fuloria

Matrix-Based Modeling of Particle Beam Transport

Aikumis Olzhas

Implementing Ancient Musical Systems

Aahana Gupta

Simulating 3 vs. 3 Basketball on a 2D Point Graph to Find and Create Optimal Strategies

Gustavo Lievano-Gomez

Formation of Binary Star Systems

Katya Singh

Developing a Lexical Diagnostic Tool and Examining Correlations with Neurological Disorders

Adrika Mehta

Circadian-Based Optimization of Personalized Sleep Schedules

Warren Chen

Dynamic Modeling of a 2D Spiderweb's Elastic Behavior

Jonah Caplan

Developing Complex Networks by Modeling Wealth Exchange through Agent-Based Models

Ojasvi Singla

Using Cellular Automata to Predict Flood Plains through Water Spread and Ground Absorption

Suvid Bordia

Analysing Geometrical Effects of Mutations on Alpha Helices

Meher Sinha

Exploring the Ability of Simulated Annealing to Search in Cellular Automata Rule Spaces

Will Guo

Modelling Neuronal Cascades with Sandpile Dynamics on Synaptic Connectivity Graphs

Gaurika Gautam

Functional Completeness among Logic Gates of Arity N

Samarth Bhat