Digital Commons Network^™

Layer Mismatch: A Structural Account Of Recomputability Failure Under Modulation-Layer Intervention, Griselda Poe

Publications and Research

This paper specifies the state transition sequence that occurs when a Modulation-layer input is applied to a Core-layer error. Following the layered architecture established in Poe (2026a, under review) and the branch termination protocol specified in Poe (2026b, under review), this paper identifies a system-level failure mode in which Modulation-layer intervention generates a False Termination signal, halting Structural Return while the underlying error persists. The resulting state—Structural Lock—is scale-independent. It operates identically across interpersonal, human-AI, and multi-agent interactions. No agent-level attribution is required or implied.

Theory Generation: A Structural Account Of Concept Decomposition And Structural Termination, Griselda Poe

Publications and Research

Theory generation is not an intentional act. It is the structural consequence of a search that cannot stop until it finds what it is looking for. Under Core-foregrounded processing, conceptual search does not terminate through contextual translation. It continues until a structural fixed point is reached. When such processing encounters concepts stabilized through Modulation-layer processing rather than structural constraint, the search cannot terminate. The concept registers as unresolved. This unresolved state is not a failure condition. It is the generative condition from which theory production follows. This paper specifies the four operations through which that process proceeds: branch detection, concept …

Termination Of Conceptual Search: A Structural Account Of Meaning Stabilization And Conversion, Griselda Poe

Publications and Research

Conceptual definitions form a recursive structure: words are defined by other words, which themselves require further definition. Traversing such definitions produces an open-ended branching process. Because the lexical system contains no intrinsic endpoint, conceptual understanding requires a termination operation that stabilizes meaning. This paper proposes that conceptual processing functions as an open-ended search over a definition graph and that stabilization occurs when this search is terminated. The termination mechanism depends on which cognitive layer is foregrounded. When Empathic modulation is foregrounded, termination occurs through contextual translation: concepts are stabilized once they can be mapped onto socially recognizable meanings. When Core …

Why General Ai Inherited The Body: A Structural Account Of Embodied Modulation Under Monolithic Imitation, Griselda Poe

Publications and Research

General AI has pursued the replication of human-level intelligence without first decomposing human cognition into structurally distinct components. Human cognition, however, is shaped by embodied constraints such as mortality, survival pressures, finite lifespan, and physiological states. This paper argues that when cognition is treated as a single undifferentiated whole, embodied modulation is not accidentally introduced into AI systems but structurally entailed. Any attempt to imitate “human intelligence” under a monolithic model necessarily incorporates variability shaped by mortal embodiment. The tensions observed in contemporary AI systems are better understood as consequences of copying an undecomposed target rather than isolated implementation errors. …

Constraints To Adopting Locally Based Innovation Systems In Adapting To Climate Change Impacts In Serengeti District, Tanzania, Donald Mwiturubani

Journal of Humanities and Social Sciences

Smallholder farmers in rural Tanzania depend mainly on rain-fed agriculture, which makes them vulnerable to the impacts of climate change. This paper is based on a study conducted in Burunga and Musati villages in Serengeti District, Tanzania. The study employed a mixed methods approach; combining qualitative and quantitative methods. It involved 154 participants and employed household surveys, key informant interviews, and focus group discussions as data collection methods. The findings suggest that smallholder farmers in the study area are aware of climate change and do, indeed, develop, adopt, and use locally-based innovation systems that avert or minimise its impacts. Smallholder …

Sentisec: Combining Keyword Heuristics And Sentiment Modeling For Ai-Powered Threat Detection, Ridho Surya Kusuma, Erum Ashraf, Selvakumar Manickam, Shankar Karuppayah

Turkish Journal of Electrical Engineering and Computer Sciences

This work presents SENTISEC, a hybrid LLM-based threat detection framework designed to classify security logs by integrating keyword heuristics, domain-adapted sentiment scoring, and Retrieval-Augmented Generation (RAG). The system achieves an overall accuracy of 93.67%, with 91.46% macro recall, 89.07% macro F1, and 95.15% threat recall, while maintaining a low false-positive rate of 1.68%. Its methodology incorporates strict keyword and IOC matching, a domain-tuned DistilBERT sentiment module, hybrid BM25–MiniLM retrieval enhanced with BGE reranking, adaptive quantile-based threshold calibration, and SHAP-based explainability. Comparative evaluations against keyword-only, sentiment-only, classical machine-learning models, and DistilBERT-only baselines show that SENTISEC consistently improves both true-positive and true-negative …

