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

Computer Sciences Commons

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

Computer Science Faculty Publications

Discipline
Institution
Keyword
Publication Year
File Type

Articles 31 - 60 of 928

Full-Text Articles in Computer Sciences

Toward An Event-Level Analysis Of Hadron Structure Using Differential Programming, Kevin Braga, Markus Diefenthaler, Steven Goldenberg, Daniel Lersch, Yaohang Li, Jian-Wei Qiu, Kishansingh Rajput, Felix Ringer, Nobuo Sato, Malachi Schram Jan 2026

Toward An Event-Level Analysis Of Hadron Structure Using Differential Programming, Kevin Braga, Markus Diefenthaler, Steven Goldenberg, Daniel Lersch, Yaohang Li, Jian-Wei Qiu, Kishansingh Rajput, Felix Ringer, Nobuo Sato, Malachi Schram

Computer Science Faculty Publications

Reconstructing the internal properties of hadrons in terms of fundamental quark and gluon degrees of freedom is a central goal in nuclear and particle physics. This effort lies at the core of major experimental programs, such as the Jefferson Lab 12 GeV program and the upcoming Electron-Ion Collider. A primary challenge is the inherent inverse problem: converting large-scale observational data from collision events into the fundamental quantum correlation functions (QCFs) that characterize the microscopic structure of hadronic systems within the theory of QCD. Recent advances in scientific computing and machine learning have opened new avenues for addressing this challenge using …


An Investigation Of Federated Gnns Under Aggregation, Data Poisoning, And Differential Privacy For Icu Length-Of-Stay Prediction, Shakib Mahmud Dipto, Soumya Banerjee, Sandip Roy, Ahmad F. Al Musawi, Preetam Ghosh, Sachin Shetty, Pratip Rana Jan 2026

An Investigation Of Federated Gnns Under Aggregation, Data Poisoning, And Differential Privacy For Icu Length-Of-Stay Prediction, Shakib Mahmud Dipto, Soumya Banerjee, Sandip Roy, Ahmad F. Al Musawi, Preetam Ghosh, Sachin Shetty, Pratip Rana

Computer Science Faculty Publications

Accurate prediction of ICU Length of Stay (LoS) is essential for clinical decision-making and healthcare resource management. Graph Neural Networks (GNNs), such as GraphSAGE, offer a natural fit by capturing patient data from Electronic Health Records (EHRs) through graph structures. However, the distributed and sensitive nature of this data raises both privacy and legal concerns regarding the aggregation and training of GNN models. This additionally leads to issues with data imbalance and model robustness. In this study, we perform an analysis of the Federated Graph Neural Network (GNN-FL) framework to enable decentralized learning on EHRs derived from the MIMIC-III dataset. …


A Survey On Generative Ai For Detector Effects Unfolding In Particle And Nuclear Physics, Tareq Alghamdi, Tommaso Vittorini, Jitao Xu, Marco Battaglieri, Derek I. Glazier, Glòria Montaña, Giorgio Foti, Alessandro Pilloni, Nobuo Sato, Yaohang Li Jan 2026

A Survey On Generative Ai For Detector Effects Unfolding In Particle And Nuclear Physics, Tareq Alghamdi, Tommaso Vittorini, Jitao Xu, Marco Battaglieri, Derek I. Glazier, Glòria Montaña, Giorgio Foti, Alessandro Pilloni, Nobuo Sato, Yaohang Li

Computer Science Faculty Publications

In particle and nuclear physics, “detector effects unfolding” can be viewed as a highdimensional inverse problem whose goal is to recover the true event distributions from observed experimental data corrupted by detector-induced distortions. Recent advances in generative AI have positioned data-driven and machine learning-based approaches as powerful alternatives to traditional unfolding techniques, offering superior scalability to high-dimensional data, capability of learning complex detector responses, and the ability to operate directly at the event level. We survey state-of the-art generative AI-based models for detector folding and unfolding. We review existing architectures and training strategies, and highlight recent methodological advances and open …


Distributed Semi-Speculative Parallel Anisotropic Mesh Adaptation, Kevin Garner, Polykarpos Thomadakis, Nikos Chrisochoides Jan 2026

