Computer Sciences Commons^™

The B2biers System: A Content-Based Perspective On Maximizing Influence And Subscription In Social Networks, Konstantinos Theocharidis, Hady Wirawan Lauw

Research Collection School Of Computing and Information Systems

The popular problem of Influence Maximization (IM) asks for the k users who can maximize the influence of a fixed post in a social network. In contrast, the problem of Content- Aware Influence Maximization (CAIM) asks for the k features to form a viral tunable post in a social network starting its diffusion from a fixed set of initial adopters. CAIM paves the way for a number of novel problems to be studied that altogether can lead to the development of a system that would be valuable for advertisers who manage social network pages. This holds since features (brands) in …

Prompttutor: Effects Of An Llm-Based Chatbot On Learning Outcomes And Motivation In Flipped Classrooms, Yuhao Zhang, Eng Lieh Ouh, Chong Jee Adam Ho, Siaw Ling Lo, Kar Way Tan, Feng Lin

Research Collection School Of Computing and Information Systems

This study explores the integration of a Large Language Model (LLM) based chatbot, PromptTutor, into flipped classrooms (FC) for undergraduate Computer Science (CS) education. PromptTutor is designed to provide personalized, immediate feedback to support student learning in FC by incorporating reflective learning and scaffolding strategies. The traditional FC typically lacks this immediate feedback during the pre-class learning phase, risking decreased student motivation according to existing literature. This study examines if students improve in learning outcomes and motivation after using PromptTutor. Through a controlled crossover experiment with 50 students, the study demonstrates statistically significant improvements in students' quiz performance and motivation …

An On-The-Fly Synthesis Framework For Ltl Over Finite Traces, Shengping Xiao, Yongkang Li, Shufang Zhu, Jun Sun, Jianwen Li, Geguang Pu, Moshe Vardi

Research Collection School Of Computing and Information Systems

We present an on-the-fly synthesis framework for Linear Temporal Logic over finite traces (LTLf) based on top-down deterministic automata construction. Existing approaches rely on constructing a complete Deterministic Finite Automaton (DFA) corresponding to the LTLf specification, a process with doubly exponential complexity relative to formula size in the worst case. In this case, the synthesis cannot be conducted until the entire DFA is constructed. This inefficiency is the main bottleneck of existing approaches. To address this challenge, we first present a method for converting LTLf into Transition-based DFA (TDFA) by directly leveraging LTLf semantics, incorporating intermediate results as direct components …

Instruct2see: Learning To Remove Any Obstructions Across Distributions, Junhang Li, Yu Guo, Chuhua Xian, Shengfeng He

Research Collection School Of Computing and Information Systems

Images are often obstructed by various obstacles due to capture limitations, hindering the observation of objects of interest. Most existing methods address occlusions from specific elements like fences or raindrops, but are constrained by the wide range of real-world obstructions, making comprehensive data collection impractical. To overcome these challenges, we propose Instruct2See, a novel zero-shot framework capable of handling both seen and unseen obstacles. The core idea of our approach is to unify obstruction removal by treating it as a soft-hard mask restoration problem, where any obstruction can be represented using multi-modal prompts, such as visual semantics and textual instructions, …

Action Dubber: Timing Audible Actions Via Inflectional Flow, Wenlong Wan, Weiying Zheng, Tianyi Xiang, Guiqing Li, Shengfeng He

Research Collection School Of Computing and Information Systems

We introduce the task of Audible Action Temporal Localization, which aims to identify the spatiotemporal coordinates of audible movements. Unlike conventional tasks such as action recognition and temporal action localization, which broadly analyze video content, our task focuses on the distinct kinematic dynamics of audible actions. It is based on the premise that key actions are driven by inflectional movements; for example, collisions that produce sound often involve abrupt changes in motion. To capture this, we propose T A2Net, a novel architecture that estimates inflectional flow using the second derivative of motion to determine collision timings without relying on audio …

