Digital Commons Network^™

Discrete Math For Computer Science - Chapter 6: Proofs By Contradiction: Proofs By Cases, Houman Kamran Habibkhani

Pacific Open Videos

See this OER textbook full record by clicking here.

Discrete Math For Computer Science - Chapter 5: Direct Proofs: Proofs By Contrapositive, Houman Kamran Habibkhani

Pacific Open Videos

See this OER textbook full record by clicking here.

Discrete Math For Computer Science - Chapter 7: Sets And Subsets: Set Of Sets, Houman Kamran Habibkhani

Pacific Open Videos

See this OER textbook full record by clicking here.

Quantum Control And Simulation Using Hamiltonian Engineering In Solid-State Nmr, Linta Joseph

Dartmouth College Ph.D Dissertations

Lattices of dipolar coupled nuclear spins in natural crystals are large, interacting quantum systems -- ideal platforms to simulate non-equilibrium many-body dynamics. Using the magnetic resonance toolkit, which includes Dynamic Nuclear Polarization (DNP), Hamiltonian engineering, and multiple-quantum Nuclear Magnetic Resonance (NMR) experiments, we study aspects of coherent control, manipulation, and readout of the complex dynamics of the spin system in NMR quantum simulation.

First, applying Hamiltonian engineering sequences, we control the system evolution. Specifically, we use a combination of numerical simulations and NMR experiments on adamantane to evaluate and compare the performance of several known sequences that aim to suppress …

Circular Restricted Three Body Manifold Trajectories Via Koopman Operator Theory, Lindsey Langton

Master's Theses

There are a multitude of computational techniques capable of modeling the behavior of nonlinear dynamic systems over time. In the field of astrodynamics, the most frequently used tools are numerical integrators, specifically Runge-Kutta algorithms. These algorithms have successfully produced numerous two-body trajectories, as well as an increasing number of three-body trajectories when two-body dynamic models fail to produce Δv values within the realm of mission feasibility. Koopman operator theory is an alternative method for modeling nonlinear dynamic behavior that captures an approximation of a nonlinear dynamic system on a defined basis in the Hilbert space. The Koopman operator is an …

Development Of Ex-Situ Accelerated Chemical Stress Test Protocol For Common Anionic Exchange Membrane Chemistries, Michael D. Friend, Michael D. Friend

Master's Theses

The development of sustainably produced hydrogen fuel (“green hydrogen”) is key for the transition to clean energy sources. Green hydrogen is produced via water electrolysis. As with many clean energy sources, one of the major barriers for scaling water electrolysis is cost. A newer category of water electrolysis is Anionic Exchange Membrane (AEM) water electrolysis. AEM electrolysis systems have the potential to cost less as they do not require the expensive precious metal catalysts the current high preforming Proton Exchange Membrane water electrolysis technologies do. However, AEM lifetimes must be long enough to be cost competitive and AEM chemical durability …

Cubr2complexes With 3,5-Disubstituted Pyridine Ligands, Christopher Landee, Diane Dickie, Mark M. Turnbull

Chemistry

Reaction of copper(II) bromide with 3,5-dichloropyridine (3,5-Cl2py) or 3,5-dimethylpyridine (3,5-Me2py) led to the isolation of the coordination polymers catena-poly[[bis(3,5-dichloropyridine)copper(II)]-di-μ-bromido], [CuBr2(C5H3Cl2N)2]n or [CuBr2(3,5-Cl2py)2]n (1), and catena-poly[[bis(3,5-dimethylpyridine) copper(II)]-di-μ-bromido], [CuBr2(C7H9N)2]n or [CuBr2(3,5- Me2py)2]n (2), respectively. The structures are characterized by bibromidebridged chains [d(av.)Cu Cu = 3.93 (9) A ]. In 1, the chains are linked perpendicular to the a axis by non-classical hydrogen bonds and halogen bonds, while in 2, only non-classical hydrogen bonds are observed. © 2025 International Union of Crystallography. All rights reserved.

