Open Access. Powered by Scholars. Published by Universities.®

Digital Commons Network™

Open Access. Powered by Scholars. Published by Universities.®

Computer Sciences

Institution
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 1741 - 1770 of 63727

Full-Text Articles in Entire DC Network

Impediments To Transforming The Healthcare Delivery System: Shifting The Paradigm From Provider Centric To Patient Centric, Elizabeth A. Regan, Manasa Devi Chinta Mar 2026

Impediments To Transforming The Healthcare Delivery System: Shifting The Paradigm From Provider Centric To Patient Centric, Elizabeth A. Regan, Manasa Devi Chinta

Faculty Publications

Introduction: 

Stated aims for digital healthcare transformation frequently cite goals for better coordinated patient-centric systems. However, despite advances in medical science, digital technologies, health policies, and billions of dollars invested over the past 25 years, most healthcare providers are far from fully realizing the demonstrated benefits of today's digital technologies for improving patient care. Sharing information across healthcare systems remains challenging. Problems with fragmentation, quality, inequities, and rising costs of care delivery persist. A recent study of 1,026 U.S. hospital systems found that only 15.8 percent achieved a digital maturity level needed to provide digitally enabled healthcare services to better …


Review On Data Privacy And Security For Iot-Based Multifunctional Layers Of Cyber-Physical Systems In Smart Grids, Mohammad Kamrul Hasan, Md Mehedi Hasan, Nabeel Al-Qirim, Siti Norul Huda Sheikh Abdullah, Shayla Islam, Md Abdur Razzaque Mar 2026

Review On Data Privacy And Security For Iot-Based Multifunctional Layers Of Cyber-Physical Systems In Smart Grids, Mohammad Kamrul Hasan, Md Mehedi Hasan, Nabeel Al-Qirim, Siti Norul Huda Sheikh Abdullah, Shayla Islam, Md Abdur Razzaque

All Works

Smart grid cyber-physical systems (SG-CPS) are intelligent platforms that incorporate IoT-enabled multifunctional layers including the physical, perception, communication, cyber, and application layers. It includes supervisory control and data acquisition, wide-area measurement systems, and advanced metering infrastructure for remote data aggregation, monitoring, and control operations. From an environmental perspective, these green technologies support two-way operations, which generate and transmit data over wired and wireless communication systems. However, this critical infrastructure faces data privacy and cybersecurity challenges. Hence, extensive research is required to address data privacy and security gaps to strengthen national grid cybersecurity and reduce economic losses. Therefore, this review highlights …


An Ai Approach To Differentiating Lung Squamous Cell Carcinoma From Metastases Of Other Origins, Mark G Evans, Jennifer Ribeiro, Todd Maney, Anthony Helmstetter, Jennifer Johnson, Anthony Karnezis, Casey Bales, George Sledge, David Spetzler, Ari Vanderwalde, Matthew Oberley, Balazs Halmos, Hossein Borghaei, Farah Abdulla, David Bryant, Fred Hirsch, Hassan Ghani Mar 2026

An Ai Approach To Differentiating Lung Squamous Cell Carcinoma From Metastases Of Other Origins, Mark G Evans, Jennifer Ribeiro, Todd Maney, Anthony Helmstetter, Jennifer Johnson, Anthony Karnezis, Casey Bales, George Sledge, David Spetzler, Ari Vanderwalde, Matthew Oberley, Balazs Halmos, Hossein Borghaei, Farah Abdulla, David Bryant, Fred Hirsch, Hassan Ghani

Department of Medical Oncology Faculty Papers

IMPORTANCE: Distinguishing primary lung squamous cell carcinoma (SCC) from squamous metastases to the lung is a clinical challenge due to histopathologic similarities. Accurate diagnosis is essential to guide treatment decisions.

OBJECTIVE: To assess the utility of an artificial intelligence (AI) approach that includes evaluation of key orthogonal evidence in distinguishing primary lung SCCs from metastatic tumors of other tissue origins.