Distributed Semi-Speculative Parallel Anisotropic Mesh Adaptation, Kevin Garner, Polykarpos Thomadakis, Nikos Chrisochoides

Computer Science Faculty Publications

This paper presents a distributed memory method for anisotropic mesh adaptation that is designed to avoid the use of collective communication and global synchronization techniques. In the presented method, meshing functionality is separated from performance aspects by utilizing a separate entity for each - a multicore cc-NUMA-based (shared memory) mesh generation software and a parallel runtime system that is designed to help applications leverage the concurrency offered by emerging high-performance computing (HPC) architectures. First, an initial mesh is decomposed and its interface elements (subdomain boundaries) are adapted on a single multicore node (shared memory). Subdomains are then distributed among the …


Deep Incomplete Multi-View Clustering Via Hierarchical Imputation And Alignment, Yiming Du, Ziyu Wang, Jian Li, Rui Ning, Lusi Li Jan 2026

Deep Incomplete Multi-View Clustering Via Hierarchical Imputation And Alignment, Yiming Du, Ziyu Wang, Jian Li, Rui Ning, Lusi Li

Computer Science Faculty Publications

Incomplete multi-view clustering (IMVC) aims to discover shared cluster structures from multi-view data with partial observations. The core challenges lie in accurately imputing missing views without introducing bias, while maintaining semantic consistency across views and compactness within clusters. To address these challenges, we propose DIMVC-HIA, a novel deep IMVC framework that integrates hierarchical imputation and alignment with four key components: (1) view-specific autoencoders for latent feature extraction, coupled with a view-shared clustering predictor to produce soft cluster assignments; (2) a hierarchical imputation module that first estimates missing cluster assignments based on cross-view contrastive similarity, and then reconstructs missing features using …


Attention-Based Multi-Omics Fusion For Drug Synergy Prediction, Kusal Debnath, Pratip Rana, Preetam Ghosh Jan 2026

Attention-Based Multi-Omics Fusion For Drug Synergy Prediction, Kusal Debnath, Pratip Rana, Preetam Ghosh

Computer Science Faculty Publications

Drug combination therapy in disease management gained popularity in the last few decades. Computational modeling of such combinations is an active area of research in the drug discovery domain. While earlier approaches solely emphasized on the structural features of participating drugs for designing synergistic models, they lack other crucial factors directly linked with drug administration - omics expressions. As differential omics expression is a downstream consequence of the administered drug combinations, utilizing such expressions while designing synergistic models promises robust and dynamic modeling. In this work, we propose SynergyLM that fuses multi-omics features with drug embeddings to build an omics-aware …


Untrained Position-Encoded Multilayer Perceptron Network For Structured Illumination Microscopy Reconstruction, Sahil Sharma, Leonidas Zimianitis, Krishnendu Samanta, Balpreet Singh Ahluwalia, Joby Joseph, Dushan N. Wadduwage Jan 2026

Untrained Position-Encoded Multilayer Perceptron Network For Structured Illumination Microscopy Reconstruction, Sahil Sharma, Leonidas Zimianitis, Krishnendu Samanta, Balpreet Singh Ahluwalia, Joby Joseph, Dushan N. Wadduwage

Computer Science Faculty Publications

Structured Illumination Microscopy (SIM) enables super-resolution imaging by encoding high-frequency spatial information through patterned light. While traditional Fourier-based reconstruction methods are prone to artifacts under suboptimal conditions, recent deep learning approaches often require large training datasets and lack adaptability across different imaging setups. In this work, we present Position Encoded Multi-Layer Perceptron (PEM) network that leverages implicit neural representations (INRs) and SIM forward-model-driven modeling to reconstruct super-resolved images without any training data. PEM-SIM represents each spatial coordinate as a combination of sinusoidal functions across multiple frequencies, enabling rich encoding of fine spatial detail. A forward model grounded in SIM image …


Near Real-Time Adaptive Isotropic And Anisotropic Image-To-Mesh Conversion For Cerebral Aneurysm Simulations, Kevin Garner, Chander Sadasivan, Nikos Chrisochoides Jan 2026

