Computer Sciences Commons^™

Multimodal Search On A Line, Jared Coleman, Dmitry Ivanov, Evangelos Kranakis, Danny Krizanc, Oscar Morales Ponce

Computer Science Faculty Works

Inspired by the diverse set of technologies used in underground object detection and imaging, we introduce a novel multimodal linear search problem whereby a single searcher starts at the origin and must find a target that can only be detected when the searcher moves through its location using the correct of p possible search modes. The target’s location, its distance d from the origin, and the correct search mode are all initially unknown to the searcher. We prove tight upper and lower bounds on the competitive ratio for this problem. Specifically, we show that when p is odd, the optimal …

Yinyang-Align: Benchmarking Contradictory Objectives And Proposing Multi-Objective Optimization Based Dpo For Text-To-Image Alignment, Amitava Das, Yaswanth Narsupalli, Gurpreet Singh, Vinija Jain, Vasu Sharma, Suranjana Trivedi, Aman Chadha, Amit Sheth

Publications

As Text-to-Image (T2I) models become more advanced, they face a fundamental challenge—balancing conflicting alignment goals such as faithfulness vs. artistic freedom, realism vs. stylization, and verifiability vs. creativity. Existing alignment methods often optimize for one objective at the cost of another, leading to inconsistencies in AI-generated images.
/="/">
/="/">In our latest work, YinYang-Align, we introduce a benchmarking framework to systematically evaluate these trade-offs and propose Contradictory Alignment Optimization (CAO)—a multi-objective extension of Direct Preference Optimization (DPO) that enables models to navigate competing alignment goals more effectively.

Tla+ For All: Model Checking In A Python Notebook, Konstantin Laufer, George K. Thiruvathukal

Computer Science: Faculty Publications and Other Works

TLA+ is widely recognized for its effectiveness in specifying and verifying concurrent and distributed systems. However, for educators and practitioners, barriers to adoption include installation complexity and tooling setup. In the proposed presentation, we demonstrate a lightweight, easily shareable, and fully reproducible approach to running TLA+ in a Python notebook hosted on Google Colab without requiring new tools or custom Jupyter kernel development. By creating an environment where users can experiment with TLA+ models instantly, we lower these barriers and demonstrate the suitability for education and outreach.

Artificial Intelligence (Ai) In Pharmacy, Giang Nguyen, Elizabeth Sartschev, John Reyes, Allie Honigford, Marisa Petrunich, Kiley Devoll, Brianna Lu, Joshua Honaker, T'Bony M. Jewell

Pharmacy and Wellness Review

Artificial Intelligence (AI) has transformed the pharmaceutical field by enabling computer software systems to learn and perform human behavior. Specifically, AI has revolutionized chronic diabetes management through continuous glucose monitoring, showcasing its immense potential in healthcare. However, alongside its transformative impact, AI’s increasing role in healthcare has prompted concerns over privacy and its premature integration. Despite these challenges, AI offers limitless opportunities to improve medication management and treatment regimens, driving advancements across various domains. From improving CT imaging to enhancing adenoma detection in colonoscopies and facilitating medication adherence, AI’s impact on healthcare is profound. Furthermore, AI plays a pivotal role …

Anogat-Sparse-Tl: A Hybrid Framework Combining Sparsification And Graph Attention For Anomaly Detection In Attributed Networks Using The Optimized Loss Function Incorporating The Twersky Loss For Improved Robustness., Nadhem Ebrahim, Wasim Khan

University Research

In recent years, the identification of abnormalities in attributed networks has become essential for applications including social media analysis, cybersecurity, and financial fraud detection. Unsupervised graph anomaly detection techniques seek to recognize infrequent and anomalous patterns in graph-structured data without the necessity of labelled instances. Conventional methods employing Graph Neural Networks (GNNs) frequently encounter difficulties, especially due to the transmission of noisy edges and the intrinsic intricacy of node interrelations. To overcome these restrictions, we introduce ANOGAT-Sparse-TL, an innovative hybrid framework that integrates graph sparsification and Graph Attention Networks (GAT) with autoencoder-based reconstruction for anomaly detection in attributed networks. The …

