Digital Commons Network^™

System Security Foundations For Ai-Enabled Systems, Yuhao Wu

McKelvey School of Engineering Graduate Student Theses & Dissertations

AI is being deployed broadly, from conventional computing systems like IoT systems to more advanced agentic systems. It is shifting from being a specialized component responsible for specific functions to becoming the core of agentic systems, where it drives autonomous decision-making and task execution. These AI-enabled systems bring tremendous benefits. For example, large language models can interpret user intent, select appropriate tools, and access data to complete tasks with minimal human guidance. However, they also introduce new security, privacy, and safety risks. These risks arise not only from the models themselves but also from the broader system design and integration. …

Towards Secure And Privacy-Preserving Machine Learning Systems, Han Liu

McKelvey School of Engineering Graduate Student Theses & Dissertations

In recent years, machine learning (ML) has advanced at an unprecedented pace, driving the widespread adoption of increasingly sophisticated models across a broad range of real-world applications, including healthcare, finance, autonomous systems, and critical infrastructure. While these models have delivered remarkable benefits and transformed numerous industries, they remain inherently vulnerable to a variety of security and privacy threats. Given their growing role in safety-critical domains, ensuring their security and privacy has become imperative. Systematically addressing these vulnerabilities requires comprehensive adversarial analyses to uncover weaknesses and inform the design of robust defenses. This dissertation systematically investigates ML vulnerabilities in adversarial settings …

Scaling Quantum Systems: Quantum Networks, Distributed Quantum Computing, And Security, Zebo Yang

McKelvey School of Engineering Graduate Student Theses & Dissertations

Recent advancements in quantum computing have opened up new possibilities across various fields, offering significant potential to enhance computation, communication, cryptography, and applications in areas like sensing, medicine, and chemistry. However, the capabilities of individual quantum devices are still limited, and scaling quantum hardware monolithically presents substantial challenges. Interconnecting quantum systems offers a promising alternative by aggregating capabilities across a network, thereby enabling quantum advantages for larger and more practical problems. This interconnection is achieved through quantum networking, which links external quantum systems, and Distributed Quantum Computing (DQC), which connects quantum processors within a system, such as in quantum data …

Trustworthy Autonomy Through Robust Control And Alignment, Junlin Wu

McKelvey School of Engineering Graduate Student Theses & Dissertations

As artificial intelligence systems are increasingly applied in safety critical domains such as robotics, autonomous driving, and decision making under uncertainty, ensuring their trustworthiness has become a central challenge. This dissertation addresses two major facets of trustworthy AI: reliable control through formal guarantees and alignment against adversarial manipulation. The first part of the dissertation focuses on provably stable, robust, and safe control for nonlinear systems using learning based methods. We introduce the first general framework for synthesizing neural Lyapunov controllers in discrete time systems. This method combines a sound verifier based on mixed integer linear programming with gradient based counterexample …

Understanding And Mitigating Timing Issues In Autonomous Systems, Ao Li

McKelvey School of Engineering Graduate Student Theses & Dissertations

Autonomous systems, such as self-driving cars and drones, have become a part of our daily lives. Since these systems operate in and interact with the physical world, their correctness depends on both functional and temporal aspects. However, the increasing complexity of modern computing hardware and software often leads to unpredictable timing behavior in these systems, making temporal properties particularly challenging to ensure. This dissertation proposes novel approaches to specify and enforce temporal properties based on a comprehensive empirical study of real-world issues. The first half of this dissertation presents an empirical study that dissects the timing issues. The dissection begins …

Untethered Isoperimetric Robotic Truss For Lunar Applications, Mihai Stanciu, Spencer Stowell, Isaac Weaver, Adam Rose, Chris Paul, James Wade, Ashleigh Cerven, Annie O'Bryan, Brian Bodily, Logan Yang, Nathan Usevitch

Faculty Publications

We introduce a robotic system designed to function as a lightweight, modular, and reconfigurable structure on the Moon. This robust system consists of truss-like robotic triangles, each formed by a continuous inflated fabric tube routed through two robotic roller units and a connecting unit. When deflated, these triangles can be compacted to roughly the volume of the roller units, offering an advantageous stowed-to-deployed volume ratio of 1 to 6.24. Upon inflation, the roller units pinch the tubes, creating corners by reducing the bending stiffness of the tube. Once fully deployed, electric motors move the robotic roller units along the tube, …

Biomarkers That Could Explain Parasite-Induced Behavioral Alterations In The Golden Shiner (Notemigonus Crysoleucas) – Posthodiplostomum System, Laura D. Nicolas