Near Real-Time Adaptive Isotropic And Anisotropic Image-To-Mesh Conversion For Cerebral Aneurysm Simulations, Kevin Garner, Chander Sadasivan, Nikos Chrisochoides

Computer Science Faculty Publications

This paper presents two performance optimization techniques for a mesh adaptation method that is designed to help streamline the discretization of complex vascular geometries within the numerical modeling process. This method is integrated into a pipeline with an image-to-mesh conversion tool to generate adaptive anisotropic meshes from segmented medical images. The pipeline is shown to satisfy quality, fidelity, smoothness, and robustness requirements while providing near real-time performance for medical image-to-mesh conversion. Tested with two brain aneurysm cases and utilizing up to 96 CPU cores within a single, multicore node on Purdue University’s Anvil supercomputer, the parallel adaptive anisotropic meshing method …


Micro-Behavioral Analysis Of Online Shopping Patterns For Blind Users, Yash Prakash, Akshay Kolgar Nayak, Nithiya Venkatraman, Sampath Jayarathna, Hae-Na Lee, Vikas Ashok Jan 2026

Micro-Behavioral Analysis Of Online Shopping Patterns For Blind Users, Yash Prakash, Akshay Kolgar Nayak, Nithiya Venkatraman, Sampath Jayarathna, Hae-Na Lee, Vikas Ashok

Computer Science Faculty Publications

While online shopping platforms provide convenience and autonomy to blind users, their non-visual interactions remain underexplored at a micro-behavioral level. Existing studies have primarily emphasized accessibility and usability challenges but have overlooked how fine-grained, screen reader-driven keystroke-level behaviors reflect users’ cognitive strategies. In this paper, we present the findings of a longitudinal study with 25 blind participants to examine their micro-behavioral patterns, using keyboard activity and screen reader logs on both familiar and unfamiliar e-commerce websites. We complemented this study with semi-structured interviews to contextualize the uncovered micro-behavioral patterns. Our results revealed patterns in how blind users draw upon cognitive …


Quantum Machine Learning Models: Principles, Frameworks, And Computational Challenges, K. A. Jayabalaji, S. Venkata Anand, Dineshkumar Rajendran, Prasanta Chatterjee Biswas, Sardor Omonov, Rubaid Ashfaq Jan 2026

Quantum Machine Learning Models: Principles, Frameworks, And Computational Challenges, K. A. Jayabalaji, S. Venkata Anand, Dineshkumar Rajendran, Prasanta Chatterjee Biswas, Sardor Omonov, Rubaid Ashfaq

Computer Science Faculty Publications

Quantum machine learning (QML) has become an optimistic avenue of harnessing quantum computation in data-driven modeling, especially of issues with high dimensionality and complicated correlations. Current methods are generally based on fixed or over-parameterized quantum circuits, and hence restricted to scalability as well as unproductive optimization in real-world hardware. This chapter introduces a hybrid quantum-classical learning system that is adaptive and provides principled quantum data encoding, architecture-conscious variational circuit design and resource-optimal optimization. The technique is based on the concepts of quantum architecture search and subspace-preserving transformations to trade expressiveness with trainability, and discretize the quantum model into a classical …


Adaptive Self-Attention For Enhanced Segmentation Of Adult Gliomas In Multi-Modal Mri, Evan P. Savaria, Jiangwen Sun Jan 2026

Adaptive Self-Attention For Enhanced Segmentation Of Adult Gliomas In Multi-Modal Mri, Evan P. Savaria, Jiangwen Sun

Computer Science Faculty Publications

Every year there are an estimated 80,000–90,000 new glioma cases, highlighting the need for reliable imaging-based decision support. Although deep learning has improved tumor sub-region segmentation, many state-of-the-art models fail to fully capture complementary information across T1, T1Gd, T2, and FLAIR MRI modalities and often operate as “black boxes,” limiting physician trust when precise delineation is critical for surgical planning, radiation targeting, and treatment monitoring. To address these limitations, we propose AIMS, an Adaptive Integrated Multi-Modal Segmentation framework that maintains modality-specific feature streams and employs adaptive self-attention within a hierarchical CNN-Transformer architecture to prioritize and fuse multi-modal MRI features. We …