Comparing In-Person, Standard Telehealth, And Remote Musculoskeletal Examination With A Novel Augmented Reality Exercise Game System: Pilot Cross-Sectional Comparison Study, Richard Wu, Keerthana Chakka, Sara Belko, Ninad Khargonkar, Kevin Desai, Balakrishnan Prabhakaran, Thiru Annaswamy

SKMC Student Presentations and Publications

BACKGROUND: Current telemedicine technologies are not fully optimized for conducting physical examinations. The Virtual Remote Tele-Physical Examination (VIRTEPEX) system, a novel proprietary technology platform using a Microsoft Kinect-based augmented reality game system to track motion and estimate force, has the potential to assist with conducting asynchronous, remote musculoskeletal examinations.

OBJECTIVE: This pilot study evaluated the feasibility of the VIRTEPEX system as a supplement to telehealth musculoskeletal strength assessments.

METHODS: In this cross-sectional pilot study, 12 study participants with upper extremity pain and/or weakness underwent strength evaluations for four upper extremity movements using in-person, telehealth, VIRTEPEX, and composite (telehealth plus VIRTEPEX) …

A Review Of Artificial Intelligence, Algorithms, And Robots Through The Lens Of Stakeholder Theory, Michael J. Matthews, Su Runkun, Lindsey Yonish, Shawn Mcclean, Joel Koopman, Kai Chi Yam

Management Faculty Publications

With the arrival of the Fourth Industrial Revolution, intelligent machines are affecting the daily lives of multiple organizational stakeholders. However, despite the continued expansion of intelligent machines in society, management scholarship has generally lagged, and current frameworks are under-equipped to offer meaningful guidance regarding the intersection of intelligent machines and organizations. We address this issue via a multidisciplinary review and a novel framework of intelligent machines and value creation. First, we discuss the characteristics of intelligent machines (i.e., autonomy, learning, inscrutability, and materiality) and how variation in these characteristics impacts their affordances and, subsequently, the value offered to stakeholders. We …

Accelerated Multiobjective Calibration Of Fused Deposition Modeling 3d Printers Using Multitask Bayesian Optimization And Computer Vision, Craig S. Ganitano, Benji Maruyama, Gilbert L. Peterson

Faculty Publications

Proper process parameter calibration is critical to the success of fused deposition modeling (FDM) three-dimensional (3D) printing, but is time-consuming and requires expertise. While existing systems for autonomous calibration have demonstrated success in calibrating for a single objective, users may need to balance multiple conflicting objectives. Herein, an easily deployable, camera-based system for autonomous calibration of FDM printers that optimizes for both part quality and completion time is presented. Autonomous calibration is achieved through a novel, multifaceted computer vision characterization and a multitask learning extension to Bayesian optimization. The system is demonstrated on four popular filament types using two distinct …

Rapid Prediction Of Coastal Flooding With Deep Neural Networks, Ali Shahabi, Navid Tahvildari

Graduate Student Government Association Research Conference

With the increasing impact of climate change and relative sea level rise, low-lying coastal communities face growing risks from extreme storm tides and recurrent nuisance flooding. Thus, timely and reliable predictions of coastal water levels are critical to resilience in vulnerable coastal areas. Over the past decade, enormous efforts have been made to utilize machine learning (ML) based data-driven models for the emulation and prediction of storm tides. However, flood advisory systems still rely on running computationally demanding real-time hydrodynamic models. because developing highly reliable ML-based models suitable for real-time forecasting and capable of capturing any surge levels is challenging. …

Plc-Controlled Intelligent Conveyor System With Ai-Enhanced Vision Of Efficient Waste Sorting, Natheer Almtireen, Nathir Rawashdeh, Viraj Reddy, Max Sutton, Alexander Nedvidek, Caden Karn, Et. Al.

Michigan Tech Publications

