Digital Commons Network^™

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 …

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 …

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 …

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

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 …

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 …

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.

Conditional Attribute-Based Pre: Definition And Construction From Lwe, Lisha Yao, Jian Weng, Pengfei Wu, Guofeng Tang, Guomin Yang, Haiyang Xue, Robert H. Deng

Research Collection School Of Computing and Information Systems

Attribute-based proxy re-encryption (AB-PRE) is a crucial variant of proxy re-encryption. It allows a proxy with a re-encryption key to transform a delegator’s ciphertext associated with an access policy into another ciphertext associated with a new access policy, enabling delegatees with matching attributes to decrypt the transformed ciphertext. However, a key limitation of AB-PRE is that the delegator cannot control which ciphertexts are transformed. As a result, the proxy, once given the re-encryption key, indiscriminately transforms all ciphertexts, effectively switching their underlying policies—an issue known as the all-or-nothing problem. It limits the system’s flexibility and practicality in real-world use cases.In …

Stable Score Distillation, Haiming Zhu, Yangyang Xu, Chenshu Xu, Tingrui Shen, Wenxi Liu, Yong Du, Jun Yu, Shengfeng He

Research Collection School Of Computing and Information Systems

Text-guided image and 3D editing have advanced with diffusion-based models, yet methods like Delta Denoising Score often struggle with stability, spatial control, and editing strength. These limitations stem from reliance on complex auxiliary structures, which introduce conflicting optimization signals and restrict precise, localized edits. We introduce Stable Score Distillation (SSD), a streamlined framework that enhances stability and alignment in the editing process by anchoring a single classifier to the source prompt. Specifically, SSD utilizes Classifier-Free Guidance (CFG) equation to achieve cross-prompt alignment, and introduces a constant term null-text branch to stabilize the optimization process. This approach preserves the original content's …

Tactile Data Comics: Combining Step-By-Step Presentation Of Tactile Graphics With Verbal Narration For The Blind And Visually Impaired, Yang Jiao, Ruoting Sun, Rong Luo, Xiwen Yao, Xinran She, Kotaro Hara, Yuewen Zhang, Xinyi Fu

Research Collection School Of Computing and Information Systems

Tactile graphics on a refreshable display have proven effective in enabling visually impaired people to comprehend pictorial content. To further evaluate the effectiveness of refreshable tactile displays in blind education, we designed tactile data comics, a method that combines step-by-step presentation of tactile graphics with verbal narration. We conducted a user study with sixteen visually impaired students to compare tactile data comics against verbal-only and static tactile graphics. Our findings show that tactile data comics significantly improve participants’ comprehension and engagement during the learning experience. These empirical results suggest that the integration of refreshable tactile displays and tactile data comics …

Csc36000 - Modern Distributed Computing Assignment, Saptarashmi Bandyopadhyay

Open Educational Resources

This assignment covers standard performance metrics for Distributed Systems and the basics of Multiprocessing for CSC36000 - Modern Distributed Computing at the City College of New York CUNY. It is an interactive coding assignment intended to be executed in a Python notebook.

Memad: Structured Memory Of Debates For Enhanced Multi-Agent Reasoning, Shuai Ling, Lizi Liao, Dongmei Jiang, Weili Guan

Research Collection School Of Computing and Information Systems

Large Language Models (LLMs) demonstrate remarkable in-context learning capabilities but often struggle with complex, multi-step reasoning. Multi-Agent Debate (MAD) frameworks partially address these limitations by enabling iterative agent interactions. However, they neglect valuable historical insights by treating each new debate independently. In this paper, we propose Memory-Augmented MAD (MeMAD), a parameter-free memory-augmented MAD framework that systematically organizes and reuses past debate transcripts. MeMAD stores structured representations of successful and unsuccessful reasoning attempts enriched with self-reflections and peer feedback. It systematically retrieves them via semantic similarity at inference time to inform new reasoning tasks. Our experiments on challenging mathematical reasoning, scientific …