All HCAS Student Capstones, Theses, and Dissertations

Trophically transmitted parasites require an intermediate host to be consumed and often manipulate host phenotype (i.e., morphology, physiology, and/or behavior) to increase predation risk by definitive hosts. Posthodiplostomum is a trematode with a complex life cycle involving snails as first hosts, fish as second intermediate hosts, and piscivorous birds as definitive hosts. In fish hosts, Posthodiplostomum infection has been linked to increased predation, suggesting suppression of antipredator behaviors. However, the specific physiological pathways remained unexplored and changes in the host’s neural, endocrine, and immune systems could be involved. Thus, I examined whether Posthodiplostomum infection intensity was associated with brain serotonin …

Preparatory Processes Before Labquakes Conducted On Cylindrical Westerly Granite In Triaxial Experiments, Kiran Pandey

Electronic Theses and Dissertations Archive

The ability to forecast future earthquakes before they occur to minimize seismic hazards is known as earthquake prediction or forecasting. The main aim of earthquake prediction is to find the expected time of occurrence, the location of the expected rupture, and how big the earthquake will be (i.e., magnitude). Earthquake prediction and the study of the indications prior to major earthquakes (precursory signals) have been key objectives since the beginning of earthquake research. In addition, a better understanding of earthquake nucleation and how faults progress toward failure is very important for seismic hazard assessments. The occurrence of earthquakes is known …

Derived $P$-Adic Heights And The Leading Coefficient Of The Bertolini–Darmon–Prasanna $P$-Adic $L$-Function, Francesc Castella, Chi-Yun Hsu, Debanjana Kundu, Yu-Sheng Lee, Zheng Liu

School of Mathematical & Statistical Sciences Faculty Publications

Let E/Q be an elliptic curve and let p be an odd prime of good reduction for E. Let K be an imaginary quadratic field satisfying the classical Heegner hypothesis and in which p splits. The goal of this paper is two-fold: (1) we formulate a p-adic BSD conjecture for the p-adic L-function LBDP p introduced by Bertolini–Darmon–Prasanna [Duke Math. J. 162 (2013), pp. 1033–1148]; and (2) for an algebraic analogue F BDP p of LBDP p , we show that the “leading coefficient” part of our conjecture holds, and that the “order of vanishing” part follows from the expected …

Enhancing Diversion Success Through Financial Capability And Asset Building: A Framework And Proposed Intervention, Lissa Johnson, Margaret S. Sherraden, Carrie Pettus, Jude Miller, Jin Huang

Center for Social Development Research

Mass incarceration policies in the United States have generated the highest incarceration rate in the world, yet many incarcerated individuals have committed nonviolent offenses or been confined because they could not pay fines or fees. Diversion offers an opportunity for justice-involved individuals to avoid conviction and collateral consequences while maximizing public safety, reducing case processing, decreasing overpopulation in prisons, and lowering costs. However, diversion programs do not adequately address financial instability and insecurity that often contribute to criminal behavior. This paper reviews evidence on adult diversion programs and proposes an intervention approach responding to socioeconomic factors contributing to criminal behavior.

217 E. 93 Llc V. Edwards

All Decisions

In a post-stipulation holdover for lease expiration, the tenant moved to stay execution of a warrant of eviction beyond the stipulated vacate date. The landlord opposed, arguing that RPAPL §753 imposed a one-year time bar on such relief. The court analyzed the statutory tension between RPAPL §§749(3), 753, and CPLR §2201, concluding that §749(3) governs post-issuance stays and lacks a temporal limit. It exercised discretion to extend the eviction stay until June 17, 2025, citing the tenant's health, minor children with educational needs, and lack of prejudice to the landlord. The decision clarifies that courts retain discretion under RPAPL §749(3) …

Fort Hays State University Tiger Weekly, May 09, 2025, University Relations

Tiger Weekly Newsletters

No abstract provided.

Reply To: Is Gauchian Genotyping Of Gba1 Variants Reliable?, Marco Toffoli, Anthony H V Schapira, Fritz J Sedlazeck, Christos Proukakis

Faculty, Staff and Students Publications

No abstract provided.

High-Throughput Echocardiography-Guided Induction Of Myocardial Ischemia/Reperfusion In Mice, Florian Sicklinger, Niklas Hartmann, Attila Kovacs, Carla Weinheimer, Jess Nigro, Junedh M. Amrute, Kory J. Lavine, Et Al.

2020-Current year OA Pubs

