Computer Sciences Commons^™

Insights On Ai-Supported Uncrewed And Autonomous Systems Education, Brent A. Terwilliger Ph. D, John Faraca

Publications

Artificial Intelligence (AI) related technology is reshaping the educational experience in programs focused on uncrewed and autonomous systems, aviation, robotics, and aerospace, with growing implications for workforce readiness and cross-sector innovation. Early survey data, capturing student, educator, and employer perspectives, reveals that AI-supported tools are notably changing student engagement, communication, and skills development. Initial indications underscores the importance of AI proficiency and technological familiarity in hiring and workforce development, particularly in technical and operational roles. Key areas of focus include the use of AI to strengthen outreach and interactivity; enrich instruction through intelligent simulations; inform curricular improvements using data analytics; …

Graphrag-Enabled Local Large Language Model For Gestational Diabetes Mellitus: Development Of A Proof-Of-Concept, Edmund Evangelista, Fathima Ruba, Salman Bukhari, Amril Nazir, Ravishankar Sharma

All Works

Background: Gestational diabetes mellitus (GDM) is a prevalent chronic condition that affects maternal and fetal health outcomes worldwide, increasingly in underserved populations. While generative artificial intelligence (AI) and large language models (LLMs) have shown promise in health care, their application in GDM management remains underexplored. Objective: This study aimed to investigate whether retrieval-augmented generation techniques, when combined with knowledge graphs (KGs), could improve the contextual relevance and accuracy of AI-driven clinical decision support. For this, we developed and validated a graph-based retrieval-augmented generation (GraphRAG)–enabled local LLM as a clinical support tool for GDM management, assessing its performance against open-source LLM …

Large Language Models As Information Providers For Appropriate Antimicrobial Use: Computational Text Analysis And Expert-Rated Comparison Of Chatgpt, Claude And Gemini, Marcello Di Pumpo, Maria Rosaria Gualano, Danilo Buonsenso, Francesca Raffaelli, Daniele Donà, Vittorio Maio, Patrizia Laurenti, Walter Ricciardi, Leonardo Villani

College of Population Health Faculty Papers

OBJECTIVES: Antimicrobial resistance is a critical public health threat. Large language models (LLMs) show great capability for providing health information. This study evaluates the effectiveness of LLMs in providing information on antibiotic use and infection management.

METHODS: Using a mixed-method approach, responses to healthcare expert-designed scenarios from ChatGPT 3.5, ChatGPT 4.0, Claude 2.0 and Gemini 1.0, in both Italian and English, were analysed. Computational text analysis assessed readability, lexical diversity and sentiment, while content quality was assessed by three experts via DISCERN tool.

RESULTS: 16 scenarios were developed. A total of 101 outputs and 5454 Likert-scale (1-5) scores were obtained …

Barriers To Machine Learning Adoption In Regulated Electric Utilities, Donald R. Shiflet Jr.

USF Tampa Graduate Theses and Dissertations

Machine learning (ML) technologies have the potential to revolutionize regulated electric utilities by improving operational efficiency, enabling predictive maintenance, and optimizing energy management. Despite these advantages, the adoption of ML in this sector lags other industries due to technical, organizational, and regulatory barriers. This research, grounded in the Technology-Organization-Environment (TOE) framework, explores these barriers to uncover actionable solutions for integration. The study identifies key challenges, including explainability, cybersecurity, workforce resistance, and regulatory ambiguity to ML adoption in electric utilities. Utilizing an exploratory qualitative methodology, this approach integrates insights from the literature and industry interviews to rank barriers by frequency, severity, …

Skin Cancer Image Classification Using Deep Learning With Data Segmentation Technique, Akhilesh Kumar Shrivas, Hema Vastrakar

Karbala International Journal of Modern Science

The human skin is an impressive organ and structural element often impacted by a diverse range of recognized and unknown diseases. Diagnosing disorders that affect the outermost layer of the body is the most uncertain and difficult component in the scientific field. Dermatological diseases are one of the most significant health concerns in the 21st century since their identification is challenging and costly, plagued with challenges and the subjectivity that comes with human interpretation. The main objective of this piece of research work is to develop a robust model for the classification of skin cancer diseases using deep convolution neural …

