Digital Commons Network^™

Unsupervised Visual Chain-Of-Thought Reasoning Via Preference Optimization, Kesen Zhao, Beier Zhu, Qianru Sun, Hanwang Zhang

Research Collection School Of Computing and Information Systems

Chain-of-thought (CoT) reasoning greatly improves the interpretability and problem-solving abilities of multimodal large language models (MLLMs). However, existing ap proaches focus on text CoT, limiting their ability to lever age visual cues. Visual CoT remains underexplored, and the only work [35] is based on supervised fine-tuning that relies on extensive labeled bounding-box data and is hard to generalize to unseen cases. In this paper, we introduce Unsupervised Visual CoT (UV-CoT), a novel framework for image-level CoT reasoning via preference optimization. UV-CoTperforms preference comparisons between model generated bounding boxes (one is preferred and the other is dis-preferred), eliminating the need for …

Morphology-Aware Hrv Estimation From Wrist Ppg In Sedentary Scenarios, Changshuo Hu, Hung Manh Pham, Dong Ma

Research Collection School Of Computing and Information Systems

Photoplethysmography (PPG) is widely used in wearable devices for non-invasive heart rate variability (HRV) monitoring. While most prior work focuses on mitigating motion artifacts, recent studies highlight that even subtle contact pressure variations can distort waveform morphology and lead to inaccurate HRV estimates. In this work, we propose a morphology-aware deep learning framework that conditions HRV estimation on beat-level waveform types. Our model jointly encodes the raw PPG waveform and a sequence of pressure-induced morphology labels using parallel encoders, integrates them via cross-attention, and predicts normal-to-normal (NN) intervals and beat count to support downstream HRV computation. Evaluated on the public …

Application Of Machine Learning For Vascular System Analysis, Alireza Bagheri Rajeoni

Theses and Dissertations

The analysis of vascular structures is critical for diagnosing, monitoring, and treating vascular diseases such as aneurysms, stenosis, and vascular calcification. Traditional methods often rely on manual interpretation of imaging data, which is time-consuming, subjective, and not scalable. This work explores the application of advanced machine learning techniques to automate and enhance vascular system analysis. Our contributions include achieving state-of-the-art accuracy in vascular segmentation, developing a machine learning pipeline to automatically quantify vascular calcification in peripheral arterial disease, and designing a multi-stage machine learning system for abdominal aortic aneurysm analysis that identifies aneurysm boundaries and estimates aneurysm volume in a …

Governance In The Absence Of Government, Tracy Hresko Pearl

Faculty Articles

Artificial intelligence (AI) is advancing at an unprecedented pace, with generative systems exerting growing influence over social, economic, and political life. While Al offers opportunities for innovation and efficiency, it also poses risks ranging from misinformation and job displacement to existential threats if highly autonomous systems evade human control. Across industry, government, and civil society, there is broad consensus that Al requires oversight.

Yet traditional U.S. regulatory approaches face six significant barriers: (1) technology outpacing legislation, (2) limited Al expertise among policymakers, (3) regulatory capture, (4) political gridlock, (5) outdated governance structures, and (6) the inherent complexity of Al. Combined …

Lsfdnet: A Single-Stage Fusion And Detection Network For Ships Using Swir And Lwir, Yanyin Guo, Runxuan An, Junwei Li, Zhiyuan Zhang

Research Collection School Of Computing and Information Systems

Traditional ship detection methods primarily rely on single-modal approaches, such as visible or infrared images, which limit their application in complex scenarios involving varying lighting conditions and heavy fog. To address this issue, we explore the advantages of short-wave infrared (SWIR) and long-wave infrared (LWIR) in ship detection and propose a novel single-stage image fusion detection algorithm called LSFDNet. This algorithm leverages feature interaction between the image fusion and object detection subtask networks, achieving remarkable detection performance and generating visually impressive fused images. To further improve the saliency of objects in the fused images and improve the performance of the …

Diffusionmat: Alpha Matting As Deterministic Sequential Refinement Learning, Yangyang Xu, Shengfeng He, Wenqi Shao, Yong Du, Kwan-Yee K. Wong, Yu Qiao, Jun Yu, Ping Luo

Research Collection School Of Computing and Information Systems

In this paper, we introduce DiffusionMat, a novel image matting framework that employs a diffusion model for the transition from coarse to refined alpha mattes. Diverging from conventional methods that utilize trimaps merely as loose guidance for alpha matte prediction, our approach treats image matting as a deterministic sequential refinement learning process. This process begins with the addition of noise to trimaps and iteratively denoises them using a pre-trained diffusion model, which incrementally guides the prediction towards a clean alpha matte. The key innovation of our framework is a correction module that adjusts the output at each denoising step, ensuring …

