Digital Commons Network^™

Existence And Uniqueness Of Positive Solutions For Hilfer–Hadamard-Type Fractional Differential Equations With Γ-Concave And Sub-Homogeneous Operators, Hasan Rasouli, Hojjat Afshari, Martin Bohner

Mathematics and Statistics Faculty Research & Creative Works

In this research, we present necessary and sufficient conditions for the existence and uniqueness of positive solutions for a class of Hilfer–Hadamard-type fractional differential equations with boundary value problems, including those with integral boundary conditions. The obtained results are conditional on a specific set of strong assumptions, which substantially narrow the class of admissible nonlinearities, coefficients, and boundary data. Thus, the present work extends the Hadamard-type framework to the Hilfer–Hadamard setting only within this restrictive regime, rather than providing a full extension to all Hilfer–Hadamard systems. We utilize the properties of (Formula presented.) -concave and sub-homogeneous operators along with two …

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

Tennessee Climate Office Monthly Reports

Hi All,

Heavy rains, flooding, and a few heat waves defined the month of July across Tennessee. The rainfall continued to improve drought conditions across the state but flooding impacted many areas, including parts of East Tennessee on July 12th with Cocke County reporting six landslides and infrastructure damage in many locations. A strong heatwave impacted the state during the first week of July and another heatwave impacted western TN in late July.

Mean temperatures for July 2026 were above the NOAA 1991-2020 climate normals for the month across Tennessee, with most areas of West and Middle Tennessee averaging 1-2°F …

Localizing And Repairing Backdoor-Sensitive Layers In Pre-Trained Language Models For Secure Fine-Tuning, Sunanda Das

Graduate Theses and Dissertations

Task-agnostic backdoor attacks can contaminate pre-trained language models (PLMs) in a way that survives downstream adaptation, even under full fine-tuning, making it difficult for practitioners to trust third-party checkpoints. Existing defenses often rely on privileged assumptions (e.g., access to poisoned data or trigger/target knowledge), thereby limiting their applicability in realistic settings. We present DiSec (Disentanglement of potentially adversarial weights for Secure fine-tuning), a robust and label-efficient purification framework that uses only clean auxiliary text and does not rely on downstream supervision or attack signatures. DiSec elicits model-internal signals from this clean data to separate suspicious parameter components that are inconsistent …

There Is No Free Benchmark: An Institutional View Of Legal Ai Benchmarking, Neel Guha, Andy K. Zhang, Christine Tsang, Christopher D. Manning, Julian Nyarko, Daniel E. Ho

Faculty Scholarship

Despite substantial excitement around the use of AI in law, little information exists on the performance and associated risks of the domain’s widely marketed tools. Recent work, for instance, has demonstrated the significant potential for “hallucinations” — wherein models make up facts, law, and precedent — leading Chief Justice Roberts to spotlight this risk in his annual report on the judiciary. We argue that there is a need for public AI benchmarking in law. First, relative to other AI application domains, the legal AI ecosystem lacks legibility — there is little information about the design and performance of many commercial …

Advancing Social Media Analytics And Personalized Generation Via Transfer Learning, Discourse-Aware Modeling, And Collaborative Modeling, Gibson Nkhata

Graduate Theses and Dissertations

Social media platforms have become central to information exchange, shaping public opinion across social, political, and economic domains. However, the massive volume of user-generated content, combined with its informal, nuanced, and often noisy nature, presents significant challenges for automated analysis and generation. Tasks such as stance detection, rumor verification, and personalized content generation are further complicated by sarcasm, evolving discourse structures, and diverse user preferences. Addressing these challenges requires models that can effectively leverage linguistic nuance, conversational dynamics, and collaborative user signals. Transfer learning has emerged as a powerful paradigm for improving performance in low-resource and complex language understanding tasks. …

On The Side And Angle Mixtures Expressed By Triangles: Phase Diagrams Based On Intensive State Properties, Daniel Graham