Shield: Multi-Task Multi-Distribution Vehicle Routing Solver With Sparsity And Hierarchy, Yong Liang Goh, Zhiguang Cao, Yining Ma, Jianan Zhou, Mohammed Haroon Dupty, Wee Sun Lee

Research Collection School Of Computing and Information Systems

Recent advances toward foundation models for routing problems have shown great potential of a unified deep model for various VRP variants. However, they overlook the complex real-world customer distributions. In this work, we advance the Multi-Task VRP (MTVRP) setting to the more realistic yet challenging Multi-Task Multi-Distribution VRP (MTMDVRP) setting, and introduce SHIELD, a novel model that leverages both sparsity and hierarchy principles. Building on a deeper decoder architecture, we first incorporate the Mixture-of-Depths (MoD) technique to enforce sparsity. This improves both efficiency and generalization by allowing the model to dynamically select nodes to use or skip each decoder layer, …

Ts-Diff: Two-Stage Diffusion Model For Low-Light Raw Image Enhancement, Yi Li, Zhiyuan Zhang, Jiangnan Xia, Jianghan Cheng, Qilong Wu, Junwei Li

Research Collection School Of Computing and Information Systems

This paper presents a novel Two-Stage Diffusion Model (TS-Diff) for enhancing extremely low-light RAW images. In the pre-training stage, TS-Diff synthesizes noisy images by constructing multiple virtual cameras based on a noise space. Camera Feature Integration (CFI) modules are then designed to enable the model to learn generalizable features across diverse virtual cameras. During the aligning stage, CFIs are averaged to create a target-specific CFIT, which is fine-tuned using a small amount of real RAW data to adapt to the noise characteristics of specific cameras. A structural reparameterization technique further simplifies CFIT for efficient deployment. To address color shifts during …

Simulating Before Planning: Constructing Intrinsic User World Model For User-Tailored Dialogue Policy Planning, Tao He, Lizi Liao, Ming Liu, Bing Qin

Research Collection School Of Computing and Information Systems

Recent advancements in dialogue policy planning have focused on optimizing system agent policies to achieve predefined goals, emphasizing strategy design, trajectory acquisition, and training efficiency. However, these approaches often overlook the critical role of user characteristics, which are essential in real-world scenarios like conversational search and recommendation, where interactions must adapt to individual user traits such as personality, preferences, and goals. To address this gap, we conduct a comprehensive study using task-specific user personas to evaluate dialogue policy planning under diverse user behaviors. Our analysis, based on these user profiles, reveals significant shortcomings in existing approaches, underscoring the necessity for …

Generalization Analysis For Supervised Contrastive Representation Learning Under Non‑Iid Settings, Minh Hieu Nong, Antoine Ledent

Research Collection School Of Computing and Information Systems

Contrastive Representation Learning (CRL) has achieved impressive success in various domains in recent years. Nevertheless, the theoretical understanding of the generalization behavior of CRL has remained limited. Moreover, to the best of our knowledge, the current literature only analyzes generalization bounds under the assumption that the data tuples used for contrastive learning are independently and identically distributed. However, in practice, we are often limited to a fixed pool of reusable labeled data points, making it inevitable to recycle data across tuples to create sufficiently large datasets. Therefore, the tuple-wise independence condition imposed by previous works is invalidated. In this paper, …

Grokformer: Graph Fourier Kolmogorov‑Arnold Transformers, Guoguo Ai, Guansong Pang, Hezhe Qiao, Yuan Gao, Hui Yan

Research Collection School Of Computing and Information Systems

Graph Transformers (GTs) have demonstrated remarkable performance in graph representation learning over popular graph neural networks (GNNs). However, self-attention, the core module of GTs, preserves only low-frequency signals in graph features, leading to ineffectiveness in capturing other important signals like high-frequency ones. Some recent GT models help alleviate this issue, but their flexibility and expressiveness are still limited since the filters they learn are fixed on predefined graph spectrum or spectral order. To tackle this challenge, we propose a Graph Fourier Kolmogorov-Arnold Transformer (GrokFormer), a novel GT model that learns highly expressive spectral filters with adaptive graph spectrum and spectral …