Information-Bottleneck Driven Binary Neural Network For Change Detection, Kaijie Yin, Zhiyuan Zhang, Shu Kong, Tian Gao, Cheng-Zhong Xu, Hui Kong

Research Collection School Of Computing and Information Systems

In this paper, we propose Binarized Change Detection (BiCD), the first binary neural network (BNN) designed specifically for change detection. Conventional network binarization approaches, which directly quantize both weights and activations in change detection models, severely limit the network's ability to represent input data and distinguish between changed and unchanged regions. This results in significantly lower detection accuracy compared to real-valued networks. To overcome these challenges, BiCD enhances both the representational power and feature separability of BNNs, improving detection performance. Specifically, we introduce an auxiliary objective based on the Information Bottleneck (IB) principle, guiding the encoder to retain essential input …

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 …

Filterfl: Knowledge Filtering-Based Data-Free Backdoor Defense For Federated Learning, Yanxin Yang, Ming Hu, Xiaofei Xie, Yue Cao, Pengyu Zhang, Yihao Huang, Mingsong Chen

Research Collection School Of Computing and Information Systems

As a distributed machine learning paradigm, Federated Learning (FL) enables large-scale clients to collaboratively train a model without sharing their raw data. However, due to the lack of data auditing for untrusted clients, FL is vulnerable to poisoning attacks, especially backdoor attacks. By using poisoned data for local training or directly changing the model parameters, attackers can easily inject backdoors into the model, which can trigger the model to make misclassification of targeted patterns in images. To address these issues, we propose a novel data-free trigger-generation-based defense approach based on the two characteristics of backdoor attacks: i) triggers are learned …

Cross-Subject Mind Decoding From Inaccurate Representations, Yangyang Xu, Bangzhen Liu, Wenqi Shao, Yong Du, Shengfeng He, Tingting Zhu

Research Collection School Of Computing and Information Systems

Decoding stimulus images from fMRI signals has advanced with pre-trained generative models. However, existing methods struggle with cross-subject mappings due to cognitive variability and subject-specific differences. This challenge arises from sequential errors, where unidirectional mappings generate partially inaccurate representations that, when fed into diffusion models, accumulate errors and degrade reconstruction fidelity. To address this, we propose the Bidirectional Autoencoder Intertwining framework for accurate decoded representation prediction. Our approach unifies multiple subjects through a Subject Bias Modulation Module while leveraging bidirectional mapping to better capture data distributions for precise representation prediction. To further enhance fidelity when decoding representations into stimulus images, …

Boosting Chart-To-Code Generation In Mllm Via Dual Preference-Guided Refinement, Zhihan Zhang, Yixin Cao, Lizi Liao

Research Collection School Of Computing and Information Systems

Translating chart images into executable plotting scripts-referred to as the chart-to-code generation task-requires Multimodal Large Language Models (MLLMs) to perform fine-grained visual parsing, precise code synthesis, and robust cross-modal reasoning. However, this task is inherently under-constrained: multiple valid code implementations can produce the same visual chart, and evaluation must consider both code correctness and visual fidelity across diverse dimensions. This makes it difficult to learn accurate and generalizable mappings through standard supervised fine-tuning. To address these challenges, we propose a dual preference-guided refinement framework that combines a feedback-driven, dual-modality reward mechanism with iterative preference learning. Our approach introduces a structured …

Auxiliary Prompt Tuning Of Vision‑Language Models For Few‑Shot Out‑Of‑Distribution Detection, Wenjun Miao, Guansong Pang, Zihan Wang, Jin Zheng, Xiao Bai

Research Collection School Of Computing and Information Systems

Recent advancements in CLIP-based out-of-distribution (OOD) detection have shown promising results via regularization on prompt tuning, leveraging background features extracted from a few in-distribution (ID) samples as proxies for OOD features.However, these methods suffer from an inherent limitation: a lack of diversity in the extracted OOD features from the few-shot ID data.To address this issue, we propose to leverage external datasets as auxiliary outlier data (i.e., pseudo OOD samples) to extract rich, diverse OOD features, with the features from not only background regions but also foreground object regions, thereby supporting more discriminative prompt tuning for OOD detection. We further introduce …

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 …

Ai-Enabled Multi-Layer Security Operations: A Combined Siem, Ids, And Threat Intelligence Model For Adaptive Cyber Defense, Mohamad Khayat

Dissertations