Chemistry: Faculty Publications and Other Works

This is a lecture packet focused on the side and angle mixtures of structures at the center of the planar geometry universe. The intensive states of triangles are charted with the help of phase diagrams—long-standing tools in chemical thermodynamics and materials science. The intended audience consists of students and teachers—college and high school—seeking fresh perspectives, projects, and discussion topics surrounding age-old systems.

Operational Agency: A Permeable Legal Fiction For Tracing Culpability In Ai Systems, Anirban Mukherjee, Hannah H. Chang

Research Collection Lee Kong Chian School Of Business

Modern artificial intelligence (AI) systems act with a high degree of independence yet lack legal personhood—a paradox that fractures doctrines grounded in human-centric notions of mens rea and actus reus. This Article introduces Operational Agency (OA)—a permeable legal fiction structured as an ex post evidentiary framework—and Operational Agency Graph (OAG)—a tool for mapping causal interactions among human actors, organizations, and AI systems. OA evaluates an AI’s observable operational characteristics: its goal-directedness (as a proxy for intent), predictive processing (as a proxy for foresight), and safety architecture (as a proxy for standard of care). OAG operationalizes that analysis by embedding these …

Knowledge-State Generative Agents For Pre-Assessment Question Evaluation, Ping Fan Ke, Yi Meng Lau, Siaw Ling Lo

Research Collection School Of Computing and Information Systems

This paper introduces a Knowledge‑State Generative Agent framework for evaluating the quality of pre‑assessment questions. The framework employs large language model (LLM)–based agents prompted to adopt a teacher persona to simulate the responses of students with and without mastery of targeted knowledge components. A preliminary empirical study using archival data from 424 students enrolled in an Information Systems Management course indicates that the proposed approach yields interpretable metrics under Classical Test Theory. Results further show that agents instantiated with the relevant mastered knowledge components exhibit systematically higher performance than agents lacking such mastery. In addition, the study suggests that teacher-persona …

Activity Transition Graph Generation: How Far Are We?, Jiakun Liu, Peixin Zhang, Han Hu, Yonghui Liu, Wei Minn, Ferdian Thung, Shahar Maoz, Eran Toch, Debin Gao, David Lo

Research Collection School Of Computing and Information Systems

Android applications (i.e., apps) are indispensable nowadays and are getting bigger and bigger with an increasing number offunctionalities. To understand how to access functionalities in an app, prior studies proposed tools to model the transitionsbetween functionalities with the activity transition graph (ATG). ATG is an important data structure and has been used forvarious Android app analyses, including app design, understanding, and testing. However, there is no benchmarking work onATG generation. It is still unclear whether the transitions identified by tools are correct and how many transitions are missed.To fill this gap, we manually identified all transitions in 98 applications to …

Beyond Hard Constraints: Budget-Conditioned Reachability For Safe Offline Reinforcement Learning, Brahmanage Janaka Chathuranga Thilakarathna, Akshat Kumar

Research Collection School Of Computing and Information Systems

Sequential decision-making using Markov Decision Process underpins many real-world applications. Both model-based and model-free methods have achieved strong results in these settings. However, real-world tasks must balance reward maximization with safety constraints, often conflicting objectives, that can lead to unstable min–max, adversarial optimization. A promising alternative is safety reachability analysis, which precomputes a forward-invariant safe state–action set, ensuring that an agent starting inside this set remains safe indefinitely. Yet, most reachability-based methods address only hard safety constraints, and little work extends reachability to cumulative cost constraints. To address this, first, we define a safety-conditioned reachability set that decouples reward maximization …

Scattered Hypothesis Generation For Open-Ended Event Forecasting, He Chang, Zhulin Tao, Lifang Yang, Xianglin Huang, Yunshan Ma

Research Collection School Of Computing and Information Systems