BACKGROUND: Mouse models of myocardial ischemia with subsequent heart failure are common approaches to examine heart failure pathology and possible treatment strategies. We sought to establish a high-throughput approach for echocardiography-guided induction of myocardial ischemia/reperfusion (IR) in mice.

METHODS: After visualization of the left coronary artery with high-resolution ultrasound imaging and echocardiographic definition of the level of coronary occlusion, the left anterior descending artery was temporarily occluded with 2 micromanipulator-controlled needles. Functional and molecular changes were assessed and compared with commonly performed surgical techniques.

RESULTS: Echocardiography-guided induction of myocardial IR enabled standardized induction of myocardial IR injury with subsequent left …

Restoring Context: Interdisciplinary Approaches To Art Conservation And Registration Challenges In Rural Museums, Jade Karas '25

Senior Scholarly and Creative Symposium

A prevalent issue for museums in rural areas is a lack of reliable registration methods. This occurs for a number of reasons whether it be a lack of resources (human, financial, spacial, etc.) or the erosion of knowledge overtime due to cultural reliance on generational knowledge. Additionally, different registrars often develop new methods for inventory without leaving behind instructions, leading subsequent registrars to devise their own methods. These gaps in the registration process frequently result in “registration problems”, objects that don’t get properly inventoried and thus have little to no context for their origins. This thesis aims to fill in …

Accelerating Early-Stage Robot Navigation Development With Motion Capture And Ros, Daniel Granda, Vladimir Gunichev, Caleb Sanchez, James Vanzwieten, Yufei Tang, Pratik Mukherjee

Florida Conference on Recent Advances in Robotics

Developing and testing navigation controllers for mobile robots often involves significant challenges related to onboard sensor limitations and the complexities of sensor fusion. Inaccurate or noisy localization data can obscure the true performance of a control algorithm, and sensor integration represents a time-consuming aspect of robotics projects. This paper presents a framework utilizing an external motion capture (MoCap) system integrated with the Robot Operating System (ROS) to provide high-fidelity, ground-truth localization for a Clearpath Husky robot. We detail the system architecture, including custom ROS tools for waypoint collection and navigation. By decoupling controller development from onboard sensor challenges, this framework …

Optical Thickness Determination Of Graphene By Color, Caleb A. Woodcock, Michael S. Crosser

Linfield University Student Symposium: A Celebration of Scholarship and Creative Achievement

Graphene, and multi-layered graphene, are single atomic layers of carbon, with remarkable electrical properties. This makes it a highly valuable material across scientific and technological fields. Accurate thickness determination is essential, as many of the electrical properties are layer dependent; however, typical methods are slow. This thesis investigates a non-invasive optical method for estimating graphene thickness by correlating RGB color values from microscope images with step height measurements obtained via atomic force microscopy (AFM). Graphene flakes were exfoliated onto a SiO₂/Si substrate, imaged under white light illumination, and analyzed using ImageJ to extract color values. Results show that red-channel contrast …

“The Best Storyteller In The World:” Gwydion, Court Poetry, And Statecraft In The Fourth Branch Of The Mabinogi, Abigail Fathauer '25

Senior Scholarly and Creative Symposium

Gwydion, the trickster protagonist of The Mabinogi, orchestrates the plot and manipulates those around him. His trickery ultimately results in political shifts, changes, and even wars, reflecting his role as a powerful player in the text. Moreover, Gwydion's use of poetry, knowledge, and words to enact his schemes and manipulations reflects the power of poets in medieval Welsh courts. My thesis argues that Gwydion's use of poetry to manipulate the politics around him reflects the power of poetry to craft nation states, as medieval Welsh poets did.

Dra’S Effect On The Taxation Of Partners And Partnerships, Donald M. Slattery, Ruth H. Bullard

Tax Adviser

No abstract provided.

Tax Clinic, John L. Norman Jr.

Tax Adviser

No abstract provided.

New Sec. 280f Restricts Tax Benefits For Microcomputers, Lawrence H. Hammer, Kevin E. Murphy

Tax Adviser

No abstract provided.

Just War, Pacifism, And Inevitability Of Conflict: Tolkien’S Changing Attitudes To War, Alexander Retakh

Journal of Tolkien Research

Tolkien’s approach to war is often considered through the lens of “just war” theory. Its main principles are the necessity of a just cause for war, proper conduct in battle, and the use of proper weapons; if possible, war should be avoided. The Lord of the Rings suggests an ethical framework inspired by this theory; however, the earlier Legendarium is more accepting of military conflicts and their harsh reality. Tolkien's attitude to war appears to shift in the mid-late 1930s, the time of intense debates about just war and pacifism among British Catholics. This paper discusses the evolution of his …