Current waste sorting mechanisms, particularly those relying on manual processes, semi-automated systems, or technologies without Artificial Intelligence (AI) integration, are hindered by inefficiencies, inaccuracies, and limited scalability, reducing their effectiveness in meeting growing waste management demands. This study introduces a prototype waste sorting machine that integrates an AI-driven vision system with a Programmable Logic Controller (PLC) for high-accuracy automated waste sorting. The system, powered by the YOLOv8 deep learning model, achieved sorting accuracies of 88% for metal cans, 75% for paper, and 91% for plastic bottles, with an overall precision of 90%, a recall of 80%, and a mean average …

Ultrathin-Layer Strain-Based Electronic Devices: From-First-Principles Derivation Of The Corresponding Equation, Julio C. Urenda, Vladik Kreinovich

Departmental Technical Reports (CS)

Most information about the world comes from sensors -- and from the results of processing sensor data. In many practical situations -- e.g., in biomedical applications -- it is desirable to make sure that the sensors are as "invisible" as possible, in particular, that they are as small as possible. One way to achieve such small size is to use ultrathin-layer materials such as graphene. It is known that for such materials, strain causes electromagnetic effects -- which can be used to detect small strains. Interestingly, it turned out that the same equation describes the relation between strain and electric …

A Natural Extension Of F-Transform To Triangular And Triangulated Domains Necessitates The Use Of Triangular Membership Functions, Hana Zámečiková, Irina Perfilieva, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

In many practical situations when we process 1-D data, the method of F-transform turned out to be very useful. In this method, we can use either triangular membership functions or more complex ones. Because this method has been so successful in 1-D applications, a natural idea is to extend it to functions defined on 2-D and higher-dimensional domains -- e.g., to images. This method allows natural generalization to rectangular domains, where it indeed turned out to be very effective. A recent paper showed that it can extended to more general domains -- e.g., to triangular domains and to more general …

Confronting Catastrophic Risk: The International Obligation To Regulate Artificial Intelligence, Bryan Druzin, Anatole Boute, Michael Ramsden

Michigan Journal of International Law

While artificial intelligence (“AI”) holds enormous promise, many experts in the field are warning that there is a non-trivial chance that the development of AI poses an existential threat to humanity. Existing regulatory initiatives do not address this threat but instead merely focus on discrete AI-related risks such as consumer safety, cybersecurity, data protection, and privacy. In the absence of regulatory action to address the possible risk of human extinction by AI, the question arises: What obligations, if any, does public international law impose on states to regulate its development?

At present there is no scientific consensus as to the …

Scrutinizer: Towards Secure Forensics On Compromised Trustzone, Yiming Zhang, Fengwei Zhang, Xiapu Luo, Rui Hou, Xuhua Ding, Zhenkai Liang, Shoumeng Yan, Tao We, Zhengyu He

Research Collection School Of Computing and Information Systems

The number of vulnerabilities exploited in Arm TrustZone systems has been increasing recently. The absence of digital forensics tools prevents platform owners from incident response or periodic security scans. However, the area of secure forensics for compromised TrustZone remains unexplored and presents unresolved challenges. Traditional out-of-TrustZone forensics are inherently hindered by TrustZone protection, rendering them infeasible. In-TrustZone approaches are susceptible to attacks from privileged adversaries, undermining their security. To fill these gaps, we introduce SCRUTINIZER, the first secure forensics solution for compromised TrustZone systems. SCRUTINIZER utilizes the highest privilege domain of the recent Arm Confidential Computing Architecture (CCA), called the …

Zombie-Auras: Genai And Hybrid Text Production, Joshua Nieubuurt

English Faculty Publications

This paper explores the iterative evolutions of textual production and their impact on the “aura” of texts, as conceptualized by Walter Benjamin. The study identifies three key phases of textual production: the natural, the mechanized, and the digitized, each progressively displacing the “cult value” of texts. This cult value is lost through increased ease of creation, reproduction, dissemination, and dislocation of creators and audiences in time and space. The advent of Generative AI (GenAI) marks the latest evolution, transforming the “aura” into a memetic “zombie” form—familiar yet opaque, evoking both the sublime and fear. By examining Benjamin’s notion of “aura” …