Turbulence Prediction Using Non-Linear Phase Space Analysis, Jeremy Quijano

Shelby Hall Graduate Research Forum Posters

Our research presents a novel approach for turbulence prediction in computational fluid dynamics (CFD) simulations using a non-linear phase space analysis (NLPSA) and threshold algorithm. NLPSA has been utilized in medical applications to predict seizures, as well as in cybersecurity to detect malicious control and utilization of computing systems. NLPSA uses time-series data to learn the normal operating state of the system, then sets a threshold to predict when the system becomes abnormal. Turbulence prediction is similar, such that a fluid system changes from normal to abnormal. Turbulence prediction methods currently utilize machine learning tools, such as convolutional neural networks …

Out-Of-Band Anomaly Detection For Real Time Operating Systems, Jeff K. Holifield

Shelby Hall Graduate Research Forum Posters

Real Time Operating Systems (RTOS) are increasing present throughout the industrial, business, defense, and healthcare spaces. These lightweight and efficient operating systems are designed to run on embedded, resource constrained devices, often within cyber-physical systems (CFS). A defining characteristic of RTOSs is that they are deterministic. Tasks are scheduled to run on fixed timelines within guaranteed execution windows. To accomplish tasks on time, real time software must conform to worst case execution times (WCETs) as design parameters. WCET is the maximum time a particular task can take to complete. Exceeding the WCET could cause system failure and lead to damage, …

A Framework For Design Recovery, Eric Diep

Shelby Hall Graduate Research Forum Posters

Due to the increase in diverse chip production over the past decade, reverse engineering has become a difficult and daunting task. This research will create a guideline for methods to achieve design recovery of microchip logic. To accomplish this, we plan on using hardware tools such as laser delayering and microscopy imaging. We will be focusing on the DA14580 Dialog semiconductor, commonly implemented in tile trackers, to extract information for design recovery. This implementation technique is novel due to tools that have not been performed with this type of microchip. The purpose for this research is to create a framework …

Analysis Of Forensic Techniques For Additive Manufacturing Devices, Daniel B. Miller, Brad Glisson, Mark Yampolskiy, J Todd Mcdonald

Shelby Hall Graduate Research Forum Posters

Additive Manufacturing (AM) is a set of newer computer-dependent production technologies that is seeing rapid adoption across a wide variety of industries, including defense, aerospace, automotive, and healthcare. With increased adoption comes an increased opportunity for misuse and abuse of such systems, which will lead to an increased need for Digital Forensic investigations into these platforms. This research forensically analyzes a number of AM devices to explore the options available for data acquisition as well as the impacts of hardware and software design choices on the analysis and investigation results. Hardware is investigated using Open-Source Intelligence (OSINT) sources to determine …

Polyglot File Detection For Forensics, Chase Stevens, Michael Black

Shelby Hall Graduate Research Forum Posters

Polyglot files are problematic as payloads can be hidden inside them while simultaneously evading discovery by current forensic tools. Autopsy, one of the most used forensic tools in investigations, uses known signatures of file types (e.g., headers, trailers) to identify and recover files. Polyglot files are a unique case in which files are intentionally combined with other file types to make them appear benign while still containing malicious payloads. Polyglots are possible due to combinations being considered valid in both formats. Polyglot files inherently evade detection from signature-based forensic tools and malware scanners because the tools and malware scanners are …

Using Image-Based Representation For Network Intrusion Detection, Chakriya Suon, J. Todd Mcdonald

Shelby Hall Graduate Research Forum Posters

The primary focus of our research is to evaluate the effectiveness of converting network traffic data, PCAPs, into image-based representations for anomaly-based network intrusion detection. We aim to analyze PCAPs to detect malware, or malicious software in hopes of creating a useful approach for anomaly detection against cyber threats including Advanced Persistent Threats (APTs). With the rise of cyber threats, cybersecurity continues to play a critical role in the ever-changing landscape of technology, by protecting and defending against threat agents. Our research will apply novel machine learning (ML) techniques to detect potential malware transmitted over a network effectively. The overall …