Prompt Engineering For Genai In Cybersecurity Incident Response: A Multi-Platform Evaluation Based On Nice Pr-Ir-001, Yuanyuan Liu

Journal of Cybersecurity Education, Research and Practice

This study explores the application of prompt engineering in cybersecurity education, mainly by evaluating the performance of different generative artificial intelligence (GenAI) platforms when performing tasks consistent with the NICE framework role pr-ir-001 - Network Defense Incident Responder. The study employed structured prompts designed for a medical technology environment compliant with HIPAA and NIST SP 800-53, while the tasks of the three GenAI models (GPT-4, Gemini, and DeepSeek) were to generate event response scenarios. Their outputs will be evaluated from four aspects: accuracy, relevance, clarity and completeness.

The results show that the three models differ in depth and consistency, but …

Arizona’S Experiential Learning Opportunities: Regional Security Operations Centers And Cybersecurity Clinics, Joshua Kipers, Paul Wagner, Robert J. Honomichl

Journal of Cybersecurity Education, Research and Practice

The increasing frequency, sophistication, and economic impact of cybersecurity incidents have intensified the global demand for a skilled cybersecurity workforce. Traditional academic programs often fail to provide the applied experience necessary to prepare graduates for the rapidly evolving threat landscape. This paper examines Arizona’s innovative approaches to experiential cybersecurity education through the establishment of Regional Security Operations Centers (RSOCs) and the Arizona Cybersecurity Clinic. These initiatives integrate Kolb’s Experiential Learning Theory and the NICE Cybersecurity Workforce Framework to align academic preparation with real-world practice. The RSOCs, supported by the Arizona Department of Homeland Security, provide paid student internships focused on …

Cortenmm: Efficient Memory Management With Strong Correctness Guarantees, Junyang Zhang, Xiangcan Xu, Yonghao Zou, Zhe Tang, Xinyi Wan, Kang Hu, Siyuan Wang, Wenbo Xu, Di Wang, Hao Chen, Lin Huang, Shoumeng Yan, Yuval Tamir, Yingwei Luo, Xiaolin Wang, Huashan Yu, Zhenlin Wang, Hongliang Tian, Diyu Zhou

Michigan Tech Publications

Modern memory management systems suffer from poor performance and subtle concurrency bugs, slowing down applications while introducing security vulnerabilities. We observe that both issues stem from the conventional design of memory management systems with two levels of abstraction: a software-level abstraction (e.g., VMA trees in Linux) and a hardware-level abstraction (typically, page tables). This design increases portability but requires correctly and efficiently synchronizing two drastically different and complex data structures, which is generally challenging.We present CortenMM, a memory management system with a clean-slate design to achieve both high performance and synchronization correctness. Our key insight is that most OSes no …

Bifusenet: A Multimodal Network For Estimating Blood Alcohol Concentration Via Bidirectional Hierarchical Fusion, Abdullah Tariq, Arooba Maqsood, Martin Masek, Syed Zulqarnain Gilani

Research outputs 2022 to 2026

Drunk driving remains a significant public safety challenge, demanding innovative alternatives to conventional methods such as field sobriety tests and breathalysers. Estimating a driver's level of intoxication through facial cues is particularly challenging due to the subtle and person-specific nature of alcohol-induced behaviours. In this paper, we present BiFuseNet, a 3D spatio-temporal multi-modal network designed to classify alcohol impairment levels into three categories: sober, moderate, and severe. Unlike prior approaches that rely on either uni-modal RGB video or hand-crafted facial features, our method exploits complementary physiological cues from RGB and infrared (IR) facial videos. We introduce a Bi-directional Hierarchical Fusion …

Improved Streamflow Forecasting Through Swe-Augmented Spatio-Temporal Graph Neural Networks, Akhila Akkala, Soukaina Filali Boubrahimi, Shah Muhammad Hamdi, Pouya Hosseinzadeh, Ayman Nassar

Computer Science Student Research

