Digital Commons Network^™

Proper Education, Denis Kaiser

Lake Union Herald

No abstract provided.

Demystifying Hardware Formal Verification For Undergraduate Education: A Risc-V Processor Case Study With Coursework Implementation, Riley A. Peters

Master's Theses

Hardware verification engineers apply formal methods to prove that a digital device always behaves according to its specification. This differs from traditional functional verification, in which engineers establish correctness by repeatedly sending test inputs to the device and comparing the outputs against a reference model. With the growing complexity of integrated circuits, the demand for digital verification engineers with formal methods experience has continued to increase. However, California Polytechnic State University: San Luis Obispo's current curriculum lacks dedicated material to prepare students for these roles.

This thesis seeks to address the lack of formal methods material through two efforts. First, …

Environmental Impact Of Preventative Fire-Retardant Applications On Soil Water Chemistry, Patrick C. Michelsen

Master's Theses

Between 1992 and 2012, 84% of all documented wildfires were started by humans. These fires often start around high-risk locations such as power lines and roadsides where fuel loads are near these potential human-caused ignition sources. Point source ignition sites that are surrounded by shrubs or grasslands are especially important because fires that occur within these biomes are responsible for far more destruction of property than forest fires. One strategy that is effective at mitigating the spread of fires from ignition sites that are within grassland or shrub biomes are preventative fire-retardant products (PFRPs). These PFRPs differ from traditional fire-retardant …

2026 March - Tennessee Climate Snapshot, Tennessee Climate Office, East Tennessee State University

Tennessee Climate Office Monthly Reports

No abstract provided.

2026 March - Tennessee Monthly Climate Report, Tennessee Climate Office, East Tennessee State University

Tennessee Climate Office Monthly Reports

Hi All,

It was a very warm and dry March across Tennessee, with temperatures 10°F+ above average for most parts of the state through the 1st, 2nd, and 4th weeks of March. Based on monthly mean temperatures, it was a top-5 warmest month on record for Memphis, Nashville, Oak Ridge, Knoxville, Chattanooga, and the Tri-Cities, and a top-5 driest month for Nashville. A strong cold front March 16-17 produced the first tornadoes of the year, in Middle Tennessee.   With warm and dry conditions, we've also seen areas classified by the US Drought Monitor as Abnormally Dry (D0) to Extreme Drought …

Perspectives Of University Leaders On Adoption And Scaling E Mental Health Support For Students: An Exploratory Analysis, Choongo Mulungu, Esin Nisan Yildirim

Journal of Human Services: Training, Research, and Practice

ABSTRACT

University students face rising mental health challenges, yet adoption of digital support services in higher education remains limited, especially in the Global South. This qualitative study explored perceptions of 18 senior administrators from universities across Africa, Europe, Asia, and North America. Findings revealed a significant implementation gap, with few institutions offering formal platforms. Leaders cited barriers including limited institutional prioritisation, counsellor overload, financial ambiguity, ethical concerns, and absent policy frameworks. Addressing these challenges requires deliberate policy action, equitable resource allocation, and culturally responsive strategies for sustainable integration.

Rural Voices On The Opioid Epidemic In Deep East Texas, Jose Carbajal, H. Stephen Cooper

Journal of Human Services: Training, Research, and Practice

Opioid use is a major concern in the United States. Rural communities face even greater difficulties in addressing opioid use and related challenges. An appreciative inquiry was employed to assess the degree to which the opioid crisis has affected the rural region of Deep East Texas and to develop recommendations for a regional action plan. One hundred and eight participants attended eleven conversation cafés across the region. Response analysis revealed eight primary themes and 11 sub-themes. Community awareness and education are crucial in combating the opioid crisis, as some participants were unaware of the prevalence of prescription opioid abuse in …

The Synapse, March 2026, School Of Medicine Student Senate, New York Medical College

The Synapse

No abstract provided.

Proceedings Of Iasdr2025: Design Next, Chi-Yi Chang, Chien-Hsiung Chen, Yen Hsu

DRS Conference Volumes

This volume is the proceedings of the 11th biennial congress of IASDR, the International Association for Societies of Design Research, hosted in Taipei, Taiwan, 2–5 December 2025.