Sage: Spatially Aware Gene Selection And Dual-View Embedding Fusion For Domain Identification In Spatial Transcriptomics, Yi He, Yunpei Xu, Liqing Ding, Hong-Dong Li, Yaohang Li, Shaokai Wang Jan 2026

Sage: Spatially Aware Gene Selection And Dual-View Embedding Fusion For Domain Identification In Spatial Transcriptomics, Yi He, Yunpei Xu, Liqing Ding, Hong-Dong Li, Yaohang Li, Shaokai Wang

Computer Science Faculty Publications

Despite enabling high-resolution mapping of gene expression within tissues, spatial transcriptomics (ST) still faces challenges in accurately segmenting spatial domains due to complex tissue architecture and limitations of current methods. Most approaches rely on local spatial priors, lack gene-level interpretability, and fall short in capturing structure-discriminative genes or long-range functional relationships, limiting their ability to resolve biologically meaningful architectures. We present Spatially Aware Gene selection and dual-view Embedding fusion (SAGE), a unified and reproducible framework for domain identification in spatial transcriptomics that combines topic-driven gene selection with dual-view embedding fusion to address these gaps. SAGE integrates non-negative matrix factorization (NMF)-based …


Application Paths Of Semantic Modeling In Financial Fraud Detection And Risk Identification, Victor P. Gauthier, Daniel S. Wu Jan 2026

Application Paths Of Semantic Modeling In Financial Fraud Detection And Risk Identification, Victor P. Gauthier, Daniel S. Wu

Computer Science Faculty Publications

Financial fraud and risk pose significant threats to economic stability and individual well-being. Traditional detection methods often struggle to keep pace with increasingly sophisticated fraudulent schemes. Semantic modeling, which focuses on understanding the meaning and relationships within data, offers a promising avenue for enhancing fraud detection and risk identification. This review paper explores the application paths of semantic modeling in this domain. We begin with a historical overview of fraud detection techniques, highlighting the limitations of traditional approaches. Subsequently, we delve into core themes, including knowledge graph-based fraud detection and semantic rule-based inference for risk assessment. We then compare and …


Integration Of Hybrid Quantum-Neuromorphic Ai With Cloud, Edge, And High-Performance Computing Environments, Arun B. Prasad, Ajay Prasad, Dineshkumar Rajendran, Anurag Tiwari, T. Akilan, Islombek Khushvaktov Jan 2026

Integration Of Hybrid Quantum-Neuromorphic Ai With Cloud, Edge, And High-Performance Computing Environments, Arun B. Prasad, Ajay Prasad, Dineshkumar Rajendran, Anurag Tiwari, T. Akilan, Islombek Khushvaktov

Computer Science Faculty Publications

The convergence of quantum computing, neuromorphic learning, and distributed cloud infrastructures has occurred very rapidly, and intelligent systems are now providing new opportunities, but the challenge of instability, complexity of orchestration, and noise sensitivity remains in the way of practical integration. The proposed work is based on a hybrid quantum and neuromorphic architecture, which is the integration of event-based neuromorphic adaptation and quantum-assisted global optimization, orchestrated by cloud-HPC. The architecture presents the thermodynamically regularized learning and resourceful task scheduling to the probabilistic search and the continuous local adaptation. Experimental evaluation across financial modeling, medical imaging, and physical system prediction shows …


Design And Analysis Of Modern Quantum Neural Network Architectures For Intelligent Systems, Lakshmi Chandrakanth Kasireddy, Prabhakara Rao Kapula, Dineshkumar Rajendran, Neha Bharani, Srikanth Pulipeti, Islombek Khushvaktov Jan 2026

Design And Analysis Of Modern Quantum Neural Network Architectures For Intelligent Systems, Lakshmi Chandrakanth Kasireddy, Prabhakara Rao Kapula, Dineshkumar Rajendran, Neha Bharani, Srikanth Pulipeti, Islombek Khushvaktov