Cracking Aegis: An Adversarial Llm-Based Game For Raising Awareness Of Vulnerabilities In Privacy Protection, Jiaying Fu, Yiyang Lu, Zehua Yang, Fiona Fui-Hoon Nah, Ray Lc

Research Collection School Of Computing and Information Systems

Traditional methods for raising awareness of privacy protection often fail to engage users or provide hands-on insights into how privacy vulnerabilities are exploited. To address this, we incorporate an adversarial mechanic in the design of the dialogue-based serious game Cracking Aegis. Leveraging LLMs to simulate natural interactions, the game challenges players to impersonate characters and extract sensitive information from an AI agent, Aegis. A user study (n=22) revealed that players employed diverse deceptive linguistic strategies, including storytelling and emotional rapport, to manipulate Aegis. After playing, players reported connecting in-game scenarios with real-world privacy vulnerabilities, such as phishing and impersonation, and …

Exploring The Capabilities Of Llms For Code-Change-Related Tasks, Lishui Fan, Jiakun Liu, Zhongxin Liu, David Lo, Xin Xia, Shanping Li

Research Collection School Of Computing and Information Systems

Developers deal with code-change-related tasks daily, e.g., reviewing code. Pre-trained code and code-change-oriented models have been adapted to help developers with such tasks. Recently, large language models (LLMs) have shown their effectiveness in code-related tasks. However, existing LLMs for code focus on general code syntax and semantics rather than the differences between two code versions. Thus, it is an open question how LLMs perform on code-change-related tasks.To answer this question, we conduct an empirical study using 1B parameters LLMs on three code-change-related tasks, i.e., code review generation, commit message generation, and just-in-time comment update, with in-context learning (ICL) and parameter-efficient …

Diversity Optimization For Travelling Salesman Problem Via Deep Reinforcement Learning, Qi Li, Zhiguang Cao, Yining Ma, Yaoxin Wu, Yue-Jiao Gong

Research Collection School Of Computing and Information Systems

Existing neural methods for the Travelling Salesman Problem (TSP) mostly aim at finding a single optimal solution. To discover diverse yet high-quality solutions for Multi-Solution TSP (MSTSP), we propose a novel deep reinforcement learning based neural solver, which is primarily featured by an encoder-decoder structured policy. Concretely, on the one hand, a Relativization Filter (RF) is designed to enhance the robustness of the encoder to affine transformations of the instances, so as to potentially improve the quality of the found solutions. On the other hand, a Multi-Attentive Adaptive Active Search (MA3S) is tailored to allow the decoders to strike a …

Being And Becoming In The Algorithmic Age, Bernard E. Harcourt

Faculty Scholarship

To change the world: the prerequisite, most often, is to change our experience of the world, to experience the world differently, to be shaken to our foundations, to have one’s sense of self shattered. That is a process of both being and becoming. In order to turn that process in our favour, in this age of artificial intelligence, it will be crucial to transform data and algorithms into bits of justice.

Future-Proofing Careers: Unlocking The Potential Of Ai-Driven Digital Badges, Harika Rao

Faculty and Staff Publications & Presentations

This poster explores the transformative role of AI-driven digital badges and microcredentials in addressing the urgent need for adaptable, workforce-ready graduates in an era of rapid technological change. By offering personalized, stackable, and industry-aligned credentials, higher education institutions can empower learners with just-in-time skills that traditional degree programs often fail to provide. This poster highlights how AI can support granular competency assessment, flexible online delivery, and lifelong learning pathways, enabling students to showcase evidence of skill mastery in ways that are both affordable and scalable.

Robust Contraction Decomposition For Minor-Free Graphs And Its Applications, Bandyapadhyay Sayan, William Lochet, Daniel Lokshtanov, Dániel Marx, Pranabendu Misra, Multiple Additional Authors