Identifying Priorities To Guide Extension Water Quality Programming In Utah, Clare Entwistle, Sarah Erwin, Stephanie Vaughn

Outcomes and Impact Quarterly

Utah State University Extension water quality faculty conducted a statewide water quality needs assessment to identify priority contaminants and resource gaps. The results found that elevated nutrient levels and sedimentation were the top concerns where additional resources would be beneficial. In addition, insufficient funding for improvements and low public engagement were identified as key challenges in addressing water quality issues. Results revealed current unmet needs with regional variation to inform Extension resource allocation and programming.

Analysis Of City Planning For Autism Spectrum Disorder, Joshua Ericson, Ben Shane

City and Regional Planning

Whether formally diagnosed or self-diagnosed, autism spectrum disorder affects children and adults in every corner of the planet. Every city in the world likely has autistic residents who have difficulty living in navigating their city due to their unique sensory, social, and economic needs. Many of these needs affect autistic people’s abilities to comfortably and independently navigate public spaces, attain a reliable method of transportation, and find housing that suits their needs. These issues could all be addressed with city planning and neuro-inclusive public policies, but to date few cities have considered autistic people in their planning. Cities inadvertently exclude …

North Fair Oaks Specific Plan, Carlos Robinson

City and Regional Planning

The North Fair Oaks Specific Plan guides development of the North Fair Oaks Focus Area as defined in the City of Arroyo Grande General Plan by defining land uses, delineating a multimodal circulation system, and outlining ideal development standards in accordance with various local, regional, and state plans.

Weaponized Bureaucracy At The Criminal Immigration Divide, Dorien Ediger-Seto

Washington Law Review

Despite deportation being entrenched as a civil consequence rather than a punishment over 100 years ago, today’s immigration enforcement and deportation scheme relies heavily on state-level criminal arrests, convictions, and data sharing systems. And immigration-based crimes have accounted for between twenty-five and fifty percent of all federal criminal charges over the past decade. But the fact that the systems are bureaucratically and doctrinally separate from each other has practical impacts that go beyond these formalized intersections. Not only do federal law enforcement actors often have dual mandates to investigate and prosecute federal crimes alongside related civil removal cases, but criminal …

Facing State-Created Danger In Facial Recognition Technology, Esha Jain

Washington Law Review

When the police wrongfully arrest someone, that person faces distinct harms. Various scholarship, news articles, and studies document that AI-powered facial recognition technology (FRT) disproportionately misidentifies individuals from marginalized racial groups when used irresponsibly. Many of those sources indicate that police reliance on FRT without adequate vetting results in wrongful arrests. Yet law enforcement continues to misuse FRT.

This Comment contends that the 42 U.S.C. § 1983 state-created danger doctrine offers a potential remedy for plaintiffs harmed by police reliance on FRT. To prevail under this doctrine, plaintiffs must prove affirmative conduct, deliberate indifference, and proximate causation. If successful, these …

Reason Enough: The Wrongful Extension Of Asylum’S “One Central Reason” Nexus Standard To Withholding Of Removal, Elaine Hernandez Flores

Washington Law Review

Noncitizens often come to the United States seeking protection from violence, persecution, or life-threatening conditions in their home countries. However, upon arrival, many noncitizens are placed in removal proceedings and face deportation back to the very dangers they escaped. U.S. immigration law provides various forms of relief from deportation, most notably asylum and withholding of removal. Both forms require the applicant to show a connection—or “nexus”—between the persecutor’s motive for persecuting them and one of five protected grounds: race, religion, nationality, political opinion, or membership in a particular social group.

Although asylum and withholding of removal both require a noncitizen …

2025 Tennessee External Quality Review Technical Report, Tennessee. Division Of Tenncare.

TennCare Additional Reports

No abstract provided.

Trail To Classroom: Digitizing Rocky Mountain Landscapes With 360 Video, Hanna Fontes

SACAD: Scholarly Activities

Immersive media technologies are increasingly used in science education, yet they are often positioned as tools for passive observation rather than relational engagement. This qualitative study examines the use of 360-degree video as a relational, place-based pedagogical tool in learning. Using immersive landscape recordings from Rocky Mountain National Park, this research explores how 360-degree video can support student connection, empathy, and a sense of belonging to place. Learning activities were designed to prompt sensory observation, reflection, and meaning-making, encouraging students to engage emotionally and cognitively with the landscape rather than viewing it as a detached object of study. Data sources …