DESIGN, SETTING, AND PARTICIPANTS: This cross-sectional study used GPSai, a tissue-of-origin AI model run automatically on each sample submitted for molecular profiling, to flag potential misdiagnoses among research-eligible cases submitted as lung SCC. Molecularly profiled cases within the Caris Life …


Ai Is A Credibility Problem For Capital Markets, Liandong Zhang Mar 2026

Ai Is A Credibility Problem For Capital Markets, Liandong Zhang

Research Collection School Of Accountancy

In a commentary, SMU Dean of the School of Accountancy and Lee Kong Chian Professor of Accounting Zhang Liandong said that artificial intelligence (AI) is not mainly a labour problem for accountancy but also a credibility problem for capital markets. Prof Zhang noted that in an AI-rich economy, accountancy matters not just as a reporting function but also as part of the infrastructure that makes economic information reliable enough for others to act on. He added that the future of accountancy should not be framed too narrowly as a struggle for professional survival. Prof Zhang said that the bigger risk …


(Si16-11) Seasonal And Temporal Optimization Of Solar Energy Harvesting In Smart Iot Lighting Infrastructure, Abhijit Paul, Rishabh Pipalwa, Sabyasachi Mondal North - Eastern Hill University, Shillong, India Mar 2026

(Si16-11) Seasonal And Temporal Optimization Of Solar Energy Harvesting In Smart Iot Lighting Infrastructure, Abhijit Paul, Rishabh Pipalwa, Sabyasachi Mondal North - Eastern Hill University, Shillong, India

Applications and Applied Mathematics: An International Journal (AAM)

This study investigates the seasonal and temporal optimization of solar energy harvesting in a smart IoT-enabled streetlighting infrastructure by focusing on the theoretical determination of optimal solar panel tilt angles. The proposed system incorporates auto-adjusted solar panels integrated with an IoT network comprising sensors, microcontrollers, and streetlights. A key innovation lies in the implementation of a modified MQTT communication protocol, which enables efficient, localized decision-making and data exchange among components. Simulation results indicate that the modified MQTT protocol significantly reduces communication delay and power consumption compared to the conventional MQTT approach, thereby enhancing the overall system performance. Detailed analysis of …


An Odd Protocol For An Agent-Based Model Of Hepatitis C Virus Transmission With Inter- And Intra-Group Structural And Behavioural Heterogeneous Syringe-Sharing Networks (5), Seun Ale, Que Nguyen Dr., John D. Kelleher Prof., Elizabeth Hunter Dr. Mar 2026

An Odd Protocol For An Agent-Based Model Of Hepatitis C Virus Transmission With Inter- And Intra-Group Structural And Behavioural Heterogeneous Syringe-Sharing Networks (5), Seun Ale, Que Nguyen Dr., John D. Kelleher Prof., Elizabeth Hunter Dr.

Reports

The model described in this ODD is an agent-based model of hepatitis C virus (HCV) transmission among people who inject drugs (PWID). The model incorporates structural heterogeneity through a three-group interaction framework and behavioural heterogeneity through group-specific syringe-sharing rates with additional intra-group variability. The syringe-sharing population in the model is divided into core, inner, and outer circle groups representing individuals with high, moderate, and low levels of syringe-sharing interaction intensity, respectively. In addition to differences in the number of daily interaction opportunities across groups, agents in each group are assigned syringe-sharing probabilities that vary at the individual level around their …


The Application, Construction, And Validation Of Hidden Markov Model Profiles For Carbonic Anhydrase Enzymes, Samuel F. Kaplan Mar 2026

The Application, Construction, And Validation Of Hidden Markov Model Profiles For Carbonic Anhydrase Enzymes, Samuel F. Kaplan

Master's Theses