Computer Science Faculty Publications and Presentations

We prove a robust contraction decomposition theorem for H-minor-free graphs, which states that given an H-minor-free graph G and an integer p, one can partition in polynomial time the vertices of G into p sets Z₁,… ,Z_p such that tw(G/(Z_i ⧵ Z')) = O(p + |Z'|) for all i ∈ [p] and Z' ⊆ Z_i. Here, tw(⋅) denotes the treewidth of a graph and G/(Z_i ⧵ Z') denotes the graph obtained from G by contracting all edges with both endpoints in Z_i ⧵ Z'. Our result generalizes earlier results by Klein [SICOMP 2008] and Demaine et al. [STOC 2011] based …

Quantum Analysis Of Protein–Ligand Binding By Integrating Structural Resolution, Sequence Homology, And Ligand Properties, Don Roosan, Samira Samrose, Rubayat Khan, Saif Nirzhor, Brian Provencher

Computer and Data Science Faculty Publications

Predicting protein–ligand binding affinity is a fundamental challenge in computational biology and drug discovery, complicated by diverse factors including protein sequence variability, ligand chemical diversity, and structural resolution. Here, we present an integrative study that combines classical machine learning and quantum-enhanced modeling to investigate how crystal structure resolution, sequence similarity, and ligand properties jointly influence binding affinity. Using a curated “refined” dataset from PDBbind and an expanded general dataset, we first conduct correlation and regression analyses to quantify the relationships among binding affinity, ligand descriptors (e.g., molecular weight, logP), and protein structural metrics (resolution, R-factor). We observe moderate positive correlations …

Fuzzy-Ahp Based Decision Support System For The Selection Of Optimal Maintenance Strategy For Meter Gauge Railway Infrastructure: A Review, Hamisi J. Maulid

Tanzania Journal of Engineering and Technology (TJET)

There are many uncertainties and complexities associated with maintaining Meter Gauge Railway (MGR) infrastructure, which calls for a methodical approach to decision-making. The development and application of a fuzzy-AHP-based decision support system (DSS) to select the optimal maintenance strategy for the MGR are presented in this study. The review covers research from 2013 to 2023 and focusses on the use of Multi-Criteria Decision Making (MCDM) and Fuzzy Analytic Hierarchy Process (Fuzzy-AHP) techniques in railway infrastructure maintenance. To manage the inherent uncertainties and subjective judgements involved in maintenance decision-making, the Fuzzy-AHP methodology combines fuzzy logic with the Analytic Hierarchy Process (AHP). …

Energy Optimal Coverage Motion Trajectory Generation Using A Fourth-Order Motion Profile, Mathias Halinga

Tanzania Journal of Engineering and Technology (TJET)

Industrial machines are widely used in manufacturing sector to manufacture several products to meet customer demands. Most of these industries runs all the time throughout a day leading to high operating cost. To cut costs and satisfy customer demand for precise products, industrial machines’ motion generation is important in improving machine motion precision while using less energy. This study presents a coverage motion energy optimization which is generated by linear interpolation of each segment described by the fourth-order motion profile. The phase changes in the profile are attained with continuity of machine kinematic limits jerk, acceleration, and velocity, which are …

Analysis Of An Improved Reliability Dual-Buck Structured Three-Level Flying Capacitor Inverter, Almachius Kahwa Dr.

Tanzania Journal of Engineering and Technology (TJET)

With the increased demand for high-reliability power converters in the electric drive-train and propulsion systems, the efforts to design and analyze converters with high fault tolerance have become apparent. Among the emerging trends to improve the reliability of power converters is the incorporation of dual-buck (DB) structures in traditional converter topologies. Thus, this paper studies a single-phase dual-buck structured three-level flying capacitor (FC) inverter. The dual-buck flying capacitor (DBFC) inverter was constructed in such a way as to suppress the shoot-through problems that may occur because of the switching mismatch and gate driver delay, as exhibited in the traditional FC …