This dissertation presents a comprehensive framework for the evolution of Security Operation Centers (SOCs) through the integration of advanced artificial intelligence (AI), blockchain, and optimization techniques. Motivated by the increasing complexity of cyber threats and the limitations of traditional reactive SOC strategies, this work begins with a systematic literature review that identifies critical gaps in current SOC operations. Based on these insights, a reference architecture is proposed to guide the integration of intelligent components into SOC environments. To address the challenge of secure and trustworthy information sharing, a blockchain-based threat intelligence platform is developed, leveraging Byzantine Fault Tolerance and Zero-Knowledge …

Enhancing Llm Code Generation: A Systematic Evaluation Of Multi-Agent Collaboration And Runtime Debugging For Improving Accuracy, Reliability, And Latency, Nazmus Ashrafi

Theses

The use of large language models (LLMs) for automated code generation has emerged as a significant focus within AI research. As these pretrained models continue to evolve, their ability to understand and generate complex code structures has opened up new possibilities for automating intricate programming tasks with greater accuracy. Although contemporary foundational models demonstrate promising results, researchers continue to explore optimal post-training strategies to enhance code quality. These include supervised fine-tuning, retrieval-augmented generation (RAG), debugging, and many others. In this thesis, I combine two such widely used post training approaches—namely (1) multi agent collaboration and (2) runtime execution of information-based …

A System Framework To Symbolically Explore Intel Tdx Module Execution, Pansilu Pitigalaarachchillage, Xuhua Ding

Research Collection School Of Computing and Information Systems

We present TDXplorer, the first dynamic symbolic analysis system for Intel's TDX Module, the software trusted computing base of TDX. Without using TDX hardware, an analyzer function on top of TDXplorer can not only apply dynamic analysis to control and instrument the TDX Module's execution, but also carry out symbolic execution for path exploration as well as security and functionality reasoning. The two types of analysis are seamlessly integrated in a way that symbolic execution is conducted directly upon the TDX Module's binary code and runtime states, which are shaped by using dynamic analysis techniques. We implement TDXplorer on Linux …

Contrastrepair: Enhancing Conversation-Based Automated Program Repair Via Contrastive Test Case Pairs, Jiaolong Kong, Xiaofei Xie, Mingfei Cheng, Shangqing Liu, Xiaoning Du, Qi Guo

Research Collection School Of Computing and Information Systems

Automated Program Repair (APR) aims to automatically generate patches for rectifying software bugs. Recentstrides in Large Language Models (LLM), such as ChatGPT, have yielded encouraging outcomes in APR,especially within the conversation-driven APR framework. Nevertheless, the efficacy of conversation-drivenAPR is contingent on the quality of the feedback information. In this article, we propose ContrastRepair, anovel conversation-based APR approach that augments conversation-driven APR by providing LLMs withcontrastive test pairs. A test pair consists of a failing test and a passing test, which offer contrastive feedback tothe LLM. Our key insight is to minimize the difference between the generated passing test and the …

Cookingdiffusion: Cooking Procedural Image Generation With Stable Diffusion, Yuan Wang, Bin Zhu, Yanbin Hao, Chong-Wah Ngo, Yi Tan, Xiang Wang

Research Collection School Of Computing and Information Systems

Recent advancements in text-to-image generation models have excelled in creating diverse and realistic images. This success extends to food imagery, where various conditional inputs like cooking styles, ingredients, and recipes are utilized. However, a yet-unexplored challenge is generating a sequence of procedural images based on cooking steps from a recipe. This could enhance the cooking experience with visual guidance and possibly lead to an intelligent cooking simulation system. To fill this gap, we introduce a novel task called cooking procedural image generation. This task is inherently demanding, as it strives to create photo-realistic images that align with cooking steps while …

Rethinking Teaching Evaluation Reports: Designing Ai-Transformed Student Feedback For Instructor Engagement, Ruoxi Shang, Keri Mallari, Au Wei Bin Yeong, Ken Yasuhara, Anthony Tang, Gary Hsieh

Research Collection School Of Computing and Information Systems

Student feedback is critical for improving teaching, yet instructors often avoid reading evaluations due to emotional burden and information overload. We present a systematic exploration of how language models can distill and transform student evaluations into adaptive, actionable insights. Through a systematic design space exploration combining 4 feedback strategies (removing harmful content, paraphrasing criticism, sandwiching negatives, adding constructive suggestions) with 4 presentation formats (themes, cards, letters, chatbots), we created six AI-augmented prototypes of teaching evaluations. Interviews with 16 post-secondary instructors revealed that effective use of AI in feedback processing should: (1) support action formation through focused views and divergent thinking, …