Computer Science Faculty Publications

Quantum neural networks (QNNs) offer a principled pathway for integrating quantum computation with machine learning through superposition- and entanglement-based representations. This chapter proposes an architecture-aware design and evaluation framework for modern QNNs, emphasizing robustness and system feasibility alongside predictive performance. Multiple architectures variational QNNs, quantum convolutional neural networks, tensor-network hybrids, and fully quantum models—are assessed under a unified protocol. Experimental analysis shows that the proposed architecture-search–guided QNN achieves 91.8% classification accuracy and an F1-score of 0.914, outperforming fixed-template variational QNNs by approximately 5.6 percentage points. Under depolarizing noise with probability p = 0.10, the proposed model retains 85.3% accuracy, whereas …


Cognitive Prosthetic: An Ai-Enabled Multimodal System For Episodic Recall In Knowledge Work, Lawrence Obiuwevwi, Krzystof J. Rechowicz, Vikas Ashok, Sachin Shetty, Sampath Jayarathna Jan 2026

Cognitive Prosthetic: An Ai-Enabled Multimodal System For Episodic Recall In Knowledge Work, Lawrence Obiuwevwi, Krzystof J. Rechowicz, Vikas Ashok, Sachin Shetty, Sampath Jayarathna

Computer Science Faculty Publications

Modern knowledge workplaces increasingly strain human episodic memory as individuals navigate fragmented attention, overlapping meetings, and multimodal information streams. Existing workplace tools provide partial support through note-taking or analytics but rarely integrate cognitive, physiological, and attentional context into retrievable memory representations. This paper presents the Cognitive Prosthetic Multimodal System (CPMS)—an AI-enabled proof-of-concept designed to support episodic recall in knowledge work through structured episodic capture and natural language retrieval. CPMS synchronizes speech transcripts, physiological signals, and gaze behavior into temporally aligned, JSON-based episodic records processed locally for privacy. Beyond data logging, the system includes a web-based retrieval interface that allows users …


Contextual Scaffolding And Self-Efficacy: Supporting Computer Skill Development Among Blind Learners In India, Akshay Kolgar Nayak, Yash Prakash, Sampath Jayarathna, Hae-Na Lee, Vikas Ashok Jan 2026

Contextual Scaffolding And Self-Efficacy: Supporting Computer Skill Development Among Blind Learners In India, Akshay Kolgar Nayak, Yash Prakash, Sampath Jayarathna, Hae-Na Lee, Vikas Ashok

Computer Science Faculty Publications

Inclusive computer literacy education efforts, broadening the participation of blind or visually impaired (BVI) individuals, have gained traction in recent years. Existing literature investigating these efforts primarily draws evidence from affluent Global North contexts, where accessibility resources and legal frameworks are relatively more mature. Little is known about the in-situ teaching and learning challenges faced by trainers and BVI students, respectively, in resource-constrained, multicultural Global South countries like India. To address this knowledge gap, we conducted a four-month contextual inquiry at two computer training centers catering to 94 BVI students in India. We notably observed a rigid, experience-driven training environment …


Modeling Joint Visual Attention In Naturalistic Dyadic Interactions, Kuushini Thennakoon, Yasasi Abeysinghe, Bhanuka Mahanama, Vikas Ashok, Sampath Jayarathna Jan 2026

Modeling Joint Visual Attention In Naturalistic Dyadic Interactions, Kuushini Thennakoon, Yasasi Abeysinghe, Bhanuka Mahanama, Vikas Ashok, Sampath Jayarathna

Computer Science Faculty Publications

Joint visual attention (JVA) provides important insight into how individuals coordinate attention during social interaction. Egocentric eye tracking enables the study of JVA in natural, multi-user settings. This work presents a multi-stage framework to identify and analyze JVA using egocentric video and gaze data. The approach consists of three steps: spatiotemporal tube-based visual similarity, gaze-guided object detection, and attention pattern analysis using the ambient–focal coefficient K. Results show that object-focused collaborative activities exhibit high JVA, with object detection capturing higher joint attention than visual similarity, whereas conversation-based or independent activities show lower and more fragmented joint attention. Analysis of K …