The Future Of Foreign Language Learning In The Age Of Artificial Intelligence: A Critical Analysis Of Trends, Challenges, And Opportunities, Ahmad Aljanadbah, Rashid Hamad Al Marri, Hamad Mubarak Almarri

All Works

The integration of Artificial Intelligence (AI) in foreign language education is transforming how languages are taught and learned. This study investigates the current trends, advantages, and challenges of AI applications in language acquisition. Employing a qualitative content analysis method, the research analyzes scholarly publications and practical innovations in AI-based tools, such as adaptive learning systems, intelligent chatbots, and automated writing feedback. The findings highlight AI's potential to enhance personalized instruction, boost learner engagement, and expand access to authentic language materials. Nonetheless, the study also reveals notable limitations, including concerns about data privacy, diminished human interaction, and ethical risks related to …

Towards Metrology 4.0 In Developing Countries’ Manufacturing Industries, Jailos Nzumile

Tanzania Journal of Engineering and Technology (TJET)

A systematic literature review was conducted to unveil the status of the digital transformation of metrology in developing countries, as they are lagging in utilising fourth industrial revolution (IR4.0) technologies to transform manufacturing industries. A PRISMA technique was employed using various keywords to identify, screen, and select the relevant literature. Forty publications were selected for the review, mainly discussing IR 4.0 technologies in metrological operations. The results indicate that the digital transformation of metrology has yet to be initiated in developing countries. However, the employment of IR4.0 technologies in advancing metrological operations in manufacturing industries is mostly discussed in the …

Towards Future Sustainable Infrastructure: The Role Of Technical Audit In Tanzania’S Public Works, George C. Haule

Tanzania Journal of Engineering and Technology (TJET)

This study aimed to investigate the vital role and impact of technical audits in promoting sustainable infrastructure development in Tanzania. The role and effects of technical audits in long-term infrastructure development were studied using a mixed-methods approach with both quantitative and qualitative parts. Data were collected through analysis of technical audit documentation, a semi-structured questionnaire, and stakeholder interviews. The study revealed the various dimensions of infrastructure investment projects, including initiation and planning, design, procurement of contractors and consultants, contract management, environment, health, and safety. The technical audit findings reported weaknesses or non-performance issues in infrastructure planning at the national level …

The Effectiveness Of Scenario-Based Cybersecurity Day Camps In Southern Rural Appalachia, Anna P. Rodgers-Stine, Tania Williams

Journal of Cybersecurity Education, Research and Practice

As the emphasis on cybersecurity instruction in the K12 environment continues to expand, furthering access to cybersecurity education is paramount across the United States. While designated cybersecurity courses are not available in many schools, the implementation of cybersecurity camps may help to bridge the gap and increase student interest in and awareness of cybersecurity as a field. From 2021 through 2024, cybersecurity day camps were held in a region in rural southern Appalachia with the goal of increasing student interest and access to cybersecurity topics. Through the creation and implementation of these camps, it was found that scenario-based cybersecurity day …

Advancements In Refreshable Braille Display Technology: A Comprehensive Survey, Maryam Etezad, Rajeev Joshi, Franceli L. Cibrian

Engineering Faculty Articles and Research

This paper provides a comprehensive mapping literature review of the advancements in refreshable Braille display (RBD) technology, which employs dynamically movable pins or dots to render Braille characters for individuals with blindness and visual impairment. This literature review, which includes 96 papers, aims to summarize the current evidence on six distinct types of RBDs: piezoelectric, electromagnetic, electroactive polymer (EAP), pneumatic, shape memory alloy (SMA), and microfluidic technologies. For each type, we discuss the underlying mechanisms, alongside the current trends and research opportunities. This comparative analysis aims to inform the selection of appropriate RBD technology based on specific user needs and …

Assessment Of Digital Solutions For Conformity Assessment Of Legally Controlled Measuring Instruments In Tanzania, Faraja Nyoni