Seeing 3d Through 2d Lenses: 3d Few-Shot Class-Incremental Learning Via Cross-Modal Geometric Rectification, Tuo Xiang, Xuemiao Xu, Bangzhen Liu, Jinyi Li, Yong Li, Shengfeng He

Research Collection School Of Computing and Information Systems

The rapid growth of 3D digital content necessitates expandable recognition systems for open-world scenarios. However, existing 3D class-incremental learning methods struggle under extreme data scarcity due to geometric misalignment and texture bias. While recent approaches integrate 3D data with 2D foundation models (e.g., CLIP), they suffer from semantic blurring caused by texture-biased projections and indiscriminate fusion of geometric-textural cues, leading to unstable decision prototypes and catastrophic forgetting. To address these issues, we propose Cross-Modal Geometric Rectification (CMGR), a framework that enhances 3D geometric fidelity by leveraging CLIP’s hierarchical spatial semantics. Specifically, we introduce a Structure-Aware Geometric Rectification module that hierarchically …

Leveraging Machine Learning And Causal Inference For Loan Default Prediction, Luca Guida

Doctoral Dissertations and Master's Theses

This research explores a systematic application of machine learning techniques combined with causal inference to predict loan defaults in peer-to-peer lending. Accurately forecasting loan defaults is crucial for mitigating financial risk and optimizing lending strategies. This analysis is based on multiple datasets of loan applications spanning over a decade, containing detailed financial and credit information about borrowers. Beginning with extensive Exploratory Data Analysis (EDA) coupled with scaling strategies, the research identifies key trends in loan performance across a large number of factors, such as interest rates or borrower creditworthiness, and one objective is to determine from the many available predictors …

(Si15-113) Augmenting Cryptographic Security Through Inventive Application Of The Kharrat-Toma Transform Algorithm, Prabakaran Raghavendran, Tharmalingam Gunasekar, K. Sakthivel, Kamalendra Kumar, Shalini Gupta

Applications and Applied Mathematics: An International Journal (AAM)

This paper introduces a cryptographic technique combining the Kharrat-Toma Transform and congruence modulo operators to improve the security of message encryption. The proposed model uses the mathematical properties of the Kharrat-Toma Transform and its inverse for direct scrambling and unscrambling processes while embedding sufficient complexity to resist modern cryptanalytic attacks. The model is subjected to experimental tests, including encryption quality analysis, Shannon entropy, and NIST randomness tests, in order to prove the strength of the model. Through encryption quality analysis, symbol frequencies in the ciphertext are masked heavily from having much correlation between plaintext and ciphertext. Entropy values indicate near-theoretical …

Honors Faculty Research Talk Ml Tlachac, Ml Tlachac

Honors Programs

PowerPoint Slides of Honors Research Talk by ML Tlachac.

Thesis: Comparing Functional And Effective Brain Connectivity Metrics For Eeg, Diksha Srishyla

Theses and Dissertations

Background:Brain connectivity measures have been used to study communication between brain regions using electroencephalography (EEG). Functional and effective connectivity estimate the synchronization and the flow of information between regions, respectively. However, findings from studies using different measures to investigate similar connections do not converge. To guide the selection of functional and effective connectivity measures in future studies, we systematically compared a set of measures in the context of resting state EEG. We examined four functional connectivity metrics (coherence (Coh), the imaginary part of coherence (imCoh), the corrected imaginary part of phase lagged value (ciPLV), the debiased weighted phase-locking index (dwPLI)) …

Multi-Perspective Feature Learning For Facial Expression Recognition In The Wild, Xiangyu Hu

Theses and Dissertations

With the rapid progress of deep learning, Facial Expression Recognition (FER) has seen substantial improvements in performance, particularly “in the wild” meaning real world conditions. Despite these advances, most existing methods extract features from facial images as the sole emotional cues, which limits the model’s ability to capture the full complexity of human emotional expressions.

In reality, facial expressions are composed of diverse and multi-perspective information, including appearance-based cues and geometric structural deformations due to activations of facial muscles. Depending exclusively on one type of representation may fail to exploit the complementary nature of these cues, an issue that becomes …