Precision-Weighted Federated Learning, Jonatan Reyes, Lisa Di Jorio, Cecile Low-Kam, Marta Kersten-Oertel Dec 2025

Precision-Weighted Federated Learning, Jonatan Reyes, Lisa Di Jorio, Cecile Low-Kam, Marta Kersten-Oertel

Computer Science Faculty Publications

Federated learning (FL) using the federated averaging (FedAvg) algorithm has shown great advantages for large-scale applications that rely on collaborative learning, especially when the training data is either unbalanced or inaccessible due to privacy constraints. We hypothesize that FedAvg underestimates the full extent of heterogeneity of data when the aggregation is performed. We propose Precision-Weighted Federated Learning (PW) a novel algorithm that takes into account the second raw moment (uncentered variance) of the stochastic gradient when computing the weighted average of the parameters of independent models trained in a FL setting. With PW, we address the communication and statistical challenges …


An Efficient Self-Supervised Learning Framework For Swarm Robot Trajectory Analysis, Brooklyn Berry, Gaukhar Nurbek, Juan Manuel Perez, Richard Tapia, Qi Lu, Yifeng Gao Nov 2025

An Efficient Self-Supervised Learning Framework For Swarm Robot Trajectory Analysis, Brooklyn Berry, Gaukhar Nurbek, Juan Manuel Perez, Richard Tapia, Qi Lu, Yifeng Gao

Computer Science Faculty Publications

Swarm robotics leverages groups of autonomous robots to perform complex tasks collaboratively. Recently, there has been growing interest in the Self-Supervised Learning framework (SSL) for social robots, yet very little research has been done on designing a SSL framework for foraging swarm robots systems. In this paper, to address the two challenges above, we proposed a novel efficient self-supervised learning framework. Specifically, we proposed 1) a shared weight multi-instance based encoder-decoder structure for model pre-training; and 2) an embedding series compression strategy to reduce the space cost in inference stage. Experiments show our system can match the performance of standard …


Inferred Global Dense Residue Transition Graphs From Primary Structure Sequences Enable Protein Interaction Prediction Via Directed Graph Convolutional Neural Networks, Islam A. Ebeid, Haoteng Tang, Pengfei Gu Oct 2025

Inferred Global Dense Residue Transition Graphs From Primary Structure Sequences Enable Protein Interaction Prediction Via Directed Graph Convolutional Neural Networks, Islam A. Ebeid, Haoteng Tang, Pengfei Gu

Computer Science Faculty Publications

Introduction: Accurate prediction of protein-protein interactions (PPIs) is crucial for understanding cellular functions and advancing the development of drugs. While existing in-silico methods leverage direct sequence embeddings from Protein Language Models (PLMs) or apply Graph Neural Networks (GNNs) to 3D protein structures, the main focus of this study is to investigate less computationally intensive alternatives. This work introduces a novel framework for the downstream task of PPI prediction via link prediction.

Methods: We introduce a two-stage graph representation learning framework, ProtGram-DirectGCN. First, we developed ProtGram, a novel approach that models a protein's primary structure as a hierarchy of …


Topoimages: Incorporating Local Topology Encoding Into Deep Learning Models For Medical Image Classification, Pengfei Gu, Hongxiao Wang, Yejia Zhang, Huimin Li, Chaoli Wang, Danny Z. Chen Oct 2025

Topoimages: Incorporating Local Topology Encoding Into Deep Learning Models For Medical Image Classification, Pengfei Gu, Hongxiao Wang, Yejia Zhang, Huimin Li, Chaoli Wang, Danny Z. Chen

Computer Science Faculty Publications

Topological structures in image data, such as connected components and loops, play a crucial role in understanding image content (e.g., biomedical objects). Despite remarkable successes of numerous image processing methods that rely on appearance information, these methods often lack sensitivity to topological structures when used in general deep learning (DL) frameworks. In this paper, we introduce a new general approach, called TopoImages (for Topology Images), which computes a new representation of input images by encoding local topology of patches. In TopoImages, we leverage persistent homology (PH) to encode geometric and topological features inherent in image patches. Our main objective is …