Tanzania Journal of Engineering and Technology (TJET)

The advent of state-of-the-art digital technologies since 2011 has led to the digital transformation of legal metrology practices to ensure the trustworthiness of software-controlled measuring instruments globally. Despite the digital transformation in legal metrological practices, the conformity assessment of legally controlled measuring instruments is manually done (i.e., paper-based) in Tanzania. The paper-based conformity assessment of legally controlled measuring instruments is prone to error and lacks efficiency and effectiveness. This study aimed to assess digital solutions for improving conformity assessment through a comprehensive survey conducted across various regions in Tanzania, targeting a stratified sample of 51 respondents from organizations involved in …

Artificial Intelligence In Higher Education: A Case Study Of Faculty Teaching Methodologies At A Private University, Ellen Ramsey, George Antoniou, Matteo Peroni, Brent Muckridge, Raouf Ghattas, Philip L. Fazio, Wendy Wallberg, Saidi Porta, Gary Solomon, Mary Smith, Kristen Migliano, Karima Lanfranco, Lianfen Qian, David G. Wolf

Faculty and Staff Publications & Presentations

This qualitative case study investigates faculty perspectives on artificial intelligence (AI) integration within a private university context, examining pedagogical, administrative, and ethical implications. Data collected through semi-structured interviews with faculty across four disciplines revealed ambivalent yet cautiously optimistic attitudes. Participants acknowledged AI’s potential to enhance personalized learning and reduce bureaucratic burdens through automation. However, three critical barriers emerged: (1) insufficient institutional technological infrastructure, (2) lack of systematic faculty training programs, and (3) unresolved ethical dilemmas surrounding data privacy, algorithmic bias, and academic integrity. Notably, while faculty welcomed AI as a supplemental tool, they unanimously emphasized the irreplaceable role of human …

Developing Sky Plots Of Rocket Launches From Gps Scintillation Data, Ishaan Dey, Kshitija Deshpande

Beyond: Undergraduate Research Journal

Sky plots displaying GPS satellite and rocket launch trajectories are developed to determine the spatial correlation between satellites that display ionospheric scintillations and heavy thrust-producing rockets. The trajectories of three major Falcon Heavy and Artemis 1 rocket launches are used within this paper. Python code is utilized to compute and plot Ionospheric Pierce Point (IPP) coordinates which are then used to produce satellite trajectories from the receiver's point of view. Rocket latitude, longitude, and altitude data is integrated within the code to provide extensive detail into the location of the rocket in relation to GPS satellites that displayed scintillations from …

Refinement Or Disruption: Patterns Of Critical Inquiry In Computing Ethics Assignments, Vincent Barfield, Charles Wallace

Michigan Tech Publications

Ethical inquiry in computing has an evolving nature, where repeated critical questioning may lead to a series of reframings of the problem. Since many computing students have experience with agile project-based courses, an iterative approach can provide a familiar entry into ethics. Agile development, however, is typically oriented around satisfaction of customer goals, while ethical inquiry requires constant questioning that may cast those goals into doubt. Does the similarity between critical ethical inquiry and iterative development provide a helpful model or breed a false familiarity? To address this question, we examine student work in a computing ethics course, involving iterative …

Beyond The Hype: The Fundamental Challenges Of Machine Learning-Based Android Malware Detection In Cybersecurity, Guojun Liu

USF Tampa Graduate Theses and Dissertations

Machine learning (ML) algorithms have achieved remarkable success across various domains, including cybersecurity. Inspired by these advancements, the academic security community has explored numerous ML-based approaches for Android malware detection. While ML holds significant promise in this domain, its practical deployment faces substantial challenges, including data collection, feature selection, app representation across different models, performance instability across datasets, and inherent limitations of learning-based malware detection. These challenges can lead to overly optimistic detection results and weaken the reliability of malware detection frameworks.

Android malware detection has been extensively studied using both traditional ML and deep learning (DL) approaches. Although many …