Carbonic anhydrases (CAs) catalyze the reversible hydration of CO2 and have evolved independently at least eight times, resulting in structurally distinct enzyme families (α, β, γ, δ, ζ, η, θ, ι). Traditional sequence alignment methods struggle to classify these convergently evolved proteins because their sequential similarity does not reliably indicate functional or evolutionary relationships. Many CA sequences in public databases are annotated generically without family assignments, and prior computational approaches have focused predominantly on the three well characterized families (α, β, γ), leaving the five recently discovered classes without robust classification tools. Family level assignment is often a prerequisite for …


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

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, …


Designing For Trust In Chat-Based Question Answering Systems: An Exchange-Based Retrieval Approach, Nathan Mccutchen Mar 2026

Designing For Trust In Chat-Based Question Answering Systems: An Exchange-Based Retrieval Approach, Nathan Mccutchen

Master's Theses

Community chat platforms such as Discord and Slack support spontaneous, collaborative communication but make it difficult to retrieve previously discussed information. As conversations accumulate, valuable exchanges become buried, leading to repeated questions and sustained burden on experienced community members.

This work contributes a set of design requirements for question-answering systems operating over unstructured chat data, a Discord bot prototype implementing those requirements named Echo, and an empirical evaluation of how such a system affects user trust. Rather than encoding discrete question-answer pairs or generating synthetic responses with a language model, Echo indexes conversation topics for semantic retrieval and presents results …


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

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. …


Neurosymbolic Counterpoint Generation, Paul D. Jarski Mar 2026

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 …


An Odd Protocol For An Agent-Based Model Of Hepatitis C Virus Transmission In A Two-Group Structural Heterogeneous Syringe-Sharing Network (M2), Seun Ale, Que Nguyen Dr., John D. Kelleher Prof., Elizabeth Hunter Dr. Mar 2026

An Odd Protocol For An Agent-Based Model Of Hepatitis C Virus Transmission In A Two-Group Structural Heterogeneous Syringe-Sharing Network (M2), Seun Ale, Que Nguyen Dr., John D. Kelleher Prof., Elizabeth Hunter Dr.

Reports

The model described in this ODD is an agent-based model of hepatitis C virus (HCV) transmission among people who inject drugs (PWID). The model extended a baseline homogeneous model by incorporating structural heterogeneity via a two-group interaction framework. The syringe-sharing population in the model is divided into inner and outer circle groups representing individuals with differing levels of syringe-sharing interaction intensity. While all agents share the same syringe-sharing probability and epidemiological processes remain identical across agents, the number of daily interaction opportunities differs between the two groups. Interactions in the model are generated dynamically using proximity-based sampling at each timestep …


An Odd Protocol For An Agent-Based Model Of Hepatitis C Virus Transmission In A Three-Group Structural Heterogeneous Syringe-Sharing Network (M3), Seun Ale, Que Nguyen Dr., John D. Kelleher Prof., Elizabeth Hunter Dr. Mar 2026

An Odd Protocol For An Agent-Based Model Of Hepatitis C Virus Transmission In A Three-Group Structural Heterogeneous Syringe-Sharing Network (M3), Seun Ale, Que Nguyen Dr., John D. Kelleher Prof., Elizabeth Hunter Dr.

Reports

The model described in this ODD is an agent-based model of hepatitis C virus (HCV) transmission among people who inject drugs (PWID). The model incorporates structural heterogeneity through a three-group interaction framework. The syringe-sharing population in the model is divided into core, inner, and outer circle groups representing individuals with high, moderate, and low levels of syringe-sharing interaction intensity, respectively. While the syringe-sharing rate and all epidemiological processes remain identical across agents, the number of daily interaction opportunities differs by agent grouping, capturing variation in structural position within the syringe-sharing network. Interactions are generated dynamically using proximity-based sampling at each …


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

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 …


Codeultrafeedback: An Llm-As-A-Judge Dataset For Aligning Large Language Models To Coding Preferences, Martin Weyssow, Aton Kamanda, Xin Zhou, Houari Sahraoui Mar 2026

Codeultrafeedback: An Llm-As-A-Judge Dataset For Aligning Large Language Models To Coding Preferences, Martin Weyssow, Aton Kamanda, Xin Zhou, Houari Sahraoui