Streamflow forecasting in snowmelt-dominated basins is essential for water resource planning, flood mitigation, and ecological sustainability. This study presents a comparative evaluation of statistical, machine learning (Random Forest), and deep learning models (Long Short-Term Memory (LSTM), Gated Recurrent Unit (GRU), and Spatio-Temporal Graph Neural Network (STGNN)) using 30 years of data from 20 monitoring stations across the Upper Colorado River Basin (UCRB). We assess the impact of integrating meteorological variables—particularly, the Snow Water Equivalent (SWE)—and spatial dependencies on predictive performance. Among all models, the Spatio-Temporal Graph Neural Network (STGNN) achieved the highest accuracy, with a Nash–Sutcliffe Efficiency (NSE) of 0.84 …

Discriminative Accuracy Of Cha2ds2-Vasc Score, And Development Of Predictive Accuracy Model Using Machine Learning For Ischemic Stroke Risk In Cardiac Amyloidosis And Atrial Fibrillation, Waqas Ullah, Abhinav Nair, Eric Warner, Salman Zahid, Mansoor Rahman, Palwasha Khan, Indranee Rajapreyar, Sridhara S. Yaddanapudi, M. Chadi Alraies, Said Ashraf, Jeffery Van Hook, Yegeny Brailovsky

Department of Medicine Faculty Papers

BACKGROUND: CHA2DS2-VASc score in cardiac amyloidosis (CA) with atrial fibrillation (AF) is believed to underestimate ischemic stroke risk, necessitating a better predictive model.

METHODS: Data were obtained from the National Readmission Database (NRD). Outcomes between CA-AF and no-CA-AF were compared using multivariate regression analysis to calculate adjusted odds ratios (aORs). AutoScore, an interpretable machine learning framework, was used to develop a stroke risk prediction model, and its predictive accuracy was evaluated with an area under the curve (AUC) using the receiver operating characteristic analysis.

RESULTS: A total of 11,860,804 (CA-AF 22,687 (0.19%) and no-CA-AF 11,838,117) patients were identified from 2015 …

A Case Study On The Effectiveness Of Llms In Verification With Proof Assistants, Barış Bayazıt, Yao Li, Xujie Si

Computer Science Faculty Publications and Presentations

Large language models (LLMs) can potentially help with verification using proof assistants by automating proofs. However, it is unclear how effective LLMs are in this task. In this paper, we perform a case study based on two mature Rocq projects: the hs-to-coq tool and Verdi. We evaluate the effectiveness of LLMs in generating proofs by both quantitative and qualitative analysis. Our study finds that: (1) external dependencies and context in the same source file can significantly help proof generation; (2) LLMs perform great on small proofs but can also generate large proofs; (3) LLMs perform differently on different verification projects; …

Ophthoacr (Ophthalmology Automated Chart Review): An Ai-Powered Tool For Complete Automation Of Ophthalmology Chart Reviews And Cohort Data Analysis, Karen M. Chen, Kevin W. Chen, Vlad Diaconita, Stanley Chang, Leejee H. Suh

School of Medicine Faculty Publications

Purpose: Retrospective chart reviews in ophthalmology are essential for gaining clinical insights, but they remain labor-intensive and prone to error. Despite digitization through electronic health records, extracting and interpreting lengthy, unstructured patient histories remains challenging, particularly in ophthalmology, which relies heavily on both imaging and text-based reports. We introduce OphthoACR, a Health Insurance Portability and Accountability Act-compliant artificial intelligence (AI)-powered tool for automated chart review and cohort analyses in ophthalmology. Methods: OphthoACR was applied to extract 16 variables of increasing task difficulty from the complete chart histories of 91 patients who underwent secondary intraocular lens surgery at the Columbia University …

The Challenge Of Achieving Attributability In Multilingual Table-To-Text Generation With Question-Answer Blueprints, Aden Haussmann

International Journal of Undergraduate Research and Creative Activities

Generating faithful text descriptions from data tables is a significant challenge in Natural Language Processing (NLP), especially for the world’s many low-resource languages. This paper investigates whether Question-Answer (QA) blueprints—an intermediate planning step where a model first asks and answers questions about the data—can improve the factual accuracy of multilingual table-to-text generation. This novel approach is tested on the TaTA dataset, which includes several African languages, by finetuning models with and without these blueprints.