On Signifiable Computability: Part Iii: A Note On Unnameable Functions On Natural Numbers, Vladimir A. Kulyukin

Computer Science Faculty and Staff Publications

A writing system 𝔚 on an alphabet 𝒜 is a tuple (ℜ,𝔐), where ℜ is a finite set of text formation rules and 𝔐 is a finite rule application mechanism that generates texts on 𝒜. A natural writing system forms natural language texts on an alphabet such as Sanskrit on Devanagari. An artificial writing system generates formal language texts on an alphabet such as Lisp on Unicode. Let ℕ ={0,1,2,…} be the set of natural numbers. A function on natural numbers 𝑓 :ℕ^𝑘 ↦ ℕ, 0 < 𝑘 ∈ ℕ, is nameable by a writing system on an alphabet if, and only if, the system can generate a text on the alphabet that names f and no other function. We show that there exist functions on natural numbers unnameable in principle in that they cannot be named by any writing system on any alphabet. Our results imply the following computability-theoretic hierarchy of functions on natural numbers: computable ⊊ partially computable ⊊ nameable ⊊ 𝔉, where 𝔉 is the set of functions on ℕ.

In Vitro Pharmacological Evaluation Of Novel Cmpi Derivatives As Selective Positive Allosteric Modulators Of The Alpha4 Beta2 Nicotinic Acetylcholine Receptor, Josue Gaona, Nataly Sanchez, Wilder Felix, Nathalia Menegasso, Brisa Cea, Ganesh Thakur, Ayman K. Hamouda

School of Medicine Student Publications and Presentations

Nicotinic acetylcholine receptors (nAChRs) contribute to the pathogenesis of neurodegenerative diseases such as Parkinson’s disease (PD), where degeneration of dopaminergic and cholinergic neurons disrupts neurotransmission. The (α4)₃(β2)₂ nAChR subtype is expressed on affected neuronal populations and represents a promising therapeutic target. Positive allosteric modulators (PAMs) may enhance receptor function while preserving endogenous signaling. We evaluated chemical derivatives of CMPI [3-(2-chlorophenyl)-5-(5-methyl-1-(piperidin-4-yl)-1H-pyrazol-4-yl)isoxazol] as selective PAMs of (α4)₃(β2)₂ nAChRs. Two-electrode voltage-clamp recordings were performed in Xenopus laevis oocytes expressing defined receptor stoichiometries to assess potentiation and generate dose–response curves. Cytotoxicity was assessed in HEK cells using the MTT assay. Substitutions at the pyrazole …

Using Ensemble Disagreement To Stabilize Conformal Prediction Under Distribution Shift, Patrick D. Murphy

Master's Theses

Semantic segmentation of eelgrass from drone imagery is crucial for coastal habitat monitoring, restoration, and management, as these habitats continue to see rapid changes due to climate change and human influence. However, the reliability of generalizing a deployed classification model relies on both high-accuracy segmentation as well as robust uncertainty quantification that holds up when conditions change over years or locations. Conformal prediction (CP) is a method that converts a classifier's output into prediction sets with a guaranteed average coverage level for in-distribution data. However, the “vanilla” conformal score can often under-cover in hard or out-of-distribution (OOD) regions under drift. …

Mechanistic Framework Of Wood Decomposition In Post-Storm Vegetative Debris Piles Using Continuous Quality Theory, Thomas T. Lee

Master's Theses

Storm events generate significant quantities of vegetative debris composed of wood, branches, twigs, and other organic materials. Efficient post-storm resource recovery and carbon accounting depend on reliable predictions of decomposition within these large, heterogeneous debris piles. While small-scale wood decay is well studied, decomposition dynamics within multi-layer debris piles remain poorly characterized, limiting municipalities' ability to estimate material longevity and resource recovery potential.

To address this gap, this study develops the WOOD_DK (Wood Organic Oxidation and DegraDation Kinetics) model, a preliminary, exploratory one-dimensional multilayer decomposition framework simulating coupled temperature, moisture, oxygen, and carbon dynamics in MATLAB. Microbial decomposition follows Continuous …

Neurosymbolic Counterpoint Generation, Paul D. Jarski