Learning Without Labels: A Self-Supervised Learning Approach For Anomaly Detection In Control Systmes, Barbara Gladney

Shelby Hall Graduate Research Forum Posters

Oil pipelines, water plant systems, and other critical infrastructure are managed and operated by industrial control systems (ICS). These systems safeguard the operations of critical infrastructures, requiring minimal disruption from cyberattacks or malfunctions. The use of anomaly detection methods in control systems (ICS) can reduce system interruptions. However, anomaly detection methods often require annotated data, which may not be available for the control system. Additionally, the datasets used for the control systems do not include sensor outputs and environmental data, resulting in a restricted view of the system. This research investigates how SSL models can be applied to different control …

Directing Sophisticated Cyberattacks On Public Water Infrastructure, Ayrton C. Purdy, Jordan Shropshire

Shelby Hall Graduate Research Forum Posters

In recent years there has been an increasing number of cyberattacks on public water generation and distribution systems. Advanced persistent attackers could usurp sensor and control systems to contaminate public drinking water. In order to conceal their malicious activity, they can manipulate sensor data flows to give the appearance of normal activity. The compromised sensors would report normal chemical levels even though unsafe water is entering the distribution system. In response, this research proposes a multi-sensor, cross-validation approach to anomaly detection. The proposed approach is designed to detect sophisticated cyberattacks which are not easily detectable using traditional cyber tools. The …

End-To-End (E2e) Mbse Framework, Joshua Adelabu, Bhushan Lohar

Shelby Hall Graduate Research Forum Posters

Principles of systems engineering (SE) possess great influence. Frameworks are generated to execute and incorporate such principles. Framework can have various architectural constructs and simultaneously consist of diverse concepts. Concepts like modularity, scalability, integration, and the balance between performance, cost, and risk are guided by SE principles as well as the manufacturability of designed systems due to the migration from mass customization to mass personalization resulting in increased complexity, and as a result need to be guided and gives rise to modularity. However, principles are not enough for effective system design and understanding. There is a need for a framework. …

Thermal Stability Analysis Of Aqueous Ionic Amines For Sustainable Co2 Capture, Li Hua Zang, Keegan Everitt, Kevin West, Brooks D. Rabideau, Breanna Dobyns, James Davis

Shelby Hall Graduate Research Forum Posters

In closed air cabin atmospheres such as those of spacecraft, CO₂ accumulation jeopardizes crew respiratory function and may gradually affect sensitive equipment, making effective air revitalization critical. Traditional CO₂ capture methods like monoethanolamine (MEA) efficiently capture CO₂ but suffer from high volatility, leading to solvent loss and unpleasant odor, as well as corrosion and degradation, requiring frequent replacement. These flaws demand eco-friendly, durable alternatives. This study addresses these limitations by exploring a series of aqueous ionic amines (AIAs), salts similar to MEA in CO₂ capture efficiency but with improved thermal stability—crucial for preventing degradation under high regeneration temperatures and prolonged …

Security Vulnerabilities Of A Field Programmable Gate Array, Kylie Arnett

Shelby Hall Graduate Research Forum Posters

The primary goal of this research is to understand and exploit the security vulnerabilities of a Field Programmable Gate Array (FPGA), at the bitstream level. This paper is working to successfully show that an FPGA can be altered via the bitstream file, and a Trojan can be inserted into the device. Once a Trojan is successfully inserted into the FPGA and activated through a certain input value, a Siamese Neural Network (SNN) will be used to test the effectiveness of Trojan detection. Followed by recording the successful flag rate to detect Trojans, which will be averaged to determine the accuracy …

Establishing A Framework For Evaluating Machine Learning Performance And Security Across Computational Ecosystems, Krista Stacey, Todd R. Andel

Shelby Hall Graduate Research Forum Posters