New Approaches On Source Coding For Quantum Stochastic Sources And Implementation Of Quantum Fanout Gate, Rabins Wosti

Theses and Dissertations

The accurate computation of advanced quantum algorithms like Shor’s integer factorization, quantum phase estimation (QPE), and the quantum Fourier transform (QFT) requires quantum circuits of considerable size and depth. It is difficult to achieve reliable computation with deep quantum circuits due to the limited coherence times of the current noisy quantum devices. The quantum fanout gate is known to be a powerful primitive for reducing the depth of many quantum circuits (Høyer and Špalek 2003; Gottesman and Chuang 1999). Shallow or constant-depth quantum circuits are desirable for both near-term and fault-tolerant quantum computations as they reduce noise and allow faster …

A Data-Driven Framework For Optimal Retail Store Location, Ming Hui Tan

Dissertations and Theses Collection (Open Access)

This study develops a data-driven framework for optimal retail store location planning that integrates road network analysis, mobility data and optimization techniques. By addressing the limitations of traditional approaches that rely on outdated census data and manual site selection, this research offers a scalable and adaptable solution for retail expansion in diverse urban environments. Chapters 1 and 2 establish the foundational context and theoretical underpinnings of this research. Chapter 1 introduces the research problem and motivation, highlighting the limitations of existing approaches and defining three key research objectives: automating candidate site identification, improving footfall estimation, and developing a scalable multi-site …

Harnessing Se Community Knowledge For Developer-Centric Code Intelligence, Chengran Yang

Dissertations and Theses Collection (Open Access)

The integration of Large Language Models (LLMs), particularly those tailored for programming tasks—referred to as code LLMs—has created novel opportunities to enhance developer productivity. These advanced models automate routine and repetitive coding tasks, such as code generation and debugging, and enable faster prototyping and more efficient problem-solving. Despite these remarkable advantages, the current generation of code LLMs exhibits notable limitations that impact their practical effectiveness in real-world software engineering scenarios. These models frequently produce code that is inefficient or suboptimal in runtime performance, demonstrate opaque reasoning processes, and struggle to adapt effectively to diverse developer contexts and specific requirements. Moreover, …

Look Before You Decide: Prompting Active Deduction Of Mllms For Assumptive Reasoning, Yian Li, Wentao Tian, Yang Jiao, Jingjing Chen, Tianwen Qian, Bin Zhu, Na Zhao, Yu‑Gang Jiang

Research Collection School Of Computing and Information Systems

Recently, Multimodal Large Language Models (MLLMs) have achieved significant success across multiple disciplines due to their exceptional instruction-following capabilities and extensive world knowledge. However, whether these MLLMs possess human-like compositional reasoning abilities remains an open problem. To unveil their reasoning behaviors, we first curate a Multimodal Assumptive Reasoning Benchmark (MARS-Bench) in this paper. Interestingly, we find that most prevalent MLLMs can be easily fooled by the introduction of a presupposition into the question, whereas such presuppositions appear naive to human reasoning. Besides, we also propose a simple yet effective method, Active Deduction (AD), a novel reinforcement learning paradigm to encourage …

Exploring Object Status Recognition For Recipe Progress Tracking In Non-Visual Cooking, Franklin Mingzhe Li, Kaitlyn Ng, Bin Zhu, Patrick Carrington

Research Collection School Of Computing and Information Systems

Cooking plays a vital role in everyday independence and well-being, yet remains challenging for people with vision impairments due to limited support for tracking progress and receiving contextual feedback. Object status — the condition or transformation of ingredients and tools — offers a promising but underexplored foundation for context-aware cooking support. In this paper, we present OSCAR (Object Status Context Awareness for Recipes), a technical pipeline that explores the use of object status recognition to enable recipe progress tracking in non-visual cooking. OSCAR integrates recipe parsing, object status extraction, visual alignment with cooking steps, and time-causal modeling to support real-time …

Viewsrd: 3d Visual Grounding Via Structured Multi-View Decomposition, Ronggang Huang, Haoxin Yang, Yan Cai, Xuemiao Xu, Huaidong Zhang, Shengfeng He