An Unsupervised Time Series Anomaly Detection Approach For Efficient Online Process Monitoring Of Additive Manufacturing, Frida Cantu, Salomon Ibarra, Arturo Gonzales, Jesus Barreda, Chenang Liu, Li Zhang Sep 2025

An Unsupervised Time Series Anomaly Detection Approach For Efficient Online Process Monitoring Of Additive Manufacturing, Frida Cantu, Salomon Ibarra, Arturo Gonzales, Jesus Barreda, Chenang Liu, Li Zhang

Computer Science Faculty Publications

Online sensing plays an important role in advancing modern manufacturing. The real-time sensor signals, which can be stored as high-resolution time series data, contain rich information about the operation status. One of its popular usages is online process monitoring, which can be achieved by effective anomaly detection from the sensor signals. However, most existing approaches either heavily rely on labeled data for training supervised models, or are designed to detect only extreme outliers, thus are ineffective at identifying subtle semantic off-track anomalies to capture where new regimes or unexpected routines start. To address this challenge, we propose an matrix profile-based …


Anthem 2.0: Automated Reasoning For Answer Set Programming, Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Christoph Glinzer, Jan Heuer, Torsten Schaub, Tobias Stolzmaan, Vladimire Lifschitz Sep 2025

Anthem 2.0: Automated Reasoning For Answer Set Programming, Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Christoph Glinzer, Jan Heuer, Torsten Schaub, Tobias Stolzmaan, Vladimire Lifschitz

Computer Science Faculty Publications

ANTHEM 2.0 is a tool to aid in the verification of logic programs written in an expressive fragment of CLINGO ’s input language named MINI-GRINGO, which includes arithmetic operations and simple choice rules but not aggregates. It can translate logic programs into formula representations in the logic of here-and-there and analyze properties of logic programs such as tightness. Most importantly, ANTHEM 2.0 can support program verification by invoking first-order theorem provers to confirm that a program adheres to a first-order specification or to establish strong and external equivalence of programs. This paper serves as an overview of the system’s capabilities. …


A Unified Dnn Weight Compression Framework Using Reweighted Optimization Methods, Mengchen Fan, Tianyun Zhang, Xiaolong Ma, Jiacheng Guo, Zheng Zhan, Et. Al. Sep 2025

A Unified Dnn Weight Compression Framework Using Reweighted Optimization Methods, Mengchen Fan, Tianyun Zhang, Xiaolong Ma, Jiacheng Guo, Zheng Zhan, Et. Al.

Computer Science Faculty Publications

To address the large model sizes and intensive computation requirements of deep neural networks (DNNs), weight pruning techniques have been proposed and generally fall into two categories: static regularization-based pruning and dynamic regularization-based pruning. However, the static method often leads to either complex operations or reduced accuracy, while the dynamic method requires extensive time to adjust parameters to maintain accuracy while achieving effective pruning. In this paper, we propose a unified robustness-aware framework for DNN weight pruning that dynamically updates regularization terms bounded by the designated constraint. This framework can generate both non-structured sparsity and different kinds of structured sparsity, …


Training Robot Swarms For Adaptive Foraging In Environments With Obstacles, Pigar Biteng, Tameem Uz Zaman, Qi Lu Aug 2025

Training Robot Swarms For Adaptive Foraging In Environments With Obstacles, Pigar Biteng, Tameem Uz Zaman, Qi Lu

Computer Science Faculty Publications

In this work, we train adaptive and efficient foraging strategies for robot swarms in a large, unmapped search space with multiple randomly distributed box obstacles using the penalty-reward based NeuroEvolution of Augmented Topologies (NEAT), P-NeatFA. This model enables efficient multi-robot foraging behavior and obstacle avoidance by rewarding effective actions and penalizing inefficient ones, thereby minimizing redundant exploration and outperforming traditional stochastic foraging algorithms. We optimize foraging strategies and search patterns in robot swarms by training models that maximize cumulative rewards in three types of resource distribution environments. The evaluation focuses on the number of resources collected within a fixed time …