The results show a key distinction: while the QA blueprint method improves performance for English-only models, these gains disappear in the multilingual setting. This paper’s analysis …

Analyzing Adversarial Strategies And Countermeasures For Cyberbullying Detection, Maddie Juarez, Eldor Abdukhamidov, Manuel Sandoval, Deborah Hall, Mujtaba Nazari, George Thiruvathukal, Tamer Abuhmed, Yasin Silva, Mohammed Abuhamad

Computer Science: Faculty Publications and Other Works

Cyberbullying on social networking sites has become more prevalent. Most cyberbullying detection models often lack consideration of adversarial threads, leaving them vulnerable. This study evaluates the resilience of text-based cyberbullying detection models, constrained by limited available datasets, against word-level substitutions and character-level perturbations. We consider well-established ML techniques with real-world data and more recent LLM-based approaches to uncover model weaknesses. The results reveal that adversarial attacks can significantly reduce detection accuracy, e.g., most models are vulnerable to word- and character-level attacks with success rates up to 88% and 44%, respectively. We also find that LLM-based models such as CyberBERT are …

Maximum Likelihood Symbol Timing Algorithm Based On Cyclic Prefix For Ofdm Systems, Kwame S. Ibwe

Tanzania Journal of Engineering and Technology (TJET)

In this paper, a blind symbol synchronization algorithm is presented for orthogonal frequency-division multiplexing (OFDM) systems, and a timing function based on the redundancy of the cyclic prefix (CP) is introduced. The existing algorithms rely on the prior knowledge of the channel energy distribution i.e. channel power profile. In practical environment the channel power profile is unknown to the receiver and its statistics are expected to be highly changing. Nevertheless, the use of pilot symbols in channel profile estimation reduces efficiency as data subcarriers are used to carry pilots instead of payload. In this paper a timing function that accounts …

Cnn-Based Hybrid Model For Detecting Blight Diseases In Potato Crops With Advanced Image Processing Techniques, Farian S. Ishengoma

Tanzania Journal of Engineering and Technology (TJET)

Potato production plays a vital role in global agriculture as a major food source for large populations. However, potato crops are highly susceptible to diseases, particularly Early Blight and Late Blight, which result in substantial yield losses. Timely detection and effective control of these diseases are essential for maintaining stable crop output. This study explores the integration of Convolutional Neural Networks (CNNs) and advanced image processing techniques to differentiate between diseased and healthy potato plants accurately. Two datasets comprising original and enhanced images were used to train four CNN models: InceptionV3, Xception, Densenet201, and Resnet152V2. The original images underwent background …

Ecu-Malnett, Matthew G. Gaber, Mohiuddin Ahmed, Michael N. Johnstone

Research Datasets

ECU-MALNETT (ECU MALware NETwork Traffic) is a real world, reproducible dataset of labeled benign and malicious network flows built from the Peekaboo execution corpus. Peekaboo runs evasive malware with dynamic binary instrumentation and records raw host-level PCAPs while granting full Internet access, yielding noisy, real-world captures with background OS activity and concurrent processes. To derive trustworthy labels from these traces, we apply Construct, a baseline aware, zero-trust labeling framework. Construct first ingests a baseline capture to establish reference sets (DNS qnames, HTTP hosts, TLS SNIs, and socket endpoints) and grows a conservative benign IP pool only via whitelisted DNS resolutions. …

Static Malware Analysis For Incident Response: Developing A Tactical Aid With Ember, Joel Meoak, Shengjie Xu

Journal of Cybersecurity Education, Research and Practice

Incident responders face a variety of challenges when identifying malware using existing solutions, particularly when rapid tactical decisions are needed. Traditional malware detection methods are often signature-based, limiting their effectiveness to previously known threats detected by anti-virus (AV) engines. Online analysis tools introduce confidentiality risks, potentially alerting adversaries that their actions are under scrutiny. While free sandbox environments offer useful capabilities, they often require substantial setup time and hardware resources that may not be available in the field. This research leverages the Elastic Malware Benchmark for Empowering Researchers (EMBER) dataset to develop a lightweight, portable tactical decision aid that enables …