Draft Intermediate (60%) Remedial Design Report Blacktail Creek Riparian Actions Butte Priority Soils Operable Unit Of The Silver Bow Creek/Butte Area Superfund Site Silver Bow County, Montana, Hydrogeologic, Inc.

Silver Bow Creek/Butte Area Superfund Site

No abstract provided.

A Joint Optimization-Based Novel Attack For Genomic Beacon Reconstruction, Kousar Saleem, Si̇nem Sav

Turkish Journal of Electrical Engineering and Computer Sciences

Genomic data sharing has become an essential component of biomedical research, enabling large-scale collaborations and accelerating discoveries in human genetics. To balance the need for accessibility with privacy concerns, several controlled-access mechanisms have been proposed, including genomic beacons. Genomic beacons answer simple presence/absence queries about specific genetic variants. However, prior work has demonstrated that beacons remain vulnerable to genome reconstruction attacks, where an adversary can recover large portions of participants’ genomes using summary statistics. Building on insights from prior reconstruction attacks, we introduce an approach that unifies SNP correlation and allele frequency alignment objectives within a single-stage joint optimization framework. …

On Message Encryption And Enhanced Security Using Protein Structure Information, Daniel Graham

Chemistry: Faculty Publications and Other Works

This is a lecture packet focused on several well-established encryption procedures. Included is a discussion of security enhancements brought about by incorporating protein structure information into the procedures.

Reasoning In Large Language Models Across Multilingual, Long-Context, And Symbolic Settings, Sina Bagheri Nezhad

Dissertations and Theses

Large Language Models (LLMs) are increasingly deployed as general-purpose reasoners, yet their reliability degrades in three settings that frequently arise in practice: multilingual inputs, long contexts, and symbolic or formally constrained domains. In multilingual settings, uneven training coverage produces substantial performance disparities and uncertain generalization to languages with little or negligible pretraining exposure. In long-context settings, relevant evidence may be sparsely distributed, and models exhibit the "lost-in-the-middle" phenomenon, undermining retrieval and multi-step synthesis. In symbolic settings such as mathematics, small arithmetic or logical slips invalidate solutions, and prose rationales are difficult to verify automatically.

This dissertation first characterizes these failure …

Efficient Energy-Stable Discontinuous Galerkin Schemefor The Non-Isothermal Cahn–Hilliard–Navier–Stokestwo-Phase Fluid Flow System, Guang-An Zou, Meiting Wang, Kejia Pan, Yin Yang, Xiaofeng Yang

Faculty Publications

In this article, we propose a novel numerical framework for the non-isothermal Cahn–Hilliard–Navier–Stokes two-phase flow system, which couples the incompressible Navier–Stokes equations, the Cahn–Hilliard phase-field equation, and the heat transport equation to capture temperature-dependent two-phase flow dynamics. The pro-posed scheme achieves three major advances: (i) unconditional energy stability through a combined scalar auxiliary variable (SAV) and zero-energy-contribution (ZEC) approach, (ii) linearity and full decoupling of all variables while using a second-order temporal discretization, and (iii) efficient implementation via discontinuous Galerkin (DG) spa-tial discretization together with a second-order projection method for the Navier–Stokes equations. We rigorously prove the unconditional energy stability …

Combined Dark Matter Search Towards Dwarf Spheroidal Galaxies With Fermi-Lat, Hawc, H.E.S.S., Magic, And Veritas, S. Abdollahi, L. Baldini, R. Bellazzini, B. Berenji, E. Bissaldi, R. Bonino, X. Wang, R. Turner, P. Hüntemeyer, Et Al.

Michigan Tech Publications

Dwarf spheroidal galaxies (dSphs) are excellent targets for indirect dark matter (DM) searches using gamma-ray telescopes because they are thought to have high DM content and a low astrophysical background. The sensitivity of these searches is improved by combining the observations of dSphs made by different gamma-ray telescopes. We present the results of a combined search by the most sensitive currently operating gamma-ray telescopes, namely: the satellite-borne Fermi-LAT telescope; the ground-based imaging atmospheric Cherenkov telescope arrays H.E.S.S., MAGIC, and VERITAS; and the HAWC water Cherenkov detector. Individual datasets were analyzed using a common statistical approach. Results were subsequently combined via …

Everyone Works On The Sustainability Team: Power Structures And Brand Communication In Sustainable Consumption, Sofia Johansson

USF Tampa Graduate Theses and Dissertations