State Right To Appeal: Has Maine Been Too Cautious?, David J. Corson

Maine Law Review

The Legislature of the State of Maine recently passed an act relating to appeals by the State on questions of law in criminal cases. The Governor's approval of the act on January 29, 1968, was the culmination of some three years of research and debate. The purpose of this comment is to examine the form and scope of the act in light of the continuing controversy in other jurisdictions over the conflict of interests between the people and the accused in what may be characterized as a trend toward more comprehensive state appeal laws, to the end of concluding whether …

How Post Is Post-Conviction Relief In Maine?, Charles L. Cragin Iii

Maine Law Review

In a recent case the Maine Supreme Judicial Court delineated the prerequisites for relief under Maine's post-conviction relief statute. The court declared that actual or constructive custody is necessary for relief. In Thoresen v. State, petitioner was convicted of a felony in Maine in 1959. He had been represented by retained counsel, and had elected to plead guilty to an information charging him with grand larceny. His sentence was suspended by probation and he was permitted to leave the state. Formally complying with all the regulations of his probation, he was given a total discharge in 1961. In 1967, he …

The Coast Guard: Always Ready, Sometimes Careful, Edward D. Leonard Iii

Maine Law Review

The government presently is liable for the negligent conduct of the Coast Guard. Why and how such liability arises is the subject of this comment. In considering this subject three central questions are presented: First, whether the various acts abrogating the sovereign immunity of the federal government have been correctly applied to the Coast Guard; second, assuming that sovereign immunity has been waived, the extent of the duty owed by the Coast Guard to persons in distress; and third, after a finding of liability, the effect of the statutory extension of the admiralty doctrine of limitation of liability upon damage …

Text-To-Image Model-Based Image Segmentation For Scene Understanding In Autonomous Robot Navigation, Stéphane Lee, Hakki Erhan Sevil

Florida Conference on Recent Advances in Robotics

Image segmentation is essential for navigation and scene understanding in autonomous systems, particularly in un- structured outdoor environments. This study investigates the seg- mentation capabilities of DALL-E 3, a generative text-to-image model, that is not explicitly trained for semantic segmentation. A custom segmentation pipeline was developed to evaluate and refine DALL-E 3 outputs on outdoor images from the RELLIS- 3D dataset. The post-processing workflow includes morphological operations with varied structure elements to enhance segmenta- tion accuracy. Segmentation accuracy was assessed using mean Intersection over Union (mIoU) across selected terrain classes. Results show that the raw DALL-E 3 outputs were improved …

Insider Trading On Undisclosed Corporate Information: Diamond V. Oreamuno, John M. Whalen

Maine Law Review

The New York Court of Appeals recently ruled that a corporation may hold its officers and directors, who use material inside information, accountable for gains realized by them from transactions in the company's stock. The purpose of this note is to analyze Diamond v. Oreamuno in light of the existing federal law and to propose its application in the federal system.

The Farm Worker: His Need For Legislation, Susan Calkins

Maine Law Review

Of America's ignored and invisible people, the farm worker is one of the most ignored and least visible. He is hidden by the crops as he works his way down the endless rows. Far from the cities where the laws are made and the issues of the day are debated, his voice is not heard. He is vitally necessary to this well-fed nation, and yet his needs are seldom considered. The legislators have not ignored the industrial worker. They have provided him with laws insuring a minimum wage, workmen's compensation and other such benefits. The farm worker, however, is expressly …

Right To Jury Trial: Lemieux V. Robbins, Stephen R. Sunenblick

Maine Law Review

A sagacious English liveryman named Tobias Hobson allowed each customer to choose the horse nearest the door, thereby presenting these customers with no real alternative. The State of Maine made a like proposition in Lemieux v. Robbins by implementing a novel criminal procedure whereby a defendant has a "choice" of either accepting his district court misdemeanor conviction as final, or appealing for a de novo trial by jury in superior court and possibly being convicted of a felony for contravening the same statute under which he was originally charged. The implementation of this procedure began with a complaint filed in …

Environmental Jurisdiction In The Congress And The Executive, Edmund S. Muskie

Maine Law Review

Extraterrestrial exploration and a historic lunar success have helped give modern man a unique perspective on the earth and his natural environment. We have looked on our planet from the reaches of outer space and have seen how small, how alone, and how vulnerable we are. We have travelled to the moon and photographed Mars, but we have finally realized that no matter how far or how fast we grow, no matter how far afield our explorations take us, and no matter how great our vision, we must always return to earth. This is a discomfiting realization for a civilization …