Research Collection School Of Computing and Information Systems

Evaluating the alignment of large language models (LLMs) with user-defined coding preferences is a challenging endeavor that requires a deep assessment of LLMs' outputs. Existing methods and benchmarks rely primarily on automated metrics and static analysis tools, which often fail to capture the nuances of user instructions and LLM outputs. To address this gap, we introduce the LLM-as-a-Judge evaluation framework and present CodeUltraFeedback, a comprehensive dataset for assessing and improving LLM alignment with coding preferences. CodeUltraFeedback consists of 10,000 coding instructions, each annotated with four responses generated from a diverse pool of 14 LLMs. These responses are annotated using GPT-3.5 …


Plm-Effector: Unleashing The Potential Of Protein Language Models For Bacterial Secreted Protein Prediction, Dandan Zheng, Lihong Chen, Guansong Pang, Jian Yang Mar 2026

Plm-Effector: Unleashing The Potential Of Protein Language Models For Bacterial Secreted Protein Prediction, Dandan Zheng, Lihong Chen, Guansong Pang, Jian Yang

Research Collection School Of Computing and Information Systems

Bacterial secreted proteins, particularly effectors delivered by specialized secretion systems, are key mediators of virulence and host-pathogen interactions. However, accurate computational identification remains challenging, as many existing methods rely heavily on sequence similarity or handcrafted features, and often focus on a single secretion system. Recent studies have reported that some bacterial effectors may be associated with more than one secretion system, highlighting the complexity of secretion system annotation and motivating the development of system-aware computational prediction approaches. Here, we present PLM-Effector, a hybrid deep learning framework that integrates modern protein language models (PLMs) with multiple neural architectures via a two-layer …


Navigation Beyond Wayfinding: Robots Collaborating With Visually Impaired Users For Environmental Interactions, Shaojun Cai, Nuwan Janaka, Ashwin Ram, Janidu Shehan, Yingjia Wan, Kotaro Hara, David Hsu Mar 2026

Navigation Beyond Wayfinding: Robots Collaborating With Visually Impaired Users For Environmental Interactions, Shaojun Cai, Nuwan Janaka, Ashwin Ram, Janidu Shehan, Yingjia Wan, Kotaro Hara, David Hsu

Research Collection School Of Computing and Information Systems

Robotic guidance systems have shown promise in supporting blind and visually impaired (BVI) individuals with wayfinding and obstacle avoidance. However, most existing systems assume a clear path and do not support a critical aspect of navigation—environmental interactions that require manipulating objects to enable movement. These interactions are challenging for a human–robot pair because they demand (i) precise localization and manipulation of interaction targets (e.g., pressing elevator buttons) and (ii) dynamic coordination between the user’s and robot’s movements (e.g., pulling out a chair to sit). We present a collaborative human–robot approach that combines our robotic guide dog’s precise sensing and localization …


Private Set Intersection: A Systematic Review, Yunbo Yang, Defan Zhu, Jianting Ning, Qi Feng, Xiaoguo Li, Yuejia Cheng, Guomin Yang, Kui Ren Mar 2026

Private Set Intersection: A Systematic Review, Yunbo Yang, Defan Zhu, Jianting Ning, Qi Feng, Xiaoguo Li, Yuejia Cheng, Guomin Yang, Kui Ren

Research Collection School Of Computing and Information Systems

Various services, such as search engines, are increasingly deployed in cloud-based and distributed systems. However, data are typically managed by trusted servers, making user privacy and data security critical concerns. Private set intersection (PSI) is a powerful cryptographic primitive that enables multiple parties to compute the intersection of their datasets without revealing private inputs. It has been extensively studied over the past two decades, leading to significant gains in computational and communication efficiency. Yet, in many real-world scenarios, revealing the raw intersection may still leak sensitive information. To address this, numerous PSI variants have been developed to meet different application …