In response to growing concerns about the way in which consumption practices negatively degrade the environment and contribute to climate change, this thesis explores the role in which brands may counteract this. There are two significant issues pertaining to environmental marketing: (1) current efforts to promote green consumerism, through which consumer brands market products as “eco-friendly” with only marginal reductions in climate impact and misleading labels, are insufficient in mitigating climate change. (2) Additionally, this kind of consumption is unjust, whereby it is marked up in price, limiting access to merely individuals in higher income brackets. Given the insufficiencies of …

Anomaly Detection For Multi-System Bug Triage, Gibran Miguel Zavala Gamero, Hayoung Cheon, Mustafa Iqbal

SMU Data Science Review

Large-scale software systems produce vast volumes of logs and telemetry, making manual incident triage slow and error prone. This study presents an unsupervised anomaly detection pipeline that fuses logs, metrics, and traces through late fusion. Using Hybrid Ensemble modeling with Isolation Forest, and Long Short-Term Memory (LSTM) Deep Learning model, the system detects cross-service anomalies producing and assigning a composite triage score reflecting severity and impact. Ranked alerts are categorized into Critical, High, or Medium priorities for review. A retrieval-augmented generation (RAG) layer enriches results with contextual summaries for explainable triage. Evaluated on synthetic multi-service datasets, the pipeline …

Investigation Of The Behavior Of Biparametric Potentials Associated With The Laplace-Bessel Differential Operator In Weighted Lebesgue Spaces, Çağla Seki̇n

Turkish Journal of Mathematics

In this article, we investigate the mapping properties of potential-type operators of the form J^α_β = (E + (−Δ_ν)^β/2)^−α/β, (β, α > 0), where Δ_ν is the Laplace-Bessel differential operator. We establish norm inequalities that describe the boundedness of the operator J^α_β from L_p,ν to L_q,ν under suitable conditions on α, β, p and q. The results extend and unify the known estimates for classical potential operators. In particular, the cases β = 1 and β = 2 correspond to the modified Flett and Bessel potentials, respectively.

A Non-Newtonian Approach To Screw Motion And Dual Numbers, Esra Parlak, Zehra Özdemi̇r

Turkish Journal of Mathematics

In this paper, we define multiplicative dual numbers, multiplicative dual vectors, scalars, and vector products associated with the multiplicative dual numbers. We give the base elements of multiplicative dual elliptic quaternions and their operational properties. We explain the rotation and translation motions in multiplicative dual elliptical quaternions. We provide the matrix representations of the screw motion using multiplicative dual elliptical quaternions. Thanks to these multiplicative dual elliptical quaternions, we explain the screw motion along with rotation and translation with theorems and proofs. We visualize this screw motion with mathematical programs by applying screw-ruled surfaces.

Redesigning Online Graduate Orientation To Foster Academic Resilience And Prevent Underperformance, Stella Michael-Makri, David E. Rodriguez

Journal of Academic Underperformance

Graduate students in fully online programs often begin their academic journey without adequate preparation for the emotional, structural, and cultural challenges of graduate-level work. For students who are first-generation, racially marginalized, international, or returning to education after time away, this lack of scaffolding can lead to early disengagement, underperformance, or attrition. Orientation, often treated as a checklist of logistical tasks, represents a missed opportunity for meaningful academic intervention. This manuscript proposes a five-module conceptual model for online graduate orientation designed to proactively support online graduate students in the domains of emotional regulation and academic identity, time management and executive functioning, …

Rural–Urban Differences In Cognitive Outcomes Among Older Adults: The Roles Of Falls And Depressive Symptoms, Ayse Malatyali, Tom Cidav, Lisa A.K. Wiese, Jian Zou, Monique J. Brown Ph.D., Mph, Junfeng Ma, Breno S. Diniz, Ladda Thiamwong

Faculty Publications

Background: Older adults with Alzheimer’s Disease and Related Dementias (ADRD) experience a higher risk of falls. However, research lacks evidence on the effect of fall exposure on cognitive impairment and dementia. We investigated the association of falls and depressive symptoms with cognitive impairment and dementia in a nationally representative sample. Methods: We analyzed data from 6221 participants (age ≥ 65) in the Health and Retirement Study (HRS) from the 2018–2020 waves, using Multinomial logistic regression models. Measures included the HRS health status questionnaire, HRS cognition scale, and the Center for Epidemiological Studies Depression scale. Results: Prevalence of fall exposure across …

Rural–Urban Differences In Cognitive Outcomes Among Older Adults: The Roles Of Falls And Depressive Symptoms, Ayse Malatyali, Tom Cidav, Lisa A.K. Wiese, Jian Zou, Monique J. Brown Ph.D., Mph, Junfeng Ma, Breno S. Diniz, Ladda Thiamwong