The rapid evolution of computational ecosystems—ranging from embedded systems and cloud platforms to hybrid and quantum architectures—has introduced new challenges in deploying machine learning (ML) applications. While cloud computing offers scalability, it comes with increased latency and security risks, whereas edge computing, such as FPGA-based systems, provides real-time processing with constrained resources. Hybrid and quantum ecosystems further complicate decision-making, requiring careful trade-offs between performance and security. This research seeks to establish a framework for evaluating ML performance and security risks across these ecosystems, forming the foundation of the Computational Performance And Security System (COMPASS) decision-support tool. The study will systematically …

Effect Of Pre-Adsorbed Species On High-Pressure Adsorption Of Methane In Zeolite 5a Using Grand Canonical Monte Carlo (Gcmc) Simulations, Kanhamardi Lao, Brooks D. Rabideau

Shelby Hall Graduate Research Forum Posters

Natural gas upgrading, which removes impurities from methane (CH4), is essential for industrial applications, including liquefied natural gas (LNG) production and power generation, as well as for residential use. Removing non-hydrocarbon impurities such as carbon dioxide (CO2), nitrogen (N2), and water vapor (H2O), among others, along with separating heavier hydrocarbon gases from raw natural gas, is required to achieve high- purity methane and prevent pipeline corrosion. Zeolite 5A is a microporous aluminosilicate material with a pore size of approximately 5 Å, containing sodium and calcium cations that balance the framework’s negative charge. Its structure offers high thermal stability and a …

Application Of Graph Neural Networks With Phase Space Graphs, Parker H. Cole, Ryan Benton, Ralf Riedel, David Bourrie

Shelby Hall Graduate Research Forum Posters

Non-linear phase-space analysis models data represented as a graph transitioning between states in the time domain. By studying data transitions, we can predict the time a particular behavior occurs and classify the events (states) in a system. For example, we could classify neurological sensor data to determine if a person is asleep (state), or predict the direction in which a stock will move (transitions) based on micro trade patterns.

Previous research has demonstrated success in phase-space graphs in classifying malware, detecting network intrusions, and predicting seizures. However, the solutions either require calculating global graph features as inputs to a classifier, …

Development Of An Algorithm To Identify The Presence Of Luks-Encrypted Volumes On A Forensic Image Of A Drive, Nicholas Flynn, Michael Black

Shelby Hall Graduate Research Forum Posters

Current forensic tools struggle to effectively detect encrypted storage media. In recent years, there have been significant advancements, but a noticeable gap remains when it comes to identifying encrypted volumes from metadata alone. The goal of this research is to develop a novel algorithm that will identify the presence of volumes on a disk image which have been encrypted with the Linux Unified Key Setup (LUKS) encryption algorithm, in an effort to aid digital forensics investigations. Bad actors often use encryption as an anti-forensics tool to pose significant challenges to forensic investigators, especially when it is done within sections of …

Preserving Privacy In Senior Care At Home Monitoring Systems, Sam Russel, Ryan Benton, Amy Campbell, Scott Sittig

Shelby Hall Graduate Research Forum Posters

Many seniors prefer to live at home which necessitates research into the application of technologies to provide a safer environment with less caregiver resources. However, the application of home health care (HHC) monitoring for seniors is still in an evolutionary stage. Present HHC systems are produced by private companies with general regulatory guidelines lacking specific care of the elderly. As such, each company that produces such a system claims to have better safety, privacy, and security that their competitors. A pressing issues is devising and applying a general framework for the application of technologies that delivers safety while preserving privacy. …

False Narratives, Real Consequences, Russell W. Cantrell, Matt Campbell

Shelby Hall Graduate Research Forum Posters

Social media is an increasingly significant tool in modern cyber warfare, capable of rapidly shaping public opinion. The swift dissemination of information complicates efforts to distinguish fact from fiction [1]. During public health crises, healthcare professionals use these platforms to share updates, yet their credible content must contend with false or deliberately misleading narratives [2]. This environment creates an opportunity for cyberattacks through social media influence campaigns [3]. While disinformation's role in political interference has been widely studied, its potential to destabilize healthcare remains largely unexplored. Prior research primarily focuses on how vaccine misinformation affects the general public [4]. This …