Master's Theses

Recent advancements in generative artificial intelligence have revolutionized music generation, yet research has predominantly focused on raw audio synthesis over music in symbolic form, i.e. a score. This thesis presents the first neurosymbolic model designed to generate imitative Renaissance counterpoint in symbolic (MIDI) format. By leveraging an autoregressive Transformer architecture, this research explores the capacity of deep learning models to manage independent voices and strict stylistic constraints.

We compare multiple data representation strategies with distinct tokenization methods. The proposed model incorporates a symbolic component that enforces fundamental contrapuntal rules. Additionally, this thesis contributes a preprocessed dataset of Renaissance polyphony, in …

A Simulation Framework For Edge Lane Roads And Bicycle Shared Roadways, Nick Sauciur

Master's Theses

Edge Lane Roads, also referred to as Advisory Bike Lanes, are a shared roadway treatment that designates space for cyclists while allowing flexible use of the roadway by motorists. They are commonly applied on lower speed corridors and can be used both where roadway width is limited and where agencies seek to manage vehicle speeds, clarify cyclist positioning, or improve shared roadway operations. The configuration provides visually designated space for cyclists while allowing motorists to encroach into that space when yielding to opposing traffic. Although interest in these facilities is growing in North America, quantitative tools for evaluating their operational …

Beyond Artifacts And Fossils: Exploring The Contributions And Socioeconomic Impacts Of Montana’S Museums And Paleontological Tourism, Emma Keinath-Lopez, Elena Bigart, Glenna Hartman, Kara Grau, Ava Worbets, Melissa Weddell

Institute for Tourism and Recreation Research Publications

This study explores how Montana’s museums, including those along the Montana Dinosaur Trail, influence communities, economies, and visitor experiences in a post-pandemic environment. Through mixed methods—511 visitor surveys at 44 museums and 18 interviews with museum professionals— this research provides a holistic understanding of museum operations, visitor motivations, and community impacts.

Law And The Self-Coordinating Market Idea, Sanjukta Paul

Articles

Much of the focus of the live Symposium was on comparing existing scholarship associated with two intellectual communities. I have no objection to that enterprise in the abstract, though I think it is a bit premature where law and political economy (LPE) is concerned and sets up an apples-to-oranges comparison to the decades-old streams of work and thinking in law and economics (L&E). But I would rather use the privilege of the space in this written Symposium to sketch what I believe is the ultimate substantive nub of contestation in this conversation about the core subject matter of “the economy” …

A Unified Methodological Framework For Generating Digital Twins Of Multi Class Uncrewed Systems (Uxs), Sai Raghava Pathuri

Shelby Hall Graduate Research Forum Presentations

No abstract provided.

Detecting Bitstream-Level Fpga Trojans With An Snn, Kylie Arnett

Shelby Hall Graduate Research Forum Presentations

Limited research has been conducted on SNNs for FPGA Trojan detection. FPGA design is often handled by manufacturers outside the U.S. FPGA manufactures outsource production to third-party foundries. This multi-step process introduces security vulnerabilities and increases risk of Hardware Trojan insertion.

Key Questions: To what extent can an FPGA be manipulated at the bitstream level to enable or disable encryption algorithms?

Can SNNs accurately detect the presence of Trojans within an FPGA?

Bridging The Distance: Expanding Access To Mental Health Services In School, Griffin Gallagher, Arayah St John, Kaylie Svir

Master of Social Work Student Policy Advocacy Briefs

All students should have equitable access to mental health services in schools. In Minnesota, there has been an 11% increase in students experiencing long-term mental health challenges since 2016, and only 1 in 5 students receive the assistance they need. Students are experiencing a lack of access to mental health services in schools due to barriers of cost, transportation, shortage of support staff, and stigma. When mental health services are not provided in schools, this results in a decrease in school attendance, higher dropout rates, and negative school environments, affecting the long-term outcomes and needs of the child. Mental health …

When You're Just Not "Indian" Enough: The Erosion Of Tribal Sovereignty In State V. Nobles And The Case For Deference To Tribes On Questions Of Indian Status, Daniel G. Sullivan

North Carolina Law Review

No abstract provided.

Teaching On The Clock, Michael Burla Do

Faculty Development Tips

No abstract provided.