Polymind: Parallel Visual Diagramming With Large Language Models To Support Prewriting Through Microtasks, Qian Wan, Jiannan Li, Huanchen Wang, Zhicong Lu

Research Collection School Of Computing and Information Systems

Prewriting is the process of generating and organising ideas before a first draft. It consists of a combination of informal, iterative, and semi-structured strategies such as visual diagramming, which poses a challenge for collaborating with large language models (LLMs) in a turn-taking conversational manner. We present Polymind, a visual diagramming tool that leverages multiple LLM-powered agents to support prewriting. The system features a parallel collaboration workflow in place of the turn-taking conversational interactions. It defines multiple ''microtasks'' to simulate group collaboration scenarios such as collaborative writing and group brainstorming. Instead of repetitively prompting a chatbot for various purposes, Polymind enables …

Stroke2sketch: Harnessing Stroke Attributes For Training-Free Sketch Generation, Rui Yang, Huining Li, Yiyi Long, Xiaojun Wu, Shengfeng He

Research Collection School Of Computing and Information Systems

Generating sketches guided by reference styles requires precise transfer of stroke attributes, such as line thickness, deformation, and texture sparsity, while preserving semantic structure and content fidelity. To this end, we propose Stroke2Sketch, a novel training-free framework that introduces cross-image stroke attention, a mechanism embedded within self-attention layers to establish fine-grained semantic correspondences and enable accurate stroke attribute transfer. This allows our method to adaptively integrate reference stroke characteristics into content images while maintaining structural integrity. Additionally, we develop adaptive contrast enhancement and semanticfocused attention to reinforce content preservation and foreground emphasis. Stroke2Sketch effectively synthesizes stylistically faithful sketches that closely …

Ivycross: A Privacy-Preserving And Concurrency Control Framework For Blockchain Interoperability, Ming Li, Jian Weng, Jia-Si Weng, Yi Li, Yongdong Wu, Dingcheng Li, Guowen Xu, Deng, Robert H.

Research Collection School Of Computing and Information Systems

Interoperability is a fundamental challenge for long-envisioned blockchain applications. A mainstream approach is using Trusted Execution Environment (TEE) to support interoperable off-chain execution. However, this incurs multiple TEE configured with non-trivial storage capabilities running on fragile concurrent processing environments, rendering current strategies based on TEE far from being practical. This paper aims to fill this gap and design a practical interoperability mechanism with simplified TEE as the underlying architecture. Specifically, we present IvyCross, a TEE-based framework that achieves low-cost, privacy-preserving, and race-free blockchain interoperability. IvyCross allows running arbitrary smart contracts across heterogeneous blockchains atop two distributed TEE-powered hosts. We design …

Polyqent: A Polynomial Quantified Entailment Solver, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Milad Saadat, Maximilian Seeliger, Dorde Zikelic

Research Collection School Of Computing and Information Systems

Polynomial quantified entailments with existentially and universally quantified variables arise in many problems of verification and program analysis. We present PolyQEnt which is a tool for solving polynomial quantified entailments in which variables on both sides of the implication are real valued or unbounded integers. Our tool provides a unified framework for polynomial quantified entailment problems that arise in several papers in the literature. Our experimental evaluation over a wide range of benchmarks shows the applicability of the tool as well as its benefits as opposed to simply using existing SMT solvers to solve such constraints.

Lens: Lightweight And Explainable Llm-Based Apt Detection At The Edge For 6g Security, Suhib Bani Melhem, Muhammed Golec, Abdulmalik Alwarafy, Yaser Khamayseh

All Works

Expected to be deployed in the early 2030s, sixth-generation (6G) wireless networks, with their high speed and integration with cutting-edge technology such as intelligent edge computing, expand the attack surface and face serious cyber threat risks such as Advanced Persistent Threats (APTs). This type of cyber attack can imitate benign network traffic and operate for long periods of time without being detected by traditional detection systems. This paper introduces LENS, a lightweight and explainable LLM-based network security framework designed to address this cybersecurity threat for 6G environments. LENS uses a fine-tuned DistilBERT model to convert raw network streams into natural …

Synergistic Modeling Of Hydrogel Gelation Via Time-Delay Dynamics And Machine Learning Algorithms, Mine Babaoglu, Dipesh ., Pankaj Kumar, Jagjit Singh Dhatterwal, Mansoor Alsulami

Mathematical Modelling and Numerical Simulation with Applications