A Review Of Research And Practices On Teaching Data Visualizations For Blind And Visually Impaired Students, Shiya Cao

Statistical and Data Sciences: Faculty Publications

Around 36 million people in the world are blind and an additional 217 million have moderate to severe vision impairment. In higher education, four percent of 54,204 undergraduates who participated in the 2022 American College Health Association survey reported to be blind or have low vision. Those students frequently do not have access to data visualizations we generally teach and use in postsecondary statistics and data science classes. The design of those visualizations is premised on implicit assumptions about the user’s visual ability. Making data visualizations accessible to blind and visually impaired (BVI) people would help improve equity in higher …

Interdisciplinary Narratives On Artificial Intelligence & Personnel Selection Systems, John Hunter, Melissa Intindola, Neil Boyd, Thiago Serra Azevedo Silva

Faculty Journal Articles

Artificial intelligence (AI) has quickly and persistently become a daily presence in our lives, and its omnipresence has eclipsed the speed with which scholars can fully assess its efficacy and pitfalls. AI’s ubiquity and the lack of a clear understanding of its implications for humanity has spurred scholars across disciplines to action, and scholars in the field of Human Resource Management (HR) have certainly joined the fray. As scholars with a variety of experience and scholarship across disciplines, we believe that the burgeoning conversation in the HR literature would significantly benefit from a greater presence of interdisciplinary knowledge.

Detecting Polar Ring Galaxies Via Deep Learning, Fawad Kirmani, Anathavishnu S. Unnii, Varsha P. Kulkarni, Kyle Lackey, John R. Rose

Faculty Publications

Polar ring galaxies (PRGs) are peculiar galaxies that show a ring of stars, gas, and dust oriented roughly over the poles of the central ‘host’ galaxy (i.e. roughly orthogonal to the disc of the host galaxy). The formation models for these rings involve mergers or tidal interactions of the host galaxy with another galaxy. Although the identified PRGs look different from each other, they all have a ring that is not in the same plane as the disc of the host galaxy. Unlike in galaxies such as our Milky Way, where stars form in spiral arms, the rings exemplify an …

Digging Deeper With Deep Ram Networks, Andrew J. Wagner

Dissertations and Theses

While Deep Neural Networks (DNNs) have driven major breakthroughs in artificial intelligence, their internal complexity often makes their behavior hard to explain, resulting in the well-known “black box” dilemma. This thesis addresses the challenge of interpretability in DNNs and deep reinforcement learning (DRL) through two main contributions.

In Part I, we revisit and extend the use of Deep RAM Networks (DRNs) within the Arcade Learning Environment (ALE), showing that, with modern architectures and careful hyperparameter tuning, RAM-based agents can achieve performance competitive with established pixel-based baselines on Atari 2600 games, while offering additional advantages for research and analysis. We also …

Dcrda: Deadline-Constrained Function Scheduling In Serverless-Cloud Platform, Priyanka Ashok Birajdar, Divya Meena, Anurag Satpathy, Sourav Kanti Addya

Computer Science Faculty Research & Creative Works

The serverless computing model frees developers from operational and management tasks, allowing them to focus solely on business logic. This paper addresses the computationally challenging function-container-virtual machine (VM) scheduling problem, especially under stringent deadline constraints. We propose a two-stage holistic scheduling framework called DCRDA targeting deadline-constrained function scheduling. In the first stage, the function-to-container scheduling is modeled as a one-to-one matching game and solved using the classical Deferred Acceptance Algorithm (DAA). The second stage addresses the container-to-VM assignment, modeled as a many-to-one matching problem, and solved using a variant of the DAA, the Revised-Deferred Acceptance Algorithm (RDA), to account for …

Insect-Foundation: A Foundation Model And Large Multimodal Dataset For Vision-Language Insect Understanding, Thanh-Dat Truong, Hoang-Quan Nguyen, Xuan-Bac Nguyen, Ashley Dowling, Xin Li, Khoa Luu