Effectiveness Of Postoperative Cephalosporins In Reducing Urinary Tract Infections And Other Parameters Following Transurethral Resection Of The Prostate: A Systematic Review And Meta-Analysis, Wael Hafez, Feras Al-Obeidat, Asrar Rashid, Arun Kumar Venkatachalapathi, Amr Massaod, Ziad Albaha, Samy Kishk, Tesfalidet Emoshe, Samuel Tesfaye Tefera, Ismail A. Ibrahim, Mohammad Alkammar, Gowhar Rashid, Ahmed Fayed, Karim Soliman, Abdulqadir J. Nashwan, Alaaldeen Mohamed, Daniel Simancas-Racines, Ivan Cherrez-Ojeda

All Works

No abstract provided.

Towards Resource-Efficient Reactive And Proactive Auto-Scaling For Microservice Architectures, Hussain Ahmad, Christoph Treude, Markus Wagner, Claudia Szabo

Research Collection School Of Computing and Information Systems

Microservice architectures have become increasingly popular in both academia and industry, providing enhanced agility, elasticity, and maintainability in software development and deployment. To simplify scaling operations in microservice architectures, container orchestration platforms such as Kubernetes feature Horizontal Pod Auto-scalers (HPAs) designed to adjust the resources of microservices to accommodate fluctuating workloads. However, existing HPAs are not suitable for resource-constrained environments, as they make scaling decisions based on the individual resource capacities of microservices, leading to service unavailability, resource mismanagement, and financial losses. Furthermore, the inherent delay in initializing and terminating microservice pods hinders HPAs from timely responding to workload fluctuations, …

Ptm4tag+: Tag Recommendation Of Stack Overflow Posts With Pre-Trained Models, Junda He, Bowen Xu, Zhou Yang, Donggyun Han, Chengran Yang, Jiakun Liu, Zhipeng Zhao, David Lo

Research Collection School Of Computing and Information Systems

Stack Overflow is one of the most influential Software Question & Answer (SQA) websites, hosting millions of programming-related questions and answers. Tags play a critical role in efficiently organizing the contents on Stack Overflow and are vital to support various site operations, such as querying relevant content. Poorly chosen tags often lead to issues such as tag ambiguity and tag explosion. Therefore, a precise and accurate automated tag recommendation technique is needed. Inspired by the recent success of pre-trained models (PTMs) in natural language processing (NLP), we present PTM4Tag+, a tag recommendation framework for Stack Overflow posts that utilize PTMs …

Chatgpt Didn’T Write This: Evaluating The Impact Of Llms With A Case Study In Grading Cuny Language Immersion Program Student Essays, Benjamin Inbar

Dissertations, Theses, and Capstone Projects

This study evaluates the capabilities and limitations of large language models (LLMs), specifically OpenAI’s ChatGPT-4o, in grading essays from students in the City University of New York’s Language Immersion Program. The program serves English language learners with diverse linguistic and demographic backgrounds, offering intensive language instruction to prepare students for academic success in college. Using a dataset of 30 pre- and post-program essays scored by program instructors and ChatGPT-4o under three paradigms, this research explores the alignment between human and AI-generated scores across five rubric-based competency areas. Findings reveal that ChatGPT-4o aligns moderately with human grading, with the strongest agreement …

3bb: Loss And Remembrance In The Anthropocene, Amanda J. Woolsey

Dissertations, Theses, and Capstone Projects

Undisputedly, we are living in a time of tremendous and unprecedented ecological loss. Various forms of life on earth are disappearing at a rate unheard of in human history, with a growing amount of evidence suggesting that we are in a period of mass biodiversity loss and extinction. This extinction event is marked by a series of environmental catastrophes that vary in acceleration, intensity, and impact, such as climate-change driven weather events wiping out an endemic island species, to habitat loss and fragmentation leading to the slow death of a once-common species. One such piece of supporting evidence is Rosenberg …