Evolving Adaptive Foraging Robot Swarms With Neat In Environments With Obstacles, Tameem Uz Zaman, Pigar Biteng, Qi Lu Aug 2025

Evolving Adaptive Foraging Robot Swarms With Neat In Environments With Obstacles, Tameem Uz Zaman, Pigar Biteng, Qi Lu

Computer Science Faculty Publications

We apply NeuroEvolution of Augmented Topologies (NEAT) to evolve adaptive and efficient swarm foraging behaviors in unknown environments with randomly placed obstacles. By rewarding effective actions and penalizing inefficient ones using the proposed strategy P-NeatFA, the training generates efficient foraging and obstacle avoidance strategies, reducing redundancy and outperforming traditional stochastic foraging algorithms. Optimization is guided by cumulative reward-based fitness, evaluated through simulations involving three types of distributed resources. Foraging performance is assessed in terms of resource retrieval rates. We compare the performance of our proposed P-NeatFA with that of CPFA and NeatFA. Experimental results show that P-NeatFA significantly outperforms the …


Zeus: Zero-Shot Llm Instruction For Union Segmentation In Multimodal Medical Imaging, Siyuan Dai, Kai Ye, Guodong Liu, Haoteng Tang, Liang Zhan Jul 2025

Zeus: Zero-Shot Llm Instruction For Union Segmentation In Multimodal Medical Imaging, Siyuan Dai, Kai Ye, Guodong Liu, Haoteng Tang, Liang Zhan

Computer Science Faculty Publications

Medical image segmentation has achieved remarkable success through the continuous advancement of UNet-based and Transformer-based foundation backbones. However, clinical diagnosis in the real world often requires integrating domain knowledge, especially textual information. Conducting multimodal learning involves visual and text modalities shown as a solution, but collecting paired vision-language datasets is expensive and time-consuming, posing significant challenges. Inspired by the superior ability in numerous cross-modal tasks for Large Language Models (LLMs), we proposed a novel Vision-LLM union framework to address the issues. Specifically, we introduce frozen LLMs for zero-shot instruction generation based on corresponding medical images, imitating the radiology scanning and …


Adapting A Segmentation Foundation Model For Medical Image Classification, Pengfei Gu, Haoteng Tang, Islam A. Ebeid, Jose Angel Nunez, Fabian Vazquez Jr., Diego Adame Jul 2025

Adapting A Segmentation Foundation Model For Medical Image Classification, Pengfei Gu, Haoteng Tang, Islam A. Ebeid, Jose Angel Nunez, Fabian Vazquez Jr., Diego Adame

Computer Science Faculty Publications

Recent advancements in foundation models, such as the Segment Anything Model (SAM), have shown strong performance in various vision tasks, particularly image segmentation, due to their impressive zero-shot segmentation capabilities. However, effectively adapting such models for medical image classification is still a less explored topic. In this paper, we introduce a new framework to adapt SAM for medical image classification. First, we utilize the SAM image encoder as a feature extractor to capture segmentation-based features that convey important spatial and contextual details of the image, while freezing its weights to avoid unnecessary overhead during training. Next, we propose a novel …


White Light Specular Reflection Data Augmentation For Deep Learning Polyp Detection, Jose Angel Nuñez, Fabian Vazquez Jr., Diego Adame, Xiaoyan Fu, Pengfei Gu, Bin Fu May 2025

White Light Specular Reflection Data Augmentation For Deep Learning Polyp Detection, Jose Angel Nuñez, Fabian Vazquez Jr., Diego Adame, Xiaoyan Fu, Pengfei Gu, Bin Fu

Computer Science Faculty Publications

Colorectal cancer is one of the deadliest cancers today, but it can be prevented through early detection of malignant polyps in the colon, primarily via colonoscopies. While this method has saved many lives, human error remains a significant challenge, as missing a polyp could have fatal consequences for the patient. Deep learning (DL) polyp detectors offer a promising solution. However, existing DL polyp detectors often mistake white light reflections from the endoscope for polyps, which can lead to false this http URL address this challenge, in this paper, we propose a novel data augmentation approach that artificially adds more white …