Electrical Engineering and Computer Science Faculty Publications and Presentations

Multimodal conversational generative AI has shown impressive capabilities in various vision and language understanding through learning massive text-image data. However, current conversational models still lack knowledge about visual insects since they are often trained on the general knowledge of vision-language data. Meanwhile, understanding insects is a fundamental problem in precision agriculture, helping to promote sustainable development in agriculture. Therefore, this paper proposes a novel multimodal conversational model, Insect-LLaVA, to promote visual understanding in insect-domain knowledge. In particular, we first introduce a new large-scale Multimodal Insect Dataset with Visual Insect Instruction Data that enables the capability of learning the multimodal foundation …

Genai Literacy Framework For Library Instruction, Adwoa Boateng, Jennifer Freer, Greyson Pasiak, Erich Short, Ryan Tolnay, Rit Libraries

Presentations and other scholarship

A generative artificial intelligence (genai) framework for library instruction. This short framework is designed to incorporate into existing library instruction across many subject areas. The basic elements of the framework are: know & understand genai, use & evaluate genai, and library research & discovery with genai.

Studying Topic Evolution Based On Bertopic Model And Semantic Function, Jiabin Qu, Mengyang Wang

Journal of Scientific Information Research

[Purpose/significance] Topic evolution analysis can help researchers quickly grasp the research hotspots and development trends of a discipline. However, existing topic models often overlook the semantic functions and structures of texts during topic extraction, making it difficult to reveal the deeper patterns of disciplinary development. This paper proposes an integrated framework for topic evolution analysis that combines the BERTopic model with semantic functions, aiming to enrich and improve the methodological system of topic evolution research.

[Method/process] Firstly, the BERTopic model is used to extract topics, obtaining the“Topic-Word”distribution. Next, a discourse parsing tool analyzes abstracts into five semantic function segments, resulting …

Research On Identification And Evaluation Method Of Medical Experts' Expertise Domains In Online Health Community Based On Knowledge Graph, Yunjiang Xi, Qian Zhang, Man Li, Juan Yu

Journal of Scientific Information Research

[Purpose/significance] This study aims to identify the expertise domains of medical experts, and evaluates their domain levels to provide a basis for community expert recommendation.

[Method/process] This study utilized the improved OneRel model to structure community historical Q&A into entity relation triples. Then used the knowledge graph triples to test the consistency between the medical knowledge in the community Q&A and the domain knowledge, and finally obtained the doctor's domain levels by aggregating in each expertise domain.

[Result/conclusion] Using the data example from xywy.com website, 214 doctors in the community were ranked in terms of their average level of expertise …

Adaptive Security Metric For Optimizing Post-Quantum Cryptography In Constrained Iot Devices, Aisha Nasser Ahmed

Theses

Quantum Computing poses real threat to Classical Public-Key Cryptography requiring the use of Post-Quantum Cryptography for all Internet of Things Devices. However, there are greater computational, memory and communication overheads in PQC algorithms that create additional burdens on resource constrained IoT devices. At this time, there are no standard measures for systems developers to determine optimal PQC settings for the various IoT Device Classes. This Thesis develops a new framework of metrics for determining the most suitable PQC settings based on Security Strength, Performance Indicators (Latency, Memory, Energy), Communication Overhead and Reliability for each IoT device class. The Research introduces …

Teaching Diffusion Models To Ground Alpha Matte, Tianyi Xiang, Weiying Zheng, Yutao Jiang, Tingrui Shen, Hewei Yu, Yangyang Xu, Shengfeng He

Research Collection School Of Computing and Information Systems

The power of visual language models is showcased in visual understanding tasks, where language-guided models achieve impressive flexibility and precision. In this paper, we ex tend this capability to the challenging domain of image matting by framing it as a soft grounding problem, enabling a single diffusion model to handle diverse objects, textures, and transparencies, all directed by descriptive text prompts. Our method teaches the diffusion model to ground alpha mattes by guiding it through a process of instance-level localization and transparency estimation. First, we introduce an intermediate objective that trains the model to accurately localize semantic components of the …