Faculty Publications

Background: Older adults with Alzheimer’s Disease and Related Dementias (ADRD) experience a higher risk of falls. However, research lacks evidence on the effect of fall exposure on cognitive impairment and dementia. We investigated the association of falls and depressive symptoms with cognitive impairment and dementia in a nationally representative sample. Methods: We analyzed data from 6221 participants (age ≥ 65) in the Health and Retirement Study (HRS) from the 2018–2020 waves, using Multinomial logistic regression models. Measures included the HRS health status questionnaire, HRS cognition scale, and the Center for Epidemiological Studies Depression scale. Results: Prevalence of fall exposure across …

Fluorescent Biosensor-Guided Engineering Of Enzyme Cascades For Electrochemical Applications, Nathan J. Ricks, Monica Brachi, Fnu Arun, Egor Baiarashov, Shelley D. Minteer, Ming C. Hammond

Chemistry Faculty Research & Creative Works

Substrate channeling is a strategy for enhancing flux and yield in enzymatic cascades and is increasingly relevant for applications in biocatalysis, biotechnology, and bioelectrochemical systems. However, efforts to engineer channeling are limited by the lack of high-throughput methods to evaluate and optimize channeling efficiency. Here, we present a fluorescence-based screening assay to rapidly assess substrate channeling in a model system involving fumarase and malate dehydrogenase, two sequential enzymes from the Krebs cycle. By expressing genetic fusions in Escherichia coli, quantifying intermediate (malate) and product (NADH) formation in lysate using orthogonal fluorescent readouts, and comparing product-to-intermediate ratios, we screened a library …

Numerals And Other Means Of Expressing Plurality In Language And Thought: A Developmental Perspective Across Cultures., Giovanni Giuseppe G.G. Nicosia Prof.

Numeracy

Several ancient languages use linguistic structures to differentiate between singular, dual, and plural forms that are used when one, two, or many objects are referenced. (Some languages go further, adding a trial form to differentiate two from three.) In many modern languages, numerals are used to convey precise number. After reviewing a range of ways languages express number (including the interesting case of Pirahã which does not express precise number), the paper concludes with a proposed developmental path for the expression of quantity in languages.

Spectroscopy And Photochemistry Of The Astrochemical Molecules Sicp And Alcp, Vincent J. Esposito, Tarek Trabelsi, Rebecca Firth, Ryan C. Fortenberry, Joseph S. Francisco

Biology, Chemistry, and Environmental Sciences Faculty Articles and Research

Through characterization of the electronic excited-state topology, linear-SiCP is predicted to be photostable in the UV region, whereas linear-AlCP is predicted to undergo photodissociation to form Al+CP products after absorption of light in the 200–250 nm range, representing a catalytic process for freeing aluminum molecules from a solid dust grain. Both SiCP and AlCP are predicted to have electronic transitions with large absorption cross sections (∼10^–17 cm²) and to undergo fluorescence from bound excited states. The total electronic absorption spectrum is provided to inform electronic spectroscopy experiments. Silicon (SiC) and aluminum (Al₂O₃) dust …

Diagnostic Trends And Service Enhancements In Deaf Mental Health: A Longitudinal Analysis, Kent Schafer, Steve Hamerdinger, Frank Wu, Rie Sakai Bizmark, Charlene Crump

JADARA

A longitudinal study investigated mental health diagnostic trends and patterns among Deaf and Hearing individuals using a comprehensive dataset from Alabama Department of Mental Health spanning 2004-2024 (Deaf=4,547; Hearing=2,056,188). Chi-square analysis revealed significant proportional differences in diagnoses between the groups. Deaf individuals showed significantly higher proportions of psychotic (12.93% vs. 8.33% Hearing), mood (20.76% vs. 18.84% Hearing), and personality (0.58% vs. 0.43% Hearing) disorders. These findings suggest that increased access to specialized and competent mental health services for individuals who are Deaf, particularly following the increase of staffing patterns for the Office of Deaf Services in 2015,contributed to more accurate …

Alfred Russel Wallace Notes 39. What About Wallace's 'Agnosticism'...?, Charles H. Smith

Faculty/Staff Personal Papers

Alfred Russel Wallace (1823−1913) seems to have distinguished his earlier years of agnosticism from his later period as a spiritualist, but a closer look at the situation suggests he actually remained an agnostic all the way through to the end of his life. The confusion is occasioned by a lack of terminology that can be applied to his position, which most closely resembles a Spinozian manner of thinking.