Why Are Fairness Concerns So Important? Lessons From A Last-Mile Transportation System, Yiwei Chen, Hai Wang

Research Collection School Of Computing and Information Systems

The Last-Mile Problem refers to the provision of travel service for passengers from the nearest public transportation node to the final destination. The Last-Mile Transportation System (LMTS), which has recently emerged, provides on-demand last-mile transportation service for passengers. We consider an LMTS that consists of two types of passengers, regular-type passengers and special-type passengers (e.g., seniors, disabled people). The valuation of the last-mile service for special-type passengers is statistically higher than the one for regular-type passengers. Passengers incur disutility from waiting for the last-mile service. In this paper, we explore two fairness constraints on special-type passengers: (1) the fare for …

Negotiating With Gpt-4: Digital Doormat Or Skilful Counterpart?, Dorcas Quek Anderson

Research Collection Yong Pung How School Of Law

Large language models (LLMs) such as GPT-4 have been creatively harnessed in the conflict resolution arena as dialogue agents interacting with humans within negotiations, due to their capacity for in-context learning and giving human-like responses. In light of the burgeoning use of LLMs in conflict resolution training, a pilot study was conducted to ascertain the desirability of using dialogue agents built on GPT-4 in conducting simulations for students learning negotiation skills. This article discusses insights gained from the study on the reliability of LLM agents in following prompts for negotiation simulations; notable negotiation behaviour of the LLM agent; the degree …

Proactive Conversational Ai: A Comprehensive Survey Of Advancements And Opportunities, Yang Deng, Lizi Liao, Wenqiang Lei, Grace Hui Yang, Wai Lam, Tat-Seng Chua

Research Collection School Of Computing and Information Systems

Dialogue systems are designed to offer human users social support or functional services through natural language interactions. Traditional conversation research has put significant emphasis on a system's response-ability, including its capacity to understand dialogue context and generate appropriate responses. However, the key element of proactive behavior-a crucial aspect of intelligent conversations-is often overlooked in these studies. Proactivity empowers conversational agents to lead conversations towards achieving pre-defined targets or fulfilling specific goals on the system side. Proactive dialogue systems are equipped with advanced techniques to handle complex tasks, requiring strategic and motivational interactions, thus representing a significant step towards artificial general …

The Role Of Surprisal In Issue Trackers, James Caddy, Christoph Treude, Markus Wagner, Earl T. Barr

Research Collection School Of Computing and Information Systems

Context: Software development creates and relies on a large volume of information, yet the volume of this information can make it challenging for developers to maintain an overview of all goings-on that a team and external actors contribute to a project. We posit that unexpected or “surprising” events could serve as important signposts amidst this information overload. These unexpected events may indicate underlying anomalies or emergent situations that require immediate attention. To explore this premise, our study leverages the concept of ‘surprisal’ from information theory to identify and quantify these unusual occurrences from the issues and pull requests of popular …

Density Boosts Everything: A One-Stop Strategy For Improving Performance, Robustness, And Sustainability Of Malware Detectors, Jianwen Tian, Wei Kong, Debin Gao, Tong Wang, Taotao Gu, Kefan Qiu, Zhi Wang, Xiaohui Kuang

Research Collection School Of Computing and Information Systems

In the contemporary landscape of cybersecurity, AI-driven detectors have emerged as pivotal in the realm of malware detection. However, existing AI-driven detectors encounter a myriad of challenges, including poisoning attacks, evasion attacks, and concept drift, which stem from the inherent characteristics of AI methodologies. While numerous solutions have been proposed to address these issues, they often concentrate on isolated problems, neglecting the broader implications for other facets of malware detection. This paper diverges from the conventional approach by not targeting a singular issue but instead identifying one of the fundamental causes of these challenges, sparsity. Sparsity refers to a scenario …

Towards The Next Generation Of Geospatial Artificial Intelligence, Gengchen Mai, Yiqun Xie, Xiaowei Jia, Ni Lao, Jinmeng Rao, Qing Zhu, Zeping Liu, Yao-Yi Chiang, Jiao, Junfeng