Explainable Artificial Intelligence Models For Detecting Suspicious Bank Transactions, Narasimha Kumar Narasapuram, Syed Afaq Ali Shah, Mohd Fairuz Shiratuddin, Ferdous Sohel Mar 2026

Explainable Artificial Intelligence Models For Detecting Suspicious Bank Transactions, Narasimha Kumar Narasapuram, Syed Afaq Ali Shah, Mohd Fairuz Shiratuddin, Ferdous Sohel

Research outputs 2022 to 2026

Detecting financial crime is a complex challenge due to evolving criminal strategies and fragmented detection systems, particularly in the areas of money laundering and fraud. While it is easy to implement, traditional rule-based approaches lack adaptability to new threats, and machine learning models, though more effective, often function as opaque "black boxes," limiting their practical use in regulated domains like banking, where interpretability and accountability are essential. This research presents a novel framework that combines intrinsic and post-hoc XAI techniques to detect suspicious bank transactions. Intrinsic methods provide model-inherent transparency, while post-hoc methods offer behavior-level explanations, enabling robust cross-verification of …


Improving Public Transport Through Machine Learning Influence Flow Analysis (Mifa): Southern England Bus Case Study, Benjamin Lee, Wolfgang Garn, Masoud Fakhimi, Nick F. Ryman-Tubb Mar 2026

Improving Public Transport Through Machine Learning Influence Flow Analysis (Mifa): Southern England Bus Case Study, Benjamin Lee, Wolfgang Garn, Masoud Fakhimi, Nick F. Ryman-Tubb

Research Collection School Of Accountancy

Public transport (PT) is crucial for enhancing the quality of life and enabling sustainable urban development. As part of the UK Transport Investment Strategy, increasing PT usage is critical to achieving efficient and sustainable mobility. This paper introduces Machine Learning Influence Flow Analysis (MIFA), a novel framework for identifying the key influencers of PT usage. Using survey data from bus passengers in Southern England, we evaluate machine learning models. Subsequently, MIFA uncovers that easy payments, e-ticketing, and mobile applications can substantially improve the PT service. MIFA’s implementation demonstrates that strength and importance lead to specific insights into how service characteristics …


Navigating Ethical Considerations And Implications Of Ai Chatbots In Higher Education: A Systematic Review, Ons Al-Shamaileh, Ramy Hammady, Mahmoud Abdelrahman, Omar Mubin Mar 2026

Navigating Ethical Considerations And Implications Of Ai Chatbots In Higher Education: A Systematic Review, Ons Al-Shamaileh, Ramy Hammady, Mahmoud Abdelrahman, Omar Mubin

All Works

This systematic review explores the ethical challenges associated with the use of AI-based chatbots in higher education, focusing on their implications for students, educators, institutions, and administrative stakeholders. Following PRISMA guidelines, peer-reviewed literature published between 2014 and 2024 was systematically identified across eight major academic databases, yielding a total of 109 eligible studies. A thematic analysis of the included literature indicates that concerns related to academic integrity are most frequently discussed, alongside recurring issues involving data privacy and security, algorithmic bias, overreliance on automated systems, and the risk of inaccurate or misleading outputs. The findings further demonstrate considerable variation in …


Law Library Blog (March 2026): Legal Beagle's Blog Archive, Roger Williams University School Of Law Mar 2026

Law Library Blog (March 2026): Legal Beagle's Blog Archive, Roger Williams University School Of Law

Law Library Newsletters/Blog

No abstract provided.


Video Generation Techniques For Novel View Synthesis With Flow-Matching Transformers, Xiuyuan Qiu Mar 2026

Video Generation Techniques For Novel View Synthesis With Flow-Matching Transformers, Xiuyuan Qiu

Master's Theses