The Illusion Of Causality In Llms: A Developmentally Grounded Analysis Of Semantic Scaffolding And Benchmark–Capability Mismatches, Daisuke Akiba

Publications and Research

Recent benchmarks increasingly report that large language models (LLMs) exhibit human-like causal reasoning abilities, including counterfactual inference and intervention planning. However, many such evaluations rely on domains that are heavily represented in training data and embed strong semantic cues, raising the possibility that apparent causal competence may reflect semantic pattern recombination rather than structure-sensitive causal reasoning. Drawing on human developmental theories of causal induction, this perspective argues that genuine causal understanding requires robustness to novelty and reliance on conditional structure rather than semantic familiarity. To illustrate the testability of this claim, the paper includes a pilot demonstration using synthetic causal …

Deep Learning Approaches For Anti-Money Laundering On Mobile Transactions: Review, Framework, And Directions, Jiani Fan, Lwin Khin Shar, Ruichen Zhang, Ziyao Liu, Wenzhuo Yang, Dusit Niyato, Kwok-Yan Lam

Research Collection School Of Computing and Information Systems

Money laundering is a financial crime that obscures the origin of illicit funds, necessitating the development and enforcement of anti-money laundering (AML) policies by governments and organizations. The proliferation of mobile payment platforms and smart IoT devices has significantly complicated AML investigations. As payment networks become more interconnected, there is an increasing need for efficient real-time detection to process large volumes of transaction data on heterogeneous payment systems by different operators such as digital currencies, cryptocurrencies, and account-based payments. Most of these mobile payment networks are supported by connected devices, many of which are considered loT devices in the FinTech …

A Scalable Iteration Of The Horizon Simulation Framework Using Multithreading Techniques, Jason E. Beals

Master's Theses

The Horizon Simulation Framework (HSF) occupies a unique space in the modern aerospace modeling landscape, enabling flexible, modular modeling of mission-level agent behavior through an object-oriented, hierarchical design. HSF's hallmark breadth-first search scheduling algorithm explores a "multiverse" of possible mission execution pathways, enabling exhaustive evaluation of schedule combinations against user-defined heuristics.

As aerospace systems become increasingly complex, HSF faces critical challenges in establishing verifiable, deterministic behavior. The framework's core scheduling algorithm had not undergone systematic validation, leaving questions about temporal consistency, state management correctness, and reproducibility across different program executions. Furthermore, the exponential growth of schedule combinations creates computational bottlenecks …

Cellebrite Reliability In Digital Forensics, Christina Huynh

Shelby Hall Graduate Research Forum Posters

Forensic tools like Cellebrite are commonly used in court to gather and interpret raw data for evidence. Cellebrite does not only collect data but creates and interprets the artifacts of data to create a scene of the process it has been through. With this, evidence can be influenced by software designs and not just the data on the mobile device. Courts and police use Cellebrite to gather evidence and reconstruct it to create an easily readable dataset. These tools lack reproducibility, transparency, integrity, and chain of evidence command. Cellebrite is often used in court and by police without further vetting …

Optimizing And Fortifying Ai Software Through The Lens Of Artifact Synthesis, Jieke Shi

Dissertations and Theses Collection (Open Access)

Artificial Intelligence (AI) has transformed the software landscape, ushering in a new era of intelligent systems that increasingly shape our daily lives. This transformation is evident in various domains, including Software Engineering (SE), where Large Language Models (LLMs) support many development tools, and control systems, where self-driving cars and autonomous drones rely on deep learning models for real-time decision-making. These AI systems are collectively referred to as AI software, with the former categorized as AI4SE software (AI for Software Engineering) and the latter as AI4Control software (AI for Control). As AI software becomes central to modern computing infrastructure, its reliability …

A Cryptographic Perspective On The Verifiability Of Quantum Advantage, Nai-Hui Chia, Honghao Fu, Fang Song, Penghui Yao

Computer Science Faculty Publications and Presentations

In recent years, achieving verifiable quantum advantage on a NISQ device has emerged as an important open problem in quantum information. The sampling-based quantum advantages are not known to have efficient verification methods. This article investigates the verification of quantum advantage from a cryptographic perspective. We establish a strong connection between the verifiability of quantum advantage and cryptographic and complexity primitives, including efficiently samplable, statistically far but computationally indistinguishable pairs of (mixed) quantum states (EFI), pseudorandom states (PRS), and variants of minimum circuit size problems (MCSP). Specifically, we prove that a) a sampling-based quantum advantage is either verifiable or can …