Research Collection College of Integrative Studies

Geospatial Artificial Intelligence (GeoAI), as the integration of geospatial studies and AI, has become one of the fastest-developing research directions in spatial data science and geography. This rapid change in the field calls for a deeper understanding of the recent developments and envision where the field is going in the near future. In this work, we provide a quantitative analysis of the GeoAI literature from the spatial, temporal, and semantic aspects. We briefly discuss the history of AI and GeoAI by highlighting some pioneering work. Then we discuss the current landscape of GeoAI by selecting five representative subdomains including remote …

Ai As Your Ally: The Effects Of Ai-Assisted Venting On Negative Affect And Perceived Social Support, Meilan Hu, Xavier Cheng Wee Chua, Shu Fen Diong, K. T. A. Sandeeshwara Kasturiratna, Nadyanna M. Majeed, Andree Hartanto

Research Collection School of Social Sciences

In recent years, artificial intelligence (AI) chatbots have made significant strides in generating human-like conversations. With AI's expanding capabilities in mimicking human interactions, its affordability and accessibility underscore the potential of AI chatbots to facilitate negative emotional disclosure or venting. The study's primary objective is to highlight the potential benefits of AI-assisted venting by comparing its effectiveness to venting through a traditional journaling platform in reducing negative affect and increasing perceived social support. We conducted a pre-registered within-subject experiment involving 150 participants who completed both traditional venting and AI-assisted venting conditions with counterbalancing and a wash-out period of 1-week between …

Data And Digitalization In Energy Efficiency Policy Design: The Case Of Singapore, Ishani Mukherjee, Diandrea Ho

Research Collection School of Social Sciences

Overarching and broad policy goals for enhancing energy efficiency have existed globally over the last 50 years as a response to rising energy demands, heightening costs, and construction levels of residential and commercial buildings, and the associated rises in greenhouse gas emissions from energy use (Levine et al., 2007; World Bank, 2010). Buildings, in particular, have been widely recognized as offering the greatest potential for reducing energy use and related greenhouse gas emissions, followed by reduced energy consumption in manufacturing, appliances, electronic goods, and end-users of electricity (Levine, 2007; IEA, 2010). And while significant technological strides have been made globally …

Vaxbot-Hpv: A Gpt-Based Chatbot For Answering Hpv Vaccine-Related Questions, Yiming Li, Jianfu Li, Manqi Li, Evan Yu, Danniel Rhee, Muhammad Amith, Lu Tang, Lara S Savas, Licong Cui, Cui Tao

Faculty, Staff and Student Publications

OBJECTIVE: Human Papillomavirus (HPV) vaccine is an effective measure to prevent and control the diseases caused by HPV. However, widespread misinformation and vaccine hesitancy remain significant barriers to its uptake. This study focuses on the development of VaxBot-HPV, a chatbot aimed at improving health literacy and promoting vaccination uptake by providing information and answering questions about the HPV vaccine.

METHODS: We constructed the knowledge base (KB) for VaxBot-HPV, which consists of 451 documents from biomedical literature and web sources on the HPV vaccine. We extracted 202 question-answer pairs from the KB and 39 questions generated by GPT-4 for training and …

Quantum-Inspired Framework For Big Data Analytics: Evaluating The Impact Of Movie Trailers And Its Financial Returns, Jaiteg Singh, Kamalpreet Singh Bhangu, Farman Ali, Ahmad Ali Alzubi, Babar Shah

All Works

In the context of the growing influence of businesses and marketers on social media platforms, understanding the impact of emotionally charged content on consumer behavior has become increasingly crucial. This study proposes a novel framework, leveraging quantum computing principles, to assess the emotional impact of movie trailers. The framework incorporates big data analytics and utilizes Quantum Walk andQuantum Time Series models to investigate the relationship between a movie trailer's emotional intensity and its financial performance. Unlike sequential problem-solving approach of traditional computing models, Quantum superposition allows exploring multiple options at once. An analysis of 141 movie trailers released after January …