Despite the importance of open-ended event forecasting for risk management, current LLM-based methods predominantly target only the most probable outcomes, neglecting the intrinsic uncertainty of real-world events. To bridge this gap, we advance open-ended event forecasting from pinpoint forecasting to scatter forecasting by introducing the proxy task of hypothesis generation. This paradigm aims to generate an inclusive and diverse set of hypotheses that broadly cover the space of plausible future events. To this end, we propose SCATTER, a reinforcement learning framework that jointly optimizes inclusiveness and diversity of the hypothesis. Specifically, we design a novel hybrid reward that consists of …

Mab-Dqa: Addressing Query Aspect Importance In Document Question Answering With Multi-Armed Bandits, Yixin Xiang, Yunshan Ma, Xiaoyu Du, Yibing Chen, Yanxin Zhang, Jinhui Tang

Research Collection School Of Computing and Information Systems

Document Question Answering (DQA) involves generating answers from a document based on a user’s query, representing a key task in document understanding. This task requires interpreting visual layouts, which has prompted recent studies to adopt multimodal Retrieval-Augmented Generation (RAG) that processes page images for answer generation. However, in multimodal RAG, visual DQA struggles to utilize a large number of images effectively, as the retrieval stage often retains only a few candidate pages (e.g., Top-4), causing informative but less visually salient content to be overlooked in favor of common yet low-information pages. To address this issue, we propose a Multi-Armed Bandit–based …

Purifai: Detecting And Fixing Search-Induced Distortions In Web-Augmented Llms, Guoqing Wang, Zhao Zhang, Zeyu Sun, Xiaofei Xie, Yizhou Chen, Yanchao Tan, Dan Hao

Research Collection School Of Computing and Information Systems

As Large Language Models (LLMs) increasingly serve as interfaces for proprietary data (e.g., enterprise knowledge bases, legal statutes), ensuring their fidelity to trusted internal information is paramount. While integrating real-time web search can enhance model utility, it introduces a critical vulnerability: the ingestion of conflicting, misleading, or hallucinated content from the open web can override the model's adherence to its verified internal knowledge. We define this failure mode as search-induced distortion, a significant risk in high-stakes domains where the internal knowledge base serves as the absolute ground truth.To address this challenge, we present PurifAI, a proactive, model-agnostic, cache-level purification system …

Verbalizing Lightgcn: Direct Learning Of Textual Representations From User-Item Interaction Graph Via Llms, Manh-Khanh Ngo Huu, Hady Wirawan Lauw

Research Collection School Of Computing and Information Systems

In this work, we propose VerbaLightGCN, a novel LLM-based recommendation framework that integrates the semantic understanding of LLMs with user-item interaction modeling. Traditional collaborative filtering (CF) models typically embed user and item IDs into a latent space to capture interaction signals. However, pretrained LLMs cannot natively interpret these learned embeddings. To bridge this gap, VerbaLightGCN adopts a CF-as-text paradigm, in which collaborative signals are encoded in textual form and directly learned from the user–item interaction graph, and are then combined with semantic information to construct user and item profiles that function as latent embeddings. Inspired by LightGCN, our method retains …

Analysis Of Clinical Health Worker Notes With Explainable Artificial Intelligence For A Better Perspective In Preventing Readmission, Christopher Scott Klimp

Theses and Dissertations from DePaul University