Detecting Sensor Data Manipulation, Ricky Green, Michael Black

Shelby Hall Graduate Research Forum Posters

The integration of Information Technology (IT) and Operational Technology (OT) have made OT devices vulnerable to threats that have been successfully exploited with devastating results. Many modern techniques for hardening and securing enterprise IT systems are either incompatible with OT components in an Industrial Control System (ICS), reduce the efficiency of processes, or are prohibitively expensive to implement. Research in the area of ICS security focuses on a top-down approach, such as intrusion prevention by securing the perimeter of the network and hardening computer systems. This approach is useful in business IT systems, but full compatibility with OT components in …

Topical Text Segmentation For Stream Of Consciousness Writing, Yuwei Lu, Ryan Benton

Shelby Hall Graduate Research Forum Posters

Stream of consciousness writing has a long history, including novelists James Joyce and Virginia Woolf. However, there has been little work done in automated and semi-automated analysis of such writing, which is the focus of this work. We plan to divide real streams of consciousness writing into distinct topical units and then capture different momentary meaningful topics from these units. By doing this, researchers and readers could gain a more nuanced understanding of the narrative structure and thematic elements. In addition, it would also support applications in fields like psychology and linguistics, where understanding thought processes and narrative structures is …

Charter Schools: The Education Solution Strangling The Public Education System, Brynna Smith

The Business, Entrepreneurship & Tax Law Review

This paper investigates why charter schools exist in Missouri and how judicial precedent has permitted their constitutionality. It will highlight their potential for corrupt policy, rebut the scant evidence proving they perform better than public schools, and demonstrate that charter schools are not the effective solution to poor public-school performance as they were initially intended. Rather they are disguised constitutional violations. This paper proposes that the United States abandon the charter school movement, concentrate all educational funding in public schools, and use the grants intended for charter schools to implement educational reform proven to be effective.

Research On The Influence Of The Quantity And Quality Of Young Talents On Regional Economic Development, Jinzhao Liu

Dissertations and Theses Collection (Open Access)

This study focuses on the critical impact of both the quantity and quality of young talent on regional, particularly urban, economic development in terms of pace and quality. The paper examines how educated and innovative youth serve as catalysts for economic progress, driving innovation and entrepreneurship in urban areas. Through an examination of economic growth theories and innovation-driven development models, the research employs a Cobb-Douglas production function for empirical analysis, revealing the significant positive influence of high-quality young populations on regional GDP growth.

Concurrently, case studies of Zhongguancun and Suzhou's textile industry demonstrate the transformative power of young talent in …

Language, Literature, And Culture Newsletter, Sixth Edition (March 2025), Language, Literature, And Culture Department, Clark University

Language, Literature, and Culture

The sixth issue of the Language, Literature, and Culture department newsletter, which went out in March 2025. The Language, Literature, and Culture department newsletter aims to "share stories, news, ideas, achievements, and important information about and within our academic department that can be helpful to the campus community at large".

Macroevolutionary Inference Of Complex Modes Of Chromosomal Speciation In A Cosmopolitan Plant Lineage, Carrie M. Tribble, José Ignacio Márquez-Corro, Michael R. May, Andrew L. Hipp, Marcial Escudero, Rosana Zenil-Ferguson

Biology Faculty Publications

The effects of single chromosome number change—dysploidy – mediating diversification remain poorly understood. Dysploidy modifies recombination rates, linkage, or reproductive isolation, especially for one-fifth of all eukaryote lineages with holocentric chromosomes. Dysploidy effects on diversification have not been estimated because modeling chromosome numbers linked to diversification with heterogeneity along phylogenies is quantitatively challenging. We propose a new state-dependent diversification model of chromosome evolution that links diversification rates to dysploidy rates considering heterogeneity and differentiates between anagenetic and cladogenetic changes. We apply this model to Carex (Cyperaceae), a cosmopolitan flowering plant clade with holocentric chromosomes. We recover two distinct modes of …