Research Collection School Of Computing and Information Systems

3Dvisual grounding aims to identify and localize objects in a 3Dspacebasedontextualdescriptions. However, existing methods struggle with disentangling targets from anchors in complex multi-anchor queries and resolving inconsisten cies in spatial descriptions caused by perspective variations. To tackle these challenges, we propose ViewSRD, a frame work that formulates 3D visual grounding as a structured multi-view decomposition process. First, the Simple Rela tion Decoupling (SRD) module restructures complex multi anchor queries into a set of targeted single-anchor state ments, generating a structured set of perspective-aware de scriptions that clarify positional relationships. These de composed representations serve as the foundation for the Multi-view …

Mitigating Cross-Modal Representation Bias For Multicultural Image-To-Recipe Retrieval, Qing Wang, Chong-Wah Ngo, Yu Cao, Ee-Peng Lim

Research Collection School Of Computing and Information Systems

Existing approaches for image-to-recipe retrieval have the implicit assumption that a food image can fully capture the details textually documented in its recipe. However, a food image only reflects the visual outcome of a cooked dish and not the underlying cooking process. Consequently, learning cross-modal representations to bridge the modality gap between images and recipes tends to ignore subtle, recipe-specific details that are not visually apparent but are crucial for recipe retrieval. Specifically, the representations are biased to capture the dominant visual elements, resulting in difficulty in ranking similar recipes with subtle differences in use of ingredients and cooking methods. …

Emoshortcuts: Emotionally Expressive Body Augmentation For Social Mixed Reality Avatars, Hyuna Seo, Youngki Lee, Rajesh Krishna Balan, Thivya Kandappu

Research Collection School Of Computing and Information Systems

We present EmoShortcuts1, a novel social Mixed Reality (MR) framework that enhances emotional expression by dynamically augmenting avatar body gestures to reflect users’ emotional states. While social MR enables immersive remote interactions through avatars, conveying emotions remains challenging due to limitations in head-mounted display (HMD) tracking (e.g., missing lower-body movements, such as stomping or defensive postures), and users’ tendency to deprioritize nonverbal expressions during multitasking. EmoShortcuts addresses these challenges by introducing an augmentation framework that generates expressive body gestures even when users’ physical movements are restricted. We conducted a formative study with 12 participants to identify key challenges in emotional …

Language-Driven 3d Human Pose Estimation In Multi-Person Scenarios: A New Dataset And Approach, Tingrui Shen, Bangzhen Liu, Zhirun Fan, Shiting Zhang, Weifeng Pan, Sun Fan, Dan Cao, Shengfeng He

Research Collection School Of Computing and Information Systems

In an NBA game scenario, consider the challenge of locating and analyzing the 3D poses of players performing a user-specified action, such as attempting a shot. Traditional 3D human pose estimation (3DHPE) methods often fall short in such complex, multi-person scenes due to their lack of semantic integration and reliance on isolated pose data. To address these limitations, we introduce Language-Driven 3D Human Pose Estimation (L3DHPE), a novel approach that extends 3DHPE to general multi-person contexts by incorporating detailed language descriptions. We present Panoptic-L3D, the first dataset designed for L3DHPE, featuring 3,838 linguistic annotations for 1,476 individuals across 588 videos, …

Website Owner Identification Through Multi-Level Contrastive Representation Learning, Cheng Tu, Yunshan Ma, Yang Li, Min Zhang, Miao Hu, Fan Shi, Xiang Wang

Research Collection School Of Computing and Information Systems

Website owner identification aims to recognize the organization or individual who owns a given website that is served on the web. It is a crucial step for cyberspace surveying and mapping, playing a significant role in cyberspace administration and governance. Existing widely employed solutions for website owner identification mainly fall into two paradigms: (1) querying the public information databases such as WHOIS, which store the Internet resource’s registered users or assignees; and (2) directly extracting the organization or individual name of the website owner from the webpage using the technique of named entity recognition. However, the former is less reliable …