This paper presents an integrated framework in which delay differential equation (DDE) modeling and machine learning (ML) approaches are coupled to study hydrogel formation kinetics, with emphasis on delayed crosslinker addition. Conventional mechanistic models disclose many physical and kinetic complexities of reacting mixtures; they seldom depict the nonlinear and time-evolving complexities inherent in developing polymer networks. To address this, a mathematical model is developed that examines how the insertion of crosslinkers affects system stability and equilibrium. Analytical and numerical results show that delays nearing critical levels cause bifurcation behavior with substantial implications on gelation kinetics. Sophisticated machine learning systems, including …

Drawing On Uncertainty Methodologies Of Neutrosophic Hypersoft Sets In Cognitive Computing-Driven Healthcare Systems, Mona Mohamed, Nurhan Alaa

Neutrosophic Systems with Applications

A new paradigm called cognitive computing simulates human reasoning and decision-making through integrating advanced techniques such as artificial intelligence (AI) and natural language processing (NLP). Cognitive computing systems, in contrast to traditional systems, can handle both structured and unstructured data, adjust to new information, and offer context-sensitive insights. This study examines how cognitive computing improves decision-making, personalization, and human-machine collaboration in various fields. Cognitive computing in the healthcare sector processes clinical notes, imaging data, and electronic health records to help physicians with diagnosis, treatment planning, and patient engagement. This study examines key applications, including their role in diagnostic support, where …

Evaluating And Ranking Genai Chatbots Under Uncertainty: A Type-2 Neutrosophic Rancom–Marcos Mcdm Framework, Hend Ahmed, Abduallah Gamal

Neutrosophic Systems with Applications

Owing to integrate GenAI chatbots to enhance productivity across various tasks, this research presents T2NN-RANCOM-MARCOS multi-attribute decision-making model, which employs Type-2 Neutrosophic Number (T2NN) to handle uncertain data, the RANCOM method, distinguished by its easy, highly repeatable, less time consuming, more appropriate to deal with problems exceeds 5 criteria with expert errors to assign subjective weights to criteria and MARCOS method to evaluate and rank eight GenAI chatbots against six main criteria are included 23 sub-criteria: Quality of Information, Understanding and Reasoning, Expression Style and Persona, Safety and Harm, Trust and Confidence and Economic are primarily derived from QUEST evaluation …

Memoir On A General Property Of A Very Extensive Class Of Transcendental Functions, Niels Henrik Abel 1802--1829, John Little

Mathematics and Computer Science Department Faculty Scholarship

We present this new commentary and translation anticipating the 200th anniversary of the work, commonly known as Abel's ``Paris memoir.'' This is recognized today as one of Abel's most original and influential works. It is significant mostly because it marked the first appearance of a form of a result in the theory of algebraic curves and Riemann surfaces that has come to be known as ``Abel's theorem.'' However, Abel's original understanding of the meaning and context of his result was quite different from the typical modern formulation and the development of the modern understanding has been a long and tortuous …

Polymorphism Crystal Structure Prediction With Adaptive Space Group Diversity Control, Sadman Saadeed Omee, Lai Wei, Jianjun Hu

Faculty Publications

Crystalline materials can form different structural arrangements (i.e., polymorphs) with the same chemical composition, exhibiting distinct physical properties depending on how they are synthesized or the conditions under which they operate. For example, carbon can exist as graphite (soft, conductive) or diamond (hard, insulating). Computational methods that can predict these polymorphs are vital in materials science, which help understand stability relationships, guide synthesis efforts, and discover new materials with desired properties without extensive trial-and-error experimentation. However, effective crystal structure prediction (CSP) algorithms for inorganic polymorph structures remain limited. ParetoCSP2 is proposed, a multi-objective genetic algorithm for polymorphism CSP that incorporates …

Non-Invasive Detection Of Choroidal Melanoma Via Tear-Derived Protein Corona On Gold Nanoparticles: A Machine Learning Approach, Hakimeh Rakhshandeh, Ahmad Nasiraei, Hamid Riazi-Esfahani, Babak Masoomian, Fariba Ghassemi, Mojtaba Arjmand, Saeed Heidari Keshel, Fatemeh Atyabi, Rassoul Dinarvand

Wills Eye Hospital Papers

This study investigates the feasibility of using tear sample analysis, based on protein corona formation on gold nanoparticles combined with electrospray ionization mass spectrometry (ESI-MS) and machine learning techniques, as a non-invasive approach for the detection of choroidal melanoma. The aim is to assess whether protein-nanoparticle interactions can support early and reliable identification of this ocular condition. Tear samples were collected using Schirmer strips from six healthy individuals and six patients diagnosed with choroidal melanoma, with subsequent augmentation to 18 samples per group. Gold nanoparticles (AuNPs, ~ 20 nm) were synthesized via citrate reduction and incubated with tear samples to …