Novel view synthesis (NVS) aims to generate images of a scene from unseen camera viewpoints. Recent work, such as Stable Virtual Camera, shows that large-scale image diffusion models like Stable Diffusion can be adapted for pose-conditioned view synthesis by incorporating video-generation techniques with camera conditioning. In this thesis, we introduce MVFlow, a new NVS model that extends this approach to a different image generation architecture: a flow-matching diffusion transformer, specifically FLUX.1, which has demonstrated strong performance in image synthesis. We evaluate MVFlow under varying input view counts and pose distance settings. Our results show that this architectural transfer is feasible; …


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

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 …


Student Mental Health: Screening For Stress, Anxiety And Depression Using Fitbit Data, Rebecca Lopez, Avantika Shrestha, Ml Tlachac, Kevin Hickey, Xingting Guo, Shichao Liu, Elke Rundensteiner Mar 2026

Student Mental Health: Screening For Stress, Anxiety And Depression Using Fitbit Data, Rebecca Lopez, Avantika Shrestha, Ml Tlachac, Kevin Hickey, Xingting Guo, Shichao Liu, Elke Rundensteiner

Information Systems and Analytics Department Faculty Conference Proceedings

College students experience many stressors, resulting in high levels of anxiety and depression. Wearable technology provides unobtrusive sensor data that can be used for the early detection of mental illness. However, current research is limited concerning the variety of psychological instruments administered, physiological modalities, and time series parameters. In this research, we collect the Student Mental and Environmental Health (StudentMEH) Fitbit dataset from students at our institution during the pandemic. We assess the ability of predictive machine learning models to screen for depression, anxiety, and stress using different Fitbit modalities. Our findings indicate potential in physiological modalities such as heart …


How Agile Became The Design Philosophy Of Ai Fishbowl Under Real-World Constraints, Jad Saad Mar 2026

How Agile Became The Design Philosophy Of Ai Fishbowl Under Real-World Constraints, Jad Saad

University Honors Theses

This capstone review examines the development of AI Fishbowl, a public-facing, interactive artificial intelligence system, as a case study in how Agile methods evolve from a project management tool into a design philosophy under real-world constraints. Although the project adopted an Agile workflow early on through a Kanban-style task management approach, the initial system design and architecture were still shaped by a largely plan-first mindset. This created a mismatch between flexible process and rigid design assumptions, which became increasingly apparent as the team moved from high-level architecture into implementation.

A critical turning point occurred when early architectural plans proved difficult …


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

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?


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

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 …


Stock Market Price Prediction Using Big Data Models Comparison Analysis, Vibhor Pal Mar 2026

Stock Market Price Prediction Using Big Data Models Comparison Analysis, Vibhor Pal

Shelby Hall Graduate Research Forum Posters

The stock market consists of complex financial datasets, and achieving stock price real time prediction needs an efficient big data framework for processing. This paper compares big data distributed data processing frameworks for forecasting stock prices using Graph Neural Networks (GNNs) - Apache Flink and Apache Spark. We analyze 70 publicly traded companies’ monthly data for the last 5 years from Yahoo Finance, ranked by Price-to-Earnings (P/E). In the companies’ datasets, there may be a connection or similarity between companies, and this can lead to similar stocks’ price behavior. These interfirm relationships are maintained by GNNs models, and their output …


Evaluating Software-Based Hardware Abstraction As A Fault Injection Countermeasure, Tristan Clark, J. Todd Mcdonald Mar 2026

Evaluating Software-Based Hardware Abstraction As A Fault Injection Countermeasure, Tristan Clark, J. Todd Mcdonald

Shelby Hall Graduate Research Forum Posters

Despite how theoretically secure a system may be, it can be compromised if an adversary has physical access to the device. This can be done by injecting hardware corruptions directly into the physical system, which is called a fault injection (FI) attack. To combat this, there is a need for robust fault-tolerant countermeasures. One such countermeasure is obfuscating the program to introduce redundancy and complexity, particularly through software-based hardware abstraction (SBHA).

This research proposes using SBHA as a countermeasure to fault injection attacks. By transforming point-function password programs, the proposed countermeasure aims to increase the difficulty of conducting successful FI …