Emergency Department (ED) readmissions remain a major challenge for healthcare systems, affecting both patient care quality and financial costs. Most prediction models depend largely on structured data from clinical tools that assign points to a small set of predefined factors – such as comorbidities, previous hospital visits, and behaviors such as smoking and drinking – and then sum those points to produce an overall risk score. These point-based tools leave out important information from Social Determinants of Health and a wealth of information from Community Health Workers (Community health workers (CHWs), trusted members of a community who help connect people …

Variational Speculative Decoding: Rethinking Draft Training From Token Likelihood To Sequence Acceptance, Xiandong Zou, Jianshu Li, Jing Huang, Pan Zhou

Research Collection School Of Computing and Information Systems

Speculative decoding accelerates inference for (M)LLMs, yet a training-decoding discrepancy persists: while existing methods optimize single greedy trajectories, decoding involves verifying and ranking multiple sampled draft paths. We propose Variational Speculative Decoding (VSD), formulating draft training as variational inference over latent proposals (draft paths). VSD maximizes the marginal probability of target-model acceptance, yielding an ELBO that promotes high-quality latent proposals while minimizing divergence from the target distribution. To enhance quality and reduce variance, we incorporate a path-level utility and optimize via an Expectation-Maximization procedure. The E-step draws MCMC samples from an oracle-filtered posterior, while the M-step maximizes weighted likelihood using …

An Emergent Seafood Nationalism Takes Hold In The United States, Owen Temby

School of Earth, Environmental, & Marine Sciences Faculty Publications

This paper introduces the concept of ‘seafood nationalism’ to describe how, since 2024–2025, the United States increasingly uses tariffs, trade remedies, food safety enforcement and origin-based rules to favour American seafood over foreign products. Federal actions include Executive Order 14276, Restoring American Seafood Competitiveness, which directs agencies to address unfair trade practices, unsafe imports and to develop a coordinated seafood trade strategy. Additional measures include a tariff package imposing a 10% duty on nearly all seafood imports and 30% on seafood from China, as well as new anti-dumping and countervailing duty orders on warm-water shrimp. This paper presents Gulf …

Hsv-1 Us3 Hijacks Conserved Actin Regulatory Complexes To Drive F-Actin Remodeling, Md Imran Hossain, Md Arifuzzaman, Md Mehedi Hasan, Seung Jong Park, Leila Rahimian, Ojasvi Dutta, Vladimir Chouljenko, Harikrishnan Mohan, Reza Ghavimi, Konstantin G. Kousoulas

Computer Science Faculty Research & Creative Works

The herpes simplex virus 1 (HSV-1) US3 is a multifunctional serine/threonine kinase that promotes HSV-1 replication and spread. But its role and the mechanisms by which US3 regulates actin cytoskeletal remodeling remain poorly defined. We combined flow cytometry, confocal microscopy, immunoprecipitation-mass spectrometry (IP-MS), protein complex mapping, and machine learning to characterize US3-mediated F-actin dynamics. Flow cytometry and confocal microscopy showed that wild-type HSV-1 induces significant F-actin remodeling, while the ΔUS3 mutant displays F-actin levels comparable to uninfected cells, identifying US3 as a key regulator. IP-MS identified 47 high-confidence US3 interactors enriched in conserved actin regulatory complexes, including Arp2/3 nucleation machinery, …

Advancing Imbalanced Classification Through Representation Learning, Morteza Mohammady Gharasuie

Computer Science Theses & Dissertations

Real-world datasets frequently exhibit severe class imbalance, where certain categories are significantly underrepresented relative to others, leading standard empirical risk minimization to bias learning toward majority classes and degrade performance on minority categories. This dissertation addresses imbalanced classification across both structured tabular data and long-tailed visual recognition by developing methods that improve representation learning and decision reliability under skewed distributions. For tabular data, it introduces Conditional Probability Representation (CPR), a target-based encoding framework that embeds feature–label relationships directly into the representation space, enhanced by a progressive feature upgrading mechanism for semi-supervised settings and a class-frequency–aware extension that improves robustness to …

2026 Final Insufficiently Reclaimed Sites Quality Assurance Project Plan (Qapp), Pioneer Technical Services, Inc.

Silver Bow Creek/Butte Area Superfund Site

No abstract provided.

Larger Is Not Always Better: Exploring Small Open-Source Language Models In Logging Statement Generation, Renyi Zhong, Yichen Li, Guangba Yu, Wenwei Gu, Jinxi Kuang, Yintong Huo, Michael R. Lyu

Research Collection School Of Computing and Information Systems

Developers use logging statements to create logs that document system behavior and aid in software maintenance. As such, high-quality logging is essential for effective maintenance; however, manual logging often leads to errors and inconsistency. Recent methods emphasize using large language models (LLMs) for automated logging statement generation, but these present privacy and resource issues, hindering their suitability for enterprise use. This paper presents the first large-scale empirical study evaluating small open-source language models (SOLMs) for automated logging statement generation. We evaluate four prominent SOLMs using various prompt strategies and parameter-efficient fine-tuning techniques, such as Low-Rank Adaptation (LoRA) and Retrieval-Augmented Generation …

Survey On Learning-Based Dynamic Fault Localization: From Traditional Machine Learning To Large Language Models, Chunyan Liu, Yan Lei, Huan Xie, Jinping Wang, Yue Yu, David Lo

Research Collection School Of Computing and Information Systems

Learning-based dynamic fault localization techniques play a crucial role in the field of software engineering. These techniques dynamically execute test cases to meticulously extract useful knowledge from the execution information in the program, with the aim of identifying fault locations by leveraging machine learning, deep learning, and large language models. Currently, there is already a flourishing body of research that is intensely focused on learning-based dynamic fault localization. Research literature can be categorized into two main aspects for learning-based dynamic fault localization: data-based enhancements (i.e., the datasets) and model-based enhancements (i.e., the suspiciousness algorithms). Thus, we conduct an extensive literature …

Anomaly Management In Unmanned Aerial Vehicles: A Systematic Literature Review, Ivan Tan Wei Han, Christopher M. Poskitt, Lingxiao Jiang, Lwin Khin Shar

Research Collection School Of Computing and Information Systems

Unmanned Aerial Vehicles (UAVs) are increasingly deployed in safety-critical applications such as logistics, surveillance, disaster response, and urban air mobility. While their autonomy enables powerful capabilities, it also introduces vulnerabilities due to hardware faults, software defects, communication failures, and adversarial interference. This survey presents a comprehensive review of research studies closely related to UAV anomalies published between 2015 and 2025, covering 111 papers from academic and industrial sources. We introduce a unified five-pillar taxonomy—anomaly generation, prevention, detection, recovery, and analysis—that organizes existing work across the full anomaly management lifecycle. In contrast to prior surveys that focus primarily on detection algorithms, …

Configuring Agentic Ai Coding Tools: An Exploratory Study, Matthias Galster, Seyedmoein Mohsenimofidi, Jai Lal Lulla, Muhammad Auwal Abubakar, Christoph Treude, Sebastian Baltes

Research Collection School Of Computing and Information Systems

Agentic AI coding tools increasingly automate software development tasks. Developers can configure these tools through versioned repository-level artifacts such as Markdown and JSON files. We present a systematic analysis of configuration mechanisms for agentic AI coding tools, covering Claude Code, GitHub Copilot, Cursor, Gemini, and Codex. We identify eight configuration mechanisms spanning from static context to executable and external integrations and, in an empirical study of 2,853 GitHub repositories, examine whether and how they are adopted, with a detailed analysis of Context Files, Skills, and Subagents. First, Context Files dominate the configuration landscape and are often the sole mechanism in …

Air: Improving Agent Safety Through Incident Response, Zibo Xiao, Jun Sun, Junjie Chen

Research Collection School Of Computing and Information Systems

Large Language Model (LLM) agents are increasingly deployed in practice across a wide range of autonomous applications. Yet current safety mechanisms for LLM agents focus almost exclusively on preventing failures in advance, providing limited capabilities for responding to, containing, or recovering from incidents after they inevitably arise. In this work, we introduce AIR, the first incident response framework for LLM agent systems. AIR defines a domain-specific language for managing the incident response lifecycle autonomously in LLM agent systems, and integrates it into the agent's execution loop to (1) detect incidents via semantic checks grounded in the current environment state and …

Train In Vain: Functionality-Preserving Poisoning To Prevent Unauthorized Use Of Code Datasets, Yuan Xiao, Yuchen Chen, Jiaming Wang, Wei Song, Jun Sun, Shiqing Ma, Yanzhou Mu, Juan Zhai, Chunrong Fang, Jin Song Dong, Zhenyu Chen

Research Collection School Of Computing and Information Systems

The widespread availability of large-scale code datasets has accelerated the development of code large language models (CodeLLMs), raising concerns about unauthorized dataset usage. Dataset poisoning offers a proactive defense by reducing the utility of such unauthorized training. However, existing poisoning methods often require full-dataset poisoning and introduce transformations that break code compilability. In this paper, we introduce FunPoison, a functionality-preserving poisoning approach that injects short, compilable weak-use fragments into executed code paths. FunPoison leverages reusable statement-level templates with automatic repair and conservative safety checking to ensure side-effect freedom, while a type-aware synthesis module preserves type correctness, suppresses static-analysis warnings, and …

Dual-Diffusional Generative Fashion Recommendation, Mingzhe Yu, Lei Wu, Qianru Sun, Yunshan Ma

Research Collection School Of Computing and Information Systems

Personalized generative recommender systems have emerged as a promising solution for fashion recommendation. However, existing methods primarily rely on implicit visual embeddings from historical interactions, which often contain preference-irrelevant information and result in insufficient user behavior modeling. Moreover, these models typically generate only item images, providing limited interpretability. To address these limitations, we propose DualFashion, a Dual-Diffusional Generative Fashion Recommendation Architecture that jointly models image and text modalities for personalized and explainable recommendation. DualFashion adopts a dual-diffusion Transformer with image and text branches, where structured attribute-level captions and visual outfit information are jointly used as conditioning signals to model user …

Generation-Augmented Video Corpus Moment Retrieval, Mingjin Kuai, Qianyin Xiao, Juncheng Li, Jin Peng, Lizi Liao, Wei Ji

Research Collection School Of Computing and Information Systems

Video Corpus Moment Retrieval (VCMR) requires models to efficiently retrieve and precisely locate specific moments relevant to natural language queries within a massive, untrimmed video corpus. However, existing discriminative approaches typically rely on shallow visual-textual feature matching mechanisms, which often struggle to capture fine-grained semantic differences. To address this limitation, we propose Video-GAR, a novel framework that reframes the conventional retrieval task from superficial matching to generative understanding, positing that the capability for query reconstruction evidences deep semantic comprehension. Specifically, Video-GAR orchestrates three synergistic components: To overcome the computational efficiency bottleneck, we construct a Bi-Mamba backbone that leverages the linear …

Butte Reclamation Evaluation System Corrective Action Plans For Reclaimed Sites 2025 Bres Site Specific Corrective Action Plans For Quadrant 2, Butte-Silver Bow Department Of Reclamation And Environmental Services

Silver Bow Creek/Butte Area Superfund Site

No abstract provided.

Multi-Angle Dynamic Light Scattering Experiments With Real-Time Autocorrelation Using Field-Programmable Gate Arrays, Spiros Simotas

Theses and Dissertations from DePaul University

Dynamic light scattering (DLS) determines particle size from temporal fluctuations in coherently scattered light. Here a field-programmable gate array (FPGA) computes intensity autocorrelations in real time, and an automated diffractometer with custom 3D-printed cuvette, laser, homing, and GT2-gear mounts enables multi-angle measurements. Square-wave timing tests at 1 Hz, 100 Hz, and 10 kHz verified the correlator response. Calibrated latex spheres were then measured at seven scattering angles from 32.5◦ to 44.5◦. Each autocorrelation function was fit to the standard single-exponential form g(τ ) = B + βe−2Γτ with weights from analytic per-lag Poisson uncertainties σg = pg/N based on coincidence …